00:01:05 -!- tromp has quit (Ping timeout: 240 seconds).
00:29:52 -!- iceman121 has joined.
00:37:19 -!- deltaepsilon23 has joined.
00:37:42 -!- deltaepsilon23 has left.
00:38:43 -!- delta23 has quit (Quit: Leaving).
00:49:37 -!- Lord_of_Life_ has joined.
00:50:28 -!- Lord_of_Life has quit (Ping timeout: 260 seconds).
01:41:07 -!- tromp has joined.
01:45:47 -!- tromp has quit (Ping timeout: 258 seconds).
02:02:19 <esowiki> [[Special:Log/newusers]] create  * Expliked *  New user account
02:05:11 <esowiki> [[User talk:Erinius]]  https://esolangs.org/w/index.php?diff=78117&oldid=66186 * Erinius * (+107) 
02:06:52 <esowiki> [[User:Erinius]]  https://esolangs.org/w/index.php?diff=78118&oldid=46621 * Erinius * (+92) 
02:35:31 -!- tromp has joined.
02:40:22 -!- tromp has quit (Ping timeout: 256 seconds).
02:41:22 -!- spruit11 has quit (Ping timeout: 258 seconds).
02:53:19 -!- spruit11 has joined.
03:02:08 <int-e> fungot: have you tried switching it off and on again?
03:02:08 <fungot> int-e: im with stubid and shoot me in the reference graph, darn :) not delving in to cause any problems.
03:02:34 <int-e> (I hate when that happens... debugging code just to find that the executed code no longer matches the source code I'm looking at)
03:29:44 -!- tromp has joined.
03:34:23 -!- tromp has quit (Ping timeout: 260 seconds).
03:59:40 -!- aaaaaa has quit (Quit: leaving).
04:04:06 <esowiki> [[Screwtape]]  https://esolangs.org/w/index.php?diff=78119&oldid=73057 * Erinius * (+1364) 
04:04:25 <esowiki> [[Screwtape]]  https://esolangs.org/w/index.php?diff=78120&oldid=78119 * Erinius * (-31) 
04:05:45 <esowiki> [[Screwtape]] M https://esolangs.org/w/index.php?diff=78121&oldid=78120 * Erinius * (+4) 
04:17:55 -!- adu has joined.
04:23:52 -!- tromp has joined.
04:25:51 <int-e> Hah, I love long-lived bugs. https://bugzilla.mozilla.org/show_bug.cgi?id=85464 (18 years to reach WONTFIX status)
04:27:47 -!- iceman121 has quit (Quit: Connection closed for inactivity).
04:28:25 -!- tromp has quit (Ping timeout: 264 seconds).
05:18:01 -!- tromp has joined.
05:22:30 -!- tromp has quit (Ping timeout: 256 seconds).
06:12:10 -!- tromp has joined.
06:16:58 -!- tromp has quit (Ping timeout: 265 seconds).
06:21:11 -!- tromp has joined.
06:42:24 -!- sprocklem has quit (Ping timeout: 256 seconds).
06:50:00 -!- adu has quit (Quit: adu).
06:54:45 -!- sprocklem has joined.
06:56:03 -!- Sgeo has quit (Read error: Connection reset by peer).
06:58:32 -!- tromp has quit (Remote host closed the connection).
07:01:25 -!- sprocklem has quit (Ping timeout: 240 seconds).
07:05:10 -!- user24 has joined.
07:16:27 -!- tromp has joined.
07:17:19 -!- Frater_EST has joined.
07:17:30 -!- Frater_EST has left.
07:35:29 -!- LKoen has joined.
08:06:33 -!- 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.”).
08:27:32 -!- cpressey has joined.
08:52:03 -!- imode has quit (Ping timeout: 258 seconds).
09:20:39 -!- evade has joined.
09:23:08 -!- evade has quit (Client Quit).
09:23:28 -!- magma has joined.
09:28:08 -!- magma has quit (Client Quit).
09:28:31 -!- opticnerve has joined.
09:29:52 -!- opticnerve has quit (Read error: Connection reset by peer).
09:30:07 -!- magma has joined.
09:33:48 -!- magma has quit (Client Quit).
09:37:07 -!- FreeFull has joined.
10:01:14 <cpressey> I was re-reading "Mathematical Foundations of Joy" recently and I found something interesting:
10:01:37 <cpressey> "In Joy the left zero l is the `abort` operator, it ignores any program following it. The right zero r is the `clearstack` operator, it empties the stack and hence ignores any calculations that might have been done before."
10:02:43 <cpressey> Hm, maybe that's not as interesting as I thought it was when I read it
10:02:45 <cpressey> n/m
10:05:01 <cpressey> I think it might have been this.... what is the semantics of the program, "abort clearstack"?
10:05:21 <cpressey> "abort" tells you to ignore "clearstack", but "clearstack" tells you to ignore "abort"
10:06:18 <Taneb> Hmm, I'd guess abort takes priority
10:06:23 <Taneb> But I don't know Joy
10:06:28 <cpressey> The equations are "l P == l" and "P r == r" for any P.  This doesn't give an unambiguous solution for "l r"
10:06:41 <Taneb> I think it may even imply l == r
10:06:45 <cpressey> Indeed
10:07:20 <cpressey> And yet, there they are, two different operators
10:21:37 <rain1> hi !
10:24:27 -!- wmww has quit (Quit: killed).
10:24:29 -!- tswett[m] has quit (Quit: killed).
10:24:40 -!- Discordian[m] has quit (Quit: killed).
10:34:39 -!- wmww has joined.
10:41:56 <cpressey> hi rain1 
10:43:04 <cpressey> Your suggestion to just stick to Haskell98 for my latest project is sound, I think it's what I'll do
10:45:08 <rain1> ok!
10:47:11 <rain1> wait did you lot just break joy?
10:47:51 <cpressey> I think it's more that Joy's mathematical foundations are a bit... approximate.
10:48:34 -!- user24 has quit (Quit: Leaving).
10:54:25 <int-e> cpressey: did you know that https://wiki.haskell.org/Hierarchical_module_names are not part of Haskell 98 :P
10:57:52 <cpressey> Fine
10:58:09 <cpressey> "Haskell 2010 without any LANGUAGE pragmas beyond what the libraries I've chosen to use force upon me"
10:58:12 <cpressey> Better?
10:58:28 -!- tswett[m] has joined.
10:58:34 -!- iscordian[m] has joined.
10:59:52 <int-e> I wasn't seriously objecting to anything
11:00:17 <int-e> Just trying to display some historical knowledge.
11:14:52 <cpressey> int-e: Did you know that the Haskell logo used to look like https://web.archive.org/web/20190510212827im_/https://prime.haskell.org/chrome/site/HaskellLogo_2.jpg
11:15:07 <cpressey> Why did they get rid of that logo?  That logo was *awesome*, man
11:17:34 <int-e> cpressey: there was an earlier logo even, all blue
11:18:04 <int-e> https://willamette.edu/~fruehr/logos/PNGs/BlueHaskellLogo.png
11:18:42 <int-e> Anyway, there was this competition... https://wiki.haskell.org/Haskell_logos/New_logo_ideas
11:18:57 <int-e> "it is looking rather dated, and doesn't necessarily reflect the mature Haskell we have now"
11:20:57 <int-e> which brought us Monica Monad, which is arguably the best (if obscure) thing to come out of it.
11:21:20 <fizzie> "Something reflecting the modern emphasis of Haskell on purity and simplicity" isn't exactly the first thing I'd think of given some of those proposals.
11:21:52 <int-e> Oh yes, some of these designs were... uhm... how do I put this politely... atrocious.
11:22:05 <fizzie> One of them looks like a Google product. ;)
11:23:15 <cpressey> I hate this language
11:23:40 <int-e> https://wiki.haskell.org/File:Haskell.png was the weirdest one, in my eyes.
11:24:25 <fizzie> https://wiki.haskell.org/File:Pure_Devil_Haskell.png is something you'd see on a webring page in the 90s. ;)
11:24:46 <fizzie> (Are those even a thing any more?)
11:25:34 <cpressey> Is the current logo even on that page??
11:25:43 <int-e> Webrings always broke.
11:26:03 <int-e> But I think the idea of mutual links is still alive for webcomics.
11:26:19 <int-e> Quite possibly blogs as well.
11:26:48 <int-e> (But I'm not much of a blog reader.)
11:30:12 <cpressey> "Every function in Haskell is a function in the mathematical sense (i.e., "pure"). Even side-effecting IO operations are but a description of what to do, produced by pure code."
11:30:14 <cpressey> Ha
11:30:32 -!- cpressey has quit (Quit: Lunch).
11:42:01 <fizzie> @tell cpressey Re the current logo, it's likely the broken logo1.png through logo7.png links on that competition page. (Compare the associated names with https://wiki.haskell.org/Thompson-Wheeler_logo .)
11:42:01 <lambdabot> Consider it noted.
11:43:56 <fizzie> I really like TikZ, should find some excuse to do something with it.
11:48:12 <int-e> Hmm, what do I associate with TikZ... sadly, for the most part, tedious fiddling in conjunction with the beamer package (\uncover stuff cooperates with TikZ reasonably well.)
11:51:14 <fizzie> The tedious fiddling is the part I like. ;)
11:51:36 <fizzie> It might be different if you actually wanted to get something done.
11:52:02 <int-e> there is that... mostly preparing slides a day, sometimes two, before the presentation
11:53:39 <int-e> also it tended to be variations on the same two kinds of diagrams (though in varying complexity) so it was kind of boring.
12:06:20 -!- t20kdc has joined.
12:06:52 <esowiki> [[COD]] M https://esolangs.org/w/index.php?diff=78122&oldid=73181 * PythonshellDebugwindow * (+30) Not to be confused with
12:07:08 <esowiki> [[Cod]] M https://esolangs.org/w/index.php?diff=78123&oldid=78116 * PythonshellDebugwindow * (+30) Not to be confused with
12:19:00 <b_jonas> cpressey: yes, I recall that logo with the puddle and symbols vomited on it. 
12:28:11 <b_jonas> fizzie: are webrings still a thing => well there's https://www.homebrewcpuring.org/ringhome.html which is the webring of http://www.homebrewcpu.com/ , and https://www.perlmonks.com/?node_id=106258 is decidedly from the 2000s. 
12:30:06 <b_jonas> but yes, these days people just put links to their favorite pages without trying to make a ring or symmetric graph or anything.
12:31:09 <b_jonas> fizzie: I specifically hate TikZ. it's too esoteric. like, why are you trying to restrict yourself to making graphics from characters in fonts, when your computer and printer can both make real graphics, and it's cheaper and easier?
12:31:31 <b_jonas> your projector too in case you mean new-style slides
12:53:18 -!- hendursaga has quit (Quit: hendursaga).
12:53:40 -!- hendursaga has joined.
13:10:16 -!- FreeFull has quit (Ping timeout: 260 seconds).
13:16:46 -!- FreeFull has joined.
13:21:19 <fizzie> I don't understand that "from characters in fonts" comment.
13:23:29 <b_jonas> fizzie: isn't that one way how TikZ works, though it also has a saner mode? or am I confusing it with some other graphics thing?
13:24:14 <Taneb> b_jonas: TikZ is vector graphics with lines and circles and stuff
13:24:40 <b_jonas> ah, apparently I'm confusing it with one mode of LaTeX's builtin graphics
13:25:13 <b_jonas> sorry
13:29:00 -!- zzo38 has quit (Ping timeout: 260 seconds).
13:30:18 <esowiki> [[Braindumbed]]  https://esolangs.org/w/index.php?diff=78124&oldid=78102 * Filexor * (+392) 
13:52:19 -!- Arcorann_ has quit (Read error: Connection reset by peer).
14:09:13 -!- Frater_EST has joined.
14:12:34 -!- user24 has joined.
14:14:37 -!- Sgeo has joined.
15:13:49 <b_jonas> `perl -eprint"$_\Q$_\E\"\n"for"print\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:13:51 <HackEso> print"$_\Q$_\E\"\n"for"print\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:13:53 <b_jonas> what's that weird line noise?
15:14:08 <b_jonas> `perl -eprint"$_\Q$_\E\"\n"for"`perl -eprint\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:14:10 <HackEso> ​`perl -eprint"$_\Q$_\E\"\n"for"\`perl\ \-eprint\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:14:24 <b_jonas> `perl -eprint"$_\Q$_\E\"\n"for"\`perl\ \-eprint\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:14:25 <HackEso> ​`perl -eprint"$_\Q$_\E\"\n"for"\`perl\ \-eprint\"\$_\\Q\$_\\E\\\"\\n\"for\""
15:38:17 <b_jonas> `? denominator
15:38:18 <HackEso> denominator? ¯\(°​_o)/¯
15:38:23 <b_jonas> `? deluminator
15:38:24 <HackEso> deluminator? ¯\(°​_o)/¯
15:46:58 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:48:34 -!- user24 has quit (Quit: Leaving).
16:42:20 -!- LKoen has joined.
16:45:46 -!- UbftjvG63-986 has joined.
16:46:32 -!- UbftjvG63-986 has quit (Quit: IRC for Sailfish 0.9).
16:46:54 -!- UbftjvG63-986 has joined.
16:47:53 -!- UbftjvG63-986 has left.
16:51:42 <esowiki> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=78125&oldid=78098 * 3s0!an9 b0y * (+165) /* Introductions */
16:56:43 <esowiki> [[!@$%^&*()+/Algorithms]]  https://esolangs.org/w/index.php?diff=78126&oldid=78105 * SunnyMoon * (+314) Undo revision 78105 by [[Special:Contributions/SunnyMoon|SunnyMoon]] ([[User talk:SunnyMoon|talk]]) I apologize, but I did this for a code golf challenge!
16:57:32 -!- iscordian[m] has quit (*.net *.split).
16:57:37 -!- hendursaga has quit (*.net *.split).
16:57:38 -!- xelxebar has quit (*.net *.split).
17:06:35 -!- iscordian[m] has joined.
17:17:07 -!- aaaaaa has joined.
17:29:15 -!- xelxebar has joined.
17:39:39 -!- hendursaga has joined.
18:31:07 -!- zzo38 has joined.
20:07:22 -!- imode has joined.
20:36:36 -!- laerling has quit (Ping timeout: 272 seconds).
20:36:52 -!- laerling has joined.
20:39:12 -!- Sgeo has quit (Read error: Connection reset by peer).
20:39:39 -!- Sgeo has joined.
20:42:24 -!- atriq has joined.
20:48:49 -!- vertrex- has joined.
20:48:49 -!- vertrex- has quit (Changing host).
20:48:49 -!- vertrex- has joined.
20:50:04 -!- t20kdc has quit (*.net *.split).
20:50:05 -!- sftp has quit (*.net *.split).
20:50:06 -!- vertrex has quit (*.net *.split).
20:50:06 -!- relrod has quit (*.net *.split).
20:50:06 -!- clog has quit (*.net *.split).
20:50:06 -!- Taneb has quit (*.net *.split).
20:50:07 -!- mniip has quit (*.net *.split).
20:50:11 -!- t20kdc has joined.
20:50:11 -!- relrod has joined.
20:50:11 -!- clog has joined.
20:50:11 -!- mniip has joined.
20:50:55 -!- relrod has quit (Quit: .).
20:51:02 -!- relrod has joined.
20:51:05 -!- relrod has quit (Changing host).
20:51:05 -!- relrod has joined.
20:51:26 -!- sftp has joined.
20:56:00 <esowiki> [[Talk:Libra]] N https://esolangs.org/w/index.php?oldid=78127 * PythonshellDebugwindow * (+190) /* Implementation */ new section
20:57:38 <esowiki> [[Screwtape]] M https://esolangs.org/w/index.php?diff=78128&oldid=78121 * PythonshellDebugwindow * (+41) Add categories
21:03:41 <esowiki> [[BF busy beaver]] M https://esolangs.org/w/index.php?diff=78129&oldid=68578 * PythonshellDebugwindow * (+30) See also: brainfuck
21:04:12 <esowiki> [[Brainfuck]] M https://esolangs.org/w/index.php?diff=78130&oldid=78064 * PythonshellDebugwindow * (+21) /* See also */ Add [[BF busy beaver]]
21:04:24 -!- sprocklem has joined.
21:05:57 <esowiki> [[Talk:Minebit]] M https://esolangs.org/w/index.php?diff=78131&oldid=46588 * PythonshellDebugwindow * (+199) The original poster is back: reply to them
21:27:22 -!- t20kdc has quit (Remote host closed the connection).
22:06:43 -!- 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.”).
22:10:50 <imode> I have a hypothesis that dup, drop, rot and compose + implicit application of the quotation on the top of the stack should be turing complete.
22:12:37 <imode> the control flow is weird.
22:14:50 <FireFly> hm, sounds like an interesting set
22:29:43 -!- tromp has quit (Remote host closed the connection).
22:48:56 <imode> a 4-command basis for a concatenative language without nesting would be ideal.
22:49:00 <imode> 2 is pushing it.
23:08:09 -!- Frater_EST has joined.
23:09:48 -!- tromp has joined.
23:12:14 -!- Arcorann_ has joined.
23:14:16 -!- tromp has quit (Ping timeout: 246 seconds).
23:42:04 -!- UbftjvG63-986 has joined.
23:44:11 -!- UbftjvG63-986 has left.