travis86·2 वर्ष पहले·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 वर्ष पहले·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 वर्ष पहले·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?