travis86·2 tahun yang lalu·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 tahun yang lalu·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 tahun yang lalu·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?