YHK - yet another hacker news clone

1.
The Case Against Formal Verification, 50 Years Later

31 points ghuntley 1 hour ago 20 comments

2.
A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

242 points Narishma 4 hours ago 128 comments

3.
Claude: System Prompts

447 points tosh 8 hours ago 192 comments

4.
Protobuf has LSP support. You're welcome

66 points theanonymousone 2 hours ago 37 comments

5.
SIMD in the 90s: Programming Intel's Pentium MMX

32 points ibobev 3 days ago 7 comments

6.
Low-Tech Ceramic Water Filter

32 points Bluestein 5 days ago 9 comments

7.
The AI Credit Resale Economy

191 points mlenhard 6 hours ago 70 comments

8.
Models Are Getting Dumber on Purpose

169 points hruvhwe 2 hours ago 107 comments

9.
MathCode, Mathematical Coding Agent

36 points homarp 3 hours ago 11 comments

10.
Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

39 points zacharyozer 1 hour ago 26 comments

11.
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core

131 points toomuchtodo 6 hours ago 94 comments

12.
Clamiga: Common Lisp for the Amiga

65 points emptybits 3 days ago 6 comments

13.
Plastic mechanical computer from 1963: The Digi-Comp 1 [video]

30 points tobr 1 day ago 7 comments

14.
Anton Chekhov played at love most of his life

47 points lermontov 1 day ago 7 comments

15.
Firefox for iOS now has a native adblocker

456 points pentagrama 8 hours ago 192 comments

16.
Tell HN: Cloudflare silently injects its analytics when you switch nameservers

176 points stagas 3 hours ago 47 comments

17.
Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

9 points root-parent 41 minutes ago 2 comments

18.
Before Rightmove, there was the Cosmorama

20 points brod_ie 5 days ago 2 comments

19.
Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

7 points root-parent 34 minutes ago No comments

20.
Tasklet (YC P26) Is Hiring a Head of Design Engineering

1 points mayop100 8 hours ago No comments

21.
Archie G. Norcross' Maine Forest Fire Maps (1918–22)

21 points samclemens 3 days ago 3 comments

22.
In the Shadow of the (Berlin) Wall

6 points yitchelle 3 days ago 1 comments

23.
The weekend is 100 years old

154 points lentil_soup 6 hours ago 88 comments

24.
A True Telnet BBS on a Casio Calculator

74 points austinallegro 9 hours ago 9 comments

25.
Asus Bike Booster

594 points wiradikusuma 4 days ago 414 comments

26.
NIH is ending a key grant for budding clinical researchers

116 points brandonb 5 hours ago 60 comments

27.
Chestnut – eGPU dock with open-source firmware

123 points txrx0000 2 days ago 35 comments

28.
A SAT Attack on Tarski's High School Algebra Problem

72 points matt_d 4 days ago 29 comments

29.
The deep history behind the Road to Nowhere inside the Great Smoky Mountains

17 points yareally 3 days ago 5 comments

30.
Research papers using "kidney disappointment" instead of "kidney failure"

339 points Alifatisk 9 hours ago 119 comments

31.
Asynchronous I/O in DuckDB: Work, Thread, Work

266 points pdet 6 days ago 28 comments

32.
GPS and the Lost Art of Getting Lost

64 points karakoram 6 hours ago 51 comments

33.
Does anyone run Postgres without PgBouncer?

126 points abelanger 4 days ago 82 comments

34.
Superconducting monolayer cuprate with a single CuO2 plane

60 points sbulaev 4 days ago 15 comments

35.
Cultivating a state of mind where new ideas are born (2023)

258 points felixbraun 1 day ago 61 comments

36.
Semaglutide linked to lower predicted dementia risk

474 points randycupertino 1 day ago 374 comments

37.
Guiding Ships with Moire Patterns (2018)

107 points Eridanus2 20 hours ago 27 comments

38.
Super El Niño Keeps Growing as New Forecasts Reach Record Territory Ahead Winter

406 points dgellow 1 day ago 289 comments

39.
The Trumps' Crypto Project Just Got One Step Closer to Becoming a Bank

34 points rib3ye 2 hours ago 25 comments

40.
Nvidia discloses $21B stake in SpaceX at end of second quarter

26 points johnbarron 3 hours ago 15 comments

More