Post AusT4hFHMDlskYUeSe by dougmerritt@mathstodon.xyz
 (DIR) More posts by dougmerritt@mathstodon.xyz
 (DIR) Post #AusT4hFHMDlskYUeSe by dougmerritt@mathstodon.xyz
       2025-06-07T05:02:55Z
       
       0 likes, 0 repeats
       
       @mdhughes Then you may be amused by Brainfuck implemented in Binary Lambda Calculus, 829 bit ("bit") implementation.https://tromp.github.io/cl/Binary_lambda_calculus.html#brainfuck
       
 (DIR) Post #AusT4ihJxRnRFocYoC by teajaygrey@snac.bsd.cafe
       2025-06-07T05:37:45Z
       
       0 likes, 0 repeats
       
       Ah yeah, Tromp's BLC was an @ioccc@fosstodon.org zinger for sure! Sadly, I do not understand why https://www.ioccc.org/2012/tromp/hint.html is currently a 404. ;(It's also one of the independent proofs (implementations? I don't think it was intentionally trying to be either, but it is nonetheless which kind of makes it even more awesome) of Wolfram's 2-state 3-symbol Turing machine hypothesis that I can think of off the top of my head!Going the extra mile to make a Brainfuck interpreter in BLC, was just "chef's kiss" kind of icing on the cake of that one.CC: @mdhughes@appdot.net