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
Formal Methods: Just Good Engineering Practice?
brooker.co.za
The Tedious Heroism of David Ruggles
commonplace.online
Learning How to Think with Meta Chain-of-Thought
arxiv.org
Glimmer: DSL Framework for Ruby GUI and More
github.com
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
Musings on Tracing in PyPy
pypy.org
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 EU timezone (Remote)
workatastartup.com
Bird-inspired drone uses legs to walk and jump into the air
spectrum.ieee.org
Nvidia-Ingest: Multi-modal data extraction
github.com
Predictions Scorecard, 2025 January 01
rodneybrooks.com
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
Before Squid Game, there was Battle Royale
tokyoweekender.com
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Time Dilation Formula / Calculator
timedilationformula.com
Ask HN: Books about people who did hard things
How Britain got its first internet connection (2015)
theconversation.com
There are no pure cultures – we have always been global
aeon.co
I was impressed at the accuracy they were able to get with browser/architecture detection:
> Concretely, our expression reveals differences in 1116 OS-browser combination pairs (94.9 %).
Very cool to see that they've even gone as far as inferring elements like the likelihood of MS Office being installed on your computer by checking the width of a container with the font 'Leelawadee' specified:
> As this font is a non-free Microsoft font for the Thai Language, we do not expect users without Microsoft Office to have it installed
There is lots of really interesting information in here past what you might figure out yourself if you've played around with abusing CSS yourself before. So many things that had just never, and probably would never have, occurred to me to try.
It is definitely worth a read (or skim) over the paper to see the lengths they went to in order to figure out some of the unique elements to fingerprint on.