00:03:49 <elliott> MDude: is there any way to distinguish jerkcity comics from random MS Comic Chat screenshots
00:04:02 <elliott> can they truly be said to be distinct categories
00:04:50 <MDude> Frequency of refferences to dicks?
00:14:30 <izabera> can you show me an if-else in bf?
00:18:51 <izabera> ok wait i'm a beginner, gimme a minute to understand it
00:19:59 -!- Phantom__Hoover has joined.
00:21:04 <izabera> increment cell0 to 1, if cell1 != 0 print it, then decrement cell0, then cell1 = 0 while cell0-- != 0 print cell2
00:21:45 <izabera> ok that... doesn't look like an if-else
00:23:11 -!- Phantom_Hoover has quit (Ping timeout: 273 seconds).
00:24:23 -!- Melvar` has joined.
00:24:23 -!- idris-bot has quit (Ping timeout: 244 seconds).
00:24:41 <izabera> ok uhm the while loop is skipped since you decremented cell0
00:25:07 <mitchs> well a while block executed once is just an if block, if you want to look at it that way
00:25:12 <orin> http://www.paste.org/77995
00:25:33 -!- Melvar has quit (Ping timeout: 276 seconds).
00:25:48 <orin> This is my attempt at an interpreter for "State"
00:26:12 <izabera> orin: can you use a pastebin that doesn't have an anti-adblock? :\
00:26:55 <orin> huh? Ihave adblock and i'm seeing no problems
00:28:09 <orin> http://pastecode.org/index.php/view/99675460
00:28:26 -!- doesthiswork has joined.
00:29:05 <orin> Oh. I see, it's because I also use noscript
00:29:59 <izabera> spam spam spam spam spam best pastebin evur spam spam spam spam http://arin.ga
00:31:08 <izabera> no js required, it gives you the raw version when you load it from curl/wget, and you can set an expire date like '17 years 9 days 2 hours 55 minutes'
00:32:32 <orin> Anyway, rdococ, do you have any example programs?
00:32:57 <quintopia> izabera: have you looked at https://esolangs.org/wiki/Brainfuck_algorithms
00:43:09 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
00:47:50 <izabera> how do i move the pointer 1000 cells to the left?
00:48:29 <quintopia> depends on the implementation whether that is even possible
00:48:40 <quintopia> where it is possible, 1000 <'s in a row should do it
00:49:01 <izabera> ...i meant to the right ^^
00:49:28 <izabera> and i was hoping for a different answer
00:52:18 <mitchs> if the tape has only zeros and then you put N in a cell, you can then use [-[>+<-]>] pattern to move the pointer over N spots
00:52:57 <HackEgo> [wiki] [[ASCII art/mandelbrot]] N http://esolangs.org/w/index.php?oldid=42438 * Esowiki201529A * (+1067) Created page with " vL , '*m-` -m/**\a, ..."
00:54:13 <HackEgo> [wiki] [[ASCII art/mandelbrot]] http://esolangs.org/w/index.php?diff=42439&oldid=42438 * Esowiki201529A * (+0)
00:55:59 <quintopia> if the tape does not have only zeroes... 1000 >'s should do it :D
00:56:23 <quintopia> (fun fact: most programs do not require 1000 cells)
01:02:39 <mitchs> if you have 1000 nonzero cells followed by a zero, you may want to consider [>]
01:10:50 -!- SgeoWeb has joined.
01:11:13 <orin> youtube is dead
01:12:28 -!- bb010g has joined.
01:13:03 <HackEgo> bb010g: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
01:13:03 <HackEgo> sgeo's: insanity: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
01:16:23 <HackEgo> [wiki] [[Brainfuck algorithms]] http://esolangs.org/w/index.php?diff=42440&oldid=42253 * Quintopia * (+79) /* z = sign(x-y) */ i had this algorithm backwards apparently. i think i fixed it.
01:17:37 <SgeoWeb> Is it a bad idea to call out a subreddit mod for failing to disclose financial incentives?
01:17:50 <SgeoWeb> I mean, this mod is helping me, but still
01:18:46 <HackEgo> [wiki] [[Brainfuck algorithms]] M http://esolangs.org/w/index.php?diff=42441&oldid=42440 * Quintopia * (+49) /* z = sign(x-y) */
01:20:55 <HackEgo> [wiki] [[Brainfuck algorithms]] M http://esolangs.org/w/index.php?diff=42442&oldid=42441 * Quintopia * (-41) /* z = sign(x-y) */
01:22:09 <quintopia> SgeoWeb: do you have reason to suspect the mod's judgment is compromised by a conflict of interest?
01:22:40 <SgeoWeb> quintopia: no, but I have reason to believe it's a violation of the subreddit's own rules, which state that posters of affiliate links should have it disclosed in their flair
01:24:00 <SgeoWeb> Eh, if it's a mistake, they won't mind me asking about the affiliate thing directly
01:24:14 <SgeoWeb> I see other Amazon links by them that don't have the affiliate tag
01:24:26 <SgeoWeb> And ones to non-affiliate-capable sites
01:31:57 -!- oerjan has joined.
01:59:49 <SgeoWeb> http://www.amazon.com/gp/product/B00OBQ5950/
01:59:57 <SgeoWeb> Don't seem to see details on the HD
02:03:50 <orin> what details are you looking for?
02:04:54 <SgeoWeb> Whether the HD will park itself if it detects vibration
02:05:10 <SgeoWeb> Also all the negative reviews about the SSD breaking and being dumped into a BIOS utility scare me
02:20:22 -!- contrapumpkin has changed nick to copumpkin.
02:22:05 -!- lifthrasiir has quit (Ping timeout: 264 seconds).
02:22:22 -!- lifthrasiir has joined.
02:23:51 -!- llue has quit (Read error: Connection reset by peer).
02:23:52 -!- lleu has quit (Read error: Connection reset by peer).
02:23:58 -!- SgeoWeb has changed nick to Sgeo.
02:24:16 -!- Sgeo has changed nick to SgeoWbe.
02:24:19 -!- SgeoWbe has changed nick to SgeoWeb.
02:29:14 -!- TieSoul_ has joined.
02:30:09 -!- Froox has joined.
02:32:28 -!- Frooxius has quit (Ping timeout: 250 seconds).
02:32:45 -!- TieSoul has quit (Ping timeout: 248 seconds).
02:40:03 -!- adu has joined.
02:59:44 -!- jameseb- has joined.
03:05:05 -!- b_jonas has quit (*.net *.split).
03:05:05 -!- dianne has quit (*.net *.split).
03:05:05 -!- lambdabot has quit (*.net *.split).
03:05:06 -!- jameseb has quit (*.net *.split).
03:05:06 -!- zemhill_ has quit (*.net *.split).
03:09:20 <oerjan> <orin> Apparently austria is actually spelled with a o <- Ö hth
03:11:33 -!- Sprocklem has joined.
03:11:33 -!- b_jonas has joined.
03:11:33 -!- dianne has joined.
03:11:33 -!- lambdabot has joined.
03:11:33 -!- zemhill_ has joined.
03:12:23 -!- Sprocklem has changed nick to Guest17241.
03:12:59 <SgeoWeb> https://github.com/mishoo/UglifyJS2/issues/121#issuecomment-92522991
03:20:02 <orin> Hmm... what if i dynamically tell what base a number is in as it's read? so for eixample, 2F0 is (2*10+15)*16=560
03:22:03 <orin> shachaf: good point.
03:22:38 -!- Froox has quit (Quit: *bubbles away*).
03:23:16 <orin> in such representation, it is not obvious to me an algorithm for opimizing the size of higher numbers
03:24:53 <orin> consider if we have only 36 known digits, then in representing 37...
03:30:35 <izabera> can i propose a code challenge?
03:30:46 <zzo38> What kind of code challenge?
03:31:08 <HackEgo> ac1 ac2 ac3 bc1 bc2 bc3 c1 c2 c3
03:32:05 <izabera> find the shortest brace expansion that generates a set of strings
03:36:32 <mitchs> `` echo {1..3}{a,b,c}{4..6}
03:36:33 <HackEgo> 1a4 1a5 1a6 1b4 1b5 1b6 1c4 1c5 1c6 2a4 2a5 2a6 2b4 2b5 2b6 2c4 2c5 2c6 3a4 3a5 3a6 3b4 3b5 3b6 3c4 3c5 3c6
03:37:20 <izabera> `` echo {x,{,w}q}{,a} # you can even nest it
03:40:21 <orin> `` echo {abc,def}{g,}
03:41:07 <HackEgo> 1a 1b 1c 2a 2b 2c 3a 3b 3c
03:41:20 <mitchs> `` echo {1..3}{aa..ac}
03:41:21 <HackEgo> 1{aa..ac} 2{aa..ac} 3{aa..ac}
03:42:22 <izabera> you may restrict the challenge to the {a,b,c} expansion style, ignore the {a..z} ^^
03:43:28 <HackEgo> bash: {,: command not found \ bash: {,: command not found \ bash: {,: command not found \ {}}1 {}}2 {}}3
03:43:52 <izabera> you may restrict the challenge to lowercase letters only <.<
03:44:02 <zzo38> And then, do you have to consider if the text include itself braces?
03:44:11 <izabera> you may restrict the challenge to lowercase letters only <.<
03:44:13 <zzo38> (Even outside of a block)
03:44:25 <izabera> lowercase letters only <.<
03:44:46 -!- MDude has changed nick to MDream.
03:45:21 <zzo38> O, so you mean all of the text is only with lowercase letter and not .. either, I suppose is you mean?
03:45:54 -!- Guest17241 has quit (Quit: [).
03:45:58 <izabera> the input is a single line with several words, space separated or whatever
03:46:07 <izabera> that only use lowercase letters
03:46:16 -!- Sprocklem_ has joined.
03:46:20 <zzo38> O, so spaces is OK too, but only between items.
03:46:35 <izabera> hey the input format is not important
03:47:33 <izabera> i'm just trying to remove the annoying cases <.<
03:48:07 <izabera> get a list of words and produce the smallest brace expansion that generates them ^^
03:53:17 <zzo38> I want to make up a "temporary://" URI scheme for temporary identifiers. The format is scheme,authority,path,query,fragment like other URI and work same way relative URIs too, but it is local to the current instance and is not a global URI and probably doesn't points to anything. I also want to make up "urn:bible:" scheme.
03:54:44 <HackEgo> [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Itflabtijtslwi]] to [[Ignore this fancy little acronym because this is just that slashes language with input]]
03:54:44 <HackEgo> [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Talk:Itflabtijtslwi]] to [[Talk:Ignore this fancy little acronym because this is just that slashes language with input]]
03:54:59 <SgeoWeb> Would urn:bible: only be Bible locations, or could it also specify translation?
03:55:13 <SgeoWeb> And if so, is there a list of translations, or a more generic way anyone could produce a 'translation'?
03:55:31 <HackEgo> [wiki] [[Special:Log/move]] move_redir * Esowiki201529A * moved [[Ignore this fancy little acronym because this is just that slashes language with input]] to [[Itflabtijtslwi]] over redirect
03:55:31 <HackEgo> [wiki] [[Special:Log/move]] move_redir * Esowiki201529A * moved [[Talk:Ignore this fancy little acronym because this is just that slashes language with input]] to [[Talk:Itflabtijtslwi]] over redirect
03:55:57 <zzo38> SgeoWeb: Only the Bible reference, I think.
03:56:25 <zzo38> If you want a specific translation, you will use the URL that points to the text of that translation.
03:58:50 <zzo38> For example you can write urn:bible:<book> or urn:bible:<book>:<chapter> or urn:bible:<book>:<chapter>:<verse> or urn:bible:<book>:<chapter>:<verse>-<chapter>:<verse> might be the possible formats.
03:59:20 -!- SgeoWeb has quit (Ping timeout: 246 seconds).
04:03:36 <oerjan> <elliott> http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/jfp03flat.pdf <-- now i'm wondering if it is obviously impossible to do this with S and K specifically
04:06:55 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
04:08:20 <oerjan> anything starting with K.. or SK.. can be simplified.
04:08:55 -!- adu has quit (Quit: adu).
04:09:20 <oerjan> SSxy = Sy(xy), if y is K that's also useless
04:11:31 <oerjan> SSxSz = SS(xS)z = Sz(xSz), so needs z = S
04:12:27 <oerjan> SSxSSa = SS(xSS)a = Sa(xSSS) oh i see this just keeps being trivial
04:12:47 -!- adu has joined.
04:13:50 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42451&oldid=42437 * Esowiki201529A * (+109) /* self interpreter */
04:16:03 -!- vodkode__ has left ("Leaving").
04:16:33 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42452&oldid=42451 * Esowiki201529A * (+6) /* Fibonacci sequence */
04:20:07 -!- vodkode_ has joined.
04:25:50 <izabera> OMG HOW DO I DRAW A FUCKING CIRCLE IN ASCII ART THAT LOOKS LIKE A CIRCLE
04:26:17 <izabera> i'm completely unable to do it -_-
04:26:38 <oerjan> -_- looks like a good start
04:28:48 <adu> (_) might be a better start
04:29:35 <oerjan> depends how big it should be
04:32:06 -!- adu has quit (Quit: adu).
04:33:58 <Deewiant> http://ascii.co.uk/art/clock hth
04:37:10 -!- SgeoWeb has joined.
04:42:26 -!- vodkode_ has quit (Quit: Leaving).
04:49:22 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42453&oldid=42452 * Esowiki201529A * (+2) /* Fibonacci sequence */
04:49:59 <SgeoWeb> Di oirtabke desktops exist?>
04:50:04 <SgeoWeb> Do portable desktops exist?
04:50:13 -!- vodkode_ has joined.
05:08:45 -!- zadock has joined.
05:12:30 <orin> a homerow shift error
05:14:06 <newsham> > plot (\n -> n `mod` 7) 0 80
05:14:07 <lambdabot> No instance for (Enum a0) arising from a use of ‘plot’
05:14:07 <lambdabot> The type variable ‘a0’ is ambiguous
05:14:08 <lambdabot> Note: there are several potential instances:
05:15:29 <lambdabot> (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc
05:15:54 <lambdabot> The operator ‘plot’ [infixl 9] of a section
05:15:54 <lambdabot> must have lower precedence than that of the operand,
05:16:45 <newsham> > plot (\n -> fromIntegral (n `mod` 7)) 0 80
05:16:46 <lambdabot> ⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀
05:16:47 <lambdabot> ⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔
05:17:12 -!- vodkode_ has quit (Ping timeout: 240 seconds).
05:18:40 <oerjan> > plot (\x -> sin (x*80)) 0 (pi/40)
05:18:50 <oerjan> > plot (\x -> sin (x*80)) 0 (pi/40)
05:19:38 <oerjan> > plot (\x -> sin (fromIntegral (x*pi/40))) 0 80
05:19:39 <lambdabot> No instance for (Enum a0) arising from a use of ‘plot’
05:19:39 <lambdabot> The type variable ‘a0’ is ambiguous
05:19:39 <lambdabot> Note: there are several potential instances:
05:19:55 <oerjan> > plot (\x -> sin (fromIntegral (x*pi/40))) 0 (80::Int)
05:19:57 <lambdabot> No instance for (Floating Int) arising from a use of ‘pi’
05:19:57 <lambdabot> In the second argument of ‘(*)’, namely ‘pi’
05:19:57 <lambdabot> In the first argument of ‘(/)’, namely ‘x * pi’
05:20:18 <oerjan> > plot (\x -> sin (fromIntegral x * pi/40)) 0 (80::Int)
05:20:19 <lambdabot> ⣀⣀⣀⣀⣀⣀⣀⣀⣀⣀⢄⣀⣀⣀⣀⣀⣀⣀⣀⣀⡈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉
05:21:23 <oerjan> > plot (\x -> 2*sin (fromIntegral x * pi/40)) 0 (80::Int)
05:21:24 <lambdabot> ⣀⣀⣀⡠⠤⠤⠤⠤⠤⠤⠢⠤⠤⠤⠤⠤⠤⣀⣀⣀⡈⠉⠉⠑⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠉⠉⠉
05:21:57 <oerjan> i feel this is not how plots should work
05:22:07 <oerjan> > plot (\x -> 1 + 2*sin (fromIntegral x * pi/40)) 0 (80::Int)
05:22:09 <lambdabot> ⠤⠤⠤⠔⠒⠒⠒⠒⠒⠒⠑⠒⠒⠒⠒⠒⠒⠤⠤⠤⢄⣀⣀⡈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⣀⣀⣀
05:23:18 <newsham> > plot (\n -> sqrt(49 - (n-7)*(n-7))) 0 15
05:24:07 <newsham> > plot (\n -> 7-sqrt(49 - (n-7)*(n-7))) 0 15
05:24:31 <oerjan> > plot (\x -> 1 + 10*sin (fromIntegral x * pi/40)) 0 (80::Int)
05:24:32 <lambdabot> ⠀⠀⠀⠀⠀⣀⠤⠔⠒⠒⠑⠒⠒⠤⢄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:24:32 <lambdabot> ⠀⠀⣀⠔⠊⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠒⢄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:24:32 <lambdabot> ⠤⠊⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠢⢄⠑⠤⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠠⠔⢁
05:24:52 <oerjan> > plot (\x -> 10*(1+sin (fromIntegral x * pi/40))) 0 (80::Int)
05:24:53 <lambdabot> ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:24:53 <lambdabot> ⠀⠀⠀⠀⢀⠤⠒⠊⠉⠉⠈⠉⠉⠒⠢⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:24:53 <lambdabot> ⠀⢀⠤⠊⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠉⠢⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:25:29 <lambdabot> ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
05:25:29 <lambdabot> ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡠⠊
05:25:29 <lambdabot> ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡠⠊⠀⠀
05:25:47 <newsham> you'd get a better pic in /msg :)
05:34:09 -!- roasted42 has joined.
05:34:24 -!- roasted42 has quit (Changing host).
05:34:24 -!- roasted42 has joined.
05:34:25 -!- roasted42 has changed nick to TheM4ch1n3.
05:49:28 <orin> they whould draw the plot to a jpeg and upload it to a server somewhere, then respond with a link
05:52:30 <newsham> how about take a link to a jpeg and then plot it as ascii?
05:53:39 <orin> ok i have no IDEA why my hands want to spell would as whould?
05:56:36 <newsham> orin: because https://youtu.be/lich59xsjik?t=51s
05:57:22 -!- adu has joined.
06:01:10 -!- adu has quit (Client Quit).
06:07:35 <HackEgo> [wiki] [[Tomagotcha!]] N http://esolangs.org/w/index.php?oldid=42455 * 0x0dea * (+1838) Add Tomagotcha! "language"
06:10:13 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=42456&oldid=42378 * Esowiki201529A * (+5) /* A colon semicolon */
06:12:20 -!- SgeoWeb has quit (Ping timeout: 246 seconds).
06:22:23 <HackEgo> [wiki] [[Beatnik]] http://esolangs.org/w/index.php?diff=42457&oldid=42372 * Esowiki201529A * (+1133) /* Hello, world */
06:24:39 -!- vodkode_ has joined.
06:33:47 -!- doesthiswork has quit (Quit: Leaving.).
06:34:44 -!- ProofTechnique has quit (Ping timeout: 272 seconds).
06:45:07 <HackEgo> [wiki] [[Beatnik]] M http://esolangs.org/w/index.php?diff=42458&oldid=42457 * 0x0dea * (-1133) Remove incorrect "Hello, world!" program
06:53:45 <orin> https://www.youtube.com/watch?v=-4jwzan3AyA
06:55:20 <zzo38> [&]%@*>"Type 'beer' for beer.~Type 'quit' to quit.~"PS [&BEER'BEER],#99>:+,#&VERSE#/"No more bottles of beer on the wall.~"PS [&QUIT'QUIT]GQ+.$0>
06:55:37 <zzo38> [&VERSE#,^#],^#<<PI" bottles of beer on the wall.~"PS,^#<<PI" bottles of beer.~Take one down and pass it around,~"PS,^#<,^#<<DN>,^#<<\,^#<<PI" bottles of beer on the wall.~"PS CR 1RF: 0RF
06:56:28 <zzo38> I just finish by now to make OASYS assembler with C, this is how to make a kind of beer program with it. Is this program understandable to you?
06:58:19 <zzo38> This example program uses a pointer variable; OAC (the original compiler for OASYS) does not support pointer variables. (OAC also doesn't support macros, doesn't support calling methods before they are defined, etc.)
07:07:57 -!- j-bot has quit (Ping timeout: 248 seconds).
07:11:06 <oerjan> orin: thanks now i'm finally up to date tdh
07:15:49 -!- ProofTechnique has joined.
07:39:02 <zzo38> What part didn't you understand?
07:44:45 -!- magician has joined.
07:47:01 -!- Guest3780 has quit (Ping timeout: 246 seconds).
07:47:01 -!- magician has changed nick to Guest3780.
07:51:19 -!- variable has quit (Ping timeout: 244 seconds).
07:51:33 <HackEgo> [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Funciton]] to [[Function]]: Err,Function.
07:51:34 <HackEgo> [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Talk:Funciton]] to [[Talk:Function]]: Err,Function.
07:53:51 <HackEgo> [wiki] [[Special:Log/move]] move_redir * Oerjan * moved [[Talk:Function]] to [[Talk:Funciton]] over redirect: No, it's not named that.
07:54:15 <HackEgo> [wiki] [[Special:Log/move]] move_redir * Oerjan * moved [[Function]] to [[Funciton]] over redirect
08:13:40 <HackEgo> [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.]] to [[Aplifcldtcitampac]]: Err
08:14:43 <HackEgo> [wiki] [[Aplifcldtcitampac]] http://esolangs.org/w/index.php?diff=42467&oldid=42465 * Esowiki201529A * (+14)
08:15:34 -!- j-bot has joined.
08:17:25 <HackEgo> [wiki] [[Aplifcldtcitampac]] http://esolangs.org/w/index.php?diff=42468&oldid=42467 * Esowiki201529A * (-14) Undo revision 42467 by [[Special:Contributions/Esowiki201529A|Esowiki201529A]] ([[User talk:Esowiki201529A|talk]])
08:18:26 <HackEgo> [wiki] [[Special:Log/move]] move_redir * Esowiki201529A * moved [[Aplifcldtcitampac]] to [[A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.]] over redirect
08:18:35 -!- idris-bot has joined.
08:22:33 -!- Phantom_Hoover has joined.
08:25:25 <elliott> oerjan: maybe you should tell them how to create redirects without moving twice
08:27:17 -!- zadock has quit (Ping timeout: 264 seconds).
08:36:10 -!- Melvar` has changed nick to Melvar.
08:38:36 -!- Patashu has joined.
08:39:38 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42471&oldid=42453 * Esowiki201529A * (+77) /* Hello, World! */
08:45:38 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42472&oldid=42471 * Esowiki201529A * (+1) /* Hello, World! */
08:46:44 -!- jameseb- has changed nick to jameseb.
08:48:33 -!- gniourf has joined.
08:50:51 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42473&oldid=42472 * Esowiki201529A * (+39) /* Hello, World! */
08:53:04 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42474&oldid=42473 * Esowiki201529A * (+9) /* Hello, World! */
08:54:19 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42475&oldid=42474 * Esowiki201529A * (+1) /* Hello, World! */
08:57:38 <HackEgo> [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42476&oldid=42475 * Esowiki201529A * (+28) /* Hello, World! */
09:07:31 -!- vodkode_ has quit (Ping timeout: 276 seconds).
09:07:53 <oerjan> elliott: the thought has appeared to me
09:13:27 -!- hassa-aravit has quit (Remote host closed the connection).
09:42:40 -!- dianne has quit (Quit: byeannes).
09:52:18 <mroman> zzo38: does urn:bible include books banned by catholic church?
09:52:29 <mroman> and you probably need an identifier for "which bible" and "which version" of the bible
09:52:41 -!- Gregor` has joined.
09:53:05 -!- Gregor` has changed nick to Guest47678.
09:53:14 <mroman> or is that urn:apocrypha?
10:00:56 -!- Gregor has quit (*.net *.split).
10:00:56 -!- APic has quit (*.net *.split).
10:02:51 <mroman> > plot (-x -> x) 0 (10 :: Int)
10:02:52 <lambdabot> Pattern syntax in expression context: - x -> x
10:02:57 <mroman> > plot (\x -> x) 0 (10 :: Int)
10:02:59 <lambdabot> No instance for (RealFrac Int) arising from a use of ‘plot’
10:02:59 <lambdabot> In the expression: plot (\ x -> x) 0 (10 :: Int)
10:03:15 <mroman> > plot (\x -> x) 0 (10 :: Float)
10:03:36 <mroman> > plot (\x -> 1/x) 1 (10 :: Float)
10:03:49 <mroman> > plot (\x -> 1/x) 1 (20 :: Float)
10:03:59 <mroman> > plot (\x -> 10/x) 1 (20 :: Float)
10:17:27 -!- Phantom_Hoover has quit (Remote host closed the connection).
10:19:08 -!- Phantom_Hoover has joined.
10:24:21 -!- TheM4ch1n3 has quit (Ping timeout: 245 seconds).
10:27:50 -!- boily has joined.
10:40:22 <lambdabot> arising from a use of ‘show_M714213049450625511621244’
10:40:40 <FireFly> I don't suppose @src works for @let'd functions?
10:40:43 <lambdabot> Source not found. stty: unknown mode: doofus
10:45:52 <mroman> > plot (\x -> x + 1/x + 1/(1+x)) 1 (20 :: Float)
10:46:10 <mroman> > plot (\x -> x + 1/x + 1/(1+x) + 1/(1/(1+x)))) 1 (20 :: Float)
10:46:12 <lambdabot> <hint>:1:45: parse error on input ‘)’
10:46:15 <mroman> > plot (\x -> x + 1/x + 1/(1+x) + 1/(1/(1+x))) 1 (20 :: Float)
10:52:01 <mroman> I found a way to calculate log(2) o_O
10:52:17 <mroman> sum_{i=1}^{N} (1/(N+i))
10:53:24 <mroman> sum_{i=1}^{N} (1/(x*N+i)) approaches log(1+x^-1)
10:54:03 <mroman> so by choosing x I can calculate every log \o/
11:00:34 <mroman> can wolframalpha tell me that?
11:01:50 <mroman> It doesn't understand convergence rate
11:02:02 <int-e> you're approximating 1/x by a step function? usually that ends up with with an O(1/N) error term; with some luck, O(1/N^2) if you center the steps on the curve (but you didn't).
11:03:23 <int-e> (1/(x*N+i)) <-- not here
11:03:55 -!- Guest47678 has changed nick to Gregor.
11:04:18 <mroman> @def myLog N x = sum [1/(x*N+i)|<-[1..N]]
11:04:19 <lambdabot> .L.hs:162:7: Not in scope: data constructor ‘N’
11:04:20 <lambdabot> .L.hs:162:27: Not in scope: data constructor ‘N’
11:04:24 -!- Gregor has changed nick to Guest75683.
11:04:30 <mroman> @def myLog n x = sum [1/(x*n+i)|<-[1..n]]
11:04:35 <mroman> @def myLog n x = sum [1/(x*n+i)|i<-[1..n]]
11:05:59 <mroman> doesn't look like it converges fast :)
11:06:18 -!- nszceta has joined.
11:06:21 <mroman> 10000 steps for four digits isn't that fast I guess
11:06:55 <lambdabot> (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc
11:08:17 <int-e> What you're doing is to evaluate int_{x}^{x+1} 1/x dx = log(1+1/x) by a (lower) Riemann sum.
11:08:32 <mroman> @def myLog n x = (sum [1/(x*(n+i))|i<-[1..n]])*x
11:08:33 <lambdabot> In an equation for ‘myLog’: myLog n x = ...
11:08:38 <mroman> @def myLog' n x = (sum [1/(x*(n+i))|i<-[1..n]])*x
11:09:04 <mroman> > [log 2, myLog 100 1, myLog' 100 1]
11:09:05 <lambdabot> [0.6931471805599453,0.690653430481824,0.690653430481824]
11:10:27 <int-e> @def let myLog n x = (sum [1/(x*(n+i-1/2))|i<-[1..n]])*x in myLog 100 1
11:10:27 <lambdabot> Parse failed: TemplateHaskell is not enabled
11:10:31 <int-e> > let myLog n x = (sum [1/(x*(n+i-1/2))|i<-[1..n]])*x in myLog 100 1
11:11:13 -!- hjulle has joined.
11:12:00 <int-e> (This one should have an O(1/N^2) error term, but I don't want to prove that rigorously.)
11:13:47 <mroman> I'm trapped in a channel empty of fungots.
11:14:12 <mroman> (... and full of weirdos)
11:15:47 <mroman> Why does the UK forbid rageporn?
11:16:04 <mroman> Shouldn't it be already illegal to upload videos of other people without their consens?
11:18:02 <int-e> We live in an age of overregulation of private life, and excessive freedom for corporations, in the name of safety and prosperity, respectively. Of course we're missing both targets.
11:18:26 <nszceta> Do everything within the context of a corporation and it's A-OK
11:18:34 <int-e> (The prosperity one works better, for the top 1%)
11:19:19 <mroman> hm. perhaps for longer sentences.
11:20:01 <int-e> it also saved talk shows for another two weeks.
11:20:10 <fizzie> Oh, right, we had that network blip.
11:20:15 <mroman> In Germany violating personalyt rights like that apperentely gives you 2 years maximum.
11:20:55 -!- fungot has joined.
11:22:43 <int-e> mroman: Oh all my convergence rate discussion above assumes that x>0.
11:23:14 <mroman> what's a summary conviction?
11:29:06 -!- boily has quit (Quit: UNNAMABLE CHICKEN).
11:35:32 <gniourf> ln(2)=sum_{k=1}^\infty 1/(k*2^k)
11:35:54 <gniourf> it uses the fact that ln(1/2)=-ln(2) and the standard Taylor series for ln at 1
11:36:24 <gniourf> the remainder of the partial sum of order N is less than 1/(N+1)2^N
11:36:41 <gniourf> very likely smaller, but that's a good starting point
11:37:42 <gniourf> more generaly, if you want a ln, you can use the arctanh function
11:50:25 -!- zadock has joined.
11:55:12 -!- ProofTechnique has quit (Ping timeout: 272 seconds).
12:11:40 -!- zadock has quit (Quit: Leaving).
12:11:43 -!- tromp_ has quit (Ping timeout: 244 seconds).
12:14:28 -!- rdococ has joined.
12:21:01 -!- Patashu has quit (Ping timeout: 244 seconds).
12:25:23 <fungot> b_jonas: i say we should learn it. then i starved to death anyway. let's do it, well, there's diversity in scheme community. it's uniting a substantial subset of the environment
12:25:47 <mroman> Phantom_Hoover: uploading sex tapes with your ex
12:26:10 <rdococ> I wonder if it's possible to create a language, without storage, that is turing complete anyway?
12:26:22 <mroman> My english fucked up again :(
12:26:24 <Phantom_Hoover> rageporn just sounds like people having sex while very, very angry
12:26:26 <int-e> rdococ: lambda calculus?
12:26:47 <int-e> rdococ: "storage" is such a malleable term
12:26:49 <mroman> but didn't UK outlaw BDSM and that stuff anyway some time ago?
12:26:54 <rdococ> ugh, lambda calculus is mentioned again?
12:28:24 <rdococ> I'm thinking of a language that has curved dimensions, so it loops? or even more esoteric would be a language where the code is run, then a flipped variant, and so on in a mobius strip
12:29:20 <Phantom_Hoover> mroman, i think what happened is that the film censors in the UK have some very outmoded obscenity rules which have been ignored for a long time because they only applied to the dead-in-the-water industry of videos being sold as tapes or dvds
12:30:22 <Phantom_Hoover> then their authority was extended to cover internet porn and suddenly everyone realised how regressive they are
12:31:39 -!- tromp_ has joined.
12:32:48 -!- rdococ has quit (Ping timeout: 246 seconds).
12:34:03 <mroman> yeah and swiss people kept laughing at the UK for that :)
12:34:20 <mroman> not realizing that a lot of that stuff is still in the gray-zone of law in switzerland as well
12:37:46 -!- ProofTechnique has joined.
12:48:08 <fizzie> fungot: You starved to death? What do you even eat?
12:48:08 <fungot> fizzie: the repl will never be a name for that procedure. and those that can handle arbitrary library calls entirely from scheme.
12:51:34 <HackEgo> [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42478&oldid=42400 * 4D enthusiast * (+432)
12:52:44 -!- rdococ has joined.
12:53:30 <rdococ> is it possible to make a language which is turing complete even if you can only use three instructions in a program?
12:54:37 <FreeFull> As in, three instructions total for the whole program?
12:55:06 <b_jonas> fungot, why is github so popular?
12:55:06 <fungot> b_jonas: somebody sort of gave it away. i found that extremely simple :) and conceived with dumb compiler in mind :)
12:55:20 <FreeFull> An instruction could be "execute this data using a different universal turing machine"
12:55:28 <fungot> b_jonas: and god created the heaven and the earth. and the debt is growing like hell. maybe they've fixed some of this
12:57:25 <izabera> so uhm this is just a mockup but how does it look? http://arin.ga/kjG5Kw/raw
12:58:37 <rdococ> FreeFull: that's called cheating lol
12:59:27 <rdococ> it doesn't matter if it has to be looped, it just has to be three instructions
12:59:37 <rdococ> other than loop syntax
13:00:04 <rdococ> infact I'd prefer if it looped.
13:00:08 <FreeFull> rdococ: As long as the instructions are allowed to provide an arbitrary amount of data, and the language has an infinite number of states, you certainly can make it turing complete
13:00:46 <mroman> Can I just use 1 and 0 to encode instructions?
13:00:59 <FreeFull> If you limit the size of the program including the data, it's not turing complete because there are things that a turing complete language could compute, but this language couldn't
13:01:00 <rdococ> thats why I had the idea of an infinite state machine and regexp matching
13:01:03 <mroman> and then using a state machine behind using some prefix-free "instructions"
13:01:26 <mroman> 1 and 0 are instructions that switch to a state and check if it arrived at a state with an action
13:01:33 <mroman> then execute that action.
13:02:36 <rdococ> an infinite state machine would be like an FSM, but it would have infinitely many states generated by regexp based transitions. For example, you could do string $1 - concat $2 -> string $1$2, which would work for any $1 and $2.
13:02:46 <rdococ> so, using my example, string derp -- concat herp -> string derpherp
13:02:59 <mroman> Because I can encode braifuck this way... no problem.
13:04:56 <mroman> there are languages that only work by string replacement
13:05:30 <rdococ> and I had one but I didn't make an article about it
13:05:32 -!- doesthiswork has joined.
13:05:39 <mroman> nope forget what I said... that was stupid.
13:06:23 <rdococ> using regexp matching and string replacement, its possible to do pretty much anything
13:06:35 <rdococ> idk if that means turing complete or not
13:08:11 <rdococ> my internet is terrible
13:12:23 -!- rdococ has quit (Quit: Page closed).
13:12:27 <FreeFull> You need infinitely many possible input states to have infinitely many possible output states
13:14:46 -!- Guest75683 has changed nick to Gregor.
13:18:05 <mroman> Do you need infinitely many possible output states?
13:18:48 <mroman> Maybe your output is limited to True/False.
13:26:10 <izabera> http://lisperator.net/pltut/ cool resource ^^
13:28:58 <izabera> no it's not about lisp >.>
13:29:21 <gniourf> you should say: “yes, I want to do Lisp”
13:31:10 <HackEgo> [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42479&oldid=42478 * Esowiki201529A * (+11) /* stdio */
13:33:04 <mroman> fungot: Do you want to do LISP?
13:33:04 <fungot> mroman: and implementing it in d or asm? /me boggle?
13:33:16 <mroman> Sure, I have nothing against a LISP interpreter in asm.
13:33:48 <mroman> Even better if it can fit on a floppy disc boot sector.
13:35:21 <mroman> fungot: Would you want to be written in LISP?
13:35:22 <fungot> mroman: is the official brainfuck forum. it happened to you? :) ( i'm attracted to these types of tools too.
13:36:38 <HackEgo> [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42480&oldid=42479 * Esowiki201529A * (+50) /* stdio */
13:39:47 <HackEgo> [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42481&oldid=42480 * 4D enthusiast * (+1253) rewrote syntax description, modified file & time library definitions, fixed 99 bottles of beer program
13:47:16 -!- APic has joined.
13:56:25 <mroman> fungot: There's a brainfuck forum?
13:56:25 <fungot> mroman: the explanation is really bad... i've got a bunch in sequence, with no macros, lambda severely limited, slow. because i think they point to the page
14:00:45 <izabera> where does it take these quotes from?
14:02:02 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
14:02:09 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
14:02:45 <int-e> izabera: note that they're not quotes; fungot uses a markov-like model for babbling
14:02:45 <fungot> int-e: i can think of things like fnord in srfi-1? laml? tspl? srfi-news?
14:03:21 <int-e> And "fnord" stands for an infrequent word, for example. Fizzie can probably tell you all about it.
14:03:50 <fungot> Selected style: enron (subset of the Enron email dataset)
14:03:56 <fungot> int-e: didn't know that the are two sections resulting in the lowest and highest fares found for your routes to get out any paper on the california power market.
14:07:21 <int-e> fungot: what do you think of fraud?
14:07:21 <fungot> int-e: i don't that will here tomorrow." ???contact john woolfolk at jwoolfolksjmercury.com ?mailto:jwoolfolksjmercury.com or the new in the thinkbank and find the full, and their work on the monday meeting on the construction industry the tariff.
14:07:23 -!- `^_^v has joined.
14:07:48 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
14:09:30 -!- cirillo74 has joined.
14:09:36 -!- cirillo74 has quit (Client Quit).
14:16:33 <mroman> fungot: Interest in a ponsy scheme?
14:16:34 <fungot> mroman: or what id id) you can still find the original reppy paper not on acm. must have. i only care about the alphabet
14:17:57 -!- doesthiswork has quit (Quit: Leaving.).
14:18:06 <b_jonas> a ponzy scheme? or a ponys scheme?
14:24:09 <mroman> b_jonas: It's a ponzy scheme with ponys.
14:24:10 <int-e> hmm, this may have been intentional
14:24:17 <mroman> therefore I created a new word ponsy scheme
14:24:18 <int-e> I hate this channel, everyone's so smart :)
14:24:41 <mroman> although it's probably ponies
14:24:58 <mroman> fungot: Except you. You're okay.
14:24:58 <fungot> mroman: welcome to drscheme, just because you are trying to access
14:40:29 -!- nszceta has quit (Quit: Textual IRC Client: www.textualapp.com).
14:53:59 -!- Gregor has changed nick to Guest75683.
14:55:57 <fungot> Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011)
14:56:00 <fungot> mroman: in the second example, there," came a cry from across the room, you can reconstruct you from those! this algorithm for relationship satisfaction. tada!
14:56:24 <mroman> fungot: An algorithm for relationship satisfaction would probably be worth a lot of money.
14:56:24 <fungot> mroman: as a man concerned, t-rex, that going shopping was your default activity?"
14:56:51 <mroman> fungot: I like shopping.
14:57:07 <mroman> damn I exceeded my limit again.
15:04:05 <HackEgo> [wiki] [[Special:Log/upload]] upload * Esowiki201529A * uploaded "[[File:Funciton-factorial-call.png]]"
15:05:58 -!- Sprocklem_ has quit (Ping timeout: 256 seconds).
15:06:13 <int-e> fungot: What is a funciton?
15:06:13 <fungot> int-e: but to compare, the number of burgers to eat when i get one
15:06:37 -!- nycs has joined.
15:06:39 -!- `^_^v has quit (Ping timeout: 252 seconds).
15:06:43 <int-e> `learn A funciton is the number of burgers to eat when I get one.
15:07:06 <fungot> int-e: all i've got to show for the past week is a bunch a few nights later. now it's only used when it's time to make some changes around here, you were a real dick on the internet!!" it's enough to make me put down the newspaper, fold it in two, smooth.
15:07:23 <HackEgo> Learned 'funciton': A funciton is the number of burgers to eat when I get one.
15:08:56 -!- MDream has changed nick to MDude.
15:10:13 <HackEgo> [wiki] [[File:Funciton-factorial-call.png]] http://esolangs.org/w/index.php?diff=42483&oldid=42482 * Esowiki201529A * (+12)
15:17:37 -!- nycs has changed nick to `^_^v.
15:27:06 -!- ProofTechnique has quit (Ping timeout: 256 seconds).
15:32:24 -!- ProofTechnique has joined.
15:36:25 -!- tswrcclt has joined.
15:54:37 -!- GeekDude has joined.
15:58:44 <int-e> neat. https://ghc.haskell.org/trac/ghc/ticket/9858#comment:84 (for shachaf, oerjan and Taneb?)
15:59:21 <int-e> (as usual I did not see any e-mail notification for this)
16:00:39 <Taneb> Although I deserve none of the credit for that
16:03:45 -!- variable has joined.
16:08:35 -!- bb010g has quit (Quit: Connection closed for inactivity).
16:24:30 <FireFly> I'm not sure what I deserve karma for, but thanks
16:38:43 -!- tertu has joined.
16:55:42 <int-e> mroman++ <-- random scoring
17:01:46 -!- Guest75683 has changed nick to Gregor.
17:03:31 -!- tertu has quit (Ping timeout: 245 seconds).
17:04:36 -!- aretecode has joined.
17:11:14 <zzo38> Now you have to fix DOSBOX to support CGA hicolor
17:12:55 <zzo38> And other features of 8088 MPH demo.
17:13:24 -!- Hijiri has quit (Quit: WeeChat 1.0.1).
17:17:01 -!- Sprocklem has joined.
17:22:43 -!- bb010g has joined.
17:37:32 -!- dianne has joined.
17:39:57 -!- Vorpal has quit (Ping timeout: 255 seconds).
17:50:15 -!- tswrcclt has quit (Quit: Connection closed for inactivity).
17:54:01 -!- Vorpal has joined.
17:54:01 -!- Vorpal has quit (Changing host).
17:54:01 -!- Vorpal has joined.
17:55:31 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
18:00:14 <mroman> fungot: What's your karma?
18:00:14 <fungot> mroman: in a good story, they function in an undiagnosable way? for instance, i've recently picked up a hobby, and it's been super great! i signed up for an english as a second language course.
18:00:17 <fungot> mroman: you you dedicated bible ii to me??
18:00:29 <mroman> Yeah I dedicated a bible to fungot.
18:00:29 <fungot> mroman: t-rex, i don't know! maybe! i've never been to the bottom of a bottle.
18:00:32 <mroman> I forgot to mention that.
18:03:11 -!- J_Arcane has joined.
18:14:33 -!- vodkode_ has joined.
18:32:24 -!- nszceta has joined.
18:41:27 <HackEgo> [wiki] [[User:Rdococ]] http://esolangs.org/w/index.php?diff=42484&oldid=42434 * Rdococ * (+20)
18:41:50 -!- roasted42 has joined.
18:42:48 -!- roasted42 has changed nick to TheM4ch1n3.
18:42:48 -!- TheM4ch1n3 has quit (Changing host).
18:42:48 -!- TheM4ch1n3 has joined.
18:47:35 -!- TheM4ch1n3 has quit (Quit: bye).
19:07:25 -!- Frooxius has joined.
19:13:19 -!- adu has joined.
19:18:40 <olsner> heh, "The astonishingly-ingenious trio of Shachaf Ben-Kiki, Ørjan Johansen and Nathan van Doorn managed to persuade GHC 7.10.1 to cough up unsafeCoerce."
19:18:56 <zzo38> Can logic-based and aspect-oriented and reactive and rule-based programming be combined together if the input format is RDF?
19:19:06 <olsner> (from the commit message of the fix)
19:19:17 <zzo38> olsner: I saw that too yes
19:20:23 <b_jonas> I've no idea what that means, but let's see
19:20:29 <b_jonas> `8-ball Can logic-based and aspect-oriented and reactive and rule-based programming be combined together if the input format is RDF?
19:20:40 <b_jonas> fungot, Can logic-based and aspect-oriented and reactive and rule-based programming be combined together if the input format is RDF?
19:20:40 <fungot> b_jonas: you you dedicated bible ii to me?? it wat that easy! it's like buying a game that sounds like a crazy friday as weekend, why not monday too?
19:20:45 <b_jonas> that 8-ball response is wrong
19:20:53 <HackEgo> #!/bin/sh \ shuf -n 1 share/8ballreplies
19:21:03 <zzo38> Deciding the answer by randomly doesn't seem the way to do it in this circumstance.
19:21:05 <HackEgo> It is certain. \ It is decidedly so. \ Without a doubt. \ Yes definitely. \ You may rely on it. \ As I see it, yes. \ Most likely. \ Outlook good. \ Yes. \ Signs point to yes. \ Reply hazy try again. \ Ask again later. \ Better not tell you now. \ Cannot predict now. \ Concentrate and ask again. \ Don't count on it. \ My reply is no. \ My sources s
19:21:17 <zzo38> (It also does not tell you how even if the answer is yes.)
19:21:31 <b_jonas> yes, I wouldn't trust the 8-ball
19:23:04 <zzo38> I suppose 8-ball can still be use in case you do need to decide the answer at random, but my question isn't that kind of question.
19:27:27 -!- adu has quit (Quit: adu).
19:29:13 <elliott> olsner: oh, there was another unsafeCoerce?
19:32:22 <shachaf> It's the ((),()) => () unsafeCoerce
19:32:37 <olsner> elliott: it might be the same
19:35:48 -!- Hijiri has joined.
19:40:30 -!- vodkode_ has quit (Ping timeout: 248 seconds).
19:46:42 <olsner> https://ghc.haskell.org/trac/ghc/ticket/9858
19:47:07 -!- adu has joined.
19:50:21 <HackEgo> [wiki] [[State]] http://esolangs.org/w/index.php?diff=42485&oldid=42433 * Rdococ * (+229) examples
19:51:07 <HackEgo> [wiki] [[State]] M http://esolangs.org/w/index.php?diff=42486&oldid=42485 * Rdococ * (-4) /* Examples */
19:51:30 <HackEgo> [wiki] [[State]] http://esolangs.org/w/index.php?diff=42487&oldid=42486 * Rdococ * (+2) /* Examples */
20:15:17 <oerjan> excuse me while i bask in fame
20:16:25 <oerjan> hello fellow famous guy
20:19:07 <shachaf> I can add this to the list, alongside "ferociously-unintuitive".
20:20:25 <oerjan> what did you get that for
20:22:12 <shachaf> I guess SPJ isn't used to Leibniz equality.
20:22:13 <lambdabot> forall (k :: BOX) (a :: k) (b :: k). (Typeable a, Typeable b) => Maybe (a :~: b)
20:22:13 <shachaf> https://mail.haskell.org/pipermail/libraries/2013-March/019470.html
20:24:47 <shachaf> I think SPJ's fix takes this too far.
20:24:57 <shachaf> E.g. it breaks the Typeable instance for Dict.
20:25:31 <shachaf> There's nothing even somewhat impredicative about that.
20:25:36 -!- ProofTechnique has quit (Ping timeout: 250 seconds).
20:26:50 <shachaf> I got the impression it was intended for at least one release?
20:28:59 <oerjan> i do find it a bit disappointing how all the #9858 fixes remove some features
20:29:11 <oerjan> but i've already nagged enough about that
20:29:44 <shachaf> features like unsafeCoerce
20:30:19 <oerjan> i mean like deriving Typeable (Proxy a) from Typeable a
20:32:14 <oerjan> there's probably something involving type lists that gets really awkward because of it.
20:32:52 <oerjan> because you also cannot derive Typeable (a ': as) i think
20:33:56 <oerjan> otoh uses of Typeable and uses of fake dependent typing are probably a bit disjoint
20:34:10 <oerjan> b_jonas: : promoted to a type
20:34:36 <oerjan> well i vaguely recall that's the notation, i've never used it.
20:39:27 -!- Hijiri has quit (Quit: WeeChat 1.0.1).
20:42:49 -!- zzo38 has quit (Remote host closed the connection).
20:44:51 <oerjan> oh all the gcasts are written with eqT now
20:48:38 -!- vodkode has quit (Remote host closed the connection).
20:50:19 -!- vodkode has joined.
20:51:00 -!- Hijiri has joined.
20:51:48 -!- nszceta_ has joined.
20:53:11 <oerjan> edwardk: shachaf's comment might be relevant to your interests <shachaf> E.g. it breaks the Typeable instance for Dict.
20:53:31 -!- nszceta has quit (Ping timeout: 245 seconds).
20:53:47 <oerjan> well he seems a bit idle
20:55:03 <oerjan> @tell edwardk shachaf points out that the last fix for #9858 breaks e.g. Typeable Dict
20:58:53 -!- nszceta_ has quit (Quit: Textual IRC Client: www.textualapp.com).
20:59:14 <lambdabot> (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc
20:59:20 <lambdabot> (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc
21:05:45 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
21:05:56 <lambdabot> eval provides: run let define letlpaste undefine
21:12:22 -!- Guest3780 has quit (Read error: Connection reset by peer).
21:14:49 -!- Guest3780 has joined.
21:21:19 -!- Sprocklem has quit (Ping timeout: 250 seconds).
21:26:55 <oerjan> "GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6."
21:37:03 <orin> I don't see how a compiler can meaningfully be said to support somthing if it crashes
21:37:06 <oerjan> comment on the top of edwardk's constraints package
21:42:22 -!- ProofTechnique has joined.
21:44:47 -!- Hijiri has quit (Quit: WeeChat 1.0.1).
21:52:23 -!- tertu has joined.
22:02:41 -!- tertu has quit (Ping timeout: 245 seconds).
22:02:48 -!- variable has quit (Ping timeout: 244 seconds).
22:04:12 <oerjan> if you have all of SKI, then flat combinator calculus can express (.) as S I K S K
22:04:33 <oerjan> :t ap id const ap const
22:04:34 <lambdabot> Occurs check: cannot construct the infinite type:
22:04:34 <lambdabot> Expected type: ((a -> (a -> a) -> b) -> (a -> a -> a) -> a -> b)
22:07:01 <lambdabot> Occurs check: cannot construct the infinite type: a ~ b -> a -> b1
22:07:01 <lambdabot> Expected type: ((b -> a -> b1) -> (b -> a) -> b -> b1)
22:07:07 <lambdabot> Occurs check: cannot construct the infinite type:
22:07:07 <lambdabot> Expected type: ((b1 -> a) -> b) -> b1 -> a
22:14:37 <oerjan> > tyConPackage $ typeRepTyCon $ typeOf $ fromList [(1,2)]
22:14:38 <lambdabot> Couldn't match expected type ‘Item r0’ with actual type ‘(t0, t1)’
22:14:38 <lambdabot> The type variables ‘t0’, ‘t1’, ‘r0’ are ambiguous
22:14:55 <oerjan> > tyConPackage $ typeRepTyCon $ typeOf $ fromList [(1::Int,2::Int)]
22:14:56 <lambdabot> Couldn't match expected type ‘Item r0’
22:14:56 <lambdabot> The type variable ‘r0’ is ambiguous
22:15:19 <oerjan> > tyConPackage $ typeRepTyCon $ typeOf $ Data.Map.fromList [(1,2)]
22:15:28 <oerjan> > tyConPackage $ typeRepTyCon $ typeOf $ M.fromList [(1,2)]
22:15:54 <oerjan> :t tyConPackage $ typeRepTyCon $ typeOf $ M.fromList [(1,2)]
22:17:54 -!- `^_^v has quit (Ping timeout: 264 seconds).
22:23:09 <oerjan> it's _really_ annoying that the ghc 7.10.1 online docs have broken source links.
22:28:08 -!- adu has quit (Ping timeout: 256 seconds).
22:29:59 <shachaf> oerjan: By the way, someone linked to https://www.fpcomplete.com/blog/2015/03/minghc-ghc-7-10 in #haskell recently.
22:30:34 * oerjan swats shachaf -----###
22:30:51 <shachaf> what did i even do this time
22:31:09 <oerjan> you hinted that i should install minghc tdnh hth
22:31:24 <shachaf> wait, is there something bad about minghc
22:31:41 <shachaf> I thought the main reason to wait for the Haskell Platform on Windows was that GHC didn't come with an installer.
22:33:43 <oerjan> i like that it comes with precompiled packages.
22:34:37 <shachaf> puns don't cut it anymore?
22:35:06 <oerjan> also, i _really_ thought the plan to get a platform out in about a week was going to work.
22:35:18 <oerjan> but obviously it snagged somewhere.
22:35:56 <oerjan> or maybe they saw #9858 and decided to wait.
23:00:33 -!- Hijiri has joined.
23:06:40 -!- Hijiri has quit (Ping timeout: 256 seconds).
23:11:59 <oerjan> hm dependent on exactly what Kind.isConstraintKind checks, there might be a way to get around spj's fix...
23:12:51 -!- vodkode_ has joined.
23:17:14 <elliott> not allowing Typeable on Constraint seems sad.
23:17:22 <elliott> isn't GHC meant to be gettin more unified
23:17:50 <elliott> also, I'm not sure HP is going to get another release, from what I vaguely heard a while ago.
23:18:07 <elliott> I guess your information is newer than mine
23:18:37 <oerjan> this was after 7.10.1 came out
23:18:38 -!- Hijiri has joined.
23:34:06 -!- Guest3780 has quit (Ping timeout: 248 seconds).
23:38:42 -!- bb010g has quit (Quit: Connection closed for inactivity).
23:38:49 -!- Sprocklem has joined.
23:42:43 <elliott> is Typeable on Constraint impredicative because you have Typeable Typeable?