Formal Methods: Just Good Engineering Practice?
brooker.co.za
Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com
Learning How to Think with Meta Chain-of-Thought
arxiv.org
I've Acquired a New Superpower
danielwirtz.com
The Tedious Heroism of David Ruggles
commonplace.online
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
Bird-inspired drone uses legs to walk and jump into the air
spectrum.ieee.org
Before Squid Game, there was Battle Royale
tokyoweekender.com
Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote)
workatastartup.com
Nvidia-Ingest: Multi-modal data extraction
github.com
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
Ask HN: How to approach first days on a new job as a senior engineer?
WorstFit: Unveiling Hidden Transformers in Windows ANSI
blog.orange.tw
Ask HN: Books about people who did hard things
Deformable Image Registration KU Repository
github.com
Predictions Scorecard, 2025 January 01
rodneybrooks.com
Web apps built with Ruby on Rails
weuserails.com
Why is it an ai? Why does it have to communicate with me like it's a person? Why can't it just be a nature camera?