Hacker News

1.		Wild – A fast linker for Linux (github.com/davidlattimore)
		193 points by hkalbasi 4 hours ago \| hide \| 72 comments
2.		Show HN: Cs16.css – CSS library based on CS 1.6 UI (samke.me)
		265 points by samke- 5 hours ago \| hide \| 74 comments
3.		Subpixel Snake [video] (youtube.com)
		137 points by codetrotter 3 hours ago \| hide \| 14 comments
4.		Snowdrop OS – a homebrew operating system from scratch, in assembly language (sebastianmihai.com)
		116 points by ksec 4 hours ago \| hide \| 20 comments
5.		C++26: Pack Indexing (sandordargo.com)
		28 points by HeliumHydride 1 hour ago \| hide \| 16 comments
6.		A WebAssembly compiler that fits in a tweet (wasmgroundup.com)
		151 points by todsacerdoti 4 hours ago \| hide \| 15 comments
7.		A Very Chicago Gamble (bitsaboutmoney.com)
		15 points by gregorymichael 1 hour ago \| hide \| 2 comments
8.		A phishing attack involving g.co, Google's URL shortener (gist.github.com)
		88 points by zachlatta 2 hours ago \| hide \| 21 comments
9.		New Book-Sorting Algorithm Almost Reaches Perfection (quantamagazine.org)
		128 points by isaacfrond 5 hours ago \| hide \| 27 comments
10.		PhysicsForums and the Dead Internet Theory (hallofdreams.org)
		115 points by TheCog 1 hour ago \| hide \| 31 comments
11.		Urban legend: I think there is a world market for maybe five computers (geekhistory.com)
		63 points by bschne 4 hours ago \| hide \| 42 comments
12.		Anatomy of a Formal Proof (ams.org)
		30 points by bikenaga 2 hours ago \| hide \| discuss
13.		Lightpanda: Headless browser designed for AI and automation (github.com/lightpanda-io)
		133 points by tosh 5 hours ago \| hide \| 55 comments
14.		Converge (YC S23) is hiring engineer #2 in NYC (gem.com)
		3 hours ago \| hide
15.		Cloud Virtualization: Red Hat, AWS Firecracker, and Ubicloud internals (ubicloud.com)
		11 points by umur 1 hour ago \| hide \| discuss
16.		Tilde, My LLVM Alternative (yasserarg.com)
		291 points by davikr 12 hours ago \| hide \| 113 comments
17.		Ask HN: Why buy domains and 301 redirect them to me?
		145 points by HughParry 7 hours ago \| hide \| 61 comments
18.		Every System is a Log: Avoiding coordination in distributed applications (restate.dev)
		124 points by sewen 7 hours ago \| hide \| 91 comments
19.		Making my life easier with GADTs (acatalepsie.fr)
		17 points by flupe 2 hours ago \| hide \| 3 comments
20.		The Hidden Complexity of Scaling WebSockets (composehq.com)
		5 points by atul-jalan 1 hour ago \| hide \| discuss
21.		A simplified analysis of the Chernobyl accident (2021) (epj-n.org)
		9 points by _vk_ 1 hour ago \| hide \| 3 comments
22.		Tele-present wind – David Bowen (dwbowen.com)
		30 points by thunderbong 4 hours ago \| hide \| 6 comments
23.		How is [my new] Type Predicate Generator different? (github.com/peter-leonov)
		18 points by gojpeg 2 hours ago \| hide \| discuss
24.		A QR code that sends you to a different destination – lenticular and adversarial (mstdn.social)
		512 points by zdw 20 hours ago \| hide \| 71 comments
25.		Data Branching for Batch Job Systems (isaacjordan.me)
		36 points by thunderbong 5 hours ago \| hide \| 5 comments
26.		Eki Bright – The Case for DIY Routing (twocentstudios.com)
		21 points by twocentstudios 4 hours ago \| hide \| 3 comments
27.		Build It Yourself (pocoo.org)
		200 points by todsacerdoti 8 hours ago \| hide \| 162 comments
28.		Coping with dumb LLMs using classic ML (softwaredoug.com)
		146 points by fzliu 14 hours ago \| hide \| 64 comments
29.		Show HN: Magenta.nvim – AI coding plugin for Neovim focused on tool use (github.com/dlants)
		54 points by anonymid 7 hours ago \| hide \| 7 comments
30.		Show HN: Using aerospace projects to teach maths [video] (youtube.com)
		5 points by firepegasus11 1 hour ago \| hide \| discuss
		More