fp.

Mizar: The first usable proof assistant for mathematics

https://lawrencecpaulson.github.io//2026/05/07/Mizar.html

1•chmaynard•3m ago•0 comments

Denmark's state-run postal service will no longer deliver letters (2025)

https://apnews.com/article/postnord-denmark-postal-service-mail-ce78db2f2234a50e676063fac790a617

1•donohoe•5m ago•0 comments

Guide for Migrarting from Radix UI to Base UI

https://shadcnstudio.com/blog/migrate-from-radix-ui-to-base-ui

1•devsoul•6m ago•0 comments

Grand Theft Oil Futures: Insider traders keep making a killing at our expense

https://paulkrugman.substack.com/p/grand-theft-oil-futures

1•Qem•7m ago•0 comments

How the oilman's president boosted a green transition

https://www.ft.com/content/a55fb3cb-2b04-4608-9b96-6544e8b803df

1•doener•8m ago•0 comments

LinkedIn profile visitor lists belong to the people, says Noyb

https://www.theregister.com/offbeat/2026/05/05/noyb-cries-foul-on-linkedin-withholding-profile-vi...

2•robin_reala•9m ago•0 comments

I built a free GPT to test whether an idea is clear before launch

https://chatgpt.com/g/g-69f11b6a1bdc8191ab1100acf60f40cc-deltdx-free

1•DELTAX-Editions•11m ago•0 comments

Godot Usage and Engine Growth

https://godotengine.org/article/godot-growth-stats-2026/

1•__natty__•13m ago•0 comments

Practical Effect Handlers in Capability-Passing Style

https://link.springer.com/chapter/10.1007/978-3-030-83128-8_3

1•noelwelsh•14m ago•1 comments

Idempotency Is Easy Until the Second Request Is Different

https://blog.dochia.dev/blog/idempotency/

2•ludovicianul•15m ago•0 comments

Show HN: AICW Video open-source to cut video into clips with captions, voiceover

https://github.com/aicw-io/aicw-video

1•eummm•18m ago•0 comments

Open-Ended Survey? Definition, Benefits, AI Analysis and How to Create One

https://figshare.com/articles/journal_contribution/_sup_strong_What_Is_an_Open-Ended_Survey_Defin...

1•aishasajjad•20m ago•0 comments

Solod v0.1: Go ergonomics, practical stdlib, native C interop

https://antonz.org/solod-v0-1/

1•blenderob•22m ago•0 comments

AI Agent Is Lying to You in 2026 – and It's Getting Worse

https://travel4fun4u1.substack.com/p/your-ai-agent-is-lying-to-you-in

4•Travel4Fun4U•26m ago•0 comments

Rivercane: Our Native Bamboo

https://www.nps.gov/articles/000/rivercane.htm

1•thunderbong•28m ago•0 comments

The Life and Times of an American Tween

https://www.newyorker.com/magazine/2026/05/11/the-life-and-times-of-an-american-tween

1•ironyman•29m ago•0 comments

Apple discontinues 256GB Mac Studio option

https://9to5mac.com/2026/05/05/apples-most-powerful-mac-studio-loses-its-last-remaining-ram-upgra...

1•chriswep•29m ago•0 comments

AI Can Help You Build Better Experiments

https://aihorizons.io/ai-build-better-experiments/

1•sebg•30m ago•0 comments

Agent-harness-kit scaffolding for multi-agent workflows (MCP, provider-agnostic)

https://ahk.cardor.dev

2•enmanuelmag•31m ago•0 comments

German tourist wins payout after losing sun lounger race

https://www.bbc.com/news/articles/c5y72g09d7jo

1•vrganj•35m ago•2 comments

A PHP license change is imminent

https://lwn.net/Articles/1063993/

2•tosh•37m ago•0 comments

Visualizing History: The Polish System

https://publicdomainreview.org/collection/visualizing-history-the-polish-system/

2•sebg•41m ago•0 comments

Lazarus Group Uses Git Hooks to Hide Malware

https://opensourcemalware.com/blog/dprk-git-hooks-malware

4•speckx•41m ago•0 comments

From Stringly to Strongly Typed

https://eignex.com/posts/from-stringly-to-strongly-typed/

