__zack

3 ms·

1. 1.▲
   by __zack 11mo ago

   It looks like the author did in fact update their article to disclose AI use: > Certain sections of this content were grammatically refined/updated using AI assistance > I don't know how to write an emdash Same here, and at
2. 2.▲
   by __zack 4y ago

   Interesting project. How does i2 compare with other languages used in verification / theorem proving, such as Agda, Lean, Isabelle, etc? From your site: > i2forge is a commercial venture, unlike i2 How are you planning to monetize i
3. 3.▲
   by __zack 5y ago

   The difference is between exchanging tether and redeeming tether. Exchanging tether is easy as long as there’s a counterparty willing to buy your tether in exchange for USD. But in principle you should be able to go to the “tether mint”, gi
4. 4.▲
   by __zack 5y ago

   It’s just over half a year
5. 5.▲
   by __zack 5y ago

   > the functions that actually need to be aware of secrets can check for the subclass I feel like this is an antipattern in OOP. Shouldn’t the functions just be defined to take in parameters of type SecureString instead? I think this viol