Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com
Show HN: Boulette - Protect you from yourself (even as root).
github.com
Learning How to Think with Meta Chain-of-Thought
arxiv.org
The Tedious Heroism of David Ruggles
commonplace.online
Glimmer: DSL Framework for Ruby GUI and More
github.com
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
Nvidia-Ingest: Multi-modal data extraction
github.com
Tactility: OS for the ESP32 Microcontroller Family
tactility.one
Parsing the C64 Bubble Bobble Wind Currents
geon.github.io
Wasmer (YC S19) Is Hiring a Rust Engineer in Europe
workatastartup.com
Bird-inspired drone uses legs to walk and jump into the air
spectrum.ieee.org
Musings on Tracing in PyPy
pypy.org
Predictions Scorecard, 2025 January 01
rodneybrooks.com
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Before Squid Game, there was Battle Royale
tokyoweekender.com
Ask HN: Books about people who did hard things
Time Dilation Formula / Calculator
timedilationformula.com
How Britain got its first internet connection (2015)
theconversation.com
"Twelfth Night Till Candlemas" – A 40-year book-quest
davidallengreen.com
Making Beautiful API Keys
docs.agentstation.ai
There's more about at Barricelli at [1], and in a chapter in Turing's Cathedral [2], George Dyson's excellent book about John von Neumann and the making and uses of the IAS machine [3] at the Institute for Advanced Study.
[1] https://nautil.us/the-computer-maverick-who-modeled-the-evol...
[2] https://www.penguinrandomhouse.com/books/44425/turings-cathe...
[3] https://en.wikipedia.org/wiki/IAS_machine