fp.

Show HN: WolfSPDM a embedded focused requester SPDM 1.2 Stack built on WolfSSL

https://github.com/aidangarske/wolfSPDM

1•aidangarske•57s ago•0 comments

Programming Z3

https://z3prover.github.io/papers/programmingz3.html

1•RohanAdwankar•59s ago•0 comments

Upgrade Symfony 2.8.x to 7x Prime v2.9.0.0 – Tested With PHP 8.5.6

https://blog.se7enx.com/7x-releases-7x-prime-v2-9-0-0-the-symfony-v2-drop-in-upgrade-to-php-8-sup...

1•7x•1m ago•0 comments

Comments Are More Important Than Code–Jef Raskin (2005)

https://queue.acm.org/detail.cfm?id=1053354

1•danhite•3m ago•0 comments

Squillions

https://www.lrb.co.uk/the-paper/v48/n09/john-lanchester/squillions

1•hhs•3m ago•0 comments

What I Learned About Resilience From Y Combinator [video]

https://www.youtube.com/watch?v=KBjtRJSblMU

1•billclerico•8m ago•1 comments

Congress Introduces Bill to Permanently Block Chinese Vehicles from US

https://www.caranddriver.com/news/a71293972/congress-introduces-bill-chinese-cars-ban/

1•m463•8m ago•1 comments

Book review: Time and the world

https://ndpr.nd.edu/reviews/time-and-the-world-every-thing-and-then-some/

1•hhs•10m ago•0 comments

The dawn of 24/7 solar power

https://www.ft.com/content/b5c53f48-0f8c-4ef8-9152-53feffe60461

2•doener•11m ago•0 comments

Adobe Latest Target in Wave of Lawsuits over AI Voice Training

https://news.bloomberglaw.com/privacy-and-data-security/adobe-latest-target-in-wave-of-lawsuits-o...

1•1vuio0pswjnm7•15m ago•0 comments

Hawaii passes law bypassing Citizens United, governor signs it

https://ca.news.yahoo.com/hawaii-law-targets-corporate-influence-024038159.html

12•pzxc•18m ago•2 comments

Why U.S. Test Scores Are in a 'Generation-Long Decline'

https://www.nytimes.com/2026/05/13/upshot/test-scores-school-districts-us.html

2•karakoram•19m ago•2 comments

OpenAI faces lawsuit claiming chatbot gave advice that led to fatal overdose

https://www.reuters.com/legal/litigation/openai-faces-lawsuit-california-court-claiming-chatbot-g...

1•1vuio0pswjnm7•19m ago•0 comments

Big Tech goes beyond Wall Street for AI borrowing

https://www.ft.com/content/d137f1a1-4188-4784-b274-f53082d27aa8

1•1vuio0pswjnm7•21m ago•0 comments

Sharing your data comes at a cost - and not just to you

https://insights.som.yale.edu/insights/sharing-your-data-comes-at-cost-and-not-just-to-you

1•hhs•21m ago•0 comments

Ice vests or daily cold showers could help people lose weight, study finds

https://www.theguardian.com/society/2026/may/15/ice-vest-daily-cold-showers-weight-loss

2•fallinditch•27m ago•0 comments

The MCP Mandate

https://danunparsed.com/p/the-mcp-mandate

1•sambellll•29m ago•0 comments

Fractals in Pure Lambda Calculus

https://lambda-screen.marvinborner.de/?term=RERAVb997nwKttgngVbYLOBVsFswKsFthGhzQA%3D%3D

4•marvinborner•29m ago•0 comments

Show HN: ShaderKit – A browser GLSL editor I built for my own art

https://shaderkit.com/app

1•scrygl•33m ago•0 comments

Orthrus-Qwen3: up to 7.8×tokens/forward on Qwen3, identical output distribution

https://github.com/chiennv2000/orthrus

1•FranckDernoncou•33m ago•0 comments

Git is unprepared for the AI coding tsunami

https://www.theregister.com/devops/2026/05/15/git-is-unprepared-for-the-ai-coding-tsunami/5241480

1•Bender•34m ago•1 comments

AI Builder Needs Work

https://agenthiveinc.com/

1•AgentHive•35m ago•0 comments

Linux Kernel Adds Documentation What Qualifies as Security Bug, Responsible AI

https://www.phoronix.com/news/Linux-7.1-Kernel-Docs-AI-Bugs

2•Bender•35m ago•0 comments

Utah data center is causing a ruckus [video]

https://www.youtube.com/shorts/k5igEBeMLho