2•monom•41m ago•0 comments

3D-printed house could help solve Japan's construction crisis

https://www.cnn.com/2026/05/07/business/japans-3d-printing-construction-sector-crisis-hnk-spc

2•breve•42m ago•0 comments

The Missing Piece in AI

https://twitter.com/ElironK300/status/2049640389565379013

1•Eli2315•43m ago•0 comments

AI coding agents read Git log as their first debugging step

https://thoughts.jock.pl/p/how-to-use-github-ai-builders-basics-2026

2•joozio•45m ago•0 comments

The AI fitness instructors selling unreal gains

https://www.bbc.com/sport/articles/c5ye7dnxv86o

1•breve•45m ago•0 comments

When DNSSEC goes wrong: how we responded to the .de TLD outage

https://blog.cloudflare.com/de-tld-outage-dnssec/

2•jgrahamc•46m ago•0 comments

How to Work and Compound with AI

https://eugeneyan.com/writing/working-with-ai/

1•swyx•48m ago•0 comments

Mizar: The first usable proof assistant for mathematics

Denmark's state-run postal service will no longer deliver letters (2025)

Guide for Migrarting from Radix UI to Base UI

Grand Theft Oil Futures: Insider traders keep making a killing at our expense

How the oilman's president boosted a green transition

LinkedIn profile visitor lists belong to the people, says Noyb

I built a free GPT to test whether an idea is clear before launch

Godot Usage and Engine Growth

Practical Effect Handlers in Capability-Passing Style

Idempotency Is Easy Until the Second Request Is Different

Show HN: AICW Video open-source to cut video into clips with captions, voiceover

Open-Ended Survey? Definition, Benefits, AI Analysis and How to Create One

Solod v0.1: Go ergonomics, practical stdlib, native C interop

AI Agent Is Lying to You in 2026 – and It's Getting Worse

Rivercane: Our Native Bamboo

The Life and Times of an American Tween

Apple discontinues 256GB Mac Studio option

AI Can Help You Build Better Experiments

Agent-harness-kit scaffolding for multi-agent workflows (MCP, provider-agnostic)

German tourist wins payout after losing sun lounger race

A PHP license change is imminent

Visualizing History: The Polish System

Lazarus Group Uses Git Hooks to Hide Malware

From Stringly to Strongly Typed

3D-printed house could help solve Japan's construction crisis

The Missing Piece in AI

AI coding agents read Git log as their first debugging step

The AI fitness instructors selling unreal gains

When DNSSEC goes wrong: how we responded to the .de TLD outage

How to Work and Compound with AI

I got prompt-injected asking Claude on iOS to recommend a cycling route app

Mizar: The first usable proof assistant for mathematics

Denmark's state-run postal service will no longer deliver letters (2025)

Guide for Migrarting from Radix UI to Base UI

Grand Theft Oil Futures: Insider traders keep making a killing at our expense

How the oilman's president boosted a green transition

LinkedIn profile visitor lists belong to the people, says Noyb

I built a free GPT to test whether an idea is clear before launch

Godot Usage and Engine Growth

Practical Effect Handlers in Capability-Passing Style

Idempotency Is Easy Until the Second Request Is Different

Show HN: AICW Video open-source to cut video into clips with captions, voiceover

Open-Ended Survey? Definition, Benefits, AI Analysis and How to Create One

Solod v0.1: Go ergonomics, practical stdlib, native C interop

AI Agent Is Lying to You in 2026 – and It's Getting Worse

Rivercane: Our Native Bamboo

The Life and Times of an American Tween

Apple discontinues 256GB Mac Studio option

AI Can Help You Build Better Experiments

Agent-harness-kit scaffolding for multi-agent workflows (MCP, provider-agnostic)

German tourist wins payout after losing sun lounger race

A PHP license change is imminent

Visualizing History: The Polish System

Lazarus Group Uses Git Hooks to Hide Malware

From Stringly to Strongly Typed

3D-printed house could help solve Japan's construction crisis

The Missing Piece in AI

AI coding agents read Git log as their first debugging step

The AI fitness instructors selling unreal gains

When DNSSEC goes wrong: how we responded to the .de TLD outage

How to Work and Compound with AI