Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-05-12 | add git to infra server | Ben Sima | |
2019-05-12 | wip: upgrade nixos, mailserver, and enable znc | Ben Sima | |
2019-04-24 | formatting | Ben Sima | |
2019-03-02 | Flesh out build topology | Ben Sima | |
2019-02-27 | I think I need these for jupyter | Ben Sima | |
2019-02-27 | Proxy websockets for jupyter notebooks | Ben Sima | |
2019-02-25 | Add notebook server | Ben Sima | |
2019-02-23 | Get rid of cabal | Ben Sima | |
Using just nix and ghc, ah it's so nice. | |||
2019-02-23 | Reorganize directory | Ben Sima | |