00:00:14 still i get 10946 on the one above 00:05:26 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:05:44 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 00:06:37 -!- glogbackup has quit (Ping timeout: 272 seconds). 00:07:18 Lymia: I think I have. There's at least one claiming that Irregular is speaking to the chains that disappeared 00:07:42 -!- Sorella has joined. 00:07:51 Lymia: are you an Evillious Chronicles fan, or speaking about translations in general? 00:08:02 Translations in general 00:08:30 It may also be possible that I don't know which trasnslation is more accurate at a given portion 00:08:33 -!- Sorella has quit (Changing host). 00:08:33 -!- Sorella has joined. 00:08:59 translations are evil, especially when coming from France. 00:09:14 (I'm looking at you, you fungotted coworker.) 00:09:14 boily: that's just an infinite loop 00:09:27 fungot: an infinite loop of linguistic suffering. 00:09:27 boily: how do you read .texi files? ( e.g. in ruby you can do certain things 00:14:56 -!- glogbackup has quit (Ping timeout: 258 seconds). 00:15:23 -!- AndoDaan has joined. 00:16:32 les translations sont maliceux, especialment quand ils viennent de France 00:17:56 i think i may have got some of the words right. 00:19:06 pretty good. 00:19:20 les traductions sont malicieuses, spécialement quand elles viennent de France. 00:20:49 how can french _not_ put an e in front of sp 00:21:26 because parce que. 00:21:29 because spanish already does that 00:22:08 i suppose it should ideally be êpécialement 00:22:14 hth 00:23:12 oh wait hm 00:23:20 archjan 00:23:38 wat 00:23:39 êpécialement :D I love it. 00:24:46 actually i was remembering école, but it _doesn't_ seem to use a circumflex. oh well. 00:24:52 -!- glogbackup has quit (Ping timeout: 240 seconds). 00:25:14 no, not in that case. 00:32:40 Lymia: "Boy's crimes are getting old." "You're far from me forever." "It left from this room" 00:33:03 That's from a translation that, other than that, seems to be much more focused on sounding good in English than anything resembling accuracy 00:33:49 https://www.youtube.com/watch?v=gNWAIJk2pEE 00:33:57 -!- glogbackup has quit (Ping timeout: 255 seconds). 00:34:08 Also, "lu li la/ru ri ra" into "lapis lazuli" 00:34:38 (lu li la is a significant song throughout the serieses) 00:34:53 Also, there has to be a better word than serieses. serii? 00:35:14 "series" 00:35:17 technically series _is_ the plural. 00:35:31 (and singular.) 00:35:45 There's one series in the series that all the songs have lu li la. 00:36:40 https://www.youtube.com/watch?v=v3cZbQaqYN4 00:36:44 One of the worst translations I've seen 00:37:11 "It's not that your sins aren't tolerated"... utter opposite of the other translation which I trust more 00:38:03 Lymia: in terms of sounding like bad English or in terms of inaccuracy or both? The Evillious stuff seems to be one or the other 00:38:13 Both. 00:42:32 Like, not understanding 何度 at one point 00:42:55 I don't understand that either. But I don't attempt to translate Japanese. 00:43:00 And translating something closer to "How many times will I choke myself in tears, holding your dead body at the world's end" into "At the world's end, who will hold your dead body? I choke myself in tears" 00:43:40 o.O 00:44:31 -!- Somelauw has quit (Quit: WeeChat 0.4.2). 00:44:49 Or the line "指し鍋られた手が" to "Our shining relationship in hand" (wat) when it's "Your outstretched hand..." (just the subject of a sentence 00:45:25 I wish I knew how to tell good translations from bad 00:46:25 For re_birthday I've been trusting https://www.youtube.com/watch?v=Zpl1uMEWM_g but is the word at 0:50 really Clockwork? Doesn't... quite make sense, except I guess it is part of Clockwork Lullaby series 00:46:31 My Japanese isn't all that good, but... I'm pretty sure a lot of people doing translations are even worse. 00:47:48 I don't think so? I hear "a big hole" 00:48:06 But there's vocabulary I can't understand off the top of my head in the next line, so. 00:48:18 Translation says it's a few seconds before the Clockwork line 00:49:17 Ah.. 00:49:23 鍋? isn't that a food (afaik)? 00:49:31 Apparently there's "ぜんまい", but my dictionary says it's "spring" 00:49:45 Lymia: the translation I don't trust as much says 'spring' 00:50:12 So... approximately 0 actually trustworthy translations? 00:50:24 差し伸べられた＊ 00:50:27 Typo. :D 00:50:35 -!- glogbackup has quit (Ping timeout: 258 seconds). 00:50:36 ? 00:50:52 Responding to lifthrasiir 00:51:08 yeah, I was wondering if there is some idiomatic use of that word unrelated to the food 00:51:34 I don't actually know that kanji. ^.^ 00:51:40 My vocabulary's pretty spotty as far as everyday words go. 00:51:56 Lymia: at 3:51 and beyond, are the chains talking to him, or is he talking to the chains? 00:52:11 The latter makes no sense to me given the context 00:52:58 To him 00:53:18 -!- drdanmaku has joined. 00:53:42 Ah, good. So both main translations I know of are wrong *sigh* 00:54:16 In different ways 00:55:09 The vocaloid wiki has links to good translations 00:55:43 Or, well. 00:55:47 that mysterious kanji, isn't that of the hotpot kind? 00:55:48 To good translators 00:55:50 I remember a page like that 00:55:51 boily: yes. 00:56:21 Maybe it'd be best to trust lifthrasiir better than me a little. Iunno. :P 00:56:39 I knew it. delicious kanji are easy to remember ^^ 00:57:03 Lymia: afaik, lifthrasiir lives closer to kanjiform countries than you. 00:57:22 my Japanese knowledge is limited to the intuitive understanding of words, idioms and syntaxes close to my native tongue and nothing else :p 00:58:06 who knows. some linguists are bold enough to suggest a koreano-japonic link between the two language families. 00:58:06 so to say, at least I do know whether the machine translation "seems" correct or not 00:58:22 boily, my parents are both Chinese 00:58:27 And I can speak Chinese, but. 00:58:30 Apparently Magic Mouse is able to right-click. 00:58:30 Well... 00:58:37 I was not aware of that until recently 00:58:38 I can understand written Japanese better than written Chinese. 00:58:55 Which is to say, I can understand some written Japanese, and even the most basic written Chinese is beyond me. 00:58:56 :D 01:01:00 boily, I thought the general "accepted" consensus was that it isn't too unlikely that Korean and Japanese are in the same family? 01:02:18 what, in altaic? 01:02:40 More specific than Altaic. 01:03:44 AFAIK the Mac version of Docking Station sucks :( 01:04:16 Lymia: «“"accepted"”». 01:04:32 Maybe I'm confused. 01:04:32 :D 01:05:38 don't worry, confusion reigns supreme around these here parts too. 01:25:07 -!- oerjan has quit (Quit: god fnatt). 01:47:42 -!- boily has quit (Quit: NORWEGIAN CHICKEN). 01:59:19 -!- Tod-Autojoined has changed nick to TodPunk. 02:17:59 ^help 02:17:59 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 02:22:47 -!- AndoDaan has quit. 02:27:08 -!- AndoDaan has joined. 03:06:09 ^ul (()) 03:06:12 ^ul (())P 03:06:12 ...bad insn! 03:06:14 ^ul (())$ 03:06:14 ...bad insn! 03:06:33 ^ul (())S 03:06:33 () 03:06:57 ^ul (::^)::^ 03:06:57 ...too much stack! 03:07:24 ^ul ()(~a~:^)~a~:^ 03:07:43 ^ul (hi?)S 03:07:47 fizzie, I broke it. :D 03:08:08 ...out of time! 03:08:08 hi? 03:08:18 -!- AndoDaan has quit (Ping timeout: 255 seconds). 03:08:20 Almost. 03:08:51 ^ul (trololol)(~a:*~:^)~a:*~:^ 03:08:51 ...too much stack! 03:09:00 ^ul (trololol)(~:*~:^)~:*~:^ 03:09:00 ...too much stack! 03:09:14 ^ul (trololol)(~a~:^)~a~:^ 03:09:58 ...out of time! 03:10:14 -!- bb010g has joined. 03:10:55 what're you trying to do? 03:11:19 Break it 03:11:20 ^ul ()(~a:S~:^)~a:S~:^ 03:11:21 ()(())((()))(((())))((((()))))(((((())))))((((((()))))))(((((((())))))))((((((((()))))))))(((((((((())))))))))((((((((((()))))))))))(((((((((((())))))))))))((((((((((((()))))))))))))(((((((((((((())))))))))))))((((((((((((((()))))))))))))))(((((((((((((((())))))))))))))))((((((((((((((((()))))))))))))))))(((((((((((((((((( ...too much output! 03:12:13 ^ul ()(~a:~:^)~a~:^ 03:13:19 fungot breaker: ()(~a:~:^):^ 03:13:19 Lymia: and yes, i'm looking for 03:13:29 ^ul (You're not broken? D:)S 03:13:29 You're not broken? D: 03:13:36 ^ul ()(~a:~:^):^ 03:13:38 Break! 03:13:39 ^ul (You're not broken? D:)S 03:13:39 You're not broken? D: 03:13:42 Curses. 03:13:48 ... because right 03:14:52 ^ul ()(~:*a~:^):^ 03:14:52 ...too much stack! 03:15:18 ^ul ()(~:!a~:^):^ 03:15:51 ...out of time! 03:17:23 ^ul ()(~aaaaaaaaaaaaaaaa~:^):^ 03:19:07 ...too much stack! 03:19:52 Cursed bot refuses to die! 03:19:53 :( 03:20:35 I think it limits the only two variables you can control (size and time). 03:21:12 Two minute execution times is near death though 03:21:21 ^ul ()(~aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa~:^):^ 03:22:49 diggin the smilies 03:22:57 ...too much stack! 03:24:03 ^ul ()(~aaaa~:^):^ 03:26:15 ...out of time! 03:26:29 ^ul ()(~aaaaaa~:^):^ 03:26:38 It's like constant optimizing BF Joust programs! 03:26:41 Except meaner 03:28:38 ...too much stack! 03:50:03 -!- AndoDaan has joined. 03:54:27 ^ul ()(~a^~:^):^ 03:54:27 ...out of time! 03:54:41 ^ul ()(~aa^aa^aa^aa^aa^aa^aa^aa^~:^):^ 03:57:08 ^ul (... did I fail?)S 03:57:21 ...out of time! 03:57:21 ... did I fail? 03:57:37 ^ul ()(~aaa^aaa^aaa^aaa^aaa^aaa^aaa^aaa^~:^):^ 04:01:16 ^ul (... did I fail?)S 04:01:31 ...out of time! 04:01:31 ... did I fail? 04:01:37 4 minutes 04:01:40 Ping timeout is 5 minutes 04:01:56 ^ul ()(~aaaa^aaaa^aaaa^aaaa^aaaa^aaaa^aaaa^aaaa^~:^):^ 04:05:42 -!- fungot has quit (Ping timeout: 245 seconds). 04:05:56 Success! 04:05:58 fungot ded 04:07:58 I'm sure you'll get an award. 04:18:41 Bot killing is fun. 04:19:49 Lymia: everyone loves to kill bots. 04:20:03 killing bots? anyway 04:21:23 I remember someone broke the Python sandbox in some bot (originally intended as a heavyweight calculator) by splicing function bytecodes 04:21:37 that was quite fun 04:22:40 I think I did that in two seperate bots, both with basically the same approach 04:22:48 0.__class__.__class__.mro() 04:22:54 Then going to town once I got that. 04:23:00 ah bot ping-pong. quines are also fun. 04:24:51 !roll None.__class__.__mro__[-1].__subclasses__()[67]("test")() 04:24:51 *Marvin has quit (Remote host closed the connection) 04:24:53 Here we go 04:24:55 My bot deding 04:25:14 yeah, __subclasses__() is handy 04:25:27 [67] is quitter 04:25:30 :P 04:26:26 http://www.reddit.com/r/Python/comments/hftnp/ask_rpython_recovering_cleared_globals/ 04:29:55 trying to sandbox python just from inside python is kind of futile 04:30:30 make a custom build of Python without file 04:30:45 and sit back and watch standard libraries being broken 04:33:13 -!- AndoDaan has quit (Ping timeout: 272 seconds). 05:08:05 -!- AndoDaan has joined. 05:12:40 -!- FreeFull has quit (Ping timeout: 265 seconds). 05:20:44 -!- AndoDaan has quit (Ping timeout: 260 seconds). 05:22:35 -!- AndoDaan has joined. 05:24:50 "Thanks." 05:25:27 (The ^ul DOS is a known issue.) 05:25:51 "Realistically, anyone who is serious about PC gaming will be rebooting via Boot Camp, not trying to play in a virtualizer. But if you must play in your virtual OS, Parallels does a better job of it." 05:25:59 Hmm, darn. I hate dual booting 05:27:01 -!- fungot has joined. 05:40:52 (The time limit is in terms of underload operations, and the stack limit is big enough for that to be an issue.) 05:42:39 fizzie: you really need to run fungot in a loop. :p 05:42:39 elliott: if i have sum an integer and a " return" that value. in fact, did. 05:43:34 Won't help until it learns how to autojoin channels, too. 05:50:44 just set up a client script to tell it to join here every minute, clearly 06:04:16 -!- FreeFull has joined. 06:05:31 -!- exile-bot-52 has joined. 06:05:54 * elliott stares suspiciously at exile-bot-52 06:08:28 -!- exile-bot-52 has quit (Remote host closed the connection). 06:26:51 -!- conehead has quit (Quit: Computer has gone to sleep). 06:27:06 -!- Lymia has quit (Ping timeout: 250 seconds). 06:29:53 -!- brandonson has quit (Ping timeout: 240 seconds). 06:36:22 You stared it right off the channel. 06:40:56 These two categories: http://esolangs.org/wiki/Category:Turing_tarpits & http://esolangs.org/wiki/Category:Turning_tarpits are about the same thing, right? 06:41:36 nope 06:41:38 note the n :) 06:41:47 the latter is a pun 06:42:59 Dammit. 06:43:30 should have seen that. 06:43:53 turning tarpits use wheel thingies? 06:44:33 nvm, followed the links. 06:45:08 -!- Lymia has joined. 06:47:33 -!- AndoDaan_ has joined. 06:49:10 -!- AndoDaan has quit (Ping timeout: 255 seconds). 06:49:19 -!- AndoDaan_ has changed nick to AndoDaan. 06:56:59 "This ancient comment happened due to confusing the term Turing tarpit and Turning tarpit, with the latter term originally created as a joke on a misspelling of the former. Both terms find use among esolang enthusiasts. --Ørjan (talk) 02:30, 27 June 2014 (UTC)" 07:00:04 -!- exile-bot-52 has joined. 07:02:19 -!- exile-bot-52 has quit (Remote host closed the connection). 07:06:24 -!- exile-bot-52 has joined. 07:06:31 -!- exile-bot-52 has quit (Remote host closed the connection). 07:12:09 -!- exile-bot-52 has joined. 07:12:16 -!- exile-bot-52 has quit (Remote host closed the connection). 07:14:14 -!- exile-bot-52 has joined. 07:16:54 -!- exile-bot-52 has quit (Remote host closed the connection). 07:19:39 -!- exile-bot-52 has joined. 07:19:45 -!- exile-bot-52 has quit (Remote host closed the connection). 07:23:06 -!- ChanServ has set channel mode: +o elliott. 07:23:11 -!- elliott has set channel mode: +b *!*exile-bot@*. 07:23:15 -!- elliott has set channel mode: -o elliott. 07:27:28 !blsq_uptime 07:27:28 14d 12h 29m 3s 07:28:00 blqsbot never dies 07:28:04 unless there's some network issue :) 07:28:28 -!- Patashu has joined. 07:28:45 although it being written in Haskell it is probably vulnerable to the usual Haskell "Bugs" 07:29:52 @hoogle hGetLine 07:29:54 System.IO hGetLine :: Handle -> IO String 07:29:54 GHC.IO.Handle hGetLine :: Handle -> IO String 07:29:54 Data.ByteString hGetLine :: Handle -> IO ByteString 07:30:35 hGetLine can probably die with "invalid byte sequence" I guess 07:31:03 so if you manage to say something in this channel that will trigger an invalid byte squence due to the String de/encoding haskell does 07:31:06 you might crash blsqbot 07:31:56 how do invalid byte sequences happen? 07:32:40 AndoDaan: Haskell internally uses unicode for Strings 07:33:35 which means that for example readFile "foo.txt" will decode foo.txt to the internal representation 07:34:15 and each unicode character(?) has to have a well defined length? 07:34:58 I just know that if your system locale is for example isoxxx 07:35:10 then haskell will decode the isoxxx to unicode 07:35:22 and if you print something it will convert to isoxxx and then print 07:35:40 but certain byte sequences are illegal in certain encodings 07:35:50 in which case haskell errors out 07:35:55 (or ghc) 07:36:16 !blsq 255L[ 07:36:16 ' 07:36:42 !blsq "hi "255L[.+ 07:36:42 "hi \255" 07:36:54 !blsq "hi "255L[.+wd 07:36:54 {"hi" "\255"} 07:36:58 !blsq "hi "255L[.+wdQ 07:36:58 ["hi", "\255"] 07:37:02 !blsq "hi "255L[.+wd)Q 07:37:02 {hi } 07:37:31 hm 07:37:56 !blsq 255rz)L[)Q 07:37:56 { 07:38:00 :D 07:38:03 lulz 07:39:14 !blsq 255rz)rz)rz 07:39:15 Ain't nobody got time fo' dat! 07:39:17 !blsq 255rz)rz 07:39:17 Ain't nobody got time fo' dat! 07:39:24 !blsq 255rz)rzL[ 07:39:24 256 07:39:38 !blsq 255rz)rzL[rz)rzL[ 07:39:39 257 07:39:47 !blsq PP 07:39:47 That line gave me an error 07:40:37 !blsq cy 07:40:37 ERROR: Burlesque: (cy) Invalid arguments! 07:40:43 !blsq ""cy 07:40:44 That line gave me an error 07:40:57 !blsq ''cy 07:40:57 ERROR: Burlesque: (cy) Invalid arguments! 07:41:09 !blsq "'"cy 07:41:10 Ain't nobody got time fo' dat! 07:41:22 !blsq "'"cy5.+ 07:41:22 "'''''" 07:41:24 !blsq ""cy10.+ 07:41:25 That line gave me an error 07:41:27 weird 07:41:36 ah. "" is an empty list 07:41:39 !blsq {}cy 07:41:39 That line gave me an error 07:41:53 !blsq {1}cycycycycycycy1.+ 07:41:53 {1} 07:41:59 !blsq ""L[ 07:41:59 0 07:42:01 cycleception 07:42:03 !blsq ""es 07:42:04 "" 07:42:16 !blsq {}es 07:42:17 "" 07:42:26 !blsq '"es 07:42:26 '" 07:42:39 AndoDaan: Burlesque does some "type guessing" when it comes to blocks 07:42:42 for example 07:42:44 uhm 07:43:02 !blsq "hi there"{<-}m[ 07:43:02 "HI THERE" 07:43:11 !blsq "hi there"{<-9}m[ 07:43:12 {ERROR: Burlesque: (_+) Invalid arguments!} 07:43:35 !blsq "hi there"{}m[ 07:43:35 "hi there" 07:43:41 !blsq {'h 'i}{}m[ 07:43:42 {'h 'i} 07:43:47 !blsq {"h" 'i}{}m[ 07:43:47 {"h" 'i} 07:43:49 hm 07:44:10 technically if you map over a String 07:44:29 Burlesque will try to guess whether you wan't a String as a result or a Block as a result 07:44:41 !blsq "hi there"{<-9}m[ 07:44:41 {ERROR: Burlesque: (_+) Invalid arguments!} 07:44:44 !blsq "hi there"XX{<-9}m[ 07:44:44 {9 'H 9 'I 9 ' 9 'T 9 'H 9 'E 9 'R 9 'E} 07:45:00 !blsq "hi there"{**}m[ 07:45:00 {104 105 32 116 104 101 114 101} 07:45:48 hm 07:45:51 !blsq {1 2 3 4}\[ 07:45:52 {1 2 3 4} 07:45:57 !blsq {'a 'b 'c}\[ 07:45:57 "abc" 07:45:59 :D 07:46:25 -- Special case for empty block (BlsqBlock [] : xs) -> do putResult $ BlsqBlock [] : xs -- Special case for single char blocks (BlsqBlock [BlsqChar a] : xs) -> do putResult $ BlsqStr [a] : xs 07:46:47 concat has some type hacking :) 07:47:15 !blsq {1 2 3 4}{_+}l[ 07:47:15 ERROR: Unknown command: (l[)! 07:47:17 !blsq {1 2 3 4}{_+}r[ 07:47:17 {1 2 3 4} 07:47:27 !blsq {'a 'b 'c}{_+}r[ 07:47:27 "abc" 07:47:32 Apparently middle-clicking on a Magic Mouse requires third-party software 07:47:45 !blsq {1}\[ 07:47:45 {1} 07:47:49 !blsq {'a}\[ 07:47:49 "a" 07:47:50 :D 07:48:41 !blsq {'a}{_+}r[ 07:48:41 'a 07:48:47 !blsq {'a 'b}{_+}r[ 07:48:47 "ab" 07:49:02 ^- that's the reason why \[ has that special treatment 07:49:26 !blsq "ab"{'a==}f[ 07:49:26 "a" 07:49:34 ^- back in the old days this would have resulted in 'a 07:49:42 but with the hack in the new days it results in "a" 07:55:49 !blsq 1 2 _+ 07:55:49 {1 2} 07:55:52 !blsq 'a 'b _+ 07:55:52 "ab" 08:19:21 http://codepad.org/S7AXoSSQ <- Am I the only one who hates this? 08:20:16 It's useful on an API boundery, where you need to do a lot of checks on a lot of functions 08:20:21 Like ensureListCapacity 08:22:27 True 08:23:36 I kinda whish there was a System that would give you the Exceptions 08:23:41 but also private boolean validate 08:24:03 because if you need it boolean-ish 08:24:28 you have to do some ugly stuff like boolean ok = false; try { validate(); ok = true; } catch{} 08:25:08 however, boolean doesn't really say much about "what went wrong" 08:25:19 whereas Exceptions can do that 08:26:37 boolean valid = throws? validate(); 08:26:45 something like that 08:26:56 (throws? being some new keyword/operator) 08:28:37 I guess I need more Java praticte 08:28:41 *practice 08:28:50 I'm usually not a fan of using Exceptions for Control Flow 08:29:42 mainly because you have to look at every function you call whether it throws an exception or not 08:29:52 then you have to cross-reference that to the exceptions that are catched 08:29:54 etc. etc. 08:30:19 *every function the code calls 08:30:21 it's not mine :) 08:31:10 some exceptions that are catched are actually never thrown 08:41:28 mroman: well, I think c++14 and boost has some system functions with overloads that don't throw, but instead store the error in an output argument to give them 08:55:19 I kinda like 08:55:26 (result, error) = validate(); 08:55:47 (which wouldn't throw the exception but store it in error) 08:55:59 and result = validate(); would as usual throw the exception 08:58:55 -!- AndoDaan_ has joined. 08:59:13 -!- AndoDaan has quit (Ping timeout: 260 seconds). 09:02:44 How does Docker actually work? 09:02:56 I don't think it's like a JVM/CLR? 09:07:47 It used to be LXC by default, nowadays it's https://github.com/docker/libcontainer 09:09:56 mroman: linux has support for separate namespaces for a variety of resources that together let you do containerisation of that sort 09:10:06 it is not a good idea to rely on it for sandboxing or security. 09:11:08 In short it's like chroot + stuff 09:19:57 https://upload.wikimedia.org/wikipedia/commons/e/e3/Apple-new-imac-software-computer-design.jpg this still looks nothing like an iMac to me 09:20:21 -!- AndoDaan_ has quit. 09:20:44 It also looks like it's about to topple over 09:21:33 It looks like it needs more anti-aliasing 09:22:15 (the black lines are really edgy) 09:29:28 mroman: http://sprunge.us/egAT?java ...but probably don't actually to that. 09:30:37 The argument to resultize should probably be ExceptionHappy for more flexibility. 09:31:10 Tried also a fancier variant with the exception type as a type parameter, which almost worked, but you can't use a type parameter in a catch, understandably enough. 09:33:53 Would probably be doable and safe with a bit of reflection, because you can use a type parameter in a "throws" declaration, so it'd be statically type-checked to only throw (unchecked exceptions or) something matching X. 09:46:49 http://sprunge.us/FJFP?java maybe? I won't guarantee the safety of it, and it's still probably not a good idea. 09:51:04 too much fancy new Java-Features 09:51:09 :) 09:51:24 () -> is Java8? 09:51:31 or 9 even? 09:53:34 I guess you can check with isAssignableFrom stuff 09:53:54 somehow 09:55:47 hm 09:55:52 but that requires a dummy parameter to be passed 09:57:32 Can you do runtime byte-code manipulation in Java? 09:57:56 (on existing code. You can create new one obviously) 09:58:54 Java 8. 10:01:05 -!- AndoDaan has joined. 10:10:45 -!- AndoDaan_ has joined. 10:13:52 -!- AndoDaan has quit (Ping timeout: 248 seconds). 10:14:32 mroman: That seems unlikely; even the original JVM (before we had all those JIT compilers) had a static bytecode verifier which would have been broken by runtime byte-code manipulation; now with JITs, such a feature would become very expensive to support. 10:15:24 But I don't know. 10:16:44 -!- boily has joined. 10:31:58 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 11:00:51 -!- Slereah_ has joined. 11:02:46 -!- Slereah has quit (Ping timeout: 258 seconds). 11:12:55 -!- boily has quit (Quit: ADVENTUROUS CHICKEN). 11:18:35 I need to learn Scheme... 11:22:24 Start from the oft-quoted ((call/cc call/cc) (call/cc call/cc)). 11:22:33 -!- King2218 has joined. 11:23:16 It's like the ((lambda (x) (x x)) (lambda (x) (x x))) except Schemier. 11:23:39 :P 11:24:55 -!- King2218 has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 11:27:25 ... ``cc`cc -> ``c<`[]`cc>`cc -> `<`[]`cc><`[]`cc> -> `<`[]`cc>`cc -> ``cc`cc, where <...[]...> denotes a context with a hole at []. 11:34:02 -!- AndoDaan has joined. 11:34:09 -!- AndoDaan_ has quit (Ping timeout: 260 seconds). 11:38:13 I also need to be less ill 11:39:15 Gone through two packets of tissues 11:39:21 Today 11:39:37 Try some proper food instead. *ducks* 11:49:20 -!- oerjan has joined. 12:06:27 Taneb: The Little Schemer. 12:20:55 i see Lymia has been applying to become the first(?) human on fungot's ignore list 12:20:56 oerjan: how am i supposed to fix the affected threads myself. i pity my cow-orkers tomorrow. like fnord activerecord, it would not be 12:22:22 -!- Patashu has quit (Ping timeout: 240 seconds). 12:23:22 Yes. 12:23:34 Though I have a two-strikes policy. 12:23:40 ah. 12:24:11 Mainly because I'm not entirely sure I wouldn't have done the same once. 12:24:23 i'll have to admit getting it to ping out like that was a little clever 12:25:17 i was already saying "give up already" in my mind when that happened 12:25:19 It's not entirely novel, but I didn't exactly advertise the feature on channel for obvious reasons. 12:42:48 "The loss of this information could critically compromise -- the ability to exploit foreign adversary cyberspace while protecting U.S. cyberspace." 12:42:51 I don't know why, but I have a hard time taking seriously statements that talk seriously about "cyberspace". 12:44:34 Fungot, do you think the loss of that information could critically compromise the ability to exploit foreign adversary cyberspace while protecting U.S. cyberspace? 12:44:39 it's _so_ zeerust, no? 12:44:44 fungot, do you think the loss of that information could critically compromise the ability to exploit foreign adversary cyberspace while protecting U.S. cyberspace? 12:44:44 b_jonas: ls the list ( unquote 0) is evaluated. 12:45:01 oh, so that's why it's an error. 12:46:41 fizzie: you're just not into the information superhighway 12:50:49 ^style europarl 12:50:50 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 12:50:51 fungot: Please give a statement on how you are intending to organize the safeguarding of mission-critical core regions of the Finnish cyberspace landscape. 12:50:53 fizzie: mr president, the fight against fraud and counterfeiting. the commission also has to be borne in mind. they will pay through increases in tax and social security are largely decisive in the national endeavours, not least in the first instance, development priorities that have genuine measurable objectives and we should not be treated as such, the concern of the european union 12:51:19 fungot: Oh, I see, so we need to pay more taxes? Got it. 12:51:20 fizzie: mr president, at the moment i am unable to set it up. thus this totally different text is, moreover, obtaining a very concise study on the situation of the family. again, as it is applied correctly. unbundled access to local loop is by its very definition, the problem is not that only 25% are inspected, but rather of fnord. 12:52:17 hm i understand we are killing bots here today? 12:54:22 !blsq b! 12:54:22 ERROR: (line 1, column 4): 12:55:10 ok it's not _quite_ that brittle. 12:58:20 ah, europarl, great 12:58:25 fungot, do you think the loss of that information could critically compromise the ability to exploit foreign adversary cyberspace while protecting U.S. cyberspace? 12:58:25 b_jonas: mr president, i would like to point out to mr poettering. secondly, that we still can and should commit itself to carrying out justice in the end. 12:59:01 poor itself 13:02:08 !blsq "ACTION filters CTCPs"1L[+]1L[[+sh 13:02:08 ACTION filters CTCPs 13:03:56 At least there was an extra space at the front. 13:04:48 > text "\1That helps.\1" 13:04:49 That helps. 13:04:54 !blsq {"I filter newlines" "or just truncate at them" "or what"}uN 13:04:54 I filter newlines 13:05:10 > text "That\nhelps too." 13:05:11 Oh, right, there was the whole "only print the first line" thing anyway. 13:05:11 That 13:05:12 helps too. 13:07:14 -!- Frooxius has quit (Quit: *bubbles away*). 13:07:30 !blsq 13L[{"Presumably this applies" "QUIT :just kidding" "to carriage return too?"}[[\[sh 13:07:30 Presumably this applies 13:07:30 -!- blsqbot has quit (Quit: just kidding). 13:07:35 "Whoops." 13:07:38 [ 'I filter newlines',LF,'or just truncate at them',(LF=10{a.),'or what?' 13:07:50 -!- j-bot has joined. 13:07:53 Well, oerjan did state it was national bot-killing day today. 13:07:53 [ 'I filter newlines',LF,'or just truncate at them',(LF=10{a.),'or what?' 13:07:56 ouch. 13:08:06 fizzie: ok THAT was unexpected. 13:08:14 ah, wait 13:08:19 j-bot, short: #esoteric 13:08:35 (hmm, does that only in private message) 13:08:39 [ 'I filter newlines',LF,'or just truncate at them',(LF=10{a.),'or what?' 13:08:39 b_jonas: |value error: LF 13:08:39 b_jonas: | 'I filter newlines',LF,'or just truncate at them',( LF=10{a.),'or what?' 13:08:48 [ 'I filter newlines',LF,'or just truncate at them',(LF=:10{a.),'or what?' 13:08:48 b_jonas: I filter newlines 13:08:48 b_jonas: or just truncate at them 13:08:48 b_jonas: or what? 13:08:52 > text.unlines$map show [[m*n|n<-[1..10]]|m<-[1..10]] 13:08:53 [1,2,3,4,5,6,7,8,9,10] 13:08:53 [2,4,6,8,10,12,14,16,18,20] 13:08:53 [3,6,9,12,15,18,21,24,27,30] 13:08:53 [4,8,12,16,20,24,28,32,36,40] 13:08:53 [5,10,15,20,25,30,35,40,45,50] 13:08:57 oops 13:09:02 fizzie: wow 13:09:15 since when does lambdabot do that? 13:09:20 fizzie: What did you do? 13:09:23 or does it do so only on #esoteric? 13:09:34 > cycle"|\n" 13:09:35 "|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n|\n... 13:09:36 > text.unlines$map(words.map show)[[m*n|n<-[1..5]]|m<-[1..5]] 13:09:37 Couldn't match type ‘[GHC.Types.Char]’ with ‘GHC.Types.Char’ 13:09:37 Expected type: GHC.Base.String -> GHC.Base.String 13:09:37 Actual type: GHC.Base.String -> [GHC.Base.String]Couldn't match type ‘[GHC... 13:09:37 Expected type: a0 -> GHC.Types.Char 13:09:37 Actual type: a0 -> GHC.Base.String 13:09:39 hmph 13:09:45 mroman: Asked it to output "Presumably this applies\rQUIT :just kidding\rto carriage return too?" 13:09:46 > var (cycle"|\n") 13:09:48 | 13:09:48 | 13:09:48 | 13:09:48 | 13:09:48 | 13:09:54 mroman: IRC accepts \r, \n or any combination of them as newline. 13:10:02 b_jonas: I changed it from 1 line to up to 5 lines a while ago because > never produced any useful error messages otherwise. 13:10:08 I see 13:10:08 fizzie: hm 13:10:10 I see 13:10:16 it does know how to count lines though :P 13:10:32 > text"\r:QUIT" 13:10:34 :QUIT 13:10:48 try without the colon 13:10:58 b_jonas: you saw the :QUIT :P 13:10:59 or try confusing it with NUL characters 13:11:10 but yes, that is embarassing. 13:11:20 > text"\0QUIT" 13:11:21 QUIT 13:11:41 -!- Frooxius has joined. 13:12:06 > text"\rQUIT :hi" 13:12:07 QUIT :hi 13:12:10 hm 13:12:12 :) 13:12:30 [ 5 1$'|' 13:12:31 b_jonas: | 13:12:31 b_jonas: | 13:12:31 b_jonas: | 13:12:31 b_jonas: | 13:12:31 b_jonas: | 13:12:53 fizzie: It uses head (lines output) 13:14:11 \0 is technically also illegal to include in an IRC message; I don't know if servers use that as a message separator or do "end message but discard until newline" or "discard entire message" if you do it. 13:14:45 fizzie: don't they just, like, quit you, just like when you send a too long line or too much text without waiting? 13:15:00 (at least on freenode) 13:15:39 I guess that's an alternative too. 13:16:17 fungot uses a 0 internally as the message terminator (I believe), so I can't convince it to send one. 13:16:18 fizzie: mr president, our committee of inquiry from 1984 to 1989. she really is most persistent, because we already know, that top-down authoritarian integration and fnord regulations are to be able to come to an end and that this has on employees, such as fishermen, particularly at a time when the eu is taking action against ireland for failure to respect human rights, mr president, i apologize to the commissioner for his repl 13:16:45 `quote later 13:16:46 163) So it's not exactly trivial. [Later about same thing] It's a trivial C program :P \ 178) Maybe they should just get rid of Minecraft. If more people want it someone can make using GNU GPL v3 or later version, with different people, might improve slightly. \ 410) rest in peace lambdabot???? monqy: i 13:18:06 > text.unlines$map(unwords.map show)[[m*n|n<-[1..5]]|m<-[1..5]] 13:18:07 1 2 3 4 5 13:18:08 2 4 6 8 10 13:18:08 3 6 9 12 15 13:18:08 4 8 12 16 20 13:18:08 5 10 15 20 25 13:18:43 > text.unlines$map(unwords.map(printf("%3d"))[[m*n|n<-[1..5]]|m<-[1..5]] 13:18:44 :1:71: 13:18:44 parse error (possibly incorrect indentation or mismatched brackets) 13:18:57 > text.unlines$map(unwords.map(printf("%3d")))[[m*n|n<-[1..5]]|m<-[1..5]] 13:18:59 1 2 3 4 5 13:18:59 2 4 6 8 10 13:18:59 3 6 9 12 15 13:18:59 4 8 12 16 20 13:18:59 5 10 15 20 25 13:19:11 > text$['a'..]>>=(:"123456789") 13:19:16 mueval: ExitFailure 1 13:19:26 > text$['a'..'z']>>=(:"123456789") 13:19:27 a123456789b123456789c123456789d123456789e123456789f123456789g123456789h12345... 13:19:43 int-e: i believe text is strict, unlike var 13:19:47 79. good, that's what I thought. 13:20:25 [ */~>:i.5 13:20:25 b_jonas: 1 2 3 4 5 13:20:26 b_jonas: 2 4 6 8 10 13:20:26 b_jonas: 3 6 9 12 15 13:20:26 b_jonas: 4 8 12 16 20 13:20:26 b_jonas: 5 10 15 20 25 13:20:35 [ 4":*/~>:i.5 13:20:36 b_jonas: 1 2 3 4 5 13:20:36 b_jonas: 2 4 6 8 10 13:20:36 b_jonas: 3 6 9 12 15 13:20:36 b_jonas: 4 8 12 16 20 13:20:36 b_jonas: 5 10 15 20 25 13:20:36 -!- blsqbot has joined. 13:20:44 !blsq "I'm back"Q 13:20:45 I'm back 13:20:53 fizzie: Do it 13:21:01 !blsq 13L[{"Presumably this applies" "QUIT :just kidding" "to carriage return too?"}[[\[sh 13:21:01 Presumably this applies 13:21:01 -!- blsqbot has quit (Client Quit). 13:21:07 damn 13:21:13 uh 13:21:57 [ 'Presumably this applies',(13{a.),'QUIT :just kidding' 13:21:57 b_jonas: Presumably this applies 13:21:57 b_jonas: QUIT :just kidding 13:22:20 mind you, you can make j-bot die if I want, just not this way 13:22:20 why didn't it say just kidding :) 13:22:59 mroman: freenode censors quit messages the first minutes after you log on, to prevent their use for spamming several channels simultaneously 13:23:17 Oh, I didn't know it was an intentional feature. 13:23:23 a good one, too 13:23:26 well i assume that's the reason 13:23:32 It sounds reasonable. 13:25:34 ^bf ,[.>,]>++++++++++.<<[<]>[.>]>+++.<<[.<].>[.>]!test 13:25:34 test.test.tset 13:25:38 Well, that's as expected. 13:25:56 \n and \r translated to '.', and 0 just truncates. 13:27:27 [ 'I think J-bot strips all low control chars: ', 128{.a. 13:27:27 b_jonas: I think J-bot strips all low control chars: 13:27:28 b_jonas: 13:27:28 b_jonas: ┌┬┐├┼┤└┴┘│─ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ 13:27:32 hmm no it doesn't 13:27:40 -!- blsqbot has joined. 13:27:58 oh, it probably does, only J translates some of them on writing or something 13:28:11 !blsq !blsq 13L[{"Presumably this applies" "QUIT :just kidding" "to carriage return too?"}[[\[sh 13:28:11 That line gave me an error 13:28:23 !blsq "really?"Q 13:28:23 really? 13:28:24 !blsq 13L[{"How about" "QUIT :x" "now?"}[[\[sh 13:28:24 How aboutQUIT :xnow? 13:28:39 !blsq 0L[{"How about" "QUIT :x" "them null bytes?"}[[\[sh 13:28:39 How aboutQUIT :xthem null bytes? 13:28:45 Well, that seems fine. 13:29:14 13:29:40 !blsq {"newlines still" "separate lines" "right?"}uN 13:29:41 newlines still 13:29:49 Mm-hmm. 13:30:16 !blsq {"newlines still" "separate lines" "PRIVMSG #esoteric :right?"}uN 13:30:16 newlines still 13:30:31 It does head (lines output) 13:30:41 it's just that lines in haskell doesn't take "\r" as a line 13:30:50 which is why that \r thing worked 13:31:48 !rlisp (add $0 1) 13:31:48 Value 1 13:31:57 !blsq 1R@ 13:31:57 Ain't nobody got time fo' dat! 13:32:05 !blsq 13:32:05 No output! 13:32:17 !blsq 13L[ 13:32:17 ' 13:32:20 !blsq 13L[Q 13:32:20 13:32:41 !blsq 255rz)L[\[ 13:32:41 "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\t\n\v\f\r\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SYN\ET 13:32:43 !blsq 255rz)L[\[Q 13:32:43 13:32:43 mroman: http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.7.0.1/System-IO.html#g:25 13:33:47 although i suppose that doesn't help with lines on things constructed internally 13:34:33 -!- Sprocklem has quit (Ping timeout: 260 seconds). 13:34:53 !blsq 255L[ 13:34:53 ' 13:34:56 !blsq 255L[Q 13:34:56 13:35:55 !blsq !blsq 13:35:56 ERROR: (line 1, column 6): 13:36:03 !blsq !blsq 13:36:04 ERROR: (line 1, column 7): 13:36:08 !blsq !blsq 13 13:36:08 That line gave me an error 13:36:35 !blsq !blsq. 13:36:35 ERROR: (line 1, column 7): 13:36:43 ok? 13:36:46 !blsq !blsqq 13:36:46 ERROR: (line 1, column 7): 13:36:53 !blsq !b 13:36:53 That line gave me an error 13:37:33 oh. !b is a command 13:37:35 right. 13:37:58 !blsq 5`b 13:37:58 That line gave me an error 13:38:01 !blsq 5`a 13:38:01 That line gave me an error 13:38:06 !blsq 5hd 13:38:07 No output! 13:38:09 !blsq 5hd3hd 13:38:09 No output! 13:38:11 !blsq 5hd3hd9`a 13:38:12 No output! 13:38:15 !blsq 5hd3hd9`a!a 13:38:15 ERROR: Burlesque: (e!) Invalid arguments! 13:38:20 !blsq 5hd3hd9`a#a 13:38:20 9 13:39:50 !blsq 5hd3hd9`a#s 13:39:50 { } 13:39:56 !blsq 5hd3hd9`a#s)Q 13:39:56 { } 13:40:35 !blsq 10{hd}GO 13:40:36 { } 13:40:38 :D 13:40:46 !blsq 10{hd}GOSh 13:40:46 "[, , , , , , , , , ]" 13:40:53 !blsq 10{hd}GO3sH 13:40:53 { } 13:40:58 !blsq 10{hd}GO3sHSh 13:40:58 "{ }" 13:41:00 !blsq 10{hd}GO3sHShL[ 13:41:00 11 13:43:18 let me just create a challenge for that :D 13:46:04 Why can't the POCKET challenge just go ahead and close now when I'm still winning (a bit). 13:47:14 how much time is left? 13:47:41 Almost two more days. 13:48:09 I'm winning too, I have the shortest C++ entry for POCKET 13:49:25 It's like the ((lambda (x) (x x)) (lambda (x) (x x))) except Schemier. <-- i convinced myself the other day that in unlambda `d`cc and ``sii are exactly equivalent. although you need the d. 13:49:57 (i'm vaguely pondering a bit whether unlambda could be TC without s and k) 13:50:10 (or without just s, if that doesn't work.) 13:50:15 fizzie: have a look at http://golf.shinh.org/reveal.rb?join+lines/mskzzzz_1175444795&scm 13:51:23 (But I don't know whether you'd have to repeat the :delete) 13:51:47 It'd probably still be shorter than my no-imports solution. 13:53:16 OUCH. http://golf.shinh.org/p.rb?123 13:53:56 Heh, 34. I don't know the Gauche libraries at all. 13:54:18 ... ``cc`cc -> ``c<`[]`cc>`cc -> `<`[]`cc><`[]`cc> -> `<`[]`cc>`cc -> ``cc`cc, where <...[]...> denotes a context with a hole at []. <-- hey the standard notation it (`*`cc) (i know because i made it.) 13:54:23 *is 13:54:49 (disclaimer: there might exist an older standard which i don't know about.) 13:55:08 I've seen (... [] ...) used in some Scheme-related material. 13:55:16 also, see http://esolangs.org/wiki/Subtle_cough 13:56:20 int-e: i think i shall refuse your attempts to drag us into old golf problems tdnh 13:56:44 (also i have no idea how to do that primes thing with just 3 extra chars.) 13:56:46 oerjan: that was not my intention. 13:56:54 -!- MDude has joined. 13:57:11 I noticed the 1 2 3 thing when looking at old problems before. At least the expected number of attempts isn't *too* bad. 13:57:35 oerjan: If it was, I'd point you at http://golf.shinh.org/p.rb?Text+Compression which may be interesting even though it's a post mortem ;) 13:57:40 i mean, i can just add ,n/=341 which is 7, and that's the best i have so far. 13:57:42 s/it/I/ 13:58:14 and you said you had 1 char shorter than that? 13:58:26 iirc. 13:58:39 oerjan: I'm using \square for holes in contexts, and [] is my usual ASCII approximation of that. 13:58:46 ic 14:00:08 but the * may actually appear in some unlambda resources that I've read years ago :) 14:00:21 int-e: Is there some convention if you see someone's solution in post-mortem and see an obvious improvement? 14:00:26 Like yourname(theirname) or something. 14:01:04 fizzie: I don't know. 14:01:22 fizzie: probably that, yes 14:01:23 well as i found out, you can have the thing in parentheses pretty long 14:01:29 fizzie: yes(like so) 14:02:00 there should be a public comment field, not only a name fiedl 14:03:59 fizzie: tbh I was just looking for general ideas of what golfed scheme programs look like; I didn't expect to find a template for the POCKET thing. 14:04:05 int-e: http://golf.shinh.org/reveal.rb?join+lines/fizzie%28mskzzzz%29_1413468198&scm -- the :delete key is just a boolean flag, any true value does. 14:04:48 oh, of course, a keyword argument. 14:05:18 -!- tromp__ has joined. 14:07:04 -!- AndoDaan_ has joined. 14:07:20 I'm more content with the Befunge and Z80 pockets anyway, though still afraid of being one-upped. Not that it should matter. 14:07:25 Time to go home, I think. -> 14:08:18 -!- tromp_ has quit (Ping timeout: 258 seconds). 14:08:55 -!- AndoDaan has quit (Ping timeout: 276 seconds). 14:29:58 -!- AndoDaan_ has quit (Ping timeout: 255 seconds). 14:30:31 -!- AndoDaan has joined. 14:44:13 -!- Sprocklem has joined. 15:14:42 wow 15:15:05 JS-Engine Developers are working hard to deal as good as possible with JS's lack of static typing :) 15:20:41 I wrote a real quick Burlesque mail merge before remembering it'll just "main_golf: : hGetContents: invalid argument (invalid byte sequence)" out, of course. 15:20:49 (Oh well, it wasn't very good either.) 15:21:28 ah, that thing again 15:21:43 maybe make mroman fix that in the implementation? 15:22:21 I don't know what shinh uses as a locale? 15:22:24 "C". 15:22:33 hm 15:22:34 ok 15:22:45 It works fine locally, under an UTF-8 locale. 15:22:47 I could use hSetEncoding UTF8 ore something 15:22:55 @hoogle hSetEncoding 15:22:57 System.IO hSetEncoding :: Handle -> TextEncoding -> IO () 15:22:57 GHC.IO.Handle hSetEncoding :: Handle -> TextEncoding -> IO () 15:23:11 mroman: what? no, set iso-8859-1 encoding instead 15:23:15 so it can read any binary data 15:23:20 or that 15:23:24 you mean char8 15:23:32 and maybe add a setlocale builtin :-) 15:23:56 for that I would have to first switch to an IO Monad ;) 15:24:17 although changing to StateT IO ... shouldn't be too hard 15:24:26 make it just work with byte strings instead of character strings 15:24:46 Anything that coincides with ASCII would presumably be reasonable in the sense that it wouldn't affect any existing program. 15:25:34 char8 sounds good 15:25:54 -- | An encoding in which Unicode code points are translated to bytes 15:25:54 -- by taking the code point modulo 256. When decoding, bytes are 15:25:55 -- translated directly into the equivalent code point. 15:26:45 !blsq "日本語"Q 15:26:46 15:27:09 !blsq "日本語"L[ 15:27:09 9 15:27:11 hm 15:27:23 weird 15:28:01 my locale is en_US.utf8 15:30:32 maybe socket uses char8 or something 15:31:17 mroman: that would explain why it _doesn't_ crash when we send it non-utf8 15:31:38 which is, presumably, a good thing. 15:33:59 enc <- if binary then return Nothing else fmap Just getLocaleEncoding 15:34:48 h <- fdToHandle' (fromIntegral fd) (Just GHC.IO.Device.Stream) True (show s) mode True{-bin-} 15:34:52 yeah 15:34:59 socketToHandle passes binary=True 15:36:25 -!- mihow has joined. 15:37:14 oerjan: I had a discussion about that some months ago with somebody in #haskell 15:37:40 There's Network.ByteString though 15:38:14 !blsq "日本語")L[ 15:38:15 "aaaaaaaaa" 15:38:19 !blsq "日本語")** 15:38:19 {230 151 165 230 156 172 232 170 158} 15:38:26 !blsq "日本語")**b6 15:38:26 {"e6" "97" "a5" "e6" "9c" "ac" "e8" "aa" "9e"} 15:38:29 !blsq "日本語")**b6\[ 15:38:29 "e697a5e69cace8aa9e" 15:39:42 presumably binary is equivalent to char8 + no eol conversion 15:40:39 yep, "This has the same effect as calling hSetEncoding with char8, together with hSetNewlineMode with noNewlineTranslation." 15:49:03 [wiki] [[Unnecessary]] M http://esolangs.org/w/index.php?diff=40620&oldid=36295 * InputUsername * (+126) Added a link to a Ruby interpreter 15:56:57 -!- drdanmaku has joined. 16:03:34 -!- AndoDaan_ has joined. 16:05:16 -!- oerjan has quit (Quit: leaving). 16:05:59 -!- AndoDaan has quit (Ping timeout: 244 seconds). 16:11:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:15:56 -!- AndoDaan_ has quit. 16:16:15 -!- AndoDaan has joined. 16:16:54 -!- AnotherTest has joined. 16:43:49 -!- conehead has joined. 17:22:34 -!- TieSoul has joined. 17:22:37 hey 17:23:36 ho [I will later pretend this was a typo] 17:24:57 I seem to be afflicted by some kind of curse where I write a Funge-98 interpreter for every programming language I like. 17:37:45 how do you like the language BLC ? 17:38:30 -!- AndoDaan_ has joined. 17:39:08 -!- AndoDaan has quit (Ping timeout: 258 seconds). 17:41:19 -!- Sprocklem has quit (Quit: [). 17:42:08 -!- TodPunk has quit (Read error: Connection reset by peer). 17:42:31 [wiki] [[User:InputUsername]] M http://esolangs.org/w/index.php?diff=40621&oldid=40464 * InputUsername * (+329) Linked to some language implementations 17:42:32 -!- TodPunk has joined. 17:46:51 -!- mihow has quit (Ping timeout: 246 seconds). 17:47:05 Hey, I know InputUsername IRL. 17:47:15 funny to see him here of all places. 17:58:59 -!- Sprocklem has joined. 18:02:13 -!- MoALTz has joined. 18:02:54 -!- adu has joined. 18:04:13 -!- adu has left. 18:18:22 `dontaskdonttelllist 18:18:23 dontaskdonttelllist: q​u​i​n​t​o​p​i​a​ c​o​p​p​r​o​ m​y​n​a​m​e​ m​r​o​m​a​n​(​u​s​e​ ​q​u​e​r​y​)​ 18:19:40 @ask int-e < int-e> oerjan: I'm using \square for holes in contexts, and [] is my usual ASCII approximation of that. – Why ascii and not □ ? 18:19:41 Consider it noted. 18:30:28 What does (use query) mean? That someone should message em? 18:30:58 Yes. 18:31:34 -!- Hjulle has joined. 18:34:02 -!- Sprocklem has quit (Ping timeout: 245 seconds). 18:34:31 -!- AndoDaan_ has quit (Ping timeout: 265 seconds). 18:38:46 ah man 18:38:51 fuck javas scope rules in cases 18:39:18 -!- Sprocklem has joined. 18:39:45 -!- olsner has quit (Ping timeout: 260 seconds). 18:41:17 -!- AnotherTest has quit (Ping timeout: 272 seconds). 18:42:47 -!- olsner has joined. 18:48:48 -!- AndoDaan has joined. 18:55:27 -!- Sprocklem has quit (Ping timeout: 246 seconds). 18:55:43 mroman: oh? 18:57:00 coppro: cases share the same scope 18:57:00 so 18:57:04 case foo: int a; 18:57:07 case bar: int a; 18:57:12 not very legal 18:57:23 mroman: use a compound statement 18:57:31 case foo: { int a; } case bar: { int a; } 18:57:44 it's the same as C 18:57:56 on the other hand C# has some fucked up scoping rules as well 18:58:14 out of C,C#,Java C has the most intuitive scoping rules 18:58:47 hm 18:58:49 ic @C 18:59:52 Are there editors for 2D languages 19:00:14 I don't like that chars are higher than wider 19:00:25 It looks weird 19:01:09 you might enjoy CJK 19:01:19 oh, that wasn't a general statement 19:01:22 Asian-Fonts? 19:01:43 also I'm tired of having to type 10 spaces 19:01:43 you might enjoy aheui 19:01:52 I'd be cooler if I had some editor with a grid 19:02:23 No, I might enjoy a 2D programming language editor :) 19:02:24 mroman: find a crossword editor. that has both grid and square cells. 19:02:48 oh, wow, crossword esolang 19:03:52 ideally you can type in directions 19:04:02 which means the editor will recognize that you typed a v 19:04:13 and will switch to "insert downards vertically" 19:06:52 hmm 19:06:57 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=40622&oldid=40578 * 70.114.225.120 * (+11) /* J */ 19:12:04 -!- nycs has joined. 19:14:51 -!- `^_^v has quit (Ping timeout: 272 seconds). 19:20:01 -!- nycs has quit (Quit: This computer has gone to sleep). 19:32:39 -!- AndoDaan has quit (Ping timeout: 244 seconds). 19:34:23 mroman: emacs artist-mode may do some things you want 19:36:06 maybe I'll write my own editor :) 19:36:29 with Funge-98 19:36:45 I guess since it can do socket you can draw stuff with X11? 19:37:28 we tried building an editor for rail on a university software project 19:38:36 https://github.com/SWP-Ubau-SoSe2014-Haskell/SWPSoSe14 19:40:04 I believe there are some Befunge IDEs. 19:40:21 I used to write Befunge-93 with ZBefunge. 19:40:38 http://flourish.org/zbefunge/ 19:41:55 Not sure if there's that much things for 2D languages in general, though some Emacs tricks indeed. 19:42:41 There's at least one thing that does the natural cardinal-direction movement, so that when you type it keeps continuing to the direction of your last cursor-movement command. 19:45:02 Possibly not with ><^v recognition, though. 19:45:30 <^v> <_> 19:45:38 Whoops. 19:45:40 :D 19:45:43 <^v> :> 19:53:22 Is there a befunge variant that uses ←↑↓→ ? 19:53:55 <^v> <_> 19:54:13 <^v> hard because its unicode 19:54:20 <^v> would be easier just to gsub 19:54:42 Not to solve the current problem, just generally curious. 19:56:32 All I can think of offhand are ASCII, but you could sample http://esolangs.org/wiki/Category:Two-dimensional_languages 19:58:40 Of course "truu ASCII" has ↑ in place of ^. 19:58:53 ^ is just some sort of modern nonsense. 19:59:27 -!- AndoDaan has joined. 20:00:52 fizzie: yeah, true ascii has a left arrow at _ and a broken bar at | and a yen sign at ` 20:00:57 -!- Patashu has joined. 20:01:23 or wait, is the yen sign at \ 20:01:26 let me look that up 20:01:42 yen sign at \ sorry 20:03:07 But it's right here ? 20:03:38 and true ascii has É no either [ or # depending on who you ask :-) 20:04:02 <^v> :o my uptime is 10 days 20:04:03 ASII II 20:04:12 *ASCII II 20:06:12 (true ascii is cp437) 20:08:18 It's not true ascii if it wasn't used by old timey railroad operators. 20:08:57 Or telegraph guys. 20:09:11 true ascii is cp861 20:09:27 MDude: no way. those use a 5-bit character set with shifts between two states, 20:09:46 and a keyboard that physically doesn't allow pressing keys that would not make sense in the current shift state 20:09:55 I've read about byte = 5bit computers 20:10:03 so that you don't forget to press the shift keys 20:10:12 that's got nothing to do with ascii 20:10:27 Then what's http://en.wikipedia.org/wiki/File:ASCII_Code_Chart-Quick_ref_card.png 20:10:37 and of course as it can encode only very few characters, it has lots of variant character sets 20:11:53 Nixdorf had 12bit bytes 20:13:46 -!- Somelauw has joined. 20:28:35 -!- Patashu has quit (Ping timeout: 265 seconds). 20:31:12 This discussion is taking place on a network where [\] are uppercase {|}, thanks to 7-bit ISO/IEC 646 national variants. 20:32:17 fizzie: yep, with nickserv and chanserv accounts migrated from back then they weren't considered case variants, and I have no idea how they could resolve the conflicts 20:33:08 -!- bb010g has joined. 20:33:45 The same Finnish encoding that gifted us those also had ¤ in place of $. Otherwise I think it matched ASCII. 20:34:13 it's one of the iso-646 encodings. those were big back in ye olden days. 20:36:37 In BBS systems you also quite often got ö -> v, ä -> d (hence all the jokes about "ddkkvset") because that's what you get when you strip the high bit out of Latin-1. 20:37:20 "Onneksi ddkkvset eivdt endd ole ongelma." 20:38:41 fizzie: I still see some errors in mails where characters are somehow taken modulo 256, so you get Q instead of ő. 20:39:27 and q instead of ű. 20:41:41 -!- S1 has joined. 20:42:14 that of course results in mostly readable mails. there are also mails where every non-ascii character is badly mangled. 20:42:29 sometimes even irrecoverably, like when every non-ascii character is replaced by a question mark or something. 21:21:14 -!- brandonson has joined. 21:35:26 -!- oerjan has joined. 21:46:59 `slist 21:47:01 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 21:47:53 Figured it's been a while since that's been used 21:48:25 `run cat $(which slist) 21:48:55 No output. 21:49:02 nice 21:50:40 Sgeo: looks like apple are trying to tempt you with price cuts 21:51:03 oh, not a price cut, just a worse model. 21:51:23 elliott, looks like Hussie is trying to tempt you with Homestuck updates that don't advance the plot in any meaningful way 21:51:54 I don't read homestuck :p 21:52:12 YOU USED TO 21:52:45 do you see elliott on the slist? i don't. therefore, not a reader. 21:53:55 Bike: i don't see anybody on the slist hth 21:54:07 did you see etc 21:54:12 TENSE MOTHERFUCKER 21:54:35 Bike: did you read that long thread from 200x with john baez about pseudoforms 21:54:44 no 21:57:51 Taneb: because the site is down? 21:58:01 Is there known to have been an update? oh, there is, woah 21:58:09 Sgeo, mirror http://i.imgur.com/UoNYckC.gif 21:58:23 truly incredible 21:59:22 elliott: well, for just toying around with OSX, a 'worse' model would be fine 22:00:50 Sgeo: well, double the storage, memory and a much better processor and GPU is unquestionably worth $200 22:00:55 Now, if only everything wasn't so expensive in terms of space 22:01:01 I don't get the economics behind them adding a much-shittier $200 cheaper iMac a while ago either. 22:02:02 elliott: which thing are you referrig to precisely/ 22:02:28 (even worse for the iMac: they expect you to believe that 1.4ghz dual-core i5 -> 2.7ghz quad core i7, double the storage, and intel hd graphics -> iris pro + geforce 750M isn't worth $200 on a purchase that is >$1k regardless) 22:03:48 Sgeo: ? 22:04:06 elliott: what's the new thing that's $200 cheaper for a lot less value? 22:04:20 they released a $499 mac mini. 22:04:23 Ah 22:04:38 If I only had room for a monitor+keyboard+mouse 22:05:36 If I could somehow use my current laptop for that, that would be fun 22:06:11 [wiki] [[Jasp]] http://esolangs.org/w/index.php?diff=40623&oldid=40618 * Oerjan * (-92) formatting 22:08:41 Is my understanding of Apple's iOS app policies correct, that if the web were brand new today, they would not allow web browsers in the App store? 22:09:10 what size is your apartment in m^2 exactly 22:10:25 Not really sure offhand 22:10:49 negative three 22:11:02 `unidecode � 22:11:02 ​[U+FFFD REPLACEMENT CHARACTER] 22:11:35 Bike: should've used a pseudoform 22:11:52 http://lamington.wordpress.com/2014/05/26/div-grad-curl-and-all-this maybe this will make more sense to you than to me 22:12:08 elliott: it's Em^2 c hth 22:12:35 Bike: did you see http://mathoverflow.net/a/10586 22:12:50 no 22:12:57 i get the div grad curl is 3d though 22:13:12 that is, in fact, how i got sucked into this, wanting to know how magnetism (curl) would work in higher d's :( 22:13:59 oh god damn it Gravitation again too 22:14:10 have you seen that book it is ridiculous 22:14:23 no 22:14:32 imo physicists are ridiculous?? 22:14:44 well they are yeah 22:14:50 it makes elementary entomology errors. smh. 22:15:20 seriously though it's just a big featureless brick of physics http://40.media.tumblr.com/4aecd2760c12bcca6fe8e888bcd707e1/tumblr_nblz4unjOj1r7tprao1_1280.jpg 22:15:36 -!- MoALTz_ has joined. 22:15:51 oh you meant seen in a literal sense 22:15:55 Is that MWT? 22:16:10 yeah 22:16:18 https://dl.dropboxusercontent.com/u/19940612/MATH.jpg 22:16:22 ^brick of math 22:16:23 the content is also ridiculous, just to be clear 22:16:37 MWT is a great book 22:16:39 it reads kind of like they were stoned 22:16:45 It is just not really well organized 22:16:49 what if, like, apples... were straight lines 22:16:50 It's kind of post it notes 22:16:57 i mean, good book, i'm never going to understand it is all 22:17:13 also it uses einstein summation notation. imo why. 22:17:29 Because all GR books do it? 22:17:46 It has Einstein right in the name! 22:17:54 Unless you go with like... 22:17:56 I dunno 22:17:59 Rovelli kinda? 22:18:03 All books do it 22:18:12 mainly i just don't get the emphasis on tensors being blocks of numbers 22:18:22 -!- MoALTz has quit (Ping timeout: 240 seconds). 22:18:36 like they write out efe as http://upload.wikimedia.org/math/3/f/5/3f50fd206f2fe543a6a8a3e687cf74c3.png 22:18:43 Well 22:18:48 You can write it as like 22:18:49 what is the point of the indices? can't they just be multilinear operators in peace 22:18:51 n-forms 22:19:02 Well yeah but in that case, you have to write like 22:19:21 R in T*M (x) T*M 22:19:27 etc etc 22:19:46 [wiki] [[OBJEKTER]] N http://esolangs.org/w/index.php?oldid=40624 * InputUsername * (+365) Created a stub page for OBJEKTER. Will be updated tomorrow, when I have more time. 22:19:59 Also most GR is done in a coordinate system 22:20:18 -!- Slereah_ has quit (Read error: Connection reset by peer). 22:20:38 -!- Slereah_ has joined. 22:20:41 [00:18:58] Well yeah but in that case, you have to write like 22:20:41 [00:19:17] R in T*M (x) T*M 22:20:41 [00:19:23] etc etc 22:20:41 [00:19:55] Also most GR is done in a coordinate system 22:20:41 [00:20:10] It is useful for observables 22:20:41 [00:20:15] * Disconnected 22:20:42 i dunno, i ain't a physicist, but when the first part of gravitation is like "so, the point of this is that coordinate systems are just choices we make, they're not really inherent... anyway, here's stress-energy in coordinates" ok bye oh hello 22:21:04 [wiki] [[OBJEKTER]] M http://esolangs.org/w/index.php?diff=40625&oldid=40624 * InputUsername * (+14) Fixed link. 22:21:26 Well it is still useful because you can do any coordinate transform easily 22:21:46 oh, gravitation does the milk crates too, huh. burke does that and i don't really get it at all 22:22:08 [wiki] [[OBJEKTER]] M http://esolangs.org/w/index.php?diff=40626&oldid=40625 * InputUsername * (-18) Removed link. Sorry for this. 22:22:36 [wiki] [[User:InputUsername]] M http://esolangs.org/w/index.php?diff=40627&oldid=40621 * InputUsername * (+110) Added OBJEKTER. 22:22:44 Oh by the way 22:22:59 if you complain about the Einstein equation written as tensor components 22:23:00 Do not 22:23:02 Because 22:23:21 http://en.wikipedia.org/wiki/Newman%E2%80%93Penrose_formalism 22:23:27 what are milk crates 22:23:34 oh good lord 22:23:43 shachaf: a kind of picture they use to illustrate, uh... i think 2-forms. 22:24:10 Einstein equation doesn't look so bad now does it 22:24:13 -!- MDude has quit (Ping timeout: 272 seconds). 22:24:30 http://en.wikipedia.org/wiki/Newman%E2%80%93Penrose_formalism#NP_field_equations 22:24:32 Look at it! 22:24:32 "In NP formalism, instead of using index notations as in orthogonal tetrads, each Ricci rotation coefficient \gamma_{ijk} in the null tetrad is assigned a lower-case Greek letter, which constitute the 12 complex spin coefficients" so glad i'm not in physics. so glad 22:25:06 -!- myname has quit (Ping timeout: 258 seconds). 22:25:11 Although EFE in tetrad notation is quite nice and compact, actually 22:25:40 -!- myname has joined. 22:25:55 -!- MoALTz has joined. 22:26:31 -!- MoALTz_ has quit (Ping timeout: 255 seconds). 22:26:38 If you hate indexes, though 22:26:44 Yang-Mill theory is best 22:27:00 The action is just S = 1/4 integral tr[F* ^ F] 22:27:03 Pretty compact 22:27:42 blargh i don't even know what gauge theories are 22:27:49 i should stick to easy things like dissecting small animals 22:28:00 Aw :( 22:28:18 But I'm a small animal :( 22:28:29 can you do it using just a compass and a straightedge 22:28:41 A compass does have a pretty sharp point 22:28:46 if the straightedge is sharp enough yeah 22:28:53 can i use pins to mark points? if so that's pretty much what you use 22:29:09 it's 2-dimensional hth 22:29:22 has science gone too far 22:29:59 oh, so flatworms, huh. kind of wriggly 22:30:41 biology has some pretty weird manifolds http://ecx.images-amazon.com/images/I/41F10pcXYEL._SY344_BO1,204,203,200_.jpg 22:31:04 that image is kind of shitty but i dno't see any high res ones and if i wanted to take my own photo i'd have to, like, get out of my seat. 22:31:17 what's with the obsession everyone seems to have with real numbers anyway 22:31:35 Because they are real 22:31:37 Hence the name 22:31:54 if i don't like the reals why would i like manifolds 22:32:23 Not all manifolds are real number based 22:32:25 you know why? 22:32:30 Because the empty set is a manifold. 22:32:31 henway 22:32:33 It is even 22:32:36 The most manifoldy 22:32:42 Because it's a manifold for every dimension 22:33:01 whoa 22:33:06 i don't believe in manifolds i can't punch 22:33:06 the implications are manifold 22:33:36 Bike : Beware, some are dangerous 22:33:51 http://en.wikipedia.org/wiki/Loch_Ness_monster_surface 22:33:58 all i want is to understand derivatives 22:34:02 why do real numbers have to get involved 22:34:17 Natural numbers have no derivatives 22:34:21 All they have is substraction 22:35:10 you could use the arithmetic derivative :emoticon: 22:35:40 There's also a boolean derivative 22:35:46 or i guess like... difference equations. bleh. 22:35:50 types have derivatives 22:35:54 or species or whatever you want 22:35:57 i suppose that is subtraction 22:36:30 discrete derivatives are p. nifty imo 22:37:30 wikipedia's example of a type derivative is nitfy 22:38:04 which example 22:38:08 i should probably figure out why this looks exactly like analytic combinatorics but i'm too busy castrating squirrels 22:38:47 "the type T of binary trees containing values of type A can be represented as the algebra generated by the transformation 1+A×T²→T[..] In the tree example, the derivative is a type that describes the information needed, given a particular subtree, to construct its parent tree[..] This type can be represented as 2×A×T" 22:39:33 I've gained reputation at uni as "the Haskell guy" in my year and now the pure CS course uses Haskell for the compilers module people keep asking me for help 22:39:37 I don't even do that module 22:39:44 Bike: yes, it's great 22:40:03 everything makes all sorts of intuitive sense 22:41:02 it also says something about zippers 22:41:15 with binary trees again. everybody loves x²+1. 22:41:52 Taneb: just write a supercompilation lens hth 22:42:08 -!- Phantom_Hoover has joined. 22:42:32 Someone had a weird syntax error that I couldn't spot... 22:43:12 and you saw the error message? 22:43:16 Yeah 22:43:34 Syntax error at = on line 8 column 30 or something 22:43:38 did they mix spaces and tabs that's always fun on stackoverflow 22:43:47 Yes, but I think we got rid of them 22:43:57 (because stackoverflow uses 4 spaces to display tabs) 22:45:03 Oh wow, heh 22:45:29 * oerjan seems to have slipped off stackoverflow (although i still have the tab open) with all the golfing and stuff 22:46:45 so theoretically you can get people who have their editor set to tabstop=4 and no one can see anything wrong with their code. 22:47:04 or some code is actually correct despite looking broken. and all combinations. 22:48:09 syntax error at =, hm well that can mean a lot of things, but probably something that wasn't closed properly. 22:48:44 assuming there should really be a = at all. 22:49:26 > let f (Just test = 5 in f (Just "hi") 22:49:27 :1:18: parse error on input ‘=’ 22:50:09 hm Syntax error? where they using Hugs or something? although it's supposed to have easier error messages. 22:50:13 *were 22:50:20 or wait 22:50:26 I can't remember the exact message 22:52:02 yeah 22:52:07 it may be too late to debug this............................ 22:52:21 HOW CAN YOU SAY SUCH A THING 22:53:41 hm good error messages should be able to tell if you are missing closing brackets and stuff 22:54:11 Is the OS X store as curated as the iOS store? I guess it doesn't matter so much, since Apple doesn't try to block installs from elsewhere 23:12:44 -!- S1 has quit (Quit: S1). 23:17:06 the mac app store is kind of bad. 23:29:00 How so? 23:31:01 -!- adu has joined. 23:35:40 -!- adu has quit (Client Quit). 23:36:48 -!- adu has joined. 23:51:09 -!- bb010g has quit (Quit: Connection closed for inactivity).