351
15,000 lines of verified cryptography now in Python
480 points by todsacerdoti 6 days ago | 156 comments
352
Why Some Animals Live for Only Days and Others Live for Thousands of Years
6 points by stevenjgarner 14 hours ago | 3 comments
353
New Proof Settles Decades-Old Bet About Connected Networks
93 points by rbanffy 4 days ago | 21 comments
354
X-Ray Defence
58 points by fzliu 7 days ago | 7 comments
355
Fight Fiercely
13 points by Tomte 23 hours ago | 1 comments
356
CVE Foundation
455 points by layer8 8 days ago | 73 comments
357
Better Error Handling
72 points by zdgeier 4 days ago | 97 comments
358
The movie mistake mystery from "Revenge of the Sith"
450 points by CharlesW 4 days ago | 170 comments
359
Layered Design in Go
140 points by misonic 5 days ago | 38 comments
360
Launch HN: mrge.io (YC X25) – Cursor for code review
221 points by pomarie 9 days ago | 108 comments
361
Long-term L1 execution layer proposal: replace the EVM with RISC-V
27 points by kristianp 3 days ago | discuss
362
Synology Lost the Plot with Hard Drive Locking Move
651 points by motiejus 6 days ago | 401 comments
363
Falsify: Hypothesis-Inspired Shrinking for Haskell (2023)
89 points by birdculture 4 days ago | 17 comments
364
Flat origami is Turing complete (2023)
40 points by PaulHoule 3 days ago | 12 comments
365
Let's give PRO/VENIX a barely adequate, pre-C89 TCP/IP stack, featuring Slirp-CK
90 points by todsacerdoti 5 days ago | 12 comments
366
Full Text Search of US Court records
448 points by FigurativeVoid 6 days ago | 99 comments
367
Attention Spans for Math and Stories (2019)
91 points by ibobev 8 days ago | 15 comments
368
The Web Is Broken – Botnet Part 2
408 points by todsacerdoti 5 days ago | 270 comments
369
Crows can recognize geometric regularity
178 points by wglb 7 days ago | 81 comments
370
Pydrofoil: Accelerating Sail-based instruction set simulators
26 points by luu 3 days ago | 2 comments
371
Chinese-owned farms press for repeal of California animal welfare law
24 points by miles 1 day ago | 1 comments
372
Ask HN: How do you talk about past jobs you regret in interviews?
89 points by newacc250218 8 days ago | 111 comments
373
AI-Designed Antivenoms: New Proteins to Block Deadly Snake Toxins
103 points by Lol_arco 8 days ago | 25 comments
374
Double Descent Demystified: size of smallest non-zero singular value of X
8 points by highfrequency 1 day ago | 1 comments
375
Linux 6.15 lands fix for 3x Nginx regression
23 points by dabinat 1 day ago | discuss
376
Show HN: Keep your PyTorch model in VRAM by hot swapping code
77 points by valine 4 days ago | 7 comments
377
Tapeworm in fox poop that will slowly destroy your organs is on the rise
26 points by LinuxBender 1 day ago | 13 comments
378
Show HN: I made a Doom-like game fit inside a QR code
529 points by kuberwastaken 6 days ago | 136 comments
379
DOJ accidentally files doc outlining flaws with NYC congestion pricing plan
14 points by vinnyglennon 16 hours ago | discuss
380
mIRC 7.81
174 points by futurecat 7 days ago | 138 comments
381
Everyone knows your location, Part 2: try it yourself and share the results
317 points by mtlynch 7 days ago | 70 comments
382
Unauthenticated Remote Code Execution in Erlang/OTP SSH
198 points by kimi 7 days ago | 51 comments
383
If AI Systems Become Conscious, Should They Have Rights?
8 points by diggan 16 hours ago | 5 comments
384
Show HN: Fullstack Go app (SSRfront end+APIback end+Docker) with clean structure
13 points by norbix 2 days ago | discuss
385
Damn Vulnerable MCP Server
227 points by mrxhacker99 8 days ago | 63 comments
386
Demo "The Mind" by Haujobb and Sweet16
116 points by keyle 6 days ago | 14 comments
387
'Fighting crime blindfolded': Europe is coming after encryption
17 points by c420 22 hours ago | 6 comments
388
Perplexingly Book-Learned Emacs
70 points by tmseidman 5 days ago | 15 comments
389
An intro to DeepSeek's distributed file system
621 points by sebg 7 days ago | 107 comments
390
Why C#?
25 points by milanm081 19 hours ago | 4 comments
391
Ruby Rails: The One-Person Framework in Practice
13 points by ksec 2 days ago | 2 comments
392
Zoom outage caused by accidental 'shutting down' of the zoom.us domain
634 points by RVRX 8 days ago | 303 comments
393
Implementing Unsure Calculator in 100 lines of Haskell
6 points by romes 11 hours ago | discuss
394
Show HN: Light like the Terminal – Meet GTK LLM Chat Front End
35 points by icarito 3 days ago | 14 comments
395
Judge Rules Blanket Search of Cell Tower Data Unconstitutional
493 points by bradac56 6 days ago | 193 comments
396
Ref Butts and Slam Dunks: What It's Like Photographing an NBA Game
43 points by PaulHoule 6 days ago | 32 comments
397
A Review of the Personal Humanoid Robots
18 points by delichon 4 days ago | 5 comments
398
Cozy video games can quell stress and anxiety
592 points by vinhnx 6 days ago | 352 comments
399
Why is Good Friday called Good Friday?
116 points by vitoc 7 days ago | 143 comments
400
There's Life Inside Earth's Crust
131 points by jprohov 6 days ago | 47 comments