frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman

https://www.erdosproblems.com/forum/thread/1196
3•philipfweiss•1h ago

Comments

philipfweiss•1h ago
Beyond the sensationalization here’s what Terry had to say -“ In any case, I would indeed say that this is a situation in which the AI-generated paper inadvertently highlighted a tighter connection between two areas of mathematics (in this case, the anatomy of integers and the theory of Markov processes) than had previously been made explicit in the literature (though there were hints and precursors scattered therein which one can see in retrospect). That would be a meaningful contribution to the anatomy of integers that goes well beyond the solution of this particular Erdos problem.”

That Resilience Can't Be Automated

https://uptimelabs.io/articles/5-ways-that-resilience-cant-be-automated/
1•0xKelsey•26s ago•0 comments

MariaDB's Snapshot Isolation: A Fix That Breaks More Than It Fixes

https://www.percona.com/blog/mariadbs-snapshot-isolation-a-fix-that-breaks-more-than-it-fixes/
1•0xKelsey•1m ago•0 comments

Original Task Manager creator explains why it lies to you about CPU usage

https://www.tomshardware.com/software/windows/original-task-manager-creator-explains-why-it-lies-...
1•amichail•2m ago•0 comments

Tim Cook is stepping down

https://www.axios.com/2026/04/20/tim-cook-apple-ceo
2•abustamam•4m ago•0 comments

AI quota inflation is no token effort. It's baked in

https://www.theregister.com/2026/04/20/inflation_ai_quota/
1•Logans_Run•5m ago•0 comments

Who Killed the Florida Orange?

https://slate.com/business/2026/04/florida-state-orange-food-houses-real-estate.html
1•danso•8m ago•1 comments

Tim Cook to step down from Apple

https://www.nytimes.com/2026/04/20/technology/tim-cook-apple-ceo-steps-down.html
4•frenchman_in_ny•8m ago•1 comments

How Finland's "Math Miracle" Deceived the World

https://valeman.medium.com/how-finlands-math-miracle-deceived-the-world-11a0070d9d89
1•ibobev•8m ago•0 comments

Stop your Raspberry Pi NixOS builds from crashing

https://cdmckay.org/stop-your-raspberry-pi-nixos-builds-from-crashing/
1•cdmckay•9m ago•0 comments

Stack Overflow Adds AI Assist Chat

https://beta.stackoverflow.com/ai-assist
1•written-beyond•10m ago•2 comments

Tim Cook Stepping Down as Apple CEO, John Ternus Taking Over

https://techcrunch.com/2026/04/20/tim-cook-stepping-down-as-apple-ceo-john-ternus-taking-over/
13•Vortigaunt•11m ago•1 comments

Agent Cost You $54,540

https://kyanfeat.substack.com/p/how-your-agent-cost-you-54540
1•kyanfeat•12m ago•0 comments

Isopods of the World

https://isopod.site/
2•debesyla•13m ago•0 comments

Johny Srouji Named Apple's Chief Hardware Officer

https://www.apple.com/newsroom/2026/04/johny-srouji-named-apples-chief-hardware-officer/
2•johnbehnke•16m ago•0 comments

Warfare in an Aging World

https://dispatch.bazaarofwar.com/p/warfare-in-an-aging-world
1•bookofjoe•18m ago•0 comments

Amiga DaynaPORT Driver for BlueSCSI V2 and ZuluSCSI

https://github.com/RobSmithDev/daynaport-amiga
1•doener•20m ago•0 comments

Tim Cook Retiring

https://www.bloomberg.com/news/articles/2026-04-20/apple-names-ternus-as-next-ceo-with-cook-becom...
2•longhaul•20m ago•0 comments

Apple Hardware Executive John Ternus to Become CEO

https://www.wsj.com/tech/apple-announces-ceo-john-ternus-2826465d
2•dcgudeman•21m ago•0 comments

Tim Cook steps down. Ternus to CEO

https://twitter.com/i/status/2046325832885432762
2•bundie•22m ago•0 comments

US opens refund portal to start paying back Trump's illegal tariffs

https://arstechnica.com/tech-policy/2026/04/us-opens-refund-portal-to-start-paying-back-trumps-il...
2•voxadam•23m ago•0 comments

Community Letter from Tim [Cook]

https://www.apple.com/community-letter-from-tim/
1•cakeface•24m ago•0 comments

LLM reasoning makes multi-provider systems significantly harder to operate

https://backboard.io/blog/i-think-therefore-i-am%E2%80%A6-a-big-pain-in-the-butt
1•joie_cc•27m ago•0 comments

Verus is a tool for verifying the correctness of code written in Rust

https://verus-lang.github.io/verus/guide/
3•fanf2•27m ago•0 comments

What is Canton Network (and why should you care)?

https://eric.mann.blog/what-is-canton-network/
1•eamann•28m ago•0 comments

Tim Cook to become Apple Executive Chairman

https://www.apple.com/newsroom/2026/04/tim-cook-to-become-apple-executive-chairman-john-ternus-to...
292•schappim•29m ago•96 comments

Amazon and Anthropic expand strategic collaboration

https://www.aboutamazon.com/news/company-news/amazon-invests-additional-5-billion-anthropic-ai
2•louiereederson•29m ago•0 comments

Apple CEO Tim Cook Stepping Down, John Ternus Confirmed as New Apple CEO

https://9to5mac.com/2026/04/20/apple-ceo-tim-cook-stepping-down-john-ternus-confirmed-as-new-appl...
7•jaredwiener•30m ago•0 comments

Slcoe – system-based LCOE for comparing energy technologies in different systems

https://www.sciencedirect.com/science/article/pii/S0360544226009837
1•doener•31m ago•0 comments

Apple names John Ternus CEO, replacing Tim Cook, who becomes Chairman

https://www.cnbc.com/2026/04/20/apple-names-john-ternus-ceo-replacing-tim-cook-who-becomes-chairm...
6•thomasjudge•31m ago•0 comments

2 Big Bottlenecks to Scaling Agentic State

https://georgianailab.substack.com/p/2-big-bottlenecks-to-scaling-agentic
1•dudzik•31m ago•0 comments