A Cursed Bug

made by nelhage, submitted by Mai
What makes a bug cursed? A blog post about tracking down a particularly satisfying one.

Proving ML algorithms with zero-knowledge proofs on blockchain

made and submitted by liaopeiyuan
This is a demo of a private machine learning protocol on the Ethereum blockchain, which implements a zk-SNARK proof that verifies a private linear regression model has a certain accuracy under a public dataset.

Building reliable distributed systems with refinement types

made by lkuper, submitted by Mai
In this blog post, Lindsey Kuper shares her research agenda at the intersection of distributed systems and programming languages. Read it for an interesting overview of the problem space, a cool example of working in public, and an invitation to collaborate!


made by zephraph, submitted by porterjamesj
A library of Rust macros that make it easier to express relationships between types.

Orb Game

made by billmarcy, jckelly, submitted by porterjamesj
A puzzle-platformer where you traverse the environment using projectiles as platforms. See the code here: https://github.com/jackckelly/orb_game

Predicting the tide with a Lego computer

made by pepijndevos, submitted by Mai
Recreating a 19th century analog computer that predicts the tides -- with Legos!

58 Joralemon - A Myst-like game about the MTA

made by tupben, submitted by alizauf
It's a delightful puzzle, imagining what's inside a weird MTA subway vent that looks like a brownstone. Great original music and illustrations! Built with Svelte.

Testing-library user event with fake timers

made by Fabrizzio, submitted by Mai
A blog post about testing user interactions in JavaScript with the userEvent API.


made by rileyjshaw, submitted by porterjamesj
A macOS tool for text expansion, scriptable with JavaScript.


made by davidlu, submitted by porterjamesj
A perceptually meaningful audio visualizer. Read more about how it works here: https://delu.medium.com/a-perceptually-meaningful-audio-visualizer-ee72051781bc#.p87d5rrxg