Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  tomshardware.com  rust  security  psychology  google  game  psypost.org  show  linux  github.com  health  arstechnica.com  release  techspot.com  techcrunch.com  theguardian.com  microsoft  apple  go 

Tao: Open math problems being non-renewably mined by AI

55 days ago mathstodon.xyz ai math

Fermat's Last Theorem: Anthropic has beaten me to it

59 days ago xenaproject.wordpress.com math vibecoding

Better AI code comment detector

54 days ago entropicthoughts.com ai math vibecoding

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

49 days ago baldino.dev compsci math python

Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”

58 days ago mathstodon.xyz math vibecoding

AI Is Powerful Enough to Crack Our Hardest Math Problems–and Kill Us All

51 days ago wsj.com ai math

Reversing Factorio's RNG

51 days ago gegell.github.io game math reversing

Everything is a Trust Decision

52 days ago nrd.sh cryptography math nix science

Finite-time blowup with smooth forcing for 3D incompressible Euler, Boussinesq, and IPM

56 days ago mastodon.social 3d math vibecoding

Is truth futureproof? On the possible futures of mechanized proofs

51 days ago khoury.northeastern.edu math pdf plt