Formal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com2 points·by firsching·năm ngoái·0 comments
Trace pixels to vectors in full color using AIvectorizer.ai1 points·by firsching·3 năm trước·0 comments
firsching·năm ngoái·discusshttps://github.com/mo271/arxiv-comments...and here the tool to quickly inspect comments that were left in the LaTeX
firsching·2 năm trước·discussI'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
firsching·2 năm trước·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!