siteMap | PostDoc Problems

Archive

Collapse all | Expand all

Maths & Science

[–] Lean

Apr 26

#lean #AI #LLM

Rubik's Cube in Lean

Nov 06

#lean

Terrence Tao - Lean

Nov 01

#lean #mathblog

Nov 01

#lean #vscode extension #visualization #teaching

llmstep and LeanInfer

Sep 09

#lean #ML #tactics

Sep 04

#lean #ML #webapp

Short tactics tutorial

Aug 31

#lean #tactics #tutorial #to-read

Aug 31

#lean #search #webapp

Talk at NU on Lean

Nov 11

[–] Popular Science

Mir Publications

Sep 10

#textbooks #russian

Pythagoras using Hilbert 90

Jun 08

#abstract algebra

Phistomephel Ring in Sudoku

Jan 08

#sudoku

Closed Convex Cones in LP

Jan 02

#analysis #linear programming #convex analysis

Combinatorial Nullstellensatz

Nov 26

#combinatorics #problems #todo

Logarithms and primes

Oct 26

#todo #infinite series #number theory #riemann zeta

How They Fool Ya (live) | Math parody of Hallelujah

Oct 18

#funny

The Tau Manifesto

Sep 24

#funny #database

The L-functions and modular forms database (LMFDB)

Sep 24

#database #number theory

Automated Mathematics and the Reconfiguration of Proof and Labor

Sep 24

#to-read #philosophy #essay

When Math Becomes an Art

Sep 16

#poem

Every Prime $\equiv 1 \mod 4$ Is a Sum of Two Squares

Sep 10

#todo #number theory #elementary number theory

Etymology of *Integer*

Aug 29

#history of math

History-of-Math Resources

Aug 21

#resources #history of math

A Brief History of Time

Mar 14

#Hawking

Spoken Language

Jan 22

#insightful

[–] Teaching

Project NExT Workshop

Aug 02

#project-next #pedagogy

Dec 07

#service-courses

Giving a Math Talk

May 20

#advice

Symmetries & Polynomials

Jan 17

#advice

Random

[–] Stray Thoughts

Jun 09

#memories #india #nostalgia

Happily Ever After

Dec 12

#podcast #happiness-lab

Nov 05

#challenging #artsy #beautiful #video-game

William James - Very Bad Wizards

Nov 04

#habits #podcast

Oct 30

#habits

Smartless - Willem Dafoe

Sep 07

#podcast

Board Games in Baltimore

Sep 04

#boardgames

Aug 30

#journal

Aug 23

#journal

Starting Your Day Right

Aug 23

#stoicism #habits

Television Addiction

Oct 29

#white-noise #anti-meditation

Jan 20

#life

Aug 04

#TedTalks

Reminiscing Windows

May 08

#coding

Aug 27

Mar 04

#memories

Jan 31

#music

Jan 26

#life

Jan 12

#memories

Jólabókaflóð

Dec 14

#TED #books

Dec 12

#chess #youtube

Nov 11

#coding #hugo

[–] Philosophy

Minimal Setting

Dec 12

#consciousness #letting-go

Setting Intention

Dec 07

#meditation #mindfulness

Dec 07

#mindfulness #meditation

Nov 27

#podcast #oliver burkeman #waking up

Beginner's Mind

Nov 24

#buddhism #zen

You Fall to Your Systems

Nov 24

#habits

Love the Process

Nov 01

#mindfulness #philosophy

What is an Idea?

Sep 02

#philosophy

Philosophy & Me

Jul 12

#philosophy

Feb 01

#psych #life

[–] Meditation

Nov 26

#mindfulness

Brain as a Neural Net

Nov 22

#meditation #mindfulness #consciousness

Jul 03

#meditation

My Issues With Meditation

Jul 02

#meditation

Jun 20

#meditation #Robert Wright #thinking

Jun 10

#meditation app #Sam Harris

Repetitive thoughts

May 27

#Sam Harris #thinking

Where do thoughts come from?

May 26

#Sam Harris #free will

Unstructured Thoughts

Feb 17

Observing Your Thoughts

Jun 26

#introspection

Everyday Meditation

May 21

[–] Professional Assholes

Feb 24

#shipping-delays

May 03

#secret-charges

May 03

#ineptitude

Notes

[–] Movies

Feb 09

#movie #surreal #anime #existential #philosophy

Godzilla Minus One

Jan 08

#movie #japanese

Jan 08

#movie #surreal #fantasy

Anatomy of a Fall

Nov 25

#foreign #thriller #courtroom #beautiful #movie

Oct 18

#movies

Nov 26

#movie #detective #comedy #whodunit

Decision to leave

Nov 12

#movie #korean #thriller #tragedy #noir

The French Dispatch

Dec 02

#comedy #Wes-Anderson

Sep 22

#sci-fi

Spider-Man: Into The Spider-Verse

Aug 24

#ground-breaking #action #animation

Oct 01

#thiller

Night Is Short, Walk on Girl

Sep 26

#anime #comedy

Mar 31

#comedy #Wes-Anderson

Jan 14

#comedy

Jan 11

#dreamlike

