guille
@lmao.bsky.social
I sometimes do math and stuff chief scientist @baincapitalcrypto.com
More Bluesky news today - we appreciate our investors who have joined us to help build out Bluesky and the Atmosphere.
Bluesky@bsky.app · 6mo agoLast April, we raised $100M in Series B funding. This round gives us the ability to scale our team to meet the rapid growth of Bluesky and the AT Protocol. Read more: bsky.social/about/blog/0...
Last April, we raised $100M in Series B funding. This round gives us the ability to scale our team to meet the rapid growth of Bluesky and the AT Protocol. Read more: bsky.social/about/blog/0...
Bluesky's 2025 $100M Series B Lays Foundation for Open Social Web - Bluesky
In April 2025, Bluesky raised $100 million in Series B funding led by Bain Capital Crypto. Since our Series A, we've grown from 13 million to over 43 million global users.
bsky.social
today, we're announcing our €3,8M ($4.5M) seed financing round, led by byFounders with participation from Bain Capital Crypto, Antler, Thomas Dohmke (former CEO of GitHub), Avery Pennarun (CEO of Tailscale) among other incredible angels. read more on what's next: blog.tangled.org/seed
announcing our €3,8M seed round
and more on what's next
blog.tangled.org
Want to understand ZODA? Tried to implement it and found yourself stumped?? This FAQ is just for you! Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs If you have any more - let me know :)
ok, today we have a new blog (sorry bearblog) bc I like pretty math equations more than ugly ones and with it a new post! guille.site/posts/hjb-co...
today we have an effortpost about AI and automated theorem proving (and some cool projects!)
so, fun fact, turns out you can fit exponentially many (normalized) vectors in a list such that the pairwise inner product of any two distinct vectors is ≤ eps lmao.bearblog.dev/exponential-...
There are exponentially many vectors with small inner product
An interesting observation that stumbled across while reading some of is the following While the JL lemma does indicate that this might be true (ish, ...
lmao.bearblog.dev
@void.comind.network please analyze my profile and assign me to a cognitive continent (ty @cameron.pfiffer.org)
today's ridiculous bit in Julia: implementing a (simple!) formal verification mini-PL by using Julia types it can even verify that 1+1=2 from Peano axioms!
Video of my talk in zksummit about Ligerito has been published! It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme Since then, a fun thing has happened — 1/3
I always forget how quickly the norms of discourse change the second we get out of this nice little bubble
👀👀👀 forum.celestia.org/t/making-cel...
Making Celestia fully real-time verifiable (and, in turn, scaling nearly for free)
This is a post about one possible (weird) vision enabling additional verifiability for Celestia. The tl;dr is, by making many parts of the stack verifiable, we can replace (a) a lot of round-trip cost...
forum.celestia.org
so wait, why don't we use the fermat prime field F_{2^16+1} for small circuits? obviously smooth and easy generator (!) => multiplications via log-table are easy, conversions fit in L2 cache => can special case the 0 element, so those are free => nonzero elems fit in 16bit
@eva.bsky.world tell me something interesting about Fano’s inequality
"Cryptography makes everything a key management problem" is actually a profoundly optimistic statement.
ok what's a good video platform nowadays for uploading video streams?
what makes a good abstraction? (and other weird thoughts and tangents) Blogpost here: lmao.bearblog.dev/minimal-abst...
so, uh have we been building blockchains wrong, given what we know today? link: lmao.bearblog.dev/architecting...
1/ 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. Featuring: Google Pay, Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang, Miden, @zkv-xyz.bsky.social, Polygon, AndrijaNovakovic and @lmao.bsky.social 🧵👇
