ASCII plot library

Stream: general

[Zoltan A. Kocsis (Z.A.K.)]

Nice work!

I think the name is misleading, since │ is not an ASCII character (although the similar-looking | is), and neither is ─ (although the similar-looking - is). Since you require Unicode anyway, take a look at Python's uniplot: IIRC the ideas used there might allow you to quadruple the resolution, which would make these plots a lot more useful!

Alternative name ideas: InfoPlot or IVPlot?

[Alok Singh]

oh hey you've written about nonstandard analysis!

[Alok Singh]

im a fan

[Alok Singh]

working on adding uniplot rn, curious if o3 is of aid

[Alok Singh]

livestreaming at https://www.youtube.com/watch?v=lN4QwKP_neA

[Shreyas Srinivas]

Discussion thread please

[Alok Singh]

sure. does it go in #general ?

[Shreyas Srinivas]

Along with all messages apart form the original announcement

[Alok Singh]

it says i don't have permission to move messages from one channel (announce) to another (general)

[Notification Bot]

9 messages were moved here from #announce > ASCII plot library by Rob Lewis.

[Violeta Hernández]

Is there any hope whatsoever for a real-valued version of this? (I think the answer is no, given Lean's implementation of reals, but still worth asking)