Contrapositives are for cowards. Behold.
=> More informations about this toot | View the thread
Contrapositives are for cowards. Instead of saying, "if you do your share of the dishes, we'll have a clean kitchen", they skulk around leaving sticky notes like "if the kitchen's messy, someone didn't do their share." Logically equivalent, but completely lacking in courage.
=> More informations about this toot | View the thread
"I decided to roll out my own LLM benchmark: how well can different models render an SVG of a pelican riding a bicycle?"
https://simonwillison.net/2024/Oct/25/pelicans-on-a-bicycle/
=> More informations about this toot | View the thread
unfortunately the price was determined using new math so I didn’t buy it
=> More informations about this toot | View the thread
why the romans never invented algebra
=> More informations about this toot | View the thread
what % of the population can enter their birthdate in this format?
=> More informations about this toot | View the thread
this is not how temperatures work
=> More informations about this toot | View the thread
My 6-yo daughter has got into running, which is great, but she thinks miles are a unit of revolutions. Like, 4 laps around ANYTHING is a mile to her. "Daddy can I just run a short mile?" This is almost as bad as George Lucas and his "parsecs".
=> More informations about this toot | View the thread
uhh all of the above
=> More informations about this toot | View the thread
I think this might be the worst proof I've ever read.
=> More informations about this toot | View the thread
I wrote about Jackson and Richmond's supposed "proof" of the Four Color Theorem for Cantor's Paradise on Medium, giving a bit of the social media history of the "proof" and pointing out the fatal flaw.
https://www.cantorsparadise.com/on-the-supposed-nonconstructive-proof-of-the-four-color-theorem-5049e3eee366
=> More informations about this toot | View the thread
The correct answer was eventually reached.
=> More informations about this toot | View the thread
mistral's digit tokenization makes me question reality
=> More informations about this toot | View the thread
ChatGPT-4o does surprisingly poorly on MNIST.
=> More informations about this toot | View the thread
the elites don't want you to know this but
=> More informations about this toot | View the thread
91th anniversary chalk service, maybe^^, until December 2023, or something, I have no idea.
=> More informations about this toot | View the thread
In the abstract of all places!!
=> More informations about this toot | View the thread
I wonder if this is one of my students.
=> More informations about this toot | View the thread
We should do this in math. Who wants to start "Theorem Names for Theorems" with me?
Context: The group "Bird Names for Birds" has convinced the American Ornithological Society to change the names of all bird species currently named after people.
https://www.npr.org/2023/11/01/1209660753/these-american-birds-and-dozens-more-will-be-renamed-to-remove-human-monikers
=> More informations about this toot | View the thread
=> This profile with reblog | Go to VinceVatter@mathstodon.xyz account This content has been proxied by September (ba2dc).Proxy Information
text/gemini