Stories by Smaug123

Review: The Birth of Sake

Opam's Nix system dependency mechanism

An Interview with Zen Chief Architect Mike Clark

Separation of Concerns in a Bug Tracker

Bug Likelihood over Time

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional

Five Letters on Set Theory [pdf]

Introduction to Synthetic Agda

Actual Web Rendering in Terminal

Interlock (Engineering)

How to Read Papers

500 Million, But Not a Single One More

Exploring Effect in TypeScript: Simplifying Async and Error Handling

Almost Secure (2011)

Life in India is a series of bilateral negotiations

Try to fix it one level deeper

YAML is not a superset of JSON

Try to Fix It One Level Deeper

Just added operator precedence rules to Unison doesn't break any code

No-panic: Attribute macro to require rustc to prove a function can't ever panic

1
2
3