Jacob Gold
@jacobgold
origin @ graphite @ cursor @ xai @ spacexai @ spacex (soon)
Joined March 2025
444 Following 1.9K Followers
guys
proof of 0 = 1 in Lean, exploiting a hash collision (weak 32-bit hash Expr.hash/mixhash)
