Hacker News on the Go

Genie 4

(deepmind.google)acossta

303

Police Are Using AI to Pull over Drivers for 'Suspicious' Behavior

(gizmodo.com)gumby

131

Ghostty 1.4.0

(ghostty.org)deaux

155

Classification of Finite Simple Groups Formalized in Lean

(cfsg.axiommath.ai)pfdietz

51

Python's experimental JIT to be removed

326

New iMac with M6

(www.apple.com)notfried

189

Wikipedia's Cleanup of AI-Generated Content

(spectrum.ieee.org)rbanffy

320

The US government is hiding secret court ruling about how it spies on Americans

(www.wired.com)helterskelter2

439

Microsoft and Others Tell Crypto Platform Not to Tokenize Their Stocks

(gizmodo.com)gumby

29

Why Micron Is Suddenly Ditching 4F² DRAM as Rivals Double Down

(hothardware.com)rbanffy

81

PHP2Shell, LiteLLM, GitLab: Find What You Need to Patch

(cloudsleuth.io)bigfish2026

19

Here be monsters: What do you still need to know when agents do the work?

(blog.adrq.dev)adrq

98

Antique Fonts Collection – Restored 19th Century Typefaces

(centurylibrary.com)eustoria

12

OpenLDK: Bringing the Java World into Common Lisp

(atgreen.github.io)atgreen

33

Anthropic trained Claude on illegally obtained Stanford professors' books

(stanforddaily.com)car

149

PHP2Shell: Exploitation attempts and remediation trends

(www.wiz.io)acossta

158

Introducing LFM3: Every Modality for Specialized Intelligence

(www.liquid.ai)Philpax

20

Apple introduces the new 14‑inch MacBook Pro with M6

(www.apple.com)beex

81

Show HN: Specification First Agentic Development Plugin and Prove

(spec-first.dev)hleichsenring

14

Vicious Cycles: Theses on a philosophy of news

(harpers.org)eustoria

7

Analysis of 'Demon Seed' – Infinite Ocean

(mawrgorshin.com)rbanffy

4

A $300B 'Debt Wall' Is Looming over Private-Equity Backed Companies

(www.wsj.com)JumpCrisscross

81

Is my data used for model training?

(privacy.claude.com)jonpizza

178

The Mythical Man-Month in the Age of AI

(j11g.com)ilreb

365

Gforth 1.0

(gforth.org)joshcsimmons

122

Software may be getting worse, but it used to be horrible

(www.bitlog.com)jakevoytko

245

A Stackless Floodfill Automaton

(t3x.org)andsoitis

31

We let our cloud agents query prod (with OIDC, not secrets)

(www.formal.ai)saligrama

11

Brazil's Flavio Bolsonaro headed to US, sources say

(www.reuters.com)jumpocelot

25

Data Recovery CEO Indicted for Allegedly Scamming Ransomware Victims

(www.propublica.org)hn_acker

47

Three new discoveries in mathematics, computer science, and physics

(openai.com)jonluca

1097

Roblox downloaded 145GB models from us (including adult content) without asking

(open3dlab.com)choult

425

New 14‑inch MacBook Pro with M6

(www.apple.com)meetpateltech

142

Amazon Is Gutting Its AI Division After Sustained Failure

(futurism.com)dpflan

18

Reducibility Among Combinatorial Problems (1972) [pdf]

(cgi.di.uoa.gr)liamswayne

7

188-Year-Old Mystery of Photography's First Human Subjects Solved

(news.artnet.com)bookofjoe

41

Who Is Responsible for Tackling Professional Deskilling?

(www.degruyterbrill.com)geox

8

I still teach OpenGL ES 3.0

(eliasfarhan.ch)majorchord

124

Show HN: Encarta 95 Web

(benwinding.github.io)gitgud

90

A 28-Year-Old DOGE Operative Gutted USAID. HR Had No Record of Him Working There

(www.wired.com)ck2

123

The Exponential Time Hypothesis Is False [pdf]

(github.com)vok

761

Kauldron: Modular, scalable library to train ML models

(github.com)nateb2022

20

How to grow a cacao tree at home (2024)

(www.cocoterra.com)felipevb

139

JetBrains IDEs are now powered by libghostty

(blog.jetbrains.com)paaloeye

31

Writing about pratt parsing so I remember it

(www.unix.dog)dverlaeckt80

76

16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

(github.com)doener

125

Play Cyberpunk 2077 in the Browser

(cyberpunk2077.lol)tchanukvadze

11

'I Felt Blind Panic.' They Opened Their New $2k iPhone Duo–and It Broke

(www.wsj.com)fortran77

14

A Man from the Future: Why Johnny Can't Stop Abstracting

(muratbuffalo.blogspot.com)aray07

211

Sebastian Raschka's from-scratch video course on building reasoning models

(magazine.sebastianraschka.com)sgiannopoulos

806

Ghostty 1.4

(twitter.com)paaloeye

8

Nietzschian Debugger

(github.com)dilawargopang

210

Alleged Israeli spy company targeted Starlink users

(www.reuters.com)mmaia

110

Solar power is becoming bigger than nuclear

(www.bbc.com)geox

502

Oldest GUI application that still runs on Windows 11

(blog.enlyth.com)enlyth

516

APC says let there be light, with standards to speed up photonics manufacturing

(www.nextplatform.com)rbanffy

47

Microsoft offers mass buyouts for roughly a quarter of its workforce

(www.seattletimes.com)doctorzook

1020

Viral Polls Are Not Representative Polls

(kevinreuning.com)m-hodges

35

Satya Nadella Rethinks Whether More Powerful AI Is Safer

(www.businessinsider.com)hirodxb

5

Wanted: Robot-Dog Walkers. $20/Hour

(www.nytimes.com)beansovertoast

3