whileydave.com: 20 stories from 3 submitters

  1. 6
    Digging into the EVM Object Format (EOF) api merkle-trees programming whileydave.com
    redjamjar avatar authored by redjamjar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 12
    Functions as Methods in Dafny? formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 16
    Proving Beautiful Mathematics in Dafny formalmethods math whileydave.com
    redjamjar avatar authored by redjamjar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  4. 52
    Programming Languages Going Above and Beyond formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  5. 8
    Formalising the EVM in Dafny formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 6
    Disassembling EVM Bytecode (the Basics) compilers programming whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 4
    Verifying a Token Contract formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 13
    Formalising a Simple Virtual Machine compilers compsci formalmethods whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 7
    Type Checking in Whiley goes Both Ways formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 22
    Whiley gets Rusty compilers rust whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  11. 5
    Formally Verifying an Auction Contract formalmethods programming whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 13
    Puzzling Strong Updates in Rust programming rust whileydave.com
    redjamjar avatar authored by redjamjar 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 7
    Verifying the Whiley Standard Library formalmethods plt whileydave.com
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 24
    Test-Driving the Rust Model Checker (RMC) formalmethods rust testing whileydave.com
    redjamjar avatar authored by redjamjar 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  15. 9
    A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust rust whileydave.com
    sanxiyn avatar via sanxiyn 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 10
    Dynamic Deadlock Detection in Abseil c++ debugging whileydave.com
    redjamjar avatar authored by redjamjar 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 4
    QuickCheck for Whiley compsci programming testing whileydave.com
    redjamjar avatar authored by redjamjar 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 25
    Understanding Partial Moves in Rust c++ programming rust whileydave.com
    redjamjar avatar authored by redjamjar 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  19. 9
    The Semantics of Semantic Versioning? devops programming whileydave.com
    redjamjar avatar authored by redjamjar 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 8
    Whiley is Ten Years Old compilers formalmethods javascript programming whileydave.com
    redjamjar avatar authored by redjamjar 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments