4 ms·
did anyone manage to cross the chasm between floats and reals doing proofs about algorithms in actual code? It might be a skill issue but I'm always stuck at re
by singularity2001 1y ago
did anyone manage to cross the chasm between floats and reals doing proofs about algorithms in actual code? It might be a skill issue but I'm always stuck at reals not being decidably comparable
- xscott 1y agoThat's a good question, and I certainly don't know the answer. Floats are a bit messy, but I would guess it's solvable.