Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @mrkgrnao
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @mrkgrnao
-
Pinned TweetThanks. Twitter will use this to make your timeline better. UndoUndo
-
Soham Chowdhury RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Soham Chowdhury Retweeted
Love thinking about the Grothendieck-Hatsune group
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
update: there was something very wrong with this screenshot that nobody was rude enough to point out smh
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Soham Chowdhury RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
an internal monologue? in this economy?
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
haskel, please,,, im begging you, get proper local modulespic.twitter.com/W2cxSsyT0O
Thanks. Twitter will use this to make your timeline better. UndoUndo -
yesterday and today I've written something nontrivial for the first time in about a year, and for many reasons this is a significant personal milestone for me apology for unironic happypost
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Soham Chowdhury Retweeted
if i scream yoneda enough times will i start understanding category theory
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
now all that remains is to finish understanding why everything works out so well
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
okay I've managed to implement normalisation by evaluation for the untyped lambda-calculus using Abel's thesis as a reference
pic.twitter.com/MSyJG7CTGB
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
it irks me to no end that you're apparently *officially* supposed to capitalise the De in Dutch family names now (?), unless you're writing the full name
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
.
@afldcr: "this exchange made me realise that intensional equality is interesting and hard because you have to make sure everyone has agreed on the axioms in play before it has meaning"Thanks. Twitter will use this to make your timeline better. UndoUndo -
many years later, Soham would remember that day he first experienced the suffering of those cursed with manual De Bruijn index manipulation
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
I mean, the way I rationalise Wikipedia's statement that SKK = I is only true extensionally is that, even though it works out on paper if you beta-reduce, the equation as is is not true _in the language of combinators_ because there's no way to reduce SKK there...I guess?
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
TIL that the "SKK = I" thing I've been carrying around in my head for at least 7 years now is not actually true intensionally, I never bothered to check
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Soham Chowdhury Retweeted
You can get 50% off Type Driven Development with Idris today at https://www.manning.com/dotd , as well as some nice Haskell books
@ManningBooks And since it's Groundhog Day you can buy them over and over again! Yay!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Soham Chowdhury Retweeted
you folks are so good at top 3s wtf... I'm here like "if you give me a category I can probably tell you one member I like and one member I don't"
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
the website looks really good to me on my phone, but not as much on my laptop, is that just the pixel density talking
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.