Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by saithound
Some Junk Theorems in Lean
91 points
saithound
2025-12-23T11:53:19Z
github.com
ArXiv is hiring, moving to Google Cloud
3 points
saithound
2023-06-14T09:06:41Z
info.arxiv.org
Hungary fines Booking.com operator 6.1M pounds for unfair practices
30 points
saithound
2020-04-28T21:22:33Z
www.marketscreener.com