Paul Rowe

Do you ever think how cool it is that the discovery of the hat and ghost family of aperiodic monotiles was discovered before the boom in AI math results? 🧮 #MathSky

This does seem like an important step in the right direction. I think it creates many new issues around managing the proofs (especially given the scope and scale). But that is a good thing to worry about. What would a Mathlib analog really look like here, and how could we leverage it effectively?

From season one of The West Wing in 1999, the president says to his college-aged daughter, “But you’re coming of age in the 21st century, a century in which, I promise you, mathematics will play a starring role.” #MathSky 🧮

See, it’s extra funny because if you read the digits of the hand in binary, it represents one of e-mudra’s private keys.

Newark, New Jersey should be Newamerica, New America

You can't "solve math" because it's not a list of problems to be solved. It's a web of ideas to wonder about.

By this logic, other things that should be called New America include: New York, New Jersey, New England, New Orleans, New Haven. Heck, why not even Newport News!

If I had $25 million to burn on solving math problems, I would choose to support 130 grad students for 6 years each. And I'd still have enough left over for a ton of CPUs for my own experiments in computation.

"There's no teapot floating in the asteroid belt." That's a strong claim which implies a lot of things about teapots and orbital mechanics. It requires strong evidence.

My most charitable interpretation of what this could be* is to guess that they want to continue to train models on user inputs and don’t want to add abusive content to their training. But also don’t want to put actual guards in place to check for content. *not necessarily of what I think k this is

I think one reason it’s good to have a liberal arts education in the classic sense is that you don’t then spend time trying to invent the concept of “intellectual pursuits” from first principles

It's always important to read what the graph axes say

For anybody interested in philosophy and its history, this is podcast is for you. If podcasts aren’t your thing, he has been publishing book versions of the series. They are wonderful overviews and intros to philosophical texts. And the no gaps approach is real but not unreasonable.

👀 Florida attorney general to OpenAI: (www.myfloridalegal.com/sites/defaul...)

Having Monday trash pickup is incredible privilege because you have all of Sunday to decide when to put trash out. It’s a privilege I waste almost every week 😔

At 45k followers I will do the same. (Probably* just repost @lastpositivist.bsky.social ‘s post). * This is not probable. I will never reach this many followers.

I saw this and thought “You mean third quarter.” Checked bio and … “Ohhh of course”

Trouble is, everyone wants to build the Terminator, and no one wants to build WALL-E.

The class that meets right before mine in my classroom is Intro to AI. It’s followed by The American Revolution. I love the weirdness of that.

I often feel conflicted by art from the 1920s. This is no exception. I like the forward facing eye projected from the (sideways) figure. The angles evoke Cezanne (good), but overall effect is somehow … I don’t know. If this speaks to you, I’d love to hear why and learn.

“Cooking pasta is easy. I promise.”

I’m disappointed. Not surprised, but disappointed. It was even my first guess and would be a pangram. 😢

this is perhaps the most useful thing that LLMs and GenAI have done: to provoke people into articulating (over again) that even the 'hardest' of 'hard sciences' are human endeavours, with human meaning, and concerned with human understanding of the significance of the world we all inhabit

It may be able to solve millennium problems, but can it *pose* them???

Home Library h-index: The largest value n such that there are n authors for whom you own (alternatively, have read) n of their books. I believe mine are Own: 7 Read: 5 I’m curious how this compares with others. #BookSky #MathSky

“You’d got a letter, and you’d got a letter, and you’d got a letter, and you’d got a letter.” “Get on with it!!”

With the start of the semester just a week away, here’s what I decided to say to my upper division math course about how AI will or won’t change what they’re learning… francissu.substack.com/p/the-enduri...

I didn’t know De Niro’s father was Ludwig Wittgenstein!!

Game of Life on Penrose tiles

No cheating post your lock screen.

You know those viral fb posts that reduce to order of operations quibbling? Please deploy this associahedron-based interactive viewer in order to subvert those threads with interesting mathematics: kyleormsby.github.io/parse-explor... 🧮

I was up at the buttcrack of dawn this morning when it was still dark out. It had been pouring all night. Took this picture with my phone. It isn’t even a shot of something. It just captured… I don’t know… the vibe? Regardless, I like it.

About to rewatch the Odyssey episode of Ted Lasso. I’m curious if it will hit different after the Nolan version

No professional accomplishment has ever made me happier than this. theonion.com/translator-o...

As a non-philosopher I find the current #PhilSky discourse on flirting fascinating. More than most topics, it has seemed to open lines of disagreement that expose how philosophers actually think and engage with ideas, both on their own and in conversation with others.

This movie poster is absolutely inspired! It immediately sheds surprising philosophical insights on (our memory of) the cartoon, and sets expectations about how the film will treat the subject.

In case you were wondering WHY someone would mail their scabs, the earliest inoculation available for smallpox involved grinding up the scabs and inoculating someone with a scratch on the skin. This method reduced the fatality rate from 30% to about 1%. 🧪 en.wikipedia.org/wiki/Variola...