alt Hacker NewsThe whole original conversation was very smelly from the very start, 20k stars included on the GitHub page with lost history.
Replies
monster_truck • today at 1:09 PM
Does anyone know where they bought the popularity and contributors from? I would like to do this for my joke language to fool unsuspecting users into using it seriously
➕ show 2 replies
nylonstrung • today at 1:23 PM
Yeah 100% those are purchased/fake
Lean4 itself has 9k
The Bend1 launch was very successful, with 1000+ hn upvotes [0] and with several youtube videos with up to 1M+ views [1] [2] - that's where a lot of the popularity came from, I believe. They just recycled the Bend1 repo for Bend2 even though it's a completely different language.
[0] https://news.ycombinator.com/item?id=40390287
[1] https://www.youtube.com/watch?v=HCOQmKTFzYY
[2] https://www.youtube.com/watch?v=NaytZOiX3fs