cryptography, distributed systems, artificial intelligence, formal verification, compilers, operating systems, and security.
Contributors
LambdaClass
Creator of LambdaClass Blog
More from Programming
Programming
Another Dev's Two Cents
A developer's blog featuring thoughts ideas and all things engineering.
Programming
Alberto De Bortoli
Principal Software Engineer @ Just Eat Takeaway, London.
Programming
tools.dev
Powered by Bold Tech, internal tool experts. Your hub for internal tools & how to build them.
Programming
Coffee on the Keyboard
James writes stuff about programming, mostly