00:05:26 <zzo38> Is there any EFnet IRC server for Telus?
00:05:48 -!- L8D has quit (Ping timeout: 256 seconds).
00:15:43 -!- L8D has joined.
00:20:01 -!- heroux has quit (Ping timeout: 245 seconds).
00:20:45 -!- L8D has quit (Ping timeout: 255 seconds).
00:25:12 -!- ProofTechnique has joined.
00:32:52 -!- oerjan has joined.
00:37:59 -!- vodkode has quit (Ping timeout: 246 seconds).
00:48:13 -!- GeekDude has quit (Quit: See you guys at the great debugger in the sky).
00:49:53 -!- shikhin has quit (Ping timeout: 246 seconds).
00:54:39 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:06:52 -!- Patashu has quit (Remote host closed the connection).
01:07:04 -!- Patashu has joined.
01:11:49 -!- Patashu has quit (Ping timeout: 264 seconds).
01:11:50 -!- Patashu has joined.
01:17:58 -!- bb010g has quit (Quit: Connection closed for inactivity).
01:26:20 -!- AndoDaan has quit (Quit: Going, going, gone.).
01:38:08 -!- guawguaw has joined.
01:43:46 -!- izabera has joined.
01:53:16 -!- adu has joined.
01:56:20 <HackEgo> izabera: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
01:57:11 <izabera> well i'm assuming you're human since you used a different bot <.<
01:57:28 <oerjan> we think elliott is human
01:57:31 <fungot> ProofTechnique: http://www.ccs.neu.edu/ scheme/ fnord)
01:57:42 <oerjan> we haven't seen conclusive proof, though
01:58:33 <izabera> prove you're human: what is 6 times 9 ?
01:58:42 <fungot> ProofTechnique: http://www.demi.fi/ fnord and the reverse of last time i checked minion is perpetually disgruntled." fnord erasmus ( paraphrased)
01:58:49 <oerjan> hey i can be human even if i know that!
01:58:50 <elliott> beep. boop. reference recognised. beep. boop.
01:59:14 <lambdabot> http://www.urbandictionary.com/define.php?term=6+times+9
01:59:14 <lambdabot> Title: Urban Dictionary: 6 times 9
01:59:16 <izabera> guawguaw | show gratis (solo hooy) --> http://s422803032.mialojamiento.es/
01:59:38 <elliott> izabera: we do sometimes have bots that use each other, though
01:59:53 <izabera> i thought i was the only one who wrote such bots ._.
01:59:53 -!- ChanServ has set channel mode: +o elliott.
01:59:56 -!- elliott has set channel mode: +b *!*guawguaw@84.78.23.*.
01:59:57 -!- elliott has kicked guawguaw guawguaw.
02:00:00 -!- elliott has set channel mode: -o elliott.
02:00:10 <fungot> https://github.com/fis/fungot/blob/master/fungot.b98
02:00:15 <oerjan> and i was just wondering whether to `relcome guawguaw
02:00:17 <elliott> this is a good channel for ridiculous bot things >_>
02:02:04 <fizzie> The headline features -- you know, the ones I advertise to prospective licensees -- are the (n-gram) babbling, the brainfuck interpreter and the Underload interpreter.
02:02:37 -!- ChanServ has set channel mode: +o oerjan.
02:02:55 -!- oerjan has set channel mode: +b *!*@84.78.*.
02:02:59 -!- oerjan has set channel mode: -o oerjan.
02:03:08 <fizzie> Which reminds me, I really should slap a suitable permissive license on fungot. I thought I did that.
02:03:08 <fungot> fizzie: but nothing from ihope? i'm inside your mom!!! so... but given that this is a good
02:03:10 <oerjan> yes, i just noticed it was reusing that ip range
02:04:17 <elliott> fungot is more vulgar than usual today...
02:04:17 <fungot> elliott: either way it'd be c++ not c. pressy too on the final
02:05:11 <oerjan> elliott: it was also the same bot that used the 213.143.* range (from two different subnets) previously
02:05:22 <elliott> I hope 84.78 isn't too big
02:05:34 <elliott> I mean it could just be using a botnet or something but
02:05:59 <oerjan> orange in spain, judging from the email listed
02:06:03 <fizzie> 84.78.0.0-84.79.255.255, YACOMNET, "Ya.com Internet Factory".
02:06:27 <ProofTechnique> ^ul (:::::::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S
02:06:27 <fungot> :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ...too much output!
02:06:35 <ProofTechnique> ^ul (::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S
02:06:49 <ProofTechnique> ^ul (:::):(:((^:()~((:)*~^)a~*^!!()~^))~*()~^^)~(^a(*~^)*a~*()~^!()~^)a~**^!!^S
02:07:03 <elliott> izabera: I want to say the channel is usually less of a mess than this but it isn't really
02:07:03 <oerjan> don't we have a factorial that uses decimals
02:07:20 <oerjan> what mess, we're even on topic
02:07:28 <shachaf> fizzie: How much for a fungot license?
02:07:29 <fungot> shachaf: " you don't need to save the values of any of this even now
02:08:43 <oerjan> ^ul (:(1)*(:(2)*(:(3)*(:(4)*(:(5)*(:(6)*(:(7)*(:(8)*(:(9)*(!~:^)))))))))):(~^~(~a~*~a~*)~a*^:(0)*)~a*~:(a(:^)*())~*a(:^)*~()~(0)((!^~)())((:(~:(,)*S~^!^)~a*^:^~!a~^*a*)~a*^:^):^
02:08:44 <fungot> 0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597, ...out of time!
02:09:01 <fizzie> shachaf: That would depend on what kind of terms you'd like on it.
02:09:22 <fungot> ha. ha. ha ha. ha ha ha. ha ha ha ha ha. ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha. ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ha ...too much output!
02:09:32 <fizzie> oerjan: We also had that.
02:09:34 <fungot> ((ha)(ha))(~:^:(. )*S( )~**a~^!a*~:^):^
02:09:48 <shachaf> fizzie: I'd like to use it in the design, construction, operation and maintenance of a nuclear facility.
02:10:20 <fizzie> shachaf: I probably wouldn't want to be on the same continent, then.
02:10:55 <shachaf> OK, so it's fine in North America?
02:11:36 <fizzie> I feel like I should be asking for legal advice before answering.
02:12:14 <zzo38> What other programming language you write IRC bots with? Is it QBASIC?
02:12:16 <oerjan> elliott: btw based on the spam bot's behavior (it didn't message me) i suspect it only messages people who joined after it, or something
02:12:21 <shachaf> I can't get Java, but at least I can get fungot.
02:12:21 <fungot> shachaf: too difficult. :-p help would be appreciated.) obfuscated c contest with that
02:12:34 <elliott> oerjan: probably not since it messaged me
02:12:37 <elliott> I was just too lazy to ban it :(
02:12:44 <shachaf> I'd like to get legal advice but I'm not sure how to find a lawyer.
02:12:57 <elliott> I was hoping nobody would notice it
02:13:05 <fizzie> "I have this friend who wants to use my Befunge chatbot in their nuclear facility..." is a great email opening to a lawyer, probably.
02:13:18 <shachaf> (The last sentence is actually serious.)
02:13:36 <fizzie> I think we have an intranet page on how to find a lawyer, but it's probably mostly about business purposes.
02:14:11 <shachaf> You have so many great intranet pages.
02:17:10 <oren> to find a lawyer, go to the intersection of the two biggest streets in a large city, and get hit by a car.
02:19:23 <elliott> there are pros and cons to both options
02:19:46 <shachaf> I'd like someone who knows about employment law.
02:19:55 <shachaf> Oh well. I'll figure it out.
02:20:06 <fizzie> Maybe there's a Yelp for lawyers?
02:20:31 <shachaf> There's a website called upcounsel.com. It doesn't look like a joke.
02:20:34 <fizzie> (Although from what I've understood by reading a blog now and then, lawyer selection still happens a lot via plain old human networking.)
02:20:44 <shachaf> "Can you send me a message on Upcounsel?"
02:20:46 <oren> find the CEO of a company whose workers are unionized, and ask for a recommendation
02:20:58 <shachaf> OK, maybe I should say that it doesn't look like it's *just* a joke.
02:23:10 <fizzie> I've had employment-related advice from "Academic Engineers and Architects in Finland TEK", "a professional and labour market organisation" -- mostly because advice is free for members. But that's a highly situational tip.
02:29:47 -!- AndoDaan has joined.
02:44:23 -!- AndoDaan has quit (Read error: Connection reset by peer).
02:44:40 -!- AndoDaan has joined.
02:50:09 -!- AndoDaan has quit (Ping timeout: 255 seconds).
02:51:30 -!- Valentina has joined.
02:55:37 -!- Patashu has quit (Ping timeout: 264 seconds).
02:59:58 -!- AndoDaan has joined.
03:01:58 <HackEgo> Valentina: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en irc.dal.net.)
03:03:23 <oerjan> Valentina: Además, si no te importa, nos gustaría saber cómo los usuarios canaima siguen encontrando este canal.
03:04:07 <oerjan> (Yo no hablo español bien, estoy utilizando Google Translate)
03:05:29 -!- L8D has joined.
03:10:50 -!- L8D has quit (Ping timeout: 265 seconds).
03:16:21 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: benvenuto: not found
03:16:23 -!- Patashu has joined.
03:18:50 <Sgeo> I may have just bought overly-expensive tweezers
03:22:32 -!- Patashu has quit (Disconnected by services).
03:22:32 -!- Patashu_ has joined.
03:25:46 -!- Patashu_ has quit (Remote host closed the connection).
03:26:04 <zzo38> Do you have any FOAF RDF?
03:26:36 -!- Patashu has joined.
03:28:03 -!- _2_Emma has joined.
03:28:50 <elliott> izabera: it's a unix system!
03:28:52 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
03:28:52 <oerjan> izabera: what language is benvenuto
03:28:56 <HackEgo> ` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ ' \ @ \ ؟ \ ＷＥＬＣＯＭＥ \ \ \ 2014 \ 2015 \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addwep \ allquotes \ analogy \ anonlog \ as86 \ aseen \ bf \ bienvenido \ botsnack \ bseen \ buttsnack \ calc \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot \ coins \ CoInS \ complain \ complaints \ ctof \ dandd
03:28:56 -!- _2_Emma has quit (Read error: Connection reset by peer).
03:29:12 <elliott> so... you write a shell script. >.>
03:29:18 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.es"; } else { exec "bin/?", "welcome.es"; }
03:29:46 <oerjan> it should go in welcome.it, clearly
03:30:06 <elliott> right. but then you'd have to copy and sed the perl script since I guess they're all just manually modified copies
03:30:38 <oerjan> `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/' bin/bienvenuto
03:30:44 <HackEgo> sed: can't read bin/bienvenuto: No such file or directory
03:31:04 <oerjan> `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/' bin/benvenuto
03:31:06 <shachaf> oerjan: 20:32 <edwardk> one of these days i'll write a shachaf bot that takes random text and puts hth on the end and i,i at the start at random intervals throughout
03:31:19 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.it"; } else { exec "bin/?", "welcome.es"; }
03:31:30 <oerjan> `run cp bin/{bienvenido,benvenuto}; sed -i 's/es/it/g' bin/benvenuto
03:31:36 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.it"; } else { exec "bin/?", "welcome.it"; }
03:31:57 <HackEgo> :-( \ 113500 \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dog \ error.log \ etc \ factor \ faith \ fu \ head \ hello \ hello.c \ ibin \ index.html?dl=1812 \ interps \ lib \ MaFV \ paste \ pref \ prefs \ py.py \ quines \ quotes \ script.py \ share \ src \ test \ test.c \ Wierd \ wisdom \ wisdom.pdf
03:32:17 <oerjan> izabera: now you put the actual translation in wisdom/welcome.it
03:32:59 -!- Patashu has quit (Ping timeout: 246 seconds).
03:33:32 <izabera> ok so it's not really a shell
03:34:49 <oerjan> <elliott> izabera: it's a unix system! <-- are you trying to get em to release the raptors tdnh
03:35:04 -!- Patashu has joined.
03:35:34 <elliott> izabera: it uses full bash actually
03:35:51 <elliott> `run echo 'int main() { return 123; }' | gcc -x c - && ./a.out; echo $?
03:36:04 <oerjan> edwardk: i,i twh please do it hth
03:36:13 <elliott> yeah it can take a little while to start up sometimes
03:36:15 <zzo38> I don't quite know all of the programs on there
03:36:18 <elliott> `run echo 'int main() { return 123; }' | gcc -x c - && ./a.out; echo $?
03:36:22 <zzo38> I think they might have added SQLite too
03:36:44 <izabera> `run echo 'int main() { return 42; }' | gcc -x c - && ./a.out; echo $?
03:37:04 <izabera> you can use precompiled headers
03:37:13 <elliott> the warmup is just the VM startup I think
03:37:24 <elliott> so it's essentially booting an entire kernel on every command.
03:37:46 <edwardk> so i'd be waiting a while if i tried to get it to install ghc ;)
03:37:56 <zzo38> Maybe they should fix it? Maybe there is the way to avoid a bit somewhat
03:38:01 -!- Patashu has quit (Remote host closed the connection).
03:38:07 <izabera> evalbot runs in qemu with a saved state
03:38:38 <oerjan> edwardk: it used to have ghc but Gregor didn't bother to install it again when he moved it between servers :(
03:38:48 -!- Patashu has joined.
03:38:58 <elliott> hackego has persistent state and so on which is nice
03:39:30 <oerjan> edwardk: also since you've been mentioning around something i've also thought of, someone should totally make rank-n constraints work hth
03:39:44 <zzo38> It does even have SQLite version 3.7.13
03:40:03 <zzo38> (With no extensions, as far as I know)
03:40:09 <oerjan> (class (Category a, forall b. Applicative (a b)) => Arrow a where ...)
03:40:51 <elliott> that's more comparable to that evalbot I guess
03:40:56 <elliott> (no persistent state etc.)
03:40:57 <oerjan> edwardk: also while i'm stalking, hope you're feeling better
03:41:28 <elliott> actually I wonder why it's so much faster
03:41:31 <elliott> I forget how EgoBot sandboxes !sh...
03:41:42 <EgoBot> /usr/bin/whoami: cannot find name for user ID 1243611
03:41:42 <izabera> i made a bot that lets you use the ed editor
03:41:45 <EgoBot> /usr/bin/whoami: cannot find name for user ID 1924701
03:41:48 <edwardk> a better way to think about Arrow to me is class (Strong p, Category p) => Arrow p -- using profunctors
03:41:59 <elliott> I've used ed to edit files for real a few times!
03:42:03 <elliott> mostly just so I could say I did it though
03:42:17 <edwardk> elliott: i only edited them for you as a courtesy ;)
03:42:23 -!- Valentina has quit (Ping timeout: 244 seconds).
03:42:40 <elliott> yeah, thanks for implementing all those lens changes I telepathically communicated to you over the years...
03:44:08 <elliott> izabera: ...what does the bot actually edit, though?
03:45:33 <izabera> gimme a min, i'll bring it here
03:47:45 * izabera is building dependencies and adding the ingredients
03:47:48 <zzo38> You can edit whatever files are stored in its filesystem
03:48:35 <zzo38> HackEgo can edit any file under its directory, but not the others
03:48:41 <zzo38> And using hg I think?
03:48:54 <zzo38> Therefore you can't use any file that is not compatible with hg
03:50:50 -!- edirc has joined.
03:51:06 -!- zzo38 has left.
03:51:25 <elliott> of course I immediately forget all the ed I once knew :(
03:51:36 <elliott> I've probably used TECO more
03:51:53 <shachaf> Is there a regular expression library that supports intersections and complements?
03:52:28 <izabera> ok i think i got it and the answer is no
03:52:32 <shachaf> text matches (P&Q) if it matches P and it matches Q
03:53:21 <izabera> will work if it's no anchored
03:54:20 <oren> ed is a good editor for over a crap connection
03:55:09 <elliott> well, people often do not form very close bonds over IRC
03:55:21 <elliott> thank you. I'm here all week
03:56:15 <izabera> yeah it won't work if either P or Q use ^ or $
03:56:51 <elliott> the point is ([abc]&[bcd]) would be the same as [bc], I think
03:56:57 <elliott> as in, both P and Q run over the same string
03:57:04 <elliott> rather than P coming after Q or vice versa
03:57:39 <elliott> (so, the set of strings that match (P&Q) is the intersection of the set of strings that match P and the set of strings that match Q)
03:58:20 <elliott> I wonder if that operation is computable. as in whether there is a function over regexps that produces a new regexp with that property
03:58:20 <shachaf> And (!P) matches a string when P doesn't match it.
03:58:20 <oren> I thing perl regexes have something like that
03:58:21 <elliott> I guess probably yes, regular languages have nice properties
03:58:27 <shachaf> But it's double-exponential or something.
03:58:35 <elliott> (?!P) does that in some regexp engines I think?
03:58:48 <shachaf> Lookahead/lookbehind is close but not quite the same thing.
03:58:50 <oren> using those "lookaround assertions"
03:58:51 <izabera> (?!P) is not preceded by P
03:59:02 <shachaf> E.g. it'll look even outside the parentheses.
03:59:22 <elliott> regexps are too complicated and it's too 4 am for them :(
03:59:53 <shachaf> But regular languages support intersection and complement, so it's silly that regular expressions don't.
04:00:14 <shachaf> I think you can implement them more efficiently in practice for the cases that people would care about.
04:02:02 <elliott> izabera: does edirc have a bug bounty if I manage to break out of ed? :p
04:02:22 <izabera> well, you'd win my gratitude
04:02:51 <elliott> probably too lazy to actually try fuzzing it locally
04:03:52 <izabera> it's been a while and i don't really remember all of this
04:04:15 <elliott> my leet hacker skills are not enough
04:05:24 <elliott> do I get points for trying?
04:05:47 <elliott> that's got to be worth at least a 100th of a gratitude!
04:05:56 <elliott> a gratiton. the fundamental gratitude particle
04:07:03 <elliott> i need to not be sleep deprived when new people join ideally
04:07:21 <izabera> ah yes now it sleeps 2 secs after printing 3 lines
04:09:43 <izabera> streetlight == s/ree/ligh/
04:10:29 <izabera> ok so sleepy time for me :P
04:10:40 <izabera> and sorry for the bot spam
04:10:54 <edirc> Shell access restricted
04:11:18 <izabera> you can export the file you're editing
04:11:25 <edirc> http://arin.ga/MaxYHB/raw
04:14:17 <oerjan> <elliott> I wonder if that operation is computable. <-- it's trivial when the "regexp" is in DFA form, the hard but still well-known part is converting back and forth
04:16:30 <edirc> source https://github.com/izabera/edirc
04:17:07 <shachaf> Intersection NFAs isn't completely obvious, I think.
04:17:25 <shachaf> The annoying thing is that you need a multiplicative number of states, not just additive like for union.
04:17:50 <shachaf> Well, I guess that's the only nonobvious part.
04:18:09 -!- fractal has quit (Quit: ZNC - http://znc.in).
04:18:25 <oerjan> shachaf: thus why i said DFAs. by the way that also applies to !P
04:18:52 <shachaf> I think it was also nonobvious for DFAs, but I guess it depends on what you consider obvious.
04:19:22 <shachaf> And sure it applies to !P, since A&B = !((!A)|(!B))
04:19:27 <oerjan> "running two DFAs in parallel, construct an equivalent one by pairing states"
04:19:36 <oerjan> that's why i consider obvious.
04:20:22 <coppro> yeah the intersection construction is pretty trivial
04:20:23 <oerjan> basically you get any boolean combination that way
04:30:05 -!- fractal has joined.
04:32:44 -!- dianne has joined.
04:41:15 -!- adu has quit (Quit: adu).
05:07:48 -!- hjulle has quit (Ping timeout: 265 seconds).
05:14:11 -!- L8D has joined.
06:31:02 -!- L8D has quit (Ping timeout: 264 seconds).
06:50:41 -!- CADD has quit (Quit: Lost terminal).
06:51:00 -!- CADD has joined.
07:28:18 -!- sebbu has quit (Quit: reboot).
07:31:05 -!- bb010g has joined.
07:42:51 -!- shikhin has joined.
07:44:54 -!- J_Arcane has joined.
07:50:27 -!- heroux has joined.
07:57:56 -!- dianne has quit (Quit: ~).
07:59:14 -!- heroux has quit (Ping timeout: 264 seconds).
07:59:41 -!- heroux has joined.
08:14:21 -!- L8D has joined.
08:31:17 <Sgeo> If <weird proprietary memory card>'s plastic top is damaged, could that mean it contacted electronics and damaged something?
08:36:20 -!- sebbu has joined.
08:50:21 <oerjan> wait, it's _not_ a -> f a -> a ?
08:51:05 <oerjan> dammit why does lambdabot have a function that i cannot hoogle
08:56:38 <oerjan> if it does. i thought i saw it mentioned but i cannot remember the name.
08:56:56 <lambdabot> ‘asTypeOf’ (imported from Prelude), ‘asTypeIn’ (line 161)
08:57:07 <lambdabot> ‘asTypeOf’ (imported from Prelude), ‘asTypeIn’ (line 161)
08:57:18 <oerjan> oh well seems there isn't another
09:00:36 <oerjan> argh it's not in the default lambdabot distribution
09:01:08 <oerjan> int-e: where can i see the default L.hs lambdabot actually _uses_?
09:01:26 <lambdabot> The operator ‘L.asTypeIn’ [infixl 0] of a section
09:01:26 <lambdabot> must have lower precedence than that of the operand,
09:01:43 <oerjan> the repository one only has 79 lines
09:07:47 * oerjan called it asTypeInside in his SO answer, anyway.
09:08:22 <oerjan> might have been more technically correct
09:08:57 <oerjan> although asType* is probably only used by people who want to avoid extensions anyway.
09:26:52 -!- Fleur has joined.
09:41:17 <oerjan> > asAppliedTo succ 1 2
09:41:41 <Taneb> > map (succ `asAppliedTo 'a') []
09:41:43 <lambdabot> <hint>:1:24: parse error on input ‘'’
09:41:46 <Taneb> > map (succ `asAppliedTo` 'a') []
09:58:16 -!- L8D has quit (Ping timeout: 252 seconds).
10:03:14 <oerjan> and then it turned out my answer was nonsense, anyway
10:19:07 -!- Naprecks has quit (Ping timeout: 264 seconds).
10:22:14 -!- Naprecks has joined.
10:49:30 -!- AndoDaan has quit (Quit: Going, going, gone.).
11:03:33 -!- hjulle has joined.
11:04:28 -!- J_Arcane_ has joined.
11:06:13 -!- J_Arcane has quit (Ping timeout: 244 seconds).
11:06:23 -!- J_Arcane_ has changed nick to J_Arcane.
11:10:26 -!- J_Arcane_ has joined.
11:11:54 -!- J_Arcane has quit (Ping timeout: 244 seconds).
11:12:06 -!- J_Arcane_ has changed nick to J_Arcane.
11:17:41 -!- J_Arcane_ has joined.
11:19:09 -!- J_Arcane has quit (Ping timeout: 252 seconds).
11:19:21 -!- J_Arcane_ has changed nick to J_Arcane.
11:24:41 -!- J_Arcane_ has joined.
11:24:49 -!- J_Arcane has quit (Ping timeout: 244 seconds).
11:24:54 -!- J_Arcane_ has changed nick to J_Arcane.
11:30:11 <int-e> oerjan: the L.hs file is not visible anywhere. I keep a more-or-less up-to-date copy of the Pristine.hs file in the 'freenode' branch on github.
11:33:13 <int-e> oerjan: sorry, missed the "default" word there
11:36:56 <oerjan> ^rreree APOLOGY ACCEPTED
11:36:56 <fungot> AAPAPOPOLOLOLOGOGYGY Y A ACACCCCECEPEPTPTETEDEDD
11:37:15 <fungot> ssosorororororirititytyy
11:37:54 <fungot> iininfnfifinininititytyy
11:40:11 <fungot> sosrosorororirotirytiyty
11:41:10 -!- Patashu has quit (Ping timeout: 255 seconds).
11:41:17 <int-e> I'm afraid, how did this happen: http://qdb.us/310139
11:41:39 <oerjan> int-e: that last Is is basically the same as Data.Typeable.:~:
11:44:55 <int-e> That whole collection of code is quite random.
11:45:45 -!- J_Arcane_ has joined.
11:47:27 <oerjan> ok it's not one of the ones stolen from the quotedb
11:48:07 -!- J_Arcane has quit (Ping timeout: 252 seconds).
11:48:10 -!- J_Arcane_ has changed nick to J_Arcane.
11:51:29 -!- J_Arcane_ has joined.
11:54:13 -!- J_Arcane has quit (Ping timeout: 255 seconds).
11:54:24 -!- J_Arcane_ has changed nick to J_Arcane.
11:57:32 -!- J_Arcane_ has joined.
11:59:20 -!- J_Arcane has quit (Ping timeout: 272 seconds).
11:59:26 -!- J_Arcane_ has changed nick to J_Arcane.
11:59:53 <izabera> `run awk '{if(NR==FNR){a[NR]=$0;if(l<length)l=length}else{b[FNR]=$0;if(r<length)r=length}}END{i=1;while(a[i]||b[i])printf "%-*s\t%-*s\n",l,a[i],r,b[i++]}' cat canary
12:02:37 <izabera> it's a new way to print Meow~~ chirp
12:04:03 -!- J_Arcane_ has joined.
12:05:40 -!- J_Arcane has quit (Ping timeout: 272 seconds).
12:05:42 -!- J_Arcane_ has changed nick to J_Arcane.
12:10:44 -!- J_Arcane_ has joined.
12:10:56 -!- J_Arcane has quit (Ping timeout: 246 seconds).
12:11:09 -!- J_Arcane_ has changed nick to J_Arcane.
12:14:37 -!- shikhin_ has joined.
12:15:32 -!- shikhin has quit (Disconnected by services).
12:15:34 -!- shikhin_ has changed nick to shikhin.
12:22:26 -!- J_Arcane_ has joined.
12:24:03 -!- J_Arcane has quit (Ping timeout: 252 seconds).
12:24:06 -!- J_Arcane_ has changed nick to J_Arcane.
12:30:46 <oerjan> clearly izabera is a gnork. also i should go to bed. or maybe eat first...
12:31:27 <oerjan> wait, make that gneerk
12:32:58 <int-e> oerjan: so you're shifting, what, 2 hours a day now?
12:36:44 -!- J_Arcane_ has joined.
12:36:58 <oerjan> well i'm in that awkward phase where i'm shifting into having no reasonably awake overlap with my favorite restaurant's opening hours. so i generally try to do a jump then to end that quickly.
12:37:50 <oerjan> also, i have my yearly dentist checkup next week, would be nice not to miss it.
12:38:16 <oerjan> so basically today seems to be stay-awake-extra-long day
12:39:07 <oerjan> also i think i said something about eating ->
12:39:13 -!- J_Arcane has quit (Ping timeout: 255 seconds).
12:39:24 -!- J_Arcane_ has changed nick to J_Arcane.
12:40:36 -!- boily has joined.
12:42:28 -!- J_Arcane_ has joined.
12:42:34 <boily> quintopia: QUINTHELLCOOKIEPIAAAAAAAAAAAAAAAAAAAAAA!!!
12:42:53 -!- SopaXorzTaker has joined.
12:43:55 -!- L8D has joined.
12:44:10 -!- J_Arcane has quit (Ping timeout: 255 seconds).
12:44:23 -!- J_Arcane_ has changed nick to J_Arcane.
12:48:28 -!- J_Arcane_ has joined.
12:49:07 -!- L8D has quit (Ping timeout: 264 seconds).
12:50:38 -!- J_Arcane has quit (Ping timeout: 272 seconds).
12:50:52 -!- J_Arcane_ has changed nick to J_Arcane.
12:56:04 -!- J_Arcane_ has joined.
12:58:07 -!- J_Arcane has quit (Ping timeout: 255 seconds).
12:58:14 -!- J_Arcane_ has changed nick to J_Arcane.
13:00:15 -!- Decim has joined.
13:00:39 <Decim> How 'bout I give you the 'Ole razzle dazzle
13:01:42 -!- J_Arcane_ has joined.
13:04:01 -!- J_Arcane has quit (Ping timeout: 252 seconds).
13:04:06 -!- J_Arcane_ has changed nick to J_Arcane.
13:07:26 -!- J_Arcane_ has joined.
13:09:03 <boily> Decim: what's a razzle dazzle?
13:09:38 -!- J_Arcane has quit (Ping timeout: 272 seconds).
13:09:50 -!- J_Arcane_ has changed nick to J_Arcane.
13:12:40 -!- AndoDaan has joined.
13:18:21 -!- J_Arcane_ has joined.
13:19:00 -!- J_Arcane has quit (Ping timeout: 244 seconds).
13:19:01 -!- J_Arcane_ has changed nick to J_Arcane.
13:20:38 <elliott> izabera: ...what is that awk snippet doing?
13:20:55 <elliott> I was thinking you were somehow calculating Meow~~ from chirp
13:24:02 -!- J_Arcane_ has joined.
13:24:27 <elliott> :t Data.Proxy.asProxyTypeOf
13:24:36 <elliott> (why isn't that imported...?)
13:24:48 <oerjan> elliott: useless, should have been proxy a
13:24:55 -!- J_Arcane has quit (Ping timeout: 252 seconds).
13:24:57 -!- J_Arcane_ has changed nick to J_Arcane.
13:25:05 <elliott> I guess lambdabot is using an old version of tagged
13:25:10 <oerjan> not in Data.Proxy either
13:25:52 <elliott> so the problem is that the new Data.Proxy is worse than the one in the package :(
13:26:07 <elliott> edwardk: can you get base:Data.Proxy.asProxyTypeOf's "Proxy" lowercased? :p
13:26:15 <elliott> or does that require three committee meetings and a popular vote
13:28:43 -!- Decim has quit (Ping timeout: 264 seconds).
13:29:20 <int-e> > let a :: a -> p a -> a in a () undefined
13:29:22 <lambdabot> The type signature for ‘a’ lacks an accompanying binding
13:29:32 <elliott> izabera: also, anyone who ends up in this place is definitely a nerd, sorry :(
13:29:32 <int-e> > let a :: a -> p a -> a; a = const in a () undefined
13:30:45 -!- J_Arcane_ has joined.
13:31:15 <boily> int-e: eh? what is p in that type signature?
13:31:40 <boily> izabera: izabhellora. don't worry. understand fungot and everything will be fine.
13:31:40 <fungot> boily: afaik chicken only generates c code. not as nice
13:32:13 <Jafet> It seems that fungot understands boily, too.
13:32:14 <fungot> Jafet: this isn't lisp already metalisp?
13:33:21 -!- J_Arcane has quit (Ping timeout: 252 seconds).
13:33:25 -!- J_Arcane_ has changed nick to J_Arcane.
13:38:07 -!- Fleur has quit (Ping timeout: 252 seconds).
13:38:19 <int-e> boily: I supposed it ends up being any p :: * -> *
13:39:24 <boily> int-e: so it's possible to have a “p a” somewhere without any constraints? I didn't know that.
13:41:20 <elliott> just like you can have foo :: a -> b with no constraints on a
13:42:27 -!- Fleur has joined.
13:49:04 -!- J_Arcane_ has joined.
13:50:00 -!- J_Arcane has quit (Ping timeout: 244 seconds).
13:50:15 -!- J_Arcane_ has changed nick to J_Arcane.
13:55:21 -!- oerjan has quit (Quit: Nitulacrum).
13:55:41 -!- J_Arcane_ has joined.
13:56:30 -!- J_Arcane has quit (Ping timeout: 272 seconds).
13:56:35 -!- J_Arcane_ has changed nick to J_Arcane.
14:00:44 -!- J_Arcane_ has joined.
14:03:03 -!- J_Arcane has quit (Ping timeout: 252 seconds).
14:03:09 -!- J_Arcane_ has changed nick to J_Arcane.
14:06:27 -!- J_Arcane_ has joined.
14:09:15 -!- J_Arcane has quit (Ping timeout: 255 seconds).
14:09:22 -!- J_Arcane_ has changed nick to J_Arcane.
14:12:28 -!- J_Arcane_ has joined.
14:14:10 -!- J_Arcane has quit (Ping timeout: 255 seconds).
14:14:23 -!- J_Arcane_ has changed nick to J_Arcane.
14:17:25 -!- vodkode has joined.
14:29:00 -!- FleurRose has joined.
14:29:55 -!- Fleur has quit (Ping timeout: 255 seconds).
14:34:59 -!- staffehn_ has joined.
14:35:27 -!- J_Arcane_ has joined.
14:38:01 -!- J_Arcane has quit (Ping timeout: 255 seconds).
14:38:07 -!- J_Arcane_ has changed nick to J_Arcane.
14:43:32 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
15:05:42 -!- dianne has joined.
15:21:06 -!- jix has quit (Remote host closed the connection).
15:24:15 -!- dianne has quit (Quit: ~).
15:26:28 -!- idris-bot has quit (Quit: Terminated).
15:26:30 -!- jix has joined.
15:26:43 -!- idris-bot has joined.
15:41:07 -!- boily has quit (Quit: CIRCULAR CHICKEN).
16:03:49 -!- vodkode_ has joined.
16:20:00 -!- GeekDude has joined.
16:21:18 -!- L8D has joined.
16:25:35 -!- Tritonio has joined.
16:26:34 -!- L8D has quit (Ping timeout: 256 seconds).
16:38:59 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:53:19 -!- shikhin has quit (Ping timeout: 264 seconds).
16:54:12 -!- J_Arcane has joined.
17:05:11 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
17:05:33 -!- J_Arcane has joined.
17:08:38 -!- Tritonio_ has joined.
17:09:45 -!- Tritonio_ has quit (Remote host closed the connection).
17:10:18 -!- Tritonio has quit (Ping timeout: 272 seconds).
17:13:47 <tswett> ^rreree I think I'm just going to put ^rreree before everything I say.
17:13:47 <fungot> II I t ththihininknk k I I'I'm'm m j jujusustst t g gogoioiningng g t toto o p puputut t ^ ^r^rrrrerererereeee e b bebefefofororere e e evevevereryrytyththihiningng g I I I s sasayay.y..
17:14:08 <tswett> ^rreree This will greatly enhance the experience of all involved.
17:14:08 <fungot> TThThihisis s w wiwilillll l g grgrereaeatatltlyly y e enenhnhahanancncece e t ththehe e e exexpxpepereririeienencncece e o ofof f a alallll l i ininvnvovololvlveveded.d..
17:21:05 <int-e> ^rerere At least ^rreree is more readable than ^rerere.
17:21:05 <fungot> AtA tAl tel aelsaetsa ts^ tr^ rr^errrerereeer eei esi sim som romero err eer aerdaeadabadlbaelb elt eht ahtnah na^ nr^ er^rererererere.er.e.
17:22:40 <b_jonas> [ rerere=: 3 :'(y,'' ''"0 y){~0,+/\({~?~@#)1 1 _1#~<:#y'
17:22:50 <b_jonas> [ rerere 'This will greatly enhance the experience of all involved.
17:22:51 <j-bot> b_jonas: |open quote
17:22:51 <j-bot> b_jonas: | rerere 'This will greatly enhance the experience of all involved.
17:22:53 <b_jonas> [ rerere 'This will greatly enhance the experience of all involved.'
17:22:54 <j-bot> b_jonas: |value error: rerere
17:22:54 <j-bot> b_jonas: | rerere'This will greatly enhance the experience of all involved.'
17:23:08 <j-bot> b_jonas: |value error: rerere
17:23:12 <b_jonas> [ rerere=: 3 :'(y,'' ''"0 y){~0,+/\({~?~@#)1 1 _1#~<:#y'
17:23:16 <j-bot> b_jonas: |value error: rerere
17:23:28 <izabera> the outer ' ' mess with the inner ones
17:23:31 <j-bot> b_jonas: |value error: foo
17:23:40 <izabera> oh it's just the bot that's broken
17:24:02 <izabera> so uhm is this channel only full of bots or what
17:24:07 -!- evalj has joined.
17:24:09 <b_jonas> ] rerere=: 3 :'(y,'' ''"0 y){~0,+/\({~?~@#)1 1 _1#~<:#y'
17:24:12 <fungot> int-e: ( note that i said " abstract character" as a yes :) thats why i was wondering
17:24:20 <b_jonas> ] rerere 'This will greatly enhance the experience of all involved.'
17:24:20 <evalj> b_jonas: ThThisihis sihis w w sisihThThisis wiw s wiliwilillll greatly enhahance ththe experepxperieirieieieienence of fof f alall i i llall l i invovnvovnvovnvololved.d.d.ded. .
17:24:32 <b_jonas> ] rerere 'fungot, is this channel only full of bots or what?'
17:24:33 <fungot> b_jonas: there are a few euros attached to it
17:24:33 <evalj> b_jonas: f funufungot, i i is thisisis chchc c c chchannenelelel o o onlylylno onononly f fufufufufufulull o of f b botstotststs ororor w whwhat?t?
17:24:50 <b_jonas> `8-ball is this channel only full of bots or what?
17:24:53 <int-e> metasepia is absent without leave
17:25:13 <int-e> zemhill_: how did you work again?
17:26:09 <elliott> izabera: it's like 7-10% bot iirc
17:26:27 <elliott> usually people are slightly less spammy with them though :p
17:26:29 <HackEgo> Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , blsqbot !
17:26:34 <b_jonas> elliott: what? really? if that was true, we needed more bots
17:26:38 <b_jonas> but I think we already have more
17:26:51 <zemhill_> int-e: I do !zjoust; see http://zem.fi/bfjoust/ for more information.
17:26:51 <EgoBot> help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help <command>.
17:27:03 <elliott> thutubot is only incredibly rarely around so yeah
17:27:05 <zemhill_> int-e: "!zjoust progname code". See http://zem.fi/bfjoust/ for documentation.
17:27:09 -!- J_Arcane_ has joined.
17:27:12 <int-e> !zjoust overflow [+]
17:27:13 <zemhill_> int-e.overflow: points -25.40, score 3.66, rank 47/47
17:27:29 -!- gde33 has quit.
17:27:33 <int-e> !bfjoust overflow [+]
17:27:42 <EgoBot> Score for int-e_overflow: 9.4
17:27:50 <elliott> sometimes people talk here!!
17:27:53 <zemhill_> b_jonas.nooverflow: points -26.21, score 3.50, rank 47/47
17:28:01 <int-e> fungot: tell us about people
17:28:11 <int-e> fungot: I knew that
17:28:12 <fungot> int-e: just for the record, it was a clever magician, so he didn't try to open a new structure in some module
17:28:30 <fungot> int-e: i had forgot there was a problem sending the command to push constant values into the list right?). having to learn a programming language in its own command, for efficiency
17:28:41 <b_jonas> fungot, are you a speaking parrot?
17:28:41 <fungot> b_jonas: " fsn only worked on what the program does
17:29:00 <elliott> cut down on the botspam :p
17:29:25 <b_jonas> [ rerere 'cut down on the botspam :p'
17:29:25 <j-bot> b_jonas: |value error: rerere
17:29:26 <j-bot> b_jonas: | rerere'cut down on the botspam :p'
17:29:29 <b_jonas> ] rerere 'cut down on the botspam :p'
17:29:29 <evalj> b_jonas: c c cut d d dodown o n ono o onon t t n the e e e bototstspstotststspam :p p
17:29:50 <int-e> So myndzi is broken, sigh.
17:29:55 -!- J_Arcane has quit (Ping timeout: 255 seconds).
17:30:03 -!- J_Arcane_ has changed nick to J_Arcane.
17:30:23 <elliott> you're making me want to +m >_>
17:31:39 <b_jonas> wait till we start asking evalj for ascii-art mandelbrot fractal and the like
17:33:32 <int-e> Why does clog have a +q?
17:34:54 <nc_jonas> elliot: besides, that wouldn't work too well on a -n channel
17:39:05 <int-e> Okay, mystery solved. http://sprunge.us/BAZJ (this was 2011-05-13 but I suspect elliott's self assessment has not changed significantly in the meantime :-P)
17:39:39 <elliott> I am a very different person to who I was four years ago.
17:40:06 <int-e> elliott: sure, but do you consider yourself sane?
17:40:21 <elliott> well... my diagnoses say otherwise
17:40:55 <elliott> it's just like using ed for real!
17:41:01 <izabera> why do i have to be fooled by my own bot -.-
17:41:07 -!- shikhin has joined.
17:42:01 <edirc> Warning: buffer modified
17:42:14 <izabera> well, it doesn't really work
17:42:16 <int-e> izabera: I know that. (But I had to look up how to get the list of active quiets.)
17:42:20 <izabera> it just re reads the same file
17:43:07 <elliott> I'm not convinced of its security in 2015.
17:43:15 <elliott> but I'm also too lazy to dig through what is probably a lot of code to exploit it
17:43:39 <int-e> it'd be easier to plant a backdoor
17:44:06 <pikhq> Mmm, delicious GNU bugginess.
17:44:18 <elliott> do you have a link to the source?
17:44:22 <pikhq> (pssst, musl's awesome)
17:44:30 <elliott> the bot linked that itself
17:44:32 <izabera> https://github.com/izabera/edirc/blob/master/edirc
17:46:16 <elliott> thisis really fancy for bash
17:46:39 -!- vodkode_ has quit (Ping timeout: 264 seconds).
17:48:03 <izabera> i mean, there's a befunge bot and i'm the masochist
17:48:43 <Jafet> There's no fungeshock
17:48:48 <pikhq> I would not have written that in bash myself. I'm kinda impressed really.
17:48:57 <elliott> befunge doesn't require you to quote everything!
17:49:16 <elliott> befunge has multiple implementations >.>
17:49:32 <pikhq> elliott: POSIX sh has multiple implementations. :P
17:50:08 <pikhq> (of course this is the least POSIX shell script)
17:50:39 <elliott> besides this channel can support multiple masochists
17:52:31 <int-e> unless they want money
17:53:09 <int-e> oh, it supports several ed sessions...
17:53:28 <elliott> izabera: do you write your web 2.0 applications in bash too
17:54:24 <int-e> it could be implemented on top of http://bellard.org/jslinux/
17:54:32 <pikhq> elliott: Writing CGI in bash is pretty easy (if frightening).
17:54:59 <pikhq> The tricky bit is doing an HTTP server.
17:55:28 <pikhq> I don't have one in bash for you, but one in C isn't that bad.
17:57:33 <elliott> you know what I regret saying that already
17:58:30 <int-e> elliott: this is the wrong channel for regrets.
18:04:59 <pikhq> Sides, what's not to love? http://sprunge.us/fBPj
18:07:06 <pikhq> 12:57 < pikhq> I don't have one in bash for you, but one in C isn't that bad.
18:11:43 <zemhill_> AndoDaan.BeatYouMate: points -1.79, score 18.80, rank 24/47 (+1)
18:17:19 -!- J_Arcane_ has joined.
18:18:40 -!- J_Arcane has quit (Ping timeout: 244 seconds).
18:18:44 -!- J_Arcane_ has changed nick to J_Arcane.
18:35:20 <Sgeo> :/ is there a legal way to watch the 3d versions of 3d movies?
18:39:02 <oren> Sgeo: um. what kind of movies are you planning on watching?
18:39:12 <Sgeo> Avatar comes to mind
18:39:27 <Sgeo> As does The Last Airbender, but that's not a movie I'm inclined to watch again
18:40:59 <pikhq> Avatar in particular? Sure. Purchase a 3D TV, a 3D Bluray player, and the Avatar 3D Bluray.
18:41:14 -!- zadock has joined.
18:41:32 <Sgeo> Can I have the 3D Bluray player without a 3D TV?
18:41:43 <Sgeo> My Oculus Rift + some software could be used like a 3DTV
18:41:55 <Sgeo> Had some fun watching demos meant for 3DTV on YouTube
18:42:02 <pikhq> Um, that would make sense but I do not know for certain.
18:45:26 <Sgeo> https://www.youtube.com/watch?v=wS2C4UWu-pk was a fantastic experience, in a virtual theater
18:51:00 -!- FleurRose has quit (Ping timeout: 272 seconds).
19:06:18 -!- lleu has joined.
19:09:38 -!- lleu has quit (Client Quit).
19:09:45 -!- lleu has joined.
19:15:43 <HackEgo> lleu: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
19:24:54 -!- Fleur has joined.
19:29:23 * Sgeo sings Save... me....
19:30:25 <Sgeo> SAVE ME - SAVE ME FROM MY SELF TONIGHT
19:30:25 <Sgeo> SAVE ME - SAVE ME WHEN I CLOSE MY EYES
19:34:27 <Sgeo> I just really, really love that video
19:34:51 <Sgeo> Parallel viewing it works but not as well :/
19:40:46 <Sgeo> Why did 3D TV die?
19:42:46 <b_jonas> Sgeo: it will be reborn when it's ready, see http://www.xkcd.com/1497/
19:44:19 * Sgeo doesn't want Rift-like devices to die
19:45:12 <pikhq> Mostly because nobody cares about 3D TV.
19:56:47 -!- ^v has joined.
19:58:53 -!- L8D has joined.
20:03:47 -!- L8D has quit (Ping timeout: 245 seconds).
20:05:12 <Sgeo> I think I would enjoy a 3dtv or a 3d monitor
20:05:28 <Sgeo> Although now I effectively have a (low-resolution and cumbersome to use) one
20:07:20 -!- mike_nm has joined.
20:13:40 <mike_nm> do you like esoteric programming
20:14:25 -!- adu_ has joined.
20:14:50 -!- b_jonas has set topic: RIP Jiří Matoušek and Terry Pratchett | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/.
20:15:05 <b_jonas> I'ma using the channel mode -t privilages
20:17:36 -!- mike_nm has quit (Quit: Ex-Chat).
20:19:29 -!- graue has joined.
20:19:39 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
20:35:30 -!- GeekDude has joined.
20:36:26 -!- adu_ has quit (Quit: adu_).
20:49:28 -!- zadock has quit (Quit: Leaving).
21:08:42 <oren> "Please complete each of your course evaluations as soon as possible. We value your feedback!"
21:08:47 -!- iamevn has joined.
21:09:29 <oren> ... well why don't you stop striking and mark the assignments I hnded in 3 weeks ago?!?!
21:11:30 <oren> 0/10 went on strike and ruined everything, would not buy again
21:14:42 -!- ais523 has joined.
21:16:04 <ais523> I figured out my bug, I was overflowing a buffer by 1 byte
21:16:20 <ais523> and valgrind didn't see it because it was on the stack
21:16:48 <iamevn> Is an implementation of brainfuck where moving the pointer left past where it starts isn't handled at all and just breaks things valid?
21:17:14 <iamevn> working on a translator from brainfuck to language I'm working on and not handling that makes things a lot simpler
21:17:19 <oren> bf dialects are highly variable
21:17:49 -!- L8D has joined.
21:18:48 -!- adu_ has joined.
21:18:57 <ais523> iamevn: that's normally considered valid, yes
21:19:21 <iamevn> awesome, then I should have a proof of turing completeness assuming I didn't mess up the translation somewhere
21:19:25 <ais523> also, if you're doing a BF-to-language compiler to prove BF-completeness, you can place pretty much arbitrary restrictions that don't break BF-completeness
21:19:54 -!- adu_ has quit (Client Quit).
21:19:54 <ais523> BF is definitely Turing-complete with only a right-infinite tape
21:20:08 -!- AnotherTest has joined.
21:21:01 <ais523> ooh, now I came up with another "is it TC or not?" problem: BF, except that only the prime-numbered tape elements are writable, the others stay permanently locked at 0
21:21:03 <iamevn> now to just rewrite the translator in my language instead of in racket.
21:21:32 <b_jonas> ais523: my guess is that it's TC, let me think
21:21:33 <ais523> oh, sub-TC, obviously; at some point on the tape, you get a sequence of consecutive composite numbers longer than the length of the program
21:21:37 <ais523> and can't get past it due to no loops
21:21:53 <ais523> so you only have finite accessible memory
21:22:06 <b_jonas> yes, if they're locked to zero the loop will exit
21:22:23 <b_jonas> but what if they're locked to nonzero instead?
21:23:19 -!- adu_ has joined.
21:23:50 <ais523> yep, that's more interesting
21:25:06 <ais523> actually I think it's pretty simply TC, you use 0 and 1 as the only values on the writable cells
21:25:27 <b_jonas> ais523: but how do you skip to the next writable cell without destroying anything?
21:25:44 <ais523> you just test both 0 and 1 as the value for each cell
21:25:49 <ais523> if neither matches, you move on
21:26:15 <ais523> and in order to escape nested loops, you maintain every second writable cell at 0
21:27:06 <ais523> I'm not sure that works
21:27:32 <ais523> although, there are an infinite number of prime pairs…
21:27:42 <int-e> we're close enough to the twin prime conjecture to make it work.
21:27:48 -!- adu_ has quit (Ping timeout: 250 seconds).
21:29:00 <b_jonas> int-e: yeah, that's what I was thinking too. we know there is a natural number k such that there's infinitely many pairs of primes whose difference is k, we just can't name a k that definitely works.
21:29:23 <int-e> but we know that 2 <= k <= 246.
21:29:25 <b_jonas> still, bf is very limited and I don't understand it, so I don't know if this can be made to work
21:30:07 <b_jonas> I think it can probably be made to work
21:31:35 <ais523> b_jonas: int-e: wow, that result is absolutely amazing
21:36:55 <myname> like, how do we know this k exists?
21:37:15 <int-e> http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes
21:38:30 <int-e> I had a look at the paper that started this effort (and proved that k <= 7e7), but found it incomprehensible.
21:38:38 <int-e> Analytical number theory is hard.
21:39:20 <b_jonas> Anyway, yes, bounded prime gaps is an absolutely amazing results, and even the people who understand number theory (I don't, and I don't even try to) claim so.
21:43:23 -!- L8D has quit (Ping timeout: 252 seconds).
21:55:16 -!- adu has joined.
21:56:52 -!- zadock has joined.
21:58:28 -!- Patashu has joined.
22:01:03 -!- L8D has joined.
22:01:36 -!- zadock has quit (Client Quit).
22:20:31 -!- zadock has joined.
22:31:01 -!- augur has quit (Remote host closed the connection).
22:37:20 -!- ProofTechnique has quit (Ping timeout: 256 seconds).
22:39:04 -!- AnotherTest has quit (Ping timeout: 244 seconds).
22:55:53 -!- oren has quit (Read error: Connection reset by peer).
22:56:43 -!- augur has joined.
22:56:53 -!- oren has joined.
22:58:42 <HackEgo> [wiki] [[Wordy]] N http://esolangs.org/w/index.php?oldid=42169 * Iamevn * (+9829) Created language page.
22:59:16 -!- L8D has quit (Ping timeout: 256 seconds).
23:01:18 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=42170&oldid=42166 * Iamevn * (+12) /* W */ added wordy
23:08:26 <HackEgo> [wiki] [[Wordy]] M http://esolangs.org/w/index.php?diff=42171&oldid=42169 * Iamevn * (+130) /* Built in functions */
23:17:01 -!- L8D has joined.
23:18:49 -!- evalj has quit (Remote host closed the connection).
23:19:28 <tswett> Foi, ozusgri fequ ummeioj querj oboliemo vo yuh yu cikepo omgyulori yum (u cryutfigri nejyuhyuoj bolcyuem eh) Uryuomoco?
23:23:10 -!- Lautner has joined.
23:23:15 -!- adu has quit (Quit: adu).
23:23:29 -!- L8D has quit (Ping timeout: 252 seconds).
23:24:36 <olsner> Sbv, bmhftev srdh hzzrvbw dhrew bobyvrzb ib lhu lh pvxrcb bztlhybev lhz (h pelhgsvtev arwlhulhbw obyplhrz ru) Helhbzbpb?
23:25:03 -!- Fleur has quit (Ping timeout: 246 seconds).
23:25:27 -!- Fleur has joined.
23:25:34 <ais523> this looks like some sort of substitution cupher
23:25:58 -!- Fleur has quit (Remote host closed the connection).
23:26:56 -!- adu has joined.
23:27:34 <int-e> I see that olsner tried rot13
23:28:25 -!- Lautner has quit (Ping timeout: 272 seconds).
23:28:35 <olsner> int-e: yes, it was not very successful
23:36:30 -!- ProofTechnique has joined.
23:37:33 <tswett> ais523: yug yuc yumjooj ceno celg eh cavcigyugagyuem syuhol.
23:39:22 -!- shikhin_ has joined.
23:40:32 -!- L8D has joined.
23:42:32 -!- shikhin has quit (Ping timeout: 255 seconds).
23:50:08 -!- AndoDaan has quit (Ping timeout: 265 seconds).
23:55:42 -!- AndoDaan has joined.
23:59:42 -!- iamevn has quit (Ping timeout: 246 seconds).