Hacker News

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