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!

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:

Serifu: a markup language for comic book scripts

made by Paul Starr, submitted by Mai
Serifu is a simple markup language for composing comic book scripts (in particular, translations of Japanese manga) as plain text. You can check out a demo web-based editor for it here: There's also an InDesign extension!

Who Moved My Cheese: Laziness in Clojure

made by Otee, submitted by Mai
This blog post walks through what lazy sequences are and how to implement them from scratch in Clojure.