Artin Ghasivand

I've been keeping this a secret, but for the past 18 months, I've been collaborating with Simon Peyton Jones and Richard Eisenberg on formalizing GHC's typechecker! It turns out that there are some very awkward interactions between the extensions.

من به اکستنشن نویسی برای vscode رو مسلط نیستم و نمی‌دونم دست دولوپر چقدر توش بازه. ولی وقتی این همه AI IDE ها رو می‌بینم که هر کدوم فورک VS Code خودشون رو دارن برام عجیبه. اگه میشه اکستنشنش کرد چرا نمی‌کنن. اگه نمیشه، چرا vscode امکانش رو گسترش نمی‌ده؟ 🤔

has anyone here worked a remote async cryppto or web 3 job (pref rust solana or haskell cardano) and can they please tell me what thats like? interested in role title, responsibiltiies, tc, and esp what hours u need

از هر چیزی سه عدد میبینم😂 با این سرعت، سه ماه دیگه چشمام رو از دست میدم.

how would you prove 1+1=2? my first instinct is to define it in terms of successor, i.e. a + b ”apply successor to ’a’ ’b’ times, and so 1+1 becomes S(1) = 2, but that relies on implicit typing of S, 1 and 2, which might be seen as kicking the can down the road

I hate every web browser so much

I never had trouble with LeetCode, but I can see how it'd be difficult for those with inferior genes