Home / 2025 / May
May 2025 Archive
781.
Atomics and Concurrency (redixhumayun.github.io)
145 points by LAC-Tech 3 weeks ago | 80 comments
782.
Show HN: Blast – Fast, multi-threaded serving engine for web browsing AI agents (github.com)
145 points by calebhwin 1 month ago | 66 comments
783.
Tornado warnings delayed because of DOGE cuts (mesoscalenews.com)
145 points by aaronbrethorst 1 month ago | 44 comments
784.
I learned Snobol and then wrote a toy Forth (ratfactor.com)
145 points by ingve 1 month ago | 39 comments
785.
Numerical Linear Algebra Class in Julia TUM (venkovic.github.io)
145 points by darboux 1 month ago | 8 comments
786.
A Texan who built an empire of ecstasy (texasmonthly.com)
144 points by wallflower 1 month ago | 156 comments
787.
Why are 2025/05/28 and 2025-05-28 different days in JavaScript? (brandondong.github.io)
144 points by brandon_bot 3 weeks ago | 153 comments
788.
Heat stress mitigation by trees and shelters at bus stops (sciencedirect.com)
144 points by rntn 1 month ago | 130 comments
789.
Show HN: Basecoat – shadcn/UI components, no React required
144 points by hunvreus 1 month ago | 77 comments
790.
What works (and doesn't) selling formal methods (galois.com)
144 points by azhenley 3 weeks ago | 74 comments
791.
Show HN: Real-Time Gaussian Splatting (github.com)
144 points by markisus 1 month ago | 53 comments
792.
The State of SSL Stacks (haproxy.com)
144 points by zdw 1 month ago | 46 comments
793.
Show HN: MCP Server SDK in Bash (github.com)
144 points by muthuishere 3 weeks ago | 36 comments
794.
I started a little math club in Bangalore (teachyourselfmath.app)
144 points by viveknathani_ 3 weeks ago | 31 comments
795.
Data breach exposes 184M passwords, likely captured by malware (zdnet.com)
143 points by taubek 3 weeks ago | 94 comments
796.
Dimension 126 Contains Twisted Shapes, Mathematicians Prove (quantamagazine.org)
143 points by baruchel 1 month ago | 84 comments
797.
Procolored printer drivers contained malware (neowin.net)
143 points by bundie 1 month ago | 74 comments
798.
Implementing a Forth (ratfactor.com)
143 points by todsacerdoti 3 weeks ago | 66 comments
799.
Popcorn: Run Elixir in WASM (popcorn.swmansion.com)
143 points by clessg 1 month ago | 27 comments
800.
Helmdar: 3D Scanning Brooklyn on Rollerblades (owentrueblood.com)
143 points by todsacerdoti 1 month ago | 26 comments
801.
The US has approved CRISPR pigs for food (technologyreview.com)
142 points by DocFeind 1 month ago | 160 comments
802.
Odin, a pragmatic C alternative with a Go flavour (bitshifters.cc)
142 points by hmac1282 1 month ago | 122 comments
803.
docker2exe: Convert a Docker image to an executable (github.com)
142 points by alexmolas 1 month ago | 90 comments
804.
K-Scale Labs: Open-source humanoid robots, built for developers (kscale.dev)
142 points by rbanffy 1 month ago | 61 comments
805.
The current state of TLA⁺ development (ahelwer.ca)
142 points by todsacerdoti 1 month ago | 42 comments
806.
U.S. Spy Agencies–One-Stop Shop to Buy Your Personal Data (theintercept.com)
141 points by LAsteNERD 4 weeks ago | 69 comments
807.
Comparison of C/POSIX standard library implementations for Linux (etalabs.net)
141 points by smartmic 1 month ago | 56 comments
808.
De Bruijn notation, and why it's useful (blueberrywren.dev)
141 points by blueberry87 3 weeks ago | 44 comments
809.
Airport for DuckDB (airport.query.farm)
141 points by jonbaer 1 month ago | 28 comments
810.
LLMs are more persuasive than incentivized human persuaders (arxiv.org)
140 points by flornt 1 month ago | 116 comments