Hacker News

31.		A High-Level View of TLA+ (lamport.azurewebsites.net)
		77 points by blobcode 14 hours ago \| hide \| 19 comments
32.		How to Store Data on Paper? (monperrus.net)
		179 points by mofosyne 20 hours ago \| hide \| 72 comments
33.		Technical Guide to System Calls: Implementation and Signal Handling in Modern OS (mohitmishra786.github.io)
		3 points by signa11 3 hours ago \| hide \| discuss
34.		Sid Meier's Pirates – In-depth (2017) (shot97retro.blogspot.com)
		143 points by benbreen 22 hours ago \| hide \| 63 comments
35.		Show HN: Asciilator.com (asciilator.com)
		9 points by 4m1rk 5 hours ago \| hide \| 4 comments
36.		Ask HN: What's with the repeated job posts on "Who's hiring"?
		15 points by rafavento 2 hours ago \| hide \| 5 comments
37.		Show HN: A toy version of Wireshark (student project) (github.com/lixiasky)
		253 points by lixiasky 1 day ago \| hide \| 71 comments
38.		Oh Fuck! How Do People Feel about Robots That Leverage Profanity (arxiv.org)
		3 points by rolph 4 hours ago \| hide \| 2 comments
39.		The initial version of the /etc./magic file used by the file(1) command (retrocomputing.stackexchange.com)
		29 points by SeenNotHeard 4 hours ago \| hide \| 9 comments
40.		How the Afghan Girl Was Identified by Her Iris Patterns (cam.ac.uk)
		8 points by wyuenho 1 hour ago \| hide \| discuss
41.		The Fannie and Freddie Stakes Are High (bloomberg.com)
		25 points by feross 2 hours ago \| hide \| 18 comments
42.		Show HN: Ultra-lightweight chunker library with emoji support (github.com/ushakov-igor)
		16 points by Beardier 3 hours ago \| hide \| 4 comments
43.		MonsterUI: Python library for building front end UIs quickly in FastHTML apps (answer.ai)
		131 points by indigodaddy 23 hours ago \| hide \| 44 comments
44.		Prompting for AI Agents [video] (youtube.com)
		3 points by achow 1 hour ago \| hide \| discuss
45.		Cloudlflare builds OAuth with Claude and publishes all the prompts (github.com/cloudflare)
		778 points by gregorywegory 1 day ago \| hide \| 479 comments
46.		How Ukraine’s killer drones are beating Russian jamming (ieee.org)
		277 points by rbanffy 9 hours ago \| hide \| 311 comments
47.		Conformance checking at MongoDB: Testing that our code matches our TLA+ specs (mongodb.com)
		103 points by todsacerdoti 22 hours ago \| hide \| 59 comments
48.		Show HN: Slurm-web – open-source lightweight web UI for Slurm HPC/AI clusters (slurm-web.com)
		4 points by rezib 5 hours ago \| hide \| discuss
49.		Teaching Program Verification in Dafny at Amazon (2023) (dafny.org)
		54 points by Jtsummers 22 hours ago \| hide \| 19 comments
50.		ThorVG: Super Lightweight Vector Graphics Engine (thorvg.org)
		144 points by elcritch 1 day ago \| hide \| 40 comments
51.		Show HN: I build one absurd web project every month (absurd.website)
		263 points by absurdwebsite 1 day ago \| hide \| 63 comments
52.		A Complete Guide to Meta Prompting (prompthub.us)
		107 points by saikatsg 15 hours ago \| hide \| 23 comments
53.		Magic Ink: Information Software and the Graphical Interface (worrydream.com)
		50 points by blobcode 18 hours ago \| hide \| 8 comments
54.		What Happens If We Inline Everything? (sbaziotis.com)
		16 points by abhi9u 4 hours ago \| hide \| discuss
55.		Largest punk archive to find new home at MTSU's Center for Popular Music (mtsunews.com)
		72 points by gnabgib 21 hours ago \| hide \| 9 comments
56.		Reaching my first 100 users without money or audience (at 10K users now)
		17 points by felixheikka 5 hours ago \| hide \| 2 comments
57.		Show HN: Kan.bn – An open-source alterative to Trello (github.com/kanbn)
		471 points by henryball 1 day ago \| hide \| 211 comments
58.		Scientific Publishing: Enough Is Enough (asterainstitute.substack.com)
		8 points by lentoutcry 8 hours ago \| hide \| discuss
59.		Japanese scientists develop artificial blood compatible with all blood types (tokyoweekender.com)
		254 points by Geekette 22 hours ago \| hide \| 53 comments
60.		Younger generations less likely to have dementia, study suggests (theguardian.com)
		134 points by robaato 1 day ago \| hide \| 135 comments
		More