Dec 22

#mind-blowing #sports

Dec 21

#comedy

[–] Series

Jan 02

#youtube

Blue Eye Samurai

Dec 26

#series #anime #japanese #netflix

Dec 12

#series #podcast #dystopia #sci-fi #very-bad-wizards

Jul 04

#drama #wholesome #japanese

Stranger (Korean)

May 27

#whodunit #korean #drama

Apr 17

#drama #crime #UK

The Umbrella Academy

Sep 23

#drama #sci-fi #comics

Aug 17

#drama #sci-fi #time-travel

Aug 17

#drama #short #japan

Revisionist History

Dec 16

#podcast #Malcolm-Gladwell #non-fiction

Feb 18

#sci-fi #short

[–] Books

The Peripheral (Jackpot Trilogy)

Dec 10

#sci-fi #dystopia #William-Gibson

The Gene: An Intimate History

Oct 26

#biology #genetics #non-fiction #science #siddhartha-mukherjee

Stories of Your Life and Others

Jun 12

#Ted Chiang #sci-fiction #fantasy #short stories

Mar 29

#magical-realism #Murakami #fiction

Dec 22

#douglas-adams #science-fiction #comedy

Sep 24

#Camus #fiction #absurd #philosophy

Crime and Punishment

Aug 20

#Dostoevsky #fiction #philosophy #russian

Myth of Sisyphus

Jun 06

#philosophy #Camus

Left Hand of Darkness

Oct 05

#Ursula-Le-Guin #science-fiction

What I Talk About When I Talk About Running

Sep 01

#Murakami #non-fiction

May 24

#fiction #Alan Moore

Rereading Sherlock Holmes

Apr 29

#Conan Doyle #fiction #self

Three Body Problem

Dec 02

#C.Liu #sci-fi

Sep 19

#William-Gibson #sci-fi #cyberpunk

Rendezvous with Rama

Aug 12

#Clarke #sci-fi

Breakfast for Champions

May 19

#Vonnegut #fiction

The Gods Themselves

May 16

#Asimov #sci-fi

Apr 22

#Lamott #non-fiction #writing

The Checklist Manifesto

Mar 16

#Gawande #non-fiction #doctors

The Remains of the Day

Feb 16

#Ishiguro #fiction

Feb 09

#Mandel #fiction

Never Let Me Go

Jan 29

#Ishiguro #fiction

Getting Things Done

Jan 19

#notes #non-fiction

Jan 12

#music #Murakami #fiction

An Area of Darkness

Dec 30

#India #Naipaul #non-fiction

Thinking, Fast & Slow

Dec 26

#psych #non-fiction

Travel

[–] Rockies

Aug 23

#backpacking #hiking

RMNP Campgrounds

Aug 23

#camping

Aug 22

#hiking #backpacking

[–] Big Bend

Mar 30

#hiking #camping

Chisos Mountains

Mar 30

#hiking #backpacking #camping

Last Night in the Desert

Mar 23

#camping

[–] Everglades etc.

Jan 04

#paddling

Jan 02

#biking

Jan 01

#canoeing #hiking

Dec 31

#prep

Journal

[–] Northwestern

Dec 09

[–] Lockdown Diaries

Sep 01

Aug 29

#self-care #introspection

RIP conferences

Jul 29

Jun 07

#philosophy

The Cataclysm Sentence

Apr 18

#radiolab

Apr 14

#advice

Lockdown Diaries

Apr 07

[–] Improv Journal

On the stage of Improv

Feb 19

#life

Dec 08

Nov 12

Character as Game

Nov 01

Oct 07

Laban Technique

Sep 30

Commedia dell'arte

Sep 25

Sep 25

[–] Mathcamp

Hails on a Plane

Aug 08

#advice

Aug 01

#farewell

Mar 10

#memories #funny

[–] Life@jhu

May 17

#life

Apr 14

#biking

Jan 20

#doctors #India

Dec 10

#NY

Dec 09

#yoga

Dec 06

#coffee

Christmas Parade

Dec 03

#coffee

