Abe Frandsen

ML for small molecules at Enveda

[Abe Frandsen @abeistyping]

Millenium problems require millenarian solutions

[Abe Frandsen @abeistyping]

@elazar_g @yuvalmarton @TaliaRinger @yoavgo I don't know anyone who has the ear of the frontier labs, but I would be excited to see them direct resources at building secure software systems and showing that their most capable models are unable to compromise them, or proposing benchmark evals designed to show progress here.

[Abe Frandsen @abeistyping]

@TaliaRinger @elazar_g @yuvalmarton @yoavgo I'm curious about whether AI can assist in writing and certifying provably secure software. Setting aside the real concerns around bugs in the formal verification systems, would this be a path toward a more secure digital world (which seems more urgent by the day)?

[Abe Frandsen @abeistyping]

@chri5tianule Lol not true! I was trying to make this a physics joke about radioactive decay but couldn't make it work. Maybe @benfrandsen can

[Abe Frandsen @abeistyping]

@RyeBrot I've NEVEr heard that usage.

[Abe Frandsen @abeistyping]

@RyeBrot They're both gross

[Abe Frandsen @abeistyping]

@wiffleballtony1 But sometimes you can't count high enough. Georg Cantor literally died making this point

[Abe Frandsen @abeistyping]

@wiffleballtony1 They also need to add another jersey for most Strava kudos

[Abe Frandsen @abeistyping]

@chri5tianule @wirecutter I didn’t even think about possible cyber Monday deals ugh!

[Abe Frandsen @abeistyping]

@wiffleballtony1 Wow did you send that??

[Abe Frandsen @abeistyping]

@RyeBrot @Wegmans

[Abe Frandsen @abeistyping]

@RyeBrot Didn't quite live up to the hype but I'll still eat irresponsible amounts of it

[Abe Frandsen @abeistyping]

@wiffleballtony1 And they're absolutely right

[Abe Frandsen @abeistyping]

@chri5tianule I'll take the German variant Jakob

[Abe Frandsen @abeistyping]

@wiffleballtony1 you keep your law of large numbers out of my politics

[Abe Frandsen @abeistyping]

@wiffleballtony1 Is this you bro?

[Abe Frandsen @abeistyping]

@benfrandsen No haha the thought came to me while chopping cilantro this morning and I found it funny

[Abe Frandsen @abeistyping]

@wiffleballtony1 I hope your high school calc teacher doesn't see this

[Abe Frandsen @abeistyping]

@wiffleballtony1 Lucky