travis86

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?

How have you liked using zig? What are three things that you love about zig? What are three things that annoy you about zig?

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?

I am very curious how you would define 'reasoning'.

I am curious about the country mentioned that has instant payments between banks, and thus Wave pulled out. What's the country's name and why aren't more countries like that? What's their secret?

I also find this interesting. Should the data structure really the primary entity though? One can imagine the same data being organized in different data structures with different performance characteristics, functionality, etc. What if an App node wants to alter the data structure. Any other App node that is dependent on the data from a different node will then have to be rewritten.

What one wants is the ability to query the data of another program and send external commands to that program to alter the data. The data structure itself is somewhat irrelevant, don't you think?

Your company sounds like somewhere I'd like to work. If you are comfortable with it, could you email me the name? My email address is in my profile.

I've never been on the darknet. Where are all these reviews? Are there different drug selling sites where the sites are trusted enough not to remove negative reviews?