We've been hosting a live show weekly on Mondays at 5p for about an hour, and recording them all; here is the recording from June 19th, 2023.
In addition to Bryan Cantrill and Adam Leventhal, we were joined by Oxide colleagues Greg Colombo and Rain Paharia.
Some of the topics we hit on, in the order that we hit them:
- 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/awaitin Rust
If we got something wrong or missed something, please file a PR! Our next show will likely be on Monday at 5p Pacific Time on our Discord server; stay tuned to our Mastodon feeds for details, or subscribe to this calendar. We'd love to have you join us, as we always love to hear from new speakers!