cryptography, distributed systems, artificial intelligence, formal verification, compilers, operating systems, and security.
Contributors
LambdaClass
Creator of LambdaClass Blog
More from Programming
Programming
Skerritt.blog
Esoteric Computer Science Knowledge from your favourite local rust girlie
Programming
Corti.com
Welcome to corti.com, home of a collection of thoughts by Sascha Corti.
Programming
Sequin
Read about how we're building Sequin, shipping features, and pushing Postgres.
Programming
workingsoftware.dev
Thoughts for CTOs, Tech Leads and Software Architects