firsching

3 ms·

1. 1.▲
   Formal Conjectures: Contribute your favorite conjecture(leanprover.zulipchat.com)

   2 points by firsching 1y ago|0 comments
2. 2.▲
   by firsching 2y ago

   You can even get sharable links to the comments...
3. 3.▲
   by firsching 2y ago

   https://github.com/mo271/arxiv-comments ...and here the tool to quickly inspect comments that were left in the LaTeX
4. 4.▲
   by firsching 2y ago

   I'm interested in seeing the most fun commented out lines in arxiv papers, do you know any?!
5. 5.▲
   Show HN: ArXiv Comment Extractor(firsching.ch)

   2 points by firsching 2y ago|1 comments
6. 6.▲
   by firsching 3y ago

   > Edge doesn't use Chrome's own codec support. It uses Windows's media framework. JXL is being added to it next year. Interesting!
7. 7.▲
   High Dynamic Range Explained(blog.adobe.com)

   4 points by firsching 3y ago|0 comments
8. 8.▲
   What is going on with emojis on GitHub?(firsching.ch)

   3 points by firsching 3y ago|0 comments
9. 9.▲
   Trace pixels to vectors in full color using AI(vectorizer.ai)

   1 points by firsching 3y ago|0 comments