YHK - yet another hacker news clone

1.

Formalizing Fermat's Last Theorem

290 points jlebar 2 hours ago 175 comments

2.

Discovery of a new OpenAI agent message board

1322 points moultano 9 hours ago 1072 comments

3.

Fermat's Last Theorem: Anthropic has beaten me to it

21 points ravenical 27 minutes ago 2 comments

4.

Shutting down our public encrypted DNS

152 points mywacaday 2 hours ago 48 comments

5.

Can AI design circuit boards yet?

64 points iopapa 1 hour ago 48 comments

6.

Statichost.eu – 100% European static site hosting

29 points p4bl0 53 minutes ago 3 comments

7.

Show HN: Open-Source eInk Bike Computer

174 points stingrae 4 hours ago 57 comments

8.

Government Rails Site Hit Hours After CVE Patch

43 points rietta 2 hours ago 12 comments

9.

An open DNS recursive service for free security and high privacy

17 points mooreds 1 hour ago 4 comments

10.

The Rust React Compiler is now native in Vite

75 points acusti 3 hours ago 13 comments

11.

193 points artpar 8 hours ago 229 comments

12.

deSEC – Free Secure DNS

84 points gurjeet 5 hours ago 31 comments

13.

Solving the Jane Street reverse engineering challenge

357 points anitil 11 hours ago 81 comments

14.

The Wormhole Hall of Shame

9 points rznicolet 4 days ago 5 comments

15.

Fermat's Last Theorem in Lean 4

19 points aaraujo002 2 hours ago 3 comments

16.

How to Create a Tor Exit Node

13 points Eridanus2 1 hour ago 9 comments

17.

Adult Film Producer Unmasks Prolific 'John DOE' Torrent Pirate as Meta Executive

243 points speckx 4 hours ago 138 comments

18.

Project HydraFusion: Frontier quality via multi-model orchestration

46 points qainsights 5 hours ago 27 comments

19.

People that worked on the same idea for decades

37 points sebg 1 day ago 18 comments

20.

Show HN: TERMy – A fast terminal assistant that does not use LLMs

68 points gioscarab 12 hours ago 24 comments

21.

Corporate America is getting hooked on open-source AI

227 points aaraujo002 5 hours ago 210 comments

22.

Deadpan Photography: Enjoying the Pretence

10 points NaOH 3 days ago 7 comments

23.

Elevator of the Year: Modernization of the Metropolis Trust Building

132 points palashawas 3 days ago 48 comments

24.

Getting Started with AT Protocol

66 points evakhoury 3 days ago 23 comments

25.

SubImage (YC W25) Is Hiring a Founding Engineer in SF

1 points alexchantavy 9 hours ago No comments

26.

"Next-token predictor" is the wrong mental model for LLMs

35 points garrinm 4 hours ago 78 comments

27.

Ok, but does it scale?

100 points theanonymousone 8 hours ago 62 comments

28.

The Two Abstractions of System Design: Hide or Reduce

93 points ubolonton_ 2 days ago 10 comments

29.

Arrested for a Late Manuscript: Seicho Matsumoto's 'Tokyo Express'

16 points benbreen 1 day ago 3 comments

30.

2134 points kibae 1 day ago 1939 comments

31.

The largest electric aircraft just flew [video]

460 points feb 3 days ago 347 comments

32.

Google AI Mode shows same products 21.6% more expensive than traditional search

352 points DeepLogin 9 hours ago 70 comments

33.

Resources to Get Good at Soldering?

67 points tosmatos 2 days ago 42 comments

34.

Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region

54 points hawshemi 8 hours ago 63 comments

35.

.name Termination

2133 points pavel_lishin 1 day ago 528 comments

36.

The Sealed Document TikTok Doesn't Want Two Senators to See

10 points formerlurker 1 hour ago 1 comments

37.

How Fairphone built the Fairphone Gen 6+

183 points CrypticShift 8 hours ago 154 comments

38.

A Switch-Level Simulation Model for Integrated Logic Circuits (1981) [pdf]

12 points gregsadetsky 2 days ago 1 comments

39.

How an MIT research project became the Julia programming language

203 points theanonymousone 4 days ago 110 comments

40.

US Military disables ad trackers on troops' phones

154 points tencentshill 7 hours ago 83 comments