travis86·2 yıl önce·discussKudos for going hard core into safety, error checking and designing from first principles. How do you plan on making money from all of your work, given this is an open source product?
travis86·2 yıl önce·discussHow have you liked using zig? What are three things that you love about zig? What are three things that annoy you about zig?
travis86·2 yıl önce·discussYou mention in your post that you apply model checking on the actual code. Have you posted something where you go into more detail on that technique?