woid

top stories

Hacker News (2025)

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
166 points • comment • apr 01, 2025
Hokusai Moyo Gafu: an album of dyeing patterns
166 points • comment • jun 09, 2025
Which NPM package has the largest version number?
166 points • comment • sep 15, 2025
Lisping at JPL (2002)
165 points • comment • may 22, 2025
Cannonball: An enhanced OutRun engine
165 points • comment • jan 10, 2025
The state of Rust trying to catch up with Ada [video]
165 points • comment • feb 10, 2025
Larry Ellison's half-billion-dollar quest to change farming
165 points • comment • feb 24, 2025
Google's Unannounced Update Scans All Your Photos
165 points • comment • mar 02, 2025
Watch the path of a raindrop from anywhere in the world
165 points • comment • jan 26, 2025
Pointers Are Complicated II, or: We need better language specs (2020)
165 points • comment • jan 30, 2025
2025 AI Index Report
165 points • comment • apr 10, 2025
Llasa: Llama-Based Speech Synthesis
165 points • comment • may 01, 2025
PCB Edge USB C Connector Library
165 points • comment • oct 26, 2025
I built Foyer: a Rust hybrid cache that slashes S3 latency
165 points • comment • sep 23, 2025
We clone a running VM in 2 seconds (2022)
165 points • comment • apr 08, 2025
Third patient dies from acute liver failure caused by a Sarepta gene therapy
165 points • comment • jul 18, 2025
Amazon Japan ordered to pay 35M. yen for allowing listing of fakes
165 points • comment • apr 26, 2025
Today I learned that bash has hashmaps (2024)
165 points • comment • jan 08, 2025
Jeff Bezos creates A.I. startup where he will be co-chief executive
165 points • comment • nov 17, 2025
How to make a Smith chart
165 points • comment • oct 24, 2025
Feedmaker: URL + CSS selectors = RSS feed
165 points • comment • sep 19, 2025
Learning fast and accurate absolute pitch judgment in adulthood
165 points • comment • feb 13, 2025
Tinycolor supply chain attack post-mortem
165 points • comment • sep 17, 2025
Telephone Exchanges in the UK
165 points • comment • jun 15, 2025
Reverse engineering the 386 processor's prefetch queue circuitry
165 points • comment • may 10, 2025
RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components
165 points • comment • apr 01, 2025
Show HN: FFmpeg in plain English – LLM-assisted FFmpeg in the browser
165 points • comment • jul 10, 2025
Show HN: Tiny Diffusion – A character-level text diffusion model from scratch
165 points • comment • nov 10, 2025
Cryptographic Issues in Cloudflare's Circl FourQ Implementation (CVE-2025-8556)
165 points • comment • oct 22, 2025
How Airbus took off
165 points • comment • nov 09, 2025
Mary Meeker's first Trends report since 2019, focused on AI
165 points • comment • may 30, 2025
Backblaze Drive Stats for Q3 2025
165 points • comment • nov 14, 2025
Alan.app – Add a Border to macOS Active Window
165 points • comment • nov 26, 2025
Loko Scheme: bare metal optimizing Scheme compiler
165 points • comment • oct 07, 2025
Atop 2.11 heap problems
165 points • comment • mar 29, 2025
Forking Chrome to render in a terminal (2023)
165 points • comment • sep 05, 2025
Detect Electron apps on Mac that hasn't been updated to fix the system wide lag
165 points • comment • oct 01, 2025
Black Mirror's pessimism porn won't lead us to a better future
165 points • comment • apr 10, 2025
Stdio(3) change: FILE is now opaque
165 points • comment • jul 20, 2025
The quality of AI-assisted software depends on unit of work management
165 points • comment • sep 18, 2025
Show HN: Onit – Source-available ChatGPT Desktop with local mode, Claude, Gemini
165 points • comment • jan 24, 2025
Whisky is no longer actively maintained
165 points • comment • apr 09, 2025
Source code art in the Rivulet language
165 points • comment • mar 27, 2025
The great Hobby Lobby artifact heist
165 points • comment • mar 23, 2025
Efficient Reasoning with Hidden Thinking
165 points • comment • feb 03, 2025
Show HN: OCR pipeline for ML training (tables, diagrams, math, multilingual)
165 points • comment • apr 05, 2025
Don't “let it crash”, let it heal
165 points • comment • aug 06, 2025
Doctors could hack the nervous system with ultrasound
165 points • comment • jun 09, 2025
Should we use AI and LLMs for Christian apologetics? (2024)
165 points • comment • jan 21, 2025
AMD’s RDNA4 GPU architecture
165 points • comment • sep 13, 2025
Commodore 64 Ultimate
165 points • comment • jul 12, 2025
Keyhive – Local-first access control
165 points • comment • oct 02, 2025
Understanding LucasArts' iMUSE System
165 points • comment • may 12, 2025
Typepad is shutting down
165 points • comment • aug 27, 2025
Checklists are hard, but still a good thing
165 points • comment • jul 20, 2025
Sid Meier's Pirates – In-depth (2017)
165 points • comment • may 31, 2025
The Future of Programming (2013) [video]
165 points • comment • nov 13, 2025
Typing 118 WPM broke my brain in the right ways
165 points • comment • jun 02, 2025
Australian anti-porn group claims responsibility for Steams new censorship rules
165 points • comment • jul 21, 2025
Show HN: Recall: Give Claude memory with Redis-backed persistent context
165 points • comment • oct 08, 2025
The origins of 60-Hz as a power frequency (1997)
165 points • comment • feb 07, 2025
JIT: So you want to be faster than an interpreter on modern CPUs
164 points • comment • oct 12, 2025
InitWare, a portable systemd fork running on BSDs and Linux
164 points • comment • apr 03, 2025
Living with Nausea: My Story in Six Charts
164 points • comment • jan 31, 2025
The mistake of yearning for the 'friendly' online world of 20 years ago
164 points • comment • jan 12, 2025
I'm more proud of these 128 kilobytes than anything I've built since
164 points • comment • jul 11, 2025
Who does your assistant serve?
164 points • comment • aug 17, 2025
How corn syrup took over America
164 points • comment • jan 13, 2025
Smallest particulate matter air quality sensor for ultra-compact IoT devices
164 points • comment • jul 27, 2025
PeerTube v7.1 Is Out
164 points • comment • mar 18, 2025
Yes-rs: A fast, memory-safe rewrite of the classic Unix yes command
164 points • comment • may 27, 2025
Magit Is Amazing
164 points • comment • oct 21, 2025
Writing my own dithering algorithm in Racket
164 points • comment • apr 13, 2025
Ask HN: How can I realistically change careers?
164 points • comment • jan 17, 2025
HeidiSQL Available Also for Linux
164 points • comment • may 29, 2025
Trump announces 100% tariffs on movies ‘produced in foreign lands’
164 points • comment • may 05, 2025
Finding a former Australian prime minister’s passport number on Instagram (2020)
164 points • comment • jun 29, 2025
Microplastics shed by food packaging are contaminating our food, study finds
164 points • comment • jun 24, 2025
Show HN: Project management system for Claude Code
164 points • comment • aug 20, 2025
Spice86 – A PC emulator for real mode reverse engineering
164 points • comment • feb 20, 2025
PYREX vs. pyrex: What's the difference?
164 points • comment • sep 20, 2025
I ate and reviewed every snack in our office kitchen
164 points • comment • feb 21, 2025
Event – Fast, In-Process Event Dispatcher
164 points • comment • jun 29, 2025
FBI Director Waived Polygraph Security Screening for Three Senior Staff
164 points • comment • nov 15, 2025
A message from Intel CEO Lip-Bu Tan to all company employees
164 points • comment • aug 08, 2025
X-ray scans reveal Buddhist prayers inside tiny Tibetan scrolls
164 points • comment • aug 16, 2025
Wii U SDBoot1 Exploit “paid the beak”
164 points • comment • jul 18, 2025
Xonsh – A Python-powered shell
164 points • comment • feb 21, 2025
Digital ID, a new way to create and present an ID in Apple Wallet
164 points • comment • nov 12, 2025
Effective Rust (2024)
164 points • comment • mar 01, 2025
Commercials that David Lynch directed (2018)
164 points • comment • mar 29, 2025
mIRC 7.81
164 points • comment • apr 17, 2025
Isaac Asimov describes how AI will liberate humans and their creativity (1992)
164 points • comment • apr 10, 2025
Julia Parsons, U.S. Navy Code Breaker During World War II, Dies at 104
164 points • comment • may 01, 2025
Better text rendering in Chromium-based browsers on Windows
164 points • comment • feb 13, 2025
KiCad and Wayland Support
164 points • comment • jun 17, 2025
Customize Nano Text Editor (2022)
164 points • comment • oct 25, 2025
Tools I love: mise(-en-place)
164 points • comment • jun 29, 2025
Rasterizer: A GPU-accelerated 2D vector graphics engine in ~4k LOC
164 points • comment • sep 01, 2025
A study on how turtles navigate using the Earth’s magnetic field
164 points • comment • feb 14, 2025