Hacker News

1.		Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)
		49 points by asicsp 52 minutes ago \| hide \| 21 comments
2.		AI makes the humanities more important, but also weirder (resobscura.substack.com)
		108 points by findhorn 5 hours ago \| hide \| 51 comments
3.		Poison Pill: Is the killer behind 1982 Tylenol poisonings still on the loose? (trulyadventure.us)
		29 points by TMWNN 2 hours ago \| hide \| 17 comments
4.		My AI skeptic friends are all nuts (fly.io)
		1398 points by tabletcorry 11 hours ago \| hide \| 1752 comments
5.		The Metamorphosis of Prime Intellect (1994) (localroger.com)
		47 points by lawrenceyan 4 hours ago \| hide \| 23 comments
6.		Why GUIs are built at least 2.5 times (patricia.no)
		53 points by mpweiher 5 hours ago \| hide \| 26 comments
7.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		540 points by gregorywegory 18 hours ago \| hide \| 359 comments
8.		A Complete Guide to Meta Prompting (prompthub.us)
		22 points by saikatsg 3 hours ago \| hide \| 4 comments
9.		Ask HN: Who is hiring? (June 2025)
		304 points by whoishiring 17 hours ago \| hide \| 300 comments
10.		Demodesk (YC W19) Is Hiring Rails Engineers (demodesk.com)
		1 hour ago \| hide
11.		How to Store Data on Paper? (monperrus.net)
		75 points by mofosyne 8 hours ago \| hide \| 24 comments
12.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		409 points by henryball 23 hours ago \| hide \| 186 comments
13.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		220 points by lixiasky 17 hours ago \| hide \| 66 comments
14.		How to post when no one is reading (jeetmehta.com)
		558 points by j4mehta 1 day ago \| hide \| 236 comments
15.		Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
		75 points by todsacerdoti 11 hours ago \| hide \| 27 comments
16.		Show HN: I build one absurd web project every month (absurd.website)
		215 points by absurdwebsite 13 hours ago \| hide \| 46 comments
17.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		37 points by Jtsummers 10 hours ago \| hide \| 10 comments
18.		Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)
		52 points by benbreen 11 hours ago \| hide \| 20 comments
19.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		4 points by blobcode 2 hours ago \| hide \| discuss
20.		Magic Ink: Information Software and the Graphical Interface (worrydream.com)
		20 points by blobcode 6 hours ago \| hide \| 3 comments
21.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		367 points by hoakiet98 1 day ago \| hide \| 78 comments
22.		Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)
		39 points by gnabgib 10 hours ago \| hide \| 3 comments
23.		MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
		57 points by indigodaddy 12 hours ago \| hide \| 19 comments
24.		Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)
		191 points by Geekette 11 hours ago \| hide \| 39 comments
25.		Younger generations less likely to have dementia, study suggests (theguardian.com)
		102 points by robaato 17 hours ago \| hide \| 96 comments
26.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		118 points by elcritch 22 hours ago \| hide \| 38 comments
27.		Ask HN: How do I learn practical electronic repair?
		108 points by juanse 12 hours ago \| hide \| 70 comments
28.		Typing 118 WPM broke my brain in the right ways (balaji-amg.surge.sh)
		137 points by b0a04gl 13 hours ago \| hide \| 182 comments
29.		The Princeton INTERCAL Compiler's source code (esoteric.codes)
		136 points by surprisetalk 1 day ago \| hide \| 36 comments
30.		CVE 2025 31200 (noahhw.dev)
		115 points by todsacerdoti 13 hours ago \| hide \| 24 comments
		More