Hacker News

1.		A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf] (usenix.org)
		36 points by luu 1 hour ago \| hide \| 9 comments
2.		Void: Open-source Cursor alternative (github.com/voideditor)
		624 points by sharjeelsayed 11 hours ago \| hide \| 265 comments
3.		Hill or High Water (royalsociety.org)
		5 points by benbreen 16 minutes ago \| hide \| discuss
4.		Starlink User Terminal Teardown (darknavy.org)
		12 points by walterbell 55 minutes ago \| hide \| 1 comment
5.		Fui: C library for interacting with the framebuffer in a TTY context (github.com/martinfama)
		76 points by Bhulapi 5 hours ago \| hide \| 26 comments
6.		Reservoir Sampling (samwho.dev)
		317 points by chrisdemarco 10 hours ago \| hide \| 70 comments
7.		Finding a Bug in Chromium (bou.ke)
		17 points by bouk 2 hours ago \| hide \| discuss
8.		Progress toward fusion energy gain as measured against the Lawson criteria (fusionenergybase.com)
		173 points by sam 12 hours ago \| hide \| 79 comments
9.		Gorilla study reveals complex pros and cons of friendship (sciencedaily.com)
		34 points by lentoutcry 4 hours ago \| hide \| 22 comments
10.		Podfox: First Container-Aware Browser (packett.cool)
		44 points by pierremenard 5 hours ago \| hide \| 4 comments
11.		From: Steve Jobs. "Great idea, thank you." (hayman.net)
		768 points by mattl 9 hours ago \| hide \| 211 comments
12.		When Abandoned Mines Collapse (practical.engineering)
		152 points by impish9208 12 hours ago \| hide \| 42 comments
13.		Phoenician culture spread mainly through cultural exchange (mpg.de)
		51 points by gmays 8 hours ago \| hide \| 17 comments
14.		How the US built 5k ships in WWII (construction-physics.com)
		71 points by rbanffy 7 hours ago \| hide \| 49 comments
15.		Show HN: OpenRouter Model Price Comparison (compare-openrouter-models.pages.dev)
		19 points by pacific01 4 hours ago \| hide \| 9 comments
16.		Show HN: Using eBPF to see through encryption without a proxy (github.com/qpoint-io)
		218 points by tylerflint 11 hours ago \| hide \| 70 comments
17.		Prepare your apps for Google Play's 16 KB page size compatibility requirement (googleblog.com)
		36 points by ingve 6 hours ago \| hide \| 15 comments
18.		Stability by Design (potetm.com)
		74 points by potetm 8 hours ago \| hide \| 17 comments
19.		Mathematical Problem Solving (lmu.de)
		66 points by ibobev 9 hours ago \| hide \| 3 comments
20.		First American pope elected and will be known as Pope Leo XIV (cnn.com)
		487 points by saikatsg 11 hours ago \| hide \| 751 comments
21.		How to start a school with your friends (prigoose.substack.com)
		80 points by geverett 8 hours ago \| hide \| 35 comments
22.		Cogentcore: Open-source framework for building multi-platform apps with Go (github.com/cogentcore)
		11 points by kristianp 3 hours ago \| hide \| 2 comments
23.		Block Diffusion: Interpolating Autoregressive and Diffusion Language Models (m-arriola.com)
		44 points by t55 9 hours ago \| hide \| 10 comments
24.		Static as a Server (overreacted.io)
		83 points by danabramov 10 hours ago \| hide \| 59 comments
25.		Ciro (YC S22) is hiring a software engineer to build AI agents for sales (ycombinator.com)
		10 hours ago \| hide
26.		How Obama’s BlackBerry got secured (2013) (electrospaces.net)
		205 points by lastdong 19 hours ago \| hide \| 77 comments
27.		A Brief History of Cursor's Tab-Completion (coplay.dev)
		24 points by josvdwest 7 hours ago \| hide \| 2 comments
28.		The Rise and Fall of the Visual Telegraph (2017) (parisianfields.com)
		27 points by geox 8 hours ago \| hide \| 6 comments
29.		Egyptologist uncovers hidden messages on Paris’s iconic obelisk (artnet.com)
		87 points by isaacfrond 16 hours ago \| hide \| 81 comments
30.		Commercial Solutions for Classified CSfC for NSA to deliver secure cybersecurity (nsa.gov)
		3 points by Bluestein 2 hours ago \| hide \| discuss
		More