logoalt Hacker News

nylonstrung • today at 1:23 PM • 0 replies • view on HN

Yeah 100% those are purchased/fake

Lean4 itself has 9k