https://dennis.life/ 2024-03-12 1.00 https://dennis.life/images/portrait.webp 2022-01-01 0.90 https://dennis.life/pubs/asplos23-risotto.pdf 2023-02-16 0.90 https://dennis.life/pubs/pldi22-lasagne.pdf 2022-06-13 0.90 https://dennis.life/pubs/phd_thesis.pdf 2025-11-21 0.90 https://dennis.life/notes/rust_ioc.pdf 2022-11-30 0.80 https://dennis.life/notes/lattice_galois.pdf 2022-08-01 0.80 https://dennis.life/notes/agda_circuits.pdf 2022-07-31 0.80 https://dennis.life/notes/monotonic_cost.pdf 2022-04-01 0.80 https://dennis.life/notes/docker_tutorial.pdf 2022-04-01 0.80