5
2
New Navy Device Learns by Doing (1958) (nytimes.com)
1
When Computers Write Proofs, What's the Point of Mathematicians? (youtube.com)
2
The Hylo Programming Language (hylo-lang.org)
1
Fat: Why It Matters and What to Do About It (youtube.com)
3
HACL: A High-Assurance Cryptographic Library (github.com/hacl-star)
1
Milawa is a "self-verifying" theorem prover for an ACL2-like logic (utexas.edu)
1
How to Build a Satellite (youtube.com)
1
Book notes: A Philosophy of Software Design (2021) (danlebrero.com)
6
Unity Backtracking (twitter.com/unity)
2
How Amazon built Cedar with automated reasoning (amazon.science)
2
Interview with an Emacs Enthusiast in 2023 (youtube.com)
3
Thorium Molten Salt Reactors (youtube.com)
4
Theorem Proving in Lean 4 (leanprover.github.io)
2
An Introduction to Model-Based Systems Engineering (MBSE) (cmu.edu)
2
Kevin Buzzard: The rise of formalism in mathematics (youtube.com)
1
Constructor Theory of Information (2014) (arxiv.org)
2
Forty-Five Things I Learned in the Gulag (2018) (theparisreview.org)
1
Replatform in a Year or Die: The Tale of a Turnaround (2021) (youtube.com)
3
Ask HN: Best Laptop for Development?
1
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores (2022) [pdf] (fstar-lang.org)
1
Day in the Life of a Japanese Game Designer (youtube.com)
1
Why Are There So Many Stupid People? (youtube.com)
1
House of Dreams (AI movie trailer) (youtube.com)
2
Type Theory (As a Foundation of Math) (wikipedia.org)
3
No to AI Generated Images (artstation.com)
38
[flagged] Sexual Economics [pdf] (2004) (umn.edu)
2
How Finland Ended Homelessness (2021) (youtube.com)
38
AI Music Generator (soundraw.io)
1