Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  show  youtube.com  video  release  javascript  apple  go  web  linux  security  nature.com  arstechnica.com  trump  theregister.com  eurekalert.org 
Loading...

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

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

56 days ago terrytao.wordpress.com

What are the odds, II: the Venezuelan presidential election

3 months ago terrytao.wordpress.com

Work Hard (2007)

4 months ago terrytao.wordpress.com

There's more to mathematics than rigour and proofs (2007)

5 months ago terrytao.wordpress.com

AI for math resources, and erdosproblems.com

5 months ago terrytao.wordpress.com ai math

Ask yourself dumb questions and answer them (2020)

11 months ago terrytao.wordpress.com

A slightly longer Lean 4 proof tour

11 months ago terrytao.wordpress.com

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

11 months ago terrytao.wordpress.com

Inequalities, convergence, and continuity as "special deals"

12 months ago terrytao.wordpress.com

A mathematical formalization of dimensional analysis (2012)

14 months ago terrytao.wordpress.com

Be sceptical of your own work (2009)

15 months ago terrytao.wordpress.com

AI to Assist Mathematical Reasoning: A Workshop

17 months ago terrytao.wordpress.com ai

Make your work available (2007)

19 months ago terrytao.wordpress.com

Infinite partial sumsets in the primes

21 months ago terrytao.wordpress.com

Special Relativity and Middle-Earth

23 months ago terrytao.wordpress.com

What Are the Odds?

2 years ago terrytao.wordpress.com

Quantum Mechanics and Tomb Raider

2 years ago terrytao.wordpress.com

There’s more to mathematics than rigour and proofs

2 years ago terrytao.wordpress.com

Masterclass on mathematical thinking

2 years ago terrytao.wordpress.com

Terence Tao's favorite problem-solving strategies

2 years ago terrytao.wordpress.com

Work Hard (By Terence Tao)

3 years ago terrytao.wordpress.com

Climbing the cosmic distance ladder: Terence Tao book announcement

4 years ago terrytao.wordpress.com

John Conway

4 years ago terrytao.wordpress.com

On writing: Write a rapid prototype first

4 years ago terrytao.wordpress.com prototype

Options for giving math talks and lectures online

4 years ago terrytao.wordpress.com math

Eigenvectors from Eigenvalues

5 years ago terrytao.wordpress.com

Almost all Collatz orbits attain almost bounded values

5 years ago terrytao.wordpress.com

Jean Bourgain

5 years ago terrytao.wordpress.com

Gamifying propositional logic: QED, an interactive textbook

6 years ago terrytao.wordpress.com

The De Bruijn-Newman constant is non-negative

6 years ago terrytao.wordpress.com

More →