RANDOMBLOGShttps://devblogy.k47.cz/random/tag/pvk-ca.html Fixing the hashing in "Hashing modulo α-equivalence"https://www.pvk.ca/Blog/2022/12/29/fixing-hashing-modulo-alpha-equivalence/Thu, 29 Dec 2022 21:12:05 +0100pvk.ca Plan B for UUIDs: double AES-128https://www.pvk.ca/Blog/2022/07/11/plan-b-for-uuids-double-aes-128/Tue, 12 Jul 2022 04:38:02 +0200pvk.ca Hacking tips for Linux perf porcelainhttps://www.pvk.ca/Blog/2022/06/01/hacking-tips-for-linux-perf-porcelain/Thu, 2 Jun 2022 03:09:07 +0200pvk.ca Bounded dynamicism with cross-modifying codehttps://www.pvk.ca/Blog/2021/12/19/bounded-dynamicism-with-cross-modifying-code/Mon, 20 Dec 2021 01:43:01 +0100pvk.ca Slitter: a slab allocator that trusts, but verifieshttps://www.pvk.ca/Blog/2021/08/01/slitter-a-less-footgunny-slab-allocator/Sun, 1 Aug 2021 23:26:04 +0200pvk.ca Entomological solutionshttps://www.pvk.ca/Blog/2021/06/07/entomological-solutions/Mon, 7 Jun 2021 06:36:03 +0200pvk.ca Baseline implementations should be predictablehttps://www.pvk.ca/Blog/2021/05/14/baseline-implementations-should-be-predictable/Fri, 14 May 2021 07:53:05 +0200pvk.ca Stuff your logs!https://www.pvk.ca/Blog/2021/01/11/stuff-your-logs/Mon, 11 Jan 2021 21:11:23 +0100pvk.ca 1.5x the PH bits for one more CLMULhttps://www.pvk.ca/Blog/2020/10/31/nearly-double-the-ph-bits-with-one-more-clmul/Sat, 31 Oct 2020 23:30:18 +0100pvk.ca UMASH: a fast and universal enough hashhttps://www.pvk.ca/Blog/2020/08/24/umash-fast-enough-almost-universal-fingerprinting/Mon, 24 Aug 2020 06:00:15 +0200pvk.ca