digital assets is the new crypto

What are the performance benefits of EOF (EVM Object Format)? At the Succinct residency, my benchmarks reveal ZK proving EOF is ~3x more efficient and runs 2.69x faster than the current EVM version ⛽ (link below)

can you imagine a future where anyone with a phone is able to access credit instantly? regardless of who they are and where they are first in argentina, soon everywhere. we're experimenting with undercollateralized lending at scale

1/ Meet diego, one of our TLDR fellows this year! Diego is a researcher and protocol engineer who’s currently looking at preventing MEV through economic finality through L2s.

While you were trading fart token diego and cairo have continued to unlock micro lending to anyone with a cellphone. "Credit" is live in the Mini App Store today (Argentina only)

we have entered a new phase of human evolution where feelings are data and intuition is a valid input for decision making. the future is ai operating in the background and humans bifurcating into emotional intelligence-querying oracles and curious, creative, open-minded

Every document that requires logical reasoning to interpret must be formalized github.com/bitlaw-jp/the-…

who’s building a dating app with matching through the deferred acceptance algorithm

has anyone done bayesian optimization in solidity? or things involving gaussian processes in general

🔥 Google DeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable

We've pulled together some of the most interesting research problems in MEV in the new Flashbots Research Problem Database ⚡🤖 It includes completed work, early ideas, WIP, and requests for research in Incentives, cryptography, PBS, TEE, data, and more! flashbots.notion.site/21f6b4a0d87680…