top stories
Hacker News (May 2025)
-
Propositions as Types (2014) [pdf]
107 points • comment • may 06, 2025
-
Google Wallet launches new age and identity verification features (ZK proofs)
107 points • comment • may 01, 2025
-
Updated rate limits for unauthenticated requests
107 points • comment • may 09, 2025
-
The Turkish İ Problem and Why You Should Care (2012)
107 points • comment • may 06, 2025
-
VR Design Unpacked: The secret to Beat Saber's fun
107 points • comment • may 02, 2025
-
ACE-Step: A step towards music generation foundation model
107 points • comment • may 06, 2025
-
History of “Adventure” for the Atari 2600
107 points • comment • may 05, 2025
-
British naval dominance during the age of sail
107 points • comment • may 16, 2025
-
Mathematical Fiction
106 points • comment • may 25, 2025
-
'Turbocharged' Mitochondria Power Birds' Epic Migratory Journeys
106 points • comment • may 21, 2025
-
Microsoft is Cutting 3% of All Workers
106 points • comment • may 13, 2025
-
WireGuard vanity keygen
106 points • comment • may 19, 2025
-
Instagram Addiction
106 points • comment • may 20, 2025
-
How Does Claude 4 Think? – Sholto Douglas and Trenton Bricken
106 points • comment • may 23, 2025
-
Wacom drawing tablets track the name of every application you open (2020)
105 points • comment • may 17, 2025
-
OpenTelemetry protocol with Apache Arrow
105 points • comment • may 13, 2025
-
Launch HN: Relace (YC W23) – Models for fast and reliable codegen
105 points • comment • may 27, 2025
-
The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity
105 points • comment • may 31, 2025
-
What even is a small language model now?
105 points • comment • may 21, 2025
-
OpenSearch 3.0 Released
105 points • comment • may 07, 2025
-
Intel: Winning and Losing
105 points • comment • may 10, 2025
-
Internet usage pattern during power outage in Spain and Portugal
105 points • comment • may 05, 2025
-
Behind Silicon Valley and the GOP’s campaign to ban state AI laws
104 points • comment • may 17, 2025
-
Overview of the Ada Computer Language Competition (1979)
104 points • comment • may 21, 2025
-
Cursor hits $9B valuation
104 points • comment • may 05, 2025
-
Gail Wellington, former Commodore executive, has died
104 points • comment • may 17, 2025
-
Compiling OCaml to the TI-84 CE Calculator
104 points • comment • may 17, 2025
-
Bootstrapping Lisp in a Boot Sector
103 points • comment • may 05, 2025
-
Apple Blocks Fortnite's Return to iOS App Store, Epic Claims
103 points • comment • may 16, 2025
-
Toxic Origins, Toxic Decisions: Biases in CEO Selection
103 points • comment • may 30, 2025
-
The History of Album Art
103 points • comment • may 02, 2025
-
A Visual History of Chessmen
103 points • comment • may 25, 2025
-
Untrusted chatbot AI between you & the internet is a disaster waiting to happen
103 points • comment • may 29, 2025
-
Living beings emit a faint light that extinguishes upon death, study
103 points • comment • may 19, 2025
-
Estimating Logarithms
102 points • comment • may 31, 2025
-
Notes on Tunisia
102 points • comment • may 29, 2025
-
ARMv9 Architecture Helps Lift Arm to New Financial Heights
102 points • comment • may 14, 2025
-
RethinkDNS Resolver That Deploys to CF Workers, Deno Deploy, Fastly, Fly.io
102 points • comment • may 03, 2025
-
Accessing private GitHub repositories via MCP
102 points • comment • may 26, 2025
-
DWARF as a Shared Reverse Engineering Format
102 points • comment • may 28, 2025
-
Harnessing the Universal Geometry of Embeddings
102 points • comment • may 21, 2025
-
Traffic Fatalities Are a Choice
102 points • comment • may 12, 2025
-
Apple Shortcuts is falling into "the automation gap"
102 points • comment • may 05, 2025
-
Show HN: Buckaroo – Data table UI for Notebooks
102 points • comment • may 18, 2025
-
ChatGPT Is a Gimmick
102 points • comment • may 22, 2025
-
Show HN: A minimalist web timer for focus and time tracking
102 points • comment • may 26, 2025
-
The Beam
102 points • comment • may 09, 2025
-
Show HN: Turn any workflow diagram into compilable, running and stateful code
102 points • comment • may 14, 2025
-
CheerpJ 4.1: Java in the browser, now supporting Java 17 (preview)
101 points • comment • may 28, 2025
-
Microsoft Open Sources Copilot
101 points • comment • may 19, 2025
-
We know a little more about Amazon's satellites
101 points • comment • may 03, 2025
-
NASA study reveals Venus crust surprise
101 points • comment • may 09, 2025
-
Show HN: A platform to find tech conferences, discounts, and ticket giveaways
101 points • comment • may 16, 2025
-
Convolutions, Polynomials and Flipped Kernels
101 points • comment • may 21, 2025
-
Doom GPU Flame Graphs
101 points • comment • may 01, 2025
-
Using obscure graph theory to solve programming languages problems
101 points • comment • may 13, 2025
-
Valve takes another step toward making SteamOS a true Windows competitor
101 points • comment • may 24, 2025
-
Derivation and Intuition behind Poisson distribution
100 points • comment • may 01, 2025
-
Nvidia pushes further into cloud with GPU marketplace
100 points • comment • may 21, 2025
-
Satellites Spotting Depth
100 points • comment • may 21, 2025
-
Hyper Typing
100 points • comment • may 18, 2025
-
UndoDB – The interactive time travel debugger for Linux C/C++ for debugging
100 points • comment • may 23, 2025
-
Discover is now part of Capital One
100 points • comment • may 19, 2025
-
Cory Doctorow on how we lost the internet
100 points • comment • may 28, 2025
-
Outcome-Based Reinforcement Learning to Predict the Future
99 points • comment • may 27, 2025
-
JEP 515: Ahead-of-Time Method Profiling
99 points • comment • may 11, 2025
-
Terraform MCP Server
99 points • comment • may 19, 2025
-
Show HN: Oliphaunt – A native Mastodon client for macOS
99 points • comment • may 09, 2025
-
2024 sea level 'report cards' map futures of U.S. coastal communities
99 points • comment • may 11, 2025
-
SVG favicons in action
99 points • comment • may 24, 2025
-
Show HN: Confidential computing for high-assurance RISC-V embedded systems
99 points • comment • may 21, 2025
-
“Secret Mall Apartment,” a Protest for Place
99 points • comment • may 22, 2025
-
Nitrogen Triiodide (2016)
98 points • comment • may 29, 2025
-
Urtext: The Python plaintext library for people who've tried everything else
98 points • comment • may 01, 2025
-
In defense of shallow technical knowledge
98 points • comment • may 25, 2025
-
Show HN: Use Third Party LLM API in JetBrains AI Assistant
98 points • comment • may 03, 2025
-
The Logistics of Road War in the Wasteland
98 points • comment • may 24, 2025
-
Mitochondria Are More Than Powerhouses–They're the Motherboard of the Cell
98 points • comment • may 21, 2025
-
Why we still can't stop plagiarism in undergraduate computer science (2018)
98 points • comment • may 31, 2025
-
Fast machines, slow machines (2023)
97 points • comment • may 13, 2025
-
The Totalitarian Buddhist Who Beat SIM City (2010)
97 points • comment • may 02, 2025
-
Pakistani firm shipped fentanyl analogs, scams to us
97 points • comment • may 07, 2025
-
Webb telescope helps refine Hubble constant
97 points • comment • may 28, 2025
-
Don't unwrap options: There are better ways (2024)
97 points • comment • may 13, 2025
-
Byte latent transformer: Patches scale better than tokens
97 points • comment • may 12, 2025
-
Mipmap selection in too much detail
96 points • comment • may 11, 2025
-
Depictions of the Milky Way found in ancient Egyptian imagery
96 points • comment • may 01, 2025
-
MicroPython v1.25.0
96 points • comment • may 15, 2025
-
Gonzalo Guerrero
96 points • comment • may 11, 2025
-
The longest train journey is epic – but nobody's ever taken it
96 points • comment • may 17, 2025
-
I can’t understand Apple’s Critical Alert policy (2023)
96 points • comment • may 08, 2025
-
In the Network of the Conclav: How we "guessed" the Pope using network science
95 points • comment • may 09, 2025
-
More people are getting tattoos removed
95 points • comment • may 08, 2025
-
Wikipedia's Most Translated Articles
95 points • comment • may 19, 2025
-
Stack Overflow is almost dead
95 points • comment • may 15, 2025
-
Bethesda Thinks Fan Remaster of Oblivion Is 'Very Special' and Supports It
95 points • comment • may 03, 2025
-
A Pokémon battle simulation engine
95 points • comment • may 29, 2025
-
Garbage collection of object storage at scale
94 points • comment • may 10, 2025
-
The Decline of Usability: Revisited (2023)
94 points • comment • may 21, 2025
-
Bike-mounted sensor could boost the mapping of safe cycling routes
94 points • comment • may 14, 2025