Like everyone else I've been playing with agents. But I had two problems: I didn't want to --dangerously-skip-permissions and give Claude access to my entire computer unsupervised. Besides regular agent stupidity, prompt injections are a thing. I couldn't safely run two agents or more on the same repo. I also wanted a solution that would let me edit and run the code on my machine, even if the…
I'm dropping a little library called "okayfail" implementing a Result<Value, Error> type for TypeScript. (Like the Rust Result type, or the NeverThrow TypeScript library.) My favorite feature is the ability to do checked/typed exceptions via generators: declare const numberResult : Result < number , Error > declare function fNumberResult ( ): Result < number , string > declare const shouldSum :…
This is the second article about what I learned about the TypeScript type system while writing a small library. This one is about how TypeScript assigns a type to type variables defined in functions via inference. You can also read the first article about how TypeScript distributes unions . Type variable inference is a complex process. It often does what you expect or want, although when you're…
In the past few weeks I've been writing a little library in TypeScript, and I've learned a lot about the type system in the process. This is the first article, which focuses on how TypeScript deals with unions. Does this typecheck? And if it does, what is the type of x ? function foo ( it : string ): string function foo ( it : number ): number function foo ( it : number | string ): number | string…
Consider the following three facts about wallets: Big wallets are kingmakers. They can easily divert users to chains & apps of their choosing, or even embed their own or their partners' apps. Wallets are UX bottlenecks. It matters little if your chain supports support low block times when metamask is slow as molasses. Or that your chain or app support new amazing RPC methods (for account…
or: How I Learned to Stop Worrying and Love the Dromes I finally got tired of hearing people say that Velodrome/Aerodrome was a ponzi, and having to correct them. Time to set the record straight, while not hiding from the uncomfortable. Table of Contents Background Disclaimer What's a drome? ve(3,3)? MetaDex? Lockonomics? What's being argued Lockonomics explained Basic Plumbing Basic DEX (~…
This blog has been rather less active than it should have been. I, however, have been busy, working at Optimism on Bedrock and Cannon . A lot of the action has instead been on my Twitter . See in particular this thread collecting the biggest hits. For discoverability and archival purpose, I've ported some of these tweet threads on the block, backdated to the original date. Here they are: ZK…
This is a really nerdy breakdown of the differences between Optimism Bedrock 🗿 and Arbitrum Nitro 🚀 . This is all sourced from my reading of the Nitro whitepaper , and my intimate sensual knowledge of the Bedrock design. This actually started a Twitter thread, but grew way way too big for that. This gets very technical. If you want to follow & get confused, I recommend referring to the Bedrock…
This was originally a tweet thread that I have reproduced here for discoverability and archive purposes (the copy was done on 25 October 2022). I've only slightly reformatted the text (mostly links), otherwise this is the original version. 1/ I wonder how many people realize a volatile-vs-stable AMM position is an anti-leveraged position whose value varies with the square root of the change in…
This was originally a tweet thread that I have reproduced here for discoverability and archive purposes (the copy was done on 24 October 2022). I've only slightly reformatted the text (mostly links), otherwise this is the original version. 1/54🧵 Thread on @VelodromeFi and why it's a superior system for incentivizing liquidity. 2/ Liquidity is super important for project tokens. A lack of…
This was originally a tweet thread that I have reproduced here for discoverability and archive purposes (the copy was done on 24 October 2022). I've only slightly reformatted the text (mostly links), otherwise this is the original version. 1/16/ Earlier this week, @liamihorne asked if anybody knew about the design of the $DJED "algorithmic" stablecoin from @COTInetwork I was curious, so I gave it…
This was originally a tweet thread that I have reproduced here for discoverability and archive purposes (the copy was done on 23 October 2022). I've only slightly reformatted the text (mostly links), otherwise this is the original version. With the Cannon bug bounty out, it's time for me to take my best stab at describing what it is, and how it works. Cannon is our next-gen EVM-equivalent fault…
In my previous post — Olympus DAO from Primary Sources — we looked at exactly how OlympusDAO worked by digging into the smart contracts implementing it. If you're jumping aboard this wagon, OlympusDAO is a decentralized app that turned quite a few heads due to the high promised APY, sharp price increase, and even sharper market cap increase. Last time we looked at what the protocol did…
This was originally a tweet thread that I have reproduced here for discoverability and archive purposes (the copy was done on 23 October 2022). I've only slightly reformatted the text (mostly links) and updated the line of code statistics. 1/ At EthDenver, people keep asking me on my perspective on optimistic rollups vs zkRollups. Unfortunately, zkRollups have managed to occupy the whole narrative…
If you're following decentralized finance (aka DeFi) , you've probably heard about OlympusDAO . OlympusDAO describes itself as a "decentralized reserve currency". In the non-crypto worlds, a reserve currency is a foreign currency held by other governments to back and stabilized their own currency. Interestingly, OHM is itself a currency backed by a reserve ("the treasury") of other assets (mostly…