Show HN: Boulette - Protect you from yourself (even as root).
github.com
Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.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
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
Predictions Scorecard, 2025 January 01
rodneybrooks.com
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
Rational or not? This basic math question took decades to answer
quantamagazine.org
A bunch of academic hippies were working on windmill power in the Netherlands in the 1970s. But with cheap and unlimited LNG it was considered a technical curiosity.
Smart people did predict that gas would eventually run out but by then the country was supposed to have a dozen nuclear reactors like Japan. Now we can't even build one- and it's not even because of the 40 billion € cost but because of bureaucracy and NIMBYism.
The best thing about wind turbines in the North Sea? Nobody lives there.