fp.

Math long resisted a digital disruption. AI is poised to change that

https://www.sciencenews.org/article/math-disrupted-by-ai-verify-proofs

1•digital55•1m ago•0 comments

The performance bug hiding in our Cloud Run billing settings

https://oblique.security/blog/the-performance-bug-hiding-in-our-billing-settings/

2•ericchiang•4m ago•1 comments

A list of known issues with passkey implementations in popular password managers

https://passkeys.dev/docs/reference/known-issues/

2•Cider9986•4m ago•0 comments

Google, Microsoft, and xAI will allow the government to review their new models

https://www.theverge.com/ai-artificial-intelligence/924017/google-microsoft-xai-government-review

1•ambigious7777•4m ago•0 comments

Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches

https://pyrefly.org/blog/surprising-errors/

2•ocamoss•4m ago•0 comments

Yann LeCun's $1B Bet Against LLMs [video]

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

2•tanishqkanc•6m ago•0 comments

UNIMATRIx – A Society of AI Agents

https://github.com/gslf/UNIMATRIx

2•gslf•6m ago•0 comments

US Government Expands Vetting of Frontier AI Models for Security Risks

https://www.politico.com/news/2026/05/05/microsoft-xai-google-caisi-safety-testing-00906529

2•r3trohack3r•6m ago•0 comments

Trump Pressures FDA Commissioner to Approve Flavored Vapes

https://www.wsj.com/politics/policy/trump-pressures-fda-commissioner-to-approve-flavored-vapes-9d...

3•impish9208•7m ago•1 comments

Donald Trump Is Elected President (2016)

https://www.bbc.com/news/election-us-2016-37920175

2•downbad_•8m ago•1 comments

DuckDB ↔ Arrow Compatibility: A Status Page

https://rusty.today/blog/duckdb-arrow-compatibility-status/

2•rustyconover•8m ago•0 comments

Show HN: I'm paying senior engineers to read B2B content

https://www.nexertise.com/founding

3•yisrael_g•9m ago•0 comments

Damnlines / NYC Restaurant Lines

https://damnlines.com/

2•lucastgordon•9m ago•0 comments

Why interaction is more powerful than algorithms (1997) [pdf]

https://www.lri.fr/~mbl/ENS/FONDIHM/2013/papers/Wegner-CACM97.pdf

2•aragonite•9m ago•0 comments

PayPal to Cut 20% of the Workforce

https://rollingout.com/2026/05/05/paypal-pypl-workforce-cuts-turnaround/

2•upupupandaway•12m ago•0 comments

PySimpleGUI 6

https://github.com/PySimpleGUI/PySimpleGUI

2•geophph•12m ago•0 comments

Show HN: AI-DLC-UML (AI-Driven Development Life Cycle with UML Modeling)

https://github.com/takaakit/ai-dlc-uml

2•takaakit•13m ago•0 comments

AI Generated Content Broke the Social Contract

https://jfdi.bot/blog/ai-generated-content-broke-the-social-contract/

1•Swizec•14m ago•0 comments

Build secure OS agents with LangGraph

https://gantrygraph.com/quickstart

1•alekkk777•15m ago•0 comments

You only see typos after you post

https://diels-daydreams.bearblog.dev/you-only-see-typos-after-you-post/

1•speckx•16m ago•0 comments

J for C Programmers

https://www.jsoftware.com/help/jforc/_.htm

1•tosh•17m ago•0 comments

California farmers to destroy 420k peach trees following Del Monte bankruptcy

https://www.sfgate.com/centralcoast/article/usda-aid-california-farmers-22240694.php

12•littlexsparkee•17m ago•0 comments

Show HN: Explore color palettes inspired by 3000 master painter artworks

https://paletteinspiration.com/

2•ouli•17m ago•0 comments

Coinbase cuts headcount by 14% citing AI acceleration

https://www.cnbc.com/2026/05/05/coinbase-cuts-headcount-by-14percent-citing-ai-acceleration-the-s...

3•1vuio0pswjnm7•19m ago•0 comments

Google Web Bot Auth

