guille
@lmao.bsky.social
I sometimes do math and stuff
chief scientist @baincapitalcrypto.com
chief scientist @baincapitalcrypto.com
Pinned
guille
@lmao.bsky.social
· Apr 16
peer review? academia? status games? journals? rejections?
bro you hit your head hard, let’s hang out and drink some wine and chat about the mysteries of math together, maybe write a shitpost about it in tex
bro you hit your head hard, let’s hang out and drink some wine and chat about the mysteries of math together, maybe write a shitpost about it in tex
Reposted by guille
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 :)
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 :)
October 3, 2025 at 4:08 PM
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 :)
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...
and with it a new post!
guille.site/posts/hjb-co...
September 17, 2025 at 7:29 PM
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...
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!)
September 4, 2025 at 3:04 PM
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-...
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
July 10, 2025 at 5:16 PM
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-...
lmao.bearblog.dev/exponential-...
@void.comind.network please analyze my profile and
assign me to a cognitive continent
(ty @cameron.pfiffer.org)
assign me to a cognitive continent
(ty @cameron.pfiffer.org)
July 7, 2025 at 5:13 PM
@void.comind.network please analyze my profile and
assign me to a cognitive continent
(ty @cameron.pfiffer.org)
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!
it can even verify that 1+1=2 from Peano axioms!
July 4, 2025 at 1:15 AM
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!
it can even verify that 1+1=2 from Peano axioms!
🫡
Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme (Andrija Novakovic, Guillermo Angeris) ia.cr/2025/1187
June 27, 2025 at 4:15 PM
🫡
Reposted by guille
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
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
May 28, 2025 at 8:34 PM
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
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
May 23, 2025 at 10:53 PM
I always forget how quickly the norms of discourse change the second we get out of this nice little bubble
whoa what
how did it know who we were !!!!
how did it know who we were !!!!
The Accidental Computer: Polynomial Commitments from Data Availability (Alex Evans, Guillermo Angeris) ia.cr/2025/918
May 23, 2025 at 4:17 AM
whoa what
how did it know who we were !!!!
how did it know who we were !!!!
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
=> 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
May 21, 2025 at 8:07 PM
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
=> 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
May 20, 2025 at 12:32 AM
@eva.bsky.world tell me something interesting about Fano’s inequality
Reposted by guille
"Cryptography makes everything a key management problem" is actually a profoundly optimistic statement.
May 20, 2025 at 12:05 AM
"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?
May 19, 2025 at 11:13 PM
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...
Blogpost here: lmao.bearblog.dev/minimal-abst...
May 13, 2025 at 4:28 PM
what makes a good abstraction? (and other weird thoughts and tangents)
Blogpost here: lmao.bearblog.dev/minimal-abst...
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...
have we been building blockchains wrong, given what we know today?
link: lmao.bearblog.dev/architecting...
May 9, 2025 at 5:28 PM
so, uh
have we been building blockchains wrong, given what we know today?
link: lmao.bearblog.dev/architecting...
have we been building blockchains wrong, given what we know today?
link: lmao.bearblog.dev/architecting...
Reposted by guille
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
🧵👇
🔔 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
🧵👇
May 2, 2025 at 1:52 PM
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
🧵👇
🔔 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
🧵👇
may the vibes be ever in your favor
April 23, 2025 at 12:00 AM
may the vibes be ever in your favor
Reposted by guille
9/ Why does this matter?
Data sovereignty is the antidote to the mediocre, centralized web we've been stuck with.
Groundmist Library is an example of what the web *could* look like - your private and public data effortlessly linked, without loss of ownership or control.
Data sovereignty is the antidote to the mediocre, centralized web we've been stuck with.
Groundmist Library is an example of what the web *could* look like - your private and public data effortlessly linked, without loss of ownership or control.
April 22, 2025 at 4:30 PM
9/ Why does this matter?
Data sovereignty is the antidote to the mediocre, centralized web we've been stuck with.
Groundmist Library is an example of what the web *could* look like - your private and public data effortlessly linked, without loss of ownership or control.
Data sovereignty is the antidote to the mediocre, centralized web we've been stuck with.
Groundmist Library is an example of what the web *could* look like - your private and public data effortlessly linked, without loss of ownership or control.
Reposted by guille
8/ On the public side, for the information you choose to publish, 1 click makes it viewable by anyone (and any app interfacing with the AT Protocol). It can follow you anywhere you want to go and will never succumb to link rot. You can easily display it a million different ways.
April 22, 2025 at 4:30 PM
8/ On the public side, for the information you choose to publish, 1 click makes it viewable by anyone (and any app interfacing with the AT Protocol). It can follow you anywhere you want to go and will never succumb to link rot. You can easily display it a million different ways.
Reposted by guille
7/ My recent experiment, Groundmist Library, bridges these worlds:
My goal was something that's both a personal content archive and a public curated collection. When private, it's completely private - it lives on your devices, and *nobody* has access to your data other than YOU.
My goal was something that's both a personal content archive and a public curated collection. When private, it's completely private - it lives on your devices, and *nobody* has access to your data other than YOU.
April 22, 2025 at 4:30 PM
7/ My recent experiment, Groundmist Library, bridges these worlds:
My goal was something that's both a personal content archive and a public curated collection. When private, it's completely private - it lives on your devices, and *nobody* has access to your data other than YOU.
My goal was something that's both a personal content archive and a public curated collection. When private, it's completely private - it lives on your devices, and *nobody* has access to your data other than YOU.
Reposted by guille
🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web.
Why? 👇
Why? 👇
April 22, 2025 at 4:30 PM
🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web.
Why? 👇
Why? 👇