HN Explorer

saithound

↗ HN profile [ 67.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Some Junk Theorems in Lean (github.com)
    91 points 10
  2. ArXiv is hiring, moving to Google Cloud (info.arxiv.org)
    3 points 0
  3. Hungary fines Booking.com operator 6.1M pounds for unfair practices (marketscreener.com)
    30 points 6