00:03:49 MDude: is there any way to distinguish jerkcity comics from random MS Comic Chat screenshots 00:04:02 can they truly be said to be distinct categories 00:04:50 Frequency of refferences to dicks? 00:14:30 can you show me an if-else in bf? 00:18:09 +>[.<->[-]]<[>>.<<-] 00:18:51 ok wait i'm a beginner, gimme a minute to understand it 00:19:59 -!- Phantom__Hoover has joined. 00:21:04 increment cell0 to 1, if cell1 != 0 print it, then decrement cell0, then cell1 = 0 while cell0-- != 0 print cell2 00:21:45 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 ok uhm the while loop is skipped since you decremented cell0 00:25:06 nice, thank you 00:25:07 well a while block executed once is just an if block, if you want to look at it that way 00:25:12 http://www.paste.org/77995 00:25:12 sure 00:25:33 -!- Melvar has quit (Ping timeout: 276 seconds). 00:25:48 This is my attempt at an interpreter for "State" 00:26:12 orin: can you use a pastebin that doesn't have an anti-adblock? :\ 00:26:55 huh? Ihave adblock and i'm seeing no problems 00:28:09 http://pastecode.org/index.php/view/99675460 00:28:23 thanks 00:28:26 -!- doesthiswork has joined. 00:29:05 Oh. I see, it's because I also use noscript 00:29:59 spam spam spam spam spam best pastebin evur spam spam spam spam http://arin.ga 00:31:08 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:31:36 00:32:32 Anyway, rdococ, do you have any example programs? 00:32:57 izabera: have you looked at https://esolangs.org/wiki/Brainfuck_algorithms 00:33:07 i currently am 00:33:19 looking at it 00:43:09 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 00:47:50 how do i move the pointer 1000 cells to the left? 00:48:29 depends on the implementation whether that is even possible 00:48:40 where it is possible, 1000 <'s in a row should do it 00:49:01 ...i meant to the right ^^ 00:49:28 and i was hoping for a different answer 00:52:18 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 [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 [wiki] [[ASCII art/mandelbrot]] http://esolangs.org/w/index.php?diff=42439&oldid=42438 * Esowiki201529A * (+0) 00:55:59 if the tape does not have only zeroes... 1000 >'s should do it :D 00:56:16 yay <.< 00:56:23 (fun fact: most programs do not require 1000 cells) 01:02:39 if you have 1000 nonzero cells followed by a zero, you may want to consider [>] 01:10:50 -!- SgeoWeb has joined. 01:11:13 youtube is dead 01:11:29 My home laptop is dead 01:11:41 As is my sanity 01:12:28 -!- bb010g has joined. 01:12:37 `relcome bb010g 01:12:44 `relcome sgeo's insanity 01:12:57 relcome? 01:13:03 ​bb010g: 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 irc.dal.net.) 01:13:03 ​sgeo's: insanity: 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 irc.dal.net.) 01:13:38 Hmm. o.o 01:16:23 [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 Is it a bad idea to call out a subreddit mod for failing to disclose financial incentives? 01:17:50 I mean, this mod is helping me, but still 01:18:46 [wiki] [[Brainfuck algorithms]] M http://esolangs.org/w/index.php?diff=42441&oldid=42440 * Quintopia * (+49) /* z = sign(x-y) */ 01:20:55 [wiki] [[Brainfuck algorithms]] M http://esolangs.org/w/index.php?diff=42442&oldid=42441 * Quintopia * (-41) /* z = sign(x-y) */ 01:22:02 * SgeoWeb looks a bit closer 01:22:06 Could have been a mistake 01:22:09 SgeoWeb: do you have reason to suspect the mod's judgment is compromised by a conflict of interest? 01:22:40 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 Eh, if it's a mistake, they won't mind me asking about the affiliate thing directly 01:24:14 I see other Amazon links by them that don't have the affiliate tag 01:24:26 And ones to non-affiliate-capable sites 01:30:12 i wouldn't mention it then 01:31:57 -!- oerjan has joined. 01:59:49 http://www.amazon.com/gp/product/B00OBQ5950/ 01:59:57 Don't seem to see details on the HD 02:03:50 what details are you looking for? 02:04:54 Whether the HD will park itself if it detects vibration 02:05:10 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 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:27 oesterreich 03:12:59 https://github.com/mishoo/UglifyJS2/issues/121#issuecomment-92522991 03:20:02 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:20:46 2*3? 03:22:03 shachaf: good point. 03:22:38 -!- Froox has quit (Quit: *bubbles away*). 03:23:16 in such representation, it is not obvious to me an algorithm for opimizing the size of higher numbers 03:24:53 consider if we have only 36 known digits, then in representing 37... 03:26:40 We can do 1Y 03:30:35 can i propose a code challenge? 03:30:46 What kind of code challenge? 03:31:08 `` echo {a,b,}c{1..3} 03:31:08 ac1 ac2 ac3 bc1 bc2 bc3 c1 c2 c3 03:31:12 invert it 03:32:05 find the shortest brace expansion that generates a set of strings 03:36:32 `` echo {1..3}{a,b,c}{4..6} 03:36:33 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 `` echo {x,{,w}q}{,a} # you can even nest it 03:37:26 x xa q qa wq wqa 03:40:21 `` echo {abc,def}{g,} 03:40:22 abcg abc defg def 03:41:06 `` echo {1..3}{a..c} 03:41:07 1a 1b 1c 2a 2b 2c 3a 3b 3c 03:41:20 `` echo {1..3}{aa..ac} 03:41:21 1{aa..ac} 2{aa..ac} 3{aa..ac} 03:42:22 you may restrict the challenge to the {a,b,c} expansion style, ignore the {a..z} ^^ 03:43:27 `` echo {`{,`}}{1..3} 03:43:28 bash: {,: command not found \ bash: {,: command not found \ bash: {,: command not found \ {}}1 {}}2 {}}3 03:43:36 `` echo {\{,\}}{1..3} 03:43:36 ​{1 {2 {3 }1 }2 }3 03:43:52 you may restrict the challenge to lowercase letters only <.< 03:44:02 And then, do you have to consider if the text include itself braces? 03:44:11 you may restrict the challenge to lowercase letters only <.< 03:44:13 (Even outside of a block) 03:44:25 lowercase letters only <.< 03:44:46 -!- MDude has changed nick to MDream. 03:45:21 O, so you mean all of the text is only with lowercase letter and not .. either, I suppose is you mean? 03:45:34 no i mean 03:45:54 -!- Guest17241 has quit (Quit: [). 03:45:58 the input is a single line with several words, space separated or whatever 03:46:07 that only use lowercase letters 03:46:16 -!- Sprocklem_ has joined. 03:46:20 O, so spaces is OK too, but only between items. 03:46:35 hey the input format is not important 03:47:33 i'm just trying to remove the annoying cases <.< 03:48:07 OK 03:48:07 get a list of words and produce the smallest brace expansion that generates them ^^ 03:48:19 OK 03:53:17 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 [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 [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 Would urn:bible: only be Bible locations, or could it also specify translation? 03:55:13 And if so, is there a list of translations, or a more generic way anyone could produce a 'translation'? 03:55:31 [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 [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 SgeoWeb: Only the Bible reference, I think. 03:56:25 If you want a specific translation, you will use the URL that points to the text of that translation. 03:58:50 For example you can write urn:bible: or urn:bible:: or urn:bible::: or urn:bible:::-: might be the possible formats. 03:59:20 -!- SgeoWeb has quit (Ping timeout: 246 seconds). 04:03:36 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 anything starting with K.. or SK.. can be simplified. 04:08:55 -!- adu has quit (Quit: adu). 04:09:20 SSxy = Sy(xy), if y is K that's also useless 04:11:31 SSxSz = SS(xS)z = Sz(xSz), so needs z = S 04:12:27 SSxSSa = SS(xSS)a = Sa(xSSS) oh i see this just keeps being trivial 04:12:47 -!- adu has joined. 04:13:50 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42451&oldid=42437 * Esowiki201529A * (+109) /* self interpreter */ 04:14:36 um *Sa(xSSa) 04:16:03 -!- vodkode__ has left ("Leaving"). 04:16:33 [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 OMG HOW DO I DRAW A FUCKING CIRCLE IN ASCII ART THAT LOOKS LIKE A CIRCLE 04:26:17 i'm completely unable to do it -_- 04:26:38 -_- looks like a good start 04:27:02 c.c 04:27:03 c.c.c 04:27:03 c.c 04:28:18 even bots can 04:28:48 (_) might be a better start 04:29:35 depends how big it should be 04:30:36 enough for a clock >.< 04:32:06 -!- adu has quit (Quit: adu). 04:33:58 http://ascii.co.uk/art/clock hth 04:37:10 -!- SgeoWeb has joined. 04:42:26 -!- vodkode_ has quit (Quit: Leaving). 04:49:22 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42453&oldid=42452 * Esowiki201529A * (+2) /* Fibonacci sequence */ 04:49:59 Di oirtabke desktops exist?> 04:50:04 Do portable desktops exist? 04:50:13 -!- vodkode_ has joined. 05:08:45 -!- zadock has joined. 05:12:30 a homerow shift error 05:12:49 gsnvy 05:14:06 > plot (\n -> n `mod` 7) 0 80 05:14:07 No instance for (Enum a0) arising from a use of ‘plot’ 05:14:07 The type variable ‘a0’ is ambiguous 05:14:08 Note: there are several potential instances: 05:15:28 :t plot 05:15:29 (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc 05:15:52 > (0$0`plot`) 05:15:54 The operator ‘plot’ [infixl 9] of a section 05:15:54 must have lower precedence than that of the operand, 05:15:54 namely ‘$’ [infixr 0] 05:16:45 > plot (\n -> fromIntegral (n `mod` 7)) 0 80 05:16:46 ⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀⢀⠔⠀⠀⡠⠂⠀ 05:16:47 ⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔⠁⠀⡠⠊⠀⢀⠔ 05:17:12 -!- vodkode_ has quit (Ping timeout: 240 seconds). 05:18:40 > plot (\x -> sin (x*80)) 0 (pi/40) 05:18:41 Terminated 05:18:50 > plot (\x -> sin (x*80)) 0 (pi/40) 05:18:51 Terminated 05:19:03 hmph silly function 05:19:38 > plot (\x -> sin (fromIntegral (x*pi/40))) 0 80 05:19:39 No instance for (Enum a0) arising from a use of ‘plot’ 05:19:39 The type variable ‘a0’ is ambiguous 05:19:39 Note: there are several potential instances: 05:19:47 * variable looks at oerjan 05:19:55 > plot (\x -> sin (fromIntegral (x*pi/40))) 0 (80::Int) 05:19:57 No instance for (Floating Int) arising from a use of ‘pi’ 05:19:57 In the second argument of ‘(*)’, namely ‘pi’ 05:19:57 In the first argument of ‘(/)’, namely ‘x * pi’ 05:20:01 oops 05:20:18 > plot (\x -> sin (fromIntegral x * pi/40)) 0 (80::Int) 05:20:19 ⣀⣀⣀⣀⣀⣀⣀⣀⣀⣀⢄⣀⣀⣀⣀⣀⣀⣀⣀⣀⡈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉ 05:20:51 wat 05:21:23 > plot (\x -> 2*sin (fromIntegral x * pi/40)) 0 (80::Int) 05:21:24 ⣀⣀⣀⡠⠤⠤⠤⠤⠤⠤⠢⠤⠤⠤⠤⠤⠤⣀⣀⣀⡈⠉⠉⠑⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠒⠉⠉⠉ 05:21:57 i feel this is not how plots should work 05:22:07 > plot (\x -> 1 + 2*sin (fromIntegral x * pi/40)) 0 (80::Int) 05:22:09 ⠤⠤⠤⠔⠒⠒⠒⠒⠒⠒⠑⠒⠒⠒⠒⠒⠒⠤⠤⠤⢄⣀⣀⡈⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⠉⣀⣀⣀ 05:23:18 > plot (\n -> sqrt(49 - (n-7)*(n-7))) 0 15 05:23:20 ⠀⡠⠒⠊⠒⠢⡀⠀ 05:23:20 ⡈⠀⠀⠀⠀⠀⠈⡀ 05:24:07 > plot (\n -> 7-sqrt(49 - (n-7)*(n-7))) 0 15 05:24:09 ⠁⠀⠀⠀⠀⠀⠀⠁ 05:24:09 ⠈⠢⣀⣀⣀⡠⠊⠀ 05:24:31 > plot (\x -> 1 + 10*sin (fromIntegral x * pi/40)) 0 (80::Int) 05:24:32 ⠀⠀⠀⠀⠀⣀⠤⠔⠒⠒⠑⠒⠒⠤⢄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:24:32 ⠀⠀⣀⠔⠊⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠒⢄⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:24:32 ⠤⠊⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠢⢄⠑⠤⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠠⠔⢁ 05:24:52 > plot (\x -> 10*(1+sin (fromIntegral x * pi/40))) 0 (80::Int) 05:24:53 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:24:53 ⠀⠀⠀⠀⢀⠤⠒⠊⠉⠉⠈⠉⠉⠒⠢⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:24:53 ⠀⢀⠤⠊⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠉⠢⢄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:25:00 sheesh 05:25:28 > plot id 0 80 05:25:29 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ 05:25:29 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡠⠊ 05:25:29 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡠⠊⠀⠀ 05:25:47 you'd get a better pic in /msg :) 05:26:04 OKAY 05:26:28 no implicit plot? sux 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 they whould draw the plot to a jpeg and upload it to a server somewhere, then respond with a link 05:52:30 how about take a link to a jpeg and then plot it as ascii? 05:53:39 ok i have no IDEA why my hands want to spell would as whould? 05:54:43 i hacked you 05:56:36 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 [wiki] [[Tomagotcha!]] N http://esolangs.org/w/index.php?oldid=42455 * 0x0dea * (+1838) Add Tomagotcha! "language" 06:10:13 [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 [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 [wiki] [[Beatnik]] M http://esolangs.org/w/index.php?diff=42458&oldid=42457 * 0x0dea * (-1133) Remove incorrect "Hello, world!" program 06:53:45 https://www.youtube.com/watch?v=-4jwzan3AyA 06:55:20 [&]%@*>"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 [&VERSE#,^#],^#<,^#<<\,^#< 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 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 orin: thanks now i'm finally up to date tdh 07:12:31 well to 2011 anyway 07:15:49 -!- ProofTechnique has joined. 07:39:02 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 [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Funciton]] to [[Function]]: Err,Function. 07:51:34 [wiki] [[Special:Log/move]] move * Esowiki201529A * moved [[Talk:Funciton]] to [[Talk:Function]]: Err,Function. 07:52:26 wtf 07:53:51 [wiki] [[Special:Log/move]] move_redir * Oerjan * moved [[Talk:Function]] to [[Talk:Funciton]] over redirect: No, it's not named that. 07:54:15 [wiki] [[Special:Log/move]] move_redir * Oerjan * moved [[Function]] to [[Funciton]] over redirect 08:13:40 [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 [wiki] [[Aplifcldtcitampac]] http://esolangs.org/w/index.php?diff=42467&oldid=42465 * Esowiki201529A * (+14) 08:15:34 -!- j-bot has joined. 08:17:25 [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 [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 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 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42471&oldid=42453 * Esowiki201529A * (+77) /* Hello, World! */ 08:45:38 [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 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42473&oldid=42472 * Esowiki201529A * (+39) /* Hello, World! */ 08:53:04 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42474&oldid=42473 * Esowiki201529A * (+9) /* Hello, World! */ 08:54:19 [wiki] [[Gibberish/JavaScript]] http://esolangs.org/w/index.php?diff=42475&oldid=42474 * Esowiki201529A * (+1) /* Hello, World! */ 08:57:38 [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 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:45:56 What's OASYS? 09:52:18 zzo38: does urn:bible include books banned by catholic church? 09:52:29 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 or is that urn:apocrypha? 10:00:56 -!- Gregor has quit (*.net *.split). 10:00:56 -!- APic has quit (*.net *.split). 10:02:51 > plot (-x -> x) 0 (10 :: Int) 10:02:52 Pattern syntax in expression context: - x -> x 10:02:57 > plot (\x -> x) 0 (10 :: Int) 10:02:59 No instance for (RealFrac Int) arising from a use of ‘plot’ 10:02:59 In the expression: plot (\ x -> x) 0 (10 :: Int) 10:03:15 > plot (\x -> x) 0 (10 :: Float) 10:03:16 ⠀⠀⠀⠀ 10:03:16 ⠀⠀⡠⠊⠀ 10:03:16 ⡠⠊⠀⠀⠀ 10:03:36 > plot (\x -> 1/x) 1 (10 :: Float) 10:03:37 ⢄⣀⣀⣀⣀ 10:03:45 hm ok 10:03:49 > plot (\x -> 1/x) 1 (20 :: Float) 10:03:50 ⢄⣀⣀⣀⣀⣀⣀⣀⣀⣀ 10:03:59 > plot (\x -> 10/x) 1 (20 :: Float) 10:04:00 ⠂⠀⠀⠀⠀⠀⠀⠀⠀⠀ 10:04:00 ⠠⠀⠀⠀⠀⠀⠀⠀⠀⠀ 10:04:00 ⠀⠑⠢⠤⠤⣀⣀⣀⣀⣀ 10:04:07 much better. 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:20 > plot 10:40:22 No instance for (Typeable a10) 10:40:22 arising from a use of ‘show_M714213049450625511621244’ 10:40:22 In the expression: 10:40:29 hm 10:40:40 I don't suppose @src works for @let'd functions? 10:40:42 @src plot 10:40:43 Source not found. stty: unknown mode: doofus 10:45:52 > plot (\x -> x + 1/x + 1/(1+x)) 1 (20 :: Float) 10:45:53 ⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀ 10:45:53 ⠀⠀⠀⠀⠀⠀⠀⢀⠔⠁ 10:45:53 ⠀⠀⠀⠀⠀⢀⠔⠁⠀⠀ 10:46:10 > plot (\x -> x + 1/x + 1/(1+x) + 1/(1/(1+x)))) 1 (20 :: Float) 10:46:12 :1:45: parse error on input ‘)’ 10:46:15 > plot (\x -> x + 1/x + 1/(1+x) + 1/(1/(1+x))) 1 (20 :: Float) 10:46:17 ⠀⠀⠀⠀⠀⠀⠀⠀⠀ 10:46:17 ⠀⠀⠀⠀⠀⠀⠀⠀⠠⠁ 10:46:17 ⠀⠀⠀⠀⠀⠀⠀⠠⠁⠀ 10:51:53 hm 10:52:01 I found a way to calculate log(2) o_O 10:52:17 sum_{i=1}^{N} (1/(N+i)) 10:52:22 approaches log(2) 10:53:24 sum_{i=1}^{N} (1/(x*N+i)) approaches log(1+x^-1) 10:54:03 so by choosing x I can calculate every log \o/ 10:54:03 | 10:54:03 /`\ 10:56:07 mroman, how fast is the convergence 11:00:27 I don't know. 11:00:34 can wolframalpha tell me that? 11:01:50 It doesn't understand convergence rate 11:02:02 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:06 I'm approximating log 11:03:23 (1/(x*N+i)) <-- not here 11:03:55 -!- Guest47678 has changed nick to Gregor. 11:04:18 @def myLog N x = sum [1/(x*N+i)|<-[1..N]] 11:04:19 .L.hs:162:7: Not in scope: data constructor ‘N’ 11:04:20 11:04:20 .L.hs:162:27: Not in scope: data constructor ‘N’ 11:04:24 -!- Gregor has changed nick to Guest75683. 11:04:30 @def myLog n x = sum [1/(x*n+i)|<-[1..n]] 11:04:31 .L.hs:162:34: Not in scope: ‘|<-’ 11:04:35 @def myLog n x = sum [1/(x*n+i)|i<-[1..n]] 11:04:38 Defined. 11:04:48 > myLog 10 1 11:04:50 0.6687714031754279 11:04:54 > logBase 2 10 11:04:55 3.3219280948873626 11:04:59 > logBase 10 2 11:05:00 0.30102999566398114 11:05:02 hu 11:05:12 eh 11:05:14 > log 2 11:05:15 0.6931471805599453 11:05:22 > myLog 100 11:05:23 Double> 11:05:28 > myLog 100 1 11:05:36 0.690653430481824 11:05:36 > myLog 1000 1 11:05:38 0.6928972430599376 11:05:46 > myLog 10000 1 11:05:47 0.6931221811849484 11:05:59 doesn't look like it converges fast :) 11:06:02 > myLog 100000 1 11:06:03 0.6931446805661916 11:06:18 -!- nszceta has joined. 11:06:21 10000 steps for four digits isn't that fast I guess 11:06:26 :i plot 11:06:40 > myLog 100000 2 11:06:42 0.40546427477598784 11:06:45 > log (3/2) 11:06:46 0.4054651081081644 11:06:54 :t plot 11:06:55 (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc 11:08:17 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 @def myLog n x = (sum [1/(x*(n+i))|i<-[1..n]])*x 11:08:33 .L.hs:162:1: Warning: 11:08:33 Pattern match(es) are overlapped 11:08:33 In an equation for ‘myLog’: myLog n x = ... 11:08:38 @def myLog' n x = (sum [1/(x*(n+i))|i<-[1..n]])*x 11:08:42 Defined. 11:08:46 > myLog' 100 1 11:08:48 0.690653430481824 11:09:04 > [log 2, myLog 100 1, myLog' 100 1] 11:09:05 [0.6931471805599453,0.690653430481824,0.690653430481824] 11:10:27 @def let myLog n x = (sum [1/(x*(n+i-1/2))|i<-[1..n]])*x in myLog 100 1 11:10:27 Parse failed: TemplateHaskell is not enabled 11:10:31 > let myLog n x = (sum [1/(x*(n+i-1/2))|i<-[1..n]])*x in myLog 100 1 11:10:33 0.6931440556283007 11:11:13 -!- hjulle has joined. 11:12:00 (This one should have an O(1/N^2) error term, but I don't want to prove that rigorously.) 11:13:40 Help! 11:13:47 I'm trapped in a channel empty of fungots. 11:14:12 (... and full of weirdos) 11:15:47 Why does the UK forbid rageporn? 11:16:04 Shouldn't it be already illegal to upload videos of other people without their consens? 11:17:43 legislating morality 11:17:46 woohoo 11:18:00 anyway, ask 8chan.co 11:18:02 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 Do everything within the context of a corporation and it's A-OK 11:18:34 (The prosperity one works better, for the top 1%) 11:19:19 hm. perhaps for longer sentences. 11:19:59 Hmm? 11:20:01 it also saved talk shows for another two weeks. 11:20:10 Oh, right, we had that network blip. 11:20:15 In Germany violating personalyt rights like that apperentely gives you 2 years maximum. 11:20:20 *personality 11:20:25 *apparentely 11:20:55 -!- fungot has joined. 11:22:43 mroman: Oh all my convergence rate discussion above assumes that x>0. 11:23:14 what's a summary conviction? 11:24:08 Ah. No jury. I see. 11:29:06 -!- boily has quit (Quit: UNNAMABLE CHICKEN). 11:35:32 ln(2)=sum_{k=1}^\infty 1/(k*2^k) 11:35:36 that'll be a bit faster 11:35:54 it uses the fact that ln(1/2)=-ln(2) and the standard Taylor series for ln at 1 11:36:24 the remainder of the partial sum of order N is less than 1/(N+1)2^N 11:36:41 very likely smaller, but that's a good starting point 11:37:42 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:14:52 hi 12:21:01 -!- Patashu has quit (Ping timeout: 244 seconds). 12:23:45 mroman, rageporn? 12:25:23 microwave fungot 12:25:23 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 Phantom_Hoover: uploading sex tapes with your ex 12:26:10 revenge porn, then 12:26:10 I wonder if it's possible to create a language, without storage, that is turing complete anyway? 12:26:18 oh. 12:26:22 My english fucked up again :( 12:26:24 rageporn just sounds like people having sex while very, very angry 12:26:24 Yeah, revenge porn. 12:26:26 rdococ: lambda calculus? 12:26:47 rdococ: "storage" is such a malleable term 12:26:49 but didn't UK outlaw BDSM and that stuff anyway some time ago? 12:26:54 ugh, lambda calculus is mentioned again? 12:26:54 true 12:27:16 hmm 12:27:23 nvm. though. 12:28:24 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 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 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 yeah and swiss people kept laughing at the UK for that :) 12:34:20 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 fungot: You starved to death? What do you even eat? 12:48:08 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 [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42478&oldid=42400 * 4D enthusiast * (+432) 12:52:44 -!- rdococ has joined. 12:52:59 hmm 12:53:30 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 As in, three instructions total for the whole program? 12:54:43 Interesting question 12:55:06 fungot, why is github so popular? 12:55:06 b_jonas: somebody sort of gave it away. i found that extremely simple :) and conceived with dumb compiler in mind :) 12:55:20 An instruction could be "execute this data using a different universal turing machine" 12:55:28 fungot: unary or radixal? 12:55:28 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:14 Fancy L? 12:57:25 so uhm this is just a mockup but how does it look? http://arin.ga/kjG5Kw/raw 12:58:37 FreeFull: that's called cheating lol 12:59:27 it doesn't matter if it has to be looped, it just has to be three instructions 12:59:37 other than loop syntax 13:00:04 infact I'd prefer if it looped. 13:00:08 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 Can I just use 1 and 0 to encode instructions? 13:00:59 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 thats why I had the idea of an infinite state machine and regexp matching 13:01:03 and then using a state machine behind using some prefix-free "instructions" 13:01:26 1 and 0 are instructions that switch to a state and check if it arrived at a state with an action 13:01:33 then execute that action. 13:02:36 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 so, using my example, string derp -- concat herp -> string derpherp 13:02:59 Because I can encode braifuck this way... no problem. 13:04:56 there are languages that only work by string replacement 13:05:16 oh wait 13:05:19 I know 13:05:22 there's sed ^^ 13:05:30 and I had one but I didn't make an article about it 13:05:32 -!- doesthiswork has joined. 13:05:39 nope forget what I said... that was stupid. 13:05:54 well its possible 13:06:23 using regexp matching and string replacement, its possible to do pretty much anything 13:06:35 idk if that means turing complete or not 13:08:09 ugh 13:08:11 my internet is terrible 13:12:23 -!- rdococ has quit (Quit: Page closed). 13:12:27 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 Do you need infinitely many possible output states? 13:18:48 Maybe your output is limited to True/False. 13:26:10 http://lisperator.net/pltut/ cool resource ^^ 13:28:39 want to do lisp? 13:28:58 no it's not about lisp >.> 13:29:21 you should say: “yes, I want to do Lisp” 13:31:10 [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42479&oldid=42478 * Esowiki201529A * (+11) /* stdio */ 13:33:04 fungot: Do you want to do LISP? 13:33:04 mroman: and implementing it in d or asm? /me boggle? 13:33:16 Sure, I have nothing against a LISP interpreter in asm. 13:33:48 Even better if it can fit on a floppy disc boot sector. 13:35:21 fungot: Would you want to be written in LISP? 13:35:22 mroman: is the official brainfuck forum. it happened to you? :) ( i'm attracted to these types of tools too. 13:36:38 [wiki] [[Object oriented thue]] http://esolangs.org/w/index.php?diff=42480&oldid=42479 * Esowiki201529A * (+50) /* stdio */ 13:39:47 [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 fungot: There's a brainfuck forum? 13:56:25 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 where does it take these quotes from? 14:02:01 ^style 14:02:02 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 ^style irc 14:02:09 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 14:02:45 izabera: note that they're not quotes; fungot uses a markov-like model for babbling 14:02:45 int-e: i can think of things like fnord in srfi-1? laml? tspl? srfi-news? 14:03:02 nice 14:03:21 And "fnord" stands for an infrequent word, for example. Fizzie can probably tell you all about it. 14:03:50 ^style enron 14:03:50 Selected style: enron (subset of the Enron email dataset) 14:03:56 fungot: email me? 14:03:56 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 fungot: what do you think of fraud? 14:07:21 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 ^style irc 14:07:48 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 fungot: Interest in a ponsy scheme? 14:16:34 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 a ponzy scheme? or a ponys scheme? 14:23:51 ponzi 14:24:09 b_jonas: It's a ponzy scheme with ponys. 14:24:10 hmm, this may have been intentional 14:24:17 therefore I created a new word ponsy scheme 14:24:18 I hate this channel, everyone's so smart :) 14:24:41 although it's probably ponies 14:24:47 I hate you. 14:24:58 fungot: Except you. You're okay. 14:24:58 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 ^style qwantz 14:55:57 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 14:56:00 fungot: fnord 14:56:00 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 fungot: An algorithm for relationship satisfaction would probably be worth a lot of money. 14:56:24 mroman: as a man concerned, t-rex, that going shopping was your default activity?" 14:56:51 fungot: I like shopping. 14:57:07 damn I exceeded my limit again. 15:04:05 [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 fungot: What is a funciton? 15:06:13 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 `learn A funciton is the number of burgers to eat when I get one. 15:07:06 fungot: thanks 15:07:06 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 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 [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 neat. https://ghc.haskell.org/trac/ghc/ticket/9858#comment:84 (for shachaf, oerjan and Taneb?) 15:59:08 :))) 15:59:21 (as usual I did not see any e-mail notification for this) 16:00:39 Although I deserve none of the credit for that 16:02:09 oerjan++ 16:02:10 shachaf++ 16:02:20 @karma oerjan 16:02:20 oerjan has a karma of 28 16:02:23 @karma 16:02:23 You have a karma of 8 16:02:30 @karma shachaf 16:02:30 shachaf has a karma of 84 16:02:47 @karma taneb 16:02:47 taneb has a karma of 15 16:03:45 -!- variable has joined. 16:08:35 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:19:40 @karma Phantom_Hoover 16:19:40 You have a karma of 3 16:19:53 an outrage 16:20:27 @karma 16:20:27 You have a karma of 1 16:20:46 yay 16:22:45 Phantom_Hoover++ 16:23:08 FireFly++ 16:24:30 I'm not sure what I deserve karma for, but thanks 16:38:43 -!- tertu has joined. 16:47:26 @karma Taneb 16:47:26 Taneb has a karma of 15 16:47:31 @karma mroman 16:47:31 You have a karma of 0 16:48:14 what's the scoring? 16:55:42 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 Now you have to fix DOSBOX to support CGA hicolor 17:12:55 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:24:55 @karma 17:24:56 You have a karma of 0 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]). 17:59:42 @karma 17:59:42 You have a karma of 1 17:59:45 @karma 17:59:45 You have a karma of 1 17:59:53 @karma 17:59:53 You have a karma of 0 17:59:55 yay? 18:00:08 haha 18:00:14 fungot: What's your karma? 18:00:14 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 @karma fungot 18:00:17 fungot has a karma of 8 18:00:17 mroman: you you dedicated bible ii to me?? 18:00:29 Yeah I dedicated a bible to fungot. 18:00:29 mroman: t-rex, i don't know! maybe! i've never been to the bottom of a bottle. 18:00:32 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 [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 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 Can logic-based and aspect-oriented and reactive and rule-based programming be combined together if the input format is RDF? 19:19:06 (from the commit message of the fix) 19:19:17 olsner: I saw that too yes 19:20:23 I've no idea what that means, but let's see 19:20:29 `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:32 Yes. 19:20:40 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 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 that 8-ball response is wrong 19:20:49 `cat bin/8-ball 19:20:53 ​#!/bin/sh \ shuf -n 1 share/8ballreplies 19:21:03 Deciding the answer by randomly doesn't seem the way to do it in this circumstance. 19:21:05 `cat share/8ballreplies 19:21:05 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 (It also does not tell you how even if the answer is yes.) 19:21:31 yes, I wouldn't trust the 8-ball 19:23:04 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 olsner: oh, there was another unsafeCoerce? 19:32:22 It's the ((),()) => () unsafeCoerce 19:32:37 elliott: it might be the same 19:34:19 trac link? 19:35:48 -!- Hijiri has joined. 19:40:30 -!- vodkode_ has quit (Ping timeout: 248 seconds). 19:46:42 https://ghc.haskell.org/trac/ghc/ticket/9858 19:47:07 -!- adu has joined. 19:50:21 [wiki] [[State]] http://esolangs.org/w/index.php?diff=42485&oldid=42433 * Rdococ * (+229) examples 19:51:07 [wiki] [[State]] M http://esolangs.org/w/index.php?diff=42486&oldid=42485 * Rdococ * (-4) /* Examples */ 19:51:30 [wiki] [[State]] http://esolangs.org/w/index.php?diff=42487&oldid=42486 * Rdococ * (+2) /* Examples */ 20:14:37 * oerjan wakes up 20:15:17 excuse me while i bask in fame 20:16:12 hellørjan 20:16:25 hello fellow famous guy 20:18:58 yay 20:19:07 I can add this to the list, alongside "ferociously-unintuitive". 20:20:11 wat 20:20:25 what did you get that for 20:21:36 gcast Refl 20:22:12 I guess SPJ isn't used to Leibniz equality. 20:22:13 :t gcast Refl 20:22:13 forall (k :: BOX) (a :: k) (b :: k). (Typeable a, Typeable b) => Maybe (a :~: b) 20:22:13 https://mail.haskell.org/pipermail/libraries/2013-March/019470.html 20:24:47 I think SPJ's fix takes this too far. 20:24:57 E.g. it breaks the Typeable instance for Dict. 20:25:31 There's nothing even somewhat impredicative about that. 20:25:36 isn't it a temporary fix? 20:25:36 -!- ProofTechnique has quit (Ping timeout: 250 seconds). 20:26:50 I got the impression it was intended for at least one release? 20:28:59 i do find it a bit disappointing how all the #9858 fixes remove some features 20:29:11 but i've already nagged enough about that 20:29:44 features like unsafeCoerce 20:30:19 i mean like deriving Typeable (Proxy a) from Typeable a 20:30:56 (polykindedly) 20:31:21 Yes. 20:32:14 there's probably something involving type lists that gets really awkward because of it. 20:32:52 because you also cannot derive Typeable (a ': as) i think 20:33:50 what's an ': 20:33:56 otoh uses of Typeable and uses of fake dependent typing are probably a bit disjoint 20:34:04 oh 20:34:10 b_jonas: : promoted to a type 20:34:11 lifted (:) infix 20:34:14 right 20:34:36 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 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 edwardk: shachaf's comment might be relevant to your interests E.g. it breaks the Typeable instance for Dict. 20:53:31 -!- nszceta has quit (Ping timeout: 245 seconds). 20:53:39 hm 20:53:40 Oh, edwardk is here. 20:53:47 well he seems a bit idle 20:55:03 @tell edwardk shachaf points out that the last fix for #9858 breaks e.g. Typeable Dict 20:55:04 Consider it noted. 20:58:53 -!- nszceta_ has quit (Quit: Textual IRC Client: www.textualapp.com). 20:59:13 :t plot 20:59:14 (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc 20:59:18 :t L.plot 20:59:20 (Enum a1, RealFrac a) => (a1 -> a) -> a1 -> a1 -> Doc 21:05:40 @list def 21:05:40 No module "def" loaded 21:05:45 @help def 21:05:45 help . Ask for help for . Try 'list' for all commands 21:05:56 @list let 21:05:56 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 "GHC 7.4 gave us the ability to talk about ConstraintKinds. They stopped crashing the compiler in GHC 7.6." 21:36:33 um... what? 21:37:03 I don't see how a compiler can meaningfully be said to support somthing if it crashes 21:37:06 comment on the top of edwardk's constraints package 21:37:32 orin: it's irony hth 21:37:40 ah 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:03:49 ooh neat 22:04:12 if you have all of SKI, then flat combinator calculus can express (.) as S I K S K 22:04:33 :t ap id const ap const 22:04:34 Occurs check: cannot construct the infinite type: 22:04:34 b ~ (a -> a -> a) -> a -> b 22:04:34 Expected type: ((a -> (a -> a) -> b) -> (a -> a -> a) -> a -> b) 22:04:39 hmph 22:07:00 :t ap id const ap 22:07:01 Occurs check: cannot construct the infinite type: a ~ b -> a -> b1 22:07:01 Expected type: ((b -> a -> b1) -> (b -> a) -> b -> b1) 22:07:01 -> b -> a -> b1 22:07:06 :t ap id const 22:07:07 Occurs check: cannot construct the infinite type: 22:07:07 a ~ (b1 -> a) -> b 22:07:07 Expected type: ((b1 -> a) -> b) -> b1 -> a 22:07:17 oh right 22:07:51 :t ap id 22:07:51 ((a -> b) -> a) -> (a -> b) -> b 22:14:37 > tyConPackage $ typeRepTyCon $ typeOf $ fromList [(1,2)] 22:14:38 Couldn't match expected type ‘Item r0’ with actual type ‘(t0, t1)’ 22:14:38 The type variables ‘t0’, ‘t1’, ‘r0’ are ambiguous 22:14:38 In the expression: (1, 2) 22:14:55 > tyConPackage $ typeRepTyCon $ typeOf $ fromList [(1::Int,2::Int)] 22:14:56 Couldn't match expected type ‘Item r0’ 22:14:56 with actual type ‘(Int, Int)’ 22:14:56 The type variable ‘r0’ is ambiguous 22:15:19 > tyConPackage $ typeRepTyCon $ typeOf $ Data.Map.fromList [(1,2)] 22:15:21 Not in scope: ‘Data.Map.fromList’ 22:15:28 > tyConPackage $ typeRepTyCon $ typeOf $ M.fromList [(1,2)] 22:15:29 "conta_47ajk3tbda43DFWyeF3oHQ" 22:15:54 :t tyConPackage $ typeRepTyCon $ typeOf $ M.fromList [(1,2)] 22:15:55 String 22:17:54 -!- `^_^v has quit (Ping timeout: 264 seconds). 22:23:09 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 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:42 ? 22:30:51 what did i even do this time 22:31:09 you hinted that i should install minghc tdnh hth 22:31:24 wait, is there something bad about minghc 22:31:41 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 i like that it comes with precompiled packages. 22:33:48 and winghci. 22:34:15 ok 22:34:18 what's with the swatter 22:34:27 *MWAHAHAHA* 22:34:37 puns don't cut it anymore? 22:35:06 also, i _really_ thought the plan to get a platform out in about a week was going to work. 22:35:18 but obviously it snagged somewhere. 22:35:56 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 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 not allowing Typeable on Constraint seems sad. 23:17:22 isn't GHC meant to be gettin more unified 23:17:28 yeah 23:17:50 also, I'm not sure HP is going to get another release, from what I vaguely heard a while ago. 23:18:03 oh 23:18:07 I guess your information is newer than mine 23:18:37 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 is Typeable on Constraint impredicative because you have Typeable Typeable?