| | Digging into the EVM Object Format (EOF) (whileydave.com) |
|
1 point by todsacerdoti on Nov 7, 2023 | past
|
|
| | Functions as Methods in Dafny? (whileydave.com) |
|
2 points by todsacerdoti on Oct 2, 2023 | past
|
|
| | Programming languages going above and beyond (whileydave.com) |
|
338 points by rrampage on June 29, 2023 | past | 180 comments
|
|
| | Programming Languages Going Above and Beyond (whileydave.com) |
|
2 points by asicsp on June 28, 2023 | past
|
|
| | Disassembling EVM Bytecode (The Basics) (whileydave.com) |
|
2 points by todsacerdoti on Jan 16, 2023 | past
|
|
| | Verifying a Token Contract (whileydave.com) |
|
1 point by todsacerdoti on Dec 8, 2022 | past
|
|
| | Type Checking in Whiley Goes Both Ways (whileydave.com) |
|
2 points by todsacerdoti on June 21, 2022 | past
|
|
| | Whiley Gets Rusty (whileydave.com) |
|
1 point by todsacerdoti on June 8, 2022 | past
|
|
| | Formally Verifying an Auction Contract (whileydave.com) |
|
1 point by todsacerdoti on May 24, 2022 | past
|
|
| | Verifying the Whiley Standard Library (whileydave.com) |
|
1 point by todsacerdoti on Nov 10, 2021 | past
|
|
| | Test-Driving the Rust Model Checker (RMC) (whileydave.com) |
|
1 point by kelseyfrog on Nov 1, 2021 | past
|
|
| | Test-Driving the Rust Model Checker (RMC) (whileydave.com) |
|
2 points by lukastyrychtr on Oct 29, 2021 | past
|
|
| | Test-Driving the Rust Model Checker (RMC) (whileydave.com) |
|
2 points by codetrotter on Oct 27, 2021 | past
|
|
| | A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] (whileydave.com) |
|
1 point by VitalyAnkh on Oct 20, 2021 | past
|
|
| | Sizing Up Types in Rust (whileydave.com) |
|
1 point by azhenley on July 20, 2021 | past
|
|
| | Sizing Up Types in Rust (whileydave.com) |
|
1 point by azhenley on July 16, 2021 | past
|
|
| | Understanding Generic Type Variance (whileydave.com) |
|
1 point by azhenley on March 17, 2021 | past
|
|
| | Dynamic Deadlock Detection in Abseil (whileydave.com) |
|
1 point by todsacerdoti on Jan 25, 2021 | past
|
|
| | QuickCheck for Whiley (whileydave.com) |
|
2 points by todsacerdoti on Dec 22, 2020 | past
|
|
| | The Semantics of Semantic Versioning? (whileydave.com) |
|
1 point by kiyanwang on Oct 18, 2020 | past
|
|
| | The Semantics of Semantic Versioning? (whileydave.com) |
|
2 points by zdw on Oct 12, 2020 | past
|
|
| | The Semantics of Semantic Versioning? (whileydave.com) |
|
3 points by mooreds on Oct 5, 2020 | past
|
|
