8 ms·
There’s no need for this extension: https://news.ycombinator.com/item?id=42425681 https://news.ycombinator.com/item?id=42425681
by chisquared 2y ago
There’s no need for this extension: https://news.ycombinator.com/item?id=42425681 https://news.ycombinator.com/item?id=42425681
- jacobolus 2y agoWell the whole point here is that we're doing geometry. If you just want to do symbol twiddling you don't need the picture at all.