Rust's Two Kinds of 'Assert' Make for Better Code

> Compare that to, like, lexical scoping or parametric polymorphism, which most languages just have by default at this point. They’re almost mathematical facts.

FWIW emacs lisp (in)famously still defaults to dynamic scoping -- there's been a proposal to change that default earlier this month but interestingly, there's still pushback. See e.g. https://lists.gnu.org/archive/html/emacs-devel/2024-11/msg00...

Rust, Linux, Developers, Maintainers

Fortran Bug Urban Legend

Just to add to this -- In QM/QFT there is an inverse relationship between energy & distance, meaning small distances (or sizes) correspond to high energy interactions (see e.g. [1]). One consequence is that at small enough scale (the Planck scale), the energy scale gets so large that quantum gravity effects are expected to be non-negligible. Formulating a theory of quantum gravity that fits into the Standard Model of particle physics & agrees with general relativity is an open problem in physics, therefore the Planck scale is at least the smallest distance that can conceivably be modeled given our current knowledge.

[1] https://physics.stackexchange.com/questions/731971/equivalen...