fp.

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

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

269•speckx•1h ago•96 comments

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

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

35•notarobot123•1h ago•12 comments

Why Don't People Use Formal Methods?

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

53•Thom2503•2h ago•35 comments

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

https://prized.dev

17•marinoseliades•1h ago•6 comments

Ron Gilbert started production on Thimbleweed Park 2

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

134•alberto-m•6h ago•53 comments

Gpiozero Flow

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

97•benn_88•4h ago•29 comments

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

https://select.supply/game/chipbuilder

44•laurentiurad•3h ago•35 comments

How Old Is Ann?

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

37•ibobev•2h ago•31 comments

Europe's fires are just the start

https://economist.com/leaders/2026/07/28/europes-fires-are-just-the-start

67•andsoitis•51m ago•76 comments

AI's top startups are barely publishing their research

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

563•YeGoblynQueenne•17h ago•294 comments

The coolest use for the Vision Pro

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

773•robbiet480•18h ago•290 comments

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

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

1•chitianhao•2h ago

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

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

66•yoanwaidev•5h ago•46 comments

Carolina Cloud pays SOFR on unused prepaid credits

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

53•bojangleslover•5h ago•36 comments

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

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

49•crescit_eundo•2h ago•51 comments

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

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

24•matryer•2h ago•8 comments

Are We Stuck with Lean?

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

24•jjgreen•3h ago•4 comments

3D Pinball for Windows (1995)

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

20•mushstory•3h ago•9 comments

CosmosEscape: Taking over Every Database in Azure Cosmos DB

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

19•uvuv•2h ago•6 comments

The Glass Famine

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

59•baud147258•3d ago•30 comments

The Alice and Bob After Dinner Speech (1984)

https://hex.ooo/library/alicebob.html

7•kamma4434•3d ago•1 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

210•dmantis•4h ago•236 comments

LLM Honeypot

https://llm2human.pages.dev/

345•8thom•15h ago•95 comments

You can't solve computer use by ignoring the interface

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

29•mpavlov•3h ago•4 comments

Azulejo

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

106•Amorymeltzer•1d ago•34 comments

The first watch featuring computer functions

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

55•stefanv•4d ago•24 comments

The Productivity Mirage

https://frantic.im/mirage/

311•msephton•15h ago•137 comments

Going beneath NTFS: USN Journal, dfir_NTFS, and artefact-driven investigations

https://andreafortuna.org/2026/07/06/ntfs-forensics-deep-dive/

6•ankitg12•1h ago•1 comments

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

https://huggingface.co/blog/agent-intrusion-technical-timeline

439•artninja1988•1d ago•239 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...

54•ch_sm•3h ago•35 comments

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

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

Why Don't People Use Formal Methods?

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

Ron Gilbert started production on Thimbleweed Park 2

Gpiozero Flow

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

How Old Is Ann?

Europe's fires are just the start

AI's top startups are barely publishing their research

The coolest use for the Vision Pro

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

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

Carolina Cloud pays SOFR on unused prepaid credits

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

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

Are We Stuck with Lean?

3D Pinball for Windows (1995)

CosmosEscape: Taking over Every Database in Azure Cosmos DB

The Glass Famine

The Alice and Bob After Dinner Speech (1984)

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

LLM Honeypot

You can't solve computer use by ignoring the interface

Azulejo

The first watch featuring computer functions

The Productivity Mirage

Going beneath NTFS: USN Journal, dfir_NTFS, and artefact-driven investigations

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

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

The Alice and Bob After Dinner Speech (1984)

Comments

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

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

Why Don't People Use Formal Methods?

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

Ron Gilbert started production on Thimbleweed Park 2

Gpiozero Flow

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

How Old Is Ann?

Europe's fires are just the start

AI's top startups are barely publishing their research

The coolest use for the Vision Pro

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

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

Carolina Cloud pays SOFR on unused prepaid credits

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

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

Are We Stuck with Lean?

3D Pinball for Windows (1995)

CosmosEscape: Taking over Every Database in Azure Cosmos DB

The Glass Famine

The Alice and Bob After Dinner Speech (1984)

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

LLM Honeypot

You can't solve computer use by ignoring the interface

Azulejo

The first watch featuring computer functions

The Productivity Mirage

Going beneath NTFS: USN Journal, dfir_NTFS, and artefact-driven investigations

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

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms