taktoa

8 ms·

1. 61.▲
   by taktoa 10y ago

   I haven't fully worked through it yet, but I've been really enjoying reading John Baez's Gauge Fields, Knots, and Gravity [1]. [1]: http://www.worldscientific.com/worldscibooks/10.1142/2324
2. 62.▲
   by taktoa 10y ago

   Tony Hoare meets Graydon Hoare :^)
3. 63.▲
   by taktoa 11y ago

   You may be interested in the State of the Haskell Ecosystem [1] and School of Haskell [2]. [1]: https://github.com/Gabriel439/post-rfc/blob/master/sotu.md [2]: https://www.schoolofhaskell.com
4. 64.▲
   by taktoa 11y ago

   I was a bit surprised when I saw the link to the Nix package manager; it seemed rather out of context. I wonder if he just googled Nix and copy-pasted the first result?
5. 65.▲
   by taktoa 11y ago

   You should look at NixOS[1] and GuixSD[2]. [1]: https://nixos.org [2]: http://www.gnu.org/software/guix
6. 66.▲
   by taktoa 11y ago

   I'm guessing the capabilities correspond to polarized substructural types plus additional structure for who can read/write to a given area of memory ( http://www.cs.cmu.edu/~fp/papers/fossacs15.pdf ). i.e.