[pdfernhout]

Thanks! And at least Hacker News can help: :-) "Ask HN: Who is hiring? (April 2025)" https://news.ycombinator.com/item?id=43547611