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)
