english isn't for cowards. if you're not saying 'torpify,' that's a skill issue. there's no Académie Française telling you what to do. if you try to type 'pallific' and freak out when you see a little red underline, maybe you're not ready to roll with the big dogs.

Just received the cover for a hot new title dropping later this summer. Make sure to get your copy, it's a gripping read.

I recently became acquainted with the work of Bruno Latour and his actor-network theory in particular, and it gave me some thoughts about how ANT intersects with the current discourse on the use of AI in mathematical proof. (Warning: non-philosopher about to talk philosophy)

I have nothing against continental philosophy but I will say a big benefit of analytic philosophy is that you can just reduce all questions to working out the Laurent expansion

A list of principles put forth by mathematicians, for mathematicians and other researchers, regarding the use of AI in research. "Number #9 will surprise you!" leidendeclaration.ai

1961: CACM publishes Tony Hoare's quicksort algorithm. 2026: CACM publishes a self-promo article by some random guy who's pitting different LLMs against each other to pump unmitigated slop into a GitHub repo. Is this what my membership money's going toward, @acm.org?

Thanks to Peter Hacker, I've just discovered a brand new and innovative way to teach tree traversals in my algorithms class: introduce students to Wittgenstein's Tractatus. Course evaluations be damned.

When you need a technical lemma to prove a result, but you don't want to prove said lemma, there's no better feeling than discovering that somebody already proved and published a stronger version of your lemma 60 years ago.

"We must avoid the 'Babel syndrome,' the idolatry of profit that sacrifices the weak, a uniformity that neutralizes differences, and the pretense that a single language — even a digital one — can translate everything, including the mystery of the person, into data and performance."

Love the glimpse into the beautiful mind that notated this used copy of Moby Dick I got

