| user: | kvlr |
| created: | October 17, 2017 |
| karma: | 163 |
| 1. | |
| 2. | Nextjournal’s New Command Interface(nextjournal.com) |
| 3. | What does it mean to buy a GIF?(jackrusher.com) |
| 4. | The Dynamic Notebook(roadtoreality.substack.com) |
| 5. | Russell's Paradox in Agda(nextjournal.com) |
| 6. | A “petting zoo for code” makes studies easier to reproduce(natureindex.com) |
| 7. | Launch: Nextjournal Public Beta(nextjournal.com) |