Quarkdown: A modern Markdown-based typesetting system (github.com)

164 points by asicsp 3h ago 67 comments

Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (belfercenter.org)

13 points by jmillikin 1h ago 3 comments

EU Commission refuses to disclose authors behind its mass surveillance proposal (old.reddit.com)

112 points by nickslaughter02 1h ago 42 comments

There should be no Computer Art (1971) (dam.org)

6 points by glimshe 1h ago 0 comments

AI makes the humanities more important, but also weirder (resobscura.substack.com)

138 points by findhorn 7h ago 88 comments

My AI skeptic friends are all nuts (fly.io)

1518 points by tabletcorry 14h ago 1919 comments

GUIs are built at least 2.5 times (patricia.no)

79 points by mpweiher 3d ago 50 comments

The Metamorphosis of Prime Intellect (1994) (localroger.com)

63 points by lawrenceyan 7h ago 31 comments

A Complete Guide to Meta Prompting (prompthub.us)

54 points by saikatsg 3d ago 7 comments

Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com)

585 points by gregorywegory 20h ago 372 comments

Ask HN: Who is hiring? (June 2025)

312 points by whoishiring 20h ago 315 comments

Rsync's defaults are not always enough (rachelbythebay.com)

19 points by rcarmo 4h ago 20 comments

Demodesk (YC W19) Is Hiring Rails Engineers (demodesk.com)

1 points by alxppp 4h ago 0 comments

How to Store Data on Paper? (monperrus.net)

98 points by mofosyne 3d ago 31 comments

A High-Level View of TLA+ (lamport.azurewebsites.net)

19 points by blobcode 3d ago 0 comments

Fun with Futex (blog.fredrb.com)

12 points by ingve 4h ago 0 comments

Show HN: Kan.bn – An open-source alterative to Trello (github.com)

420 points by henryball 1d ago 194 comments

Implementing a Forth (ratfactor.com)

27 points by todsacerdoti 3d ago 1 comments

Show HN: A toy version of Wireshark (student project) (github.com)

226 points by lixiasky 19h ago 69 comments

How to post when no one is reading (jeetmehta.com)

575 points by j4mehta 1d ago 235 comments

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)

78 points by todsacerdoti 13h ago 32 comments

Show HN: I build one absurd web project every month (absurd.website)

224 points by absurdwebsite 15h ago 48 comments

Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)

43 points by Jtsummers 13h ago 10 comments

Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com)

375 points by hoakiet98 4d ago 78 comments

Magic Ink: Information Software and the Graphical Interface (worrydream.com)

28 points by blobcode 3d ago 3 comments

Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)

65 points by benbreen 3d ago 25 comments

The Creepy, Surprisingly Routine Business of Animal Cloning (theatlantic.com)

15 points by FinnLobsien 2h ago 7 comments

Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)

46 points by gnabgib 12h ago 4 comments

MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)

70 points by indigodaddy 14h ago 26 comments

ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)

131 points by elcritch 1d ago 39 comments

Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)

211 points by Geekette 13h ago 46 comments

Younger generations less likely to have dementia, study suggests (theguardian.com)

113 points by robaato 19h ago 109 comments

Ask HN: How do I learn practical electronic repair?

117 points by juanse 3d ago 76 comments

Wendelstein 7-X sets new fusion record (heise.de)

5 points by doener 1h ago 0 comments

The Princeton INTERCAL Compiler's source code (esoteric.codes)

137 points by surprisetalk 1d ago 37 comments

Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)

143 points by b0a04gl 15h ago 192 comments

Show HN: Penny-1.7B Irish Penny Journal style transfer (huggingface.co)

142 points by deepsquirrelnet 19h ago 71 comments

CVE 2025 31200 (blog.noahhw.dev)

116 points by todsacerdoti 16h ago 24 comments

Ubicloud: Open-Source Alternative to AWS (github.com)

12 points by thunderbong 3h ago 2 comments

The rise of judgement over technical skill (notsocommonthoughts.com)

243 points by kohlhofer 1d ago 153 comments

Ask HN: How do I learn robotics in 2025?

343 points by srijansriv 22h ago 88 comments

Intelligent Agent Technology: Open Sesame! (1993) (blog.gingerbeardman.com)

49 points by msephton 2d ago 6 comments

Ask HN: Who wants to be hired? (June 2025)

117 points by whoishiring 20h ago 295 comments

If you are useful, it doesn't mean you are valued (betterthanrandom.substack.com)

782 points by weltview 1d ago 339 comments

Arcol simplifies building design with browser-based modeling (arcol.io)

53 points by joeld42 19h ago 27 comments

Is “The Phoenician Scheme” Wes Anderson's Most Emotional Film? (newyorker.com)

86 points by prismatic 1d ago 121 comments

The Visual World of 'Samurai Jack' (animationobsessive.substack.com)

496 points by ani_obsessive 1d ago 87 comments

ReasoningGym: Reasoning Environments for RL with Verifiable Rewards (arxiv.org)

96 points by t55 1d ago 27 comments

LibriVox (librivox.org)

250 points by bookofjoe 1d ago 67 comments

The Atomic Airplane (whatisnuclear.com)

75 points by mpweiher 4d ago 26 comments

The Perfect Commit (2022)

6 saikatsg 0 6/1/2025, 2:11:52 PM simonwillison.net ↗

Comments (0)

No comments yet