tsecurity | 11 months ago | on: I passionately hate hype, especially the AI hype
tsecurity's comments
tsecurity | 11 months ago | on: 15,000 lines of verified cryptography now in Python
How much of the development of this was verified, and what does that consist of?
I worry a little when I read that things are verified and were hard.
page 1
It could lead to good things. Most startups have hype.