Verified Model-Based Conformance Testing for Dummies
(welltyped.systems)
2026 Archive
13291.
13292.
Star Wars Racer Revenge game is key to jailbreaking PlayStation 5
(tomshardware.com)
13293.
Uber rewrites contracts with drivers to avoid paying UK's new 'taxi tax'
(theguardian.com)
13294.
13295.
The Rise of Computer Games, Part II: Digitizing Nerddom
(technicshistory.com)
13296.
Certified Shovelware
(justin.searls.co)
13297.
Show HN: StretchBreak, a simple web app to solve planning time off
(stretchbreak.netlify.app)
13298.
Year of Reading
(kg.dev)
13299.
Skill for 2026: Critical Ignoring
(wsj.com)
13300.
How I use AI in Sublime Text
(ohdoylerules.com)
13301.
Building Production-Ready Voice Agents
(shekhargulati.com)
13302.
Comparing Obelisk with DBOS
(obeli.sk)
13303.
13304.
Tell HN: Check if the site is down. Also monitor your site
(updown.fly.dev)
13305.
I Want Hue
(medialab.github.io)
13306.
2026, Our Rotting Future
(thegist.ie)
13307.
The most popular blogs of Hacker News in 2025
(refactoringenglish.com)
13308.
Manifesto for a Disinterested Artistic Self
(pablohelguera.substack.com)
13309.
The large language model series developed by Qwen
(github.com)
13311.
Is .NET Aspire Actually Open Source? [video]
(youtube.com)
13312.
13313.
Building low-level software with only coding agents
(leerob.com)
13314.
13315.
Using a Garmin fitness watch offline: no accounts, no app
(kevinboone.me)
13316.
Wpex: WireGuard packet relay for NAT traversal
(github.com)
13317.
Show HN: A Live Chat Resume Editor that updates PDFs in real-time
(sakshatkarai.com)
13318.
Steam Hardware and Software Survey: December 2025
(store.steampowered.com)
13319.
MCP works great – until you ship
(kernl.sh)
13320.
Reasons to Love the Field of Programming Languages
(danilafe.com)