3 Smart Contract Auditing Tools That Every Solidity Developer Should KnowJul 14, 2022 · Jackson Kelley
Console #21: Dafny, the Programming Language With Built In Formal Verification (Part 1)Oct 25, 2020 · Jackson Kelley
Console #18: Announcing Code Notes, a GatsbyJS Theme for Publishing Code Related Notes and SnippetsOct 4, 2020 · Jackson Kelley
Console #17: Stop Taking Regular Notes; Use the Zettelkasten Method InsteadSep 27, 2020 · Jackson Kelley
Console #16: Microsoft Research's ALEX, a Library for Building an In Memory, Adaptive Learned IndEXSep 20, 2020 · Jackson Kelley
Console #12: The Javascript Task Queue and Job Queue - a Deep Dive Into the Javascript Event LoopAug 23, 2020 · Jackson Kelley