Hacker News
- Programming languages going above and beyond https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/ 180 comments
Lobsters
- Functions as Methods in Dafny? https://whileydave.com/2023/09/16/efficient-functions-in-dafny/ 2 comments formalmethods , programming
- Proving Beautiful Mathematics in Dafny https://whileydave.com/2023/07/17/proving-a-beautiful-identity-in-dafny/ 11 comments formalmethods , math
- Programming Languages Going Above and Beyond https://whileydave.com/2023/06/27/programming-languages-going-above-and-beyond/ 20 comments formalmethods , programming
- Whiley gets Rusty https://whileydave.com/2022/05/31/whiley-gets-rusty/ 13 comments compilers , rust
- Test-Driving the Rust Model Checker (RMC) https://whileydave.com/2021/10/26/test-driving-the-rust-model-checker-rmc/ 9 comments formalmethods , rust , testing
- Understanding Partial Moves in Rust https://whileydave.com/2020/11/30/understanding-partial-moves-in-rust/ 17 comments c++ , programming , rust
- Whiley is Ten Years Old https://whileydave.com/2020/09/01/whiley-is-ten-years-old/ 2 comments compilers , formalmethods , javascript , programming
- Pattern Matching in Rust's Neverland! https://whileydave.com/2023/04/16/pattern-matching-in-rusts-neverland/ 6 comments rust
- Type Checking in Whiley goes Both Ways! https://whileydave.com/2022/06/15/type-checking-in-whiley-goes-both-ways/ 12 comments programming
- Whiley gets a bit Rusty! https://whileydave.com/2022/05/31/whiley-gets-rusty/ 5 comments rust
- Verifying an Auction Contract in Whiley https://whileydave.com/2022/05/17/verifying-an-auction-contract-in-whiley/ 5 comments ethereum
- Puzzling Strong Updates in Rust! https://whileydave.com/2022/04/27/puzzling-strong-updates-in-rust/ 3 comments rust
- Modelling Borrow Checking in Rust https://whileydave.com/2021/12/06/modelling-borrow-checking-in-rust/ 2 comments rust
- Test-Driving the Rust Model Checker (RMC) https://whileydave.com/2021/10/26/test-driving-the-rust-model-checker-rmc/ 14 comments rust
- Fooling the Borrow Checker? https://whileydave.com/2021/09/01/fooling-the-borrow-checker/ 21 comments rust
- Sizing up Types in Rust! https://whileydave.com/2021/07/15/sizing-up-types-in-rust/ 15 comments rust
- Understanding Deadlock Detection in Abseil https://whileydave.com/2020/12/19/dynamic-cycle-detection-for-lock-ordering/ 7 comments cpp
- Understanding Partial Moves in Rust https://whileydave.com/2020/11/30/understanding-partial-moves-in-rust/ 21 comments rust