trash boosted

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

trash boosted
trash boosted
trash boosted

uspol 

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 🦀🦀🦀

trash boosted

uspol rant, criticism of the left 

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.

trash boosted

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

trash boosted
trash boosted

gonna learn rust just because i hear hazel doesnt like it

trash boosted

meta rel 

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

trash boosted

uspol 

thank god I can go back to hating Biden

trash boosted

*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"

Show thread
trash boosted

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

trash boosted
Welp, Biden got elected.

Pros: no more orange man
Cons: have to wait 4 years for @hazel to come to Canada :jelsad:
trash boosted

UUAG is the sound you make when you try to understand compilers

Show thread
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.