Claude and I
math.andrej.com·5w
Space-filling curves, constructively
math.andrej.com·120w
On indefinite truth values
math.andrej.com·144w
Variations on Weihrauch degrees (CiE 2023)
math.andrej.com·147w
Continuity principles and the KLST theorem
math.andrej.com·148w
Isomorphism invariance and isomorphism reflection in type theory (TYPES 2023)
math.andrej.com·153w
Formalizing invisible mathematics
math.andrej.com·170w
Exploring strange new worlds of mathematics
math.andrej.com·171w
Happy birthday, Dana!
math.andrej.com·188w
One syntax to rule them all
math.andrej.com·209w
Two new doctors!
math.andrej.com·227w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help