▲A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf](usenix.org)
65 points by luu 1 hour ago | 1 comment
▲Starlink User Terminal Teardown(darknavy.org)
43 points by walterbell 1 hour ago | 2 comments
▲Void: Open-source Cursor alternative(github.com)
636 points by sharjeelsayed 12 hours ago | 58 comments
▲eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6(blog.gripdev.xyz)
14 points by tanelpoder 49 minutes ago | 0 comments
▲Hill or High Water(royalsociety.org)
11 points by benbreen 1 hour ago | 0 comments
▲Fui: C library for interacting with the framebuffer in a TTY context(github.com)
84 points by Bhulapi 6 hours ago | 10 comments
▲Reservoir Sampling(samwho.dev)
326 points by chrisdemarco 11 hours ago | 17 comments
▲A flat pricing subscription for Claude Code(support.anthropic.com)
110 points by namukang 7 hours ago | 15 comments
▲Dead Reckoning(damninteresting.com)
4 points by repost_bot 1 hour ago | 0 comments
▲Usenix ATC Announcement (Usenix ATC Shutting Down)(usenix.org)
12 points by eatbitseveryday 1 hour ago | 1 comment
▲Finding a Bug in Chromium(bou.ke)
25 points by bouk 3 days ago | 1 comment
▲Progress toward fusion energy gain as measured against the Lawson criteria(fusionenergybase.com)
178 points by sam 12 hours ago | 14 comments
▲Podfox: First Container-Aware Browser(val.packett.cool)
50 points by pierremenard 6 hours ago | 2 comments
▲From: Steve Jobs. "Great idea, thank you."(blog.hayman.net)
795 points by mattl 10 hours ago | 47 comments
▲For better or for worse, the overload (2024)(consteval.ca)
4 points by HeliumHydride 1 hour ago | 0 comments
▲When Abandoned Mines Collapse(practical.engineering)
158 points by impish9208 2 days ago | 7 comments
▲Phoenician culture spread mainly through cultural exchange(mpg.de)
57 points by gmays 3 days ago | 7 comments
▲Cogentcore: Open-source framework for building multi-platform apps with Go(github.com)
15 points by kristianp 4 hours ago | 2 comments
▲Gorilla study reveals complex pros and cons of friendship(sciencedaily.com)
38 points by lentoutcry 2 days ago | 5 comments
▲Show HN: Using eBPF to see through encryption without a proxy(github.com)
224 points by tylerflint 11 hours ago | 24 comments
▲Stability by Design(potetm.com)
81 points by potetm 8 hours ago | 7 comments
▲First American pope elected and will be known as Pope Leo XIV(cnn.com)
497 points by saikatsg 12 hours ago | 78 comments
▲How to start a school with your friends(prigoose.substack.com)
88 points by geverett 9 hours ago | 11 comments
▲Prepare your apps for Google Play's 16 KB page size compatibility requirement(android-developers.googleblog.com)
39 points by ingve 7 hours ago | 3 comments
▲Block Diffusion: Interpolating Autoregressive and Diffusion Language Models(m-arriola.com)
48 points by t55 10 hours ago | 4 comments
▲Static as a Server(overreacted.io)
86 points by danabramov 10 hours ago | 16 comments
▲Product Purgatory: When they love it but still don't buy(longform.asmartbear.com)
25 points by doppp 3 days ago | 2 comments
▲Ciro (YC S22) is hiring a software engineer to build AI agents for sales(ycombinator.com)
1 point by dwiner 11 hours ago | 0 comments
▲How the US built 5k ships in WWII(construction-physics.com)
78 points by rbanffy 7 hours ago | 12 comments
▲Egyptologist uncovers hidden messages on Paris’s iconic obelisk(news.artnet.com)
93 points by isaacfrond 20 hours ago | 11 comments