trash @mathTrash@types.pl

anyType = λ {a} {A : Set a} → A

agda type system destroyed by facts and logic

please help i'm going insane
new brunswick is the most boring province

F♯ A♯ ∞ Spaghetti, by Godspeed You! Gay Luigi

as much as i fucking loathe biden its fun to watch the party of "facts dont care abount your feelings SNOWFLAKE" have an absolute normal one and be a bunch of massive pissbabies 🦀🦀🦀

Wishing for a second Trump term because it'll make things "bad" enough for your precious Revolution to happen is uhhh how do we put it pure fucking evil eat shit.

And seeing "no difference" between Biden and Trump is a pretty damned oblivious position, too, like good job ignoring the swell of voices form BIPOC and Latines testifying to how much worse things got, not to mention the non-handling of the pandemic, the dismantlement of Obama-era institutions for dealing with precisely this situation, and how many deaths those actions caused, disproportionately hitting racial minorities and the poor. Like fuck you.

I do not want any part of your Glorious Revolution whose altar requires the lives of the most vulnerable and marginalized people as offerings. If you see BIPOC and poor people as acceptable sacrifices and not indispensable comrades and, like, fellow human beings, that's the point where I can no longer distinguish your revolution from fascist fantasies.

I find lots of early 3D survival horror games very relatable. I, too, only look good from about 1 or 2 preset angles.

updating https://knightsofthelambdacalcul.us everything. types.pl should be unaffected

gonna learn rust just because i hear hazel doesnt like it

i've gotten 3 emails about fedi drama because people thought discussion of monads on types.pl was about monads.online and not, like, monads

thank god I can go back to hating Biden

*Millennial voice*

i dont watch TV news (which is beneath me). unlike my parents' explicit biases, my own exist in a shrödinger space where i never have to examine whether theyre good or bad. since i am immune to propaganda, i can confidently say that all my opinions spring, Athena-like, from the fecund soil of my brain"

sometimes I think about how we have literal actual texts from the ancient greeks arguing about which of achilles and patroclus was the top and which was the bottom