Soham Chowdhury

@mrkgrnao

ambiguous undulations around types, categories, programming langs, computational trinitarianism, arithmetic, volitional philanthropy, hard scifi, and hard music

Kolkata, India; he/him
Vrijeme pridruživanja: studeni 2015.

Medijski sadržaj

  1. prije 50 minuta
    Odgovor korisniku/ci

    the dual of a godparent:

  2. prije 7 sati
    Prikaži ovu nit
  3. prije 8 sati
  4. prije 8 sati

    about the perfect length for being on the bus home

    Prikaži ovu nit
  5. prije 13 sati
    Odgovor korisniku/ci
  6. prije 18 sati

    watching this very interesting talk thanks to a conversation with

  7. 3. velj

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

  8. 2. velj

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

    Prikaži ovu nit
  9. 1. velj

    taking a break from writing the Book, by writing

    Prikaži ovu nit
  10. 1. velj
  11. 1. velj
    Odgovor korisniku/ci
  12. 31. sij

    (in the way one says "eboy") e-type theory

    Prikaži ovu nit
  13. 29. sij

    > For brevity, from now on we shall drop the modifier "strict" for indexed structures. For instance, if we mention an indexed honey badger, we shall really mean a strict indexed honey badger.

    Prikaži ovu nit
  14. 28. sij
    Odgovor korisniku/ci
  15. 24. sij
  16. 20. sij
    Odgovor korisniku/ci

    🎵 I'm a simple man 🎵 I only really care about 🎵 judgements that lend themselves to bad ASCII art 🎵

  17. 18. sij
  18. 18. sij

    ohoho, what do we have here

  19. 16. sij
  20. 12. pro 2019.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·