9 ms·
In case you are wondering, the editor used at this talk is called "Mu" and got previously discussed on HN about three months ago [0]. [0]: https://news.ycombin
by miduil 8y ago
In case you are wondering, the editor used at this talk is called "Mu" and got previously discussed on HN about three months ago [0].
[0]: https://news.ycombinator.com/item?id=17638067 https://news.ycombinator.com/item?id=17638067