Edgars Nemše
@EdgarsNemse
Co-founder of @GenLayer
Joined November 2010
2.3K Following 1.2K Followers
a test suite can pass forever without being able to catch a single bug.
that's why, at @GenLayer, we test the tests too.
part 2 of making GenLayer 100% secure: five interlocking layers of testing, from ordinary unit tests to machine-checked proofs
Show more
