00:09:38 `fetch me a sandwich 00:09:40 wget: unable to resolve host address `me a sandwich' 00:13:42 -!- derdon has quit (Remote host closed the connection). 00:22:58 -!- Vorpal has joined. 00:33:18 -!- MDude has quit (Ping timeout: 265 seconds). 00:34:23 -!- MDude has joined. 00:42:18 -!- Jafet has quit (Ping timeout: 252 seconds). 00:42:48 -!- Jafet has joined. 00:47:24 -!- Jafet has quit (Ping timeout: 248 seconds). 00:51:31 -!- nshelton has joined. 00:51:48 `welcome nshelton 00:51:52 nshelton: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:52:03 cool 00:52:48 bit quiet this evening 00:53:16 * quintopia hands oerjan a bullhorn o=< 00:54:00 * oerjan blows the bullhorn 00:54:03 _____ ___ ___ _____ 00:54:03 |_ _/ _ \ / _ \_ _| 00:54:03 | || | | | | | || | 00:54:03 | || |_| | |_| || | 00:54:03 |_| \___/ \___/ |_| 00:54:20 -!- MDude has quit (Ping timeout: 248 seconds). 00:55:08 -!- MDude has joined. 00:55:19 you blew mdude right out of the channel 00:55:34 temporarily 00:56:29 well i suspect if you'd kept blowing it could have held him off 00:56:38 MAYBE 00:56:42 TRAAAAAIN 00:57:00 BRAAAAAINS 00:57:08 GRAAAAAIINS 00:57:12 oh wait, you said train, never mind 00:57:37 * oerjan goes back to gnawing on someone's leg 01:00:15 kmc: So what does TRAAAAAIN mean? 01:01:14 it means TRAAAAAIN 01:01:25 kmc: Did you try saying it in that other channel? 01:01:28 there is some channel where a bot will print an ASCII train if you say that 01:01:34 -!- edwardk has joined. 01:01:35 i did not try it yet 01:01:36 Ah. Yes. That channel. 01:01:51 kmc: They actually have three bots. 01:02:02 Each of them prints only a few lines of the train. 01:02:03 otherwise it would flood 01:02:05 yeah 01:02:08 Yep. 01:02:26 They also respond to TERRAAAAAIN and PLAAAAANE and other things. 01:02:38 BOOOOOAT? 01:02:39 Ask lexande. lexasknde 01:02:57 oerjan: Nope. 01:03:01 PLANTAAAAAIN 01:03:02 aww 01:03:04 Yes. 01:03:20 SPAAAAAIN 01:03:28 I think I tried that. 01:03:55 The RAAAAAIN in SPAAAAAIN STAAAAAYS MAAAAAINLY in the PLAAAAAIN 01:04:14 EXPLAAAAAIN 01:04:55 urricanes ardly hever appen 01:06:53 Likewise, it is considered technically incorrect that hurricanes ever in fact happen in Hertford, Hereford, or Hampshire (in the UK), as the only hurricane force (≥64 knot) winds occurring in these areas are due to extratropical cyclones which, in spite of having hurricane force winds, are not strictly speaking hurricanes due to their different physical causes and dynamics. 01:07:00 thank you, wikipedia. 01:07:33 Wait, so if they never appen, it means they don't ardly hever appen? 01:07:50 hobviously 01:08:30 -!- meatmanek has joined. 01:08:37 -!- meatmanek has left ("["Textual IRC Client: www.textualapp.com"]"). 01:12:28 `run du -hd0 .git 01:12:31 du: invalid option -- 'd' \ Try `du --help' for more information. 01:12:32 `run du -hd0 .hg 01:12:32 The RAAAAAIN in SPAAAAAIN STAAAAAYS MAAAAAINLY in the PLAAAAAIN 01:12:35 du: invalid option -- 'd' \ Try `du --help' for more information. 01:12:38 It's 'FALLS' you MORON 01:12:38 `run du -h -d0 .hg 01:12:42 du: invalid option -- 'd' \ Try `du --help' for more information. 01:12:48 wtf kind of du is this 01:13:17 `run du -hc .hg | tail -n 1 01:13:21 33M.total 01:14:37 * oerjan swats Phantom_Hoover -----### 01:14:39 NOPE 01:15:31 @karma vim/emacs/notepad 01:15:31 vim/emacs/notepad has a karma of 1 01:15:34 kmc: Good editor, right? 01:15:53 AM I RITE?!?!?!?!?!?!? 01:16:03 penis balls 01:16:20 @karma pico 01:16:21 pico has a karma of 0 01:17:14 @karma teco 01:17:15 teco has a karma of 0 01:17:24 *Gasp* 01:17:27 teco++ 01:18:24 kmc: You should invent an esolang called ++C 01:18:41 And then complain to people that ++C/C++ is undefined behavior. 01:18:47 like C++, but more proactive 01:19:02 haha 01:19:47 proäctive 01:23:33 #esoteric: Channel of diaeresis marks. 01:25:43 indeëd 01:26:10 * oerjan hopes Gregor isn't in a foül moöd 01:26:16 ïndëëd 01:26:24 Oops, that was too many. 01:26:33 ındėėd 01:27:03 it's a small step for man, a great step for unicodë 01:27:38 üṅıċȯḋė 01:29:46 -!- TodPunk has quit (Read error: Connection reset by peer). 01:29:59 -!- TodPunk has joined. 01:33:20 -!- mtve has quit (Ping timeout: 244 seconds). 01:33:59 -!- mtve has joined. 01:35:08 -!- pikhq_ has quit (Remote host closed the connection). 01:35:14 -!- pikhq has joined. 01:35:48 -!- edwardk has quit (Ping timeout: 244 seconds). 01:37:29 what do I want to set COLORTERM to if I want 16-bit color 01:38:44 -!- pikhq has quit (Remote host closed the connection). 01:39:49 -!- edwardk has joined. 01:40:19 -!- pikhq has joined. 01:40:37 -!- mtve has quit (Ping timeout: 240 seconds). 01:40:59 -!- mtve has joined. 01:43:22 Gregor: what's the default user when running inside umlbox 01:43:34 and what's the best way to change that. 01:45:17 The default user within umlbox is an imaginary user with the same ID as the host user, and the nature of UML makes that effectively impossible to change while still allowing any filesystem access at all. 01:45:40 ah okay 01:46:45 is the imaginary user in the same groups as the original? From my playing around with umlbox, it seems as though the sandbox user is always considered "other" within hostfs mountpoints. 01:49:22 `ls --color 01:49:24 ​.[0m.[01;34mbin.[0m \ canary \ foo \ karma \ .[01;34mlib.[0m \ .[01;34mpaste.[0m \ quotes \ .[01;34mshare.[0m \ .[01;34mwisdom.[0m 01:57:03 Gregor: Did you write any musics recently? What programd have you used for such things? Do you know of PPMCK? 01:57:16 zzo38: Only acoustic, none as they were acoustic, no. 01:57:52 Gregor: Using what instruments? 01:59:13 My digital piano. (OK, not really acoustic, but effectively acoustic) 02:05:23 You should definitely push it as "electronic". :) 02:07:26 I sometimes play piano, although when I write music I want to write music on paper using standard musical notation or on computer using MML. 02:08:28 What model of digital piano? 02:09:31 `ls logs 02:09:34 ls: cannot access logs: No such file or directory 02:09:44 `ls 02:09:47 bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom 02:11:38 `run paste "`which paste`" 02:11:41 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.30276 02:12:01 Did you put this music on the computer? Do you have other musical instruments? Did you ever use any non-12-TET? 02:14:27 Gregor: I'm currently writing a hackbot clone using my perl bot instead of multibot and git instead of hg 02:14:36 and then seeing if I can do daemons. 02:16:00 -!- Jafet has joined. 02:22:22 I have recently written some cover of music, using an improved version of PPMCK, to make .NSF music. 02:45:40 -!- david_werecat has quit (Ping timeout: 248 seconds). 03:02:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:09:29 tswett, monqy update 03:11:56 -!- MDude has quit (Ping timeout: 248 seconds). 03:12:43 -!- MDude has joined. 03:23:37 Thank you. 03:45:30 finally they have started updating monqy again! 03:56:02 Gregor: my current IRC sandbox thing uses one git repo. it doesn't clone the repo on each command. Is this a bad idea? Why did you set it up that way with hackbot? 03:56:27 kallisti: So that simultaneously running commands can't interfere. 03:56:34 -!- pikhq_ has joined. 03:56:40 ah I see. 03:56:52 -!- pikhq has quit (Ping timeout: 250 seconds). 04:01:01 -!- kallisti has quit (Ping timeout: 246 seconds). 04:01:32 -!- MDude has quit (Ping timeout: 248 seconds). 04:01:51 -!- MDude has joined. 04:02:03 -!- kallisti has joined. 04:02:04 -!- kallisti has quit (Changing host). 04:02:04 -!- kallisti has joined. 04:02:30 I'm not actually sure if my bot handles commands simultaneously or not. if it does it's part of the perl library I'm using. 04:02:50 I think it does, it just gives the appearance of sequential operation by buffering the output. 04:37:13 -!- myndzi has quit (Read error: Connection reset by peer). 04:44:34 -!- Phantom_Hoover has joined. 04:51:00 -!- amy_ has joined. 04:51:04 -!- amy_ has changed nick to Calico. 04:51:10 Calico: hi 04:51:13 -!- Jafet has quit (Quit: Leaving.). 04:51:15 kallisti: Hello there. 04:52:17 `welcome Calico 04:52:21 Calico: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 04:52:40 Phantom_Hoover, did you see the update? 04:52:45 That I did. 04:53:10 Calico: Do you like this??????????? 04:53:26 If you're talking about excess quotation marks then no. 04:53:30 Question, even 04:53:40 I'm so tired, I'm going to leave in a minute anyway. 04:54:52 OK 05:22:42 wtf 05:23:09 * oerjan tried registering on ghc trac but couldn't understand the captcha :( 05:24:33 * oerjan slides away, robotically 05:29:01 "Someone who sacrifice Liberty for Security deserves neither." -Benjamin Franklin 05:38:40 * oerjan makes his first reddit comment instead. 05:38:50 -!- Calico has quit (Quit: Leaving). 05:39:00 noooooo 05:39:22 kmc: http://www.reddit.com/r/haskell/comments/wp70x/lambdacase_and_multiway_if_added_to_ghc_head_for/c5fn688?context=1 05:39:40 i had to point it _somewhere_ :( 05:39:43 *it out 05:41:43 basically we now have the dangling if from hell :P 05:43:08 * oerjan realizes this means he's going to feel obliged to vote on stuff now 05:55:59 -!- pikhq has joined. 05:56:07 -!- pikhq_ has quit (Ping timeout: 240 seconds). 06:10:30 -!- asiekierka has joined. 06:12:31 -!- oerjan has quit (Quit: Good night). 06:20:18 -!- TeruFSX has quit (Ping timeout: 246 seconds). 06:31:35 -!- nooga has joined. 06:47:27 so 06:47:28 guys 06:47:31 I made 06:47:33 an esolang 06:50:54 so. 06:51:09 the fact that all monoids have coequalizers is far more interesting 06:52:44 coppro: What does it mean? 06:52:56 What is a coequalizer? 07:02:07 you know what an equalizer? 07:02:08 is 07:03:03 Actually I don't know that either 07:05:05 * kallisti comes to #esoteric 07:05:08 * kallisti announces esolang. 07:05:16 * kallisti is ignored for maths. 07:05:22 aww 07:05:25 :_( 07:05:39 kallisti: What esolang did you make? 07:05:48 zzo38: can you read perl? 07:05:56 I have a reference interpreter in perl. 07:05:56 Somewhat. 07:06:22 I am writing a music! 07:06:24 it's based off of dupdog, in some ways. 07:06:36 We couldn't have the channel be *on topic*, now could we? 07:06:37 Wait shit those guys in that one Simpsons episode in France were called Ugolin and Cesar? 07:06:42 HOW DID I NEVER KNOW 07:06:47 kallisti: OK and in what way? 07:06:50 but more-to-the-point, at the sacrifice of possibly being turing complete 07:07:16 -!- Phantom_Hoover has set topic: no esolang talk for [0] days | http://codu.org/logs/_esoteric/. 07:07:28 (dammit kallisti) 07:07:38 zzo38: a character in the source code is interpreted as a command; the command modifies the source code. the process repeats. 07:08:01 in dupdog, the first character in the source is interpreted as a command. in dogless, it's the character after the first ] 07:08:30 (there's only one interpreter. no alternating interpreters.) 07:09:06 OK 07:10:25 http://sprunge.us/JGVg?perl current source. I haven't fully tested it. 07:11:23 another difference is that commands can have character arguments. > and < are substition commands 07:11:49 >ab substitutes the first a that occurs after the command for b 07:12:02 ? reverses the source, ~ duplicates the source. ^ swaps everything on the left with everything on the right. abc[^def becomes def[abc 07:14:39 ! deletes everything on the left. abc[!def becomes [def 07:15:44 [ removes everything up to and including the next ] 07:15:50 ][this is ignored]! 07:15:55 becomes [! 07:16:26 (or the end of the string if there's no matching ]) 07:16:46 anything else is just moved from one side of the ] to the other. abc[def becomes abcd[ef 07:17:57 if there's no ], the program terminates, and the output is the source code. 07:20:17 OK 07:33:06 Phantom_Hoover: ahh the exchange student program where bart learns french.. yeah 07:34:18 Except now I realise it's a really blatant reference to the villains of Jean de Florette. 07:34:50 simpsons is littered with references... 07:35:17 I know, but that one surprised me. 07:35:43 i was flicking a library book about animation and discovered that there is infact a "jolly little elves" 07:35:47 or something like that 07:47:15 -!- MDude has quit (Read error: Connection reset by peer). 07:47:30 -!- MDude has joined. 07:49:18 -!- zzo38 has quit (Quit: I am putting some music into the computer). 07:56:25 -!- pikhq_ has joined. 07:56:44 -!- pikhq has quit (Ping timeout: 248 seconds). 08:00:57 so yeah, I guess I should make a wiki page. 08:01:41 and maybe attempt to do something interesting with it. 08:02:28 I don't see any other kind of arithmetic besides unary being feasible really. 08:04:18 dunno, you might be able to shuttle back and forth somehow, with substers at each end 08:04:45 (and ?s) 08:04:50 oh btw I changed < so that it works like > 08:04:53 only one substition is made 08:05:09 oh 08:05:11 I guess the asymmetry could be useful somehow 08:16:50 -!- kallisti has quit (Ping timeout: 265 seconds). 08:22:15 -!- kallisti has joined. 08:22:15 -!- kallisti has quit (Changing host). 08:22:15 -!- kallisti has joined. 08:34:04 11|11[]<|1<1] 08:34:22 this entirely uninterested dogless program takes 2 numbers specified in unary and seperated by |'s 08:34:26 and adds them together 08:34:30 the result is: 1111 08:39:32 $ echo -n '11|11[]<|1<1]' | scripts/Dogless.pl -d | sprunge 08:39:44 http://sprunge.us/Ldbc 08:41:05 unary arithmetic has never been so exciting. 08:42:25 Beer: Helping to make unary arithmetic exciting since 1862! 09:35:33 -!- AnotherTest has joined. 09:39:13 meh 10:05:54 -!- derdon has joined. 10:51:48 one thing i don't like about linguistics is when well-meaning people tell things that are 90% true 10:54:15 if people liked speaking in languages which have a 1 to 1 correspondance with a definition they could just go to latin 10:57:06 "is "but" an interjection? not in english" "my friends use "but" as an interjection, are my friends speaking english? your friends are idiots" "(defeated face)" 10:57:53 it is an interjection when you use it as one 10:58:37 "have your friends published anything? why? if they publish something using but as an interjection we can reference it in OED" 10:59:13 "actually wait.. that alone won't be enough.. but it will be a leg up" 10:59:55 olsner: must be 11:00:34 I would say that every word can be used as an interjection 11:00:47 i think english interjection but is equivalent to japanese ka particle :D 11:01:11 no wait 11:01:17 its not indicating a question always 11:01:18 kedo? 11:01:53 ive heard it used as slang in australia :P 11:02:23 sorta like "i gotta go" "yeah, how come but?" 11:04:38 i think i don't understand linguistics nearly well enough to have a clue whats happening there 11:12:24 ka is not really an interjection I'd say. 11:12:36 It's a question marking particle if used at the end of a sentence. 11:14:23 I remember reading that question marking particles are more common than using word sequence or intonation to mark questions 11:15:53 yes 11:16:15 Are you a dog. You are a dog. 11:16:23 That's what you mean by word sequence? 11:16:30 You can't do that in japanese. 11:16:51 You can't just switch the position of the verb. 11:17:54 in finnish you add usually add suffix -ko when doing that. (For example "Sinä olet koira" -> "Oletko sinä koira") 11:18:14 word order is kind of fluid in japanese as I understand it, but in english you can't switch freely because it might make your statement a question 11:18:50 That's the point, yes. 11:18:58 Are you a dog is clearly a question 11:19:17 You are a dog could be a question but it's usually just a statement. 11:19:32 You're a dog!? 11:19:39 The word order in japanese is subject object verb 11:20:10 The verb always comes at the end. 11:21:13 and a correct sentence does not need a subject neither an object. 11:21:18 best channel name ever: #!/bin/mksh 11:24:29 ah, here it is: http://wals.info/feature/116A 11:28:15 oh 11:28:18 you meant globally 11:30:08 http://wals.info/feature/49A?s=20&z3=3000&z4=2999&z5=2998&z2=2997&z7=2996&z8=2995&z9=2994&z6=2993&z1=2992&tg_format=map&v1=cfff&v2=cffc&v3=cff0&v4=cfc0&v5=cf40&v6=cd00&v7=ca00&v8=c000&v9=dfff 11:30:12 interesting. 11:39:35 20 MB/s download speed... How I wish that was not only on a server I'm sshed to atm. 11:39:48 (that is megabyte) 11:39:53 (not megabit) 11:58:33 -!- boily has joined. 12:02:10 -!- MoALTz has joined. 12:03:33 -!- boily has quit (Quit: WeeChat 0.3.8). 12:05:47 100%[=======================================================================>] 177,209,344 81.9M/s in 2.1s 12:05:51 That's in bytes too. 12:14:02 -!- boily has joined. 12:15:37 Vorpal: fizzie wins 12:25:18 to me, video:audio::c:haskell 12:28:24 olsner: Sadly, it's all due someone else. (It was on my workstation at work.) 12:28:47 At home-work, to be specific. Wait, that sounds wrong too. 12:29:43 the workstation in your working-from-home office? 12:31:57 The workstation at the place of work where I usually am, as opposed to this current temporary location. 12:32:11 But it's not quite "home" in the normal sense. 12:32:36 @wn home 12:32:36 *** "home" wn "WordNet (r) 3.0 (2006)" 12:32:36 home 12:32:36 adv 1: at or to or in the direction of one's home or family; "He 12:32:38 stays home on weekends"; "after the game the children 12:32:40 brought friends home for supper"; "I'll be home 12:32:42 [43 @more lines] 12:32:46 Bleh. 12:33:03 your work-away-from-work? 12:33:14 5. (2) base, home -- (the place where you are stationed and from which missions start and end) 12:33:24 I guess that sense sort of matches. 12:33:36 If I take the view that I'm currently on a "mission". 12:34:02 They do pay me some daily allowance cost-of-living kind of thing for the duration of this trip. 12:35:57 a per-diem? 12:39:16 Yes. 12:39:19 Exactly that. 12:39:24 I didn't know there was a word for it. 12:39:28 @wn per-diem 12:39:28 No match for "per-diem". 12:39:31 Huh. 12:39:36 @wn perdiem 12:39:37 No match for "perdiem". 12:39:41 (Typo.) 12:39:43 @wn per_diem 12:39:43 No match for "per_diem". 12:39:58 Weird thing. The WordNet at the aforementioned workstation knows about it. 12:40:24 $ wn per_diem -over 12:40:24 Overview of noun per_diem 12:40:24 The noun per diem has 1 sense (no senses from tagged texts) 12:40:24 1. per diem -- (a daily allowance for living expenses (especially while traveling in connection with your job)) 12:40:28 See. 12:40:47 It's Release 3.0 too. 12:40:55 oh, of course it's not written with a hyphen in english 12:41:05 Maybe the lambdabot hookup doesn't do the underscore that the command line interface does. 12:41:05 http://entertainment.slashdot.org/story/12/07/17/205255/anti-piracy-group-fined-for-using-song-without-permission 12:41:08 @wn per diem 12:41:09 No match for "per". 12:41:09 No match for "diem". 12:41:16 @wn "per diem" 12:41:17 *** "per diem" wn "WordNet (r) 3.0 (2006)" 12:41:17 per diem 12:41:17 adv 1: one every day; "we'll save 100 man-hours per diem" [syn: 12:41:17 {per diem}, {by the day}] 12:41:17 n 1: a daily allowance for living expenses (especially while 12:41:19 traveling in connection with your job) 12:41:20 There. 12:56:53 -!- ogrom has joined. 12:57:26 newly announced jfeg (joint forum experts group) compression scheme uses data such as what a person's source of income is to predict their comments during flame wars 13:00:10 how? 13:00:33 also do you have link? 13:01:10 header includes field containing location of first hitler reference in thread 13:02:48 nortti: sorry, it only exists in my imagination 13:03:51 oj 13:05:12 i said it cos i read this 13:05:18 "So we don't need to discuss this anymore. Copyright infringement is "THEFT" http://www.fbi.gov/about-us/investigate/cyber/ipr" 13:05:37 and i had to vent somehow 13:16:48 -!- asiekierka has changed nick to asiekurPony. 13:17:04 -!- asiekurPony has left ("Wychodzi"). 13:45:51 -!- epicmonkey has joined. 13:47:14 -!- edwardk has quit (Quit: Leaving...). 13:56:30 -!- ogrom has quit (Ping timeout: 276 seconds). 13:56:39 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:57:44 -!- ogrom has joined. 13:57:44 -!- ogrom has quit (Read error: Connection reset by peer). 13:58:04 -!- ogrom has joined. 14:28:29 -!- copumpkin has joined. 15:06:32 um 15:06:56 does somebody know how to recover files in OS X? 15:07:18 fsck? 15:19:04 mv ~/.Trash/$file $file 15:21:54 i've lost whole project when trying to import it into Xcode 15:22:20 how the hell am I supposed to find C sources on this goddamn partition 15:22:26 deleted C sources 15:27:17 I hate it when people rob my thoughts and don’t leave me with a copy. :-( 15:27:21 s/with // 15:28:11 nortti: what do you mean fsck? 15:28:33 I have recovered files from broken fs with it 15:33:04 FFFFFFFFUUUUUUUUU 15:33:16 i will reimplement this shit 15:33:18 fine 15:34:01 Does it have something called Time Machine? I’m not familiar with it, i’ve just heard the name. Filesystem snapshots, i presume. 15:37:15 You need to make those happen, I believe. 15:38:07 And I think conventionally you do those on a separate volume. 15:38:13 Or a Time Capsule. 15:49:48 it sounds like the program name fsck is a play on the word fuck, but applying to file systems 15:51:33 file system check 15:52:01 no, it means fuck 15:52:09 :P 15:52:16 @google fsck 15:52:17 http://en.wikipedia.org/wiki/Fsck 15:52:18 Title: fsck - Wikipedia, the free encyclopedia 15:52:43 O_o The system utility fsck (for "file system check") is a tool for checking the consistency of a file system 16:02:29 -!- Madoka-Kaname has joined. 16:04:47 -!- zzo38 has joined. 16:09:00 -!- derdon has quit (Ping timeout: 248 seconds). 16:16:18 you guys sure like foo, isn't foo just bar? 16:17:33 i mean the world was just fine before foo 16:18:04 maybe i am just thinking too homeostasis 16:18:15 not progressive enough 16:18:55 -!- derdon has joined. 16:19:07 it's almost as if the main payoff of foo is the ability to appreciate foo 16:19:34 maybe it's just me 16:20:27 ; 16:20:46 youse fellers sure dig foo, ain't foo just like bar? 16:21:51 foo is probably just a product of the industrial age 16:22:09 i guess i can't cope with change 16:25:38 you can't order beer from a foo 16:31:19 -!- epicmonkey has quit (Ping timeout: 246 seconds). 16:39:54 shmoo 16:40:02 i've lost the project 16:40:14 3 KLOC 16:40:16 UHH 16:42:39 -!- DHeadshot has joined. 16:45:07 Yay. my minidistro is now ready. Complete size is under 4MB (including build system, sources, patches and binaries). It includes toybox, sash, my own crappy init and mksh 16:45:47 Not small enough to fit on a floppy disk. 16:45:53 Not even a superformatted one. 16:46:36 well is it build staticaly against glibc. next step is swich to musl 16:46:50 also just binaries it 2.3MB 16:47:43 Mmmm. 16:47:52 *is 16:48:27 and mksh can be replaced with heirloom-sh if needed 17:00:05 -!- ogrom has quit (Quit: Left). 17:04:40 -!- calamari has joined. 17:05:15 -!- MDude has quit (Read error: Connection reset by peer). 17:05:24 -!- calamari has left. 17:05:34 -!- MDude has joined. 17:06:57 -!- DHeadshot has quit (Ping timeout: 276 seconds). 17:09:59 nooga: what you need now is, not to realize anything in particular, but to act in accordance with the understanding that the project is gone (unless it isn't, which it is) 17:10:41 last few words wrong 17:19:09 it will be fun 17:19:15 i will make it better 17:19:17 naaah 17:19:20 fml 17:19:38 why? 17:35:37 -!- epicmonkey has joined. 17:40:33 -!- zzo38 has quit (Remote host closed the connection). 17:47:15 -!- Madoka-Kaname has left ("Hug~♪"). 17:55:15 FireFly: can you hang out at the foo till 5am? 17:56:23 -!- Gregor has set topic: no foo talk for [0] days | http://codu.org/logs/_esoteric/. 17:58:43 theres nothing good on tv 18:01:06 -!- lament has joined. 18:01:20 WHAT NOW 18:15:45 now.. we chat 18:16:28 -!- MDude has quit (Ping timeout: 248 seconds). 18:16:44 -!- MDude has joined. 18:17:18 NOOOOOOOOOOOOOOOOOOOOOOO 18:18:35 AHHHHHHHHHH 18:19:14 idea! 18:22:39 Also, did anythig happen while I was disconnected that caused lament to screeam "no" or was that a response to nothing happening? 18:26:09 WHAT NOW now.. we chat NOOOOOOOOOOOOOOOOOOOOOOO 18:26:55 It's even worse than I thought! 18:28:35 no... it's even worse yet 18:29:22 -!- nshelton has quit (Read error: Connection reset by peer). 18:30:07 because this picture shows my idea.. http://oi46.tinypic.com/3466l1w.jpg 18:30:47 -!- oerjan has joined. 18:32:01 -!- azaq23 has joined. 18:32:34 the idea being to simulate someone, possibly with a mouse interface, playing a motion sensor console such as wii, psmove, or kinect 18:33:18 huh 18:33:40 so you click and drag the figures arm up.. 18:33:48 what's the difference between JL and JB instructions? 18:34:01 and the swordsman in turn drags it's arm up 18:34:03 less vs below 18:35:53 if you use a physics engine, you could make it so that the wiimote can be dropped if you move it too fast 18:36:09 or you could simulate having to replace the batteries 18:36:47 also input lag! 18:37:29 -!- Vorpal has quit (Ping timeout: 272 seconds). 18:37:39 if people liked speaking in languages which have a 1 to 1 correspondance with a definition they could just go to latin 18:37:51 latin isn't actually a logical language. hth. 18:38:03 oh ! 18:38:44 -!- Taneb has joined. 18:38:51 Hello 18:38:58 Make it a web application that can work in the PS3's and/or the Wii's browser. 18:38:58 hi Taneb 18:38:58 im basically trying to argue there against pedantry for pedantry sake 18:39:20 I'm in Durham 18:39:20 Not sure if the former can take the psmove as a mouse input. 18:40:03 humm.. i suppose that pedantry serves the subtle purpose of preventing the language changing too quickly 18:40:54 but, we can let them think they are just trying to teach 18:41:10 -!- TeruFSX has joined. 18:41:17 Ahahahahha 18:41:35 I would say that every word can be used as an interjection <-- horsefeathers 18:41:44 * oerjan slides away, paradoxically 18:41:59 hogwash! 18:42:22 When I was a kid, I thought the word "Hallelujah" came from the School House Rock song 18:42:56 nah it comes from handel 18:43:05 http://www.youtube.com/watch?v=_e24kdjdbtw 18:44:16 i think i don't understand linguistics nearly well enough to have a clue whats happening there <-- ask augur, then you'll get even more confused :P 18:44:54 i have heard the word used that way but 18:45:29 now i think its something more sinister than a mere interjection 18:45:37 -!- Taneb has quit (Ping timeout: 240 seconds). 18:45:44 perhaps it's a but shift 18:46:02 I remember reading that question marking particles are more common than using word sequence or intonation to mark questions <-- /me vaguely recalls that italian has intonation, but drops it if there is a question word 18:46:54 it's just a nice but 18:47:14 -!- lament has left. 18:47:16 * oerjan sidles away from the tar and feathers 18:47:29 -!- DHeadshot has joined. 18:47:51 lament was here? and i managed to chase him away without even knowing. 18:48:32 who is lament 18:49:17 lament is lament 18:49:52 nortti: an esolanger of old times. also technically still an op here. 18:50:02 -!- edwardk has joined. 18:50:17 oh, I thought he was a haskeller more than an esolanger 18:50:46 i don't know if lament is a haskeller, i don't recall him from my time in #haskell 18:51:03 (which is getting a long time ago, anyway) 18:51:10 *becoming 18:51:54 yes, I don't think I've ever seen you in the haskell channels 18:52:36 i think i was top 5 or 6 speaker in #haskell in 2008 or thereabouts. 18:53:06 wow 18:53:33 I think I might've been in #haskell around 2008 18:54:48 -!- ais523 has joined. 18:55:36 -!- copumpkin has changed nick to pessimo. 18:56:48 -!- pessimo has changed nick to copumpkin. 19:02:16 -!- Taneb has joined. 19:02:32 Hello again 19:07:09 @ping 19:07:09 pong 19:07:19 @pång 19:07:20 pong 19:13:42 -!- DHeadshot has quit (Ping timeout: 276 seconds). 19:14:28 -!- aloril has quit (Ping timeout: 248 seconds). 19:15:06 -!- DHeadshot has joined. 19:21:05 Removing google-chrome-stable ... 19:21:05 dpkg: unrecoverable fatal error, aborting: 19:21:05 fork failed: Cannot allocate memory 19:21:07 -!- kallisti has quit (Ping timeout: 240 seconds). 19:21:09 Sometimes Google is downright evil. 19:21:48 how? 19:22:15 also why are you removing chrome? 19:22:50 I'm just trying to switch to my distro's packaged version instead of Google's. 19:23:04 oh 19:23:18 -!- kallisti has joined. 19:23:18 -!- kallisti has quit (Changing host). 19:23:18 -!- kallisti has joined. 19:24:44 -!- Slereah_ has joined. 19:25:19 Bahahaha, I quit Firefox, then Chrome could be uninstalled. 19:26:17 :P 19:26:30 -!- kmc_ has joined. 19:27:14 -!- pikhq has joined. 19:27:17 -!- AnotherTest has quit (Quit: Leaving.). 19:27:28 -!- kmc has quit (Disconnected by services). 19:27:41 -!- aloril has joined. 19:28:28 -!- MDude has quit (Ping timeout: 248 seconds). 19:28:52 -!- shachaf_ has joined. 19:29:21 -!- kmc_ has changed nick to kmc. 19:29:30 -!- tswett_ has joined. 19:30:50 what is your favourite l system 19:31:09 I'm using my voice recognition 19:33:30 My favorite l system is l. 19:33:53 L-system 19:34:12 -!- pikhq_ has quit (*.net *.split). 19:34:13 -!- Slereah has quit (*.net *.split). 19:34:14 -!- FireFly has quit (*.net *.split). 19:34:14 -!- shachaf has quit (*.net *.split). 19:34:14 -!- tswett has quit (*.net *.split). 19:34:20 ℓ 19:34:25 £ 19:34:28 -!- Effilry has joined. 19:34:40 :( 19:35:16 -!- edwardk has quit (Ping timeout: 248 seconds). 19:38:06 -!- edwardk has joined. 19:46:33 Taneb: L-system? 19:46:53 zt 19:46:57 bah 19:47:17 string rewritinh system 19:47:30 see Luigi on the wiki 19:47:35 ah 19:53:16 -!- kallisti has quit (Ping timeout: 252 seconds). 19:55:56 Taneb: 0 -> 01, 1 -> 10 has a certain nostalgy for me. 19:58:49 Thue-morse sequence 19:59:03 ? 19:59:19 indeed, my advisor liked to use it as example 20:00:26 -!- kallisti has joined. 20:00:26 -!- kallisti has quit (Changing host). 20:00:26 -!- kallisti has joined. 20:05:56 How can I say what the thue morse sequence 20:06:23 is in about two minutes? 20:07:01 well first you give the above substitution 20:07:06 then you just write 20:07:06 0 20:07:07 01 20:07:09 0110 20:07:11 01101001 20:07:18 0110100110010110 20:07:58 and in the limit, you get an infinite sequence that is the substitution applied to itself. 20:09:07 > fix ((>>= \x -> case x of '0' -> "01"; '1' -> "10") . ('0':)) 20:09:10 "01011001101001011010011001011001101001100101101001011001101001011010011001... 20:09:29 you might then point out that it's non-periodic, but every finite subsequence occurs with bounded gaps. 20:09:50 (which is what made it fit into the framework of my advisor) 20:10:26 (although for that you also need to extend it infinitely leftwards as well. there are two ways of doing so.) 20:10:45 either mirror, and mirror _and_ switch 0's and 1's. 20:10:56 *or mirror 20:11:40 uniform recurrence was the term for those bounded gaps 20:13:37 and the fact that there were two ways of extending leftwards meant that a tweak had to be made later when constructing the infinite diagrams. 20:14:44 Thanks 20:15:33 copumpkin: your sequence looks wrong. 20:16:02 > fix (('0':) . (>>= \x -> case x of '0' -> "01"; '1' -> "10") . tail) 20:16:06 mueval-core: Time limit exceeded 20:16:09 wat 20:16:21 oh duh 20:16:37 > fix (("01"++) . (>>= \x -> case x of '0' -> "01"; '1' -> "10") . tail) 20:16:39 "01101001100101101001011001101001100101100110100101101001100101101001011001... 20:16:58 oh hm 20:17:09 also known as the "generic binary sequence in movies and television" 20:17:11 > fix ((>>= \x -> case x of '0' -> "01"; '1' -> "10") . ('0':) . tail) 20:17:13 "01101001100101101001011001101001100101100110100101101001100101101001011001... 20:17:18 kallisti: it is? :P 20:17:21 oerjan: what's wrong with it? 20:17:31 well, it reminds me of it. 20:17:36 it has enough variation. 20:17:42 to be just arbitrarily chosn 1's and 0's 20:17:43 copumpkin: you need to drop the 0 off before adding it again 20:17:56 oerjan: nah, it's the same as yours except all concatted together, from what I can see? 20:18:07 break it up into power-of-two chunks 20:18:36 maybe I'm wrong :) 20:18:38 copumpkin: um it's _one_ infinite sequence of digits, not a sequence of sequences 20:19:20 oh well I misunderstood then :P 20:20:11 copumpkin: you want a sequence that is a fixpoint of (>>= \x -> case x of '0' -> "01"; '1' -> "10"), but fix isn't lazy enough so you must help it along by choosing the first element, which ('0':) . tail does 20:20:42 without the tail, the result isn't a fixpoint of the original sense 20:20:59 so here's an idea for a language: 20:21:01 Y sed 20:21:09 a sed program with itself fed as input 20:21:25 iterated until the output is the same in X iterations. 20:22:45 to be just arbitrarily chosn 1's and 0's <-- you see that it isn't when you split it into some power of 2 chunks, though 20:23:03 well of course it's not "arbitrary" (whatever that even means in a technical sense) 20:23:35 I guess all binary sequences sound like "generic binary sequence from TV or movie" 20:23:48 another way of constructing it is to xor all the bits of the index position 20:24:36 Y sed is turing complete no? it's iterated regex. 20:24:53 reminds me of /// 20:25:03 kallisti: i have heard that iterated sed is TC somehow, anyway 20:25:26 the difference here being that the source code is the input and the output 20:26:05 sed can replace in a loop, it even has conditional jumps, so it's obviously TC 20:26:36 it seems like when you start forcing the source to be the input and output weird things start happening with its computational class. I somehow think that dogless isn't TC. 20:27:28 > [ chr . foldl1' ((xor .) . ord) . flip (showIntAtBase 2 intToDigit) "" | n <- [0..]] 20:27:30 Couldn't match expected type `a -> a' 20:27:30 against inferred type `GHC.Ty... 20:27:36 too optimistic 20:27:41 oh 20:28:00 > [ chr . foldl1' ((xor .) . ord) $ showIntAtBase 2 intToDigit n "" | n <- [0..]] 20:28:01 Couldn't match expected type `a -> a' 20:28:01 against inferred type `GHC.Ty... 20:28:10 hmph 20:28:12 oh 20:28:17 precedence? 20:28:19 > [ chr . foldl1 ((xor .) . ord) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]] 20:28:20 Couldn't match expected type `a -> a' 20:28:21 against inferred type `GHC.Ty... 20:28:32 oh nevermind 20:28:42 now what 20:28:53 :t (xor .) . ord 20:28:54 Couldn't match expected type `f a' against inferred type `Int' 20:28:54 Expected type: Char -> f a 20:28:54 Inferred type: Char -> Int 20:29:01 oh 20:29:15 :t xor 20:29:15 -!- shachaf_ has changed nick to shachaf. 20:29:16 forall a. (Bits a) => a -> a -> a 20:29:19 :t xor `on` ord 20:29:20 Char -> Char -> Int 20:29:22 -!- shachaf has quit (Changing host). 20:29:22 -!- shachaf has joined. 20:29:27 :t chr .: xor `on` ord 20:29:29 Char -> Char -> Char 20:29:35 > [ chr . foldl1 (flip xor . ord) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]] 20:29:36 Couldn't match expected type `GHC.Types.Char' 20:29:36 against inferred type... 20:30:03 :t flip xor . ord 20:30:05 Char -> Int -> Int 20:30:23 > [ chr . foldl1 (flip (xor . ord)) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]] 20:30:24 Couldn't match expected type `GHC.Types.Char' 20:30:25 against inferred type... 20:30:32 ...this is getting awkward :P 20:30:41 oh 20:30:42 :t flip (xor . ord) 20:30:43 Int -> Char -> Int 20:30:48 > [ chr . foldl' (flip (xor . ord)) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]] 20:30:51 "01\SOH\NUL1001\SOH\NUL\NUL\SOH\NUL\SOH\SOH\NUL1001011001101001\SOH\NUL\NUL... 20:30:56 oops XD 20:31:25 about that output... 20:31:30 _maybe_ xor'ing digit characters isn't such a good operation :P 20:32:46 the perils of programming after too much abstract math. 20:33:18 somehow i had the idea that '0' `xor` '1' would be '1' etc. 20:34:08 `xor` True is an Inverter ;) 20:34:14 (and `xor` False is Identity) 20:34:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: xor`: not found 20:34:34 > (xor `on` read . return) 0 1 :: Word 20:34:35 No instance for (GHC.Num.Num GHC.Types.Char) 20:34:35 arising from the literal `0... 20:34:44 > (xor `on` read . return) '0' '1' :: Word 20:34:46 1 20:34:50 > (xor `on` read . return) '1' '1' :: Word 20:34:52 0 20:35:28 hmm, what are opinions on Rust in here? 20:35:35 -!- Taneb has quit (Remote host closed the connection). 20:35:37 it looks sort-of like what Splint was trying to do but better designed 20:35:42 -!- Taneb has joined. 20:35:42 it'll be nice to see what it's like when it's done 20:36:00 what is rust 20:36:01 help 20:36:14 ais523: btw I made a spiritual successor to dupdog 20:36:37 I need to do some other stuff before I can write up a wiki page for it. 20:36:58 http://sprunge.us/BiLC?perl reference interpreter in Perl. 20:38:12 ais523: looks interesting 20:38:13 do you have to return $_? 20:38:16 I'll have to read more about it. 20:38:20 mroman: yes 20:38:25 so 20:38:27 return; is just return undef 20:38:32 although everything can handle $_ 20:38:34 return cant? 20:38:42 "everything" can't handle $_ 20:38:47 ok 20:38:47 many things can 20:38:48 most 20:38:49 return is not one of those. 20:38:52 pff. 20:38:54 perl sucks :) 20:39:11 return; is typically used to exit a "void" function 20:39:16 so it would make sense that it returns an undefine result. 20:39:23 *undefined 20:39:33 As much sense as any decision in perl can make ;) 20:39:43 but yeah. 20:39:59 having return; return $_ is probably a bad idea. 20:40:05 oh oopse so of my old recursion is showing 20:40:11 *some 20:40:28 I had written it recursive before but I don't think perl optimizes tail calls. 20:41:23 http://sprunge.us/BiLC?perl 20:41:29 er.... 20:42:18 http://sprunge.us/aZYA?perl there we go 20:46:12 wikipedia has added popup text to those numbered reference links. those who use text browsers and the like can disregard. 20:49:58 oerjan: :D 20:51:00 :P 21:02:37 -!- Effilry has quit (Changing host). 21:02:37 -!- Effilry has joined. 21:02:48 -!- Effilry has changed nick to FireFly. 21:04:05 -!- Taneb has quit (Remote host closed the connection). 21:04:13 -!- Taneb has joined. 21:04:44 -!- Taneb has quit (Client Quit). 21:06:28 -!- MoALTz has quit (Quit: Leaving). 21:11:20 -!- pikhq_ has joined. 21:11:24 -!- pikhq has quit (Ping timeout: 248 seconds). 21:24:23 -!- MDude has joined. 21:25:52 -!- azaq23 has quit (Quit: Leaving.). 21:26:51 mroman: $_ is implicit in scalar builtin operators, usually string or numeric operators, and basically anything that takes one-argument. return isn't really a scalar operator. 21:27:11 its context depends on the calling context, in fact. 21:27:35 return could evaluate its argument in either list, scalar, or whatever-ekse context. 21:27:38 *else 21:31:54 ais523: structural typing in purely functional languages is something I'm interested in. 21:34:30 structural typing? 21:38:00 -!- epicmonkey has quit (Ping timeout: 276 seconds). 21:40:23 nortti: the type of a value is determined by the structure of its representation. 21:53:07 -!- epicmonkey has joined. 22:05:44 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 22:06:22 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:10:08 -!- Phantom_Hoover has joined. 22:19:04 -!- edwardk has quit (Quit: Computer has gone to sleep.). 22:20:30 -!- epicmonkey has quit (Ping timeout: 264 seconds). 22:26:29 -!- nortti_ has joined. 22:29:34 -!- copumpkin has joined. 22:44:33 -!- kallisti_ has joined. 22:46:17 -!- kallisti has quit (Ping timeout: 244 seconds). 22:56:29 -!- pikhq_ has quit (Ping timeout: 252 seconds). 22:56:32 -!- pikhq has joined. 23:03:38 -!- edwardk has joined. 23:05:58 -!- kallisti has joined. 23:05:58 -!- kallisti has quit (Changing host). 23:05:58 -!- kallisti has joined. 23:07:51 -!- kallisti_ has quit (Ping timeout: 252 seconds). 23:16:07 -!- kallisti has quit (Ping timeout: 240 seconds). 23:26:35 -!- boily has quit (Quit: WeeChat 0.3.8). 23:38:11 -!- WHAT_RIGHT has joined. 23:38:20 THIS EXISTS 23:38:41 `WELCOME WHAT_RIGHT 23:38:44 WHAT_RIGHT: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 23:41:05 `WELcome 23:41:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: WELcome: not found 23:41:18 * FireFly wonders how many variations of the welcome command there are 23:41:26 * FireFly believes that he knows four 23:41:41 finally the `WELCOME command gets properly used! 23:42:48 FireFly: welcome, WELCOME and WeLcOmE 23:43:03 Isn't there also one in unicode fixed-width characters? 23:43:04 FireFly: what is the fourth 23:43:18 oh. that one 23:43:48 Too bad that link is broken 23:43:53 `WeLcOmE FireFly 23:43:57 FiReFlY: wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: hTtP://EsOlAnGs.oRg/wIkI/MaIn_pAgE. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN IrC.DaL.NeT.) 23:44:11 oh. that still works 23:44:28 you should make it not break the capitalization in links 23:45:22 -!- DHeadshot has quit (Read error: Connection reset by peer). 23:45:38 wasn't there before a page at HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE? 23:45:43 -!- DHeadshot has joined. 23:45:49 WHAT_RIGHT: our wiki admin was _supposed_ to make that link work, but i think he got stuck overengineering it (he wants to make it work for _any_ wiki page) 23:47:07 oh and probably to make it work for links followed too 23:47:23 couldn't you just do something about /wiki/ and then setup mediawiki redirects for the various variations of Main_page that are linked to? 23:47:50 FireFly: note that he wants the _page_ to show in all caps 23:47:52 the latter half should be possible without admin powers, even 23:47:57 Ah. 23:48:38 `welcome 23:48:41 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:48:51 feel free to visit that one instead :P 23:55:08 -!- nooga has quit (Ping timeout: 248 seconds).