A shallow dive into formal verification
by mishaderidder.eth12435 🥝8heth.limo
Halupedia
by mishaderidder.eth12435 🥝2dhalupedia.com
@hagaetc
@hagaetc

We’re restructuring Dune to sharpen our focus around the core data products thousands of customers across the crypto industry rely on. That unfortunately means we’ve let 25% of the team go this week. These are exceptional people I can wholeheartedly recommend — ping me if you’re hiring top crypto talent. Going forward, Dune is all-in on two shifts: AI and institutions coming onchain. All the way back in 2018 Dune pioneered crypto data accessibility, and we’re excited to accelerate that faster than ever with AI. We’re the only player who has done the hard work of building the end-to-end stack for crypto data: ingestion, QA, storage, cleaning, normalizing and querying. With Dune MCP, teams and agents can now build dashboards and workflows without needing to know anything about SQL nor data infrastructure (and associated bills). Dune already serves virtually every leading crypto company, and now also the world’s most forward-leaning financial institutions. As currencies, stocks, bonds, commodities and more move onchain, we’re investing heavily in our data layer and white-glove service to power institutions. For 8 years we've grown through multiple rollercoaster cycles while other data providers have come and gone. We remain well capitalized, excited about the future, and committed to our mission of making crypto data accessible. The Data Must Flow.

x.com
by mishaderidder.eth12435 🥝2dfirefly.social