|
Soham Chowdhury
@
mrkgrnao
Kolkata, India; he/him
|
|
ambiguous undulations around types, categories, programming langs, computational trinitarianism, arithmetic, volitional philanthropy, hard scifi, and hard music
|
|
|
21.042
Tweetovi
|
3.495
Pratim
|
2.938
Osobe koje vas prate
|
| Tweetovi |
|
|
Soham Chowdhury
@mrkgrnao
|
30 min |
|
interesting choice of words there twitter.com/sapphobot/stat…
|
||
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
50 min |
|
the dual of a godparent: pic.twitter.com/fQzi4kQZxg
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
2 h |
|
seriously it sounds like a really cool job from what I've seen on the Juvix repo, congratulations! 🎉
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
2 h |
|
this post was approved by PL theory gang
|
||
|
|
||
| Soham Chowdhury proslijedio/la je tweet | ||
|
Gloveboxes
@GloveboxNet
|
23 h |
|
The logical evolution of air-sensitive chemistry pic.twitter.com/uEaH2qDnh0
|
||
|
|
||
| Soham Chowdhury proslijedio/la je tweet | ||
|
Path Integral Salesman
@litgenstein
|
2. velj |
|
Here's a brief tour through recent philosophy of physics: pathintegralsalesman.blogspot.com/2020/01/a-tour…
(the first part of my post on realism is also on the blog, but it's not close to finished)
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
7 h |
|
learning to spell twitter.com/NYT_first_said…
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
7 h |
|
the only thing I can think of isn't an acronym but "Tits buildings" = involuntary snicker
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
7 h |
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
8 h |
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
8 h |
|
love how it reminds me of behold the arctopus in places
prog, is good
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
8 h |
|
this but lurie twitter.com/spinachpolice/…
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
8 h |
|
about the perfect length for being on the bus home
youtube.com/watch?v=WKNOlD…
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
mm. typing would carry around some kind of evidence and if something breaks it recurses back up the callstack and annotates the evidence with what we actually saw
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
I know that exists (barely)
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
this actually makes me think about possible tridirectional (?) systems that interleave untyping judgements ("this expression fails to check against type T because") with typing and inference
whither my galaxy brain compiler that actually always has perfectly helpful type errors twitter.com/mrkgrnao/statu…
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
seriously. how can one be a boy and not be part of boys dm, outrageous, unfair, etc
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
"tag yourself I'm the guy whose image doesn't satisfy the invariant basis property"
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
oh definitely, I just haven't thought about it in any real depth
the tridirectional typing paper may be relevant, though I haven't read it
what's the K framework? would appreciate a link!
|
||
|
|
||
|
|
Soham Chowdhury
@mrkgrnao
|
9 h |
|
"in this essay I will" is, sadly, a joke format
|
||
|
|
||