Tootfinder

Good overview on where to get started to improve #cryptography code by Jade Philipoom at #39c3: https://

[39c3] How To Minimize Bugs in Cryptography Code
Over the last 10 years or so, using mathematical proof assistants and other formal-logic tools for cryptography code has gone from a relatively new idea to standard practice. I've been lucky enough to have a front-row seat to that transformation, ...

I don’t think we should get caught up in hunting for so-called “spiritual successors.” That kind of logic starts to feel like the endless splintering of the Trotskyists, each one founding their own Fourth International to guard some sacred ideological flame.
I look at the ICL CIT the same way, too wrapped up in reproducing hierarchies instead of dismantling them.
⭐ https:…

My most favorite subgenre of AI stan is the "AI software engineer" [programmers aren't engineers, engineering has formal requirements like e.g. engineering ethics].
Their logic goes like this:
"LLMs can generate a TODO-list application that pretty much works and only has a few hundred subtle bugs; therefore—as programming is the hardest and by far most intellectually taxing occupation that a human being such as myself can strive for to be an expert in—they obviously will excel and far outshine any human at any of those other, lesser, activities such as writing or art!"