cryptography, distributed systems, artificial intelligence, formal verification, compilers, operating systems, and security.
Contributors
LambdaClass
Creator of LambdaClass Blog
More from Programming
Programming
Angle of Attack
a blog by the engineers @ FlightAware
Programming
Sean Davis
Let’s make something better, together.
Programming
Surrey Linux User Group
For notifications on the next meeting information, please sign up for the mailing list or our Matrix group, information in the About section above.
Programming
Bacon and Games
Home of Sean McKenzie - game dev, maker, godot nerd, producer, former publisher, youtuber, etc.