was about to do a running commentary thing for this while getting my hair dyed but Optimist Prime & Eddy Lazzarin 🟠🔭 dropped enough knowledge to fill 5 encyclopedias so I’m going to have to write a more formal recap — highly recommend listening to the podcast

Seeing a wealth tax being discussed a lot in the US now. Here's a cautionary tale of how the Wealth Tax in Norway has made it a real life Atlas Shrugged story Many countries in Europe have taxed unrealized gains, but later removed it because all of its harmfull side effects.

Periodic reminder that at my website you can find over 1000 pages of lecture notes on algorithms, data science, game theory, market and mechanism design, blockchain protocols, and more (see replies for link)

“AI agents can’t have bank accounts, but they can have crypto wallets.”

I’m excited to announce the 21 startups we’ve selected to join our Crypto Startup Accelerator (CSX) Fall 2024 cohort, which starts this week. Over the next 8 weeks, they’ll get firsthand lessons from top crypto founders, receive guidance and support from a16z crypto’s investing

Announcing HACK UK 2024!! 🇬🇧🇬🇧 Liz Harkavy Anthony Albanese a16z and I are thrilled to announce HACK UK, our first UK hackathon in London! On October 5-6, we’re inviting some of the most talented builders in the UK to compete and collaborate on AI, crypto, healthcare+bio, and

It’s our 50th episode of the web3 with a16z podcast! The episode is on how tech advances thanks to the blockchains/crypto space can be applied to many other industries well beyond. Tim Roughgarden Dan Boneh Sonal Chokshi cover everything from AMMs to credible auctions to DAOs, to

Today we had the opportunity to host Hayden Adams 🦄 and karl.floersch.eth (✨🔴_🔴✨) on stage at CSX NYC for a talk about their early days as web3 founders while they were still suitemates in college. Thank you for coming to share your experience and thoughts with the cohort! 🫡

Few pleasures rival riffing on tech and research for an hour-plus with Dan Boneh and Sonal Chokshi

256-bit fields 🤝 AVX-512 = 🚀 The Jolt team built an AVX-512 library for 256-bit modular arithmetic with up to 16x acceleration and we're open sourcing to accelerate the ecosystem! Background It's common in SNARKs to do operations over very large vectors of field elements. The

here's how it works: 1. copy the contract initcode from etherscan

It’s time to fight for the right to create. Today, a16z crypto, Stand With Crypto🛡️, and OpenSea are kickstarting the Creator Defense Fund, a legal defense fund for creators using blockchain technology to connect with fans, monetize their work, and bring more creativity to the

We are working on an weekend project to implement a universal light node for mobile. Currently, we can connect to the Ethereum mainnet through Helios-JNI-Android (thanks to ncitron.eth for the great work). Upcoming plans: 1. Standardize this repository. 2. Attempt to support

curious what this halmos things is all about? check out the video lessons by Patrick Collins updraft.cyfrin.io/courses/formal… learn more here: github.com/redtrama/aweso…

new pod! lots of game, tech, life and other insights from CCP Hellmar Eddy Lazzarin 🟠🔭 - deep dive into game design, philosophy, and mechanics - creativity within tech constraints (e.g., how to make slow databases fun) - society's under-appreciation of collective suffering -

BTC and ETH ETFs (actually ETPs!) were approved and listed earlier this year. Here's what it means for crypto as an asset class: a16zcrypto.com/posts/article/…

Halmos was used to formally verify components of Uniswap Labs 🦄 v4! Great work from the Trail of Bits team. We're working on some ideas to make Halmos useful for an even greater proportion of tests.

Very happy to announce that Recon now supports Kontrol and Halmos! These tools are very promising and should help you formally verify your fuzz tests with close to zero tweaks

Aleo network is live 🔥 Aleo introduces a new model for decentralized computation that combines confidentiality and scalability. Traditionally, blockchains have suffered from one big limitation: they are fully transparent by design. This is because trust requires verification.