G github.com Κ = 0.003 for integer multiplication crossed 36 points aleph_minus_one 10 days ago 22 comments