guille
@lmao.bsky.social
I sometimes do math and stuff
chief scientist @baincapitalcrypto.com
chief scientist @baincapitalcrypto.com
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!)
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!
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...
anon, what if you could train your own personal offline model, on your phone, suited to your tastes, filtering posts with ~ bad vibes ~ and letting good ones through?
well, have i got the thing for you
well, have i got the thing for you
February 23, 2025 at 1:14 AM
anon, what if you could train your own personal offline model, on your phone, suited to your tastes, filtering posts with ~ bad vibes ~ and letting good ones through?
well, have i got the thing for you
well, have i got the thing for you
brought to you by "oh shit we accidentally made a computer" (many such cases)
January 31, 2025 at 9:17 PM
brought to you by "oh shit we accidentally made a computer" (many such cases)
the main change is the addition of one last variation (that is not zero overhead) but might be useful for recursion
we were thinking of having this as a separate note, but thought this would be a better fit!
we were thinking of having this as a separate note, but thought this would be a better fit!
January 9, 2025 at 5:50 PM
the main change is the addition of one last variation (that is not zero overhead) but might be useful for recursion
we were thinking of having this as a separate note, but thought this would be a better fit!
we were thinking of having this as a separate note, but thought this would be a better fit!
ZODA w/ @alexhevans.bsky.social and @nicomnbl.bsky.social : now up on eprint!
(with a few updates and smol changes to the appendix)
(with a few updates and smol changes to the appendix)
January 9, 2025 at 5:50 PM
ZODA w/ @alexhevans.bsky.social and @nicomnbl.bsky.social : now up on eprint!
(with a few updates and smol changes to the appendix)
(with a few updates and smol changes to the appendix)
hope everyone had a lovely thanksgiving
November 30, 2024 at 12:54 AM
hope everyone had a lovely thanksgiving
i too seek to discover a place, feel let down, and christen it something absurd out of sheer pettiness
November 28, 2024 at 6:22 PM
i too seek to discover a place, feel let down, and christen it something absurd out of sheer pettiness
yeah wtf even happened over here (i don’t remember)
November 28, 2024 at 10:58 AM
yeah wtf even happened over here (i don’t remember)
looks like yes (in some ways)
November 28, 2024 at 2:00 AM
looks like yes (in some ways)
even worse, it looks like we are ~401000 words in
100% yappers
100% yappers
November 25, 2024 at 10:33 PM
even worse, it looks like we are ~401000 words in
100% yappers
100% yappers
quickly ran the numbers and it looks like my coauthors and I have written a total of 1075 pages of papers in 12pt full page (~1in margins), single space, and letter size, ofc
November 25, 2024 at 10:29 PM
quickly ran the numbers and it looks like my coauthors and I have written a total of 1075 pages of papers in 12pt full page (~1in margins), single space, and letter size, ofc
universal tiny computer ai god in your pocket
November 22, 2024 at 4:36 PM
universal tiny computer ai god in your pocket
