RANDOMBLOGShttps://devblogy.k47.cz/random/tag/chriswarbo-net.html Rationalising Denominators 3: Sumshttp://chriswarbo.net/blog/2024-11-08-rationalising_denominators_3_sums.htmlFri, 8 Nov 2024 00:00:00 +0100chriswarbo.net Rationalising Denominators 2: Productshttp://chriswarbo.net/blog/2024-11-05-rationalising_denominators_2_products.htmlTue, 5 Nov 2024 00:00:00 +0100chriswarbo.net Rationalising Denominators 1: Fractional Powershttp://chriswarbo.net/blog/2024-11-03-rationalising_denominators_1_powers.htmlSun, 3 Nov 2024 00:00:00 +0100chriswarbo.net Determinismhttp://chriswarbo.net/blog/2024-06-29-determinism.htmlSat, 29 Jun 2024 00:00:00 +0200chriswarbo.net Nix is a build systemhttp://chriswarbo.net/blog/2024-05-24-nix_build_system.htmlFri, 24 May 2024 00:00:00 +0200chriswarbo.net Lock Files Considered Harmfulhttp://chriswarbo.net/blog/2024-05-17-lock_files_considered_harmful.htmlFri, 17 May 2024 00:00:00 +0200chriswarbo.net Spigot, and rational approximationshttp://chriswarbo.net/blog/2024-05-14-spigot.htmlTue, 14 May 2024 00:00:00 +0200chriswarbo.net SK in egglog: part 4, extensional equalityhttp://chriswarbo.net/blog/2024-05-10-sk_logic_in_egglog_4.htmlFri, 10 May 2024 00:00:00 +0200chriswarbo.net Unlocking the GNOME keyringhttp://chriswarbo.net/blog/2024-04-08-unlocking_gnome_keyring.htmlMon, 8 Apr 2024 00:00:00 +0200chriswarbo.net SK logic in egglog: part 3, falsifying myselfhttp://chriswarbo.net/blog/2024-04-02-sk_logic_in_egglog_3.htmlTue, 2 Apr 2024 00:00:00 +0200chriswarbo.net