BrittonR·5 ay önce·discussThanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·7 ay önce·discussThis is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....