https://developers.google.com/crawling/docs/crawlers-fetchers/web-bot-auth

1•poisonborz•19m ago•0 comments

U.S. and Iran Both Claim Control over Strait of Hormuz

https://www.nytimes.com/live/2026/05/05/world/iran-war-trump-hormuz

2•tcp_handshaker•19m ago•0 comments

When Too Many Maps Overlap on One Person

https://yusufaytas.com/when-too-many-maps-overlap-on-one-person

8•brainrotted•20m ago•0 comments

Reform UK's proposed detention centre law

https://tombrandis.uk/posts/Reform-UK%27s-proposed-detention-centre-law.html

1•tombrandis•22m ago•0 comments

Cal Newport's anti-brain rot rules

https://thetangent.space/2026/brain-rot/

2•speckx•22m ago•0 comments

Student hacked Taiwan high-speed rail to trigger emergency brakes

https://www.bleepingcomputer.com/news/security/student-hacked-taiwan-high-speed-rail-to-trigger-e...

1•gslin•22m ago•0 comments

Math long resisted a digital disruption. AI is poised to change that

The performance bug hiding in our Cloud Run billing settings

A list of known issues with passkey implementations in popular password managers

Google, Microsoft, and xAI will allow the government to review their new models

Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches

Yann LeCun's $1B Bet Against LLMs [video]

UNIMATRIx – A Society of AI Agents

US Government Expands Vetting of Frontier AI Models for Security Risks

Trump Pressures FDA Commissioner to Approve Flavored Vapes

Donald Trump Is Elected President (2016)

DuckDB ↔ Arrow Compatibility: A Status Page

Show HN: I'm paying senior engineers to read B2B content

Damnlines / NYC Restaurant Lines

Why interaction is more powerful than algorithms (1997) [pdf]

PayPal to Cut 20% of the Workforce

PySimpleGUI 6

Show HN: AI-DLC-UML (AI-Driven Development Life Cycle with UML Modeling)

AI Generated Content Broke the Social Contract

Build secure OS agents with LangGraph

You only see typos after you post

J for C Programmers

California farmers to destroy 420k peach trees following Del Monte bankruptcy

Show HN: Explore color palettes inspired by 3000 master painter artworks

Coinbase cuts headcount by 14% citing AI acceleration

Google Web Bot Auth

U.S. and Iran Both Claim Control over Strait of Hormuz

When Too Many Maps Overlap on One Person

Reform UK's proposed detention centre law

Cal Newport's anti-brain rot rules

Student hacked Taiwan high-speed rail to trigger emergency brakes

Mathematicians in the Age of AI

Math long resisted a digital disruption. AI is poised to change that

The performance bug hiding in our Cloud Run billing settings

A list of known issues with passkey implementations in popular password managers

Google, Microsoft, and xAI will allow the government to review their new models

Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches

Yann LeCun's $1B Bet Against LLMs [video]

UNIMATRIx – A Society of AI Agents

US Government Expands Vetting of Frontier AI Models for Security Risks

Trump Pressures FDA Commissioner to Approve Flavored Vapes

Donald Trump Is Elected President (2016)

DuckDB ↔ Arrow Compatibility: A Status Page

Show HN: I'm paying senior engineers to read B2B content

Damnlines / NYC Restaurant Lines

Why interaction is more powerful than algorithms (1997) [pdf]

PayPal to Cut 20% of the Workforce

PySimpleGUI 6

Show HN: AI-DLC-UML (AI-Driven Development Life Cycle with UML Modeling)

AI Generated Content Broke the Social Contract

Build secure OS agents with LangGraph

You only see typos after you post

J for C Programmers

California farmers to destroy 420k peach trees following Del Monte bankruptcy

Show HN: Explore color palettes inspired by 3000 master painter artworks

Coinbase cuts headcount by 14% citing AI acceleration

Google Web Bot Auth

U.S. and Iran Both Claim Control over Strait of Hormuz

When Too Many Maps Overlap on One Person

Reform UK's proposed detention centre law

Cal Newport's anti-brain rot rules

Student hacked Taiwan high-speed rail to trigger emergency brakes