Public Notes
on
histre
Boolean Blindness | Existential Type
existentialtype.wordpress.com
Did Poincaré anticipate Gödel?
www.mathpages.com
Fundamental theories of nature aren’t allowed to hide information
news.ycombinator.com
Neurons Gone Wild
news.ycombinator.com
There Is No Now – Problems with Simultaneity in Distributed Systems
news.ycombinator.com
A Word Is Worth a Thousand Vectors
news.ycombinator.com
Immutability, MVCC, and garbage collection · Xaprb
www.xaprb.com
Folding fractions | plus.maths.org
plus.maths.org
HPC is dying, and MPI is killing it
www.dursi.ca
Fearless concurrency with Rust
news.ycombinator.com
To Raise Productivity, Let More Employees Work from Home (2014)
news.ycombinator.com
Humankind’s Most Ambitious Search for Life’s Beginnings
news.ycombinator.com
Git from the inside out | Hacker News
news.ycombinator.com
Please stop calling databases CP or AP
news.ycombinator.com
Spooky Quantum Action Might Hold the Universe Together
news.ycombinator.com
Is it ASCII or Protobuf? The importance of types in cryptographic signatures
news.ycombinator.com
Univalent Foundations: “No Comment.”
mathematicswithoutapologies.wordpress.com
#HoTT #homotopy #math #article #pub
Show More
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io
Top Down Operator Precedence (1973)
news.ycombinator.com
Three months of Rust
news.ycombinator.com
JSON-LD and Why I Hate the Semantic Web (2014)
manu.sporny.org
#JSON-LD #semantic-web #article #serialization-format #pub
Show More
Expressing L-systems in Rust
unconj.ca
Expressing L-systems in Rust
news.ycombinator.com
How it feels to join an all-Haskell startup
www.wagonhq.com
Collect and share the web
Get started for free