Eigil Rischel - abstr/acc 💎 @ayegill@schelling.pt

Pretty crazy that this was once a serious design constraint for programming languages (makes sense, though)

Absolutely everyone I talk to loves How To Solve It (including myself), but nobody ever talks about Mathematics and Plausible Inference, which is kinda like the sequel? Why not?

https://en.wikipedia.org/wiki/Mathematics_and_Plausible_Reasoning

Maybe those "integrate by cutting the area under the graph out and weighing it" guys were on to something

Like a solution a small child would come up with.

"How can we solve this system of equations?"
"Let's draw the graphs, put them next to each other, and look for points where they agree"

Fucking amazing.

I still think this paper is incredibly based. Like spillthrough from a universe with radically different math.
https://arxiv.org/abs/1609.00061

Sheafification: The left adjoint to the inclusion of sheaves in presheaves
Sheafinization: The tendency for any mathematical field to evolve, as it increases in complexity, towards a variation on topos theory

The arc of the universe is long, but it bends towards "the arc of the universe is long, but it bends towards crab".
---
RT @xkcdComic
Metacarcinization https://xkcd.com/2418/ https://m.xkcd.com/2418/
https://twitter.com/xkcdComic/status/1355210376804069376

This whole $GME debacle just proves what I've been saying for years: probability theory is ripe for a revolution via category-theoretic methods.

Tired: Tech millionaire
Inspired: r/WSB millionaire

The past week (crunching up against a paper deadline) was very unpleasant in many ways, but it was also nice to be reminded that I actually really enjoy staring at tricky math problems until I can solve them! It's easy to get distracted by all the bullshit.

AAAH that trivial case isn't trivial at all god *damn* it!

The level of will I need to exert to finish writing this paper is absolutely ridiculous. I'm literally spending probably a solid half our procrastinating for every ten minutes I spend actually fixing things.

Milton Keynes sounds like some sort of hybrid super-economist

Any good "technical" podcasts/audiobooks/audio lectures out there? Recently listened to the sadly short-lived "The Typechecker" (https://anchor.fm/andre-popovitch), which was really good. I also enjoyed "My Favorite Theorem" (https://kpknudson.com/my-favorite-theorem/), kind of the same vein.

The beginning of wisdom about math is that it's about relationships, not about objects.
---
RT @KevinSimler
“The beginning of wisdom about X is Y.”

I first saw this construction used by Robert Trivers: “The beginning of wisdom about the immune system is understanding that it is extremely costly.”

Q: How would you fill this in for different values of X and Y?
https://twitter.com/KevinSimler/status/1352486675637624833

Does anyone else have trouble remembering whether his name is spelled Lavwere or Lawvere?

Something that really bugs me: In the todonotes latex package, the command to print a list of all the todos in your document is called \listoftodos and not \todolist.

Can't stop the signal
https://astralcodexten.substack.com/