Hacker News

1.		Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)
		343 points by asicsp 6 hours ago \| hide \| 144 comments
2.		Show HN: I wrote a Java decompiler in pure C language (github.com/neocanable)
		64 points by neocanable 2 hours ago \| hide \| 19 comments
3.		Covert Web-to-App Tracking via Localhost on Android (localmess.github.io)
		100 points by todsacerdoti 2 hours ago \| hide \| 15 comments
4.		Show HN: Controlling 3D models with voice and hand gestures (github.com/collidingscopes)
		4 points by getToTheChopin 9 minutes ago \| hide \| discuss
5.		Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (belfercenter.org)
		36 points by jmillikin 4 hours ago \| hide \| 21 comments
6.		AI makes the humanities more important, but also weirder (resobscura.substack.com)
		186 points by findhorn 11 hours ago \| hide \| 163 comments
7.		My AI skeptic friends are all nuts (fly.io)
		1782 points by tabletcorry 17 hours ago \| hide \| 2176 comments
8.		GUIs are built at least 2.5 times (patricia.no)
		141 points by mpweiher 11 hours ago \| hide \| 77 comments
9.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		674 points by gregorywegory 1 day ago \| hide \| 418 comments
10.		The Metamorphosis of Prime Intellect (1994) (localroger.com)
		90 points by lawrenceyan 10 hours ago \| hide \| 39 comments
11.		Fun with Futex (fredrb.com)
		36 points by ingve 8 hours ago \| hide \| 6 comments
12.		Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco (ycombinator.com)
		2 hours ago \| hide
13.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		45 points by blobcode 8 hours ago \| hide \| 11 comments
14.		Ask HN: Who is hiring? (June 2025)
		330 points by whoishiring 23 hours ago \| hide \| 347 comments
15.		Implementing a Forth (ratfactor.com)
		59 points by todsacerdoti 12 hours ago \| hide \| 17 comments
16.		How to Store Data on Paper? (monperrus.net)
		139 points by mofosyne 14 hours ago \| hide \| 51 comments
17.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		441 points by henryball 1 day ago \| hide \| 207 comments
18.		Ukraine's autonomous killer drones defeat electronic warfare (ieee.org)
		115 points by rbanffy 3 hours ago \| hide \| 98 comments
19.		How to post when no one is reading (jeetmehta.com)
		596 points by j4mehta 1 day ago \| hide \| 239 comments
20.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		235 points by lixiasky 23 hours ago \| hide \| 70 comments
21.		Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)
		101 points by benbreen 17 hours ago \| hide \| 45 comments
22.		A Complete Guide to Meta Prompting (prompthub.us)
		89 points by saikatsg 10 hours ago \| hide \| 17 comments
23.		Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
		90 points by todsacerdoti 17 hours ago \| hide \| 48 comments
24.		Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable (theregister.com)
		17 points by rntn 2 hours ago \| hide \| 1 comment
25.		What Is "Seeing" in Astrophotography? The Science Behind Atmospheric Turbulence (astroimagery.com)
		7 points by karlperera 3 hours ago \| hide \| 2 comments
26.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		390 points by hoakiet98 1 day ago \| hide \| 78 comments
27.		MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
		103 points by indigodaddy 18 hours ago \| hide \| 32 comments
28.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		48 points by Jtsummers 16 hours ago \| hide \| 16 comments
29.		Magic Ink: Information Software and the Graphical Interface (worrydream.com)
		43 points by blobcode 13 hours ago \| hide \| 7 comments
30.		There should be no Computer Art (1971) (dam.org)
		47 points by glimshe 4 hours ago \| hide \| 66 comments
		More