Viewing profile — __zack

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

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

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…

It’s just over half a year

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