Viewing profile — 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 produ…

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'…

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 …

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?