progscrape: www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-conjecture-20250314

'Once in a Century' Proof Settles Math's Kakeya Conjecture

2 months ago quantamagazine.org math

The Core of Fermat's Last Theorem Just Got Superpowered

46 hours ago quantamagazine.org

How can AI researchers save energy? By going backward

9 days ago quantamagazine.org ai

How Much Energy Does It Take to Think?

6 days ago quantamagazine.org

How much energy does it take to think?

5 days ago quantamagazine.org

New Quantum Algorithm Factors Numbers with One Qubit

31 hours ago quantamagazine.org algorithm

Dubious Math in Infinite Jest (2009)

26 hours ago thehowlingfantods.com math

Math Symbol Frequencies

3 days ago leancrew.com math

rewrite of the century

41 hours ago reddit.com rust

'Proof' Review: Finding Truth in Numbers

4 days ago wsj.com

Dual EC : A Secret Math Backdoor let the US Government Spy on Anyone

26 hours ago leetarxiv.substack.com math

A maths proof that is only true in Japan

5 days ago newscientist.com japan

Formalizing a proof in lean using GitHub Copilot and canonical

7 days ago youtu.be github vibecoding video

Proof of concept - Linux distro with Go

8 days ago reddit.com go linux

Filmmakers Used 20 iPhones at Once to Shoot '28 Years Later'

10 days ago macrumors.com

ISP Settles With Record Labels That Demanded Mass Termination of Internet Users

9 days ago arstechnica.com

Google Settles Shareholder Lawsuit, Sill Spend $500 Million On Being Less Evil

9 days ago arstechnica.com google lawsuit

What's Rust's place in Data Science?

27 hours ago rust-lang.org rust

BA in CS v.s BS in CS

7 days ago reddit.com

Pi in Pascal's Triangle (2014)

5 days ago cut-the-knot.org

Ratatui's "Rat in the Wild" Challenge

9 days ago github.com rust

My experiment living in a tent in Hong Kong's jungle

4 days ago corentin.trebaol.com

There's not much point in buying Commodore

2 days ago oldvcr.blogspot.com

It's Waymo's World. We're All Just Riding in It. 10M Rides Surpassed

10 days ago wsj.com

Windows 11's growth slowed down in May 2025

8 days ago neowin.net windows

What's your go-to message queue in 2025?

7 days ago lobste.rs ask distributed scaling

TLTSS: a programming language made in TypeScript's type system

10 days ago skeary.me typescript

What’s new in JDK 25 for JDK Flight Recorder

9 days ago egahlin.github.io flight java

IT workers struggling in New Zealand's tight job market

8 days ago rnz.co.nz

Tesla Plummets 14% In Stock’s 11th-Worst Day Ever

5 days ago forbes.com tesla

Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library

24 hours ago microsoft.com c formalmethods microsoft rust

>progscrape ▒

All the news that's fit to scrape