Vélimir
vchakhno@mathstodon.xyz
<p>Hi! I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)</p><p>I spend a significant part my free time overthinking how computing could be better, in terms of reliability, composability and transparence to the user.</p><p>I'm still a beginner when it comes to type theory, so I'll probably be asking lots of questions that may be ill-constructed. Please be gentle!</p>
Posts
-
Post #3015910
I&#39;m pretty sure my mind uses continuation-passing style, instead of finishing sub-tasks and going back to what I was doing before, I just start new things indefinitely
-
Post #3015909
I think it&#39;s the first time I spot a typo in a paper (I&#39;m pretty new to this). There&#39;s an extra ellipsis where there shouldn&#39;t be: there has to be exactly two Zn at the top, not more nor less. That&#39;s inconsequential and the paper is 20 years old, should I still report it? In a normal setting I wouldn&#39;t have but I feel that academics are very sensible to propagating factually correct information