Stories by adamnemecek

Of Algebirds, Monoids, Monads, and Other Bestiary for Large-Scale Data (2013)

String Representations and String APIs

How an Ethiopian army taught invading Italians a lesson

How many angels can dance on the head of a pin?

Codepilot.ai has been open sourced

Mathematical Components: formalized mathematics for the Coq system

How brutalism has shaped games

Damn Vulnerable iOS Application

Azul: Ruat desktop UI framework

Notes on Type Layouts and ABIs in Rust

Composability, homogeneity, and language-based systems

Awesome Object Capabilities and Capability-Based Security

World's Smallest h.264 Encoder (2010)

Pleasant C – it's good, actually

Rust Ownership Explained with Python

CppCon 2018: Patterns and Techniques Used in the Houdini 3D Graphics Application

Linear Logical Voting Protocols (2011) [pdf]

Scientists Use DNA to Expose the World's Top 3 Illegal Ivory Cartels

Dissecting QNX [pdf]

Rust Ownership Explained with Python

31
32
33
34
35
36
37
38
39
40