< 1565914552 941907 :zzo38!~zzo38@24-207-15-213.eastlink.ca JOIN :#esoteric < 1565915623 949441 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1565915649 958511 :tromp!~tromp@2a02:a210:1585:3200:44e1:d8be:e82:a09d JOIN :#esoteric < 1565915905 957648 :tromp!~tromp@2a02:a210:1585:3200:44e1:d8be:e82:a09d QUIT :Ping timeout: 252 seconds < 1565916020 99507 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric < 1565916277 46680 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Ping timeout: 245 seconds < 1565919528 400820 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565919703 200387 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1565920534 225444 :probablymoony!moony@hellomouse/dev/moony NICK :moony < 1565922306 588956 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :https://rabbitboots.com/kfx/index.php/ZZT_On_ZZT#Undocumented_features Now I noticed they mentioned you can push | to access the cheat prompt on the title screen in ZZT. I did not know that, but now I know. < 1565923050 44086 :Sgeo__!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1565923419 53169 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565925122 862200 :xkapastel!uid17782@gateway/web/irccloud.com/x-zgzeuntkzzdsoccd QUIT :Quit: Connection closed for inactivity < 1565932931 603777 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1565936756 203879 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric < 1565936918 966342 :tromp_!~tromp@2a02:a210:1585:3200:508:3140:aa4d:83d6 JOIN :#esoteric < 1565936975 406183 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1565938452 93320 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1565938998 873529 :tromp_!~tromp@2a02:a210:1585:3200:508:3140:aa4d:83d6 QUIT :Remote host closed the connection < 1565939411 972255 :tromp!~tromp@2a02:a210:1585:3200:fce9:72fe:a621:4882 JOIN :#esoteric < 1565939496 964917 :tromp_!~tromp@2a02:a210:1585:3200:1da3:c66a:f0a2:1010 JOIN :#esoteric < 1565939665 960327 :tromp!~tromp@2a02:a210:1585:3200:fce9:72fe:a621:4882 QUIT :Ping timeout: 252 seconds < 1565939753 957693 :tromp_!~tromp@2a02:a210:1585:3200:1da3:c66a:f0a2:1010 QUIT :Ping timeout: 252 seconds < 1565940107 570631 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric > 1565940451 623504 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Messersm 5* 10New user account > 1565940895 516925 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=65525&oldid=65480 5* 03Messersm 5* (+218) 10/* Introductions */ < 1565942655 929374 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1565943653 645756 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1565943834 634753 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1565946085 801601 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565950673 944449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, it's unknown whether the Post Correspondence problem is decidable with 3 or 4 tiles. < 1565951163 187990 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric < 1565951560 603967 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :IOCCC winners are denounced; IOCCC switches are debounced < 1565951713 893045 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :So I have this vanilla term-rewriting language, and a program that can, given a set of rules, check if a given sequence of rewrites is valid or not. < 1565951758 54273 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I'm trying to find the shortest distance between this program, and a program that can check if a proof written in propositional logic is valid or not. < 1565951840 41493 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :You don't need much to turn the one into the other, but you do need a few things, and I want a clear idea of what they are. < 1565951864 57613 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :First-order logic would be the next step beyond that. < 1565951999 495231 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Oh! For anyone who hasn't seen it, this is definitely worth checking out: http://incredible.pm/ < 1565952020 567912 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: so I made a faster Wagon interpreter: https://gist.github.com/int-e/e4ae1f40f8173d67860d8f8e45c433c0#file-ring-hs > 1565952126 870320 PRIVMSG #esoteric :14[[07Talk:Wagon14]]4 M10 02https://esolangs.org/w/index.php?diff=65526&oldid=65522 5* 03Int-e 5* (+42) 10/* Computational Class */ --> link < 1565952159 481939 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey: that's pretty neat < 1565952642 193308 :zombocoder!~root@82.static.enf.pl JOIN :#esoteric < 1565953759 262053 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: your implementations make mine look like chicken-scratches. I'll try to make and release a Wagon distribution today. But I have to rewrite the part about computational class first. < 1565954643 903928 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1565954848 572251 :divergence!~div@92.119.176.20 QUIT :Read error: Connection reset by peer < 1565954899 193035 :zombocoder!~root@82.static.enf.pl QUIT :Ping timeout: 246 seconds < 1565954920 680599 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, should I have a look at the cargo cult? < 1565954956 953159 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I mean Rust: https://doc.rust-lang.org/book/ch02-00-guessing-game-tutorial.html) < 1565954963 837911 :diverger!~div@92.119.176.20 JOIN :#esoteric < 1565955851 560146 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :https://github.com/catseye/Wagon < 1565955923 281691 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I had some thoughts about how you might simulate a TM more directly in a Wagon-like language. Basically you could say something like: < 1565956030 361683 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :while(!halt) { write(0,0,0); if(s>1) { if(s>2) { if(s>3) { xor(1,0,1) } xor(0,1,1) } xor(1,1,1) } use() } < 1565956056 453687 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :where use() takes what's been written by write() and modified by xor() and applies it to the tape < 1565956107 911185 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sure, we can do something like that. < 1565956132 953048 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :use() still represents "a little control" perhaps < 1565956356 563533 :int-e!~noone@int-e.eu PRIVMSG #esoteric :<3 runhugs < 1565956446 984678 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: If you look closely at Tag.hs, I have enough building blocks for boolean circuits plus an extensible circular tape. < 1565956543 417850 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: I guess the real challenge with your suggestion is to deal with the variable movement of the TM's head. > 1565956600 892460 PRIVMSG #esoteric :14[[07Wagon14]]4 10 02https://esolangs.org/w/index.php?diff=65527&oldid=65521 5* 03B jonas 5* (+62) 10link to the new int-erpreter < 1565956655 660798 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :int-e: yeah, I was thinking, if you had a slightly different memory model, and an instruction "pop N and add N to position of tape head" - otherwise you need a loop < 1565956672 830128 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :or an if < 1565956691 961650 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :b/c you only *need* to handle -1 and 1 < 1565956739 895130 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: I believe you /can/ have a variadic shift by invoking "r" with a flag that indicates whether to move or not, often enough. < 1565956757 984487 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :oh good grief. yes, possibly you can < 1565956784 501271 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :r is disappointingly powerful, even with only 0 or 1 < 1565956801 789705 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it's tricky to get right. (I was happy when I had my new 'landn' operation and that only has two "variable" r operations, the second one undoing the effect of the first.) < 1565956827 271194 :zombocoder!~root@82.static.enf.pl JOIN :#esoteric < 1565956923 164401 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: so it may be powerful, but it's really awkward to use. < 1565957279 913586 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: And as mentioned yesterday, the restriction to 0 and 1 gutted it to the point where it cannot be used to permute elements on the stack anymore. < 1565957309 336313 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Well, that's good! For some value of "good". < 1565957442 980852 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :re hugs, cpressey == luddite, I have not actually tested it on hugs, but it's in the "standard Haskell-running script" that I've sort of arrived at < 1565957464 243537 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :https://github.com/catseye/Wagon/blob/master/bin/wagon < 1565957468 935744 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: yeah that's what I thought :) < 1565957487 548283 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It makes me happy that I can build Hugs on NetBSD, etc < 1565957488 733669 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because I honestly can't remember when I last used hugs. < 1565957529 497191 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I suspect it has been over a decade. < 1565957624 407231 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Ha, running Wagon's test suite on Hugs is actually faster than running it with ghci. < 1565957671 542741 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :2.8 seconds versus 6.2 seconds < 1565957708 255424 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :0.18 seconds if you compile it with ghc first < 1565957797 208720 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :I can forgive the ghc team for not making reducing ghci startup time their #1 priority, though. < 1565957826 513550 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I can't ;) < 1565957866 744498 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(This is /the/ bottleneck for lambdabot's Haskell evaluation. Which is obviously the most important use case in the world.) < 1565957918 821268 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's not ghci exactly; it's mueval, which uses hint, which uses the ghc API in a way similar to, but not quite the same as, ghci does. < 1565957978 160381 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :This is a terrible idea, but could you not run a sort of "language server daemon" in the backrgound that... yeah < 1565958016 7395 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Split lambdabot into a set of microservices < 1565958063 172926 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: I'm worried about trading timeouts for a memory leak. < 1565958114 588651 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(ghci is bad at releasing memory... so a I imagine a long-running haskell evaluation server would inherit that property) < 1565958184 521420 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1565958308 969362 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cpressey: So I have a crazy idea that would involve starting a ghc API session, loading the most important packages, then suspend the RTS, and then fork the process, and proceed with the actual evaluation. But I'm scared of investigating it in detail (the RTS is multi-threaded, and uses pipes internally, and who knows what else) < 1565958420 74524 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it could be two-graded, using hugs by default, but if evaluation takes long, switch to compiling with ghc < 1565958431 568950 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :would lead to funny unexplainable inconsistencies in behavior < 1565958646 538635 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/funny/interesting/ is about as far as I'm willing to go < 1565958664 667814 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in the "interesting times" sense of course) < 1565959622 572973 :int-e!~noone@int-e.eu PRIVMSG #esoteric :#ghc points out that there's a forkProcess operation that does a lot of this work; it may just be enough. > 1565960918 960136 PRIVMSG #esoteric :14[[07Wagon14]]4 10 02https://esolangs.org/w/index.php?diff=65528&oldid=65527 5* 03Chris Pressey 5* (+383) 10Make the article a little less stub-like. > 1565961176 947971 PRIVMSG #esoteric :14[[07Wagon14]]4 M10 02https://esolangs.org/w/index.php?diff=65529&oldid=65528 5* 03Chris Pressey 5* (+0) 10Category name does not contain a hyphen < 1565962225 918179 :xkapastel!uid17782@gateway/web/irccloud.com/x-exidludqvopmipmf JOIN :#esoteric < 1565963153 222650 :zombocoder!~root@82.static.enf.pl QUIT :Ping timeout: 245 seconds < 1565963446 103257 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( stubby ) < 1565963923 772162 :zombocoder!~root@82.static.enf.pl JOIN :#esoteric < 1565964222 839725 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :. o O ( gRPC ) < 1565966345 822022 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine. < 1565966371 842098 :zombocoder!~root@82.static.enf.pl QUIT :Ping timeout: 248 seconds < 1565966622 407501 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1565966753 213233 :zombocoder!~root@82.static.enf.pl JOIN :#esoteric < 1565967485 467580 :atslash!~atslash@46.188.0.82 JOIN :#esoteric < 1565967752 394995 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 244 seconds < 1565968552 663252 :heroux!sandroco@gateway/shell/insomnia247/x-ippuamdafcgifmce QUIT :Ping timeout: 268 seconds < 1565968561 655239 :heroux!sandroco@gateway/shell/insomnia247/x-jvxeeezicoyjcijj JOIN :#esoteric < 1565969896 239362 :sleepnap!~thomas@c-68-55-111-60.hsd1.mi.comcast.net JOIN :#esoteric < 1565970433 452855 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :cpressey: I wrote a document for using Glk with Funge-98. < 1565970488 833866 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :The registry doesn't work (as it says, it is obsolete), so, I will ask here instead. < 1565970556 91737 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :Also, I think that there should be a handprint value defined for unregistered interpreters. < 1565970813 533727 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: What do you think? Presumably you have many opinions regarding Funge-98. < 1565970813 773708 :fungot`!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :fizzie: on the other hand; i'm probably goign to use it is me, by the way, < 1565970839 838203 :fungot`!~fungot@2a01:4b00:82bb:1341::2 NICK :fungot > 1565971152 494349 PRIVMSG #esoteric :14[[07Brainfuck implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=65530&oldid=64583 5* 03Erwijet 5* (+261) 10Added erwijet's flexable brainf.net library < 1565971195 193388 :zombocoder!~root@82.static.enf.pl QUIT :Ping timeout: 246 seconds < 1565971236 791496 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1565971940 452348 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net JOIN :#esoteric < 1565972099 795634 :Sgeo!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1565973828 467830 :Sgeo_!~Sgeo@ool-18b98455.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1565975794 933362 :xkapastel!uid17782@gateway/web/irccloud.com/x-exidludqvopmipmf QUIT :Quit: Connection closed for inactivity < 1565976986 218472 :zombocoder!~root@user-5-173-84-51.play-internet.pl JOIN :#esoteric < 1565977386 103218 :b_jonas!~x@catv-176-63-24-112.catv.broadband.hu JOIN :#esoteric < 1565978229 681990 :zombocoder!~root@user-5-173-84-51.play-internet.pl QUIT :Read error: Connection reset by peer < 1565978230 537356 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1565978287 523891 :zombocoder!~root@82.static.enf.pl JOIN :#esoteric < 1565978425 60425 :b_jonas!~x@catv-176-63-24-112.catv.broadband.hu PRIVMSG #esoteric :what genre of music does my hon. and learned friend fungot listen to? < 1565978425 275219 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :b_jonas: i just want to use local packages, specify file urls. if you want < 1565978448 670149 :b_jonas!~x@catv-176-63-24-112.catv.broadband.hu PRIVMSG #esoteric :fungot: ok, show me < 1565978448 873596 :fungot!~fungot@2a01:4b00:82bb:1341::2 PRIVMSG #esoteric :b_jonas: looking at it. relative to s48 that's exactly what i said doesn't make any sense > 1565978486 872330 PRIVMSG #esoteric :14[[07Loose Circular Brainfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=65531 5* 03Ais523 5* (+45) 10redir > 1565978646 148849 PRIVMSG #esoteric :14[[07Talk:Wagon14]]4 10 02https://esolangs.org/w/index.php?diff=65532&oldid=65526 5* 03Ais523 5* (+522) 10alterrnative Turing-completeness proof: you can implement two-bracket brainfuck < 1565980009 42279 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1565980081 54012 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1565980798 854288 :tromp!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1565980830 901082 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1565980919 636358 :xkapastel!uid17782@gateway/web/irccloud.com/x-pxtzetbewhfwyjjp JOIN :#esoteric < 1565982739 505799 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1565983047 959172 :tromp!~tromp@2a02:a210:1585:3200:ac95:8c0c:9f31:c40e JOIN :#esoteric < 1565983335 917364 :tromp!~tromp@2a02:a210:1585:3200:ac95:8c0c:9f31:c40e QUIT :Ping timeout: 264 seconds < 1565984044 602919 :zombocoder!~root@82.static.enf.pl QUIT :Ping timeout: 272 seconds < 1565984553 478824 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1565984862 211973 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net JOIN :#esoteric < 1565985922 963187 :tromp!~tromp@2a02:a210:1585:3200:ac95:8c0c:9f31:c40e JOIN :#esoteric < 1565987008 677477 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1565987040 373234 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1565987547 901249 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1565988335 579176 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1565990744 826130 :zzo38!~zzo38@24-207-15-213.eastlink.ca PRIVMSG #esoteric :How to make Ghostscript to not wait until the window is exposed before it will work? < 1565991771 203654 :xkapastel!uid17782@gateway/web/irccloud.com/x-pxtzetbewhfwyjjp QUIT :Quit: Connection closed for inactivity < 1565992123 550886 :sleepnap!~thomas@c-68-55-111-60.hsd1.mi.comcast.net QUIT :Quit: Leaving. < 1565992324 206948 :sleepnap!~thomas@c-68-55-111-60.hsd1.mi.comcast.net JOIN :#esoteric < 1565992383 633465 :sleepnap!~thomas@c-68-55-111-60.hsd1.mi.comcast.net QUIT :Client Quit < 1565996917 313993 :b_jonas!~x@catv-176-63-24-112.catv.broadband.hu QUIT :Remote host closed the connection < 1565998327 98282 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds