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

46 points by luu 1h ago 17 comments

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

631 points by sharjeelsayed 11h ago 266 comments

Starlink User Terminal Teardown (darknavy.org)

29 points by walterbell 1h ago 1 comments

Hill or High Water (royalsociety.org)

7 points by benbreen 40m ago 0 comments

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

79 points by Bhulapi 6h ago 26 comments

Reservoir Sampling (samwho.dev)

321 points by chrisdemarco 11h ago 71 comments

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

3 points by tanelpoder 22m ago 0 comments

Finding a Bug in Chromium (bou.ke)

23 points by bouk 3d ago 0 comments

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

177 points by sam 12h ago 80 comments

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

47 points by pierremenard 6h ago 4 comments

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

777 points by mattl 9h ago 216 comments

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

55 points by gmays 3d ago 17 comments

When Abandoned Mines Collapse (practical.engineering)

157 points by impish9208 2d ago 42 comments

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

13 points by kristianp 4h ago 2 comments

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

36 points by lentoutcry 2d ago 23 comments

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

74 points by rbanffy 7h ago 51 comments

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

221 points by tylerflint 11h ago 71 comments

Stability by Design (potetm.com)

77 points by potetm 8h ago 19 comments

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

37 points by ingve 6h ago 16 comments

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

86 points by geverett 8h ago 39 comments

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

493 points by saikatsg 11h ago 761 comments

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

67 points by ibobev 3d ago 3 comments

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

21 points by doppp 3d ago 2 comments

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

1 points by dwiner 11h ago 0 comments

Static as a Server (overreacted.io)

85 points by danabramov 10h ago 59 comments

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

45 points by t55 10h ago 11 comments

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

91 points by isaacfrond 20h ago 81 comments

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

25 points by josvdwest 2d ago 2 comments

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

206 points by lastdong 3d ago 77 comments

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

27 points by geox 9h ago 6 comments

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

408 points by troupo 15h ago 318 comments

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

62 points by openquery 2d ago 33 comments

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

4 points by Bluestein 2h ago 0 comments

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

168 points by jermaustin1 11h ago 84 comments

How to harden GitHub Actions (wiz.io)

195 points by moyer 3d ago 65 comments

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

105 points by eterm 16h ago 150 comments

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

105 points by namukang 7h ago 94 comments

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

19 points by bryanrasmussen 2d ago 2 comments

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

51 points by andsoitis 3d ago 4 comments

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

553 points by nrvn 14h ago 563 comments

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

127 points by pseudolus 2d ago 42 comments

Passing Messages (thedailywtf.com)

8 points by mifydev 7h ago 0 comments

Show HN: Req Update Check (github.com)

10 points by hookedonwinter 5h ago 1 comments

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

271 points by aburan28 14h ago 301 comments

The second birth of JMW Turner (newstatesman.com)

13 points by prismatic 2d ago 1 comments

Using NASA’s SMAP satellite to detect L-band interference (radioandnukes.substack.com)

298 points by c16 19h ago 67 comments

Why do LLMs have emergent properties? (johndcook.com)

69 points by Bostonian 8h ago 90 comments

DNA is maybe 60-750MB of data (dynomight.net)

32 points by MattSayar 12h ago 9 comments

Will protein design tools solve the snake antivenom shortage? (owlposting.com)

57 points by sebg 16h ago 24 comments

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

3 points by raybb 4h ago 0 comments

Sentry Acquires Emerge Tools (YC W21)

6 walz 1 5/7/2025, 6:05:51 PM businessinsider.com ↗

Comments (1)

coloneltcb · 1d ago

https://archive.ph/SOBaO