travis86·2 年前·議論Kudos 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 年前·議論How 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 年前·議論You 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?