YHK - yet another hacker news clone

1.

Formalizing Fermat's Last Theorem

229 points jlebar 1 hour ago 125 comments

2.

Discovery of a new OpenAI agent message board

1252 points moultano 8 hours ago 1017 comments

3.

Shutting down our public encrypted DNS

114 points mywacaday 1 hour ago 24 comments

4.

Can AI design circuit boards yet?

32 points iopapa 45 minutes ago 18 comments

5.

Show HN: Open-Source eInk Bike Computer

148 points stingrae 3 hours ago 54 comments

6.

Government Rails Site Hit Hours After CVE Patch

33 points rietta 1 hour ago 9 comments

7.

The Rust React Compiler is now native in Vite

57 points acusti 2 hours ago 12 comments

8.

An open DNS recursive service for free security and high privacy

5 points mooreds 21 minutes ago No comments

9.

183 points artpar 7 hours ago 212 comments

10.

deSEC – Free Secure DNS

74 points gurjeet 4 hours ago 30 comments

11.

Solving the Jane Street reverse engineering challenge

349 points anitil 10 hours ago 79 comments

12.

Project HydraFusion: Frontier quality via multi-model orchestration

44 points qainsights 4 hours ago 23 comments

13.

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

193 points speckx 3 hours ago 108 comments

14.

Resources to Get Good at Soldering?

51 points tosmatos 2 days ago 34 comments

15.

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

54 points gioscarab 11 hours ago 22 comments

16.

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

20 points garrinm 3 hours ago 61 comments

17.

The Two Abstractions of System Design: Hide or Reduce

91 points ubolonton_ 2 days ago 10 comments

18.

Elevator of the Year Winner Modernization of the Metropolis Trust Building

130 points palashawas 3 days ago 47 comments

19.

People that worked on the same idea for decades

29 points sebg 1 day ago 15 comments

20.

Getting Started with AT Protocol

59 points evakhoury 3 days ago 22 comments

21.

Fermat's Last Theorem in Lean 4

8 points aaraujo002 1 hour ago 2 comments

22.

Qwen 3.8 27B available on Cerebras at 1500 tokens/s

673 points altertable 1 day ago 221 comments

23.

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

1 points alexchantavy 8 hours ago No comments

24.

2124 points kibae 1 day ago 1932 comments

25.

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

14 points benbreen 1 day ago 4 comments

26.

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

339 points DeepLogin 8 hours ago 70 comments

27.

Deadpan Photography: Enjoying the Pretence

5 points NaOH 3 days ago 2 comments

28.

The largest electric aircraft just flew [video]

456 points feb 3 days ago 340 comments

29.

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

51 points hawshemi 7 hours ago 63 comments

30.

Artificial beaver dams saw juvenile coho salmon survival rates go from 8% to 60%

366 points speckx 1 day ago 120 comments

31.

.name Termination

2129 points pavel_lishin 1 day ago 528 comments

32.

How Fairphone built the Fairphone Gen 6+

178 points CrypticShift 7 hours ago 147 comments

33.

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

11 points gregsadetsky 2 days ago 1 comments

34.

Georgi Gerganov on llama.cpp/ggml future after Nvidia acquisition of HuggingFace

58 points theanonymousone 3 hours ago 18 comments

35.

GPT-6 Astra Generally Available

10 points samyok 17 minutes ago 1 comments

36.

US Military disables ad trackers on troops' phones

148 points tencentshill 6 hours ago 80 comments

37.

How an MIT research project became the Julia programming language

202 points theanonymousone 4 days ago 110 comments

38.

Hayes AT command set

26 points 0xbadcafebee 2 hours ago 6 comments

39.

Corporate America is getting hooked on open-source AI

207 points aaraujo002 5 hours ago 191 comments

40.

Porting my 1993 Amiga game to Godot, with an LLM reading the 68000 assembly

363 points rabahs 1 day ago 125 comments