Hacker News Reader

Using TikZ and UltiSnips in vim, you can create figures very quickly; the following took me 2-3 minutes to make (I had the datafile beforehand):

https://drive.google.com/file/d/1eLe0LdKqPyPdmXel_3DwP9AZcIQ...

I don't know about real-time, though; I'd never try to draw figures in real time.

View on HN

I didn't expect Lean 4 in this context.

I use it a lot for all kinds of programming, including generating, formatting and processing data for various datasets; it is very convenient if you know how to make it work fast (it is not always easy).

Reply on news.ycombinator.com