rachel samuelsson @rachelrosen@types.pl

Based path induction is such a funny term to me, now. If you point it out it's implicitly a compliment, like "hey, based path induction! 😎"

TIL Ubuntu purposefully deprives you of security patches they have and know how to deploy if you are not paying for their pro rates: https://ubuntu.com/security/esm

Haskell and logic. ~ Rachel Samuelsson (@rachelrosen). https://rachel.cafe/2022/12/15/haskell-and-logic.html #Haskell #FunctionalProgramming #Logic #Math

As most of you know, our library is being sued by 4 corporate publishers who want to stop the Internet Archive from lending books. The date for oral argument has just been set for March 20.

What's at stake? Lia Holland from @team elaborates: https://www.fightforthefuture.org/news/2023-02-23-statement-major-decision-on-libraries-digital-rights-a-step-closer-on-march-20

loving this new search engine

you've heard of HoTTEST. get ready for CoLDEST

That's when you give names to inputs and write indices on types, but only in comments.

Just learned set theory and I cannot contain myself.

*edit*
This post hit 500 boosts an 1k likes :D
Trans rights are human rights.
Bash the fash.

stockfish (white)

chatGPT (black)

i am 20 years old and i still have not figured out how to not walk into walls

writing a mathematical proof that what i did is not legal or illegal but independent from the law