00:04:01 -!- AndoDaan has quit (Quit: HydraIRC -> http://www.hydrairc.com <- *I* use it, so it must be good!). 00:04:23 -!- Bicyclidine has quit (Ping timeout: 256 seconds). 00:04:25 -!- AndoDaan has joined. 00:11:50 -!- boily has quit (Quit: ANATIDÆ CHICKEN). 00:15:33 -!- Bicyclidine has joined. 00:22:31 -!- AndoDaan has quit (Ping timeout: 256 seconds). 00:45:26 That's a bit annoying for J golfing 00:45:29 oh well. 01:06:47 -!- Bicyclidine has quit (Ping timeout: 265 seconds). 01:12:28 I should play Nomyx 01:12:34 Is Nomyx the new PerlNomic 01:40:56 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:05:10 -!- AndoDaan has joined. 02:09:10 -!- Deewiant has quit (Ping timeout: 260 seconds). 02:10:57 -!- Deewiant has joined. 02:17:47 -!- drlemon has joined. 02:44:51 -!- centrinia has quit (Ping timeout: 255 seconds). 02:54:58 Why does this program crash when "i" or "i-" or "i_" is specified but not "i-_" and "i_-"? 02:55:00 http://sprunge.us/iedA 02:57:35 zzo38, i dunno but i made you http://i.imgur.com/hnRkv1R.png 02:58:00 :/ 03:11:17 o_o 03:20:07 zorkid&2047 03:20:19 would that be logical and 03:26:28 not bitwise? 03:26:54 2047 = 2^11 - 1, a fine bitmask. 03:27:06 -!- vanila has quit (Quit: Leaving). 03:41:43 It is bitwise, but I don't expect that would explain it crashing? 03:43:54 O nevermind I found the mistake. 03:52:23 -!- password2 has joined. 03:56:16 -!- nys has quit (Quit: quit). 04:07:40 -!- TodPunk has quit (Read error: Connection reset by peer). 04:08:05 -!- TodPunk has joined. 04:46:59 Is it just me or does Nomyx have a lot of infrastructure that is not rules? 04:49:03 Sgeo, i dunno but i made you http://ptoast.tk/logo/SGEO.png 04:50:37 PotatoChat 04:50:42 :> 04:50:55 I thought you were a bot 04:51:04 i can see why 04:51:31 Still think you're maybe running a script 04:52:49 multiple 04:53:12 the logo thing isnt though, i just got bored and generated logos for you 04:54:46 Oh 04:55:30 cool 04:57:50 -!- Parf has joined. 04:59:38 -!- Parf has left. 04:59:47 http://ptoast.tk/logo/PENIS.png ok. 05:03:39 Wait what? There doesn't seem to be a script there, QNTM didn't work 05:04:04 it's an actual file. 05:04:08 Oh there's a listing of all files and I can only assume PENIS was there for some reason 05:04:13 heh 05:04:17 forgot to add a dummy index 05:04:57 elliott, my bot generates the logos, and my friends like to mess with eachother 05:05:33 http://i.imgur.com/AgJr8Db.png 05:08:17 this should work http://i.imgur.com/jvdKyAi.png 05:12:07 All the YouTube spammers seem to have decided that my name is Alex. I'm not sure why. 05:12:33 "Hey Alex this is the pretty at the restaurant!" 05:12:42 I... who calls themselves 'the pretty'? 05:13:36 havent gotten any yt spam in awhile 05:24:26 -!- AndoDaan_ has joined. 05:26:56 -!- AndoDaan has quit (Ping timeout: 245 seconds). 05:30:10 -!- Sgeo has quit (Read error: Connection reset by peer). 05:30:24 -!- Sgeo has joined. 05:33:14 @tell oerjan I think the 62 characters "prime numbers" solution relied on n+k-patterns. (meaning, I have a 62 characters version that works with n+k-patterns). The timing is right; ghc accepted them before 7.0, and 7.0.1 was released in November 2010. 05:33:15 Consider it noted. 05:34:10 -!- centrinia has joined. 05:59:24 @tell oerjan and btw I've browsed previous solutions a bit; there doesn't seem to be a magical primality test besides the Fermat one. 05:59:24 Consider it noted. 06:00:09 -!- password2 has quit (Ping timeout: 255 seconds). 06:02:01 -!- password2 has joined. 06:07:22 -!- password2 has quit (Ping timeout: 265 seconds). 06:17:31 -!- contrapumpkin has joined. 06:18:58 -!- copumpkin has quit (*.net *.split). 06:20:14 -!- MDude has changed nick to MDream. 06:31:16 -!- AndoDaan has joined. 06:33:54 -!- AndoDaan_ has quit (Ping timeout: 256 seconds). 06:57:42 -!- shikhin has joined. 07:07:35 Why are some SQL implementations not supporting triggers on views? I find it to be a very useful feature. 07:12:52 sounds tricky to implement. 07:20:29 -!- contrapumpkin has changed nick to copumpkin. 07:20:44 I guess it's easy enough for projections, managable for views that just filter rows of a single table by some not-so-clever where clause, and gets exceedingly complicated if views are defined by arbitrary select statements. how do you explain which cases will work and which won't? 07:22:06 -!- MoALTz has quit (Quit: Leaving). 07:24:40 int-e: Well, if it is INSTEAD OF INSERT, then it is easy. For INSTEAD OF UPDATE and INSTEAD OF DELETE, the implementation can internally do a SELECT on it and call the triggers according to the ones that match the WHERE clauses of the UPDATE and DELETE statements. (Triggers other than INSTEAD OF may be more complicated for views, but I don't need them anyways, and SQLite doesn't implement them.) 07:28:46 So I do not quite understand everything you are meaning. 07:30:19 I see. So you do not want something that triggers when the underlying tables are changed; instead, you want to translate updates on the view into updates on the underlying tables. That sounds quite a bit less scary. 07:31:34 I like the way SQLite does it: Doing an INSERT, UPDATE, or DELETE on a view only calls all of the applicable attached triggers and does nothing else (if there are no triggers of the correct type, it is an error). 07:32:24 So it won't automatically know how to write to the underlying table and stuff like that; you have to put it in yourself if you want it. 07:33:43 The INSTEAD OF keyword indicates its working like this. 07:33:54 I did not consider "instead of" triggers at all. So we were talking cross purposes. 07:34:24 (If you want it to trigger when the underlying tables are changed, you can put triggers on the tables themselves. Tables in SQLite support BEFORE and AFTER triggers; not INSTEAD OF. Views support only INSTEAD OF; not BEFORE and AFTER.) 07:34:39 (nor did I consider applying updates to a view rather than tables) 07:45:17 -!- shikhout has joined. 07:48:23 -!- shikhin has quit (Ping timeout: 265 seconds). 07:53:29 -!- PixelToast has changed nick to ^v. 07:58:12 -!- AndoDaan_ has joined. 07:58:48 I find that I rarely use triggers other than INSTEAD OF INSERT, although they are sometimes useful. 08:00:26 -!- AndoDaan has quit (Ping timeout: 244 seconds). 08:36:22 -!- AndoDaan has joined. 08:38:00 -!- AndoDaan_ has quit (Ping timeout: 256 seconds). 08:48:11 Do you use SQL sometimes, and do you use views and triggers often? 08:49:36 prime substrings are substrings that represent primes? 08:49:57 !blsq 2{"33"jCO}GO 08:49:57 {{"3" "3"} {"33"}} 08:50:03 !blsq 2{"33"jCO}GO\[ 08:50:03 {"3" "3" "33"} 08:50:09 !blsq 2{"33"jCO}GO\[ri 08:50:09 Ain't nobody got time fo' dat! 08:50:14 !blsq 2{"33"jCO}GO\[)ri 08:50:15 {3 3 33} 08:50:18 !blsq 2{"33"jCO}GO\[ri 08:50:18 {3 3 33} 08:50:32 !blsq 2{"33"jCO}GO\[ri{fCL[2==}m[ 08:50:33 {0 0 1} 08:50:39 !blsq 2{"33"jCO}GO\[ri{fCL[}m[ 08:50:39 {1 1 2} 08:50:46 !blsq 2{"33"jCO}GO\[ri{fCL[1==}m[ 08:50:46 {1 1 0} 08:50:52 !blsq 2{"33"jCO}GO\[ri{fCL[1==Sh}m[\[ 08:50:53 "110" 08:51:08 !blsq 5{"37373"jCO}GO\[ri{fCL[1==Sh}m[\[ 08:51:08 "111111111101000" 08:51:14 i see 08:51:34 !blsq 5fC 08:51:34 {5} 08:51:46 !blsq 5{"37373"jCO}GO\[ri{fCU_}m[\[ 08:51:46 {1 1 1 1 1 1 1 1 1 1 1 1 1 1 1} 08:51:55 hm 08:52:08 !blsq 373fC 08:52:08 {373} 08:52:15 !blsq 37373 08:52:16 37373 08:52:17 !blsq 37373fC 08:52:17 {7 19 281} 08:52:20 !blsq 37373fCU_ 08:52:20 1 08:52:27 !blsq 37373fCsm 08:52:28 0 08:52:34 !blsq 8fCsm 08:52:34 1 08:53:01 !blsq 5{"37373"jCO}GO\[ri{fC[-z?Sh}m[\[ 08:53:01 "111111111101000" 08:53:18 fizzie: Do you use fC[-z? as a prime check? 08:53:22 or some other method? 08:55:41 I used that originally, but working around zero cost more than using fcL[2== instead (which deals with zero properly). 08:55:50 !blsq 0fC 08:55:50 That line gave me an error 08:55:53 !blsq 0fc 08:55:53 {} 08:56:15 Well, "properly" is a matter of opinion, but suitably-for-this-purpose anyway. 08:56:26 what? isn't there a bulit-in prime check in blsq? 08:57:13 (0fC gives a "divide by zero" error.) 08:58:31 b_jonas: nope there isn't 08:59:15 fc is horribly slower than fC 08:59:18 :) 08:59:30 I guess 0fC should return {0} or something 08:59:54 or {} 09:00:03 I'll add a prime check built-in in 1.7.4 09:00:21 that uses trial divisions for small integers and miller rabin for larger ones 09:00:30 I also tried Jfcpd== but it's no shorter than fcL[2== and fails for 1. 09:00:45 !blsq 1fc 09:00:45 {1} 09:00:49 !blsq 1fcpd 09:00:49 1 09:00:57 !blsq 1Jfcpd 09:00:57 1 09:00:59 !blsq 1Jfcpd#s 09:00:59 {1 1} 09:01:02 !blsq 1Jfcpd== 09:01:03 1 09:01:13 It works for zero, due to {}pd being 1. 09:01:27 mroman: hmm, ok 09:01:36 fizzie: I defined {}pd as 1 because math told to do so 09:01:39 !blsq {}pd 09:01:39 1 09:01:42 !blsq {}++ 09:01:42 0 09:01:46 but 09:01:52 !blsq {}q?*r[ 09:01:52 ERROR: Burlesque: (r[) Empty list! 09:02:15 nah that won't help either :) 09:02:38 b_jonas: theres factor and prime-factors 09:02:45 !blsq 32fc 09:02:45 {1 2 4 8 16 32} 09:02:47 !blsq 32fC 09:02:47 {2 2 2 2 2} 09:03:06 !blsq 32ro{fCsm}f[ 09:03:06 {2 3 4 5 7 8 9 11 13 16 17 19 23 25 27 29 31 32} 09:03:07 mroman: and one for divisors too? 09:03:25 !blsq 100ro{fCsm}f[ 09:03:25 {2 3 4 5 7 8 9 11 13 16 17 19 23 25 27 29 31 32 37 41 43 47 49 53 59 61 64 67 71 09:03:38 b_jonas: divisors? 09:03:50 list of positive divisors of a number 09:03:57 that's what factors does 09:03:57 sorted and uniqed 09:04:00 oh, ok 09:04:05 !blsq 32fc 09:04:05 {1 2 4 8 16 32} 09:04:20 !blsq 144fc 09:04:20 {1 2 3 4 6 8 9 12 16 18 24 36 48 72 144} 09:04:33 @oeis 23,25,27,29,31,32,37,41,43 09:04:36 Powers of primes. Alternatively, 1 and the prime powers (p^k, p prime, k >= ... 09:04:58 !blsq 100qfCGO:sm 09:04:59 {{2} {3} {2 2} {5} {7} {2 2 2} {3 3} {11} {13} {2 2 2 2} {17} {19} {23} {5 5} {3 09:05:31 [ (#~0=>:@i.|])144 09:05:32 b_jonas: 144 144 144 144 144 144 144 144 144 144 144 144 144 144 144 09:05:35 um 09:06:37 [ ([:>:@I.0=]|~>:@i.)144 09:06:37 b_jonas: 1 2 3 4 6 8 9 12 16 18 24 36 48 72 144 09:07:57 that looks unreadable as hell. 09:08:15 [ i.144 09:08:15 mroman: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 12... 09:08:21 [ @i.144 09:08:21 mroman: |syntax error 09:08:21 mroman: | @i.144 09:08:25 [ :@i.144 09:08:25 mroman: |syntax error 09:08:25 mroman: | :@i.144 09:08:37 You got me. I don't know J. 09:09:52 100ro{fCsm}f[ is just 1..100, calculate prime factors and filter for lists where all elements are the same 09:10:15 !blsq {1 2}sm 09:10:15 0 09:10:18 !blsq {1 1 1}sm 09:10:18 1 09:10:25 !blsq {}sm 09:10:25 0 09:10:54 hm 09:11:17 !blsq 100{fCU_}GO 09:11:17 {1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 0 09:11:23 !blsq 100ro{fCU_}f[ 09:11:23 {1 2 3 5 6 7 10 11 13 14 15 17 19 21 22 23 26 29 30 31 33 34 35 37 38 39 41 42 4 09:12:03 @oeis 7,10,11,13,14,15,17,19,21,22 09:12:07 Squarefree numbers (or square-free numbers): numbers that are not divisible ... 09:12:59 there should be FO and FZ like GO and GZ 09:13:14 100{fCU_}FO instead of 100ro{fCU_}f[ 09:14:00 fizzie: btw 09:14:08 sometimes you can workaround the 0 by doing 09:14:16 /* code */0 09:14:36 i.e. instead of 100rz{...}f[ -> 100ro{...}f[0 09:15:31 I guess, but here it's the individual substrings that are occasionally 0. 09:16:59 Since a 0 is what I need as the output for 0, what I did was J{...}if which is not too bad, but still 5B. 09:18:45 I worked so hard to get J{}if out of my first solution... and here you have it, and your code is still 5B shorter 09:19:14 AndoDaan: I mean, I had J{}if before; I don't have it any more. 09:19:14 fizzie: Your recommendation for 0fC is what? 09:19:17 {} or {0}? 09:19:34 !blsq -2fC 09:19:34 {-2} 09:19:40 !blsq -8fC 09:19:41 {-8} 09:19:49 ah. I feel a little better. 09:20:07 !blsq -2fc 09:20:07 Ain't nobody got time fo' dat! 09:20:15 hmm 09:20:16 hm 09:20:20 mroman: 1fC seems to be {}, so maybe 0fC could be too. But I don't know. 09:20:29 !blsq 1fC 09:20:29 {} 09:20:39 yeah. {} is probably best 09:20:49 fc for negative numbers should contain -1 09:20:59 0fC gives a dived by zero error. i think. 09:21:02 !blsq 8fc 09:21:02 {1 2 4 8} 09:21:16 but I don't know 09:22:02 actually 2 divides -8 09:22:05 !blsq -8 2?/ 09:22:05 -4 09:22:09 as does -2 09:22:12 !blsq -8 -2?/ 09:22:12 4 09:22:33 so -8fc should probably be {-1 -2 -4 -8 1 2 4 8}? 09:23:19 !blsq -8ng 09:23:19 ERROR: Unknown command: (ng)! 09:23:36 -!- centrinia has quit (Ping timeout: 245 seconds). 09:24:21 Couldn't you use the same logic to argue that 8fc should be that too? 09:24:33 true 09:24:57 but that wouldn't be what a Burlesque-user would expect it to do :D 09:25:10 I don't know what a Burlesque-user expects -8fc to be 09:25:11 -!- shikhout has changed nick to shikhin. 09:25:30 mroman: I was thinking about a command that might be helpful. you have z?, which is useful in filtering false results. So i thought a o?, is one?, could come in handy. 09:25:52 there's nz 09:25:58 which isn't exactly "is one" 09:26:01 but "not zero" 09:26:14 !blsq {"a" "" "bc" "" "d"}:z? 09:26:14 {"" ""} 09:26:17 !blsq {"a" "" "bc" "" "d"}:nz 09:26:17 {"a" "bc" "d"} 09:26:30 also 09:26:38 !blsq {1 2 3 4}fC)L[:o? 09:26:39 {0 1 1 2} 09:26:39 !blsq {1 0 1 0 0 1}{}f[ 09:26:39 {1 1 1} 09:26:56 !blsq {1 2 3 4}fC)L[:nz 09:26:57 {1 1 2} 09:27:09 AndoDaan: by "is one" you mean "integer 1"? 09:27:15 yes. 09:27:45 i know 1== is only three char, but for it to work with : 09:27:59 it has to be a singly command, right? 09:28:24 unless i overlooked something very useful. 09:28:42 yes. : only takes a single command 09:30:12 Do ){...} and :{...} mean anything? If not, you could use them as one-byte-saving shorthand for {...}m[ and {...}f[. Though it's a bit silly. 09:30:55 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 09:31:50 !blsq {1 2 3}){+.} 09:31:50 {{+.} 1 {+.} 2 {+.} 3} 09:32:01 !blsq {1 2 3}){+.ap} 09:32:01 {{+. ap} 1 {+. ap} 2 {+. ap} 3} 09:32:14 uhm 09:32:26 !blsq {1 2 3}){+.+]} 09:32:26 {{+. +]} 1 {+. +]} 2 {+. +]} 3} 09:32:37 !blsq {1 2 3}){bx+.} 09:32:37 {{bx +.} 1 {bx +.} 2 {bx +.} 3} 09:32:45 okay 09:33:11 !blsq {1 2 3}:{2.%} 09:33:11 {1 2 3} 09:33:20 !blsq {1 2 3 4}:{2.%} 09:33:21 {1 2 3 4} 09:33:21 Oh, I guess it does have a meaning. 09:33:24 fizzie: yes @ ){} and :{} 09:33:33 !blsq {1 2 3 4})0 09:33:33 {0 1 0 2 0 3 0 4} 09:33:45 !blsq {1 2 3 4}){0} 09:33:45 {{0} 1 {0} 2 {0} 3 {0} 4} 09:33:49 Right, so ){...} is just {{...}}m[. 09:33:56 yup 09:33:57 Well, it makes sense. 09:34:13 fizzie: but I can add m{...} and f{...} instead of {}m[ or {}f[ 09:34:26 !blsq {1 2 3}){)+.} 09:34:27 {{) +.} 1 {) +.} 2 {) +.} 3} 09:34:52 !blsq 1Pp{1 2 3}){pP+.} 09:34:52 {{pP +.} 1 {pP +.} 2 {pP +.} 3} 09:35:04 wrapped up pretty thight. 09:36:23 is there anything that can shorten ]muN ? 09:36:41 or m[uN 09:41:06 AndoDaan: You can turn something like ln{...}]muN into {...Sh}WL at least. There are so many commands, maybe there's some way of also avoiding the Sh. 09:45:06 see dammit. I knew I was messing up with ln everytime. 09:45:14 Thanks! getting closer. 09:47:20 mroman: what is the command for computing the exp of a floating point number in blsq? 09:50:11 mroman: also, what's the command for getting all infixes of a particular length of a block, given the length? and what's the command for getting non-overlapping infixes of a particular length, except the last one may be shorter? 09:50:40 fizzie: Wl for Sh}WL 09:51:07 mroman: and what's the command for getting all prefixes of a block, or all suffixes? 09:52:51 !blsq "monster"q[-j-]z[ 09:52:51 ERROR: Burlesque: (z[) Invalid arguments! 09:53:07 !blsq "monster"q[-jz[ 09:53:07 {{[- 'm}} 09:53:10 !blsq "monster"q[-z[ 09:53:10 {{'m [-}} 09:53:31 !blsq "monster"J[-z[ 09:53:31 {{'m 'o} {'o 'n} {'n 's} {'s 't} {'t 'e} {'e 'r}} 09:53:43 right, that 10:03:40 b_jonas: there's su (substrings) 10:03:54 and 1.7.4 has inits and tails 10:04:00 (1.7.3 doesn't have that yet) 10:04:05 also 10:04:06 !blsq ee 10:04:06 2.718281828459045 10:04:20 !blsq ee2** 10:04:20 ERROR: Burlesque: (**) Invalid arguments! 10:04:21 !blsq ee 2.0?^ 10:04:21 7.3890560989306495 10:04:23 !blsq ee2.^ 10:04:24 ERROR: Unknown command: (.^)! 10:04:27 !blsq ee2?^ 10:04:28 7.3890560989306495 10:04:33 [ ^2 10:04:34 b_jonas: 7.38906 10:04:48 !blsq pi 10:04:48 3.141592653589793 10:04:49 fwiw 10:04:57 !blsq eepi?^ 10:04:57 23.140692632779263 10:05:02 !blsq piee?^ 10:05:02 22.45915771836104 10:05:41 !blsq 10roee?^ 10:05:41 {1.0 6.5808859910179205 19.812990745274643 43.30806042677592 79.43235916621322 1 10:05:50 !blsq ee10ro?^ 10:05:50 {2.718281828459045 7.3890560989306495 20.085536923187664 54.59815003314423 148.4 10:06:13 !blsq ee10ro?^{3rm}m[ 10:06:13 {"2.718" "7.389" "20.086" "54.598" "148.413" "403.429" "1096.633" "2980.958" "81 10:06:50 !blsq "monst" su 10:06:50 {"m" "n" "o" "s" "t" "mo" "ns" "on" "st" "mon" "nst" "ons" "mons" "onst" "monst" 10:06:59 ok, but how do I get only the 3-long substrings, 10:07:08 !blsq "monst"3CO 10:07:08 {"mon" "ons" "nst"} 10:07:11 ah 10:07:15 great 10:07:25 ok, and how about breaking to non-overlapping substrings? 10:07:35 what's that? 10:08:09 oh, it might be right there 10:08:23 !blsq "non-overlapping infixes"3co 10:08:23 {"non" "-ov" "erl" "app" "ing" " in" "fix" "es"} 10:08:27 that, yes 10:08:28 thanks 10:08:34 I should have searched for "chunk" 10:08:39 :D 10:09:01 I thought you meant count occurrences of a substring without overlap 10:10:06 no 10:10:26 but that would be a nice builtin! 10:10:28 !blsq "monster"{}m[ 10:10:28 "monster" 10:10:35 oc - occurences, OC - non-overlapping occurences 10:10:46 !blsq "monster"XX 10:10:46 {'m 'o 'n 's 't 'e 'r} 10:11:28 !blsq {0 0 0 0 0 0 0 1 0 1 1 0 1}{}fi 10:11:28 7 10:11:37 [ 0 0 0 0 0 0 0 1 0 1 1 0 1 i.1 10:11:37 b_jonas: 7 10:11:50 !blsq {0 0 0 0 0 0 0 0 0 0 0 0 0}{}fi 10:11:50 -1 10:12:48 !blsq {"hello" "world"}\[ 10:12:48 "helloworld" 10:12:51 !blsq {"hello" "world"} 10:12:51 {"hello" "world"} 10:13:17 thanks 10:13:42 !blsq {"hello" "world"}tp 10:13:42 {{"hello" "world"}} 10:13:49 !blsq {"hello" "world"}{XX}m[tp 10:13:49 {{'h 'w} {'e 'o} {'l 'r} {'l 'l} {'o 'd}} 10:14:23 !blsq {"hello" "world"}{XX}m[tp{\[}m[ 10:14:24 {"hw" "eo" "lr" "ll" "od"} 10:14:43 !blsq {"hello" "world"}{XX}m[tp{}\m 10:14:43 {'h 'w 'e 'o 'l 'r 'l 'l 'o 'd} 10:14:47 um, no 10:14:48 !blsq {"hello" "world"}{XX}m[tp{\[}m[ 10:14:48 {"hw" "eo" "lr" "ll" "od"} 10:14:50 that 10:15:09 !blsq {"hello" "world"})XXtp)\[ 10:15:09 {"hw" "eo" "lr" "ll" "od"} 10:15:27 !blsq "hello""world"z[)\[ 10:15:27 {"hw" "eo" "lr" "ll" "od"} 10:15:44 ) is a prefix for maps 10:15:58 )ab = {ab}m[, )5 = {5}m[ and so forth. 10:16:09 )5 3={5}m[3 10:16:59 right 10:17:09 !blsq {1 2})(.+) 10:17:09 {.+ 1 .+ 2} 10:18:24 () "quotes" a command so it is pushed to the stack rather than being executed 10:18:27 !blsq (.+) 10:18:28 .+ 10:18:33 !blsq ((.+)) 10:18:34 (.+) 10:18:44 and you can nest them 10:18:48 !blsq ((.+))e! 10:18:48 ERROR: Burlesque: (e!) Invalid arguments! 10:19:06 nobody probably needs that but it's there :D 10:19:19 !blsq (9) 10:19:19 9 10:19:26 !blsq ((9)) 10:19:26 (9) 10:19:59 ((9)) is shorter than "(9)"Q fwiw 10:22:25 ok... that's the part I'm not sure I want to understand now 10:25:01 meh. it's pretty simple 10:25:16 ( ) just wraps something in a "Quoted" 10:25:17 (input):1:1: error: no implicit 10:25:17 arguments allowed 10:25:17 here, expected: ":", 10:25:17 dependent type signature, 10:25:17 end of input↵… 10:25:31 and if the interpreter sees a "Quoted" it unwraps it and pushes the thing inside to the stack 10:25:36 !blsq 9to 10:25:36 "Int" 10:25:38 !blsq 9.0to 10:25:39 "Double" 10:25:42 !blsq (9)to 10:25:42 "Int" 10:25:49 !blsq ((9))to 10:25:49 "Quoted" 10:25:56 !blsq (.+)to 10:25:56 "Ident" 10:26:03 !blsq ((.+))to 10:26:03 "Quoted" 10:26:18 !blsq .+to 10:26:18 "Error" 10:26:35 (.+ produces an error because there are no numbers on the stack) 10:26:42 !blsq 5 5.+to 10:26:42 "Int" 10:26:46 !blsq 5 5(.+)to 10:26:46 "Ident" 10:26:52 !blsq 5 5(.+)Qto 10:26:52 "Pretty" 10:27:38 -!- oerjan has joined. 10:32:32 What happens if I clone a repository from github 10:32:45 make some committs, merge those committs into my master branch 10:32:58 and then someone makes committs to the repository on github I cloned from 10:33:27 can I just pull those committs? 10:33:44 (technically I have to remotes) 10:34:03 *two remotes 10:34:28 my local repository -> my repository on bitbucket and the official repository on github 11:09:21 -!- AndoDaan has quit (Ping timeout: 258 seconds). 11:11:14 @messages- 11:11:14 int-e said 5h 37m 59s ago: I think the 62 characters "prime numbers" solution relied on n+k-patterns. (meaning, I have a 62 characters version that works with n+k-patterns). The timing is right; ghc accepted them before 7.0, and 7.0.1 was released in November 2010. 11:11:14 int-e said 5h 11m 49s ago: and btw I've browsed previous solutions a bit; there doesn't seem to be a magical primality test besides the Fermat one. 11:11:32 ic 11:11:50 which means you must have beat me on something _else_... 11:12:12 or possibly my naive prime test is too naive... 11:13:51 -!- AndoDaan has joined. 11:20:13 -!- impomatic_ has joined. 11:23:18 hm shortening that x<2 test is exactly what n+k-patterns would be good at, isn't it. 11:52:30 -!- centrinia has joined. 12:03:56 -!- AndoDaan_ has joined. 12:06:00 -!- AndoDaan has quit (Ping timeout: 255 seconds). 12:16:01 heheh 12:16:40 b_jonas: hm? 12:18:01 the n+k patterns 12:20:57 wait i didn't finish reading the logs yesterday 12:21:08 too many open tabs 12:22:26 -!- sebbu2 has joined. 12:22:26 -!- sebbu2 has quit (Changing host). 12:22:26 -!- sebbu2 has joined. 12:22:58 -!- sebbu has quit (Ping timeout: 256 seconds). 12:32:43 -!- sebbu2 has changed nick to sebbu. 12:56:44 -!- centrinia has quit (Ping timeout: 264 seconds). 13:02:04 -!- monotone has quit (Ping timeout: 258 seconds). 13:13:24 -!- monotone has joined. 13:45:56 -!- shikhout has joined. 13:46:53 -!- AndoDaan_ has quit (Ping timeout: 272 seconds). 13:49:32 -!- shikhin has quit (Ping timeout: 264 seconds). 14:10:25 -!- ^v has quit (Ping timeout: 240 seconds). 14:22:09 -!- shikhout has changed nick to shikhin. 14:27:20 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=40774&oldid=40424 * 67.78.57.11 * (+29) /* Derivative Ideas */ 14:32:39 -!- vanila has joined. 14:42:43 -!- hello has joined. 14:59:14 -!- `^_^v has joined. 15:05:57 -!- drdanmaku has joined. 15:13:50 -!- hello has left ("Leaving"). 15:35:33 -!- Sprocklem has joined. 15:44:44 -!- oerjan has quit (Quit: leaving). 15:56:21 -!- AndoDaan has joined. 15:56:43 -!- mihow has joined. 16:04:27 -!- perrier has quit (Read error: Connection reset by peer). 16:10:58 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=40775&oldid=40774 * 67.78.57.11 * (+141) /* Joke/Silly Ideas */ 16:14:20 -!- hjulle has quit (Ping timeout: 264 seconds). 16:22:50 -!- ^v has joined. 16:51:54 -!- password2 has joined. 16:52:35 -!- password2 has quit (Max SendQ exceeded). 16:53:08 -!- password2 has joined. 17:05:17 -!- Sprocklem has quit (Ping timeout: 245 seconds). 17:41:54 -!- password2 has quit (Ping timeout: 258 seconds). 17:55:17 -!- AnotherTest has joined. 17:55:38 -!- password2 has joined. 18:05:44 -!- esowiki has joined. 18:05:48 -!- esowiki has joined. 18:05:49 -!- esowiki has joined. 18:06:24 -!- esowiki has joined. 18:06:28 -!- esowiki has joined. 18:06:29 -!- esowiki has joined. 18:07:04 -!- esowiki has joined. 18:07:08 -!- esowiki has joined. 18:07:09 -!- esowiki has joined. 18:07:44 -!- esowiki has joined. 18:07:48 -!- esowiki has joined. 18:07:49 -!- esowiki has joined. 18:08:24 -!- esowiki has joined. 18:08:28 -!- esowiki has joined. 18:08:29 -!- esowiki has joined. 18:09:28 -!- esowiki has joined. 18:09:32 -!- esowiki has joined. 18:09:33 -!- esowiki has joined. 18:10:20 -!- esowiki has joined. 18:10:22 -!- glogbot has joined. 18:10:24 -!- esowiki has joined. 18:10:25 -!- esowiki has joined. 18:12:04 -!- FireFly has joined. 18:33:50 [wiki] [[Element]] N http://esolangs.org/w/index.php?oldid=40776 * 67.78.57.11 * (+2753) Created page with "'''Element''' is a simple language by [http://codegolf.stackexchange.com/users/2867/phiNotPi phiNotPi]. It is supposedly designed as "very compact and human-readable". Each in..." 19:13:52 -!- tiara- has joined. 19:21:19 -!- tswett has joined. 19:22:11 Someone please create a type theory that only describes functions whose output length is at most a polynomial function of the input length. 19:22:12 Thanks. 19:22:58 Such a theory would have the neat property that you can't prove that the unary naturals are isomorphic to the binary naturals, because the function from the binary naturals to the unary naturals grows too fast. 19:23:28 Likewise, exponentiation can't be defined as a function unat -> unat -> unat or bnat -> bnat -> bnat; the best you can do is bnat -> unat -> bnat. 19:23:57 Sounds ultrafinitistic, doesn't it? 19:24:57 -!- tiara- has left ("Salir"). 19:26:29 tswett: hmm 19:27:18 you'll have to ask people who are good in algebraic logic. 19:28:16 -!- AndoDaan has quit (Ping timeout: 265 seconds). 19:28:32 11:24:49 Someone please create a type theory that only describes functions whose output length is at most a polynomial function of the input length. 19:28:36 isnt that simple typed lambda calculus/ 19:29:24 https://archive.org/stream/arxiv-cs0701022/cs0701022_djvu.txt 19:34:53 -!- Sprocklem has joined. 19:45:26 vanila: good question. 19:45:50 -!- shikhout has joined. 19:47:03 -!- MDream has changed nick to MDude. 19:49:02 -!- shikhin has quit (Ping timeout: 250 seconds). 19:49:08 Can the STLC represent the modulo function? 19:49:59 tswett: with what encoding of the numbers? 19:50:08 Church numerals. 19:51:04 -!- shikhout has changed nick to shikhin. 19:54:25 I guess the STLC has a bunch of different kinds of Church numerals. 19:56:45 -!- AndoDaan has joined. 19:58:54 -!- vifino has quit (Remote host closed the connection). 20:07:22 -!- nortti has changed nick to lawspeaker. 20:08:17 -!- lawspeaker has changed nick to nortti. 20:10:45 -!- AndoDaan_ has joined. 20:14:14 -!- AndoDaan has quit (Ping timeout: 265 seconds). 20:23:01 vanila: it's definitely not the simply typed lambda calculus. the extended polynomials arise from restricting to input Church numerals to a single type N(*) where N(t)=(t -> t) -> t -> t and * is a base type. If one allows t to vary, one gets larger growth easily. with :: N(* -> *) and :: N(*) grows exponentially, for example. (It reduces to : N(*)) 20:23:45 sorry, m^n. 20:23:55 so restrict to that 20:24:34 int-e: ah 20:24:59 But thanks, now I finally know where people get that claim. 20:26:37 (I've seen the claim that simply typed lambda calculus corresponds to polynomially bounded functions several times and never figured out how such an obviously wrong idea could become so widely spread.) 20:30:46 Does there exist a type t such that exponentiation can be defined as a function (C t -> C t) -> C t, where C t = (t -> t) -> t -> t? 20:32:32 I don't understand that type. 20:34:12 I mean, f :: (C t -> C t) -> C t has one argument of type C t -> C t. Now, ok, that could be a Church Numeral, but I expected a second argument somewhere? 20:34:51 Er whoops. 20:34:56 I meant C t -> C t -> C t. 20:35:46 -!- password2 has quit (Ping timeout: 250 seconds). 20:36:16 I don't know, though it would surprise me. I don't even know the theory behind the C * result. 20:48:49 -!- ^v has quit (Quit: Leaving). 20:48:51 -!- password2 has joined. 20:49:59 -!- vifino has joined. 20:58:46 -!- Sprocklem has quit (Quit: Lost terminal). 21:01:58 -!- ^v has joined. 21:12:59 -!- password2 has quit (Ping timeout: 260 seconds). 21:17:32 -!- AndoDaan has joined. 21:18:02 -!- AndoDaan_ has quit (Ping timeout: 265 seconds). 21:19:22 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=40777&oldid=40762 * 216.207.42.140 * (+11) Added Ante 21:25:48 -!- password2 has joined. 21:30:46 Are there any leap seconds in future? 21:30:57 If so, what are they? Wikipedia only lists up to now. 21:32:22 the leap second community decides when they occur 21:33:37 IERS http://www.iers.org/nn_10828/IERS/EN/Service/Glossary/leapSecond.html 21:33:58 There's a proposal going around to dispense with them, I haven't heard any news about how that's going. 21:34:41 zzo38: the can't be determined long in advance. they're decided like a year or two before. 21:35:00 -!- yukko has joined. 21:35:08 there's a rule for them but it depends on astronomical measurements of earth's position 21:35:32 But, there is software to measure the Earth's position in advance. 21:36:40 I don't think the rotation is predictable enough, with that amount of accuracy, since it's so wobbly. 21:38:46 OK 21:38:49 I mean, look at that thing: http://upload.wikimedia.org/wikipedia/commons/5/5b/Deviation_of_day_length_from_SI_day.svg 21:42:26 [wiki] [[Ante]] N http://esolangs.org/w/index.php?oldid=40778 * 216.207.42.140 * (+2116) Ante programming language 21:45:21 I know that Swiss Ephemeris requires an external leap second table, in order to perform accurate calculations. 21:46:59 -!- centrinia has joined. 22:03:08 -!- password2 has quit (Ping timeout: 244 seconds). 22:15:25 -!- vifino has quit (Ping timeout: 240 seconds). 22:15:45 -!- password2 has joined. 22:16:57 I prefer to use BC/AD notations for abbreviations rather than using BCE/CE, although when writing them out in long I will generally prefer to say "common era". (Terms like "before Christ" aren't even accurate, actually.) 22:27:49 -!- vifino has joined. 22:32:14 -!- AnotherTest has quit (Remote host closed the connection). 22:38:26 Right, I have 4 weeks to prepare a half hour talk on the lambda calculus 22:41:32 <^v> i like your name 22:41:32 <^v> http://ptoast.tk/logo/DIcqa.png 22:41:52 "Have you ever wanted a system of computation that can be mostly explained in ten minutes and isn't based on ticker tape? No? Well, fuck you then" 22:45:50 -!- boily has joined. 22:46:34 -!- Phantom_Hoover has joined. 22:50:26 -!- oerjan has joined. 22:51:22 -!- boily has quit (Quit: BROKEN CHICKEN). 22:56:34 -!- boily has joined. 23:10:25 -!- `^_^v has quit (Ping timeout: 240 seconds). 23:13:53 -!- centrinia has quit (Ping timeout: 255 seconds). 23:28:29 -!- mihow has quit (Quit: mihow). 23:30:54 -!- AndoDaan_ has joined. 23:31:23 -!- AndoDaan has quit (Ping timeout: 265 seconds). 23:36:03 Bike: might be hard to stretch that into 30 minutes 23:38:30 takeFor (30 minutes) $ cycle "Have you ever [...]." 23:48:19 -!- vifino has quit (Ping timeout: 244 seconds). 23:53:26 that would be good performance art 23:53:46 fizzie: so I bet this new job of yours is in hexham, right 23:55:23 I think I mentioned it was in London. (Also I *still* don't quite have the contract signed, which is slightly unnerving.) 23:57:47 -!- FreeFull has quit (Ping timeout: 245 seconds).