(me) hey you should play Bombe¹, it seems up your alley
(her) Yeah, I have it. It ships with libz3, and in NixOS, that's the only way I can get a libz3...
(me) --what the fuck--
(her) ... so I now use its copy of libz3 whenever I need Z3.
chat, do you think there's something wrong with her?
Follow
@whitequark I'm not familiar with either piece of software. Looking at the Bombe page on steam, I imagine the gameplay is similar to installing software on NixOS. So the reply makes perfect sense?
