Type Unsafe | Odd Thoughts on Computation, Semantics, and Systemic Danger

Type Unsafe | Odd Thoughts on Computation, Semantics, and Systemic Danger

瀏覽:390
日期:2025-10-04
Follow the Bouncing Ball: An Over-Literal Interpretation of ‘Mechanized Logic’ Posted: 2011/11/18 | Author: sl0wpoke | Filed under: conceptual explanations, interesting questions | Tags: abstract machines, algorithmic information theory, decidability, ent...看更多