num2math: a mathematical expression generator

made by enjeck, submitted by Mai
Do you want to say '1' as inscrutably as possible? This web app will generate a complicated mathematical expression for the integer of your choice. Check out the code here:

In-browser tongue interaction

made by woodbury, submitted by Mai
Using client-side JavaScript and a user’s webcam, this game is a proof-of-concept of a hardware-independent approach to tongue-computer interaction. Read more about it here:

Reverse 1987 DOS game data files for fun and no profit

made and submitted by yomimono
A short description of reverse-engineering the puzzle solutions data file for the 1987 DOS "Wheel of Fortune" game, with OCaml parser and printer examples.

Visual Playground

made and submitted by ilithya
A glitchy experimental interactive experience built with machine learning (body tracking) and real-time shaders. Move your arms, head and knees to interact with the visuals and mutate them.

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:

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!