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

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

瀏覽:1346
日期:2025-12-06
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...看更多