On Fri, Jun 26, 2026 at 08:28:11PM -0400, funkymail via cypherpunks wrote: > On Fri, Jun 26, 2026 at 08:25:05PM -0400, funkymail via cypherpunks wrote: > > On Fri, Jun 26, 2026 at 08:21:01PM -0400, funkymail via cypherpunks wrote: > > > On Fri, Jun 26, 2026 at 08:13:40PM -0400, funkymail via cypherpunks wrote: > > > > > > https://ar.anyone.tech/QkHIWrCSy3iXoP_fS-2snSKIdPYBqGHNmPDya89lWHE#QE8jBZoNzMY9kVYQG13A6oMuI7XhK_sR11WTxCAJ1FqzSRctyUo5iAX14G3o541X#1941075 > > > > > > https://ar.anyone.tech/ExicPTy-13WSydg1y-DHVOPtR8L6IMDMiMc7ZAGt2_Q > > > > > > > > > > > > > > class Go: > > > > > > > > > https://ar.anyone.tech/ELH4g_MtmIp76iolJ-Dhvt8iIv26YpOnL4lq1HzQr-I#d9HTHkvo28QZrkY0sWWIgXBGGWHGes-xdFLsk9xGVkNmOhAI9evqAJAodsDw3bNB#1941076 > > > > > https://ar.anyone.tech/M--JZ_7_HwlQrbc0JDWdtAIBYW48WU2zn3itspcrPvE > > > > > > > > > > > > universe -- i implemented a tiny virtual machine! this was a great > > > > celebration as i have been unable to imppement virtual machines for the > > > > past decade as one of a handful of powerful CS paradigms that had > > > > previously been driving me to spasms when trying to redevelop use of.. > > > > > > > > ..... > > > > > > > > eek! > > > > > > > > https://ar.anyone.tech/U9gwPAH5oYzJOiT_GfEBXtc4SCGEvMIMH_KFMuiHoIM#ZclDwlkrmqkT6HxFcntww8PGAuFL0i9xXxf_SgZTASG9qqfmFy921Sydu8Yhwrb-#1947163 > > > > https://ar.anyone.tech/SAeLncrOrqpW_p2Lzgkoh7s4UC9WgDgjD0pvzdYMFeI > > > > > > Let us try now again to implement a tiny machine. One of the hardest > > > parts of such an endeavor is using the machine, so maybe that can be put > > > at the front somehow. It may be messy. > > > > > > JE = [0, 1, lambda state: state.sta [[[ uhoh > > > > > > > > > oop > > > > > > https://ar.anyone.tech/Lultc9dsOLhmVzd5ghntGXUaLOM5J8Y6bGFA866taxc#U2vY-vYFmUSPEF6PhDgblJNHtQn7Hze69fXdxlPJdP5vNGo3q3nByW5tGstnRCNV#1947170 > > > https://ar.anyone.tech/cFo91pja_9_GiySahG-ZhVIXBSZ2Qgd0dkFSK9MkSfY > > > > so i dont immediately remember well :s but i recently ended up arguing > > the -- oop?? > > > > https://ar.anyone.tech/THAKi1XsNkdfkAfYLQpXyKJsjs3DAw9dxipXLsNXgd8#cVWTtWThQKP52LfKPlPBZT4yuKAAdLZ_1XrechBOGZBHvP602ZgeXKcpuv_AHywQ#1947172 > > https://ar.anyone.tech/Og6lSRhfifiHCjUwfZt7p_SS0lqSKOdz1zpH9gojBRg > > uh! the turing halting problem with chatgpt and claude. focusing on > defining a turing complete language that uses tur0ng's > proof-by-contradiction assumption of there being a universal halting > decider, to then define a computable syntax rule that excludes diagonal > proofs and other contr-- > > https://ar.anyone.tech/hpjdvyfqc89vTMyv68uyj5uARHdrbViAXrJcP0yfsUI#5fl2J-xQk9_xQQ5ZIhKKpRFXXPodtBbR1QtGv_tipodXrWaQ5ydiDWwRXPEVNlXG#1947174 > https://ar.anyone.tech/6u253XhXFHG7Vp_X4RP-HkIEbWM2lOy9PcbjudHr214
recent possible phrasing [claude] was "closure under diagonalization is logically distinct from turing completeness". unsure if that's anything useful to say bu-- https://ar.anyone.tech/fSKDY6kC7ZHe9zgUnKKN91zY65cLT9POgloJX-ViMr8#9LQlU3oDi33yxidqUWto-hJCLOLD8UnbygiaAk0Sjl5ldcsZDhzBXZvxueN1u8au#1947174 https://ar.anyone.tech/opCDnLribrJyqEmsOxfA0yIOBAIFcGxYQILK0JpF4nM I am not affiliated with https://ar.anyone.tech .