3•thesdev•36m ago•1 comments

Sorry, you can't bring your humanoid robots on Southwest flights anymore

https://ktla.com/news/nationworld/southwest-airlines-humanoid-robot-ban/

4•Bender•36m ago•1 comments

A tmux layer for coordinating multiple free tier coding-agent CLIs

https://github.com/trentisiete/endy

1•trentisiete•38m ago•0 comments

Archaeologists Find Egyptian Mummy Buried with the 'Iliad'

https://www.nytimes.com/2026/05/15/science/archaeology-egypt-mummy-iliad.html

1•diodorus•40m ago•0 comments

A Letter from 2040

https://www.xydac.com/blog/2040-now/

4•xydac•47m ago•0 comments

How to Write to SSDs [pdf]

https://www.vldb.org/pvldb/vol19/p1469-lee.pdf

8•matt_d•48m ago•0 comments

Show HN: A seed prompt that bootstraps a custom knowledge-base system

https://github.com/dah/llm-seedlab

1•dnh44•48m ago•0 comments

Show HN: WolfSPDM a embedded focused requester SPDM 1.2 Stack built on WolfSSL

Programming Z3

Upgrade Symfony 2.8.x to 7x Prime v2.9.0.0 – Tested With PHP 8.5.6

Comments Are More Important Than Code–Jef Raskin (2005)

Squillions

What I Learned About Resilience From Y Combinator [video]

Congress Introduces Bill to Permanently Block Chinese Vehicles from US

Book review: Time and the world

The dawn of 24/7 solar power

Adobe Latest Target in Wave of Lawsuits over AI Voice Training

Hawaii passes law bypassing Citizens United, governor signs it

Why U.S. Test Scores Are in a 'Generation-Long Decline'

OpenAI faces lawsuit claiming chatbot gave advice that led to fatal overdose

Big Tech goes beyond Wall Street for AI borrowing

Sharing your data comes at a cost - and not just to you

Ice vests or daily cold showers could help people lose weight, study finds

The MCP Mandate

Fractals in Pure Lambda Calculus

Show HN: ShaderKit – A browser GLSL editor I built for my own art

Orthrus-Qwen3: up to 7.8×tokens/forward on Qwen3, identical output distribution

Git is unprepared for the AI coding tsunami

AI Builder Needs Work

Linux Kernel Adds Documentation What Qualifies as Security Bug, Responsible AI

Utah data center is causing a ruckus [video]

Sorry, you can't bring your humanoid robots on Southwest flights anymore

A tmux layer for coordinating multiple free tier coding-agent CLIs

Archaeologists Find Egyptian Mummy Buried with the 'Iliad'

A Letter from 2040

How to Write to SSDs [pdf]

Show HN: A seed prompt that bootstraps a custom knowledge-base system

Different models solve number-theory race problem

Show HN: WolfSPDM a embedded focused requester SPDM 1.2 Stack built on WolfSSL

Programming Z3

Upgrade Symfony 2.8.x to 7x Prime v2.9.0.0 – Tested With PHP 8.5.6

Comments Are More Important Than Code–Jef Raskin (2005)

Squillions

What I Learned About Resilience From Y Combinator [video]

Congress Introduces Bill to Permanently Block Chinese Vehicles from US

Book review: Time and the world

The dawn of 24/7 solar power

Adobe Latest Target in Wave of Lawsuits over AI Voice Training

Hawaii passes law bypassing Citizens United, governor signs it

Why U.S. Test Scores Are in a 'Generation-Long Decline'

OpenAI faces lawsuit claiming chatbot gave advice that led to fatal overdose

Big Tech goes beyond Wall Street for AI borrowing

Sharing your data comes at a cost - and not just to you

Ice vests or daily cold showers could help people lose weight, study finds

The MCP Mandate

Fractals in Pure Lambda Calculus

Show HN: ShaderKit – A browser GLSL editor I built for my own art

Orthrus-Qwen3: up to 7.8×tokens/forward on Qwen3, identical output distribution

Git is unprepared for the AI coding tsunami

AI Builder Needs Work

Linux Kernel Adds Documentation What Qualifies as Security Bug, Responsible AI

Utah data center is causing a ruckus [video]

Sorry, you can't bring your humanoid robots on Southwest flights anymore

A tmux layer for coordinating multiple free tier coding-agent CLIs

Archaeologists Find Egyptian Mummy Buried with the 'Iliad'

A Letter from 2040

How to Write to SSDs [pdf]

Show HN: A seed prompt that bootstraps a custom knowledge-base system