Age | Commit message (Expand) | 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-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 |
2019-02-23 | Reorganize directory | Ben Sima |