Eddy Lazzarin ๐ ๐ญ
@eddylazzarin
CTO @a16zcrypto
ID: 1147599431568482304
https://lazzar.in 06-07-2019 20:13:20
1,1K Tweet
19,19K Followers
4,4K Following
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
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! ๐ซก
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 -
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.