Post #1136030
2026-04-03 11:15 UTC
having fun today (exhaustively testing all f64s)
“don’t you mean f32” no
Replies (2)
-
@jyn@tech.lgbt 2026-04-07 04:59
update: my estimate of how long it takes to test all f64s was off by several orders of magnitude
-
@whitequark@social.treehouse.systems 2026-04-03 11:18
@jyn having fun with smt solvers?