Verification, Type-level Programming, Safety Proofs, Linear Types
How to make the most out of MOP
blog.evanchen.cc·3d
August GNU Spotlight with Amin Bandali featuring Eleven new GNU releases: Emacs, Mes, and more!
fsf.org·3d
In Australia, racist violence is nothing new. But emboldened neo-Nazis form a frightening new spectre
theguardian.com·49m
The Case for Pascal, 55 Years On
hackaday.com·3d
Implementing the Caesar Cipher in Python
towardsdatascience.com·3d
Cost-effective catalyst uses abundant metals to convert CO₂ emissions to useful products
phys.org·12h
Loading...Loading more...