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

17 points by luu 24m ago 0 comments

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

612 points by sharjeelsayed 10h ago 259 comments

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

72 points by Bhulapi 5h ago 24 comments

Reservoir Sampling (samwho.dev)

306 points by chrisdemarco 10h ago 65 comments

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

9 points by andout_ 12h ago 2 comments

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

38 points by pierremenard 4h ago 4 comments

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

171 points by sam 11h ago 76 comments

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

745 points by mattl 8h ago 206 comments

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

27 points by lentoutcry 2d ago 14 comments

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

50 points by gmays 3d ago 13 comments

When Abandoned Mines Collapse (practical.engineering)

147 points by impish9208 2d ago 41 comments

Show HN: OpenRouter Model Price Comparison (compare-openrouter-models.pages.dev)

17 points by pacific01 3d ago 7 comments

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

74 points by geverett 7h ago 31 comments

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

35 points by ingve 5h ago 12 comments

Stability by Design (potetm.com)

73 points by potetm 7h ago 16 comments

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

215 points by tylerflint 10h ago 69 comments

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

64 points by ibobev 3d ago 3 comments

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

479 points by saikatsg 10h ago 738 comments

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

43 points by t55 9h ago 9 comments

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

3 points by Bluestein 1h ago 0 comments

Static as a Server (overreacted.io)

81 points by danabramov 9h ago 58 comments

Finding a Bug in Chromium (bou.ke)

3 points by bouk 3d ago 0 comments

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

99 points by namukang 6h ago 85 comments

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

1 points by dwiner 10h ago 0 comments

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

27 points by geox 8h ago 6 comments

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

21 points by josvdwest 2d ago 2 comments

How the US Built 5k Ships in WWII (construction-physics.com)

65 points by rbanffy 6h ago 47 comments

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

198 points by lastdong 3d ago 77 comments

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

87 points by isaacfrond 19h ago 80 comments

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

5 points by kristianp 3h ago 0 comments

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

403 points by troupo 14h ago 315 comments

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

62 points by openquery 2d ago 32 comments

How to harden GitHub Actions (wiz.io)

194 points by moyer 3d ago 65 comments

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

164 points by jermaustin1 10h ago 80 comments

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

102 points by eterm 15h ago 148 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)

541 points by nrvn 13h ago 559 comments

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

127 points by pseudolus 2d ago 42 comments

The second birth of JMW Turner (newstatesman.com)

13 points by prismatic 2d ago 1 comments

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

67 points by Bostonian 7h ago 88 comments

Passing Messages (thedailywtf.com)

7 points by mifydev 6h ago 0 comments

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

269 points by aburan28 13h ago 300 comments

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

298 points by c16 18h ago 67 comments

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

32 points by MattSayar 11h ago 9 comments

Bento Gets a Makeover (warpstreamlabs.github.io)

7 points by ordinarily 5h ago 2 comments

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

57 points by sebg 15h ago 24 comments

IPinfo started offering free unlimited country-level geolocation and ASN details (ipinfo.io)

30 points by tnr23 10h ago 8 comments

Show HN: Kit – open-source toolkit for building AI devtools (kit.cased.com)

7 points by milar 6h ago 0 comments

2.5D Rendering on PlayDate (ligeiagames.com)

29 points by todsacerdoti 9h ago 1 comments

Amazon makes 'fundamental leap forward in robotics' device having sense of touch

4 beardyw 0 5/7/2025, 8:34:26 AM theguardian.com ↗

Comments (0)

No comments yet