now it’s on the One Guy That Maintains All Of Idris’s External Ecosystem to merge my much less sus PR

omg my idris mega sus pr was finally merged

as @edwinb would say, FOUR!

every browser website looks clauded but if the lead developers actually look like they can write code im fine w that honestly

arc is finally dying so im now looking for a New Browser Again... probs chromium based, vertical sidebar, distinct spaces, mac native w ios/ipados support ... current contenders are vivaldi and crest but they're very recent so idk what the verdict is... open 2 suggestions

it's called the hom functor because Huuhhh .... Ohhhh ... hMmmm is the series of noises i make while trying to get the indices right

Hey @edwinb I have a fun article for you to read:

https://www.sota.io/blog/deploy-idris-europe-eu-hosting

stupid fucking ethics portal update deleted my responses for some sections????

caroline weir I would cheer for you any day. Except rn soz

Is there anything better than tabular/array for syntax specification in latex?

whoever added this line had some real fun but also. can we not colonise the alphabet for programming language names

My “im leaving SPLS midway to go to the zoo” statement raised a lot of questions already answered by the statement

SPLS actually stands for Sloth, Penguin, Lemur, Sun beetle

> FAIR was founded in early 2021 by Bion Bartning, an investor, entrepreneur and co-founder of Eos Products.[8] Bartning had sent his children to attend Riverdale Country School, a private college-prep school located in New York City.[9] He observed his children's schooling in the fall of 2020, which was conducted virtually over Zoom. The school introduced a theme of "allyship" for the school year, promoting the idea that members of "privileged classes" should advance the interests and the voices of oppressed groups over their own.

Me when I send my kids to private school in murica and then take offence to them being told they’re privileged

i don’t understand how these secret racist societies are run by accomplished people of colour buddy do you know nothing about your own history the people you’re fighting for will squish you the second it is convenient

anyway. anyone wanna donate a simple explanation about (refl +) transp vs J and when you want to work with which one

man

oh my fucking god the tv licensing guys are going to kill me. i dont even watch live tv

pet peeve: when americans post lists of places but the American ones are written “<city>,<state>”but the ones from the rest of the world are written “<city>,<country>”,using exactly the same formatting for the <state> and <country>

no one is answering my idris zulip question 💔