Formal Conjectures: Contribute your favorite conjectureleanprover.zulipchat.com2 points·by firsching·पिछला वर्ष·0 comments
firsching·पिछला वर्ष·discusshttps://github.com/mo271/arxiv-comments...and here the tool to quickly inspect comments that were left in the LaTeX
firsching·2 वर्ष पहले·discussI'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
firsching·2 वर्ष पहले·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!