Formal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com2 points·by firsching·last year·0 comments
Trace pixels to vectors in full color using AIvectorizer.ai1 points·by firsching·3 years ago·0 comments
firsching·last year·discusshttps://github.com/mo271/arxiv-comments...and here the tool to quickly inspect comments that were left in the LaTeX
firsching·2 years ago·discussI'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
firsching·2 years ago·discuss> Edge doesn't use Chrome's own codec support. It uses Windows's media framework. JXL is being added to it next year.Interesting!