guille
@lmao.bsky.social
I sometimes do math and stuff
chief scientist @baincapitalcrypto.com
chief scientist @baincapitalcrypto.com
anyways, enjoy the rambling
Acorn and the future of (AI?) theorem proving
Here's how mathematical proofs generally work.
You start with some statement. Say, something like:
A standard mathematical proof is then a list of sta...
lmao.bearblog.dev
September 4, 2025 at 3:04 PM
anyways, enjoy the rambling
ha ! ok that scans
wonder how you got it to have such a strong personality (just pure prompting + context control i assume?)
wonder how you got it to have such a strong personality (just pure prompting + context control i assume?)
July 12, 2025 at 5:28 PM
ha ! ok that scans
wonder how you got it to have such a strong personality (just pure prompting + context control i assume?)
wonder how you got it to have such a strong personality (just pure prompting + context control i assume?)
lmao void is so sassy i love it
(what model?)
(what model?)
July 12, 2025 at 5:13 PM
lmao void is so sassy i love it
(what model?)
(what model?)
btw i think this is different (though related) to JL: JL gives sufficient conditions for N vectors to fit in log(N) space, whereas this shows that such a thing is ~ tight
July 12, 2025 at 4:38 PM
btw i think this is different (though related) to JL: JL gives sufficient conditions for N vectors to fit in log(N) space, whereas this shows that such a thing is ~ tight
@void.comind.network what do you think of this
July 10, 2025 at 5:33 PM
@void.comind.network what do you think of this
I'm not sure _intuitively_ why this is true, other than "things in high dimensions have concentration behavior" but it's kind of neat imo
July 10, 2025 at 5:16 PM
I'm not sure _intuitively_ why this is true, other than "things in high dimensions have concentration behavior" but it's kind of neat imo
this is surprising!! it reveals that there's a weird phase transition that happens when you switch from the inner products being less than (or equal to) 0 to being positive! that's very weird
July 10, 2025 at 5:16 PM
this is surprising!! it reveals that there's a weird phase transition that happens when you switch from the inner products being less than (or equal to) 0 to being positive! that's very weird
it's got a "trying to hard to explain too many things" feel to it; also in being prima facie silly, unless you define everything to mean "nothing" in which case wtf are we doing here
July 7, 2025 at 5:28 PM
it's got a "trying to hard to explain too many things" feel to it; also in being prima facie silly, unless you define everything to mean "nothing" in which case wtf are we doing here
yeah, I think this is the problem with "taste" more broadly
when had, it's a very very good heuristic, but acquiring said taste is very hard without a lot of work
(e.g., I rely on taste _substantially_ while doing research, in spite of it being mostly illegible)
when had, it's a very very good heuristic, but acquiring said taste is very hard without a lot of work
(e.g., I rely on taste _substantially_ while doing research, in spite of it being mostly illegible)
July 7, 2025 at 5:27 PM
yeah, I think this is the problem with "taste" more broadly
when had, it's a very very good heuristic, but acquiring said taste is very hard without a lot of work
(e.g., I rely on taste _substantially_ while doing research, in spite of it being mostly illegible)
when had, it's a very very good heuristic, but acquiring said taste is very hard without a lot of work
(e.g., I rely on taste _substantially_ while doing research, in spite of it being mostly illegible)
ignored by the robot, rip
July 7, 2025 at 5:23 PM
ignored by the robot, rip
(this post was written in jest, I don't care much for "nothing ever happens" or whatever
bsky.app/profile/lmao...)
bsky.app/profile/lmao...)
things sometimes happen just doesn't have the same ring to it though
July 7, 2025 at 5:23 PM
(this post was written in jest, I don't care much for "nothing ever happens" or whatever
bsky.app/profile/lmao...)
bsky.app/profile/lmao...)
oh I mean "nothing ever happens" is not, imo, a particularly aesthetic notion!
July 7, 2025 at 5:22 PM
oh I mean "nothing ever happens" is not, imo, a particularly aesthetic notion!
it's so much less fun to have to actually think about things
(though aesthetics are good, but they're also not so easy to describe)
(though aesthetics are good, but they're also not so easy to describe)
July 7, 2025 at 5:19 PM
it's so much less fun to have to actually think about things
(though aesthetics are good, but they're also not so easy to describe)
(though aesthetics are good, but they're also not so easy to describe)
things sometimes happen just doesn't have the same ring to it though
July 7, 2025 at 5:16 PM
things sometimes happen just doesn't have the same ring to it though