Show newer
hazel :ms_asleep: boosted

"women and nonbinary people" ~= "women and people we intend to consider as women for all intents and purposes"

hazel :ms_asleep: boosted

i think i'm becoming an ultrafinitist

hazel :ms_asleep: boosted

@hazel well guess what without physics you wouldn't have all of the nice things, like computers

nvm physics suck take computers back

my tests passed on the first try and now I'm more suspicious than anything

hazel challenge: stop opening new terminal windows when you already have one open and then forget about the old one

"I'm a web developer and I don't know what O(n) even means"

is anyone aware of an efficient algorithm for "reordering" a vector/array according to a vector of indices?

reorder : vector [vectorof index] -> vector
reorder([1, 2, 3], [2, 1, 0]) # => [3, 2, 1]
reorder([1, 2, 3], [1, 2, 0]) # => [2, 3, 1]

mutability is okay in the first argument (the data to reorder), but the index vector has to be preserved

extensionality implies the existence of an ex-extensionality, a tensionality if you will,

hazel :ms_asleep: boosted

TODO: things to defeat in hand-to-hand combat 

1. [_] The real numbers -- pending other engagements
2. [x] Classical logic, LEM
3. [~] Set theory -- turned out to be a case of mistaken identity, see (2)
4. [x] John Major -- apparently some British politician? Defeated in any case
5. [~] Cubical type theory -- another case of mistaken identity, see (6), (7)
6. [_] The univalence principle
7. [_] Category theory

my GPG key has been renewed. this shouldn't impact anything aside from how it looks on keyservers, but note to all that yes, that was in fact me

hazel :ms_asleep: boosted

don't you want people who actually deeply understand the platform you're pushing to work on it? what the hell is valve thinking with this

Show thread
hazel :ms_asleep: boosted

this is exactly the kind of shit i was worried about with proton. ethan is one of the only systems programmers in games worth a damn and he might retire over it

nuclearmonster.com/2021/07/eth

if I'm too stupid to understand category theory, I can at least be the annoying kind of stupid

Show thread

I am once again avoiding any concept that ends with the suffix "oid"

alright, the docs compiled, so now you can look at it without guessing vaguely as to what it is

look at the fruits of the last month's labor and possibly contribute to the size of my ego, a bit

docs.racket-lang.org/sawzall/i

Show thread
Show older

hazel :ms_asleep:'s choices:

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.