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  health  vibecoding  github.com  openai  theguardian.com  media  show  release  apple  psychology  psypost.org  techspot.com  sciencealert.com  i.redd.it  security  arstechnica.com  go  meta 

A slightly longer Lean 4 proof tour

2 years ago terrytao.wordpress.com

Formalizing the proof of PFR in Lean4 using Blueprint: a short tour

2 years ago terrytao.wordpress.com

Inequalities, convergence, and continuity as "special deals"

2 years ago terrytao.wordpress.com

A mathematical formalization of dimensional analysis (2012)

2 years ago terrytao.wordpress.com

Be sceptical of your own work (2009)

3 years ago terrytao.wordpress.com

AI to Assist Mathematical Reasoning: A Workshop

3 years ago terrytao.wordpress.com ai

Make your work available (2007)

3 years ago terrytao.wordpress.com

Infinite partial sumsets in the primes

3 years ago terrytao.wordpress.com

Special Relativity and Middle-Earth

3 years ago terrytao.wordpress.com

What Are the Odds?

3 years ago terrytao.wordpress.com

Quantum Mechanics and Tomb Raider

4 years ago terrytao.wordpress.com

There’s more to mathematics than rigour and proofs

4 years ago terrytao.wordpress.com

Masterclass on mathematical thinking

4 years ago terrytao.wordpress.com

Terence Tao's favorite problem-solving strategies

4 years ago terrytao.wordpress.com

Work Hard (By Terence Tao)

5 years ago terrytao.wordpress.com

Climbing the cosmic distance ladder: Terence Tao book announcement

5 years ago terrytao.wordpress.com

John Conway

6 years ago terrytao.wordpress.com

On writing: Write a rapid prototype first

6 years ago terrytao.wordpress.com prototype

Options for giving math talks and lectures online

6 years ago terrytao.wordpress.com math

Eigenvectors from Eigenvalues

6 years ago terrytao.wordpress.com

Almost all Collatz orbits attain almost bounded values

7 years ago terrytao.wordpress.com

Jean Bourgain

7 years ago terrytao.wordpress.com

Gamifying propositional logic: QED, an interactive textbook

8 years ago terrytao.wordpress.com

The De Bruijn-Newman constant is non-negative

8 years ago terrytao.wordpress.com

Terry Tao on Maryam Mirzakhani

9 years ago terrytao.wordpress.com

Open thread for mathematicians on the immigration executive order

9 years ago terrytao.wordpress.com

Don’t prematurely obsess on a single “big problem” or “big theory”

9 years ago terrytao.wordpress.com

Terry Tao: A problem involving power series

9 years ago terrytao.wordpress.com

Donald Trump Is Not Fit for the Presidency of the United States of America

10 years ago terrytao.wordpress.com trump

How to assign partial credit on an exam of true-false questions?

10 years ago terrytao.wordpress.com

More →