Hacker News

1.		Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)
		153 points by asicsp 2 hours ago \| hide \| 60 comments
2.		Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (belfercenter.org)
		8 points by jmillikin 53 minutes ago \| hide \| 4 comments
3.		AI makes the humanities more important, but also weirder (resobscura.substack.com)
		136 points by findhorn 7 hours ago \| hide \| 83 comments
4.		EU Commission refuses to disclose authors behind its mass surveillance proposal (reddit.com)
		60 points by nickslaughter02 1 hour ago \| hide \| 24 comments
5.		Stop Over-Thinking AI Subscriptions (steipete.me)
		32 points by hboon 3 hours ago \| hide \| 35 comments
6.		My AI skeptic friends are all nuts (fly.io)
		1509 points by tabletcorry 13 hours ago \| hide \| 1889 comments
7.		The Metamorphosis of Prime Intellect (1994) (localroger.com)
		61 points by lawrenceyan 6 hours ago \| hide \| 29 comments
8.		GUIs are built at least 2.5 times (patricia.no)
		77 points by mpweiher 7 hours ago \| hide \| 49 comments
9.		A Complete Guide to Meta Prompting (prompthub.us)
		47 points by saikatsg 6 hours ago \| hide \| 8 comments
10.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		579 points by gregorywegory 20 hours ago \| hide \| 371 comments
11.		Ask HN: Who is hiring? (June 2025)
		312 points by whoishiring 19 hours ago \| hide \| 313 comments
12.		Demodesk (YC W19) Is Hiring Rails Engineers (demodesk.com)
		3 hours ago \| hide
13.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		18 points by blobcode 4 hours ago \| hide \| discuss
14.		How to Store Data on Paper? (monperrus.net)
		98 points by mofosyne 10 hours ago \| hide \| 30 comments
15.		Rsync's defaults are not always enough (rachelbythebay.com)
		17 points by rcarmo 4 hours ago \| hide \| 16 comments
16.		Fun with Futex (fredrb.com)
		11 points by ingve 4 hours ago \| hide \| discuss
17.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		416 points by henryball 1 day ago \| hide \| 191 comments
18.		Implementing a Forth (ratfactor.com)
		26 points by todsacerdoti 8 hours ago \| hide \| 1 comment
19.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		226 points by lixiasky 19 hours ago \| hide \| 69 comments
20.		How to post when no one is reading (jeetmehta.com)
		573 points by j4mehta 1 day ago \| hide \| 235 comments
21.		Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
		78 points by todsacerdoti 13 hours ago \| hide \| 31 comments
22.		Show HN: I build one absurd web project every month (absurd.website)
		223 points by absurdwebsite 15 hours ago \| hide \| 48 comments
23.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		42 points by Jtsummers 12 hours ago \| hide \| 10 comments
24.		Magic Ink: Information Software and the Graphical Interface (worrydream.com)
		26 points by blobcode 9 hours ago \| hide \| 3 comments
25.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		374 points by hoakiet98 1 day ago \| hide \| 78 comments
26.		The Creepy, Surprisingly Routine Business of Animal Cloning (theatlantic.com)
		15 points by FinnLobsien 1 hour ago \| hide \| 7 comments
27.		Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)
		64 points by benbreen 13 hours ago \| hide \| 25 comments
28.		Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)
		46 points by gnabgib 12 hours ago \| hide \| 4 comments
29.		MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
		67 points by indigodaddy 14 hours ago \| hide \| 26 comments
30.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		130 points by elcritch 1 day ago \| hide \| 38 comments
		More