Tien "Waffle Party at the Waffle House" Chih
@tienchihmath.bsky.social
1K followers 630 following 1.8K posts
Assistant Professor of Mathematics at Oxford College of Emory University. Father & Husband. Wannabe Cook. I like to teach/do/spread math as I can. (He/His)
Posts Media Videos Starter Packs
Pinned
tienchihmath.bsky.social
Hi followers! I'm Tien Chih and I'm an Assist. Prof of Math at Oxford College of Emory. My research is about the intersections of homotopy theory and combinatorics. Just as importantly, things I'm into are undergrad research, IBL, alt grading, and supporting math teaching with tech.
Reposted by Tien "Waffle Party at the Waffle House" Chih
mathskath.bsky.social
I’m curating an exhibition of Mathematical Art at the Australian Mathematical Society meeting in December. If you’re coming to the meeting and you create art with mathematics, please think about being involved. More information to appear at the conference website.
tienchihmath.bsky.social
There’s a Clipse feature, you can find it online already, it’s as good as one would think.

But I’ll tell you if the albums good in the morning.
tienchihmath.bsky.social
Vet: "So 74 lb is overweight, does she get a lot of treats?"

Me: *remembering unending cavalcade of cheese, chips, rice, sausage, ham, peanut butter and that one praline.*
tienchihmath.bsky.social
#HoagieHomies
annastrolenberg.volteuropa.org
Today the EU parliament voted to ban the word burger if they are made with plant protein, instead of animal protein. 🤦🏻‍♀️
 
They claim it’s to stop consumers being ‘confused between meat and plant products’ - solving a problem that nobody had!
 
This new rule leaves a bad taste in the mouth…
Reposted by Tien "Waffle Party at the Waffle House" Chih
month-of-august.bsky.social
Hey #mathsky, would it be too nerdy if @bookshop.org branded their Anti-Prime free shipping deal "Composite"? Asking for a friend.
tienchihmath.bsky.social
I grew up in Hawaii so like any Hawaiian word.
merriam-webster.com
What’s the word where you’re from that, when pronounced exactly as it looks, identifies a tourist immediately?
Reposted by Tien "Waffle Party at the Waffle House" Chih
matthematics.com
*waves hands generally at a rich professional network of scholars that I might not otherwise have met*
conradhackett.bsky.social
Has anything great happened in your life because of social media?
Reposted by Tien "Waffle Party at the Waffle House" Chih
1t2ls.bsky.social
the irony is that what the right offers is a kind of kabuki masculinity that signals gender anxiety and immaturity more than anything.
Reposted by Tien "Waffle Party at the Waffle House" Chih
nicholasgrossman.bsky.social
We’re not dealing with brilliant strategists cleverly laying traps, we’re dealing with impulsive whiners whose advantage is contempt for laws, norms, and morality.

They’re not pulling some elaborate trick, they’re just willing—even eager—to do things regular, principled people consider off limits.
Reposted by Tien "Waffle Party at the Waffle House" Chih
Reposted by Tien "Waffle Party at the Waffle House" Chih
Reposted by Tien "Waffle Party at the Waffle House" Chih
xl772.bsky.social
If you missed the talk today you can still check Lurch out at lurch.plus

I was super impressed by the demo we saw, I strongly invite people who teach proofs to undergrads to check it out!!
Reposted by Tien "Waffle Party at the Waffle House" Chih
chadtopaz.bsky.social
The book—out this spring, and hence based solely on preorder—is <drum roll> #1 in public policy on Amazon WHAT IS HAPPENING. I am glad people are excited about the message and hope you will be too. Preorder link in comments.
Unlocking justice shown as #1 in public policy on Amazon
Reposted by Tien "Waffle Party at the Waffle House" Chih
xl772.bsky.social
Ever wanted to have your undergrads write computer-verified proofs but without having to learn all of Lean? Come check out Lurch!

October 6, 3pm Eastern

#MathSky
code4math.org
Join us tomorrow 3pm Eastern on Zoom for our October 2025 Concerning.

preview.scholarlattice.org/events/77211...

Ken Monks will be sharing about the Lurch Plus project: write natural language proofs that are verified by computer?! lurch.plus
Lurch Plus!
This is the home page for lurch.plus, the home of the Lurch proof assistant, plus additional content.
lurch.plus
tienchihmath.bsky.social
That game needs a mobile version which downloads itself onto my ipad before this flight.
tienchihmath.bsky.social
What else to do when in the airport 4.5 hours before boarding?
A photo of a laptop with pretext in GitHub codespaces loaded.
tienchihmath.bsky.social
This is what video games or binge watching is for.
Reposted by Tien "Waffle Party at the Waffle House" Chih
mathematize4all.bsky.social
♾️ Hey Math Ed friends, who is coming to Atlanta this week for NCSM and NCTM? I am, and as always I am particularly excited for Games Night! Wednesday October 15 Doors Open at 8:00 pm Omni International Ballroom. I will be bringing a game that is new to me, that I have loved playing with teachers 1/
NCTM Game Night Wednesday October 15 Doors Open at 8:00 pm Omni International Ballroom E Cash Bar Bring a Friend Bring a Game or Just Bring Yourself! Sponsored by Benjamin Banneker Association and Todos
tienchihmath.bsky.social
I think @category-fury.bsky.social? used to post a video with a movie clip, alarms blaring, and a news chyron telling the audience exactly what emotions to feel. I think about it a lot.

(Haven’t seen Barbie.)
Reposted by Tien "Waffle Party at the Waffle House" Chih