otini @otini@functional.cafe

Currently worrying of being badly judged for not working on my PhD during summer school and holiday.

@typochon I was about to childishly troll you for coming up with a complicated way of plotting the sine function, but you got me bamboozled here

Lecture by Magnus Myreen: a fast and verified interactive theorem prover

Very cool!

@pureevil Yeah, my accusation was false

@pureevil Oh, thank you so much. A research on the words “thunderbird segfault nixos” hadn't given any results when the bug appeared, and I must confess I have been too lazy to file an issue, being on a streak of NixOS-related frustrations.

Just arrived at the Marktoberdorf Summer School in Germany. :) #Marktoberdorf19

@scolobb @samae yeaah it's alright

@rhapsodos Well I had to install Wolfram, so… ^^

@samae The summer school is Marktoberdorf (safety and security of software systems: logic, proofs, applications). :)

@samae No manual entry for nix

@kmicu I didn't know.

Thank you for your support! 😺

I'm going to a summer school and there will probably be stuff to install, and I'm afraid already #NixOS

@kmicu I'm trying to use VirtualBox because I used it before and it just works™, but it doesn't work anymore on my NixOS. 😂

@kmicu @loke Interesting, FHS environments might do what I want, although I'm not sure whether I can install a persistent software with them… but they seem to forbid the use of sudo.

I think I'll gain time by installing this software in a Ubuntu VM.