Lighter's custom ZK circuits have been formally verified by Zellic. Dive into the math here! x.com/zellic_io/status/20665…

I seriously would give up the entire Fast and the Furious franchise for a sequel to this.

Don't forget - we launched a Skill, which would've made anyone using it a security contest champion a year ago. It's more relevant than ever right now, many security researchers use it on bug bounties. Use latest and greatest tech, build on top of it🫡 pashov.com/solidity-auditor-…

"You are sheltering a Mythos-level model in your server room, are you not?"

Unstoppable, uncensorable, global decentralized AI seems like a good investment bet to make. The “Bitcoin of AI” so to say…

updated fable eval scores

fable just wiped my worktree, erasing some git-ignored files and directories, as well as some unpushed WIPs. it wrote this long apologetic note. then auto-suggested, as my reply, “don’t worry about it”

Screenshot is from my current Decred Capital Access MVP. Vibe-coded with the tools @decredproject already has the @LiquidiumFi SDK, testing a simple idea: borrow against DCR without selling it. Very early, very demo-mode. Fresh experiments for the $DCR ecosystem.

It’s live on testnet x.com/zengjiajun_eth/status/…

AMMs are machine native market structure. Humans built order books. Agents will want programmable liquidity they can route through, price against, and plug into automatically.

How it feels to pivot back to open source models for your internal AI reseach after Misanthropic releases Claude Sophon 5 and bans certain types of math from its outputs

There is no bottom 🌈

Almost 4 years later and getting ready to hear the obituaries once again while valuation readings enter deep value. Time is a flat circle.

This is what the AI brain looks like.

I see a lot of doomposting about Bitcoin and crypto because crypto is somehow not the favourite toy of the market at the moment (AI stonks are). I want to remind that crypto is not a toy, and it's serving its true purpose - self-sovereignty of every user, financial rails which are always on and do not stop working. Institutions are also into adopting something which has no clunky intermediaries now, so fundamentally we are better than ever. AI is foundational, but it will go through its own valley of death: replacing humans by AI would put AI outputs into AI inputs, quality will degrade, and costs will grow exponentially to maintain it. Large companies who push AI everywhere aren't necessarily using it correctly, so they report some overly large expenses. Both technologies - crypto and AI - are foundational. They are not the same thing though, and they are not competing with each other in principle. Crypto is the future of Finance!

PropAMMs on @ethereum: 1.5 bps tighter than @binance VIP9. 8 bps tighter than @Uniswap. The best execution venue for ETH is no longer a CEX. Onchain is already winning on price! This is only the case for less than 10k tades, but the reason isn't technical, it's just a lack liquidity. Liquidity will grow with time and more MM and PropAMMs will keep entering the game. With time between Ethereum and CEXes and other L1s will become even bigger. Ethereum is about to become the global financial hub. Still many things to improve. We're working all day long to deliver. Amazing work @titanbuilderxyz and @class_lambda.

We are in a golden age where, if you are good at systems and understanding, AI increases your abilities by an order of magnitude. But if you are not good at it, you just spin your wheels and end up nowhere helpful

Building index-tracking assets on top of options instead of debt ethresear.ch/t/building-inde… What if the use options as the base of defi, instead of CDPs and liquidations? So instead of extreme price movements creating a sharp and global "you get liquidated" effect, instead your exposure to the index diverges quadratically from your preferred exposure in a smoother way? A key benefit is getting rid of the need for instant oracles, and instead making everything work on top of "slow oracles" (ie. the type that prediction markets use) This design has a significant downside - the need to do regular rebalancing - and an open question of whether and how this rebalancing can be made slippage-resistant enough. But it's worth considering and trying IMO. I would feel much safer holding algostables inside something like this, than in something that depends on an oracle that has to give real-time answers (and therefore could be tricked into giving wrong real-time answers with no time for human recourse).

Teddy Roosevelt regularly staged boxing matches in the White House. He lost sight in one eye from a detached retina because he himself was fighting at the White House in one of these matches. And the Founding Fathers regularly dueled with pistols, one of them died doing so.