Pinned Loading

1. infinite-git infinite-git Public

   An experiment in git transfer protocols. Try git clone https://infinite-git.stfnw.de and see what happens.

   Go 2

2. talk-introduction-to-property-based-testing talk-introduction-to-property-based-testing Public

   Talk about introduction to property testing on 2026-01-28

   HTML

3. git-quine git-quine Public

   A toy program that can print the commit hash of the commit itself is contained in.

   Python

4. lambda-calculus-abstract-machine-rknl lambda-calculus-abstract-machine-rknl Public

   Implementing the RKNL abstract machine (strong call-by-need reduction of untyped lambda calculus terms) from https://doi.org/10.1145/3549822 (unaffiliated).

   Rust

5. reproducer-poc-CVE-2022-0847 reproducer-poc-CVE-2022-0847 Public

   Very rough PoC for detecting/reproducing CVE-2022-0847 (dirty pipe) through random generation of syscalls and differential fuzzing against a model.

   Rust

6. arithmetic-expressions-calc-fuzz arithmetic-expressions-calc-fuzz Public

   Learning fuzzing by finding bugs in my own C code.

   C