fp.

Mizar: The first usable proof assistant for mathematics

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

1•chmaynard•1m 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•3m 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•4m 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•5m ago•0 comments

How the oilman's president boosted a green transition

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

1•doener•6m 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•7m 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•9m ago•0 comments

Godot Usage and Engine Growth

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

1•__natty__•11m 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•12m ago•1 comments

Idempotency Is Easy Until the Second Request Is Different

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

2•ludovicianul•13m 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•16m 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•18m ago•0 comments

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

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

1•blenderob•19m 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•24m ago•0 comments

Rivercane: Our Native Bamboo

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

1•thunderbong•26m 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•27m 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•27m ago•0 comments

AI Can Help You Build Better Experiments

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

1•sebg•28m ago•0 comments

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

https://ahk.cardor.dev

2•enmanuelmag•29m ago•0 comments

German tourist wins payout after losing sun lounger race

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

1•vrganj•33m ago•1 comments

A PHP license change is imminent

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

2•tosh•35m ago•0 comments

Visualizing History: The Polish System

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

2•sebg•39m ago•0 comments

Lazarus Group Uses Git Hooks to Hide Malware

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

4•speckx•39m ago•0 comments

From Stringly to Strongly Typed

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

2•monom•39m 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•40m ago•0 comments

The Missing Piece in AI

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

1•Eli2315•41m 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•43m ago•0 comments

The AI fitness instructors selling unreal gains

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

1•breve•43m 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•44m ago•0 comments

How to Work and Compound with AI

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

1•swyx•46m 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

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

File72 – Send files instantly, no account required