00:44:37 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement). 01:52:11 -!- Lord_of_Life has quit (Ping timeout: 264 seconds). 01:53:47 -!- Lord_of_Life has joined. 01:56:52 [[User talk:/w/wiki/index.php/Talk:index.php/Main page]] https://esolangs.org/w/index.php?diff=123904&oldid=123893 * Qawtykit * (+50) added the instruction 02:44:29 -!- PoserKiller has quit (Quit: Client closed). 03:53:11 -!- ^[ has joined. 04:02:04 https://en.wikipedia.org/wiki/Extended_natural_numbers 0 * infinity = 0??????? 04:13:25 that way you get a semiring. 04:31:42 Think of it as elements of the type [()] in Haskell. 04:32:11 plus a b = a ++ b 04:32:21 times a b = [() | _ <- a, _ <- b] 04:32:52 > let inf = repeat (); zero = []; times a b = [() | _ <- a, _ <- b] in (zero `times` inf, inf `times` zero) 04:32:58 mueval-core: Time limit exceeded 04:33:03 > let inf = repeat (); zero = []; times a b = [() | _ <- a, _ <- b] in zero `times` inf 04:33:04 [] 04:33:31 (it's not a great model for this) 04:35:23 Oh man, you're completely right. 04:37:00 doing this with cardinalities works though 04:37:25 (up to aleph_0) 04:38:30 Hmm, so multiplication is computable, right? It's just not the thing I said? 04:38:45 But I'm wondering whether there's a nice way to write it that makes it clear this is the right behavior. 04:40:16 Well you can use your favorite enumeration of N^2. 04:41:00 Ugh, it's been so long since I even did any Haskell things. 04:42:07 > let times [] _ = []; times (_:as) bs = bs ++ times bs as; zero = []; inf = repeat () in (zero `times` inf, inf `times` zero) 04:42:09 ([],[]) 04:42:39 times bs as 04:42:44 (not an enumeration of NxN but good enough for this) 04:42:45 Too sneaky. 06:38:00 [[User talk:EvyLah]] https://esolangs.org/w/index.php?diff=123905&oldid=123903 * EvyLah * (+109) 07:00:46 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123906&oldid=123891 * EvyLah * (+242) add a few more basic commands, nothing too special 07:43:32 -!- tromp has joined. 08:06:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 08:12:34 -!- tromp has joined. 08:12:57 [[User:Tev27]] https://esolangs.org/w/index.php?diff=123907&oldid=97326 * Tev27 * (-344) Replaced content with "me" 08:50:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 08:55:03 -!- tromp has joined. 09:18:53 -!- Everything has joined. 09:26:05 [[Brainfuck Assembly Language]] M https://esolangs.org/w/index.php?diff=123908&oldid=98108 * Olus2000 * (-8) /* Ternary variation */ typo 10:15:29 [[Talk:Extended Brainfuck]] https://esolangs.org/w/index.php?diff=123909&oldid=48997 * Tromp * (+267) suggest simplification 10:16:35 [[Talk:Extended Brainfuck]] M https://esolangs.org/w/index.php?diff=123910&oldid=123909 * Tromp * (+3) 10:41:14 -!- Koen_ has joined. 11:01:19 -!- FreeFull has quit. 11:04:24 -!- ais523 has joined. 11:41:20 -!- Sgeo has quit (Read error: Connection reset by peer). 12:24:24 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123911&oldid=123906 * 97202 * (+199) 12:24:59 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123912&oldid=123911 * 97202 * (-199) Undo revision 123911 by [[Special:Contributions/97202|97202]] ([[User talk:97202|talk]]) 12:28:38 -!- sprout_ has joined. 12:30:53 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123913&oldid=123912 * 97202 * (+200) 12:32:08 -!- sprout has quit (Ping timeout: 256 seconds). 12:45:36 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123914&oldid=123913 * 97202 * (-3) 13:11:19 -!- sprout_ has changed nick to sprout. 13:31:12 -!- Thelie has joined. 14:39:00 -!- Koen_ has quit (Remote host closed the connection). 14:41:34 -!- Koen_ has joined. 14:49:40 -!- Thelie has quit (Ping timeout: 255 seconds). 14:53:10 -!- Thelie has joined. 15:04:31 -!- Thelie has quit (Quit: Leaving.). 15:23:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:30:28 -!- tromp has joined. 17:03:19 -!- Koen_ has quit (Quit: Leaving...). 17:43:37 -!- Thelie has joined. 18:00:24 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:09:32 [[Mascarpone]] https://esolangs.org/w/index.php?diff=123915&oldid=122702 * * (+5246) 18:30:42 [[Spin4]] https://esolangs.org/w/index.php?diff=123916&oldid=123826 * Michael * (+19) 18:32:54 [[Talk:No.]] N https://esolangs.org/w/index.php?oldid=123917 * EvyLah * (+281) /* Brainfuck interpreter */ new section 18:45:56 [[Spin4]] https://esolangs.org/w/index.php?diff=123918&oldid=123916 * Michael * (+1323) 18:47:15 [[Spin4]] https://esolangs.org/w/index.php?diff=123919&oldid=123918 * Michael * (+8) 18:49:52 -!- sprout_ has joined. 18:50:17 [[Spin4]] https://esolangs.org/w/index.php?diff=123920&oldid=123919 * Michael * (-9) 18:52:43 -!- sprout has quit (Ping timeout: 260 seconds). 19:00:09 -!- ais523 has quit (Quit: quit). 19:03:58 -!- sprout_ has changed nick to sprout. 19:11:48 -!- tromp has joined. 19:11:54 -!- Everything has quit (Remote host closed the connection). 19:12:01 -!- sprout has quit (Ping timeout: 255 seconds). 19:13:35 -!- sprout has joined. 20:34:54 -!- Sgeo has joined. 21:00:53 -!- sprout_ has joined. 21:02:47 -!- sprout__ has joined. 21:04:02 -!- Thelie has quit (Remote host closed the connection). 21:04:04 -!- sprout has quit (Ping timeout: 255 seconds). 21:06:06 -!- sprout_ has quit (Ping timeout: 256 seconds). 21:18:27 -!- sprout__ has changed nick to sprout. 21:37:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:52:47 -!- tromp has joined. 22:21:15 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 23:19:36 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123921&oldid=123914 * Qawtykit * (+190) added an examples section and a hello world program 23:20:33 [[Everyonelang]] M https://esolangs.org/w/index.php?diff=123922&oldid=123921 * Qawtykit * (+1) 23:32:53 [[Everyonelang]] https://esolangs.org/w/index.php?diff=123923&oldid=123922 * Qawtykit * (+120) LOOPING!!!!! WAHOO???? 23:34:46 [[Everyonelang]] M https://esolangs.org/w/index.php?diff=123924&oldid=123923 * Qawtykit * (+26)