HN Reader

Why Writing Correct Software Is Hard

(pron.github.io/posts/correctness-and-complexity)

98 points by AriFordsham 3 hours ago | loading comments

Jane Street: Socratic Tutor

(github.com/janestreet/agent_skills/blob/master/socratic-tutor/SKILL.md)

358 points by tosh 2 days ago | loading comments

Anthropic IPO

(ipo.anthropic.com/us/)

138 points by josephljohnston an hour ago | loading comments

A live tree of systemd jobs on the boot console

(codeberg.org/wvhulle/bootvine)

158 points by orhunp_ 3 days ago | loading comments

Tim Peters has died

(discuss.python.org/t/in-memoriam-tim-peters-1952-2026/110028)

1277 points by ayhanfuat a day ago | loading comments

93% of paint splatters are valid Perl programs (2019)

(www.mcmillen.dev/sigbovik/)

483 points by zenincognito 15 hours ago | loading comments

Critical RCE Vulnerability in Apache HTTP Server

(www.wiz.io/blog/cve-2026-119618-rce-apache-http-server-vulnerability)

256 points by soheilpro 11 hours ago | loading comments

AWS emulator

(github.com/aws/aws-emulator)

883 points by super_linear 19 hours ago | loading comments

Making a €40 USB-C hub work as a Nintendo Switch 2 dock

(blog.nozomi.space/posts/sw2_dock/)

48 points by mkopec 3 days ago | loading comments

10.

Researchers discover rare star system that emits radio signals every 8 minutes

(www.curtin.edu.au/news/media-release/researchers-discover-rare-star-system-that-emits-radio-signals-every-eight-minutes/)

11 points by giuliomagnifico 2 hours ago | loading comments

11.

A false smoke alarm almost drowned Jane Street's only NYC datacenter

(michael.bacarella.com/2026/11/10/false-smoke-alarm-jane-street-datacenter/)

518 points by mbac32768 20 hours ago | loading comments

12.

Nvidia is preparing to oust Jensen Huang

(www.wsj.com/business/nvidia-is-preparing-to-oust-nvidia-ceo-jensen-huang-30f421ad)

1122 points by jbredeche 15 hours ago | loading comments

13.

Gemini Decisions API

(blog.google/innovation-and-ai/technology/developers-tools/gemini-decisions-api/)

467 points by iamdelirium 19 hours ago | loading comments

14.

I'm Working on a FOSS Linux Pinbal Simulation Engine

(www.getlazarus.org/forums/topic/17/)

67 points by sysrpl 7 hours ago | loading comments

15.

United Airlines bans AI agents from booking flights on behalf of travelers

(www.cbsnews.com/news/united-airlines-bans-ai-agents-booking-flights/)

579 points by herpderperator 16 hours ago | loading comments

16.

Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)

(www.researchgate.net/publication/319702287_THE_HISTORY_OF_EARLY_LOW_FREQUENCY_RADIO_ASTRONOMY_IN_AUSTRALIA_8_GROTE_REBER_AND_THE_%27SQUARE_KILOMETRE_ARRAY%27_NEAR_BOTHWELL_TASMANIA_IN_THE_1960s_AND_1970s)

13 points by NaOH 4 days ago | loading comments

17.

Lock Your GitHub Actions

(hugovk.dev/blog/2026/lock-github-actions/)

275 points by gslin 15 hours ago | loading comments

18.

Show HN: Aircad – Professional drafting and 3D modeling in the browser

(aircad.com)

47 points by peetle 2 days ago | loading comments

19.

Emacs in the Age of Magic

(commandlinesystems.com/magic.txt)

257 points by ggcr 17 hours ago | loading comments

20.

The Utah Teapot

(graphics.cs.utah.edu/teapot/)

164 points by cobbal 17 hours ago | loading comments

21.

I gave an agent a lakehouse and control of my garden

(jatorre.github.io/garden/)

113 points by jatorre 4 days ago | loading comments

22.

Hyper-realistic sand with WebGL2

(av.github.io/safe-sand/)

408 points by everlier a day ago | loading comments

23.

A general purpose Apple Silicon layer for x86-64 PCs

(github.com/tylertms/Stela)

118 points by iceboundrock 14 hours ago | loading comments

24.

My AI agents found an unmapped Maya site?

(pietromiotti.com/latest/maya-site)

1009 points by eyvindn a day ago | loading comments

25.

Legocam: My Lego webcam from 2000, working on a modern Mac

(blog.benjamin.ie/legocam)

27 points by benkelly 2 days ago | loading comments

26.

Did Life Begin in an RNA World?

(www.quantamagazine.org/did-life-begin-in-an-rna-world-20261109/)

70 points by acossta 3 days ago | loading comments

27.

Faster Retrieval for Better, More Efficient RAG

(machinelearning.apple.com/research/faster-retrieval)

218 points by zerop 20 hours ago | loading comments

28.

Show HN: Yogurt – Free, private, open-source alternative to Granola

(github.com/FrigadeHQ/yogurt)

260 points by brownrout a day ago | loading comments

29.

Using voltage glitching to unleash the A100 in my mining card

(blog.kate.land/posts/using-voltage-glitching-to-unlock-the-a100/)

319 points by lae a day ago | loading comments

30.

Huawei releases MACaQ, its internal quantizer for local inference

(github.com/huawei-csl/MACaQ)

119 points by thefox96 17 hours ago | loading comments