How I'm able to take notes in mathematics lectures using LaTeX and Vim (2019)

Re:How I'm able to take notes in mathematics lectures using ... by ykonstant on Monday February 05, 2024 @08:09AM (#39260855)

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.

[ Parent | on HN ]

Re:How I'm able to take notes in mathematics lectures using ... by reuben364 on Monday February 05, 2024 @08:20AM (#39260939)

I didn't expect Lean 4 in this context.

[ Parent | on HN ]

Re:How I'm able to take notes in mathematics lectures using ... by ykonstant on Monday February 05, 2024 @08:40AM (#39261089)

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).

[ Parent | on HN ]