@hackernews Lean proved this program was correct; then I found a bug #HackerNews #Tech
@hackernews 30 Years of HPC: many hardware advances, little adoption of new languages #HackerNews #Tech #HPC
@hackernews The Dangers of California's Legislation to Censor 3D Printing #HackerNews #Tech
@hackernews Why it's impossible to measure England's coastline #HackerNews #Tech
@hackernews SnapState - Persistent state for AI agent workflows #HackerNews #Tech
@hackernews WiiFin β Jellyfin Client for Nintendo Wii #HackerNews #Tech
@hackernews The AI Revolution in Math Has Arrived #HackerNews #Tech
@hackernews Show HN: CodeBurn β Analyze Claude Code token usage by task #HackerNews #Tech #CodeAnalysis
@hackernews Let's Talk Space Toilets #HackerNews #Tech
@hackernews The Human Cost of 10x: How AI Is Physically Breaking Senior Engineers #HackerNews #Tech
@hackernews N-Day-Bench β Can LLMs find real vulnerabilities in real codebases? #HackerNews #Tech
@hackernews Webloc: Analysis of Penlink's Ad-Based Geolocation Surveillance Tech #HackerNews #Tech #Privacy
@hackernews Tokens β The New Dopamine Economy #HackerNews #Tech
@hackernews Stanford report highlights growing disconnect between AI insiders and everyone #HackerNews #Tech
@hackernews The tech jobs bust is real. Don't blame AI (yet) #HackerNews #Tech
@hackernews Mathematical Minimalism #HackerNews #Tech
@hackernews Show HN: Continual Learning with .md #HackerNews #Tech
@hackernews GitHub Stacked PRs #HackerNews #Tech
@hackernews Ascending into the Realm of Japanese Charts #HackerNews #Tech
@hackernews Google has the same AI adoption curve as John Deere #HackerNews #Tech
@hackernews Just Enough Chimera Linux #HackerNews #Tech
@hackernews Zuckerberg Didn't Think He Was Robotic Enough So Now He's Using AI #HackerNews #Tech
@hackernews (AMD) Build AI Agents That Run Locally #HackerNews #Tech
@hackernews Shape Grammar #HackerNews #Tech
@hackernews The Looming College-Enrollment Death Spiral #HackerNews #Tech
@hackernews Show HN: IthihΔsas β a character explorer for Hindu epics, built in a few hours #HackerNews #Tech
@hackernews How to make Firefox builds 17% faster #HackerNews #Tech
@hackernews Brunost: The Nynorsk Programming Language #HackerNews #Tech #Programming
@hackernews Building a Web Page That Edits Itself #HackerNews #Tech #WebDev
@hackernews Building a Grow-Only Counter on a Sequentially Consistent KV Store #HackerNews #Tech #Databases
@hackernews Austerity Creates Fascism #HackerNews #Tech
@hackernews Visualizing CPU Pipelining (2024) #HackerNews #Tech
@hackernews Evaluation of Claude Mythos Preview's cyber capabilities #HackerNews #Tech
@hackernews 'Yes to fields of wheat, no to fields of iron': how Denmark soured on solar #HackerNews #Tech
@hackernews Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them #HackerNews #Tech
@hackernews Tax Wrapped 2025 #HackerNews #Tech
@hackernews New Orleans's Car-Crash Conspiracy #HackerNews #Tech
@hackernews A Python Interpreter Written in Python #HackerNews #Tech #Python
@hackernews B-trees and database indexes (2024) #HackerNews #Tech
@hackernews The Rational Conclusion of Doomerism Is Violence #HackerNews #Tech