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