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  vibecoding  health  github.com  apple  psychology  openai  techspot.com  psypost.org  china  microsoft  security  neuroscience  tomshardware.com  show  video  game  arstechnica.com  java 
Loading...

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

A Misalignment of AI in Mathematics

13 days ago terrytao.wordpress.com ai math vibecoding

I didn't sign the Fields medallists' letter

7 days ago terrytao.wordpress.com

Finite time blowup with smooth forcing term for the incompressible porous medium

17 days ago terrytao.wordpress.com

After Math

12 days ago terrytao.wordpress.com math vibecoding

Why do we need human mathematicians anymore?

5 days ago terrytao.wordpress.com

If math is more than proof, we need to better celebrate the rest of it

6 days ago terrytao.wordpress.com math

The Advisory Group on Mathematics and Artificial Intelligence

3 days ago terrytao.wordpress.com ai

Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)

19 days ago terrytao.wordpress.com 3d

Palomar: A registry of Lean verified mathematics

37 days ago terrytao.wordpress.com formalmethods math

Rotating needles in space: the road to the Kakeya conjecture, and why it matters

30 days ago terrytao.wordpress.com

A digestion of the proof of Sendov's conjecture

42 days ago terrytao.wordpress.com

A partial digestion of the HRT counterexample

47 days ago terrytao.wordpress.com

A digestion of the Jacobian conjecture counterexample

2 months ago terrytao.wordpress.com

Old and new apps, via modern coding agents

2 months ago terrytao.wordpress.com

Local Bernstein theory, and lower bounds for Lebesgue constants

6 months ago terrytao.wordpress.com

Mathematics Distillation Challenge – Equational Theories

6 months ago terrytao.wordpress.com

Six Math Essentials

7 months ago terrytao.wordpress.com math

Erdős Problem #1026

9 months ago terrytao.wordpress.com

Mathematical exploration and discovery at scale

10 months ago terrytao.wordpress.com

A Lean companion to Analysis I

16 months ago terrytao.wordpress.com formalmethods math

A tool to verify estimates, II: a flexible proof assistant

16 months ago terrytao.wordpress.com formalmethods math

Orders of Infinity

16 months ago terrytao.wordpress.com

A proof of concept tool to verify estimates

17 months ago terrytao.wordpress.com

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics

17 months ago terrytao.wordpress.com math

Decomposing a Factorial into Large Factors

18 months ago terrytao.wordpress.com

The three-dimensional Kakeya conjecture, after Wang and Zahl

19 months ago terrytao.wordpress.com 3d

Closing the “green gap”: energy savings from the math of the landscape function

19 months ago terrytao.wordpress.com math

Quaternions and spherical trigonometry

20 months ago terrytao.wordpress.com

The distribution of eigenvalues of GUE and its minors at fixed index

21 months ago terrytao.wordpress.com

A pilot project in universal algebra to explore new ways to collaborate

24 months ago terrytao.wordpress.com

More →