| 22 Jun 2023 |
 @lily:lily.flowers | I do always love debugging cursed stuff (/s, mostly) | 20:53:55 |
 @nikstur:matrix.org | Lily Foster: https://lore.kernel.org/lkml/CADYN=9KXWCA-pi8VCS5r_JScsuRyWBEKqtdBFCAGzg1vq4M5FQ@mail.gmail.com/ this seems related. Can't make much of it alone though | 21:46:12 |
| 24 Jun 2023 |
|  @kadawee:cat.casa joined the room. | 15:59:52 |
 @elvishjerricco:matrix.org | responding to a new issue about tpm stuff, this has got to be the most terrible predicate I've ever written:
nonRedundant = { systemd, full, cryptsetup, luks, tpm2, fido2, ... }:
((luks || tpm2 || fido2) -> cryptsetup)
&& (!systemd -> (!(tpm2 || fido2 || full) && (cryptsetup -> luks)));
| 23:36:43 |
| @elvishjerricco:matrix.org | I don't even know what it means anymore | 23:36:50 |
| @elvishjerricco:matrix.org | I think it translates to "if we have luks, tpm, or fido, then we don't actually care unless we have cryptsetup too. But also, if we're not even doing systemd initrd, then tpm, fido, and full systemd aren't important, but cryptsetup is but only if we also have luks" | 23:39:22 |
| @elvishjerricco:matrix.org | like wut | 23:39:25 |
 emily | sometimes a non-normalized/golfed boolean expression is more readable :) | 23:52:13 |
| @elvishjerricco:matrix.org | It's... just asking a lot of people to maintain this coded lol so it's a good thing it's in a throwaway gist instead of an actual repo | 23:55:07 |
| @elvishjerricco:matrix.org | * It's... just asking a lot of people to maintain this code lol so it's a good thing it's in a throwaway gist instead of an actual repo | 23:55:16 |
| @elvishjerricco:matrix.org | * It's... just asking a lot of people to maintain this code lol so it's a good thing it's in a throwaway gist instead of an actual repo! | 23:55:27 |
