Loki @f_loki@scholar.social

#introductions #reintroductions

So I've posted this to my twitter but let's also post it here: I'm picking up they/them pronouns and dropping everything else. Also, I don't believe anyone here but people who already follow me elsewhere know me by other names but I'm also dropping everything but my was-a-penname-now-just-a-name.

So yeah! Loki, they/them. Destroyer of Facts and Logic™️.

Sacrifice mathematics on an alter of the old gods

Pretty happy about the lack of crimes against humanity I'm contributing to though.

The biggest reason I miss being a type theorist is that I can't regularly use the phrase "As per Per Martin-Löf" much anymore.

Me: "I like quoting things with the quote character, it's really easy and has widespread support in formatting software"
LaTeX: ``Oh me to it's so fun"

Knuth was the original software Benevolent Dictator For Life and we should burn his works underneath his effigy

Starting to move over my essays from markdown to tex so I hope everyone's ready to tolerate my "Fuck LaTeX" takes starting with "Why do some commands accept spaces between arguments and others, like \bibliography, the main reason I tolerate this software, don't"

I say this as a philosophy student who doesn't have the time or energy to do studies-as-in-ones-involving-people.

Increasingly convinced philosophy is just armchair sociology.

I'd like to thank cambridge analytica for making my summary of the extend of commercial data collection and abuse extremely succinct.

(Foucault)

(I don't actually destroy facts and logic but I do instead examine and critique what constitutes something being considered a fact and what becomes logic / how logic is constructed as an ex-type-theorist who did a lot of programming language/maths foundations research)

#introductions #reintroductions

So I've posted this to my twitter but let's also post it here: I'm picking up they/them pronouns and dropping everything else. Also, I don't believe anyone here but people who already follow me elsewhere know me by other names but I'm also dropping everything but my was-a-penname-now-just-a-name.

So yeah! Loki, they/them. Destroyer of Facts and Logic™️.

This isn't good. Also I've not yet finished my discussion section.

I've hit my maximum word count

I haven't written a conclusion yet 😬

Developing a helpful tool I'm calling "not being on the philosophy clock" which lets me not get in arguments with people unless I'm supposed to be writing essays at the time.

Some nerd: Humanities subjects are so easy
CS coursework: *takes maybe ~10 hours at most*
Humanities essay: *takes a complete reworking of your understanding of the world and then 20-100 hours of essay research + writing*