00:06:35 -!- lambdabot has quit (Ping timeout: 240 seconds). 00:11:32 -!- lambdabot has joined. 00:12:54 -!- heroux has quit (Ping timeout: 246 seconds). 00:14:59 -!- heroux has joined. 00:17:57 -!- sleffy has quit (Ping timeout: 240 seconds). 00:20:00 @metar CYUL 00:20:00 CYUL 020000Z 18006KT 15SM -RA OVC035 07/03 A3027 RMK SC8 SLP254 00:22:30 -!- doesthiswork has joined. 00:30:23 -!- heroux has quit (Ping timeout: 248 seconds). 00:41:29 -!- heroux has joined. 00:54:25 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:10:22 -!- boily has quit (Quit: RECKLESS CHICKEN). 01:34:41 -!- jaboja has joined. 01:53:55 -!- jaboja has quit (Remote host closed the connection). 02:17:30 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 02:22:34 -!- augur has quit (Remote host closed the connection). 02:29:24 -!- augur has joined. 02:32:33 -!- augur has quit (Remote host closed the connection). 02:36:45 -!- augur has joined. 02:36:47 -!- augur has quit (Remote host closed the connection). 02:39:42 -!- augur has joined. 02:44:31 -!- augur has quit (Remote host closed the connection). 02:49:12 -!- augur has joined. 02:53:05 -!- augur has quit (Remote host closed the connection). 02:54:30 -!- augur has joined. 02:55:28 -!- doesthiswork has quit (Read error: Connection reset by peer). 02:55:40 -!- doesthiswork has joined. 02:57:46 -!- augur has quit (Remote host closed the connection). 02:58:42 -!- augur has joined. 03:01:19 -!- augur has quit (Read error: Connection reset by peer). 03:01:42 -!- augur has joined. 03:01:42 -!- augur has quit (Read error: Connection reset by peer). 03:02:17 -!- augur has joined. 03:08:14 -!- doesthiswork has quit (Read error: No route to host). 03:29:51 -!- sleffy has joined. 04:21:37 [wiki] [[Special:Log/newusers]] create * Loudcolour * New user account 04:23:01 -!- augur has quit (Remote host closed the connection). 04:26:25 [wiki] [[Talk:MMP]] N https://esolangs.org/w/index.php?oldid=53316 * Challenger5 * (+2097) Created page with "This looks like a neat language! I wanted to let you know that [https://gist.github.com/ScratchMan544/70e3dfbe091c5f3e46d47a99a8e4e7e6 I've written an implementation]. There a..." 04:27:53 -!- augur has joined. 04:30:00 -!- augur has quit (Remote host closed the connection). 04:32:25 -!- augur has joined. 04:34:10 -!- augur has quit (Remote host closed the connection). 05:22:21 -!- augur has joined. 05:26:52 -!- augur has quit (Ping timeout: 260 seconds). 05:33:27 -!- sleffy has quit (Ping timeout: 240 seconds). 06:45:08 -!- augur has joined. 06:48:09 -!- augur has quit (Client Quit). 07:02:21 -!- FreeFull has quit. 08:42:40 -!- DHeadshot has joined. 08:42:40 -!- ddlyheadshot has quit (Read error: Connection reset by peer). 09:07:12 -!- AnotherTest has joined. 10:34:48 -!- boily has joined. 11:01:03 fungot: how many nostrils do you have? 11:01:03 boily: one of the reported matter the purchaser. not only lavished on executives." 11:01:24 Executive Nostrils™ with Leather Upholstering. 11:18:48 -!- boily has quit (Quit: KNUCKLE CHICKEN). 13:42:13 -!- doesthiswork has joined. 13:47:17 -!- ddlyheadshot has joined. 13:50:25 -!- DHeadshot has quit (Ping timeout: 248 seconds). 14:48:24 -!- sebbu2 has joined. 14:51:28 -!- sebbu has quit (Ping timeout: 240 seconds). 15:11:49 -!- erkin has joined. 15:15:12 -!- sebbu2 has changed nick to sebbu. 15:17:08 -!- ddlyheadshot has quit (Ping timeout: 240 seconds). 15:31:26 -!- oerjan has joined. 15:31:43 @messages-loud 15:31:43 int-e said 3d 18h 44m 19s ago: Re: Who cares about ancient cases anyway? / To whom it may concern... 15:32:10 `revert 15:32:12 Done. 15:32:17 `? fun fact 15:32:18 fun fact 0 = 1 | fact n = n * fact (n - 1) 15:32:24 * oerjan grmbles 15:33:27 `cat bin/whoops 15:33:28 OLD="wisdom/$1"; [ -z "$1" ] && OLD="$(lastfiles)"; NEW="${OLD}s"; if [ -f "$NEW" ]; then echo "«${NEW}» already exists"; exit 1; fi; mv "$OLD" "$NEW" && echo "«${OLD}» -> «${NEW}»" 15:33:39 good, good 15:34:01 `forget fun fact 15:34:03 Forget what? 15:34:08 `? fun fact 15:34:10 fun fact 0 = 1 | fact n = n * fact (n - 1) 15:35:48 `? test 15:35:49 test failed. HackEgo-JUnit is not available. 15:35:53 `? testing 15:35:55 testing? ¯\(°​_o)/¯ 15:36:19 `le/rn testing // what happened with that 15:36:22 Learned 'testing ': what happened with that 15:36:25 oh 15:36:37 (just saw numbers in the logs) 15:36:42 `revert 15:36:44 Done. 15:39:37 if I haven't programmed with an esolang before what should I try? 15:41:48 why do you want to program with one? 15:42:10 for fun 15:42:13 also I want to make one 15:42:39 what kind of fun? the challenge of doing something with limited tools? the fun of exploring something weird? 15:42:47 yes 15:43:09 funge is a lot of fun 15:45:56 also funge98 is unusually usable, right fungot 15:45:56 oerjan: the short form agreement.?? 15:49:16 -!- alercah has changed nick to lexer. 15:51:43 -!- imode has joined. 15:52:49 -!- lexer has changed nick to alercah. 16:02:51 [wiki] [[Funge-98]] M https://esolangs.org/w/index.php?diff=53317&oldid=52671 * Finianb1 * (+84) /* Instructions */ 16:07:57 [wiki] [[Befunge]] M https://esolangs.org/w/index.php?diff=53318&oldid=53177 * Finianb1 * (+27) /* Befunge-93 and Befunge-98 */ 16:21:47 if you actually want to make useful programs, the best bet might be certain non-esolangs with strange features, like haskell or some APL 16:22:07 -!- carlos_ has joined. 16:31:44 -!- oerjan has quit (Quit: Later). 16:36:04 -!- sleffy has joined. 17:11:54 -!- FreeFull has joined. 17:17:09 -!- imode has quit (Ping timeout: 258 seconds). 17:21:14 Hmm, maybe we should conduct a poll whether Countercall is TC. 17:21:29 proof by poll, that's a new one 17:22:00 int-e: what? that's not one of those languages whose meaning keeps changing according to popular vote or something, right? 17:22:06 (ais523 wrote on the page that he believes that it is TC... I'm leaning towards no) 17:22:40 int-e: that's my intuition as well 17:23:16 that said 17:23:17 b_jonas: I'd prefer a proof, but the language is just awful enough to make that hard (for me, at least). 17:23:23 it would not be the first time I've been proven wrong 17:23:43 So it becomes a perfect target for conjectures :P 17:25:49 [wiki] [[User:B jonas]] https://esolangs.org/w/index.php?diff=53319&oldid=52409 * B jonas * (+46) 17:26:56 [wiki] [[Special:Log/newusers]] create * Carlos * New user account 17:38:05 [wiki] [[Lost]] N https://esolangs.org/w/index.php?oldid=53320 * Wheatwizard * (+2780) Made page 18:08:55 -!- jaboja has joined. 18:34:05 -!- sftp has quit (Ping timeout: 240 seconds). 18:34:50 -!- sftp has joined. 18:39:57 -!- sleffy has quit (Ping timeout: 258 seconds). 18:40:20 -!- carlos_ has quit (Quit: Page closed). 18:45:53 -!- sleffy has joined. 18:55:47 -!- imode has joined. 19:19:02 -!- brandonson has joined. 19:34:17 -!- jaboja has quit (Quit: Leaving). 20:19:07 [wiki] [[Three Star Programmer]] https://esolangs.org/w/index.php?diff=53321&oldid=46069 * Ais523 * (+146) /* Computational class */ TC proof sketch 20:25:22 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 20:39:31 -!- Phantom_Hoover has joined. 20:39:31 -!- Phantom_Hoover has quit (Changing host). 20:39:31 -!- Phantom_Hoover has joined. 21:13:31 `? password 21:13:33 The password of the month is revolutionary 21:13:46 🙌 21:50:18 [wiki] [[Geo]] N https://esolangs.org/w/index.php?oldid=53322 * B jonas * (+3203) Created page with "''Geo'' is a simple interpreted toy programming language. I, [[User:b_jonas|b_jonas]] created it in 2006 for a programming course that required implementing a parser using ya..." 21:51:48 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53323&oldid=53322 * B jonas * (+96) 21:52:03 does geo have goenerics 21:53:25 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53324&oldid=53323 * B jonas * (+2) 21:54:06 Phantom_Hoover, gno 21:54:13 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=53325&oldid=53277 * B jonas * (+10) 21:55:47 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53326&oldid=53324 * B jonas * (+25) 21:56:10 [wiki] [[Olvasható]] https://esolangs.org/w/index.php?diff=53327&oldid=53309 * B jonas * (+25) 21:56:35 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53328&oldid=53326 * B jonas * (+40) 22:01:27 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53329&oldid=53328 * B jonas * (+413) 22:04:01 [wiki] [[Geo]] https://esolangs.org/w/index.php?diff=53330&oldid=53329 * B jonas * (+38) 22:15:01 [wiki] [[Scan]] N https://esolangs.org/w/index.php?oldid=53331 * B jonas * (+1319) Created page with "'''Scan''' is a toy programming language. I, [[User:b_jonas|b_jonas]] created it in 2003. I published it to the world around 2006. Scan is dynamically typed, values can be..." 22:15:59 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=53332&oldid=53325 * B jonas * (+11) 22:17:28 [wiki] [[User:B jonas]] https://esolangs.org/w/index.php?diff=53333&oldid=53319 * B jonas * (+114) 22:17:43 lol gno goenerics 22:18:39 -!- wob_jonas has joined. 22:18:54 what? 22:18:56 `? gno 22:18:57 gno? ¯\(°​_o)/¯ 22:27:52 -!- ais523 has joined. 22:35:53 -!- ais523 has quit (Remote host closed the connection). 22:37:06 -!- ais523 has joined. 22:48:07 Countercall indeed sounds like it's not obvious whether it's turing complete or not 22:48:16 its feature set is so awkward 22:50:05 yes 22:50:32 I'm currently leaning towards yes but wouldn't be surprised if I'm wrong 22:51:50 the main problem is that it only has two places to store data and they're both critically important for other things, /and/ it's easy to prove that you need to shift data back and forth between the two of them for TCness 22:51:52 I suspect it's not turing complete, but I don't really know 22:52:49 I'm fine with only two places to keep data and shifting data back and forth, that's how two stack automata work, but this one is just so awkward 22:53:24 right, it'd be easy if the data were just data, rather than being inherent to the language's control flow at the same time 22:54:05 and there's just too few ways to control flow 22:54:21 if there were multiple ways to call a function which use the counter differently, it would be easy 22:57:08 [wiki] [[Scan]] https://esolangs.org/w/index.php?diff=53334&oldid=53331 * B jonas * (+3) 22:59:08 (I just realized that scan is not turing-complete, because it only has the one stack that stores returns and localized values of variables, and all values are fixed point integers or functions that don't close over anything at runtime.) 22:59:14 s/fixed point/machine/ 23:05:58 -!- boily has joined. 23:11:40 is untyped lambda calculus TC without closures? admittedly, I'm not 100% sure what that would mean 23:12:02 certainly, currying wouldn't work, which get rid of most of the usual constructions 23:14:03 ais523: um... how would that work? 23:14:10 lambda calculus without closures? 23:14:17 I don't think it does 23:14:52 come to think of it, Splinter is pretty close to this 23:14:58 and it's a PDA 23:15:01 do you mean that functions only store a reference to the stack, and you can call them only as long as the innermost block of which it refers a variable hasn't exited yet? 23:15:17 I mean that a function value isn't stateful 23:15:29 it's just a reference to a block of code, like in C 23:15:42 but you also don't have algebraic types? 23:15:48 because that sounds like a pushdown automaton 23:15:54 and so isn't turing complete 23:16:01 you don't have a heap 23:16:35 I agree, I think it's a PDA 23:24:39 scan, of which I just wrote a stub entry, is actually sort of like that. a function value only holds a pointer to a node in the parse tree. no closing over values. 23:26:25 I think the rules for variables is this: variables with the same name in different compile-time scopes are distinguished. local variables are dynamically localized in the correct scope, but closures don't record any value or reference to them. variable access just takes the innermost localized value that corresponds to the same variable in the sour 23:26:25 ce code. 23:26:37 but I'm not quite sure it works that way. 23:29:38 The simplest way to have such a language is to only have global variables instead. 23:41:56 helloily 23:44:20 QUINTHELLOPIA! 23:44:30 but I think if you only have globals, it might not even have enough power for a push-down automaton. I'm not sure. 23:44:48 I'm not sure if there's even a difference if you can't get input.