Public Notes
on
histre
OCaml 4.03: Everything else
news.ycombinator.com
Terra
terralang.org
Two paths, one peak: a view on high-performance language implementations
news.ycombinator.com
Run Hello » Blog Archive » No Compiler
msm.runhello.com
flannelhead's lab - Blackstar
flannelhead.github.io
Redox – A Unix-Like Operating System Written in Rust
news.ycombinator.com
CakeML: A verified implementation of ML
news.ycombinator.com
A List of Isaac Asimov's Books
www.asimovonline.com
Unix’s file durability problem
news.ycombinator.com
Something Secret This Way Comes
news.ycombinator.com
Visual Group Theory website
web.bentley.edu
Frontier Of Physics: Interactive Map | Quanta Magazine
www.quantamagazine.org
HaLVM v3: The Vision, The Plan
uhsure.com
Scalability! But at what COST?
www.frankmcsherry.org
15-819 Homotopy Type Theory
www.cs.cmu.edu
The Origins of SageMath; I am leaving academia to build a company [pdf]
news.ycombinator.com
Memory management in C programs
nethack4.org
Space Emerging from Quantum Mechanics | Sean Carroll
www.preposterousuniverse.com
GitHub · Where software is built
github.com
The Melancholy of Infinite Space
www.geoffreylandis.com
The Long Chase - Lightspeed Magazine
www.lightspeedmagazine.com
GitHub · Where software is built
github.com
Collect and share the web
Get started for free