Formal Methods: Just Good Engineering Practice?
brooker.co.za
I've Acquired a New Superpower
danielwirtz.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
Starlink is now cheaper than leading internet provider in some African countries
restofworld.org
I got OpenTelemetry to work. But why was it so complicated?
iconsolutions.com
Glimmer: DSL Framework for Ruby GUI and More
github.com
Tactility: OS for the ESP32 Microcontroller Family
tactility.one
lc: List files in categories (and columns) – from Coherent Unix clone
github.com
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
Before Squid Game, there was Battle Royale
tokyoweekender.com
Nvidia-Ingest: Multi-modal data extraction
github.com
Ask HN: How to approach first days on a new job as a senior engineer?
Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting
cispa.de
Show HN: Boulette - Protect you from yourself (even as root).
github.com
Web apps built with Ruby on Rails
weuserails.com
Ask HN: Books about people who did hard things
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Predictions Scorecard, 2025 January 01
rodneybrooks.com
> 1.2 million-year-old ice core from Antarctic
Dumb question … does that mean that 1.2M years ago, Antarctica wasn’t frozen but a warm climate at South Pole?
EDIT:
When I say “warm” climate, I mean “an above freezing climate” (which might still be cold but warmer than 0C/32F)