← Feed

Posts

• View post

  Everyone on Twitter needs to stop liking my CRDT post and start responding to my claw clip economics post

• View post

  This is my greatest tweet of all time and no one on that godforsaken website will ever appreciate it, or me, for what it, or I, is, or am

• View post

  η blockers are prescription medicines that lower stress on the heart and blood vessels by blocking adrenaline that comes from unnecessary expansion of λ-terms

• View post

  "can you do this chore" ♢▶

• View post

  @atsuzaki hi from the fatherland

• View post

  RE: https://types.pl/@jmct/117337960621055147 Can confirm this place is amazing 11/10 highly recommend

• View post

  Been thinking about this for a long time, and……… …. .. why is there no car called the Toyota Corollary

• View post

  One of those days

• View post

  WHO IS AT SPLASH. CAN YOU PLEASE HANG OUT WITH ME

• View post

  I can never tell when someone is flirting with me

• View post

  speedrunning the stages of grief rn bc I accidentally lost all 357 iOS Safari tabs, please send kind thoughts :(

• View post

  it should be illegal for Oliver Flatt to be graduating before me Btw

• View post

  First tiny clean LFO-LBI bracket {:

• View post

  Like this tweet if you would listen to the Alexis King/Slimberly Lim podcast about PL, software, and whatever other technical esoterica strikes our fancy

• View post

  "You cannot possibly be interested in everything" watch me, motherfucker

• View post

  real ones know

• View post

  "I just preferred the pacing of the book. The main character's arc felt a lot more believable," I say, taking another huge bite of Uncrustable as my interlocutor nods on appreciatively

• View post

  career-ready

• View post

  http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml

• View post

  RE: https://types.pl/@sliminality/116537195781364018 Would appreciate RTs on this for visibility!!

• View post

  What's the biggest sum type (or similar) you've ever in production? Any language is fine

• View post

  Overheard between a ~6yo girl and her beleaguered dad at the CLT airport: Kid: "When I was in preschool, someone told me they had an iPad that could charge to one thousand percent. Is that even a thing?" Dad (visibly exhausted): "no" Kid: "Is that even a thing now??" Dad: "no" Kid (pensively): "…or they might've just had a really good iPad" Dad: "no"

• View post

  gonna kill whoever coined "one-to-one" as the pleb version of "injective", moderators note this is not a threat of violence because they're already dead, however I'm still gonna do it

• View post

  kickbanned from IRC for telling people "Serge Lang" is short for "Surjective Lang" 🙄

• View post

  As best you can recall, how did you acquire the knowledge that NOT (x > y) is x ≤ y (i.e. flip sign and strictness)? Please choose the topmost listed answer that applies to you (i.e. even if it has been obvious since birth, if anyone ever taught you directly then please select that option) If someone explicitly taught you, please reply with the setting!

• View post

  An underrated boon of de Bruijn indexing is that it takes away all the mental overhead/hassle of naming things. Whenever I can't think of a good identifier, I just name it "de Bruijn"

• View post

  Computer scientists love to yell "Connect Four is a SOLVED GAME" while losing