The egg project uses e-graphs to provide a new way to build program
optimizers and synthesizers.
Fair-by-design matching, by David García-Soriano and Francesco Bonchi.
“Although many optimal solutions may exist to a given [bipartite] matching
problem, when the elements that shall or not be included in a solution
correspond to individuals, it becomes of paramount importance that the
solution be selected fairly.”
Provides alternatives to the Gale-Shapley algorithm.
Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer,
by Hannah McLaughlin.
Fermat’s Last Margin, a tool for annotating research papers
and sharing those annotations.
Schemepunk, a kitchen-sink utility library for several R7RS Scheme dialects.
Finding Mona Lisa in the Game of Life, by Atul Vinayak.
When The Prison Banned Board Games, We Played Chess In Our Minds
Routing the technical interview, by Lars Hupel.