Proof types in Dart: Using final classes as computational witnesses #Dart #Programming #SoftwareEngineering
Why Rocq is better than Lean for program verification #Programming #FormalMethods #Compilers
State of multi-player Wayland #Linux #Wayland #OpenSource
Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident #CyberSecurity #Hacking #IncidentResponse
Detection primitives for eBPF rootkits #Security #eBPF #Linux
The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes #Security #IBM #Password
The mean means nothing #Performance #DataScience #Statistics
You Could Have Come Up With Kimi Delta Attention #AI #MachineLearning #Tech
Starling, a Linux Desktop written from scratch #Linux #OpenSource #Desktop
Destructive Convenience #Tech #Culture #Society
Bastillion 5.1: single-JAR SSH gateway now audits and replays every session #Security #OpenSource #DevOps
Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) #Programming #SoftwareDevelopment #Tech
Parallel JSON parsing on the GPU with compute shaders #Rust #GPGPU #Performance
Where are the third places for learners? #Education #Community #Learning
Inside Zig's Incremental Compilation #Programming #Compilers #ZigLang
I Designed A Custom PCB To Avoid Pressing A Button Three Times #Hardware #OpenSource #DIY
Design flaws in issetugid() (2017) #Security #Programming #Unix
Building (systems) software with Nix #Nix #Programming #OpenSource
Aux Control -- Let the whole room vote on the music #Music #Tech #Social
Tracked Capabilities for Safer Agents #Programming #AI #Software
What even are microservices? #Microservices #SoftwareArchitecture #Tech
Golang Maps: How Swiss Tables Replaced the Old Bucket Design #Go #Programming #DataStructures
Improving Heuristics (2015) #ComputerScience #Algorithms #GameDev
Develop Cross-Platform CLI and GUI Tools With Tcl/Tk #Programming #CrossPlatform #TclTk
Making KIO copy many files fast #Performance #Cpp #Tech
One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way #Hardware #Radio #DIY
PyTorch: a reference language #AI #Programming #Tech
Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires #Performance #Benchmarking #SoftwareEngineering
Object Pascal bindings for J #Programming #Pascal #OpenSource
The Most Valuable Commodity in the World is Friction #Friction #Value #VibeCoding
Framework 13 Pro review: Much better battery, much worse price #Hardware #Tech #Review
The epoll uaf #Security #Linux #Programming
Replace Your CI With a Merge Queue #DevOps #CI #Programming
Try the New Firefox Design in Nightly #Firefox #WebBrowser #Tech
Apple MIE exploitation challenge #Security #Apple #Exploit
Setup a Simple, Self-Hosted Web Server with OpenBSD #OpenBSD #SelfHosted #WebDev
The Pad-O-Matic prints one-time pads at the press of a button #Hardware #Crypto #DIY
How to Deal with 1,000 Failing Specs in a Rails App (2019) #Ruby #Rails #Testing
Towards a Theory of Bugs: The Ruliology of the Unexpected #Software #Science #Programming
Seriously, what is the large code-model even for? #AI #Programming #Tech