Show HN: Hypothesis and CrossHair demo (concolic / SMT-based PBT) https://ift.tt/2Y5U546 September 1, 2021 at 06:51AM
Show HN: Advent of Code 2022 (only first eight in different langs) Tried/revisited/used: Elixir, Haskell, Python, Rust, JS, Rust-WASM, TypeScript, Java. With READMEs for each https://ift.tt/aOFVhBo December 31, 2022 at 04:36AM
Comments