travis86

4 ms·

1. 1.▲
   by travis86 2y ago

   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?
2. 2.▲
   by travis86 2y ago

   How have you liked using zig? What are three things that you love about zig? What are three things that annoy you about zig?
3. 3.▲
   by travis86 2y ago

   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?
4. 4.▲
   by travis86 2y ago

   I am very curious how you would define 'reasoning'.
5. 5.▲
   by travis86 4y ago

   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?
6. 6.▲
   by travis86 5y ago

   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
7. 7.▲
   by travis86 8y ago

   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.
8. 8.▲
   by travis86 9y ago

   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?