Oxide and Friends

• Distributed Sagas
• Steno -- Oxide's implementation of distributed sagas
• Learn TLA+
• Hillel Wayne talks
• Hillel Wayne on Alloy 6
• Quickcheck Paper (2000)
• Proptest docs
• Rain's example code

use proptest::prelude::*;
use proptest::collection::vec;
proptest! {
    #[test]
    fn proptest_my_sort_pairs(input in vec(any::<u64>(), 0..128)) {
        let output = my_sort(input);
        for window in output.windows(2) {
            assert!(window[0] <= window[1]);
        }
    }

    #[test]
    fn proptest_my_sort_against_bubble_sort(input in vec(any::<u64>(), 0..128)) {
        let output = my_sort(input.clone());
        let bubble_output = bubble_sort(input);
        assert_eq!(output, bubble_output);
    }
    // These proptests implicitly check that my_sort doesn't crash.
}

• buf-list crate
• guppy crate
• ... and stay tuned for an upcoming episode revisiting async/await in Rust