synchronousq

11 ms·

1. 1.▲
   by synchronousq 7mo ago

   And what value has the current state of AI added to society in any meaningful way? Truly? Even as someone who understands the space very strongly, and has published several top-tier ML papers, I cannot help but to conclude the primary desti
2. 2.▲
   Nadim Kobeissi's Applied Cryptography Course(youtube.com)

   4 points by synchronousq 1y ago|0 comments
3. 3.▲
   by synchronousq 2y ago

   I believe this is a fundamental misjudgement of the CS curriculums at MIT and NEU and, apologies for being blunt, probably the worst take on this thread. The student populations at MIT and NEU, particularly in CS, are fundamentally differen
4. 4.▲
   by synchronousq 2y ago

   I just want to note, there exist two main flavors of formal methods: extrinsic techniques, which are disjoint from the code itself and generally reason about the specifications of code, and intrinsic techniques, which are inline with the co