Repost of the article that you already posted 15 hours ago: https://news.ycombinator.com/item?id=9802379
In general, a small number of reposts is ok if an article hasn't had significant attention in the last year or so [1]. Letting good stories have a few cracks at making the front page helps mitigate the randomness of what gets traction here.
1. Please see https://news.ycombinator.com/newsfaq.html.
Looks like "taos os" was the thing to search on: https://hn.algolia.com/?query=taos%20os&sort=byDate&prefix&p....