A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

https://www.usenix.org/system/files/conference/usenixsecurity25/sec25cycle1-prepub-595-linker.pdf

69•luu•2h ago•31 comments

Void: Open-source Cursor alternative

https://github.com/voideditor/void

639•sharjeelsayed•12h ago•268 comments

eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6

https://blog.gripdev.xyz/2025/05/06/ebpf-mystery-when-is-ipv4-not-ipv4-when-its-ipv6/

16•tanelpoder•58m ago•0 comments

Starlink User Terminal Teardown

https://www.darknavy.org/blog/a_first_glimpse_of_the_starlink_user_ternimal/

46•walterbell•1h ago•3 comments

Hill or High Water

https://royalsociety.org/blog/2025/05/hill-or-high-water/

11•benbreen•1h ago•0 comments

Reservoir Sampling

https://samwho.dev/reservoir-sampling/

329•chrisdemarco•11h ago•71 comments

Fui: C library for interacting with the framebuffer in a TTY context

https://github.com/martinfama/fui

84•Bhulapi•6h ago•27 comments

A flat pricing subscription for Claude Code

https://support.anthropic.com/en/articles/11145838-using-claude-code-with-your-max-plan

112•namukang•7h ago•102 comments

Dead Reckoning

https://www.damninteresting.com/dead-reckoning/

5•repost_bot•1h ago•1 comments

Usenix ATC Announcement (Usenix ATC Shutting Down)

https://www.usenix.org/blog/usenix-atc-announcement

13•eatbitseveryday•1h ago•1 comments

Finding a Bug in Chromium

https://bou.ke/blog/chromium-bug/

27•bouk•3d ago•1 comments

Progress toward fusion energy gain as measured against the Lawson criteria

https://www.fusionenergybase.com/articles/continuing-progress-toward-fusion-energy-breakeven-and-gain-as-measured-against-the-lawson-criteria

178•sam•13h ago•81 comments

Podfox: First Container-Aware Browser

https://val.packett.cool/blog/podfox/

50•pierremenard•6h ago•4 comments

From: Steve Jobs. "Great idea, thank you."

https://blog.hayman.net/2025/05/06/from-steve-jobs-great-idea.html

801•mattl•10h ago•220 comments

When Abandoned Mines Collapse

https://practical.engineering/blog/2025/5/6/when-abandoned-mines-collapse

158•impish9208•2d ago•43 comments

Phoenician culture spread mainly through cultural exchange

https://www.mpg.de/24574685/0422-evan-phoenician-culture-spread-mainly-through-cultural-exchange-150495-x

57•gmays•3d ago•18 comments

For better or for worse, the overload (2024)

https://consteval.ca/2024/07/25/overload/

4•HeliumHydride•1h ago•0 comments

Gorilla study reveals complex pros and cons of friendship

https://www.sciencedaily.com/releases/2025/05/250505170816.htm

40•lentoutcry•2d ago•27 comments

Cogentcore: Open-source framework for building multi-platform apps with Go

https://github.com/cogentcore/core

15•kristianp•4h ago•4 comments

Show HN: Using eBPF to see through encryption without a proxy

https://github.com/qpoint-io/qtap

225•tylerflint•12h ago•71 comments

Stability by Design

https://potetm.com/devtalk/stability-by-design.html

83•potetm•9h ago•22 comments

First American pope elected and will be known as Pope Leo XIV

https://www.cnn.com/world/live-news/new-pope-conclave-day-two-05-08-25

498•saikatsg•12h ago•770 comments

How to start a school with your friends

https://prigoose.substack.com/p/how-to-start-a-university

88•geverett•9h ago•39 comments

Prepare your apps for Google Play's 16 KB page size compatibility requirement

https://android-developers.googleblog.com/2025/05/prepare-play-apps-for-devices-with-16kb-page-size.html

40•ingve•7h ago•23 comments

Block Diffusion: Interpolating Autoregressive and Diffusion Language Models

https://m-arriola.com/bd3lms/

48•t55•10h ago•11 comments

Static as a Server

https://overreacted.io/static-as-a-server/

86•danabramov•11h ago•61 comments

How the US built 5k ships in WWII

https://www.construction-physics.com/p/how-the-us-built-5000-ships-in-wwii

81•rbanffy•7h ago•56 comments

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

https://www.ycombinator.com/companies/ciro/jobs

1•dwiner•11h ago

Product Purgatory: When they love it but still don't buy

https://longform.asmartbear.com/purgatory/

26•doppp•3d ago•3 comments

Egyptologist uncovers hidden messages on Paris’s iconic obelisk

https://news.artnet.com/art-world/hidden-messages-paris-luxor-obelisk-2636508

93•isaacfrond•20h ago•82 comments

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

Void: Open-source Cursor alternative

eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6

Starlink User Terminal Teardown

Hill or High Water

Reservoir Sampling

Fui: C library for interacting with the framebuffer in a TTY context

A flat pricing subscription for Claude Code

Dead Reckoning

Usenix ATC Announcement (Usenix ATC Shutting Down)

Finding a Bug in Chromium

Progress toward fusion energy gain as measured against the Lawson criteria

Podfox: First Container-Aware Browser

From: Steve Jobs. "Great idea, thank you."

When Abandoned Mines Collapse

Phoenician culture spread mainly through cultural exchange

For better or for worse, the overload (2024)

Gorilla study reveals complex pros and cons of friendship

Cogentcore: Open-source framework for building multi-platform apps with Go

Show HN: Using eBPF to see through encryption without a proxy

Stability by Design

First American pope elected and will be known as Pope Leo XIV

How to start a school with your friends

Prepare your apps for Google Play's 16 KB page size compatibility requirement

Block Diffusion: Interpolating Autoregressive and Diffusion Language Models

Static as a Server

How the US built 5k ships in WWII

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

Product Purgatory: When they love it but still don't buy

Egyptologist uncovers hidden messages on Paris’s iconic obelisk

A Brief History of Cursor's Tab-Completion

Comments

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

Void: Open-source Cursor alternative

eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6

Starlink User Terminal Teardown

Hill or High Water

Reservoir Sampling

Fui: C library for interacting with the framebuffer in a TTY context

A flat pricing subscription for Claude Code

Dead Reckoning

Usenix ATC Announcement (Usenix ATC Shutting Down)

Finding a Bug in Chromium

Progress toward fusion energy gain as measured against the Lawson criteria

Podfox: First Container-Aware Browser

From: Steve Jobs. "Great idea, thank you."

When Abandoned Mines Collapse

Phoenician culture spread mainly through cultural exchange

For better or for worse, the overload (2024)

Gorilla study reveals complex pros and cons of friendship

Cogentcore: Open-source framework for building multi-platform apps with Go

Show HN: Using eBPF to see through encryption without a proxy

Stability by Design

First American pope elected and will be known as Pope Leo XIV

How to start a school with your friends

Prepare your apps for Google Play's 16 KB page size compatibility requirement

Block Diffusion: Interpolating Autoregressive and Diffusion Language Models

Static as a Server

How the US built 5k ships in WWII

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

Product Purgatory: When they love it but still don't buy

Egyptologist uncovers hidden messages on Paris’s iconic obelisk