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