BrittonR·قبل 5 أشهر·discussThanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·قبل 7 أشهر·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....