00:03:01 <shachaf> so much work put into the HackEso ux
00:03:48 -!- tromp has quit (Remote host closed the connection).
00:05:08 <oerjan> 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 <oerjan> my current favorite norwegian comic strip https://www.dagbladet.no/tegneserie/dunce/
00:17:50 <oerjan> (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: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 <esowiki> [[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 <esowiki> [[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:59:53 <b_jonas> 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 <esowiki> [[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 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60742&oldid=60741 * A * (+570)
10:26:07 <esowiki> [[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 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60744&oldid=60743 * A * (+357) /* Commands */
10:31:25 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60745&oldid=60744 * A * (+228)
10:31:39 -!- danieljabailey has joined.
10:31:55 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60746&oldid=60745 * A * (+33) /* Commands */
10:32:25 <arseniiv> maybe I could stand A’s creations, if only they didn’t claim completeness and other serious things erroneously
10:33:42 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60747&oldid=60746 * A * (+190) /* Example program */
10:35:19 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60748&oldid=60723 * A * (-1207) This article is long enough. This is unneccesary.
10:36:27 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60749&oldid=60747 * A * (+30) /* The language */
10:38:03 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60750&oldid=60749 * A * (+188) /* Example program */
10:39:30 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60751&oldid=60750 * A * (+41) /* Example program */
10:39:56 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60752&oldid=60751 * A * (-27) /* Commands */
10:42:36 <esowiki> [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60753&oldid=60724 * A * (+245) /* Fibonacci sequence, factorials etc. */
10:42:49 <esowiki> [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60754&oldid=60753 * A * (+1)
10:50:06 <esowiki> [[Talk:Powder]] M https://esolangs.org/w/index.php?diff=60755&oldid=60754 * Arseniiv * (+132) /* Fibonacci sequence, factorials etc. */
10:51:06 <arseniiv> is there a wiki template to mark a claim as unfounded?
11:05:15 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60756&oldid=60748 * A * (-14989) /* Fibonacci sequence */
11:05:16 <esowiki> [[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 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60758&oldid=60756 * A * (-27757) /* Factorial */
11:08:10 <esowiki> [[Talk:Powder]] https://esolangs.org/w/index.php?diff=60759&oldid=60755 * A * (+253)
11:11:15 <esowiki> [[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: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 <esowiki> [[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 <arseniiv> 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
12:00:08 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60762&oldid=60752 * A * (+39) /* Example program */
12:00:41 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60763&oldid=60762 * A * (+2) /* Example program */
12:01:48 <esowiki> [[Top-based turning]] https://esolangs.org/w/index.php?diff=60764&oldid=60763 * A * (+14) Another small edit...
12:31:25 <arseniiv> > 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 <lambdabot> <hint>:1:85: error: parse error on input ‘,’
12:31:40 <arseniiv> haha I’ve seen that in ye olden logic books
12:32:13 <arseniiv> though there were dots on both sides of operators. But in other regards it should be the same idea :D
12:33:19 <esowiki> [[Pxem]] https://esolangs.org/w/index.php?diff=60765&oldid=57783 * YamTokWae * (+141) pronounciation
12:33:57 <arseniiv> oh! is there an esolang based on what is known about Turing-completeness of word-equality problem for some semigroups (IIRC)?
12:40:58 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
12:41:52 -!- Lord_of_Life has joined.
12:42:19 <esowiki> [[Pxem]] https://esolangs.org/w/index.php?diff=60766&oldid=60765 * YamTokWae * (+220) /* Hello, world! */
12:46:19 <esowiki> [[PPAP++]] https://esolangs.org/w/index.php?diff=60767&oldid=50099 * YamTokWae * (+36)
12:54:01 <esowiki> [[Z]] https://esolangs.org/w/index.php?diff=60768&oldid=57109 * YamTokWae * (+12) Too bad, dead link....
12:56:37 <esowiki> [[Y (programming language)]] https://esolangs.org/w/index.php?diff=60769&oldid=46618 * YamTokWae * (+73)
13:01:00 <esowiki> [[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 <wob_jonas> 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:23:54 <arseniiv> 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 <arseniiv> . The graph should have to some degree a regular structure to allow Turing-completeness
13:26:14 <arseniiv> 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 <arseniiv> 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 <arseniiv> oops, unique if we are bound to start in the same vertex each time
13:35:27 <arseniiv> we should probably require that vertex to be fixed
13:35:46 <arseniiv> so the ultimate question is, what graph
13:36:28 <esowiki> [[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 <esowiki> [[Template:Distinguish/Confusion]] https://esolangs.org/w/index.php?diff=60772&oldid=55616 * YamTokWae * (+1022)
13:41:49 <esowiki> [[Y]] https://esolangs.org/w/index.php?diff=60773&oldid=9601 * YamTokWae * (+112)
13:42:23 <esowiki> [[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 <esowiki> [[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 <wob_jonas> arseniiv: try the graph of colors in Piet
13:51:39 <esowiki> [[Template:Realstub]] M https://esolangs.org/w/index.php?diff=60776&oldid=8410 * YamTokWae * (+2) SORTKEY plz....
13:52:13 <esowiki> [[Template:Realstub]] M https://esolangs.org/w/index.php?diff=60777&oldid=60776 * YamTokWae * (+0) How should it be categorized?
13:54:44 <esowiki> [[Category:Stubs]] https://esolangs.org/w/index.php?diff=60778&oldid=8091 * YamTokWae * (+48)
13:54:54 <esowiki> [[Template:Stub]] https://esolangs.org/w/index.php?diff=60779&oldid=60770 * YamTokWae * (+2)
13:55:12 <esowiki> [[Template:Stub]] https://esolangs.org/w/index.php?diff=60780&oldid=60779 * YamTokWae * (+18)
13:59:10 -!- YamTokWae has joined.
14:00:45 <Taneb> YamTokWae: you can't delete or edit past IRC messages
14:00:55 <Taneb> `welcome YamTokWae
14:00:56 <HackEso> YamTokWae: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <https://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
14:01:41 <Taneb> Weird programming stuff
14:01:49 <Taneb> And other assorted CS and/or puzzly things
14:02:18 <YamTokWae> btw do you discuss policy of wiki?
14:03:22 -!- AnotherTest has joined.
14:04:33 <int-e> We do, on occasion. esowiki (a bot) reports on edits so that's a constant reminder.
14:09:33 -!- YamTokWae has left.
14:10:58 <arseniiv> hm which of b_jonas nicknames should I use to @tell him…
14:12:30 <arseniiv> wait, it you’re still here why my client couldn’t add your name to the post field, wierd
14:13:59 <arseniiv> (and I thought I specifically cannot make a typo in this word)
14:15:45 <arseniiv> 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 <oerjan> <arseniiv> is there a wiki template to mark a claim as unfounded? <-- {{fact}}
15:43:48 <oerjan> although that's not quite appropriate for erroneous proofs...
15:45:28 <oerjan> unless you identify an actually wrong assumption.
15:48:48 <oerjan> <arseniiv> 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 <oerjan> wob_jonas got K-Lined?
16:12:35 <oerjan> 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 <arseniiv> @tell oerjan in case of A, I think there rarely are proofs at all
17:36:24 <arseniiv> 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:44:59 -!- tromp has quit (Remote host closed the connection).
18:45:14 -!- tromp has joined.
19:04:51 -!- tromp has quit (Remote host closed the connection).
19:40:50 -!- tromp has joined.
20:20:29 -!- skizzy has joined.
20:53:51 <esowiki> [[Control character]] https://esolangs.org/w/index.php?diff=60781&oldid=60737 * EnilKoder * (-3647) Blanked the page
20:54:12 <kmc> I haven't seen boily in a while :(
20:54:24 <esowiki> [[Control character]] https://esolangs.org/w/index.php?diff=60782&oldid=60781 * EnilKoder * (+3647)
20:55:04 <esowiki> [[Special:Log/move]] move * EnilKoder * moved [[Control character]] to [[Control Character]]: Capitalization of the first C in Character
20:55:46 <esowiki> [[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 <esowiki> [[Control character]] https://esolangs.org/w/index.php?diff=60786&oldid=60785 * EnilKoder * (+371)
21:02:00 -!- FreeFull has joined.
21:16:42 <b_jonas> kmc: yes, we haven't seen him in a while either
21:24:53 <esowiki> [[Control Character]] https://esolangs.org/w/index.php?diff=60787&oldid=60783 * EnilKoder * (+215)
21:28:21 <oren> 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 <esowiki> [[Special:Log/newusers]] create * Prof Apex * New user account
22:18:00 <kmc> hope he's doing well
22:27:49 <kmc> what is poly bridge
22:27:58 <kmc> is that when i play bridge with my wife and my girlfriend
22:30:51 <fizzie> I think it might've been a poly*gon*-oriented bridge-building game?
22:31:00 <fizzie> 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 <lambdabot> arseniiv said 6h 22m 35s ago: in case of A, I think there rarely are proofs at all
23:59:09 <oerjan> <kmc> I haven't seen boily in a while :( <-- he sometimes posts on reddit.