Re: undefined #3 Post by grzm » Mon, Aug 01, 2022, 9:25 PM UTC There’s a hiring thread explicitly for this:https://news.ycombinator.com/item?id=32306920