Martin Hellspong
where else to find them
github:marhel
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Thomas Arts7 talks
- Saurabh Nanda4 talks
- Nick Fitzgerald3 talks
- Romeu Moura9 talks
- Tim McNamara9 talks
- Jacob Pratt3 talks
| title | conference | date |
|---|---|---|
| Surprise yourself with Property Based Testing | Øredev 2023 | 2023-11-08 |
Randomized tests that compare a reimplementation against a known‑good oracle find real bugs: a Rust Motorola 68k emulator run with ~1,600 QuickCheck-style… | ||
| Why you'd be better off using QuickCheck when porting to Rust | RustFest 2016 | 2016-09-17 |
A Rust port of Musashi called r68k uses QuickCheck to prove instruction‑level equivalence to the C emulator by generating random initial states and observing… | ||
| nothing matches | ||