Hacker News

1.		Quarkdown: A modern Markdown-based typesetting system (github.com/iamgio)
		289 points by asicsp 5 hours ago \| hide \| 122 comments
2.		Covert Web-to-App Tracking via Localhost on Android (localmess.github.io)
		40 points by todsacerdoti 1 hour ago \| hide \| 5 comments
3.		Show HN: I wrote a Java decompiler in pure C language (github.com/neocanable)
		44 points by neocanable 1 hour ago \| hide \| 12 comments
4.		Meta and Yandex are de-anonymizing Android users' web browsing identifiers (arstechnica.com)
		127 points by sebastian_z 1 hour ago \| hide \| 51 comments
5.		Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (belfercenter.org)
		30 points by jmillikin 3 hours ago \| hide \| 18 comments
6.		AI makes the humanities more important, but also weirder (resobscura.substack.com)
		168 points by findhorn 10 hours ago \| hide \| 123 comments
7.		My AI skeptic friends are all nuts (fly.io)
		1711 points by tabletcorry 16 hours ago \| hide \| 2108 comments
8.		GUIs are built at least 2.5 times (patricia.no)
		120 points by mpweiher 10 hours ago \| hide \| 71 comments
9.		Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco (ycombinator.com)
		1 hour ago \| hide
10.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		647 points by gregorywegory 23 hours ago \| hide \| 405 comments
11.		A Complete Guide to Meta Prompting (prompthub.us)
		82 points by saikatsg 9 hours ago \| hide \| 17 comments
12.		Fun with Futex (fredrb.com)
		29 points by ingve 7 hours ago \| hide \| 4 comments
13.		The Metamorphosis of Prime Intellect (1994) (localroger.com)
		80 points by lawrenceyan 9 hours ago \| hide \| 32 comments
14.		Ukraine's Autonomous Killer Drones Defeat Electronic Warfare (ieee.org)
		65 points by rbanffy 2 hours ago \| hide \| 56 comments
15.		Ask HN: Who is hiring? (June 2025)
		323 points by whoishiring 22 hours ago \| hide \| 338 comments
16.		How to Store Data on Paper? (monperrus.net)
		123 points by mofosyne 13 hours ago \| hide \| 47 comments
17.		Implementing a Forth (ratfactor.com)
		53 points by todsacerdoti 11 hours ago \| hide \| 13 comments
18.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		30 points by blobcode 7 hours ago \| hide \| 5 comments
19.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		432 points by henryball 1 day ago \| hide \| 205 comments
20.		How to post when no one is reading (jeetmehta.com)
		589 points by j4mehta 1 day ago \| hide \| 239 comments
21.		Show HN: I build one absurd web project every month (absurd.website)
		240 points by absurdwebsite 18 hours ago \| hide \| 54 comments
22.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		233 points by lixiasky 22 hours ago \| hide \| 70 comments
23.		Illicit crypto-miners pouncing on lazy DevOps configs leaving clouds vulnerable (theregister.com)
		8 points by rntn 1 hour ago \| hide \| 1 comment
24.		Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)
		88 points by benbreen 16 hours ago \| hide \| 38 comments
25.		Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
		84 points by todsacerdoti 16 hours ago \| hide \| 47 comments
26.		Show HN: Onlook – Open-source, visual-first Cursor for designers (github.com/onlook-dev)
		384 points by hoakiet98 1 day ago \| hide \| 78 comments
27.		There should be no Computer Art (1971) (dam.org)
		39 points by glimshe 3 hours ago \| hide \| 51 comments
28.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		46 points by Jtsummers 15 hours ago \| hide \| 15 comments
29.		Magic Ink: Information Software and the Graphical Interface (worrydream.com)
		35 points by blobcode 12 hours ago \| hide \| 5 comments
30.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		136 points by elcritch 1 day ago \| hide \| 40 comments
		More