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

nvm physics suck take computers back

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

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

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

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

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

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

Admin

types.pl admin.

english-speaking / /

pure mathematics and computer science undergraduate at IU Bloomington. profreshional yak shaver. mostly interested in formal methods, mathematical logic, drinking water, and sleeping.

white.

Joined Oct 2020