The Soul of an Old Machine: Revisiting the Timeless von Neumann Architecture
Floats were suspicious even before the first general-purpose computer (EDVAC) was built: “Von Neumann wasn't entirely sold on why we might need floating-point numbers. He was quite vocal in his critique of floating-point numbers.” The author of this article complement this…
- from
- Billing
- added
- 2026-10-10
- likes
- 0
similar
-
Lua - Numerical Algorithms bitbucket.org
-
Flocq gitlab.inria.fr
Formalization of floating-point numbers and computations.
-
Java vs. C Performance infoq.com
Cliff Click.
-
Computer Arithmetic and Formal Proofs sciencedirect.com
Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.
-
A look back at memory models in 16-bit MS-DOS devblogs.microsoft.com
Raymond Chen's explanation of segmented memory, including near- and far pointers.
-
VCFloat github.com
Framework for verifying C programs with floating-point computations.
Billing › Business Intelligence > Data Engineering: “Floats were suspicious even before the first general-purpose computer (EDVAC) was built: “Von Neumann wasn't entirely sold on why we might need floating-point numbers. He was quite vocal in his critique of floating-point numbers.” The author of this article complement this…”