Matt Teichman (@ElucidationsPod) header
Matt Teichman (@ElucidationsPod) profile picture

Matt Teichman

@ElucidationsPod

Host of the Elucidations Podcast. Programmer @ UChicago DLDC. Adjunct Associate Professor of CS @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

 Chicago, IL
elucidations.vercel.app/
Joined October 2013
  • Tweets7.2K
  • Following2.7K
  • Followers1.7K
81Media
Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)Photo by Matt Teichman (@ElucidationsPod)
X vs. Y
52%let ... in
48%where
21 votes • 23 hours
1
1
184
Matt Teichman retweeted
undefined behavior (@undebeha) profile picture
undefined behavior
@undebehaOct 30
is your window manager too rectilinear? do you wish it had more curves? are you tired of the same old euclidean metric, day in and day out? do i have the tool for you! introducing, Horosphere WM: the first wayland compositor to use hyperbolic geometry to organize your workspace
71
255
36
4,271
87,345
red alert red alert Branden Fitelson has a substack fitelson.substack.com/?r=35b…
109
Just learned that there is a program they call constructive reverse mathematics. This is very cool; something I have been wanting people to do but I didn't know they were already doing it.
5
405
Matt Teichman retweeted
Dmitrii Kovanikov (@ChShersh) profile picture
Dmitrii Kovanikov
@ChShershOct 25
This single shell command will save you millions of tokens on renaming variables. Bookmark this.
Image from Dmitrii Kovanikov (@ChShersh)
31
13
1
567
34,429
Great piece by @angadhn on teaching with LLMs: angadh.com/ai-and-education-…
Universities have an interface problem

Universities have an interface problem

My academic career began pre-COVID with a lecture on engineering dynamics to ~300 first-year undergraduates. Two weeks later, the number fell to ~40 students...

angadh.com
1
3
160
Absolute banger of an interview with Steven Nadler about Malebranche on the @HistPhilosophy podcast. historyofphilosophy.net/podc…
1
1
5
504
Great piece on string diagrams, the category of enfofunctors, and even linear logic!
David Young (@roboguy20) profile pictureDavid Young
@roboguy20Oct 17
New blog post introducing string diagrams: this is a visual language that we can use to talk about many different kinds of type systems. Then I use them to show how a monad really *is* a monoid in a category of endofunctors. roboguy13.github.io/blog/str…
Image from David Young (@roboguy20)
8
388
Matt Teichman retweeted
Alice Evans (@_alice_evans) profile picture
Alice Evans
@_alice_evansOct 8
WAS PATRIARCHY INEVITABLE? Could the modern world have emerged without male supremacy? My new essay ggd.world/p/was-patriarchy-i…
Image from Alice Evans (@_alice_evans)
11
24
2
179
10,032
Matt Teichman retweeted
Luke Burgis (@lukeburgis) profile picture
Luke Burgis
@lukeburgisOct 8
Okay okay, chill out.
Image from Luke Burgis (@lukeburgis)
1
1
1
9
2,800
My new interview with Marshall Abrams on the evolutionary process is out! Link in comments.
1
113
elucidations.vercel.app/post…
48
Dodongo dislikes smoke.
123
Matt Teichman retweeted
Gena Gorlin (@Gena_I_Gorlin) profile picture
Gena Gorlin
@Gena_I_GorlinSep 29
>be me >field series of 6yo’s questions about the word “fellow” >get hug-attacked by 3yo >reflexively start singing “for he’s a jolly good fellow” >play it on Siri upon 6yo’s request >discover it has whole 2nd verse (?!?) This is my whole experience of parenting in microcosm
1
30
999
Matt Teichman retweeted
Jules (@analytichegel) profile picture
Jules@analytichegelSep 28
What is this, a crossover episode?
Image from Jules (@analytichegel)
3
7
3
71
5,393
Matt Teichman retweeted
Joy Buchanan (@aboutJoy) profile picture
Joy Buchanan
@aboutJoy3 Oct 2025
Econ teachers check out this new game by @MarketPowerYT at mapgdp.com/ I'm going to try it out on the projector for my next class. Students can guess GDP per capita based on pictures pulled from Google maps.
1
2
1
8
993
Matt Teichman retweeted
Rudolf Carnap (@CarnapSpeaks) profile picture
Rudolf Carnap
@CarnapSpeaksSep 20
New book is out! PDFs of this one and my past books available here: ericschmid-uchicago.github.i…
Image from Rudolf Carnap (@CarnapSpeaks)
2
13
276
I wrote a blog post about static linking in OCaml. Link in comments.
4
2
13
607
elucidations.vercel.app/post…
1
1
5
146
Many thanks to @Skyb0rg for writing the GitHub issue that led me down this rabbit hole.
3
99
Load more