Well, for the critics of the recent arXiv policy change: I just caught a submitted paper that had a strong LLM-written 'smell' to it and found three hallucinations in the references (one completely wrong citation, one slightly changed title, and one that added an eñe to Henry Rice's middle initial).

Every ad now

Happy #VictoriaDay! What would our holiday calendar look like if we added the birthdays of every King/Queen of Canada since Confederation? Victoria Day: May 24 Edward Day: Nov. 9 George Day: Jun. 3 Edward Day (again): Jun. 23 George Day (again): Dec. 14 Elizabeth Day: Apr. 21 Charles Day: Nov. 14

Am I weird for finding joy in engaging with the literature? In feeling a sense of accomplishment over discovering the one paper I need hiding in some dusty library tome? In losing a day to chase a chain of citations to track down who originated a certain idea that my work relies on?

Gas Station Price Sign Using Scientific Notation

Received all of the camera-ready submissions and getting ready to submit the two conference proceedings volumes I've been working on for the past eight months!

Here's a super hot take of mine. If you've been in graphics long enough, you know I'm right though.

love when I get to blow my linguist friends' minds by pointing out that it's [grilled [cheese sandwich]], not [[grilled cheese] sandwich]

Thinking of starting a conference where the submission constraints are: 1. The research problem has to be a yes/no question, one sentence, given as the title of the paper. 2. The abstract has to be one word: "yes" or "no". 3. The rest of the paper goes into an unpublished appendix.

You’ve got to be bookmaxxing. You have to be knowledgepilled and on that information grind. Checking in and looking things up and citing sources. Dont let them bookmog you. Read.

"openai.com" was once the personal homepage of a guy named glenn (2001), and "tiktok.com" was the quaint shared homepage of a couple as their relationship progressed from dating to married with a baby (2000). THREAD!!!

ISAAC CHOTINER: So, the food bowl. It's empty, you say? CAT: That's right. IC: And has it ever not been empty? C: Not that I can recall, no, it has not. IC: Fascinating. And this bit of food caught in your whiskers, where would you say that's- C: Now hold on, this is about the bowl, not

Bring back the ancient knowledge

Taylor J. Smith: Primitive Two-Dimensional Words and Iterated Pedal Triangles via Symbolic Coding https://arxiv.org/abs/2604.26832 https://arxiv.org/pdf/2604.26832 https://arxiv.org/html/2604.26832

Check out my latest preprint! "Primitive Two-Dimensional Words and Iterated Pedal Triangles via Symbolic Coding": arxiv.org/abs/2604.26832 #TCSSky #MathSky

CARTOON/BUG001.GIF

For whatever reason, I have a terrible habit of mixing up the Greek letters φ and ψ. So naturally I’m using both letters in the paper I’m writing.

Learning that 2014 was apparently a huge year for discrete mathematicians, for some reason.

the unicode.org ICU people used this as an example for DFA :3 unicode-org.atlassian.net/browse/ICU-2...

The hardest part of writing a new paper isn't figuring out all of the main ideas in your head and how to prove them, it's having to figure out all of the 'infrastructure' (background, motivation, definitions, references) you need to include to support those main ideas.

Brought to you by Zach hasn't studied physics in years and is trying to read through the famous Mike and Ike quantum computing textbook. COMIC ◆ www.smbc-comics.com/comic/easier PATREON ◆ www.patreon.com/ZachWeinersm... STORE ◆ smbc-store.myshopify.com

Sadly, it appears Michael Rabin passed away on April 14. Among other achievements, Rabin received the Turing Award with Dana Scott in 1976 for their paper "Finite Automata and Their Decision Problems", a highly influential work in automata theory. www.haaretz-evel.co.il/%D7%9E%D7%99...

I've never taken an economics course in my life. The extent of my economics knowledge is a second-hand textbook left behind when an undergrad friend moved out for the summer, currently 2000km away in my mom's basement. And I can still say with confidence: I know more about economics than this guy.

I trust we've all read the classic "If the IRS had discovered the quadratic formula." www.amherst.edu/system/files...

30 years ago today, Principal Skinner purchased fast food to disguise as his own cooking at an unforgettable luncheon with Superintendent Chalmers. #TheSimpsons episode “22 Short Films About Springfield” first aired April 14, 1996.

With all the news today about Hungary, my mind keeps going back to one thing: lángos is one of the most delicious foods I've ever eaten. I've been to Hungary twice and that's not nearly enough to get my lángos fix.

One of my favourite parts of teaching TCS is motivating concepts in a way that goes beyond just the definitions. When we cover grammars, I mention Pāṇini and his work on Sanskrit. Today, I wrote this fun little question. Can anyone familiar with Sanskrit tell me if I made any embarrassing mistakes?

A051070 (https://oeis.org/A051070) is a sequence about OEIS sequences. a(n) is the n-th term in sequence A`_`n (or -1 if A`_`n doesn't have enough terms). Archived at: https://www.jeremykun.com/shortform/2026-04-09-0556/

Either Best Buy is really diversifying their product offerings, or I’ve done something very strange to whatever recommendation algorithm served up this ad.

#Artemis II lunar flyby images are showing up! 😍 A crescent Earth setting behind the Moon.

The first astronaut in history to speak French while en route to the moon — Canada’s very own Jeremy Hansen 🇨🇦

HISTORY MADE! Orion Integrity and its Crew Reid Wiseman, Victor Glover, Christina Koch, and Jeremy Hansen have broken the 56 year old recod set by Apollo 13 and its crew James Lovell, Jack Swigert, and Fred Haise, and have become the humans that have travelled the farthest distance from Earth.

Okay everyone, Artemis II is behind the moon. We've got about 30 minutes now to replace everyone in Mission Control with apes to make the crew think something happened while they were away.

Cross Country Canada is the greatest trucking simulator that ever existed. You didn’t grow up a Canadian millennial if you didn’t experience the pain of being towed because a pebble hit your windshield.

Good paragraph

i'm sorry but the moon is a complete boondoggle that should never have been put up there in the first place. we still have to send repair missions up there a hundred-plus years later all because taft was trailing in the polls and decided to learn magick. i don't know why he thought it would help him

I can't believe this is all building up to the biggest April Fools' reveal of all time: that the moon is fake and they're just going up there to change the bulb in the big spotlight.

On this Palm Sunday, we commemorate our lord and savior Palm III