fp.

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

https://remysharp.com/links/2026-07-23-35890312

173•speckx•1h ago•54 comments

RFC 8890 – The Internet is for End Users (2020)

https://mnot.net/blog/2020/for_the_users

28•notarobot123•1h ago•8 comments

Why Is Everyone Trying to Build a Solid-State Battery?

https://www.construction-physics.com/p/why-is-everyone-trying-to-build-a

32•crescit_eundo•1h ago•22 comments

How Old Is Ann?

https://quuxplusone.github.io/blog/2026/07/29/how-old-is-ann/

26•ibobev•2h ago•13 comments

Gpiozero Flow

https://bennuttall.com/blog/2026/07/gpiozero-flow/

91•benn_88•3h ago•28 comments

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

https://prized.dev

10•marinoseliades•45m ago•1 comments

Ron Gilbert started production on Thimbleweed Park 2

https://www.grumpygamer.com/twp2_announce/

119•alberto-m•6h ago•43 comments

Why Don't People Use Formal Methods?

https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/

33•Thom2503•1h ago•19 comments

I made a game where you build a CPU from logic gates

https://select.supply/game/chipbuilder

30•laurentiurad•2h ago•18 comments

Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers

https://www.ycombinator.com/companies/mbodi-ai/jobs

1•chitianhao•2h ago

AI's top startups are barely publishing their research

https://www.science.org/content/article/ai-s-top-startups-are-barely-publishing-their-research

559•YeGoblynQueenne•16h ago•291 comments

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

https://github.com/YoanWai/agent-manager

58•yoanwaidev•4h ago•40 comments

Carolina Cloud pays SOFR on unused prepaid credits

https://docs.carolinacloud.io/organizations/prepaid-interest/

50•bojangleslover•4h ago•29 comments

The coolest use for the Vision Pro

https://christianselig.com/2026/07/vision-pro-house/

766•robbiet480•17h ago•289 comments

3D Pinball for Windows (1995)

https://98.js.org/programs/pinball/space-cadet.html

15•mushstory•2h ago•4 comments

The Glass Famine

https://edconway.substack.com/p/the-glass-famine

55•baud147258•2d ago•22 comments

Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)

https://github.com/grafana/ai-sdk

21•matryer•2h ago•5 comments

LLM Honeypot

https://llm2human.pages.dev/

341•8thom•15h ago•94 comments

Google will expand age checks on Android worldwide till the end of the year

https://android-developers.googleblog.com/2026/07/google-play-age-signals-api-safer-experiences.html

193•dmantis•4h ago•223 comments

GCC steering committee announces AI policy

https://lwn.net/Articles/1086041/

144•arto•2h ago•154 comments

The first watch featuring computer functions

https://by.seiko-design.com/140th/en/topic/58.html

52•stefanv•4d ago•24 comments

Azulejo

https://en.wikipedia.org/wiki/Azulejo

98•Amorymeltzer•1d ago•33 comments

You can't solve computer use by ignoring the interface

https://steelmanlabs.com/blog/computer-use-is-far-from-solved

18•mpavlov•2h ago•1 comments

The Productivity Mirage

https://frantic.im/mirage/

305•msephton•14h ago•135 comments

Are We Stuck with Lean?

https://mathoverflow.net/questions/513742/are-we-stuck-with-lean

13•jjgreen•2h ago•1 comments

CosmosEscape: Taking over Every Database in Azure Cosmos DB

https://www.wiz.io/blog/cosmosescape-taking-over-every-database-in-azure-cosmos-db

13•uvuv•2h ago•5 comments

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

https://www.bloomberg.com/news/articles/2026-07-29/chatgpt-roblox-to-fall-under-strictest-eu-rule...

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

RFC 8890 – The Internet is for End Users (2020)

Why Is Everyone Trying to Build a Solid-State Battery?

How Old Is Ann?

Gpiozero Flow

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

Ron Gilbert started production on Thimbleweed Park 2

Why Don't People Use Formal Methods?

I made a game where you build a CPU from logic gates

Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers

AI's top startups are barely publishing their research

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

Carolina Cloud pays SOFR on unused prepaid credits

The coolest use for the Vision Pro

3D Pinball for Windows (1995)

The Glass Famine

Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)

LLM Honeypot

Google will expand age checks on Android worldwide till the end of the year

GCC steering committee announces AI policy

The first watch featuring computer functions

Azulejo

You can't solve computer use by ignoring the interface

The Productivity Mirage

Are We Stuck with Lean?

CosmosEscape: Taking over Every Database in Azure Cosmos DB

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

The Alice and Bob After Dinner Speech (1984)

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident

The Cold Email

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

RFC 8890 – The Internet is for End Users (2020)

Why Is Everyone Trying to Build a Solid-State Battery?

How Old Is Ann?

Gpiozero Flow

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

Ron Gilbert started production on Thimbleweed Park 2

Why Don't People Use Formal Methods?

I made a game where you build a CPU from logic gates

Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers

AI's top startups are barely publishing their research

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

Carolina Cloud pays SOFR on unused prepaid credits

The coolest use for the Vision Pro

3D Pinball for Windows (1995)

The Glass Famine

Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)

LLM Honeypot

Google will expand age checks on Android worldwide till the end of the year

GCC steering committee announces AI policy

The first watch featuring computer functions

Azulejo

You can't solve computer use by ignoring the interface

The Productivity Mirage

Are We Stuck with Lean?

CosmosEscape: Taking over Every Database in Azure Cosmos DB

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

The Alice and Bob After Dinner Speech (1984)

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident

The Cold Email