Virtual Keyboard

made by joshuamguillen, submitted by porterjamesj
An in-browser keyboard, inspired by the Yamaha Pianica.

CAblam

made by Sol Sarratea, submitted by porterjamesj
A character-based environment for livecoding cellular automata.

simple_recommender

made by geoffreylitt, submitted by porterjamesj
A simple recommendation engine for Ruby on Rails. Read this blog post for more on the inspiration behind the project: https://www.geoffreylitt.com/2017/03/19/building-a-rails-recommendation-engine.html

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: https://github.com/enjeck/num2math.

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: https://woodburyshortridge.github.io/tongue-comp-interface.

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!