Soham Chowdhury

@mrkgrnao

ambiguous undulations around number theory, categories, types, computational trinitarianism, volitional philanthropy, hard scifi, and hard music

Kolkata, India; he/him
Joined November 2015

Tweets

You blocked @mrkgrnao

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @mrkgrnao

  1. Pinned Tweet
    2 Sep 2018
    Show this thread
    Undo
  2. Retweeted
    , , and 3 others
    Undo
  3. Retweeted
    19 hours ago

    Love thinking about the Grothendieck-Hatsune group

    Undo
  4. 9 hours ago

    internal monocoque

    Show this thread
    Undo
  5. 9 hours ago

    update: there was something very wrong with this screenshot that nobody was rude enough to point out smh

    Show this thread
    Undo
  6. Retweeted
    10 hours ago

    An enlightening answer:

    Undo
  7. 10 hours ago

    an internal monologue? in this economy?

    Show this thread
    Undo
  8. 10 hours ago

    haskel, please,,, im begging you, get proper local modules

    Undo
  9. 19 hours ago

    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

    Undo
  10. Retweeted
    4 Sep 2019

    if i scream yoneda enough times will i start understanding category theory

    Show this thread
    Undo
  11. 20 hours ago

    now all that remains is to finish understanding why everything works out so well

    Show this thread
    Undo
  12. 20 hours ago

    okay I've managed to implement normalisation by evaluation for the untyped lambda-calculus using Abel's thesis as a reference 🥳

    Show this thread
    Undo
  13. 21 hours ago

    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 thread
    Undo
  14. 21 hours ago

    .: "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"

    Undo
  15. 21 hours ago

    many years later, Soham would remember that day he first experienced the suffering of those cursed with manual De Bruijn index manipulation

    Show this thread
    Undo
  16. 21 hours ago

    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 thread
    Undo
  17. 21 hours ago

    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 thread
    Undo
  18. Retweeted
    Feb 2

    You can get 50% off Type Driven Development with Idris today at , as well as some nice Haskell books And since it's Groundhog Day you can buy them over and over again! Yay!

    Undo
  19. Retweeted
    Feb 2

    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"

    Undo
  20. Retweeted
    Undo
  21. Feb 1

    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 thread
    Undo

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.

    You may also like

    ·