A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf] (usenix.org)

74 points by luu 2h ago 41 comments

Void: Open-source Cursor alternative (github.com)

644 points by sharjeelsayed 12h ago 270 comments

Starlink User Terminal Teardown (darknavy.org)

65 points by walterbell 2h ago 9 comments

eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6 (blog.gripdev.xyz)

23 points by tanelpoder 1h ago 4 comments

Hill or High Water (royalsociety.org)

14 points by benbreen 1h ago 0 comments

Reservoir Sampling (samwho.dev)

339 points by chrisdemarco 12h ago 71 comments

Fui: C library for interacting with the framebuffer in a TTY context (github.com)

91 points by Bhulapi 7h ago 31 comments

Dead Reckoning (damninteresting.com)

12 points by repost_bot 1h ago 2 comments

A flat pricing subscription for Claude Code (support.anthropic.com)

116 points by namukang 8h ago 104 comments

Usenix ATC Announcement (usenix.org)

20 points by eatbitseveryday 2h ago 1 comments

Lego built full-size F1 cars for the Miami GP drivers' parade (nytimes.com)

11 points by jakubmazanec 2d ago 1 comments

Finding a Bug in Chromium (bou.ke)

30 points by bouk 3d ago 1 comments

Progress toward fusion energy gain as measured against the Lawson criteria (fusionenergybase.com)

179 points by sam 13h ago 84 comments

Podfox: First Container-Aware Browser (val.packett.cool)

54 points by pierremenard 7h ago 5 comments

From: Steve Jobs. "Great idea, thank you." (blog.hayman.net)

814 points by mattl 10h ago 222 comments

For better or for worse, the overload (2024) (consteval.ca)

6 points by HeliumHydride 2h ago 0 comments

Show HN: Test your typing speed and accuracy with movie scripts (atypescriptgame.com)

17 points by andout_ 15h ago 3 comments

When Abandoned Mines Collapse (practical.engineering)

161 points by impish9208 2d ago 45 comments

Phoenician culture spread mainly through cultural exchange (mpg.de)

58 points by gmays 3d ago 18 comments

Cogentcore: Open-source framework for building multi-platform apps with Go (github.com)

18 points by kristianp 5h ago 7 comments

Gorilla study reveals complex pros and cons of friendship (sciencedaily.com)

43 points by lentoutcry 2d ago 29 comments

Stability by Design (potetm.com)

87 points by potetm 9h ago 25 comments

First American pope elected and will be known as Pope Leo XIV (cnn.com)

507 points by saikatsg 12h ago 786 comments

Show HN: Using eBPF to see through encryption without a proxy (github.com)

228 points by tylerflint 12h ago 71 comments

How to start a school with your friends (prigoose.substack.com)

92 points by geverett 9h ago 39 comments

Block Diffusion: Interpolating Autoregressive and Diffusion Language Models (m-arriola.com)

52 points by t55 11h ago 11 comments

Static as a Server (overreacted.io)

90 points by danabramov 11h ago 63 comments

Prepare your apps for Google Play's 16 KB page size compatibility requirement (android-developers.googleblog.com)

40 points by ingve 7h ago 23 comments

Ciro (YC S22) is hiring a software engineer to build AI agents for sales (ycombinator.com)

1 points by dwiner 12h ago 0 comments

Product Purgatory: When they love it but still don't buy (longform.asmartbear.com)

29 points by doppp 3d ago 3 comments

How Obama’s BlackBerry got secured (2013) (electrospaces.net)

208 points by lastdong 3d ago 77 comments

Egyptologist uncovers hidden messages on Paris’s iconic obelisk (news.artnet.com)

94 points by isaacfrond 21h ago 85 comments

A Brief History of Cursor's Tab-Completion (coplay.dev)

26 points by josvdwest 2d ago 2 comments

The Rise and Fall of the Visual Telegraph (2017) (parisianfields.com)

28 points by geox 10h ago 6 comments

How the US built 5k ships in WWII (construction-physics.com)

82 points by rbanffy 8h ago 60 comments

Ask HN: What are good high-information density UIs (screenshots, apps, sites)?

413 points by troupo 16h ago 327 comments

How to harden GitHub Actions (wiz.io)

198 points by moyer 3d ago 66 comments

Audiobookshelf: Self-hosted audiobook and podcast server (audiobookshelf.org)

6 points by fjk 3h ago 0 comments

AI focused on brain regions recreates what you're looking at (2024) (newscientist.com)

62 points by openquery 2d ago 33 comments

Notes on rolling out Cursor and Claude Code (ghiculescu.substack.com)

169 points by jermaustin1 12h ago 86 comments

My stackoverflow question was closed so here's a blog post about CoreWCF (richardcocks.github.io)

107 points by eterm 17h ago 157 comments

Mathematical Problem Solving (cip.ifi.lmu.de)

70 points by ibobev 3d ago 4 comments

Using Coalton to implement a quantum compiler (2022) (coalton-lang.github.io)

52 points by andsoitis 3d ago 4 comments

Mass spectrometry method identifies pathogens within minutes instead of days (phys.org)

127 points by pseudolus 2d ago 42 comments

My new deadline: 20 years to give away virtually all my wealth (gatesnotes.com)

562 points by nrvn 15h ago 569 comments

Shape and topology morphing of closed surfaces integrating origami and kirigami (science.org)

20 points by bryanrasmussen 2d ago 2 comments

Passing Messages (thedailywtf.com)

10 points by mifydev 8h ago 0 comments

Commercial Solutions for Classified CSfC for NSA to deliver secure cybersecurity (nsa.gov)

5 points by Bluestein 3h ago 0 comments

If Free Buses Aren't Wise, What About Cheaper Citi Bikes? (vitalcitynyc.org)

7 points by raybb 5h ago 1 comments

Google to back three new nuclear projects (esgtoday.com)

271 points by aburan28 15h ago 303 comments

Genetic Study Retraces the Origins of Coronaviruses in Bats

5 ceejayoz 1 5/7/2025, 9:10:56 PM nytimes.com ↗

Comments (1)

biglyburrito · 8h ago

https://archive.md/BP1OJ