Soham Chowdhury

@mrkgrnao

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

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

Medijski sadržaj

  1. prije 50 minuta
    Odgovor korisniku/ci

    the dual of a godparent:

  2. prije 7 sati

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  3. prije 8 sati

    1 reply 4 korisnika označavaju da im se sviđa
  4. prije 8 sati

    about the perfect length for being on the bus home

    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    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

    4 korisnika označavaju da im se sviđa
  7. 3. velj

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

    2 proslijeđena tweeta 29 korisnika označava da im se sviđa
  8. 2. velj

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

    8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  9. 1. velj

    taking a break from writing the Book, by writing

    1 proslijeđeni tweet 33 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  10. 1. velj

    I think about this (from ) every few days

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
  11. 1. velj
    Odgovor korisniku/ci

    1 reply 4 korisnika označavaju da im se sviđa
  12. 31. sij

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

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Prikaži ovu nit
    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.

    1 reply 6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  14. 28. sij
    Odgovor korisniku/ci

    1 korisnik označava da mu se sviđa
  15. 24. sij

    ow

    3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
  16. 20. sij
    Odgovor korisniku/ci

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

    2 korisnika označavaju da im se sviđa
  17. 18. sij

    *interjects along*

  18. 18. sij

    ohoho, what do we have here

    6 korisnika označava da im se sviđa
  19. 16. sij

    1 korisnik označava da mu se sviđa
  20. 12. pro 2019.

    2 korisnika označavaju da im se sviđa

@mrkgrnao još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Č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:

    ·