Anyone familiar with the work Synthetic Minds is doing? They've got an HN jobs post:

Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stealth and are currently in the process of doing user studies.

Their site and Twitter look like it's about automated generation of smart contracts, and they held a summit on program synthesis last fall? https://synthetic-minds.com/

Looks interesting

Cool name. Not sure I buy the automated part of writing software ...