Jacob Gold
@jacobgold
origin @ graphite @ cursor @ xai @ spacexai @ spacex (soon)
参加 March 2025
444 フォロー中 1.9K ファン
guys
proof of 0 = 1 in Lean, exploiting a hash collision (weak 32-bit hash Expr.hash/mixhash)