Name	Date
Math Arena AI	25/04/26
Rubik's Cube in Lean	24/11/06
Mir Publications	24/09/10
Candles	24/06/09
Pythagoras using Hilbert 90	24/06/08
Mind Game	24/02/09
Phistomephel Ring in Sudoku	24/01/08
Godzilla Minus One	24/01/08
Poor Things	24/01/08
Tom Scott	24/01/02
Closed Convex Cones in LP	24/01/02
Blue Eye Samurai	23/12/26
Minimal Setting	23/12/12
Happily Ever After	23/12/12
Severance	23/12/12
Setting Intention	23/12/07
Being Present	23/12/07
Saying No	23/11/27
Combinatorial Nullstellensatz	23/11/26
Anatomy of a Fall	23/11/25
Beginner's Mind	23/11/24
Hollow Knight	23/11/05
William James - Very Bad Wizards	23/11/04
Love the Process	23/11/01
Terrence Tao - Lean	23/11/01
PaperProof	23/11/01
Casey Neistat	23/10/30
Logarithms and primes	23/10/26
How They Fool Ya (live) \| Math parody of Hallelujah	23/10/18
Past Lives	23/10/18
The Tau Manifesto	23/09/24
The L-functions and modular forms database (LMFDB)	23/09/24
Automated Mathematics and the Reconfiguration of Proof and Labor	23/09/24
When Math Becomes an Art	23/09/16
Every Prime $\equiv 1 \mod 4$ Is a Sum of Two Squares	23/09/10
llmstep and LeanInfer	23/09/09
Smartless - Willem Dafoe	23/09/07
LeanDojo	23/09/04
Board Games in Baltimore	23/09/04
Harper's Ferry	23/09/02
Short tactics tutorial	23/08/31
Loogle!	23/08/31
Group Exercise	23/08/30
Etymology of Integer	23/08/29
Chandrayaan-3	23/08/23
Starting Your Day Right	23/08/23
History-of-Math Resources	23/08/21
The Peripheral (Jackpot Trilogy)	22/12/10
PC Building	22/12/09
Glass onion	22/11/26
Decision to leave	22/11/12
Talk at NU on Lean	22/11/11
The French Dispatch	21/12/02
Acceptance	21/11/26
Brain as a Neural Net	21/11/22
Television Addiction	21/10/29
The Gene: An Intimate History	21/10/26
What is an Idea?	21/09/02
Philosophy & Me	21/07/12
Midnight Diner	21/07/04
Why I Meditate	21/07/03
My Issues With Meditation	21/07/02
Feelings	21/06/20
Stories of Your Life and Others	21/06/12
Waking Up App	21/06/10
Stranger (Korean)	21/05/27
Repetitive thoughts	21/05/27
Where do thoughts come from?	21/05/26
Peaky Blinders	21/04/17
1Q84	21/03/29
Unstructured Thoughts	21/02/17
DON'T PANIC.	20/12/22
The Fall	20/09/24
The Umbrella Academy	20/09/23
At the Dentist	20/09/01
Sleep	20/08/29
Crime and Punishment	20/08/20
Haji/Giri	20/08/17
Dark	20/08/17
Project NExT Workshop	20/08/02
RIP conferences	20/07/29
Observing Your Thoughts	20/06/26
Not Knowing	20/06/07
Myth of Sisyphus	20/06/06
Everyday Meditation	20/05/21
The Cataclysm Sentence	20/04/18
No New News	20/04/14
Lockdown Diaries	20/04/07
On History	20/01/20
Revisionist History	19/12/16
Calc1000	19/12/07
Left Hand of Darkness	19/10/05
Ad Astra	19/09/22
What I Talk About When I Talk About Running	19/09/01
Spider-Man: Into The Spider-Verse	19/08/24
Adaptability	19/08/04
Graphic Novels	19/05/24
Giving a Math Talk	19/05/20
Reminiscing Windows	19/05/08
Rereading Sherlock Holmes	19/04/29
Apple	19/02/24
On the stage of Improv	19/02/19
Russian Doll	19/02/18
Short Form	18/12/08
Three Body Problem	18/12/02
Scene Work 1	18/11/12
Character as Game	18/11/01
VAPAPO	18/10/07
The Handmaiden	18/10/01
Laban Technique	18/09/30
Night Is Short, Walk on Girl	18/09/26
Viola Spolin	18/09/25
Commedia dell'arte	18/09/25
Neuromancer	18/09/19
Ron Swanson	18/08/27
RMNP Campgrounds	18/08/23
Arch Rock	18/08/23
Boulder Brook	18/08/22
Rendezvous with Rama	18/08/12
Hails on a Plane	18/08/08
Goodbye 2018	18/08/01
Breakfast for Champions	18/05/19
Serendipity	18/05/17
The Gods Themselves	18/05/16
Canadian Visa	18/05/03
Active.com	18/05/03
Bird by Bird	18/04/22
Bike Party	18/04/14
Isle of Dogs	18/03/31
Rio Grande	18/03/30
Chisos Mountains	18/03/30
Last Night in the Desert	18/03/23
The Checklist Manifesto	18/03/16
A Brief History of Time	18/03/14
Parking Lots	18/03/10
Joy of Running	18/03/04
The Remains of the Day	18/02/16
Station Eleven	18/02/09
Know Thyself	18/02/01
Blank Spaces	18/01/31
Never Let Me Go	18/01/29
Why I Dance	18/01/26
Spoken Language	18/01/22
Eye Test	18/01/20
Getting Things Done	18/01/19
Symmetries & Polynomials	18/01/17
Paddington 2	18/01/14
Being Alone	18/01/12
Norwegian Wood	18/01/12
Shape of Water	18/01/11
Biscayne	18/01/04
Shark Valley	18/01/02
At the Glades	18/01/01
Before Glades	17/12/31
An Area of Darkness	17/12/30
Thinking, Fast & Slow	17/12/26
Icarus	17/12/22
Jumanji	17/12/21
Jólabókaflóð	17/12/14
Zugzwang	17/12/12
Boltbus	17/12/10
First Snow	17/12/09
Hubble	17/12/06
Christmas Parade	17/12/03
My First Post	17/11/11