Emacs Hyper Notebook
We are developing a better way to do “Jupyter notebooks” using Emacs. This recovers some of the Research Collab ideas developed by Aaron Krowne. It should integrate features such as writing and task management (e.g., Org) Program evaluation (e.g., Maxima), Typesetting and presentation (e.g., slides via LaTeX), and navigation (e.g., Org Roam for displaying topics as a graph). We should be clear that the various technologies used are slot-fillers and they might be replaced with other things, or augmented (e.g., Lean for formal verification of some of the above?). A useful input to this process would be implementation of examples without integration. This can then be redone in a more integrated fashion.
An integration using existing technologies will have limitations, once we have this demos then we will see some of the gaps and how more advanced tech could be useful. (For example, Ray’s work with Gerschom could turn out to be useful here.)
Partial prototypes
How far can we go…
- Through Roam? (Talk to Connor about Roam on Twitter?)
- Through Jupyter?
- Foam? Glamorous Toolkit?
Can we integrate it with existing tools? Do Lenses help with this? Would it play a role as a backend system?
Links to useful resources
- exp2exp/notebooks: This is a Docker configuration for running jupyter with multiple kernels on Arch Linux.
- emacsclient Options - GNU Emacs Manual
- butlerx/wetty: Terminal in browser over http/https. (Ajaxterm/Anyterm alternative, but much better)
- xtermjs/xterm.js: A terminal for the web
- https://twitter.com/cianbutlerx
- tsl0922/ttyd: Share your terminal over the web
- yudai/gotty: Share your terminal as a web application
- butlerx/wetty - Docker Hub
- Setup Web Terminal using Wetty Docker Image | by Chairat Onyaem (Par) | Medium
- krishnasrinivas/wetty - Docker Hub