You are, objectively speaking, a random person on the internet that live streams yourself tooting for a living, while I'm a Permanent Chief of the Shadow Confederation with a core value of refined pure bidirectional apprehension, the world's leading expert in philopsychology, a tier 3 (the maximum) quantum energy arts practitioner, and literally the ruler of the world.

Remember me as hustler, gangster, and visionary of rap music. Thanks

Python 3 is not Turing complete and that's a good thing

Maybe I should just switch everything to nixos so I don't mess around with syncing configs between my laptop and desktop any more

Advice I would give my younger self: if someone has a reputation for fighting for a cause you believe in, that says nothing about whether they are a kind person. If you meet or interact with them, it will go as well as if you met someone at random you've never heard of.

If someone has a reputation for kindness, then meeting them will probably go well. I've never regretted meeting someone after a person I trust said of them "Wow person xyz is the nicest, kindest human being I know."

I've been spending the past few days trying to encode proofs of certain runtime properties in a Haskell codebase. It is really hard to do without making everything unreadable; type inference and type-level programming don't seem to get along in Haskell.

:th10_08: 🐍
:th10_09: 🐸
:th08_04: 🐰
:th08_05: 🐇
:th11_02: 🕷️
:th11_06: 🐈
:th07_02: 🐱
:th08_02: 🐦
:th07_10: 🦊

Yoneda just gets to be a lemma, even though it's a complete generalization of Cayley, who gets to be a theorem 😠

Wow, Associated Press actually ran something on the debate over the significance of statistical significance!!!

AP News: Sorry, wrong number: Statistical benchmark comes under fire Sorry, wrong number: Statistical benchmark comes under fire

apnews.com/12cf3d07354c47b3b9b

嘟嘟星云

無名茶室