< 1700958148 316500 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Remote host closed the connection > 1700958357 500106 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Asdkjadka 5* 10New user account < 1700961445 230847 :__monty__!~toonn@user/toonn QUIT :Quit: leaving > 1700978666 834276 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Redisnotblue 5* 10New user account > 1700978819 875132 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=119868&oldid=119780 5* 03Redisnotblue 5* (+189) 10 < 1700980432 237372 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1700980471 878335 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Client Quit < 1700982287 997259 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1700982942 932585 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1700984347 785355 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1700988710 605523 :cpressey!~cpressey@host-2-102-8-137.as13285.net JOIN #esolangs cpressey :[https://web.libera.chat] cpressey < 1700989193 766082 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :riv: re forwards and backwards proof: I think of it like this: < 1700989194 265867 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :A proof is a tree (or more often it's actually a DAG). "Forward proof" is to start at the leaves and work towards the root. "Backward proof" is to start at the root and work towards the leaves. < 1700989194 765607 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :I think this can sometimes manifest in the way you described with assumptions and conclusions, but not necessarily. > 1700989705 562297 PRIVMSG #esolangs :14[[07Talk:Binary lambda calculus14]]4 10 02https://esolangs.org/w/index.php?diff=119869&oldid=24477 5* 03Squidmanescape 5* (+2815) 10 < 1700990189 638198 :riv!river@tilde.team/user/river PRIVMSG #esolangs :oh i see! < 1700990702 53512 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1700991175 869431 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03YOU.. 5* 10New user account < 1700991231 607025 :Guest36!~Guest29@2603-8000-9c41-ec07-65c7-29fd-1fb6-98d1.res6.spectrum.com JOIN #esolangs * :[https://web.libera.chat] Guest29 < 1700993183 769304 :Guest36!~Guest29@2603-8000-9c41-ec07-65c7-29fd-1fb6-98d1.res6.spectrum.com QUIT :Quit: Client closed < 1700993371 958286 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1700993381 669104 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 240 seconds < 1700993456 35704 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1700994395 291020 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1700994904 41302 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :This is what I've been working on lately: https://codeberg.org/catseye/define-opaque/src/branch/develop-0.2 < 1700994904 541857 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :My thought is, if you can do it in Scheme, you could do it in the untyped lambda calculus too. < 1700994905 41343 :cpressey!~cpressey@host-2-102-8-137.as13285.net PRIVMSG #esolangs :Which would give you a basis to argue that the untyped lambda calculus is strongly typed. < 1700998066 895295 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1700998177 265318 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1700998961 555198 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1701002128 403555 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :cpressey: doesn't a later scheme standard already give you something like that? < 1701002238 804914 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :cpressey: I think you're relying on the equal? primitive, that wouldn't work in untyped lambda calculus < 1701002273 456531 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :I don't have a proof, but I think it's not possible in untyped lambda calculus < 1701002580 493739 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :in untyped lambda calculus, if you can construct a private accessor function then an adversary can also construct the same function < 1701002588 685222 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :there's no eq? or other way to distinguish < 1701002740 789873 :b_jonas!~x@89.134.28.161 PRIVMSG #esolangs :that's not quite a proof because it doesn't exclude inside-out structures, but I think you can't hide data that way either in untyped lambda calculus < 1701004761 883896 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701004849 45297 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701005254 685674 :FreeFull!~freefull@46.205.214.63.nat.ftth.dynamic.t-mobile.pl QUIT : < 1701007609 132025 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701007781 602517 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701010028 480441 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a JOIN #esolangs Thelie :Thelie < 1701011109 46768 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1701011432 261801 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1701013469 667986 :FreeFull!~freefull@46.205.214.63.nat.ftth.dynamic.t-mobile.pl JOIN #esolangs FreeFull :FreeFull < 1701014313 691401 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1701014313 863445 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1701014650 534718 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1701014677 863343 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1701014895 963411 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1701014900 425139 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1701015156 227669 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1701015270 261697 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1701015589 905751 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1701015824 184117 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1701015856 179277 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection < 1701015930 900369 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) < 1701016001 903118 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1701016220 885149 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1701016268 607279 :example99!~example99@2001:9e8:e1f6:a600:73b6:7d6a:b5d6:7c2a JOIN #esolangs * :[https://web.libera.chat] example99 < 1701016273 529647 :example99!~example99@2001:9e8:e1f6:a600:73b6:7d6a:b5d6:7c2a PART :#esolangs < 1701017369 962811 :ais523!~ais523@user/ais523 QUIT :Remote host closed the connection < 1701017444 635209 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1701018643 172515 PRIVMSG #esolangs :14[[07Lazy evaluation14]]4 10 02https://esolangs.org/w/index.php?diff=119870&oldid=119837 5* 03Quito0567 5* (+9) 10 < 1701019525 674209 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701020420 624993 :Koen!~Koen@2a01:e34:ec7c:30:21be:dff2:3c21:4ece JOIN #esolangs * :Koen < 1701023496 737008 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701024117 236841 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1701025405 247153 PRIVMSG #esolangs :14[[07Jumping to -1 is exciting14]]4 M10 02https://esolangs.org/w/index.php?diff=119871&oldid=30201 5* 03PythonshellDebugwindow 5* (+73) 10Categories > 1701025492 202311 PRIVMSG #esolangs :14[[07Black and white and read all over14]]4 M10 02https://esolangs.org/w/index.php?diff=119872&oldid=18201 5* 03PythonshellDebugwindow 5* (+9) 10Stub < 1701027432 894831 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1701027433 1646 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1701027598 830207 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1701028721 641293 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in > 1701035036 221829 PRIVMSG #esolangs :14[[07Lazy evaluation14]]4 10 02https://esolangs.org/w/index.php?diff=119873&oldid=119870 5* 03Quito0567 5* (+18) 10 < 1701035297 817236 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701035583 506226 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701035634 607184 :cpressey!~cpressey@host-2-102-8-137.as13285.net QUIT :Ping timeout: 250 seconds < 1701037843 238144 :Thelie!~Thelie@2a03:2260:300c:400:61bd:fe2e:1f3c:b90a QUIT :Remote host closed the connection < 1701038012 113260 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701038442 77478 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701038532 446269 :Koen!~Koen@2a01:e34:ec7c:30:21be:dff2:3c21:4ece QUIT :Quit: Leaving... < 1701039260 136367 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1701040518 545554 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1701040956 866092 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1701040976 263134 :GregorR1!~GregorR@71.19.155.102 JOIN #esolangs GregorR :Gregor Richards < 1701041081 802099 :GregorR!~GregorR@71.19.155.102 QUIT :Ping timeout: 268 seconds < 1701041081 971910 :GregorR1!~GregorR@71.19.155.102 NICK :GregorR < 1701042114 12492 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…