Stories by Smaug123

Crates (Existentials in F#)

Secure Homes for Digital People

Pikachu, his eyes enormous. Pikachu and Bulbasaur at the hidden village

Z3 approach to discover that “q_rsqrt” is in Copilot's slur list

Metatesting your property-based tests

In praise of --dry-run

How to identify your personal strengths

A File Structure for the Complex, the Changing, and the Indeterminate [pdf]

Continuation-Passing Style

A mundane use of dependent types

Lehmer Sieve

Centre for Applied Eschatology

Windsor Castle: Changing hundreds of royal clocks

Anki as Learning Superpower: Computer Science Edition

In favour of recursive functions, not imperative constructs, to make loops

Cambridge Ethics in Maths lectures [video]

In favour of recursive functions, not imperative constructs, to make loops

Are humans constantly but subconsciously smelling themselves?

What Is a Game? (2018)

Defunctionalisation: An underappreciated tool for writing good software

1
2
3