| 13 hours
| A new way to think about borrow checking (in reverse) (105
points, comments) |
13 |
1 minute |
| 4 hours
| Lant – The Forgotten Resource (20
points, comments) |
12 |
34 minutes |
| 2 hours
| HOL Light Tutorial (8
points, comments) |
12 |
37 minutes |
| 15 hours
| One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux (87
points, comments) |
8 |
53 minutes |
| 23 hours
| Open MicroManipulator – A sub-micrometer 3D motion control plattform (209
points, comments) |
3 |
1 hour |
| 59 seconds
| Harness2 by Google Research – Recursive Agent Harnessing (4
points, comments) |
30 |
1 hour |
| 5 hours
| How Postgres DELETE can actually scale (22
points, comments) |
14 |
1 hour |
| 11 minutes
| Show HN: I re-read the terms of 175 AI tools twice; 60% changed in 15 weeks (10
points, comments) |
2 |
1 hour |
| 6 hours
| DeepSeek v4.1 Flash 1017 Scores 45 in Artificial Analysis (160
points, comments) |
1 |
1 hour |
| 20 hours
| Show HN: The Zelda timeline to catch up before the Ocarina of Time remake (192
points, comments) |
5 |
1 hour |
| 19 hours
| macOS 15.8.2 Breaks OpenGL (271
points, comments) |
1 |
1 hour |
| 4 hours
| Flatpak – An Insecurity Nightmare (52
points, comments) |
5 |
2 hours |
| 13 hours
| "I'm on a war footing": Terry Tao and the crisis in math (190
points, comments) |
3 |
2 hours |
| 4 hours
| Verisign .com Domain Name Registry Consumer Class Action (99
points, comments) |
1 |
2 hours |
| 6 hours
| Footage of the Flock search that a judge ruled was uncosntitutional (104
points, comments) |
16 |
4 hours |
| 6 hours
| Sanity's Edge – A voice BBS from 1994 (21
points, comments) |
19 |
5 hours |
| 13 hours
| Namecheap just seized and disabled all my domains (559
points, comments) |
10 |
5 hours |
| 15 hours
| The Intel 8087 chip: floating-point addition and subtraction (103
points, comments) |
3 |
5 hours |
| 10 hours
| 16-bit fully functional DIY magnetic core memory (58
points, comments) |
8 |
5 hours |
| 7 hours
| "Traditional, but Puzzling" (43
points, comments) |
9 |
5 hours |
| 14 hours
| Sigsaly: Churchill's top secret hotline to the President (127
points, comments) |
4 |
5 hours |
| 35 minutes
| Agent-Skills.market (14
points, comments) |
2 |
6 hours |
| 1 hour
| Lombok Is Still Relevant in the Age of Java Records (11
points, comments) |
17 |
6 hours |
| 23 minutes
| Show HN: Yila – A Codex for Scientific Research (4
points, comments) |
10 |
7 hours |
| 42 minutes
| Show HN: Strot – Compile an LLM's intent once, run decisions locally forever (22
points, comments) |
1 |
7 hours |
| 1 day
| The First Candid (50
points, comments) |
4 |
7 hours |
| 11 hours
| I Electrified My Push Scooter with a Power Drill (163
points, comments) |
10 |
8 hours |
| 18 hours
| Parser Combinators (226
points, comments) |
2 |
8 hours |
| 1 hour
| Faster command recall with substring search (3
points, comments) |
18 |
8 hours |
| 1 day
| Types of types: Haskell's Kind system (108
points, comments) |
7 |
8 hours |
| 3 hours
| What the heck is /pkg? (28
points, comments) |
13 |
8 hours |
| 7 hours
| Personal software factories are a waste of time (63
points, comments) |
2 |
9 hours |
| 6 hours
| Developing for Debugging (2025) (32
points, comments) |
8 |
9 hours |
| 45 minutes
| Starcraft: Ashfall (23
points, comments) |
7 |
9 hours |
| 21 hours
| How the Elizabeth Holmes Doc 'You Can See Everything' Is Deceiving You (369
points, comments) |
1 |
10 hours |
| 19 hours
| DeepSeek search and fetch – $0.75 per 1000 successful requests (553
points, comments) |
1 |
10 hours |
| 39 minutes
| How RC2's π table was made (5
points, comments) |
19 |
12 hours |
| 5 hours
| HOA's are making the home crisis worse (158
points, comments) |
1 |
12 hours |
| 7 hours
| Beyond Tetris: The Other Games of Alexey Pajitnov [video] (53
points, comments) |
11 |
12 hours |
| 19 hours
| Show HN: Sphinx – a hook that quizzes you on your AI's code before shipping (240
points, comments) |
1 |
12 hours |
| 15 hours
| Teal – A statically-typed dialect of Lua (160
points, comments) |
5 |
12 hours |
| 2 hours
| Netflix vmaf: Perceptual video quality assessment based on multi-method fusion (14
points, comments) |
21 |
13 hours |
| 12 hours
| Legal experts warn Meta's new terms still grant broad scraping permissions (216
points, comments) |
2 |
13 hours |
| 1 hour
| They war-gamed dimming the Sun. It went worse than you think (16
points, comments) |
10 |
13 hours |
| 39 minutes
| Show HN: OmniPTY – Opinionated terminal emulator for macOS and Linux (7
points, comments) |
28 |
13 hours |
| 4 hours
| Mitos editor is a fork of Helix (57
points, comments) |
4 |
14 hours |
| 2 hours
| Geographical Fun: Being Humourous Outlines of Various Countries (1868) (9
points, comments) |
15 |
15 hours |
| 1 hour
| Tiny Brutalism – Thanks to HN It's on Steam (47
points, comments) |
20 |
15 hours |
| 5 hours
| Voyage of the Paper Canoe: 2500 Miles from Quebec to the Gulf of Mexico, 1874-5 (26
points, comments) |
14 |
15 hours |
| 6 hours
| Will it be a golden age or a dark age for mathematics (and science)? (111
points, comments) |
2 |
15 hours |
| 5 hours
| The Electronic Disturbance Theater and Electronic Civil Disobedience (30
points, comments) |
11 |
15 hours |
| 7 hours
| The Brain Sandwich (60
points, comments) |
18 |
16 hours |
| 2 hours
| CKKS – Addition and Multiplication (10
points, comments) |
17 |
16 hours |
| 1 hour
| CFPB Opens Debanking Investigation into Nine Large National Banks (22
points, comments) |
22 |
16 hours |
| 1 hour
| Investing in the Public Benefit (32
points, comments) |
4 |
16 hours |
| 35 minutes
| US threatens Europe over Starlink restrictions (39
points, comments) |
10 |
16 hours |
| 6 hours
| Hatching (Heraldry) (67
points, comments) |
6 |
17 hours |
| 9 hours
| Regex visualized as 3D marble run (79
points, comments) |
8 |
17 hours |
| 1 day
| Dam removals are bringing fish back across the northeastern United States (344
points, comments) |
2 |
17 hours |
| 17 hours
| Lean Now Ships with Verified Kernels (191
points, comments) |
2 |
18 hours |
| 23 hours
| Bleached corals thrive within days when touching healthy neighbour (535
points, comments) |
1 |
18 hours |
| 1 day
| Pele – Mermaid diagrams as themeable SVG (555
points, comments) |
5 |
18 hours |
| 6 hours
| A History of Curves and Surfaces in Computer Aided Geometric Design [pdf] (27
points, comments) |
12 |
18 hours |
| 3 hours
| Chirp Pong – uses microphones and audio for networked game play (23
points, comments) |
12 |
18 hours |
| 45 minutes
| British Airways: Filming Crew W Meta Glasses Could Get Your Tickets Cancelled (67
points, comments) |
1 |
18 hours |
| 3 hours
| Websites are closing their doors to AI agents (113
points, comments) |
7 |
19 hours |
| 2 hours
| How Far Will AI Assistants Go for a Refund They Can't Get? (60
points, comments) |
10 |
19 hours |
| 2 hours
| Anthropic's proposed AI safety bill only kicks in if 50 deaths or $1B in damages (115
points, comments) |
7 |
19 hours |
| 1 day
| Furifont, a Japanese font that shows furigana (389
points, comments) |
3 |
19 hours |
| 5 hours
| Lorenz and Little: How Much Does Your Tail Cost? (25
points, comments) |
16 |
20 hours |
| 1 hour
| Tesla 'Cannot Guarantee' Roadster Reservation Holders Will Ever Get a Car (68
points, comments) |
11 |
20 hours |
| 12 minutes
| Campus deplatformings hit record high (15
points, comments) |
4 |
20 hours |
| 1 hour
| Theranos-Style Fraud Has Become the Norm (79
points, comments) |
10 |
20 hours |
| 1 day
| DeepSeek-v4.1-Flash-1017 (919
points, comments) |
2 |
21 hours |
| 1 day
| Making Chicken Transparent Using Dorito Dust (335
points, comments) |
1 |
21 hours |
| 10 hours
| Southern ground hornbill gets 3D printed beak prostheses at Artis Zoo (57
points, comments) |
6 |
21 hours |
| 21 hours
| The Commodore 64 hardware simulator: break chips and pins, see the results (219
points, comments) |
2 |
21 hours |
| 1 day
| You could have invented transformers from memory (602
points, comments) |
5 |
21 hours |
| 10 hours
| Interactive Linear Programming in the Browser (68
points, comments) |
14 |
21 hours |
| 8 hours
| Fun Extending the C Preprocessor (44
points, comments) |
7 |
21 hours |
| 14 hours
| NY announces game ownership bill requiring ownership rather than licensing (378
points, comments) |
7 |
22 hours |
| 17 hours
| Codex is EATING my Mac's disk space (156
points, comments) |
10 |
22 hours |
| 19 hours
| Gold is now the top U.S. export (378
points, comments) |
2 |
22 hours |
| 20 hours
| Show HN: High-quality duck audio synthesizer (157
points, comments) |
10 |
22 hours |
| 34 minutes
| Gen Z Is the First Generation Dumber Than Their Parents (42
points, comments) |
17 |
22 hours |
| 10 hours
| Superoptimizing an FPU Emulator (40
points, comments) |
11 |
23 hours |
| 13 hours
| Custom server to revive neato bots (54
points, comments) |
10 |
23 hours |
| 22 hours
| Show HN: Esp32sim – Run ESP32 firmware in the browser (183
points, comments) |
9 |
23 hours |
| 7 hours
| Notes on the Complex Roots of Unity (34
points, comments) |
9 |
23 hours |
| 20 minutes
| Germany's 17M Immigrants: Where They Come From (6
points, comments) |
23 |
23 hours |
| 1 day
| Show HN: Llmspeed – feel how fast a local LLM runs before you buy the hardware (308
points, comments) |
3 |
23 hours |