wen @cyrridven@computerfairi.es
Hey #haskell Twitter! Spacemacs doesn't pick up on the default-extensions in my cabal file, forcing me to write them at the top of every file. Anything I'm likely to be doing wrong?
me: I LOVE this new place! it's so neat and tidy!
me, two weeks later: I LOVE this new place! it's covered in cat toys and small bits of cardboard!
literally just switched my code over to using Data.Sequence, 'cuz I didn't want to write my own !?
Love "newspapers" being like "whoa, this is really a thing, to the extent there's a word for it!" and then the only search result for that word is their article.
wait, the Haskell standard library does NOT have a safe version of list access by index!?
🧵
RT @homeowmorphism@twitter.com
When I was in undergrad, I went to math seminars and they made me feel stupid. I didn't understand a single word. But I thought it'd get better.
🐦🔗: https://twitter.com/homeowmorphism/status/1392645370962980870
The person we were gonna adopt a kitty from changed their mind last minute and I am gutted.
Oh hello, Glasgow pro-plague protest.
Glasgow, what's your favourite vegan place that delivers?
love it when shitposting mathematicians accidentally rediscover my main field of research
RT @kitesva@twitter.com
Mathematical logic system where all objects are one-time-use. You used Z/2Z in a proof? Guess what it's gone now.
I keep accidentally cold fermenting my hummus but it's really good so no complaints
if you pitch a workshop to someone, but miscommunicate a little, and they end up asking you for the CfP so they can submit... that's a good sign, right?
trying as hard as I can to not start a workshop *before* I submit my thesis
Listen, I'm tired of finding novel ways to explain session types. How mad would y'all be if I just copied the same paragraph into every single paper?
I resent being in this tweet.
RT @GeraintWorks@twitter.com
ADHD is: Needing structure but resenting anyone who tries to impose it. Including yourself.
🐦🔗: https://twitter.com/GeraintWorks/status/1381914246276059138
I feel personally attacked by this youtube recommendation:
https://youtu.be/jvkUXT0pMYE
