My jelly hell: ‘Slowly, the whole thing collapsed before me’
theguardian.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Mlbb Name Generator
mlbbnamegenerator.online·1d·
Discuss: Hacker News
🗄️databases
Flag this post
What happened to 3Com?
dfarq.homeip.net·23h·
Discuss: Hacker News
🌐network programming
Flag this post
Show HN: CyBox Security – Your Virtual Security Team for the AI Era
cybox.ai·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: I built a Spotify podcast transcript generator with summaries and chat
spotscribe.io·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
Show HN: Cursor Cost Explorer
dalssoft.github.io·1d·
Discuss: Hacker News
🗄️databases
Flag this post
Unified Spring Boot Observability with Arconia OpenTelemetry
thomasvitale.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
What Is The Ozma Problem, And Why Does It Matter?
fascinatingworld.org·4d·
Discuss: Hacker News, r/TrueReddit, r/longform
✅formal methods
Flag this post
Fantasy Racism
theatlantic.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.dev·4d·
Discuss: Hacker News
🔄compilers
Flag this post
Dying Shopping Malls Are the Roman Ruins of Our Civilization
nytimes.com·15h·
Discuss: Hacker News
⚡query optimization
Flag this post
Researchers want to kill the vibe, propose better model for AI coding
theregister.com·5d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection
github.com·5d·
Discuss: Hacker News, r/LocalLLaMA
✅formal methods
Flag this post
PDP-10 and Microcomputers – By Nemanja Trifunovic
nemanjatrifunovic.substack.com·4d·
Discuss: Substack
⚙️systems programming
Flag this post
Google Summer of Code 2025 Reports: Using bubblewrap to add sandboxing to NetBSD
blog.netbsd.org·4d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️systems programming
Flag this post
Visual Studio 2026 is here: Faster, smarter and a hit with early adopters
devblogs.microsoft.com·1d·
Discuss: Hacker News, Hacker News, Hacker News, r/programming
🔄compilers
Flag this post
AI Models Fail Miserably at This One Easy Task: Telling Time
spectrum.ieee.org·4d·
Discuss: Hacker News, Hacker News, r/technews
✅formal methods
Flag this post
Sourcekit-Bazel-bsp: iOS Development in Cursor / VSCode, for Bazel projects
github.com·5d·
Discuss: Hacker News
🔄compilers
Flag this post
Princeton puts quantum computing on the fast track with new qubit
princeton.edu·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Lessons from the Vibe Coding Trenches
brandonharris.io·6d·
Discuss: Hacker News
✅formal methods
Flag this post