Prospero: A new coding harness for a more civilized age

Translating...

(nullprogram.com)

19 points by fovc 2026-10-31 19:54:59 | 6 comments

Molly(Signal fork) has not been updated since 3 months and is vulnerable

Translating...

(piefed.world)

88 points by DeepLogin 2026-10-31 18:23:41 | 49 comments

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

Translating...

(thedataexchange.media)

86 points by datascientist 2026-10-29 23:29:48 | 22 comments

AI startup hacks Anthropic, gains access to employee details, internal messages

Translating...

(www.indiatoday.in)

13 points by healsdata 2026-10-31 21:25:10 | 3 comments

Switch Lowering in GCC

Translating...

(xoranth.net)

103 points by signa11 2026-10-31 16:02:26 | 21 comments

We Took over ChatGPT Accounts

Translating...

(www.parameter.ai)

87 points by armcat 2026-10-31 18:30:11 | 36 comments

Show HN: Marelleo, an open-source story box I built for my kids using ESP32

Translating...

(zebra.rodeo)

107 points by foOg 2026-10-27 23:24:36 | 30 comments

Simple circuits can create complex behaviors

Translating...

(aatishb.com)

11 points by aatish 2026-10-28 00:01:06 | 0 comments

Serbia just elected the world's brainiest parliament

Translating...

(www.science.org)

402 points by input_sh 2026-10-31 18:21:30 | 234 comments

Digital Minimalism

Translating...

(vitalik.eth.limo)

120 points by wilbertliu 2026-10-31 14:16:36 | 76 comments