HN Explorer

firsching

↗ HN profile [ 30.4 ms ] full profile
Karma
7
Created
July 5, 2023 (3y ago)
Submissions
0
  1. Formal Conjectures: Contribute your favorite conjecture (leanprover.zulipchat.com)
    2 points 0
  2. Show HN: ArXiv Comment Extractor (firsching.ch)
    2 points 1
  3. High Dynamic Range Explained (blog.adobe.com)
    4 points 0
  4. What is going on with emojis on GitHub? (firsching.ch)
    3 points 0
  5. Trace pixels to vectors in full color using AI (vectorizer.ai)
    1 points 0
  6. 1 points 0