work-related negativity 

otini boosted
otini boosted

More cuuuuurves 

otini boosted

More cuuuuurves 

otini boosted

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

Very cool!

otini boosted
otini boosted

Haskell question, C bindings and c2hs 

@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. :)

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

@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

@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.

Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.