Stories by curryhoward

WASM interpreter fits in a QR code

Exotic List Monads

Tagref: refer to other parts of your codebase in a robust way

Write Out Unicode in Octal

Show HN: Docuum – LRU Eviction of Docker Images

Show HN: Toast – A tool for running tasks in containers

Show HN: Huffgram helps you memorize data

Typeclasses in perspective

Show HN: Noteref – Maintain references to notes in your codebase

My unusual hobby

What are covariance and contravariance?

Type safe dimensional analysis in Haskell

Finding ambiguities in context-free grammars

The Di Vergent Code

Does Google execute JavaScript?

The Pastiche Test

Higher-rank and higher-kinded types

Show HN: Convert strings (phone numbers, color hex, etc.) into memorable phrases

Show HN: Socket.js, a tiny WebSockets library for Node.js

Fun with Promises in JavaScript