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