i was wondering what error message rust would produce for polymorphic recursion (that it couldn't compile because of unboxed types) and... it doesn't lol play.rust-lang.org?version=stab...

sliding my conceal carry tote out of between my ass cheeks

Math is: 1. start with a beautiful, clean problem that's impossible to solve. 2. Find a special case that looks absolutely disgusting but that has magical cancellation properties that make it tractable. 3. Make the disgusting case even uglier in an attempt to generalize.

My employer lets me eat all the bark I can carry

There's really only 3 songs; 1. I love someone and it's great 2. I love someone and it sucks 3. Party in the USA

I think this must give me at least 15 Liberal Points, but I hated Disney when it was just a soulless mega corporation hell bent on protecting its intellectual property built on the backs of underpaid artists.

We live under fascism but my Internet is pretty darn fast.

thinking of writing a book brb

Hydrodanamics. Geodynamics. Thermodynamics. Aerodynamics. Long ago, the four disciplines lived together in harmony.

The only reason physicists keep those pesky constants around is for type checking.

New CoL! I actually explain the proof of the tree theorem in painstaking detail. It can't be formalized in PA (and more)! I love it because it forces me to understand. Will you love it? Let's find out. open.spotify.com/episode/05Xo... rss: t.co/7jcP39omIc

I wrote my own Charlie Kirk obituary, and about valuing truth over manners: www.thenation.com/article/poli...

one day they're an adorable little puppy and then before you know it they have a favorite weezer album

I should try macrodosing

You should text

That, is probably a pretty rough theorem.

Little Battery Horse Hospital, we call her.

I like to remind people that playing the numbers 1 2 3 4 5 6 is the second most optimal play. After, of course, not playing.

I'm actually kind of proud of this one: open.spotify.com/episode/6LNn...

Might fuck around and create the musical genre Oopsie Core, where someone just stands on stage and drops random items accidentally.

Wait, Scarborough Fair isn't like, a state fair?

Seems unfair that missing a note by 1 sound so much worse than missing it by 3

Ok but I mean... Why is it important what the nationality of the house is?

Physics tells us that it's much easier to pass through a solid brick wall if you're going very veeeeeery slowly

Here's something crazy someone mentioned on the zulip: we can prove that almost *all* finite magmas can be described (up to iso) by a single (crazy) axiom! The weirdness of the proof makes me doubt this holds for groups, but still I'd like to see an example of *a* group like this.

@joeldavidhamkins.bsky.social I saw you mention somewhere that one could build models of PA where exponentiation was not total. Did I misread, or is this possible?

Bitch that's vacation

This is weird: a mild strengthening of the (very plausible!) conjecture that matrix multiplication is n^(2 + o(n)) is incompatible with the sunflower conjecture! mathoverflow.net/a/499173/36103

Halt the presses! I say, as they get my panini order wrong

I often wonder what I'd try to do to try to make the world better if I were a multi billionaire. Right now I think I'd just try to fuck ticketmaster. Few nobler causes.

I think our whole math education should be structured around counter-examples at its core. None of this "definition, lemma, theorem" nonsense. Well. Less of it at least.

Thanks for that AI summary, Google. 😒

Cool question, cool answer: mathoverflow.net/q/421242/36103

Maybe I shoulda asked on mathoverflow, but what the heck. cstheory.stackexchange.com/q/55674/3984

I've seen haskell code that makes C the cleanest PL on earth

I just need constant access to all of the world's mathematicians to be able to give me back of the envelope proofs of every theorem I care about. Is that so much to ask?

Does anyone know where I can find this for less than 60 stupid dollars? www.sciencedirect.com/science/arti...

Guy on the metro opens up his sports bag and tenderly massages his sausage. I guess it could be worse.

Ça aide qu'il y ait a bouffer quand même

I wonder if one could just make an OO language where all the object fields are (mutable) pointers to immutable objects. I think it'd still be a mess.

I sometimes fantasize about a world where Tolkien never wrote LoTR, and it was someone like, say Stephen King and it was weird and rapey and full of drug addicts and guns and increasingly thinly veiled author inserts, and maybe, I dunno. A fucked up bear or a spooky train or something. But alas

Sometimes I wonder if my mathematical ontology is just "the sets that exist are the ones without confusing definitions"

No one can understand a Pi_4 sentence. That's just a fact.

I might be the only person in the world that feels a deep sadness on Friday evenings

Right about now, the

Weird how manifesting is so much easier when you're rich

Weird that "keep your head up" and "keep your head down" are not opposites

Man love is great. Someone should write a song about it

Blue collar, white collar, I'm naked from the waist down. Uh, up I mean.