00:02:54 man 00:03:01 so much work put into the HackEso ux 00:03:48 -!- tromp has quit (Remote host closed the connection). 00:05:08 one day archeologists will find its remains and wonder why the rest of the 21st century internet's ux wasn't as sane 00:16:02 my current favorite norwegian comic strip https://www.dagbladet.no/tegneserie/dunce/ 00:17:50 (admittedly i'm not really following any other than those at that website) 00:36:41 -!- tromp has joined. 00:37:46 -!- Lord_of_Life_ has joined. 00:39:37 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 00:40:11 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 00:41:12 -!- tromp has quit (Ping timeout: 250 seconds). 01:05:21 -!- Remavas has quit (Quit: Leaving). 01:12:26 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 01:31:39 -!- tromp has joined. 02:26:22 `ping 02:26:23 pong 02:27:39 -!- sftp has quit (Ping timeout: 252 seconds). 02:29:12 -!- sftp has joined. 03:33:25 -!- FreeFull has quit. 04:13:24 -!- oerjan has quit (Quit: Nite). 07:22:02 [[TrumpScript]] M https://esolangs.org/w/index.php?diff=60739&oldid=46220 * Salpynx * (+89) remove unused "massive stub" template ref and add better categories 07:38:46 [[D.U.C.K.]] M https://esolangs.org/w/index.php?diff=60740&oldid=57504 * Salpynx * (+133) remove link to bad year category, correct spelling 07:55:43 -!- tromp has quit (Remote host closed the connection). 07:55:56 -!- tromp has joined. 07:58:43 oerjan: I see 07:59:53 oerjan: I just found that bin/\? doesn't work when you cd to a different directory first 08:49:02 -!- tromp has quit (Remote host closed the connection). 09:00:28 -!- AnotherTest has joined. 09:00:31 -!- arseniiv has joined. 09:02:51 -!- b_jonas has quit (Quit: leaving). 09:18:36 -!- tromp has joined. 09:29:05 -!- AnotherTest has quit (Ping timeout: 258 seconds). 10:17:06 [[Top-based turning]] N https://esolangs.org/w/index.php?oldid=60741 * A * (+357) Created page with "[[Top-based turning]] is an [[esoteric programming language]] influenced by [[The Waterfall Model]] and [[Befunge]]. [[Category:Languages]] [[Category:2019]] Category:Unknow..." 10:21:32 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60742&oldid=60741 * A * (+570) 10:26:07 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60743&oldid=60742 * A * (+739) /* The language */ 10:28:48 -!- danieljabailey has quit (Ping timeout: 245 seconds). 10:29:38 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60744&oldid=60743 * A * (+357) /* Commands */ 10:31:25 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60745&oldid=60744 * A * (+228) 10:31:39 -!- danieljabailey has joined. 10:31:55 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60746&oldid=60745 * A * (+33) /* Commands */ 10:32:25 maybe I could stand A’s creations, if only they didn’t claim completeness and other serious things erroneously 10:33:42 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60747&oldid=60746 * A * (+190) /* Example program */ 10:35:19 [[Powder]] https://esolangs.org/w/index.php?diff=60748&oldid=60723 * A * (-1207) This article is long enough. This is unneccesary. 10:36:27 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60749&oldid=60747 * A * (+30) /* The language */ 10:38:03 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60750&oldid=60749 * A * (+188) /* Example program */ 10:39:30 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60751&oldid=60750 * A * (+41) /* Example program */ 10:39:56 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60752&oldid=60751 * A * (-27) /* Commands */ 10:42:36 [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60753&oldid=60724 * A * (+245) /* Fibonacci sequence, factorials etc. */ 10:42:49 [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60754&oldid=60753 * A * (+1) 10:50:06 [[Talk:Powder]] M https://esolangs.org/w/index.php?diff=60755&oldid=60754 * Arseniiv * (+132) /* Fibonacci sequence, factorials etc. */ 10:51:06 is there a wiki template to mark a claim as unfounded? 11:05:15 [[Powder]] https://esolangs.org/w/index.php?diff=60756&oldid=60748 * A * (-14989) /* Fibonacci sequence */ 11:05:16 [[Nope.]] M https://esolangs.org/w/index.php?diff=60757&oldid=60718 * Arseniiv * (+80) link to discussion about an unexistent cat program 11:05:52 [[Powder]] https://esolangs.org/w/index.php?diff=60758&oldid=60756 * A * (-27757) /* Factorial */ 11:08:10 [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60759&oldid=60755 * A * (+253) 11:11:15 [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60760&oldid=60759 * A * (-870) Blanked the page 11:21:17 -!- bobby has quit (Ping timeout: 245 seconds). 11:23:52 -!- bobby has joined. 11:33:22 -!- Bob- has joined. 11:34:26 -!- bobby has quit (Ping timeout: 258 seconds). 11:38:58 and again, it’s cleaning time 11:45:43 -!- Sgeo has quit (Read error: Connection reset by peer). 11:45:47 -!- arseniiv has quit (Ping timeout: 246 seconds). 11:46:12 -!- Sgeo has joined. 11:47:37 [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60761&oldid=60760 * Ais523 * (+870) Undo revision 60760 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]): please do not blank mainspace/talkspace pages which have non-minimal content from other users 11:48:56 -!- arseniiv has joined. 11:52:28 on a positive things, I now think about an ideas akin to https://esolangs.org/wiki/Entropy about resources that become unusable over time, but without loss of precision, simply breaking and raising an error on use/access. Though, in a straight-forward implementation this will end in boring copying all over the place and not much else 11:52:46 s/things/side 12:00:08 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60762&oldid=60752 * A * (+39) /* Example program */ 12:00:41 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60763&oldid=60762 * A * (+2) /* Example program */ 12:01:48 [[Top-based turning]] https://esolangs.org/w/index.php?diff=60764&oldid=60763 * A * (+14) Another small edit... 12:31:25 > Iexp has an incredible and innovative syntax which replaces all need for parentheses, called the dot notation. The precedence of an operator is determinated from the number of dots before it. More dots, higher precedence. 12:31:27 :1:85: error: parse error on input ‘,’ 12:31:40 haha I’ve seen that in ye olden logic books 12:32:13 though there were dots on both sides of operators. But in other regards it should be the same idea :D 12:32:28 sorry lambdabot 12:33:19 [[Pxem]] https://esolangs.org/w/index.php?diff=60765&oldid=57783 * YamTokWae * (+141) pronounciation 12:33:57 oh! is there an esolang based on what is known about Turing-completeness of word-equality problem for some semigroups (IIRC)? 12:34:07 I bet it is 12:40:58 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 12:41:52 -!- Lord_of_Life has joined. 12:42:19 [[Pxem]] https://esolangs.org/w/index.php?diff=60766&oldid=60765 * YamTokWae * (+220) /* Hello, world! */ 12:46:19 [[PPAP++]] https://esolangs.org/w/index.php?diff=60767&oldid=50099 * YamTokWae * (+36) 12:54:01 [[Z]] https://esolangs.org/w/index.php?diff=60768&oldid=57109 * YamTokWae * (+12) Too bad, dead link.... 12:56:37 [[Y (programming language)]] https://esolangs.org/w/index.php?diff=60769&oldid=46618 * YamTokWae * (+73) 13:01:00 [[Template:Stub]] https://esolangs.org/w/index.php?diff=60770&oldid=36025 * YamTokWae * (+45) Why not categorize? 13:04:33 -!- danieljabailey has quit (Ping timeout: 268 seconds). 13:08:04 -!- wob_jonas has joined. 13:08:17 arseniiv: http://www.madore.org/~david/weblog/d.2015-12-28.2347.html#d.2015-12-28.2347 the details get subtle 13:10:46 -!- danieljabailey has joined. 13:13:11 wob_jonas: mmm 13:23:54 another idea about breaking: we have an infinite graph whose edges are labeled with operations (assume concatenative language), and a program is a simple path, 13:25:13 . The graph should have to some degree a regular structure to allow Turing-completeness 13:26:14 it is like we burn vertices and edges on our way, so we can’t pass through them a second time 13:30:59 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 13:33:56 but if the graph is plain enough, e. g. its vertices are A → N and there’s an edge from f to g iff g(x) = f(x) + [x == c], labeled c, then we can map any string on A to even a unique simple path, and that’s not interesting at all 13:34:37 oops, unique if we are bound to start in the same vertex each time 13:35:27 we should probably require that vertex to be fixed 13:35:46 so the ultimate question is, what graph 13:36:28 [[Template:Distinguish]] https://esolangs.org/w/index.php?diff=60771&oldid=55621 * YamTokWae * (+943) WTF the useless template was.... Now it's useful now! 13:40:17 [[Template:Distinguish/Confusion]] https://esolangs.org/w/index.php?diff=60772&oldid=55616 * YamTokWae * (+1022) 13:41:49 [[Y]] https://esolangs.org/w/index.php?diff=60773&oldid=9601 * YamTokWae * (+112) 13:42:23 [[Template:Distinguish]] https://esolangs.org/w/index.php?diff=60774&oldid=60771 * YamTokWae * (-943) Undo revision 60771 by [[Special:Contributions/YamTokWae|YamTokWae]] ([[User talk:YamTokWae|talk]]) (Sorry, I accidentally misread pagename.) 13:43:39 [[Y (programming language)]] https://esolangs.org/w/index.php?diff=60775&oldid=60769 * YamTokWae * (+115) 13:49:27 -!- wob_jonas has joined. 13:49:32 arseniiv: try the graph of colors in Piet 13:51:39 [[Template:Realstub]] M https://esolangs.org/w/index.php?diff=60776&oldid=8410 * YamTokWae * (+2) SORTKEY plz.... 13:52:13 [[Template:Realstub]] M https://esolangs.org/w/index.php?diff=60777&oldid=60776 * YamTokWae * (+0) How should it be categorized? 13:54:44 [[Category:Stubs]] https://esolangs.org/w/index.php?diff=60778&oldid=8091 * YamTokWae * (+48) 13:54:54 [[Template:Stub]] https://esolangs.org/w/index.php?diff=60779&oldid=60770 * YamTokWae * (+2) 13:55:12 [[Template:Stub]] https://esolangs.org/w/index.php?diff=60780&oldid=60779 * YamTokWae * (+18) 13:59:10 -!- YamTokWae has joined. 13:59:19 Hello? 13:59:29 1st time 2 use IRC 13:59:51 \help 14:00:19 !delete above message 14:00:23 ...? 14:00:45 YamTokWae: you can't delete or edit past IRC messages 14:00:55 `welcome YamTokWae 14:00:56 YamTokWae: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 14:01:10 I'm active there 14:01:15 (sometimes 14:01:32 What do you usually talk here? 14:01:41 Weird programming stuff 14:01:49 And other assorted CS and/or puzzly things 14:02:08 i see 14:02:18 btw do you discuss policy of wiki? 14:03:22 -!- AnotherTest has joined. 14:04:33 We do, on occasion. esowiki (a bot) reports on edits so that's a constant reminder. 14:04:35 Hi :AnotherTest 14:06:10 I see.... 14:09:31 leaving, bye 14:09:33 -!- YamTokWae has left. 14:10:58 hm which of b_jonas nicknames should I use to @tell him… 14:11:47 arseniiv: tell it to wob_jonas 14:12:30 wait, it you’re still here why my client couldn’t add your name to the post field, wierd 14:12:53 weird* 14:13:59 (and I thought I specifically cannot make a typo in this word) 14:15:45 wob_jonas: okay, I think Piet colors is a neat idea, but once again if there are edges of all colors going out of any vertex, then it’s quite bland, and if there aren’t, then for TC-ness we should carefully pick a graph 15:03:44 -!- AnotherTest has quit (Ping timeout: 258 seconds). 15:05:12 -!- Sgeo_ has joined. 15:08:34 -!- Sgeo has quit (Ping timeout: 255 seconds). 15:14:42 -!- Sgeo__ has joined. 15:17:32 -!- Sgeo_ has quit (Ping timeout: 245 seconds). 15:24:46 -!- pikhq has quit (Ping timeout: 255 seconds). 15:26:03 -!- pikhq has joined. 15:39:34 -!- oerjan has joined. 15:43:11 is there a wiki template to mark a claim as unfounded? <-- {{fact}} 15:43:48 although that's not quite appropriate for erroneous proofs... 15:45:28 unless you identify an actually wrong assumption. 15:48:48 haha I’ve seen that in ye olden logic books <-- i remember that too, i think in russell/whitehead's principia mathematica 15:51:00 -!- wob_jonas has quit (K-Lined). 16:03:33 -!- int-e has left ("LAW-ABIDING CHICKEN"). 16:03:34 -!- int-e has joined. 16:12:03 wob_jonas got K-Lined? 16:12:35 and int-e is displaying signs of boily withdrawal 16:18:33 -!- Essadon has joined. 16:18:49 -!- Essadon has quit (Max SendQ exceeded). 16:32:23 -!- tromp has quit (Remote host closed the connection). 16:51:08 -!- AnotherTest has joined. 17:14:20 -!- tromp has joined. 17:30:59 -!- oerjan has quit (Quit: Later). 17:34:23 @tell oerjan in case of A, I think there rarely are proofs at all 17:34:23 Consider it noted. 17:36:24 ah I see, {{fact}} is equivalent to {{cn}}, which is “[citation needed]”, which is quite not applicable here 18:37:31 -!- b_jonas has joined. 18:38:56 oerjan: looks like so 18:44:59 -!- tromp has quit (Remote host closed the connection). 18:45:14 -!- tromp has joined. 19:01:42 `? garlic 19:01:43 garlic? ¯\(°​_o)/¯ 19:01:50 `? underneath 19:01:51 underneath? ¯\(°​_o)/¯ 19:01:51 `? overneath 19:01:52 overneath? ¯\(°​_o)/¯ 19:01:54 `? besidesneath 19:01:56 besidesneath? ¯\(°​_o)/¯ 19:02:00 `? nextneath to 19:02:01 nextneath to? ¯\(°​_o)/¯ 19:04:51 -!- tromp has quit (Remote host closed the connection). 19:13:57 `? behindneath 19:13:58 behindneath? ¯\(°​_o)/¯ 19:40:50 -!- tromp has joined. 20:20:29 -!- skizzy has joined. 20:53:51 [[Control character]] https://esolangs.org/w/index.php?diff=60781&oldid=60737 * EnilKoder * (-3647) Blanked the page 20:54:12 I haven't seen boily in a while :( 20:54:24 [[Control character]] https://esolangs.org/w/index.php?diff=60782&oldid=60781 * EnilKoder * (+3647) 20:55:04 [[Special:Log/move]] move * EnilKoder * moved [[Control character]] to [[Control Character]]: Capitalization of the first C in Character 20:55:46 [[Control character]] https://esolangs.org/w/index.php?diff=60785&oldid=60784 * EnilKoder * (-31) Blanked the page 20:57:34 -!- Phantom_Hoover has joined. 20:57:34 -!- Phantom_Hoover has quit (Changing host). 20:57:34 -!- Phantom_Hoover has joined. 21:00:10 [[Control character]] https://esolangs.org/w/index.php?diff=60786&oldid=60785 * EnilKoder * (+371) 21:02:00 -!- FreeFull has joined. 21:16:42 kmc: yes, we haven't seen him in a while either 21:24:53 [[Control Character]] https://esolangs.org/w/index.php?diff=60787&oldid=60783 * EnilKoder * (+215) 21:28:21 anyone else play poly bridge 21:31:26 -!- skizzy has left ("Leaving"). 22:02:43 -!- b_jonas has quit (Quit: leaving). 22:08:23 -!- moei has quit (Quit: Leaving...). 22:13:56 [[Special:Log/newusers]] create * Prof Apex * New user account 22:18:00 hope he's doing well 22:27:49 what is poly bridge 22:27:58 is that when i play bridge with my wife and my girlfriend 22:30:51 I think it might've been a poly*gon*-oriented bridge-building game? 22:31:00 Faintly recall saw something about that. 22:41:49 -!- tromp has quit (Remote host closed the connection). 22:42:01 -!- tromp has joined. 22:55:00 -!- tromp has quit (Remote host closed the connection). 23:12:04 -!- tromp has joined. 23:31:00 -!- AnotherTest has quit (Ping timeout: 268 seconds). 23:35:57 -!- Cale has quit (Ping timeout: 252 seconds). 23:48:19 -!- Cale has joined. 23:54:03 -!- oerjan has joined. 23:56:58 @messages-cloudy 23:56:58 arseniiv said 6h 22m 35s ago: in case of A, I think there rarely are proofs at all 23:59:09 I haven't seen boily in a while :( <-- he sometimes posts on reddit. 23:59:54 cool