Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com
Biggest Privacy Erosion in 10 Years? On Google's Policy Change
blog.lukaszolejnik.com
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
Making Beautiful API Keys
docs.agentstation.ai
Glimmer: DSL Framework for Ruby GUI and More
github.com
Nvidia-Ingest: Multi-modal data extraction
github.com
Tactility: OS for the ESP32 Microcontroller Family
tactility.one
Wasmer (YC S19) Is Hiring a Rust Engineer in Europe
workatastartup.com
Parsing the C64 Bubble Bobble Wind Currents
geon.github.io
Bird-inspired drone uses legs to walk and jump into the air
spectrum.ieee.org
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
Predictions Scorecard, 2025 January 01
rodneybrooks.com
Learning How to Think with Meta Chain-of-Thought
arxiv.org
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Ask HN: Books about people who did hard things
How Britain got its first internet connection (2015)
theconversation.com
Time Dilation Formula / Calculator
timedilationformula.com
"Twelfth Night Till Candlemas" – A 40-year book-quest
davidallengreen.com
Musings on Tracing in PyPy
pypy.org
Nice analysis, and cool to see how simple it is to get quite a satisfying effect. Also quite fun to see that the level symmetry was indeed exploited multiple ways to save space. If the author is here, they write '"@123" are the first 4 entries in the default c64 character set' but likely meant @ABC.