00:09:40 <HackEgo> 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:52 <HackEgo> 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:48 <oerjan> bit quiet this evening
00:54:20 -!- MDude has quit (Ping timeout: 248 seconds).
00:55:08 -!- MDude has joined.
00:55:19 <quintopia> you blew mdude right out of the channel
00:56:29 <quintopia> well i suspect if you'd kept blowing it could have held him off
00:57:12 <oerjan> oh wait, you said train, never mind
00:57:37 * oerjan goes back to gnawing on someone's leg
01:00:15 <shachaf> kmc: So what does TRAAAAAIN mean?
01:01:14 <kmc> it means TRAAAAAIN
01:01:25 <shachaf> kmc: Did you try saying it in that other channel?
01:01:28 <kmc> 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 <kmc> i did not try it yet
01:01:51 <shachaf> kmc: They actually have three bots.
01:02:02 <shachaf> Each of them prints only a few lines of the train.
01:02:03 <kmc> otherwise it would flood
01:02:26 <shachaf> They also respond to TERRAAAAAIN and PLAAAAANE and other things.
01:03:01 <kmc> PLANTAAAAAIN
01:03:55 <shachaf> The RAAAAAIN in SPAAAAAIN STAAAAAYS MAAAAAINLY in the PLAAAAAIN
01:04:55 <oerjan> urricanes ardly hever appen
01:06:53 <oerjan> 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:33 <shachaf> Wait, so if they never appen, it means they don't ardly hever appen?
01:08:30 -!- meatmanek has joined.
01:08:37 -!- meatmanek has left ("["Textual IRC Client: www.textualapp.com"]").
01:12:31 <HackEgo> du: invalid option -- 'd' \ Try `du --help' for more information.
01:12:32 <Phantom_Hoover> <shachaf> The RAAAAAIN in SPAAAAAIN STAAAAAYS MAAAAAINLY in the PLAAAAAIN
01:12:35 <HackEgo> du: invalid option -- 'd' \ Try `du --help' for more information.
01:12:42 <HackEgo> du: invalid option -- 'd' \ Try `du --help' for more information.
01:14:37 * oerjan swats Phantom_Hoover -----###
01:15:31 <lambdabot> vim/emacs/notepad has a karma of 1
01:15:53 <kmc> AM I RITE?!?!?!?!?!?!?
01:16:03 <kmc> penis balls
01:18:24 <shachaf> kmc: You should invent an esolang called ++C
01:18:41 <shachaf> And then complain to people that ++C/C++ is undefined behavior.
01:18:47 <oerjan> like C++, but more proactive
01:23:33 <Gregor> #esoteric: Channel of diaeresis marks.
01:26:10 * oerjan hopes Gregor isn't in a foül moöd
01:27:03 <oerjan> it's a small step for man, a great step for unicodë
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 <kallisti> 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 <kallisti> Gregor: what's the default user when running inside umlbox
01:43:34 <kallisti> and what's the best way to change that.
01:45:17 <Gregor> 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:46:45 <kallisti> 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:24 <HackEgo> .[0m.[01;34mbin.[0m \ canary \ foo \ karma \ .[01;34mlib.[0m \ .[01;34mpaste.[0m \ quotes \ .[01;34mshare.[0m \ .[01;34mwisdom.[0m
01:57:03 <zzo38> Gregor: Did you write any musics recently? What programd have you used for such things? Do you know of PPMCK?
01:57:16 <Gregor> zzo38: Only acoustic, none as they were acoustic, no.
01:57:52 <zzo38> Gregor: Using what instruments?
01:59:13 <Gregor> My digital piano. (OK, not really acoustic, but effectively acoustic)
02:05:23 <pikhq> You should definitely push it as "electronic". :)
02:07:26 <zzo38> 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 <zzo38> What model of digital piano?
02:09:34 <HackEgo> ls: cannot access logs: No such file or directory
02:09:47 <HackEgo> bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom
02:11:41 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.30276
02:12:01 <zzo38> 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 <kallisti> Gregor: I'm currently writing a hackbot clone using my perl bot instead of multibot and git instead of hg
02:14:36 <kallisti> and then seeing if I can do daemons.
02:16:00 -!- Jafet has joined.
02:22:22 <zzo38> 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 <Sgeo_> tswett, monqy update
03:11:56 -!- MDude has quit (Ping timeout: 248 seconds).
03:12:43 -!- MDude has joined.
03:45:30 <oerjan> finally they have started updating monqy again!
03:56:02 <kallisti> 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 <Gregor> kallisti: So that simultaneously running commands can't interfere.
03:56:34 -!- pikhq_ has joined.
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 <kallisti> 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 <kallisti> 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:13 -!- Jafet has quit (Quit: Leaving.).
04:51:15 <Calico> kallisti: Hello there.
04:52:21 <HackEgo> 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 <Sgeo_> Phantom_Hoover, did you see the update?
04:53:10 <zzo38> Calico: Do you like this???????????
04:53:26 <Calico> If you're talking about excess quotation marks then no.
04:53:40 <Calico> I'm so tired, I'm going to leave in a minute anyway.
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 <zzo38> "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:22 <oerjan> kmc: http://www.reddit.com/r/haskell/comments/wp70x/lambdacase_and_multiway_if_added_to_ghc_head_for/c5fn688?context=1
05:39:40 <oerjan> i had to point it _somewhere_ :(
05:41:43 <oerjan> 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:51:09 <coppro> the fact that all monoids have coequalizers is far more interesting
06:52:44 <zzo38> coppro: What does it mean?
06:52:56 <zzo38> What is a coequalizer?
07:03:03 <zzo38> Actually I don't know that either
07:05:39 <zzo38> kallisti: What esolang did you make?
07:05:56 <kallisti> I have a reference interpreter in perl.
07:06:22 <zzo38> I am writing a music!
07:06:24 <kallisti> it's based off of dupdog, in some ways.
07:06:36 <pikhq> We couldn't have the channel be *on topic*, now could we?
07:06:37 <Phantom_Hoover> Wait shit those guys in that one Simpsons episode in France were called Ugolin and Cesar?
07:06:47 <zzo38> kallisti: OK and in what way?
07:06:50 <kallisti> 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:38 <kallisti> zzo38: a character in the source code is interpreted as a command; the command modifies the source code. the process repeats.
07:08:01 <kallisti> 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 <kallisti> (there's only one interpreter. no alternating interpreters.)
07:10:25 <kallisti> http://sprunge.us/JGVg?perl current source. I haven't fully tested it.
07:11:23 <kallisti> another difference is that commands can have character arguments. > and < are substition commands
07:11:49 <kallisti> >ab substitutes the first a that occurs after the command for b
07:12:02 <kallisti> <ab substitutes /all/ the a's the occur before the ] marker with b's
07:13:49 <kallisti> ? reverses the source, ~ duplicates the source. ^ swaps everything on the left with everything on the right. abc[^def becomes def[abc
07:14:39 <kallisti> ! deletes everything on the left. abc[!def becomes [def
07:15:44 <kallisti> [ removes everything up to and including the next ]
07:16:26 <kallisti> (or the end of the string if there's no matching ])
07:16:46 <kallisti> anything else is just moved from one side of the ] to the other. abc[def becomes abcd[ef
07:17:57 <kallisti> if there's no ], the program terminates, and the output is the source code.
07:33:06 <itidus20> Phantom_Hoover: ahh the exchange student program where bart learns french.. yeah
07:34:18 <Phantom_Hoover> Except now I realise it's a really blatant reference to the villains of Jean de Florette.
07:34:50 <itidus20> simpsons is littered with references...
07:35:43 <itidus20> i was flicking a library book about animation and discovered that there is infact a "jolly little elves"
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 <kallisti> so yeah, I guess I should make a wiki page.
08:01:41 <kallisti> and maybe attempt to do something interesting with it.
08:02:28 <kallisti> I don't see any other kind of arithmetic besides unary being feasible really.
08:04:18 <soundnfury> dunno, you might be able to shuttle back and forth somehow, with substers at each end
08:04:50 <kallisti> oh btw I changed < so that it works like >
08:05:11 <kallisti> 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:22 <kallisti> this entirely uninterested dogless program takes 2 numbers specified in unary and seperated by |'s
08:39:32 <kallisti> $ echo -n '11|11[]<|1<1]' | scripts/Dogless.pl -d | sprunge
08:41:05 <kallisti> unary arithmetic has never been so exciting.
08:42:25 <itidus20> Beer: Helping to make unary arithmetic exciting since 1862!
09:35:33 -!- AnotherTest has joined.
10:05:54 -!- derdon has joined.
10:51:48 <itidus20> one thing i don't like about linguistics is when well-meaning people tell things that are 90% true
10:54:15 <itidus20> 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 <itidus20> "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 <olsner> it is an interjection when you use it as one
10:58:37 <itidus20> "have your friends published anything? why? if they publish something using but as an interjection we can reference it in OED"
10:59:13 <itidus20> "actually wait.. that alone won't be enough.. but it will be a leg up"
11:00:34 <olsner> I would say that every word can be used as an interjection
11:00:47 <itidus20> i think english interjection but is equivalent to japanese ka particle :D
11:01:17 <itidus20> its not indicating a question always
11:01:53 <itidus20> ive heard it used as slang in australia :P
11:02:23 <itidus20> sorta like "i gotta go" "yeah, how come but?"
11:04:38 <itidus20> i think i don't understand linguistics nearly well enough to have a clue whats happening there
11:12:24 <mroman> ka is not really an interjection I'd say.
11:12:36 <mroman> It's a question marking particle if used at the end of a sentence.
11:14:23 <olsner> I remember reading that question marking particles are more common than using word sequence or intonation to mark questions
11:16:15 <mroman> Are you a dog. You are a dog.
11:16:23 <mroman> That's what you mean by word sequence?
11:16:30 <mroman> You can't do that in japanese.
11:16:51 <mroman> You can't just switch the position of the verb.
11:17:54 <nortti> in finnish you add usually add suffix -ko when doing that. (For example "Sinä olet koira" -> "Oletko sinä koira")
11:18:14 <olsner> 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 <mroman> That's the point, yes.
11:18:58 <mroman> Are you a dog is clearly a question
11:19:17 <mroman> You are a dog could be a question but it's usually just a statement.
11:19:39 <mroman> The word order in japanese is subject object verb
11:20:10 <mroman> The verb always comes at the end.
11:21:13 <mroman> and a correct sentence does not need a subject neither an object.
11:21:18 <nortti> best channel name ever: #!/bin/mksh
11:24:29 <olsner> ah, here it is: http://wals.info/feature/116A
11:30:08 <mroman> 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:39:35 <Vorpal> 20 MB/s download speed... How I wish that was not only on a server I'm sshed to atm.
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 <fizzie> 100%[=======================================================================>] 177,209,344 81.9M/s in 2.1s
12:14:02 -!- boily has joined.
12:28:24 <fizzie> olsner: Sadly, it's all due someone else. (It was on my workstation at work.)
12:28:47 <fizzie> At home-work, to be specific. Wait, that sounds wrong too.
12:29:43 <olsner> the workstation in your working-from-home office?
12:31:57 <fizzie> The workstation at the place of work where I usually am, as opposed to this current temporary location.
12:32:11 <fizzie> But it's not quite "home" in the normal sense.
12:32:36 <lambdabot> *** "home" wn "WordNet (r) 3.0 (2006)"
12:32:36 <lambdabot> adv 1: at or to or in the direction of one's home or family; "He
12:32:38 <lambdabot> stays home on weekends"; "after the game the children
12:32:40 <lambdabot> brought friends home for supper"; "I'll be home
12:33:03 <olsner> your work-away-from-work?
12:33:14 <fizzie> 5. (2) base, home -- (the place where you are stationed and from which missions start and end)
12:33:24 <fizzie> I guess that sense sort of matches.
12:33:36 <fizzie> If I take the view that I'm currently on a "mission".
12:34:02 <fizzie> They do pay me some daily allowance cost-of-living kind of thing for the duration of this trip.
12:39:24 <fizzie> I didn't know there was a word for it.
12:39:58 <fizzie> Weird thing. The WordNet at the aforementioned workstation knows about it.
12:40:24 <fizzie> Overview of noun per_diem
12:40:24 <fizzie> The noun per diem has 1 sense (no senses from tagged texts)
12:40:24 <fizzie> 1. per diem -- (a daily allowance for living expenses (especially while traveling in connection with your job))
12:40:55 <olsner> oh, of course it's not written with a hyphen in english
12:41:05 <fizzie> Maybe the lambdabot hookup doesn't do the underscore that the command line interface does.
12:41:05 <nortti> http://entertainment.slashdot.org/story/12/07/17/205255/anti-piracy-group-fined-for-using-song-without-permission
12:41:17 <lambdabot> *** "per diem" wn "WordNet (r) 3.0 (2006)"
12:41:17 <lambdabot> adv 1: one every day; "we'll save 100 man-hours per diem" [syn:
12:41:17 <lambdabot> n 1: a daily allowance for living expenses (especially while
12:41:19 <lambdabot> traveling in connection with your job)
12:56:53 -!- ogrom has joined.
12:57:26 <itidus20> 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:33 <nortti> also do you have link?
13:01:10 <itidus20> header includes field containing location of first hitler reference in thread
13:02:48 <itidus20> nortti: sorry, it only exists in my imagination
13:05:18 <itidus20> "So we don't need to discuss this anymore. Copyright infringement is "THEFT" http://www.fbi.gov/about-us/investigate/cyber/ipr"
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:56 <nooga> does somebody know how to recover files in OS X?
15:19:04 <sebbu> mv ~/.Trash/$file $file
15:21:54 <nooga> i've lost whole project when trying to import it into Xcode
15:22:20 <nooga> how the hell am I supposed to find C sources on this goddamn partition
15:27:17 <ion> I hate it when people rob my thoughts and don’t leave me with a copy. :-(
15:28:11 <nooga> nortti: what do you mean fsck?
15:28:33 <nortti> I have recovered files from broken fs with it
15:33:16 <nooga> i will reimplement this shit
15:34:01 <ion> 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 <fizzie> You need to make those happen, I believe.
15:38:07 <fizzie> And I think conventionally you do those on a separate volume.
15:49:48 <itidus20> it sounds like the program name fsck is a play on the word fuck, but applying to file systems
15:52:18 <lambdabot> Title: fsck - Wikipedia, the free encyclopedia
15:52:43 <itidus20> 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 <itidus20> you guys sure like foo, isn't foo just bar?
16:17:33 <itidus20> i mean the world was just fine before foo
16:18:04 <itidus20> maybe i am just thinking too homeostasis
16:18:55 -!- derdon has joined.
16:19:07 <itidus20> it's almost as if the main payoff of foo is the ability to appreciate foo
16:20:46 <itidus20> youse fellers sure dig foo, ain't foo just like bar?
16:21:51 <itidus20> foo is probably just a product of the industrial age
16:22:09 <itidus20> i guess i can't cope with change
16:25:38 <FireFly> you can't order beer from a foo
16:31:19 -!- epicmonkey has quit (Ping timeout: 246 seconds).
16:40:02 <nooga> i've lost the project
16:42:39 -!- DHeadshot has joined.
16:45:07 <nortti> 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 <Gregor> Not small enough to fit on a floppy disk.
16:45:53 <Gregor> Not even a superformatted one.
16:46:36 <nortti> well is it build staticaly against glibc. next step is swich to musl
16:46:50 <nortti> also just binaries it 2.3MB
16:48:27 <nortti> 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 <itidus20> 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:19:15 <nooga> i will make it better
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 <epicmonkey> 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/.
18:01:06 -!- lament has joined.
18:16:28 -!- MDude has quit (Ping timeout: 248 seconds).
18:16:44 -!- MDude has joined.
18:17:18 <lament> NOOOOOOOOOOOOOOOOOOOOOOO
18:22:39 <MDude> 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 <itidus20> <lament> WHAT NOW <itidus20> now.. we chat <lament> NOOOOOOOOOOOOOOOOOOOOOOO
18:26:55 <MDude> It's even worse than I thought!
18:29:22 -!- nshelton has quit (Read error: Connection reset by peer).
18:30:07 <itidus20> 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 <itidus20> the idea being to simulate someone, possibly with a mouse interface, playing a motion sensor console such as wii, psmove, or kinect
18:33:40 <itidus20> so you click and drag the figures arm up..
18:33:48 <nooga> what's the difference between JL and JB instructions?
18:34:01 <itidus20> and the swordsman in turn drags it's arm up
18:35:53 <itidus20> 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 <itidus20> or you could simulate having to replace the batteries
18:37:29 -!- Vorpal has quit (Ping timeout: 272 seconds).
18:37:39 <oerjan> <itidus20> 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 <oerjan> latin isn't actually a logical language. hth.
18:38:44 -!- Taneb has joined.
18:38:58 <MDude> Make it a web application that can work in the PS3's and/or the Wii's browser.
18:38:58 <itidus20> im basically trying to argue there against pedantry for pedantry sake
18:39:20 <MDude> Not sure if the former can take the psmove as a mouse input.
18:40:03 <itidus20> humm.. i suppose that pedantry serves the subtle purpose of preventing the language changing too quickly
18:40:54 <itidus20> but, we can let them think they are just trying to teach
18:41:10 -!- TeruFSX has joined.
18:41:35 <oerjan> <olsner> I would say that every word can be used as an interjection <-- horsefeathers
18:41:44 * oerjan slides away, paradoxically
18:42:22 <Sgeo_> When I was a kid, I thought the word "Hallelujah" came from the School House Rock song
18:42:56 <oerjan> nah it comes from handel
18:43:05 <Sgeo_> http://www.youtube.com/watch?v=_e24kdjdbtw
18:44:16 <oerjan> <itidus20> 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 <itidus20> i have heard the word used that way but
18:45:29 <itidus20> now i think its something more sinister than a mere interjection
18:45:37 -!- Taneb has quit (Ping timeout: 240 seconds).
18:46:02 <oerjan> <olsner> 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: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 <oerjan> lament was here? and i managed to chase him away without even knowing.
18:49:52 <oerjan> nortti: an esolanger of old times. also technically still an op here.
18:50:02 -!- edwardk has joined.
18:50:17 <olsner> oh, I thought he was a haskeller more than an esolanger
18:50:46 <oerjan> i don't know if lament is a haskeller, i don't recall him from my time in #haskell
18:51:03 <oerjan> (which is getting a long time ago, anyway)
18:51:54 <olsner> yes, I don't think I've ever seen you in the haskell channels
18:52:36 <oerjan> i think i was top 5 or 6 speaker in #haskell in 2008 or thereabouts.
18:53:33 <olsner> 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: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 <Gregor> Removing google-chrome-stable ...
19:21:05 <Gregor> dpkg: unrecoverable fatal error, aborting:
19:21:05 <Gregor> fork failed: Cannot allocate memory
19:21:07 -!- kallisti has quit (Ping timeout: 240 seconds).
19:21:09 <Gregor> Sometimes Google is downright evil.
19:22:15 <nortti> also why are you removing chrome?
19:22:50 <Gregor> I'm just trying to switch to my distro's packaged version instead of Google's.
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 <Gregor> Bahahaha, I quit Firefox, then Chrome could be uninstalled.
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 <Taneb> what is your favourite l system
19:31:09 <Taneb> I'm using my voice recognition
19:33:30 <Gregor> My favorite l system is l.
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:28 -!- Effilry has joined.
19:35:16 -!- edwardk has quit (Ping timeout: 248 seconds).
19:38:06 -!- edwardk has joined.
19:47:17 <Taneb> string rewritinh system
19:47:30 <Taneb> see Luigi on the wiki
19:53:16 -!- kallisti has quit (Ping timeout: 252 seconds).
19:55:56 <oerjan> Taneb: 0 -> 01, 1 -> 10 has a certain nostalgy for me.
19:58:49 <Taneb> Thue-morse sequence
19:59:19 <oerjan> 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 <Taneb> How can I say what the thue morse sequence
20:06:23 <Taneb> is in about two minutes?
20:07:01 <oerjan> well first you give the above substitution
20:07:58 <oerjan> and in the limit, you get an infinite sequence that is the substitution applied to itself.
20:09:07 <copumpkin> > fix ((>>= \x -> case x of '0' -> "01"; '1' -> "10") . ('0':))
20:09:10 <lambdabot> "01011001101001011010011001011001101001100101101001011001101001011010011001...
20:09:29 <oerjan> you might then point out that it's non-periodic, but every finite subsequence occurs with bounded gaps.
20:09:50 <oerjan> (which is what made it fit into the framework of my advisor)
20:10:26 <oerjan> (although for that you also need to extend it infinitely leftwards as well. there are two ways of doing so.)
20:10:45 <oerjan> either mirror, and mirror _and_ switch 0's and 1's.
20:11:40 <oerjan> uniform recurrence was the term for those bounded gaps
20:13:37 <oerjan> 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:15:33 <oerjan> copumpkin: your sequence looks wrong.
20:16:02 <oerjan> > fix (('0':) . (>>= \x -> case x of '0' -> "01"; '1' -> "10") . tail)
20:16:37 <oerjan> > fix (("01"++) . (>>= \x -> case x of '0' -> "01"; '1' -> "10") . tail)
20:16:39 <lambdabot> "01101001100101101001011001101001100101100110100101101001100101101001011001...
20:17:09 <kallisti> also known as the "generic binary sequence in movies and television"
20:17:11 <oerjan> > fix ((>>= \x -> case x of '0' -> "01"; '1' -> "10") . ('0':) . tail)
20:17:13 <lambdabot> "01101001100101101001011001101001100101100110100101101001100101101001011001...
20:17:42 <kallisti> to be just arbitrarily chosn 1's and 0's
20:17:43 <oerjan> copumpkin: you need to drop the 0 off before adding it again
20:17:56 <copumpkin> oerjan: nah, it's the same as yours except all concatted together, from what I can see?
20:18:07 <copumpkin> break it up into power-of-two chunks
20:18:38 <oerjan> copumpkin: um it's _one_ infinite sequence of digits, not a sequence of sequences
20:20:11 <oerjan> 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 <oerjan> without the tail, the result isn't a fixpoint of the original sense
20:20:59 <kallisti> so here's an idea for a language:
20:21:09 <kallisti> a sed program with itself fed as input
20:21:25 <kallisti> iterated until the output is the same in X iterations.
20:22:45 <oerjan> <kallisti> 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 <kallisti> well of course it's not "arbitrary" (whatever that even means in a technical sense)
20:23:35 <kallisti> I guess all binary sequences sound like "generic binary sequence from TV or movie"
20:23:48 <oerjan> another way of constructing it is to xor all the bits of the index position
20:24:36 <kallisti> Y sed is turing complete no? it's iterated regex.
20:25:03 <oerjan> kallisti: i have heard that iterated sed is TC somehow, anyway
20:25:26 <kallisti> the difference here being that the source code is the input and the output
20:26:05 <olsner> sed can replace in a loop, it even has conditional jumps, so it's obviously TC
20:26:36 <kallisti> 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 <oerjan> > [ chr . foldl1' ((xor .) . ord) . flip (showIntAtBase 2 intToDigit) "" | n <- [0..]]
20:27:30 <lambdabot> Couldn't match expected type `a -> a'
20:28:00 <oerjan> > [ chr . foldl1' ((xor .) . ord) $ showIntAtBase 2 intToDigit n "" | n <- [0..]]
20:28:01 <lambdabot> Couldn't match expected type `a -> a'
20:28:19 <oerjan> > [ chr . foldl1 ((xor .) . ord) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]]
20:28:20 <lambdabot> Couldn't match expected type `a -> a'
20:28:54 <lambdabot> Couldn't match expected type `f a' against inferred type `Int'
20:29:15 -!- shachaf_ has changed nick to shachaf.
20:29:22 -!- shachaf has quit (Changing host).
20:29:22 -!- shachaf has joined.
20:29:35 <oerjan> > [ chr . foldl1 (flip xor . ord) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]]
20:29:36 <lambdabot> Couldn't match expected type `GHC.Types.Char'
20:30:23 <oerjan> > [ chr . foldl1 (flip (xor . ord)) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]]
20:30:24 <lambdabot> Couldn't match expected type `GHC.Types.Char'
20:30:32 <oerjan> ...this is getting awkward :P
20:30:48 <oerjan> > [ chr . foldl' (flip (xor . ord)) 0 $ showIntAtBase 2 intToDigit n "" | n <- [0..]]
20:30:51 <lambdabot> "01\SOH\NUL1001\SOH\NUL\NUL\SOH\NUL\SOH\SOH\NUL1001011001101001\SOH\NUL\NUL...
20:31:30 <oerjan> _maybe_ xor'ing digit characters isn't such a good operation :P
20:32:46 <kallisti> the perils of programming after too much abstract math.
20:33:18 <oerjan> somehow i had the idea that '0' `xor` '1' would be '1' etc.
20:34:08 <mroman> `xor` True is an Inverter ;)
20:34:14 <mroman> (and `xor` False is Identity)
20:34:17 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: xor`: not found
20:34:34 <kallisti> > (xor `on` read . return) 0 1 :: Word
20:34:35 <lambdabot> No instance for (GHC.Num.Num GHC.Types.Char)
20:34:44 <kallisti> > (xor `on` read . return) '0' '1' :: Word
20:34:50 <kallisti> > (xor `on` read . return) '1' '1' :: Word
20:35:28 <ais523> hmm, what are opinions on Rust in here?
20:35:35 -!- Taneb has quit (Remote host closed the connection).
20:35:37 <ais523> it looks sort-of like what Splint was trying to do but better designed
20:35:42 -!- Taneb has joined.
20:35:42 <ais523> it'll be nice to see what it's like when it's done
20:36:14 <kallisti> ais523: btw I made a spiritual successor to dupdog
20:36:37 <kallisti> I need to do some other stuff before I can write up a wiki page for it.
20:36:58 <kallisti> http://sprunge.us/BiLC?perl reference interpreter in Perl.
20:38:13 <mroman> do you have to return $_?
20:38:16 <kallisti> I'll have to read more about it.
20:38:32 <mroman> although everything can handle $_
20:39:11 <kallisti> return; is typically used to exit a "void" function
20:39:16 <kallisti> so it would make sense that it returns an undefine result.
20:39:33 <mroman> As much sense as any decision in perl can make ;)
20:39:59 <mroman> having return; return $_ is probably a bad idea.
20:40:05 <kallisti> oh oopse so of my old recursion is showing
20:40:28 <kallisti> I had written it recursive before but I don't think perl optimizes tail calls.
20:42:18 <kallisti> http://sprunge.us/aZYA?perl there we go
20:46:12 <itidus20> wikipedia has added popup text to those numbered reference links. those who use text browsers and the like can disregard.
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 <kallisti> 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 <kallisti> its context depends on the calling context, in fact.
21:27:35 <kallisti> return could evaluate its argument in either list, scalar, or whatever-ekse context.
21:31:54 <kallisti> ais523: structural typing in purely functional languages is something I'm interested in.
21:38:00 -!- epicmonkey has quit (Ping timeout: 276 seconds).
21:40:23 <kallisti> 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:44 <HackEgo> 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:08 <HackEgo> /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 <oerjan> finally the `WELCOME command gets properly used!
23:42:48 <nortti_> FireFly: welcome, WELCOME and WeLcOmE
23:43:03 <FireFly> Isn't there also one in unicode fixed-width characters?
23:43:04 <nortti_> FireFly: what is the fourth
23:43:57 <HackEgo> 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:28 <WHAT_RIGHT> 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 <nortti_> wasn't there before a page at HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE?
23:45:43 -!- DHeadshot has joined.
23:45:49 <oerjan> 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 <oerjan> oh and probably to make it work for links followed too
23:47:23 <FireFly> 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 <oerjan> FireFly: note that he wants the _page_ to show in all caps
23:47:52 <FireFly> the latter half should be possible without admin powers, even
23:48:41 <HackEgo> 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 <oerjan> feel free to visit that one instead :P
23:55:08 -!- nooga has quit (Ping timeout: 248 seconds).