Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
Glimmer: DSL Framework for Ruby GUI and More
github.com
Tactility: OS for the ESP32 Microcontroller Family
tactility.one
Nvidia-Ingest: Multi-modal data extraction
github.com
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
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
Ask HN: Books about people who did hard things
How Britain got its first internet connection (2015)
theconversation.com
Bird Buddy Launches 'Wonder' Camera for Watching Insects
macrumors.com
"Twelfth Night Till Candlemas" – A 40-year book-quest
davidallengreen.com
Musings on Tracing in PyPy
pypy.org
Time Dilation Formula / Calculator
timedilationformula.com
Rational or not? This basic math question took decades to answer
quantamagazine.org
We are teen hackers from around the world who code together
hackclub.com