00:15:52 -!- zzo38 has joined. 00:33:43 -!- oerjan has joined. 00:34:09 -!- tromp has joined. 00:38:25 -!- tromp has quit (Ping timeout: 252 seconds). 00:40:20 -!- tromp has joined. 00:44:37 -!- tromp has quit (Ping timeout: 245 seconds). 01:38:48 -!- Sgeo__ has joined. 01:41:43 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 01:55:34 -!- probablymoony has changed nick to moony. 02:25:06 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. 02:37:30 -!- Sgeo__ has quit (Read error: Connection reset by peer). 02:43:39 -!- Sgeo has joined. 03:12:02 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:22:11 -!- oerjan has quit (Quit: Nite). 06:25:56 -!- tromp has joined. 06:28:38 -!- tromp_ has joined. 06:29:35 -!- tromp has quit (Read error: Connection reset by peer). 06:54:12 -!- Sgeo has quit (Ping timeout: 245 seconds). 07:03:18 -!- tromp_ has quit (Remote host closed the connection). 07:10:11 -!- tromp has joined. 07:11:36 -!- tromp_ has joined. 07:14:25 -!- tromp has quit (Ping timeout: 252 seconds). 07:15:53 -!- tromp_ has quit (Ping timeout: 252 seconds). 07:21:47 -!- tromp has joined. 07:27:31 [[Special:Log/newusers]] create * Messersm * New user account 07:34:55 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65525&oldid=65480 * Messersm * (+218) /* Introductions */ 08:04:15 -!- AnotherTest has joined. 08:20:53 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 08:23:54 -!- Lord_of_Life has joined. 09:01:25 -!- Sgeo has joined. 10:17:53 whoa, it's unknown whether the Post Correspondence problem is decidable with 3 or 4 tiles. 10:26:03 -!- cpressey has joined. 10:32:40 IOCCC winners are denounced; IOCCC switches are debounced 10:35:13 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. 10:35:58 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. 10:37:20 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. 10:37:44 First-order logic would be the next step beyond that. 10:39:59 Oh! For anyone who hasn't seen it, this is definitely worth checking out: http://incredible.pm/ 10:40:20 cpressey: so I made a faster Wagon interpreter: https://gist.github.com/int-e/e4ae1f40f8173d67860d8f8e45c433c0#file-ring-hs 10:42:06 [[Talk:Wagon]] M https://esolangs.org/w/index.php?diff=65526&oldid=65522 * Int-e * (+42) /* Computational Class */ --> link 10:42:39 cpressey: that's pretty neat 10:50:42 -!- zombocoder has joined. 11:09:19 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. 11:24:03 -!- AnotherTest has quit (Ping timeout: 264 seconds). 11:27:28 -!- divergence has quit (Read error: Connection reset by peer). 11:28:19 -!- zombocoder has quit (Ping timeout: 246 seconds). 11:28:40 Hmm, should I have a look at the cargo cult? 11:29:16 (I mean Rust: https://doc.rust-lang.org/book/ch02-00-guessing-game-tutorial.html) 11:29:23 -!- diverger has joined. 11:44:11 https://github.com/catseye/Wagon 11:45:23 I had some thoughts about how you might simulate a TM more directly in a Wagon-like language. Basically you could say something like: 11:47:10 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() } 11:47:36 where use() takes what's been written by write() and modified by xor() and applies it to the tape 11:48:27 sure, we can do something like that. 11:48:52 use() still represents "a little control" perhaps 11:52:36 <3 runhugs 11:54:06 cpressey: If you look closely at Tag.hs, I have enough building blocks for boolean circuits plus an extensible circular tape. 11:55:43 cpressey: I guess the real challenge with your suggestion is to deal with the variable movement of the TM's head. 11:56:40 [[Wagon]] https://esolangs.org/w/index.php?diff=65527&oldid=65521 * B jonas * (+62) link to the new int-erpreter 11:57:35 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 11:57:52 or an if 11:58:11 b/c you only *need* to handle -1 and 1 11:58:59 cpressey: I believe you /can/ have a variadic shift by invoking "r" with a flag that indicates whether to move or not, often enough. 11:59:17 oh good grief. yes, possibly you can 11:59:44 r is disappointingly powerful, even with only 0 or 1 12:00:01 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.) 12:00:27 -!- zombocoder has joined. 12:02:03 cpressey: so it may be powerful, but it's really awkward to use. 12:07:59 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. 12:08:29 Well, that's good! For some value of "good". 12:10:42 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 12:11:04 https://github.com/catseye/Wagon/blob/master/bin/wagon 12:11:08 cpressey: yeah that's what I thought :) 12:11:27 It makes me happy that I can build Hugs on NetBSD, etc 12:11:28 because I honestly can't remember when I last used hugs. 12:12:09 But I suspect it has been over a decade. 12:13:44 Ha, running Wagon's test suite on Hugs is actually faster than running it with ghci. 12:14:31 2.8 seconds versus 6.2 seconds 12:15:08 0.18 seconds if you compile it with ghc first 12:16:37 I can forgive the ghc team for not making reducing ghci startup time their #1 priority, though. 12:17:06 I can't ;) 12:17:46 (This is /the/ bottleneck for lambdabot's Haskell evaluation. Which is obviously the most important use case in the world.) 12:18:38 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. 12:19:38 This is a terrible idea, but could you not run a sort of "language server daemon" in the backrgound that... yeah 12:20:16 Split lambdabot into a set of microservices 12:21:03 cpressey: I'm worried about trading timeouts for a memory leak. 12:21:54 (ghci is bad at releasing memory... so a I imagine a long-running haskell evaluation server would inherit that property) 12:23:04 -!- wob_jonas has joined. 12:25:08 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) 12:27:00 it could be two-graded, using hugs by default, but if evaluation takes long, switch to compiling with ghc 12:27:11 would lead to funny unexplainable inconsistencies in behavior 12:30:46 s/funny/interesting/ is about as far as I'm willing to go 12:31:04 (in the "interesting times" sense of course) 12:47:02 #ghc points out that there's a forkProcess operation that does a lot of this work; it may just be enough. 13:08:38 [[Wagon]] https://esolangs.org/w/index.php?diff=65528&oldid=65527 * Chris Pressey * (+383) Make the article a little less stub-like. 13:12:56 [[Wagon]] M https://esolangs.org/w/index.php?diff=65529&oldid=65528 * Chris Pressey * (+0) Category name does not contain a hyphen 13:30:25 -!- xkapastel has joined. 13:45:53 -!- zombocoder has quit (Ping timeout: 245 seconds). 13:50:46 . o O ( stubby ) 13:58:43 -!- zombocoder has joined. 14:03:42 . o O ( gRPC ) 14:39:05 -!- cpressey has quit (Quit: A la prochaine.). 14:39:31 -!- zombocoder has quit (Ping timeout: 248 seconds). 14:43:42 -!- atslash has quit (Quit: This computer has gone to sleep). 14:45:53 -!- zombocoder has joined. 14:58:05 -!- atslash has joined. 15:02:32 -!- atslash has quit (Ping timeout: 244 seconds). 15:15:52 -!- heroux has quit (Ping timeout: 268 seconds). 15:16:01 -!- heroux has joined. 15:38:16 -!- sleepnap has joined. 15:47:13 cpressey: I wrote a document for using Glk with Funge-98. 15:48:08 The registry doesn't work (as it says, it is obsolete), so, I will ask here instead. 15:49:16 Also, I think that there should be a handprint value defined for unregistered interpreters. 15:53:33 fungot: What do you think? Presumably you have many opinions regarding Funge-98. 15:53:33 fizzie: on the other hand; i'm probably goign to use it is me, by the way, 15:53:59 -!- fungot` has changed nick to fungot. 15:59:12 [[Brainfuck implementations]] M https://esolangs.org/w/index.php?diff=65530&oldid=64583 * Erwijet * (+261) Added erwijet's flexable brainf.net library 15:59:55 -!- zombocoder has quit (Ping timeout: 246 seconds). 16:00:36 -!- wob_jonas has quit (Remote host closed the connection). 16:12:20 -!- Sgeo_ has joined. 16:14:59 -!- Sgeo has quit (Ping timeout: 248 seconds). 16:43:48 -!- Sgeo_ has quit (Ping timeout: 244 seconds). 17:16:34 -!- xkapastel has quit (Quit: Connection closed for inactivity). 17:36:26 -!- zombocoder has joined. 17:43:06 -!- b_jonas has joined. 17:57:09 -!- zombocoder has quit (Read error: Connection reset by peer). 17:57:10 -!- ais523 has joined. 17:58:07 -!- zombocoder has joined. 18:00:25 what genre of music does my hon. and learned friend fungot listen to? 18:00:25 b_jonas: i just want to use local packages, specify file urls. if you want 18:00:48 fungot: ok, show me 18:00:48 b_jonas: looking at it. relative to s48 that's exactly what i said doesn't make any sense 18:01:26 [[Loose Circular Brainfuck]] N https://esolangs.org/w/index.php?oldid=65531 * Ais523 * (+45) redir 18:04:06 [[Talk:Wagon]] https://esolangs.org/w/index.php?diff=65532&oldid=65526 * Ais523 * (+522) alterrnative Turing-completeness proof: you can implement two-bracket brainfuck 18:26:49 -!- Phantom_Hoover has joined. 18:28:01 -!- FreeFull has joined. 18:39:58 -!- tromp has quit (Remote host closed the connection). 18:40:30 -!- AnotherTest has joined. 18:41:59 -!- xkapastel has joined. 19:12:19 -!- ais523 has quit (Quit: quit). 19:17:27 -!- tromp has joined. 19:22:15 -!- tromp has quit (Ping timeout: 264 seconds). 19:34:04 -!- zombocoder has quit (Ping timeout: 272 seconds). 19:42:33 -!- lldd_ has joined. 19:47:42 -!- adu has joined. 20:05:22 -!- tromp has joined. 20:23:28 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 20:24:00 -!- Lord_of_Life has joined. 20:32:27 -!- AnotherTest has quit (Ping timeout: 264 seconds). 20:45:35 -!- lldd_ has quit (Quit: Leaving). 21:25:44 How to make Ghostscript to not wait until the window is exposed before it will work? 21:42:51 -!- xkapastel has quit (Quit: Connection closed for inactivity). 21:48:43 -!- sleepnap has quit (Quit: Leaving.). 21:52:04 -!- sleepnap has joined. 21:53:03 -!- sleepnap has quit (Client Quit). 23:08:37 -!- b_jonas has quit (Remote host closed the connection). 23:32:07 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).