All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 14:27, 24 December 2023 SatoshiNakamoto talk contribs created page A General-Purpose Language for Unpredictable Computation (Created page with "Title: A General-Purpose Language for Unpredictable Computation Authors: Igor M. Markovsky, Yuriy V. Kovyrygin, and Alexander A. Kuznetsov Content: arXiv:cs/0309002v2 [cs.CY] 4 Sep 2003 Research Question: How can a general-purpose language be designed to handle unpredictable computation? Methodology: The authors propose a new programming language called "Agda" to handle unpredictable computation. Agda is a dependently-typed programming language, which means that typ...")