Apparently, it has already been around since 2018: https://blog.getleon.ai/the-story-behind-leon/
Feb 15, 2019 and 64 comments at https://news.ycombinator.com/item?id=19152561 (mentioned in your link)
Sept 4, 2022 and 123 comments at https://news.ycombinator.com/item?id=32714381