Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  theguardian.com  health  vibecoding  china  apple  psychology  neuroscience  meta  linux  show  release  arstechnica.com  go  game  techspot.com  tomshardware.com  theverge.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Mathematicians have discovered a set of equations capable of untangling the distortions caused by singularities in maps

6 days ago lettersandsciencemag.ucdavis.edu mathematics

Ten advances in mathematics and theoretical computer science

24 days ago openai.com math vibecoding

Mathematics Without Mathematicians

23 days ago borretti.me math vibecoding

Palomar: A registry of Lean verified mathematics

7 days ago terrytao.wordpress.com formalmethods math

Mathematics in the age of AI

6 days ago arxiv.org ai

How Will AI Change the Field of Mathematics?

3 days ago theverge.com ai

The beautiful mathematics behind OpenAI's sphere packing result

8 days ago empirical.health openai

TheoremDB – A public workspace for machine mathematics

17 days ago theoremdb.org

The End of Mathematics

11 days ago daniellitt.com

The Hat and the Spectre – Recent Groundbreaking Discoveries in Mathematics

18 days ago momath.org

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

22 days ago thezvi.substack.com openai

The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (1960)

17 days ago web.njit.edu pdf

Mathematicians have shown that completely fair elections are – in a sense – impossible

25 days ago cam.ac.uk mathematics

The Riemann Hypothesis manifested in dynamical quantum phase transitions

25 days ago nature.com mathematics

The Dark Night of Mathematics

31 days ago kirwinhampshire.substack.com ai math philosophy

The Origins of Modern Mathematics in Russia

32 days ago valeman.medium.com russia

What are the basic assumptions of type theory-based proof assistants compared to those of traditional mathematics (e.g. real analysis)?

32 days ago reddit.com

Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach

32 days ago maths.cam.ac.uk

Terence Tao: Mathematics in the Age of AI [pdf]

30 days ago teorth.github.io ai pdf

Mathematics of Data Science

40 days ago arxiv.org

Mir Little Mathematics Library

53 days ago mirtitles.org

How can I combine learning Math and Discrete Mathematics with Rust projects?

40 days ago reddit.com math rust

Solving Wordle Using Information Theory

2 months ago orb.binghamton.edu mathematics

AI in mathematics is forcing big questions

2 months ago spectrum.ieee.org ai math

Leiden Declaration on Artificial Intelligence and Mathematics

2 months ago lms.ac.uk ai

"Exploring Mathematics with Python": new chapter 20 on Function Approximation

57 days ago coe.psu.ac.th python

The Mathematics of the Chinese Calendar [pdf]

2 months ago gwern.net china pdf

Mathematics: Its Content, Methods and Meaning

2 months ago old.maa.org

A New Declaration Warns AI Could Threaten the Foundations of Mathematics

2 months ago gizmodo.com ai

the mathematics of multi-tenancy

2 months ago bitsxpages.com

More →