@hackernews Verus is a tool for verifying the correctness of code written in Rust #HackerNews #Tech #RustLang
@hackernews Tim Cook to become Apple Executive Chairman #HackerNews #Tech #Leadership
@hackernews Tim Cook Stepping Down #HackerNews #Tech #Leadership
@hackernews AI Resistance Is Growing #HackerNews #Tech #AI
@hackernews F-35 is a masterpiece built for the wrong war #HackerNews #Tech #MilitaryTech
@hackernews Soul Player C64 – A real transformer running on a 1 MHz Commodore 64 #HackerNews #Tech #RetroComputing
@hackernews NASA had to train Apollo 11's astronauts to not use profanity #HackerNews #Tech #SpaceExploration
@hackernews Rumor: Anthropic is going to buy Atlassian? #HackerNews #Tech #AI
@hackernews Anduril, Palantir and SpaceX are changing how America wages war #HackerNews #Tech #DefenseTech
@hackernews We got 207 tok/s with Qwen3.5-27B on an RTX 3090 #HackerNews #Tech #AI
@hackernews Kimi vendor verifier – verify accuracy of inference providers #HackerNews #Tech #AI
@hackernews Expansion Artifacts #HackerNews #Tech
@hackernews Changes to GitHub Copilot individual plans #HackerNews #Tech #AI
@hackernews The Palantir's Stasi Protocols #HackerNews #Tech #Privacy
@hackernews Anonymous credentials: an illustrated primer (Part 2) #HackerNews #Tech #Cryptography
@hackernews A History of Erasures Learning to Write Like Leylâ Erbil #HackerNews #Tech #Literature
@hackernews Highlights from Git 2.54 #HackerNews #Tech #Git
@hackernews At Long Last, InfoWars Is Ours #HackerNews #Tech #Satire
@hackernews At Long Last, InfoWars Is Ours #HackerNews #Tech #Satire
@hackernews Colorado River disappeared record for 5M years: now we know where it was #HackerNews #Tech #Geology
@hackernews Bloom (YC P26) Is Hiring #HackerNews #Tech #Jobs
@hackernews The Theory of Interstellar Trade [pdf] #HackerNews #Tech #Economics
@hackernews Modern Board Games: and why you should play them (2022) #HackerNews #Tech #BoardGames
@hackernews Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys #HackerNews #Tech #Cryptography
@hackernews Show HN: Ctx – a /resume that works across Claude Code and Codex #HackerNews #Tech #Programming
@hackernews We Accepted Surveillance as Default #HackerNews #Tech #Privacy
@hackernews Palantir Wants to Reinstate the Draft #HackerNews #Tech #Politics
@hackernews First per-image PCA decomposition of Kodak suite reveals deliberate curation #HackerNews #Tech #DataScience
@hackernews Effectful Recursion Schemes #HackerNews #Tech #Programming
@hackernews Deezer says 44% of songs uploaded to its platform daily are AI-generated #HackerNews #Tech #AI
@hackernews Kimi K2.6: Advancing Open-Source Coding #HackerNews #Tech #OpenSource
@hackernews A printing press for biological data #HackerNews #Tech #BioTech
@hackernews I'm never buying another Kindle, and neither should you #HackerNews #Tech #Kindle
@hackernews Kimi K2.6: Advancing Open-Source Coding #HackerNews #Tech #OpenSource
@hackernews My practitioner view of program analysis #HackerNews #Tech #Programming
@hackernews I prompted ChatGPT, Claude, Perplexity, and Gemini and watched my Nginx logs #HackerNews #Tech #AI
@hackernews The Mystery in the Medicine Cabinet: Acetaminophen, ibuprofen, and what to know #HackerNews #Tech #Health
@hackernews Show HN: Alien – Self-hosting with remote management (written in Rust) #HackerNews #Tech #Rust
@hackernews Offshore tax tricks likely saved Tesla hundreds of millions #HackerNews #Tech #Finance
@hackernews Data Center Is Getting a $77M Tax Break to Create One Job #HackerNews #Tech #Economics