Display options

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

Feedback? Email [email protected]

progscrape https://rpi4-host.progscrape.com/
Trending tags: ai  rust  github.com  vibecoding  health  game  theguardian.com  meta  show  tomshardware.com  i.redd.it  openai  sciencealert.com  arstechnica.com  web  windows  google  microsoft  psychology  security 
Loading...

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

Ten advances in mathematics and theoretical computer science

9 days ago openai.com math vibecoding

Mathematics Without Mathematicians

8 days ago borretti.me math vibecoding

TheoremDB – A public workspace for machine mathematics

45 hours ago theoremdb.org

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

7 days ago thezvi.substack.com openai

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

2 days ago web.njit.edu pdf

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

10 days ago cam.ac.uk mathematics

The Riemann Hypothesis manifested in dynamical quantum phase transitions

10 days ago nature.com mathematics

The Dark Night of Mathematics

16 days ago kirwinhampshire.substack.com ai math philosophy

The Origins of Modern Mathematics in Russia

17 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)?

17 days ago reddit.com

Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach

16 days ago maths.cam.ac.uk

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

15 days ago teorth.github.io ai pdf

Mathematics of Data Science

25 days ago arxiv.org

Mir Little Mathematics Library

37 days ago mirtitles.org

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

25 days ago reddit.com math rust

Solving Wordle Using Information Theory

52 days ago orb.binghamton.edu mathematics

AI in mathematics is forcing big questions

45 days 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

41 days ago coe.psu.ac.th python

The Mathematics of the Chinese Calendar [pdf]

50 days ago gwern.net china pdf

Mathematics: Its Content, Methods and Meaning

44 days 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

How to Not Let Them Get Away with It: The Mathematics of Infinite Exploitation

2 months ago link.springer.com

Leiden Declaration on Artificial Intelligence and Mathematics

2 months ago leidendeclaration.ai ai

Dijkstra argues programming is harder than mathematics

52 days ago youtube.com

Mica: A Mathematics and Systems Language & Compiler Built Entirely From Scratch (>100KLOC, ISO Pascal Syntax, DWARF v5)

47 days ago reddit.com compiler

Mathematicians are challenging the idea that dark energy is responsible for the accelerating expansion of the universe

2 months ago lettersandsciencemag.ucdavis.edu mathematics universe

Researchers have discovered a mathematical technique to help design hard-to-build structures that mimic termite mounds or human bone

3 months ago engineering.princeton.edu mathematics

Seeking a Language in Mathematics 1523-1571

2 months ago tyndale.org

More →