The semantics don't map onto modern languages: it's verbose assembly, with business logic consisting of GOTOs between segments of million line codebases with debug-evolved behavior encompassing a spec (e.g. translate…
> remember that our usual constant known as time is part of a varying field in GR ...and so you have to pick an appropriate underlying vector field you call time to cancel this out and get back the invariant, throwing a…
You're talking about E=mc^2, which follows from special relativity. That was revealed in 1905; 1915 marked the advent of general relativity, where energy conservation no longer holds. The time translation invariance…
> Futumura projections (eg truffle, rpython) Pretty sure RPython/PyPy dropped partial evaluation in favor of a metatracing JIT: https://www.pypy.org/posts/2018/09/the-first-15-years-of-pyp...
ojalá que laputa no los haya embarazado!
The semantics don't map onto modern languages: it's verbose assembly, with business logic consisting of GOTOs between segments of million line codebases with debug-evolved behavior encompassing a spec (e.g. translate…
> remember that our usual constant known as time is part of a varying field in GR ...and so you have to pick an appropriate underlying vector field you call time to cancel this out and get back the invariant, throwing a…
You're talking about E=mc^2, which follows from special relativity. That was revealed in 1905; 1915 marked the advent of general relativity, where energy conservation no longer holds. The time translation invariance…
> Futumura projections (eg truffle, rpython) Pretty sure RPython/PyPy dropped partial evaluation in favor of a metatracing JIT: https://www.pypy.org/posts/2018/09/the-first-15-years-of-pyp...
ojalá que laputa no los haya embarazado!