2021-07-25 10:28:06 <remexre     > siraben: are you going to icfp?
2021-07-25 10:39:56 <siraben     > remexre: I plan to, but haven't signed up yet.
2021-07-25 10:40:01 <siraben     > Are you?
2021-07-25 10:40:27 <siraben     > Nice that ICFP is happening online. Looks like POPL decided to go in-person in January.
2021-07-25 10:45:23 <remexre     > yeah, I just signed up this morning
2021-07-25 10:45:38 <remexre     > also switched to nixos, crossing stuff off the to-do list lol
2021-07-25 10:45:52 <remexre     > student reg is only free till aug7, as a fyi
2021-07-25 11:33:03 <siraben     > remexre: oh great! well, I'm a fulltime user of NixOS so do let me know if you have questions :)
2021-07-25 11:33:30 <remexre     > yeah, so far my main struggle has been tearing out all my awful hacks from nix-on-gentoo lol
2021-07-25 11:34:12 <siraben     > oh haha sounds like a cursed combination
2021-07-25 11:35:20 <remexre     > yeah, most of my machines have _some_ peculiarity around how they boot (e.g. need to start some daemon in the initramfs, fake efi implementation, etc.), so I usually have wanted to put together the bootloader/kernel/initramfs by hand
2021-07-25 11:36:58 <remexre     > but looks like it Just Works on my desktop these days (though I haven't set up the trick where the initramfs contains a key for the disks + encrypted /boot so I only need to type in one password)
2021-07-25 19:52:36 <dave0       > maw
2021-07-25 19:55:07 <imode       > wam
2021-07-25 22:37:48 <dave0       > re maw