00:02:03 <elliott> I hear shachaf keeps the man's systems up
00:06:44 -!- Nisstyre has joined.
00:06:47 -!- Bike_ has joined.
00:09:19 -!- Bike has quit (Ping timeout: 256 seconds).
00:10:25 -!- Bike has joined.
00:13:25 -!- Bike_ has quit (Ping timeout: 248 seconds).
00:15:15 -!- elieser224 has joined.
00:23:40 <HackEgo> elieser224: ¿por qué con frecuencia altas y bajas?
00:24:48 <oerjan> is the ~ part of the actual pattern, i thought it was just a flag thing
00:25:11 -!- ChanServ has set channel mode: +o oerjan.
00:25:32 -!- oerjan has set channel mode: -b *!elieser22*@*.
00:25:41 -!- oerjan has set channel mode: +b *!*elieser22@*.
00:26:19 <oerjan> seems you cannot have * both before and after
00:26:20 <shachaf> You might want another * there.
00:27:03 -!- oerjan has set channel mode: -o oerjan.
00:27:40 <oerjan> i guess it's too much work to search inside a word
00:27:54 <shachaf> oerjan: What's with the NICE TRY business?
00:28:12 <oerjan> it's a very nice business
00:29:25 -!- elieser224 has quit (Ping timeout: 248 seconds).
00:39:42 <elliott> well that's the first time they haven't parted
00:39:58 <elliott> oerjan: what was missing was the ~ btw
00:41:49 <Sgeo> kmc, what would you think of a Lisp that did that?
00:42:08 <Sgeo> The (if (0 < 1) '(print "Hi") '(print "Bye")) thing, with if being a regular function
00:42:50 <Bike> it's "common" pedantically to have like (if (< 0 1) (lambda () (print "Hi")) (lambda () (print "Bye")))
00:43:11 <Bike> but uh isn't smalltalk like that
00:43:23 <Bike> i have used smalltalk never
00:43:49 <Sgeo> In Smalltalk you pass around blocks, but those are actual functions, you can't really check out the source of the block
00:44:08 <Sgeo> Your options are to evaluate (and possibly pass in arguments) or not
00:44:37 <Bike> and... you'd rather have source code?
00:44:52 <elliott> abstraction is the devil, Bike
00:45:11 <Sgeo> Sure, because it means no need for macros with a separate macroexpansion phase
00:45:18 <elliott> languages are meant to support cute metaprogramming hacks that are funny for 3 minutes because sgeo gets bored of languages before the total lack of meaningful semantics and uselessness and ripeness for abuse become relevant
00:45:33 <Bike> Sgeo: like... smalltalk's macroexpansion phase??
00:47:22 <Bike> I'm glad I quit programming to take up listening to numbers stations
00:47:24 <Sgeo> Smalltalk has no macros and nothing that particularly takes the place of macros niceny
00:47:36 <Bike> ok but what the fuck does that have to do with quotation though?
00:47:43 <Bike> and the... passy... thing
00:49:01 <Sgeo> You can have a function that does any transform or execution that it likes on code that it receives. And you can preprocess code before giving it to such a function
00:49:31 <Sgeo> And, with particular ways of thinking of symbols, you don't have to lose lexical scoping... I think
00:49:39 <Bike> exactly what i've never particularly needed as core semantics.
00:49:41 <Bike> http://www.youtube.com/watch?v=jy-zVlB4mvA
00:50:51 -!- Bike_ has joined.
00:50:51 -!- Bike_ has quit (Client Quit).
00:51:05 -!- Bike_ has joined.
00:54:01 -!- Bike has quit (Ping timeout: 246 seconds).
00:54:17 -!- Bike has joined.
00:56:25 -!- Bike_ has quit (Ping timeout: 240 seconds).
00:59:14 -!- oerjan has quit (Quit: leaving).
01:11:01 -!- Bike has quit (Ping timeout: 248 seconds).
01:11:29 <Sgeo> Just bought a prgmr ... thing
01:11:57 <Sgeo> Well, started yesterday, paid today
01:12:47 -!- Bike has joined.
01:33:07 <kmc> are you ircing from it
01:33:48 <kmc> Sgeo: a Lisp that does that is very much like Kernel
01:34:02 <kmc> and so I would say at minimum that when you define 'if' you need a way to bind the caller's lexical environment
01:35:35 <kmc> `addquote <Bike> I'm glad I quit programming to take up listening to numbers stations
01:35:39 <HackEgo> 1047) <Bike> I'm glad I quit programming to take up listening to numbers stations
01:36:02 <Bike> well. if if is just a normal function, and you're passing it quoted code blocks, the lexical environment you want those blocks executed in probably isn't just whoever's calling if.
01:36:14 <Bike> if only there was some way to attach a lexical environment to a block of code.
01:36:23 <kmc> Bike: are you familiar with how Kernel works?
01:36:48 <Sgeo> I'm having some trouble thinking of whether the model I have in mind is in fact sufficient
01:36:50 <kmc> so don't you think that in this case, 'if' will want to eval one of those two bits of code, in the caller's lexical environment?
01:36:58 <Bike> the caller of if?
01:37:21 <kmc> yeah, the environment that would be captured there if it were a lambda
01:37:38 <kmc> the same env that's captured in your example with (lambda () ...)
01:37:50 <kmc> that's what Kernel provides to an operative
01:37:56 <Bike> what i mean is, sgeo's emphasis is on the arguments, i think whoever constructed the /arguments/ would want to control the caller there
01:38:38 <Bike> control the environment, ugh headache sorry
01:38:54 <Sgeo> ...I have a mental model for scoping, but that mental model doesn't actually match what Rebol does, so I may end up short-changing Rebol
01:39:15 <kmc> blub blub blub
01:39:59 <Bike> ok anyway: how do smalltalk blocks work again? it's like [ ...variables... | ...statements with ...variables... free... ] right? and do you call it with named arguments or what
01:40:10 <Sgeo> Ok, I'll just describe my mental model, which Rebol can be coerced into, and we'll see what happens
01:41:45 <Sgeo> Each symbol has an environment attached to it. A function that takes in a block can swap a symbol's environment for something else and/or modify it etc. So the caller of if can impose an environment over every symbol that it sees. Things inside that block, say, inside the if, when executed, can themselves impose a different environment on each word before evaling what they see
01:42:40 <Bike> "word" and "symbol" are the same?
01:43:50 <Sgeo> Yes. Well, Rebol calls them words, I wanted to call them symbols because we're going with the Lisp analogy
01:45:31 <Bike> so would like, (eval symbol) look up the value of symbol in its environment, and return that value
01:47:35 <Bike> the values totally exist in the environments, then, it's just delayed evaluation
01:48:36 <Sgeo> Let me take a Rebol example and translate it into a Lispy syntax
01:48:41 -!- coppro_ has changed nick to coppro.
01:49:04 <kmc> shachaf: https://www.quora.com/East-Palo-Alto-CA/What-good-pizza-places-deliver-to-East-Palo-Alto?srid=Q1&share=1
01:49:36 <kmc> i could spend 390 Quora Bux to ask Charlie Cheever where to buy pizza in East Palo Alto
01:49:41 <kmc> truly the sharing economy is upon us
01:49:59 <elliott> does this question have no answer
01:51:30 <elliott> Palo Alto, CA: Why has East Palo Alto not produced world famous rappers?
01:51:50 <Bike> dj dotcom bubble
01:52:11 <elliott> so the idea of quora is to make me kill myself by telling me to log in constantly right
01:52:15 <elliott> it's like fucking expert's exchange
01:52:20 <kmc> you in particular
01:52:30 <elliott> i guess it's experts plural not 's
01:52:33 <elliott> possessive? that's the one
01:53:02 <elliott> How much of the conversations about East Palo Alto being "safe" just perceived or masked racism?
01:53:12 <Sgeo> http://pastie.org/8007464
01:53:27 <elliott> haha there are a lot of questions about whethery ou're going to get murdered in east palo alto here
01:53:43 <Bike> alright sure what's use
01:54:02 <Sgeo> Here, use scans for the symbols in the first list and sets all such symbols to their own scope. A bit like let I guess. (print xs) evals each thing in the list and prints
01:54:12 <Bike> to their own... scope?
01:54:20 <Sgeo> So it would print (12 9 "RELISP")
01:54:28 <Sgeo> As in, a new environment created by that use
01:54:33 <elliott> The upshot seems to be that you are still more likely to get shot in EPA than elsewhere
01:54:42 <elliott> i remember in hexham once someone got shot
01:54:42 <Sgeo> So each of those three x's are different
01:54:55 <shachaf> kmc: is quora bux a thing.............
01:54:57 <Sgeo> But each xs, since not rebound by use, refers to that global xs
01:54:59 <Bike> why is it (append xs 'x) and not (append 'xs 'x) or (append xs x)
01:55:11 <kmc> i have a friend who is moving to EPA and he claims it's fine other than terrible schools
01:55:17 <Bike> also i don't want to think about parsing this.
01:55:33 <Sgeo> It's not (append xs x) because you're not putting each value into xs, but the symbol 'x
01:55:34 <elliott> kmc: uh it has no world class rappers
01:55:37 <kmc> and he's not planning to have kids, and he's gay so it won't just happen by accident
01:55:44 <kmc> he told me gay people are a gentrifying force for this reason
01:55:45 <Sgeo> So xs contains three symbols, each is x, but each has a different environment
01:56:13 <Sgeo> Maybe I should have said append!, since append! mutates its first argument
01:56:22 <elliott> so many fucking questions about whether east palo alto is dangerous
01:56:26 <kmc> the thing in america where schools are funded by local property taxes produces tremendous inequality
01:56:28 <elliott> Do I have to worry about my car being stolen in East Palo Alto?
01:56:41 <Bike> so what advantage is there over, say, (set! xs (list (delay 12) (delay 9) (delay "MOTHER FUCK OF")))
01:56:41 <kmc> but then they tried to fix that in CA and the result was that rich people voted to never pay more property taxes ever
01:56:48 <Sgeo> Although come to think of it
01:57:00 <Sgeo> It should have been (set! 'x 12) etc
01:57:03 <Bike> kmc: hey i got a funny story about that!
01:57:03 <Sgeo> Not (set! x 12)
01:57:22 <kmc> elliott: "Anonymous: very [Qualifications: I am a car thief in East Palo Alto]"
01:57:44 <Bike> i live in a rural area and everybody hates taxes and there was a vote to raise property taxes in a levy
01:57:56 <Bike> and if it didn't pass, the district wouldn't have enough money to continue existing, and would dissolve!
01:58:06 <Bike> in which case, apparently, the state swoops down and redistricts everything
01:58:24 <Bike> which would put everybody in nearby districts with higher taxes than the levy would raise them to!
01:58:40 <Bike> basically what i'm saying is that i fucking hate where i live help
01:58:48 <kmc> so did it pass in the end
01:59:06 <Bike> yeah it actually did
01:59:11 <kmc> makes sense
01:59:13 <Bike> the latest one failed though, so there's been huge layoffs
01:59:25 <kmc> they voted to have the worst possible schools that wouldn't be shut down by the state
01:59:53 <Bike> when i told this to coworkers they didn't believe me, because that would be too fucking stupid. well, here we are, coworkers
02:00:22 <kmc> hm i want to put this down to 'collective action is hard' but i think there's no individual incentive to defect, either
02:00:23 <shachaf> Bike: imo move to california hth
02:00:47 <Bike> Can't they not raise taxes in Cali without a supermajority
02:01:58 <Bike> also my parents grew up there and they told me about "smog days" so now i kind of slightly consider it Mordor even though that's dumb & also wrong.
02:02:42 <elliott> can confirm that california is mordor
02:03:04 <elliott> if the smog doesn't convince you consider the gigantic fiery eye that watches over it all, that's kind of a give-away
02:03:18 <Bike> plus california somehow has like a trillion more disasters even though i can see like three active volcanos from my house??
02:03:34 <elliott> well in california they don't see the volcanoes
02:04:00 <kmc> Bike: I think smog is a problem in LA area but not nearly so much in northern CA
02:04:04 <Bike> i actually live within walking distance of a caldera and i'm pretty sure i'm safer than i'd be in california
02:04:07 <kmc> in SF they just have fog with an f
02:04:12 <kmc> which is better because it doesn't attack your lungs
02:04:17 <Bike> kmc: yeah it's not as bad in the south as it was when they were kids anyway
02:04:27 <kmc> CA got serious about emissions standards
02:04:33 <kmc> which helped the whole country
02:04:34 <elliott> New York City: What are the best places in NY for an existentialist solo traveller to go?
02:04:39 <elliott> what the fuck makes a solo traveller "existentialist"
02:04:46 <kmc> being pretentious as fuck
02:04:48 <Bike> they're a clone of sartre
02:04:57 <elliott> "i can highly recommend this place for solo travellers, but ONLY IF THEY'rE EXISTENTIALISTS"
02:05:13 <elliott> it has 1 answer: "A long night walk through the Bronx can be a challenge to your existence."
02:05:13 <pikhq> "The Existential Crisis"?
02:05:19 * Bike imagines Quora reviews of locales from Kafka stories
02:05:34 <Bike> "lawkeeper wouldn't let me in, zero stars"
02:05:45 <elliott> kmc: i keep forgetting that LA is in californi
02:05:52 <elliott> i keep forgetting that LA is even in this universe
02:06:05 <Bike> common mistake
02:06:37 <elliott> Jesus: Why was Jesus crucified?
02:07:04 <Bike> answer: [entire quoted text of summa theologica]
02:07:43 <elliott> its because they wanted him to not be alive any more
02:08:48 <Bike> about sums it up, you gotta admit
02:09:46 <elliott> they wanted him to not be alive because they didnt like jesus
02:10:21 <elliott> wow the summa theologica is three thousand pages
02:10:46 <kmc> "wrong place, wrong time"
02:11:09 <Bike> it's "summa" for a reason, man!
02:11:25 <elliott> "summa theologica" as in "summa dat theologica"
02:11:53 <Bike> yo pass me the theologica bro i got a good feeling about this drag
02:14:13 <pikhq> That theologica is some good shit.
02:14:26 <pikhq> I be seein' da holy ghost
02:17:06 <kmc> itym i and i
02:18:02 <shachaf> kmc: are you back in bosstown
02:18:28 <kmc> no, long layover at ORD
02:21:27 <kmc> not very far out of the way, though: http://www.gcmap.com/mapui?P=SJC-ORD-BOS,SJC-BOS
02:39:06 <shachaf> elliott: should i become a world famous rapper
02:39:25 <shachaf> oerjan: [[andor]] is still not fixed!!!!!!!!!!!!!
02:40:58 -!- Phantom_Hoover has joined.
02:42:59 <elliott> Phantom_Hoover: what are you doing joining here at 3:40
02:43:21 <Phantom_Hoover> i have a brief respite from exams so fuck sleeping at reasonable hours
02:43:30 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds).
02:43:34 <Bike> hey kmc i need "drug opinions".
02:43:37 <Bike> "Rehab is such a fucking joke I can't even mention it without the disclaimer that it's really not going to work at all. I know it's probably a shitty thing to say since for many people it is a last resort before death, but if anything will drive you to drug use it is rehab. Try to take a bunch of LSD or something, shit, just get off the damn heroin."
02:43:44 <Phantom_Hoover> actually don't fuck sleeping at reasonable hours because i still feel guilty for being up at dawn
02:43:52 <Bike> good thing to say to a heroin addict y/n
02:44:09 <elliott> Phantom_Hoover: the great thing about i was going to go to bed early is, it's fucking light outside already
02:44:19 <elliott> it wasn't even fully dark at 10 pm
02:44:41 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:45:55 <shachaf> elliott: move to san francisco hth
02:46:06 <Bike> "where it's always dark"?
02:46:41 <shachaf> where it's always the place to be
02:46:58 <kmc> Bike: not qualified to say, hth
02:47:05 <elliott> kmc: get addicted to heroin
02:47:55 <ion> #haskell-heroinaddicts
02:48:01 <kmc> silly heroin addicts, always taking that heroin
02:48:16 <kmc> shit, just get off the damn heroin, hth
02:48:17 <shachaf> i'm not addicted to heroin anymore, but i'm addicted to being addicted to heroin. so i'm having p. bad withdrawal right now
02:48:37 <ion> I’m addicted to shachaf’s heroin addiction.
02:48:54 <shachaf> ion: itym #cslounge-trainspotting hth
02:49:27 <ion> I mean #erlang-requiemforadream
02:50:22 <Bike> a monad darkly
02:51:38 <Bike> actually, a lens darkly, huh.
02:53:09 <kmc> 420 smoke substance d every day
02:53:31 * kmc → plane, again
02:53:39 <Bike> splits your mind in two so you can blaze it twice as hard
02:53:45 <ion> snake → plane
03:05:44 <Sgeo> The Clojure/West Racket video doesn't come out until September :(
03:06:03 <kmc> is that a rap music video
03:36:07 -!- rntz has quit (Write error: Broken pipe).
03:36:15 -!- rntz has joined.
03:39:01 -!- ineiros has joined.
03:41:42 -!- ineiros_ has quit (Ping timeout: 276 seconds).
03:59:37 -!- myname has joined.
04:00:24 -!- lambdabot has joined.
04:32:49 <Sgeo> I briefly forgot how to imperative
04:43:56 <myname> easy, always think about it like the whole program is a monad
04:44:38 <shachaf> I think the word "monad" should be banned.
04:45:37 -!- conehead has joined.
04:48:25 <Sgeo> ...There's a proposal to add single-dispatch generic functions to Python
04:48:33 <Sgeo> Isn't that pretty much the point of OO?
04:48:35 <kmc> the way you just used it is nonsense myname
04:49:36 <kmc> that is one reason
04:49:39 <Sgeo> Although splitting out a separate 'generic function' mechanism allows said functions to be sanely namespaced
04:49:50 <Sgeo> I wish OO languages namespaced their method names
04:50:25 <kmc> how do you mean
04:51:05 <Sgeo> foo.bar() if two modules have different meanings of .bar, and wanted to extend object to have .bar(), there's a conflict in most languages where that is possible
04:51:35 <Sgeo> But if you do similar bar(foo) where bar is a generic function, no issue, because different bars from each module.
04:51:49 <kmc> you're talking about, like, mixins?
04:51:50 <Sgeo> So why not have in foo.bar() syntax the bar be namespaced
04:52:10 <kmc> afk again, sorry
05:04:36 -!- bobbers has joined.
05:05:21 -!- bobbers has quit (Client Quit).
05:14:26 -!- ehaliewicz has joined.
05:15:07 <ehaliewicz> i feel like writing a compiler for a small esoteric language
05:23:41 <ehaliewicz> i should have figured you guys wouldn't make it easy
05:24:36 <Bike> is this the fuck
05:43:09 -!- epicmonkey has joined.
05:49:56 -!- oklofok has quit (Ping timeout: 260 seconds).
05:50:34 <kmc> ehaliewicz: well Brainfuck was designed primarily to admit very simple compilers
05:50:58 <kmc> in fact I don't think it was explicitly designed to be unusual or difficult to program in, so it might not count as a true esolang
05:51:16 <Bike> that was a quick plane ride
05:51:41 <kmc> it was more of a car ride
05:53:27 -!- ehaliewicz has left ("ERC Version 5.3 (IRC client for Emacs)").
05:54:07 -!- Jafet has joined.
05:54:43 <myname> epicmonkey: how about befunge?
05:54:52 <Bike> did you drive for two hours to the airport
05:55:04 <Bike> they left, myname
05:57:33 <Bike> they'll fungepile another day
05:59:08 <Bike> hm, what's a story.
06:01:01 <Bike> One day God made an infinite number of worlds, each with an infinite number of people who were all infinitely happy. They all lived happily for infinite time.
06:01:04 <Bike> Not a ery good story.
06:01:42 <shachaf> but infinity is too hard for me
06:02:11 <shachaf> can you try 3↑↑↑↑↑3 instead
06:02:45 -!- epicmonkey has quit (Ping timeout: 248 seconds).
06:03:41 <Bike> Once upon a time, technology among people advanced to the point where they could form and dissolve social connections among each other with just a thought.
06:04:12 <Bike> Lots and lots of friendships dissolved and formed throughout the throngs of humanity every millisecond. There were so many people and so much talking that nobody would be able to keep track of it.
06:05:42 <Bike> People tried, though. They used visualization software that drew negative relationships like hatred or alimony as red, and positive relationships like love or appreciation as blue.
06:06:36 <Bike> But before finding a group that was entirely filled with mutual hate or mutual love, I got bored and found it in porn intead. The end.
06:09:38 <myname> you found mutual hate in porn?
06:10:59 <Bike> more likely than love in porn
06:14:31 <myname> well, on professional porn at least
06:28:29 -!- sebbu2 has joined.
06:29:33 -!- sebbu has quit (Ping timeout: 256 seconds).
06:49:59 <Jafet> Bike: starting your story with a deus ex machina is usually considered in poor form
06:50:41 <Bike> are you arguing with the genius of euripides
06:58:51 -!- epicmonkey has joined.
07:05:03 <Jafet> There once was a guy called Euripides, who wrote some pretty tragic stories. People tried to get him to write happier stories, but he would not change no matter what they did. Finally, a god descended from the rigging and put happy endings in his stories. The end.
07:33:58 <Jafet> kmc: There once was a guy called Euripides who wrote many watery tragedies. His style, he defended, until god descended and forced him to write divine remedies.
07:57:57 -!- nooga has joined.
08:08:34 -!- yonkie_ has joined.
08:11:18 -!- yonkie__ has quit (Ping timeout: 240 seconds).
08:24:45 -!- sebbu2 has changed nick to sebbu.
08:33:39 -!- Lymia has quit (Ping timeout: 256 seconds).
08:44:55 -!- Taneb has joined.
08:47:05 -!- Lymia has joined.
09:13:52 -!- DHeadshot has quit (Read error: Connection reset by peer).
09:13:58 -!- DH____ has joined.
09:20:03 <olsner> how do people just pop out limericks like that? I seem to be lacking that skill
09:22:00 -!- DH____ has quit (Read error: Connection reset by peer).
09:22:06 -!- DHeadshot has joined.
09:24:03 <Taneb> There was a chap from Scandinavia/Who didn't have any poetic behaviour/So online he complained/And helpfulness reigned/Taneb became his limerick saviour
09:25:39 <FreeFull> There should be an esoteric language where the only valid code is limericks
09:25:43 <FreeFull> Anything else is a compiler error
09:25:55 <shachaf> A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use in my prose / Multiocular 'O's / But my poems are alphanumeric."
09:27:09 <olsner> shachaf wins this round
09:27:26 <olsner> unless multiocular o has appeared in limericks before, that might change things
09:28:16 <olsner> A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use in my prose / ꙮ's / But my poems are alphanumeric."
09:29:38 <shachaf> There should be a game where you tell us things to write limericks about and we write them!
09:29:44 <shachaf> And they have to be really bad.
09:30:14 -!- glogbackup has quit (*.net *.split).
09:30:14 -!- tswett has quit (*.net *.split).
09:30:14 -!- hogeyui____ has quit (*.net *.split).
09:30:14 -!- copumpkin has quit (*.net *.split).
09:30:14 -!- aloril has quit (*.net *.split).
09:30:33 <olsner> maybe someone already did that and called it #esoteric?
09:30:44 <shachaf> Perhaps life is one big limerick.
09:30:53 -!- hogeyui____ has joined.
09:30:54 -!- copumpkin has joined.
09:30:54 -!- aloril has joined.
09:30:54 -!- tswett has joined.
09:30:54 <shachaf> easy, always thing about it like the whole program is a limerick
09:35:19 <olsner> a limerick esolang can't be a new idea... has really no-one already done it?
09:41:37 <shachaf> MULTIÖCULAR O is my secret weapon.
09:43:43 <shachaf> Have you ever read Lear's limericks?
09:44:27 <shachaf> I am not quite sure how to enjoy them
09:46:36 <olsner> perhaps you could enjoy them multiocularly?
09:47:39 <olsner> no, two is not multi enough
09:48:34 <shachaf> I'm afraid that I am inoculated.
10:05:47 -!- sacje has quit (Quit: sacje).
10:25:50 -!- conehead has quit (Quit: Computer has gone to sleep.).
10:33:29 -!- tswett_ has joined.
10:40:13 -!- tswett has quit (*.net *.split).
10:40:13 -!- hogeyui____ has quit (*.net *.split).
10:40:13 -!- copumpkin has quit (*.net *.split).
10:40:13 -!- aloril has quit (*.net *.split).
10:40:55 -!- Phantom_Hoover has joined.
10:42:04 -!- sebbu2 has joined.
10:42:13 -!- sebbu has quit (Ping timeout: 248 seconds).
10:45:05 -!- hogeyui____ has joined.
10:45:05 -!- copumpkin has joined.
10:45:05 -!- aloril has joined.
10:57:45 -!- yonkie_ has quit (Quit: Leaving).
11:20:12 -!- sebbu has joined.
11:20:37 -!- sebbu2 has quit (Ping timeout: 248 seconds).
11:23:06 -!- Taneb has quit (Read error: Connection reset by peer).
11:24:46 -!- Taneb has joined.
11:29:09 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds).
11:38:03 -!- nooga has quit (Ping timeout: 260 seconds).
11:47:30 -!- Phantom_Hoover has joined.
12:08:31 -!- nooga_ has joined.
12:12:50 -!- oklopol has joined.
12:30:46 -!- hogeyui____ has quit (*.net *.split).
12:30:46 -!- copumpkin has quit (*.net *.split).
12:30:47 -!- aloril has quit (*.net *.split).
12:34:20 -!- hogeyui____ has joined.
12:34:20 -!- copumpkin has joined.
12:34:20 -!- aloril has joined.
12:42:07 -!- tertu has quit (Read error: Connection reset by peer).
12:42:30 -!- tertu has joined.
12:44:38 -!- oerjan has joined.
12:55:16 -!- boily has joined.
12:58:26 -!- nooga_ has quit (Ping timeout: 240 seconds).
13:06:46 <oerjan> shachaf: i have no idea where this [[andor]] you are referring to is
13:07:06 <oerjan> wikipedia has And/or, and wiktionary refers to the swedish word
13:07:10 <Taneb> oerjan, It's got a forast moon
13:07:43 <Taneb> The Forast Moon of Andor
13:08:09 <oerjan> however, clearly metasepia should use ~andor for its swedish searches
13:08:25 -!- ChanServ has set channel mode: +o oerjan.
13:08:25 -!- iamcal___ has joined.
13:08:38 -!- oerjan has kicked Taneb There has to be limits.
13:08:42 -!- oerjan has set channel mode: -o oerjan.
13:09:04 -!- metasepia has joined.
13:09:40 <metasepia> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
13:09:44 <elliott> oerjan: you should op me!!
13:09:45 -!- Taneb has joined.
13:09:56 <metasepia> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
13:10:11 <oerjan> why is metasepia here when boily isn't
13:10:38 <oerjan> good, then you can get working on implementing the swedish search hth
13:11:26 <boily> when I'll get unsick again. yesterday I was spontaneously losing weight, and today I have low blood pressure.
13:11:58 <oerjan> i guess weight loss that you notice in a single day is rather serious.
13:12:05 <boily> you'll have to come to... Canada ♪ (with a scare chord)
13:12:20 <boily> oerjan: nothing that I couldn't unstomach.
13:12:23 <Taneb> If I lost weight, I'd...
13:12:28 <Taneb> be in serious trouble
13:12:49 <oerjan> thin as a stick, that's Taneb
13:13:01 <boily> what the stupid dammit aaaaargh!
13:13:31 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: eval: not found
13:13:38 -!- iamcal__ has quit (Ping timeout: 260 seconds).
13:13:38 -!- iamcal___ has changed nick to iamcal__.
13:13:50 <oerjan> `run ghc -e '60 * 2.2'
13:14:39 <boily> (meanwhile, the reason that cephalopod isn't coöperative: mueval-core: /usr/lib/ghc-7.6.2/settings: openFile: does not exist (No such file or directory))
13:14:52 <metasepia> Error (1): Could not find module `Math.Gamma'
13:14:52 <metasepia> Use -v to see a list of the files searched for.
13:15:08 <metasepia> Error (1): Could not find module `Data.Numbers.Primes'
13:15:08 <metasepia> Use -v to see a list of the files searched for.
13:15:16 <metasepia> Error (1): Could not find module `Crypto.PBKDF2'
13:15:16 <metasepia> Use -v to see a list of the files searched for.
13:15:35 <oerjan> <boily> you'll have to come to... Canada ♪ (with a scare chord) <-- i am not sure that singing canada with a scare chord is possible hth
13:17:23 <oerjan> oh wait chords are for instruments
13:17:56 <boily> on of our best humorists demonstrated that in fact, you can't lest you break your instrument.
13:18:13 <boily> in a sketch that involved zombies and a cellist in a closet.
13:18:42 <oerjan> this is clearly important information
13:20:20 -!- nooga has joined.
13:21:05 <Taneb> ~eval "hello" & ix 3 .~ 'z'
13:21:16 <Taneb> ~eval "hello" & ix 3 .~ 'z'
13:22:02 <boily> oerjan: black magic.
13:22:24 <oerjan> also fix that Error (1): stuff hth
13:24:37 -!- tromp_ has joined.
13:24:43 -!- augur_ has joined.
13:28:21 -!- lifthras1ir has joined.
13:29:04 -!- quintopi1 has joined.
13:30:43 -!- augur has quit (*.net *.split).
13:30:49 -!- ggherdov has quit (*.net *.split).
13:30:49 -!- quintopia has quit (*.net *.split).
13:30:49 -!- lifthrasiir has quit (*.net *.split).
13:30:49 -!- tromp has quit (*.net *.split).
13:30:49 -!- Tod-Autojoined has quit (*.net *.split).
13:30:49 -!- olsner has quit (*.net *.split).
13:31:00 -!- yiyus has joined.
13:33:02 -!- nooodl has joined.
13:33:31 <boily> oerjan: I just remembered, I have a github repo for that aquatic creature. https://github.com/pfcuttle/metasepia
13:33:54 <boily> for any complaint, suggestion and other disagreements, you can issue.
13:34:30 -!- oklopol has quit (Ping timeout: 254 seconds).
13:34:30 -!- yiyus_ has quit (Ping timeout: 254 seconds).
13:34:57 <oerjan> github, killing complaints since 20something
13:35:20 <oerjan> lambdabot: you are slow hth
13:36:26 <metasepia> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
13:37:08 -!- clog has quit (Ping timeout: 264 seconds).
13:37:09 -!- nooga has quit (Ping timeout: 248 seconds).
13:37:20 -!- Tod-Autojoined has joined.
13:37:20 -!- olsner has joined.
13:37:59 -!- nooga has joined.
13:38:13 -!- clog has joined.
13:38:30 -!- Frooxius_ has joined.
13:40:49 <FreeFull> boily: I wish it had the actual source code
13:40:50 -!- Frooxius has quit (Ping timeout: 256 seconds).
13:40:51 -!- jconn has quit (Ping timeout: 256 seconds).
13:40:51 -!- atehwa has quit (Ping timeout: 256 seconds).
13:41:01 -!- atehwa has joined.
13:41:20 -!- pikhq_ has joined.
13:41:22 -!- FreeFull has quit (Ping timeout: 256 seconds).
13:41:34 -!- FreeFull has joined.
13:41:52 -!- pikhq has quit (Write error: Broken pipe).
13:43:26 -!- quintopia has joined.
13:43:59 -!- quintopi1 has quit (Remote host closed the connection).
13:44:55 <Taneb> FreeFull, feles es?
13:44:55 <boily> FreeFull: I need to rewrite everything. I can send you the original archive if you'd like to have a peek.
13:45:36 -!- Phantom__Hoover has joined.
13:45:51 <metasepia> Error (1): Not in scope: data constructor `Phantom__Hoover'
13:46:06 <FreeFull> ~eval data P = Phantom__Hoover
13:46:06 <metasepia> Error (1): <hint>:1:1: parse error on input `data'
13:46:45 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds).
13:47:09 <boily> that really shouldn't have worked. I'm disturbed here.
13:47:33 <boily> oh, nothing bad. he just splitted.
13:49:28 -!- Phantom__Hoover has changed nick to Guest31779.
13:49:28 -!- quintopia has changed nick to Guest34689.
13:49:28 -!- FreeFull has changed nick to Guest65081.
13:49:54 -!- Guest65081 has quit (Changing host).
13:49:54 -!- Guest65081 has joined.
13:50:10 -!- Guest65081 has changed nick to FreeFull.
13:51:27 <FreeFull> I really wish I could filter the output of :browse somehow
13:52:07 <lambdabot> No instance for (GHC.Show.Show (m0 a0))
13:52:07 <lambdabot> arising from a use of `M66788873...
13:52:16 <lambdabot> No instance for (GHC.Show.Show (GHC.Types.IO a0))
13:52:58 -!- elliott_ has joined.
13:54:28 -!- metasepia has quit (Remote host closed the connection).
13:56:05 <oerjan> one squid down, millions to go
13:56:25 -!- elliott has quit (Read error: Connection reset by peer).
13:56:54 -!- elliott_ has changed nick to elliott.
14:03:33 -!- nooga has quit (Ping timeout: 245 seconds).
14:06:29 -!- sebbu has quit (Ping timeout: 248 seconds).
14:07:47 -!- sivoais has joined.
14:13:52 -!- tswett_ has quit (Ping timeout: 240 seconds).
14:14:44 -!- tswett has joined.
14:14:44 -!- tswett has quit (Changing host).
14:14:44 -!- tswett has joined.
14:14:52 -!- sivoais has quit (Ping timeout: 260 seconds).
14:17:04 -!- Guest31779 has quit (Ping timeout: 256 seconds).
14:17:48 -!- sivoais has joined.
14:19:12 <boily> FreeFull: just a moment, rebooting the calamari...
14:19:20 -!- metasepia has joined.
14:19:51 <metasepia> Error (1): No instance for (GHC.Show.Show (m0 a0))
14:19:51 <metasepia> arising from a use of `M2019754395415980596.show_M2019754395415980596'
14:19:51 <metasepia> The type variables `m0', `a0' are ambiguous
14:19:51 <metasepia> Possible fix: add a type signature that fixes these type variable(s)
14:19:51 <metasepia> Note: there are several potential instances:
14:19:51 <metasepia> instance (GHC.Real.Integral a, GHC.Show.Show a) =>
14:19:52 <metasepia> instance (GHC.Show.Show a, GHC.Show.Show b) => GHC.Show.Show (a, b)
14:19:53 <metasepia> instance (GHC.Show.Show a, GHC.Show.Show b, GHC.Show.Show c) =>
14:20:03 <boily> you didn't see nothing.
14:20:07 <FreeFull> You should probably cull the output
14:20:21 <metasepia> Error (1): No instance for (GHC.Show.Show (GHC.Types.IO a0))
14:20:22 <metasepia> arising from a use of `M2146710962901742287.show_M2146710962901742287'
14:20:22 <metasepia> add an instance declaration for (GHC.Show.Show (GHC.Types.IO a0))
14:20:25 <boily> I think that's the most pressing urging important issue right now.
14:20:33 <boily> and no, no IO, you vile hacker that you are.
14:20:50 <metasepia> Error (1): Could not deduce (GHC.Num.Num
14:20:50 <metasepia> (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer -> t))
14:20:50 <metasepia> arising from the ambiguity check for `e_1123'
14:20:50 <metasepia> from the context (GHC.Num.Num (a -> a1 -> t),
14:20:51 <metasepia> bound by the inferred type for `e_1123':
14:20:52 -!- jsvine has joined.
14:20:52 <metasepia> (GHC.Num.Num (a -> a1 -> t), GHC.Num.Num a, GHC.Num.Num a1) => t
14:20:54 <metasepia> (GHC.Integer.Type.Integer -> GHC.Integer.Type.Integer -> t))No instance for (GHC.Show.Show a0)
14:20:55 <metasepia> arising from a use of `M3112136935042015385.show_M3112136935042015385'
14:24:14 -!- sivoais has quit (Quit: leaving).
14:27:46 -!- ssue__ has joined.
14:28:57 -!- rntz^2_ has joined.
14:29:43 -!- clog_ has joined.
14:30:27 -!- ssue_ has quit (Ping timeout: 240 seconds).
14:30:27 -!- rntz has quit (Ping timeout: 240 seconds).
14:30:27 -!- FreeFull has quit (Ping timeout: 240 seconds).
14:30:27 -!- clog has quit (Ping timeout: 240 seconds).
14:30:28 -!- ssue__ has changed nick to ssue_.
14:30:29 -!- FreeFull_ has joined.
14:30:38 -!- sivoais has joined.
14:30:39 -!- sivoais has quit (Changing host).
14:30:39 -!- sivoais has joined.
14:30:40 -!- FreeFull_ has quit (Changing host).
14:30:40 -!- FreeFull_ has joined.
14:34:28 -!- Frooxius_ has quit (Quit: ChatZilla 0.9.90-rdmsoft [XULRunner 1.9.0.17/2009122204]).
14:36:35 -!- tswett has quit (*.net *.split).
14:36:35 -!- hogeyui____ has quit (*.net *.split).
14:36:35 -!- copumpkin has quit (*.net *.split).
14:36:35 -!- aloril has quit (*.net *.split).
14:38:32 -!- sivoais has quit (Read error: Connection reset by peer).
14:40:19 -!- sivoais has joined.
14:40:43 -!- rntz^2_ has changed nick to rntz.
14:40:51 -!- sivoais has quit (Read error: Connection reset by peer).
14:41:56 -!- sivoais has joined.
14:48:51 -!- Frooxius has joined.
14:48:51 -!- tswett has joined.
14:48:51 -!- hogeyui____ has joined.
14:48:51 -!- copumpkin has joined.
14:48:51 -!- aloril has joined.
14:48:56 <boily> we'll never see the bottom of that soon, I fear...
14:52:41 -!- carado has quit (Ping timeout: 240 seconds).
14:53:10 -!- Koen___ has joined.
14:53:47 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/
14:53:56 <oerjan> `learn ⊥ is a bottom tack, useful for annoying teachers.
14:55:55 -!- Phantom_Hoover has joined.
14:58:13 <boily> btw, any news on the II?
14:59:02 <boily> Infamous Interview.
14:59:20 <HackEgo> 2013-05-30 22:48:16: <cpressey> `learn /quit
14:59:39 <HackEgo> 2013-05-29 20:57:30: <jsvine> Bye for now.
14:59:58 <jsvine> I've just been tied up with a couple other stories.
15:00:03 <Taneb> He has been summoned!
15:00:06 <jsvine> But my interest in esolangs remains!
15:01:10 <boily> by the ancient art of cephalopodomancy, I brought forth The Journalist!
15:01:46 <Phantom_Hoover> is this some kind of jon ronson affair where you hang out and try not to be confrontational so you can get a goldmine of weirdness for the public to point and laugh at
15:03:36 <jsvine> Not intentionally, at least.
15:04:23 <metasepia> Your divination: "Treading" to "Arguing"
15:04:28 <oerjan> eek, i just edited [[Jesus]]...
15:04:58 <metasepia> Jon Ronson is a British journalist, documentary filmmaker, radio presenter and nonfiction author, whose works include The Men Who Stare at Goats.
15:05:30 <boily> if I'm being stared at, I think I'm not a goat.
15:06:04 <elliott> oerjan: you tempt me to start inserting "Issac Newton" in random Wikipedia pages
15:06:45 <Taneb> "The Twenty-first Amendment (Amendment XXI) to the United Issac Newton States Constitution repealed the Eighteenth Amendment to the United States Constitution"
15:07:12 <elliott> oerjan: i like how you left the "newton" lowercase in http://en.wikipedia.org/w/index.php?title=Timeline_of_scientific_experiments&diff=prev&oldid=557022110
15:08:21 <oerjan> i knew editing Jesus was bad luck, now hexhammers are stalking me
15:09:55 -!- augur_ has quit (Remote host closed the connection).
15:12:57 <oerjan> Taneb: i suspect that might backfire hth
15:12:57 -!- nooga has joined.
15:13:35 <Taneb> I'm sure I don't know what you are talking about
15:17:27 <Phantom_Hoover> http://www.guardian.co.uk/lifeandstyle/2006/mar/25/weekend.jonronson (i apologise to jsvine for earlier taking out my ronsonmania on him)
15:19:30 -!- FreeFull_ has changed nick to FreeFull.
15:19:51 -!- sacje has joined.
15:22:58 <oerjan> i guess today's xkcd was inevitable.
15:24:02 -!- jconn has joined.
15:25:07 -!- ggherdov has joined.
15:25:39 -!- sebbu has joined.
15:25:50 <nooodl> oerjan: i don't get it :(
15:26:15 <Taneb> It's a reference to the Abbot and Costello sketch "Who's on first"
15:26:28 -!- rodgort` has quit (Ping timeout: 256 seconds).
15:27:12 <Taneb> And also Doctor Who
15:29:37 -!- rodgort has joined.
15:32:55 -!- Taneb has quit (Quit: Leaving).
15:36:18 -!- MindlessDrone has joined.
15:39:23 -!- elliott_ has joined.
15:40:37 -!- sebbu2 has joined.
15:40:59 -!- ggherdov has quit (Ping timeout: 256 seconds).
15:40:59 -!- rodgort has quit (Ping timeout: 256 seconds).
15:40:59 -!- Vorpal has quit (Ping timeout: 256 seconds).
15:40:59 -!- nooga has quit (Read error: Connection reset by peer).
15:40:59 -!- sebbu has quit (Ping timeout: 256 seconds).
15:41:03 -!- constant has quit (Ping timeout: 256 seconds).
15:41:03 -!- FreeFull has quit (Ping timeout: 256 seconds).
15:41:13 -!- elliott has quit (Read error: Connection reset by peer).
15:41:22 -!- sivoais_ has joined.
15:41:30 -!- sivoais has quit (Read error: Connection reset by peer).
15:41:40 -!- rodgort has joined.
15:41:58 -!- FreeFull has joined.
15:42:31 -!- ggherdov has joined.
15:43:54 -!- Vorpal has joined.
15:43:55 -!- atehwa_ has joined.
15:43:59 -!- elliott_ has changed nick to elliott.
15:45:22 -!- Tod-Autojoined2 has joined.
15:47:19 -!- atehwa has quit (Write error: Broken pipe).
15:47:22 -!- sebbu has joined.
15:48:16 -!- jconn has quit (Ping timeout: 264 seconds).
15:48:43 -!- MindlessDrone has quit (Ping timeout: 264 seconds).
15:48:43 -!- Tod-Autojoined has quit (Ping timeout: 264 seconds).
15:48:43 -!- olsner has quit (Ping timeout: 264 seconds).
15:49:06 -!- olsner has joined.
15:49:19 -!- sebbu2 has quit (Ping timeout: 264 seconds).
15:49:19 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
15:49:21 -!- sebbu3 has joined.
15:49:45 -!- Phantom_Hoover has joined.
15:52:23 -!- sebbu has quit (Read error: Connection reset by peer).
15:52:23 -!- sivoais_ has quit (Ping timeout: 256 seconds).
15:52:23 -!- Tod-Autojoined2 has quit (Read error: Connection reset by peer).
15:52:23 -!- rodgort has quit (Ping timeout: 256 seconds).
15:52:25 -!- Phantom__Hoover has joined.
15:52:25 -!- TodPunk has joined.
15:52:26 -!- Mindless1 has joined.
15:52:27 -!- Vorpal has quit (Ping timeout: 256 seconds).
15:53:24 -!- variable has joined.
15:53:43 -!- rodgort has joined.
15:54:34 -!- variable has quit (Changing host).
15:54:34 -!- variable has joined.
15:54:37 -!- Phantom__Hoover has quit (Changing host).
15:54:37 -!- Phantom__Hoover has joined.
15:54:42 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
15:54:49 -!- Vorpal has joined.
15:54:58 -!- Vorpal has quit (Changing host).
15:54:58 -!- Vorpal has joined.
15:55:05 -!- sebbu has joined.
15:55:13 -!- variable has changed nick to Guest20365.
15:55:18 -!- sebbu3 has quit (Ping timeout: 264 seconds).
15:56:16 -!- pikhq has joined.
15:56:51 -!- nooga_ has joined.
15:57:25 -!- Mindless1 has quit (Quit: Mindless1).
15:57:35 -!- sacje has quit (*.net *.split).
15:57:35 -!- pikhq_ has quit (*.net *.split).
15:57:35 -!- lambdabot has quit (*.net *.split).
16:02:39 -!- MindlessDrone has joined.
16:08:31 -!- sacje has joined.
16:11:51 -!- clog_ has quit (Quit: ^C).
16:12:03 -!- clog has joined.
16:13:23 -!- lambdabot has joined.
16:16:46 -!- jconn has joined.
16:30:20 -!- oerjan has quit (Remote host closed the connection).
16:30:44 -!- oerjan has joined.
16:41:19 -!- Phantom__Hoover has quit (Quit: Leaving).
16:41:55 -!- Phantom__Hoover has joined.
16:43:17 -!- Bike has quit (Ping timeout: 248 seconds).
16:45:17 -!- Bike has joined.
16:49:41 -!- epicmonkey has quit (Ping timeout: 248 seconds).
16:54:03 -!- conehead has joined.
17:00:41 -!- Lumpio- has quit (*.net *.split).
17:00:41 -!- ion has quit (*.net *.split).
17:00:41 -!- HackEgo has quit (*.net *.split).
17:00:46 -!- Deewiant has quit (*.net *.split).
17:00:46 -!- Bike has quit (*.net *.split).
17:00:48 -!- lambdabot has quit (*.net *.split).
17:00:57 -!- Phantom__Hoover has quit (*.net *.split).
17:00:57 -!- Koen___ has quit (*.net *.split).
17:00:57 -!- Frooxius has quit (*.net *.split).
17:00:57 -!- tswett has quit (*.net *.split).
17:00:57 -!- hogeyui____ has quit (*.net *.split).
17:00:57 -!- copumpkin has quit (*.net *.split).
17:00:57 -!- aloril has quit (*.net *.split).
17:00:57 -!- nooodl has quit (*.net *.split).
17:01:01 -!- iamcal__ has quit (*.net *.split).
17:01:01 -!- tertu has quit (*.net *.split).
17:01:01 -!- glogbackup has quit (*.net *.split).
17:01:01 -!- DHeadshot has quit (*.net *.split).
17:01:05 -!- Lymia has quit (*.net *.split).
17:01:05 -!- ineiros has quit (*.net *.split).
17:01:14 -!- boily has quit (*.net *.split).
17:01:14 -!- myname has quit (*.net *.split).
17:01:14 -!- Gregor has quit (*.net *.split).
17:01:14 -!- elliott has quit (*.net *.split).
17:01:14 -!- metasepia has quit (*.net *.split).
17:01:14 -!- myndzi has quit (*.net *.split).
17:01:17 -!- nooga_ has quit (*.net *.split).
17:01:20 -!- sebbu has quit (*.net *.split).
17:01:20 -!- Vorpal has quit (*.net *.split).
17:01:20 -!- rodgort has quit (*.net *.split).
17:01:20 -!- Guest20365 has quit (*.net *.split).
17:01:20 -!- TodPunk has quit (*.net *.split).
17:01:23 -!- FreeFull has quit (*.net *.split).
17:01:23 -!- ggherdov has quit (*.net *.split).
17:01:23 -!- comex has quit (*.net *.split).
17:01:40 -!- hagb4rd has quit (*.net *.split).
17:01:40 -!- nortti has quit (*.net *.split).
17:01:40 -!- shachaf has quit (*.net *.split).
17:01:40 -!- ssue_ has quit (*.net *.split).
17:01:40 -!- jsvine has quit (*.net *.split).
17:01:40 -!- yiyus has quit (*.net *.split).
17:01:40 -!- lifthras1ir has quit (*.net *.split).
17:01:40 -!- tromp_ has quit (*.net *.split).
17:01:40 -!- oerjan has quit (*.net *.split).
17:01:40 -!- Jafet has quit (*.net *.split).
17:01:55 -!- Nisstyre has quit (*.net *.split).
17:01:55 -!- EgoBot has quit (*.net *.split).
17:01:55 -!- kmc has quit (*.net *.split).
17:01:55 -!- heroux has quit (*.net *.split).
17:01:55 -!- SirCmpwn has quit (*.net *.split).
17:01:55 -!- BillyZane has quit (*.net *.split).
17:01:55 -!- samebchase has quit (*.net *.split).
17:01:55 -!- Sgeo has quit (*.net *.split).
17:01:55 -!- Gracenotes has quit (*.net *.split).
17:05:18 -!- HackEgo has joined.
17:08:07 -!- augur has joined.
17:08:07 -!- Bike has joined.
17:08:07 -!- Phantom__Hoover has joined.
17:08:07 -!- oerjan has joined.
17:08:07 -!- lambdabot has joined.
17:08:07 -!- nooga_ has joined.
17:08:07 -!- sebbu has joined.
17:08:07 -!- Vorpal has joined.
17:08:07 -!- rodgort has joined.
17:08:07 -!- Guest20365 has joined.
17:08:07 -!- TodPunk has joined.
17:08:07 -!- ggherdov has joined.
17:08:07 -!- FreeFull has joined.
17:08:07 -!- elliott has joined.
17:08:07 -!- Koen___ has joined.
17:08:07 -!- Gracenotes has joined.
17:08:07 -!- myndzi has joined.
17:08:07 -!- comex has joined.
17:08:07 -!- shachaf has joined.
17:08:07 -!- Sgeo has joined.
17:08:07 -!- nortti has joined.
17:08:07 -!- samebchase has joined.
17:08:07 -!- BillyZane has joined.
17:08:07 -!- heroux has joined.
17:08:07 -!- hagb4rd has joined.
17:08:07 -!- SirCmpwn has joined.
17:08:07 -!- kmc has joined.
17:08:07 -!- EgoBot has joined.
17:08:07 -!- Gregor has joined.
17:08:07 -!- Nisstyre has joined.
17:08:07 -!- ineiros has joined.
17:08:07 -!- myname has joined.
17:08:07 -!- Jafet has joined.
17:08:07 -!- Lymia has joined.
17:08:07 -!- DHeadshot has joined.
17:08:07 -!- tertu has joined.
17:08:07 -!- boily has joined.
17:08:07 -!- iamcal__ has joined.
17:08:07 -!- tromp_ has joined.
17:08:07 -!- lifthras1ir has joined.
17:08:07 -!- yiyus has joined.
17:08:07 -!- nooodl has joined.
17:08:07 -!- metasepia has joined.
17:08:07 -!- ssue_ has joined.
17:08:07 -!- Frooxius has joined.
17:08:07 -!- tswett has joined.
17:08:07 -!- hogeyui____ has joined.
17:08:07 -!- copumpkin has joined.
17:08:07 -!- aloril has joined.
17:11:53 -!- Lumpio- has joined.
17:12:20 -!- ion has joined.
17:12:31 -!- Deewiant has joined.
17:20:30 <elliott> Phantom__Hoover: that just means this is the wrong side
17:20:46 <oerjan> but the logbots are here
17:22:39 <oerjan> maybe fungot will use the opportunity to reach the singularity.
17:24:00 <oerjan> next up: achieving sentience through botlops
17:25:20 <oerjan> yesterday pressing the random button got me to http://www.reddit.com/r/dogswitheyebrows
17:27:06 -!- Guest34689 has quit (Ping timeout: 264 seconds).
17:29:31 -!- Bike_ has joined.
17:29:47 <boily> `run echo is the backquote bot still alive?
17:29:49 <HackEgo> is the backquote bot still alive?
17:30:53 <boily> `learn botlops are the core of botsentiences. Sapience is scheduled for the next release.
17:31:05 <oerjan> `learn ` is the prefix to greatness.
17:31:14 <HackEgo> ` is the prefix to greatness.
17:31:19 -!- Bike has quit (Ping timeout: 260 seconds).
17:31:28 <boily> ~ is better than `.
17:31:28 <metasepia> --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi
17:31:37 <oerjan> boily: um are you preserving my typo on purpose
17:31:48 <boily> oerjan: which one? :p
17:32:54 * oerjan recalls the hings of #initgame of yore
17:33:16 <lambdabot> *** "yore" wn "WordNet (r) 3.0 (2006)"
17:34:15 <metasepia> yore definition: time past and especially long past usually used in the phrase of yore.
17:36:10 <HackEgo> Thanks, Tchaikovsky. Thaikovsky.
17:36:36 <HackEgo> Thanks, Mgrvgrvladje. Thadje.
17:37:17 <oerjan> boily: be sure to make it just two syllables hth
17:38:11 -!- Bike_ has changed nick to Bike.
17:38:18 <elliott> msg nickserv identify bikeluvr2013
17:39:32 <boily> anyone of you tried playing DDEE? I seem to have trouble surviving, which is quite contrary to the Goal of the Character Build.
17:39:58 <elliott> boily: you totally fuck up my #esoteric vs. ##crawl senses on a regular basis
17:40:02 <elliott> especially given that they are adjacent in irssi
17:40:51 <nooodl> boily: use my 14 runer guide
17:41:00 * boily whistles innocently ♪
17:41:08 <boily> nooodl: ah? you have one?
17:41:16 <nooodl> 1. play crawl 2. dont do tomb 3. win
17:41:23 <nooodl> v. effective "ask elliott"
17:41:24 <elliott> unfortunately henzell isnt here so i have to paste this manually
17:41:25 <elliott> 18:41:09 <elliott> ??dd guide
17:41:25 <elliott> 18:41:10 <Henzell> dd guide[1/1]: Worship Makhleb. Use the wand of heal wounds to heal. If it runs out of charges, recharge it.
17:41:54 <nooodl> anyway this advice sounds really stupid but
17:42:21 <nooodl> try not to get hit?? like be careful about losing any hp at all early on
17:42:24 <boily> but I like tomb. that sense of complete, utterless feeling of mediocrity, of impending doom... it is invigorating!
17:42:56 <boily> nooodl: I think that's it. I used to play DDNe some time ago, and when you hit vampiric draining, everything goes smooth afterwards.
17:43:04 <oerjan> there's something nasty in this game, but i cannot quite put my tomb on it
17:43:23 <nooodl> yeah, here it's like that except "when you start gaining hp from makhleb"
17:45:06 <elliott> i also suggest not playing dd because it's no fun
17:46:46 <boily> I had my SpEn victory from 2011, I did a MiFi two weeks ago, and now I want to achieve something different.
17:47:20 <boily> I tried skald. I died. then I deceased. then I not lived. then I died again, but more painfully.
17:55:06 -!- epicmonkey has joined.
18:01:05 -!- jsvine has joined.
18:03:53 <nooga_> I can't even ascend in (Un)Brogue
18:04:18 <nooga_> I'm afraid to try other, more complex roguelikes
18:04:35 <elliott> brogue is better than crawl tbh
18:17:58 <olsner> oh, and speaking of limericks, http://i.imgur.com/4J7Il0m.jpg
18:18:44 <olsner> <boily> ~eval "tamhöna" <-- that means something like domesticated hen, hth
18:19:50 <olsner> (chicken is "kyckling" and no-one bothers asking where they come from)
18:20:12 <boily> olsner: that's what Wiki says, and verily the Word of Wiki is the Truth.
18:20:26 <oerjan> olsner: you could read a few lines up in the log hth
18:20:29 <shachaf> oerjan: https://en.wikipedia.org/wiki/Andor , which says "logical conjunctio", hth
18:22:49 <olsner> oerjan: not presently helping, hth
18:23:19 <olsner> there was a line about kyckling just above the one about tamhöna, but that doesn't imply boily knows anything
18:25:25 <boily> but, but... tamhöna has a superb diæresis...
18:27:06 <olsner> half the rest of the words in swedish do as well and no-one even cares :P
18:36:28 <oerjan> boily: i don't think it's a "diæresis" if it isn't used to split a diphthong into vowels, then it's an umlaut instead hth
18:37:16 <boily> oerjan: goöd point.
18:40:54 <oerjan> shachaf: there is no missing n at the end of "conjunction" hth
18:41:24 <oerjan> there's a problem of terminology though...
18:41:59 <shachaf> oerjan: the missing n was my fault hth
18:42:09 <shachaf> but the word conjunction was not hth
18:42:31 <shachaf> kmc: did you see the limerick from earlier
18:43:06 <shachaf> A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poems are alphanumeric."
18:43:36 <shachaf> i don't know about grammar
18:43:40 <kmc> that's wonderful
18:43:56 <kmc> that's so good
18:44:17 <kmc> although I must point out that ꙮ is indeed a Letter, Other character
18:46:14 <oerjan> <shachaf> i don't know about grammar <-- ok perhaps it's good you don't edit wikipedia then.
18:46:31 <shachaf> oerjan: see, it's selfless
18:46:50 <ion> > reverse "selfless"
18:47:14 -!- hagb4rd has quit (Quit: hagb4rd).
18:47:19 <ion> > permutations "selfless"
18:47:20 <lambdabot> ["selfless","eslfless","lesfless","elsfless","lsefless","slefless","flesles...
18:47:37 -!- hagb4rd has joined.
18:49:32 <shachaf> wow wikipedia is full of evil prescriptivists
18:49:44 <shachaf> imo only good prescriptivists should be allowed
18:50:22 <oerjan> you should never end a sentence a preposition with
18:51:00 <oerjan> to endeavor never an infinitive split
18:51:06 <olsner> the prepositions, up in which, your sentences never shall end
18:51:06 <hagb4rd> use postposition for that issue
18:51:30 <HackEgo> #!/bin/sh \ echo $1 | sed 's/^[^aeiou]*\(.*\)/Thanks, \0. Th\1./'
18:51:37 <olsner> (all of them, they are)
18:52:34 <nooodl> i'm gonna IMPROVe it hold on
18:52:36 <shachaf> nooodl: plz sed -i 's/\$1/"$@"/' bin/thanks # hth
18:53:09 <nooodl> its gonna be even better
18:53:43 -!- sebbu2 has joined.
18:55:17 -!- sebbu3 has joined.
18:57:00 -!- sebbu has quit (Ping timeout: 256 seconds).
18:58:03 -!- sebbu2 has quit (Ping timeout: 245 seconds).
18:58:11 -!- Guest20365 has quit (Changing host).
18:58:11 -!- Guest20365 has joined.
18:58:13 -!- Guest20365 has changed nick to function.
18:58:35 <HackEgo> smlist: shachaf monqy elliott mnoqy
19:00:05 <olsner> -mno-key ... I wonder what that does, if anything
19:03:06 <oerjan> it plays a song _very_ badly hth
19:03:59 <shachaf> perhaps it is a forbidden note hth
19:04:00 <Bike> http://www.youtube.com/watch?v=rLy-AwdCOmI Like this.
19:06:40 -!- FreeFull has quit (Quit: rebooting).
19:07:25 <nooodl> `fetch http://bpaste.net/raw/uYWFUgW0diLjGj2EYiKV/
19:07:28 <HackEgo> 2013-06-05 19:07:27 URL:http://bpaste.net/raw/uYWFUgW0diLjGj2EYiKV/ [133/133] -> "index.html" [1]
19:07:32 <nooodl> `mv index.html bin/thanks
19:07:34 <HackEgo> mv: missing destination file operand after `index.html bin/thanks' \ Try `mv --help' for more information.
19:07:45 <nooodl> `run mv index.html bin/thanks
19:07:50 <nooodl> `run chmod +x bin/thanks
19:08:18 <HackEgo> Thanks, pilent \ . Thilent \ .
19:08:25 <oerjan> `thanks Purple people eater
19:08:26 <HackEgo> Thanks, strek \ . Thek \ .
19:08:27 <HackEgo> Thanks, Purple people eater. Thurple people eater.
19:09:41 <nooodl> `run sed -i 's/words`/words`.chomp/' bin/thanks
19:09:53 <HackEgo> Thanks, brotoh \ 0. Thotoh \ 0.
19:10:00 <Bike> I like it this way.
19:10:13 <Bike> Where is it even getting those
19:10:19 <elliott> Thanks, brotoh \ 0. Thotoh \ 0.
19:10:21 <oerjan> elliott: a sign of the crapocalypse
19:10:36 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/words
19:11:09 -!- FreeFull has joined.
19:12:23 <kmc> `paste bin/thanks
19:12:26 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/thanks
19:13:14 <kmc> are these actual words or markov thingies
19:13:31 <Bike> markov, i'm pretty certain
19:13:48 <Bike> clever, hackego
19:14:29 <nooodl> `run for i in {1..10}; do words; done
19:14:50 <HackEgo> koj \ incir \ manlzeil \ cial \ sda \ eynotique \ hirto \ dualuminue \ perfule \ truko
19:14:54 <kmc> how does `words`.chomp work in perl
19:15:04 <kmc> thought . was concat operator................
19:16:00 <nooodl> `fetch http://bpaste.net/raw/cvYcEn3Sfi9wZ4cOjCIi/
19:16:03 <HackEgo> 2013-06-05 19:16:02 URL:http://bpaste.net/raw/cvYcEn3Sfi9wZ4cOjCIi/ [139/139] -> "index.html" [1]
19:16:06 <nooodl> `run mv index.html bin/thanks
19:16:10 <nooodl> `run chmod +x bin/thanks
19:16:16 <HackEgo> Can't modify quoted execution (``, qx) in chomp at /hackenv/bin/thanks line 2, near "`words`;" \ Execution of /hackenv/bin/thanks aborted due to compilation errors.
19:16:23 <HackEgo> #!/usr/bin/perl \ $_ = $ARGV[0] || chomp `words`; print "Thanks, $_. "; if (/[aeiouy]/) { s/^[^aeiouy]*/Th/; } else { s/^./T/; } print "$_.";
19:16:48 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds).
19:17:09 <nooodl> `run sed -i 's/ `words`/(`words`)/' bin/thanks
19:17:19 <HackEgo> Can't modify quoted execution (``, qx) in chomp at /hackenv/bin/thanks line 2, near "`words`)" \ Execution of /hackenv/bin/thanks aborted due to compilation errors.
19:17:25 -!- Phantom__Hoover has joined.
19:17:25 -!- Phantom__Hoover has quit (Changing host).
19:17:25 -!- Phantom__Hoover has joined.
19:18:33 -!- ggherdov has quit (Ping timeout: 256 seconds).
19:19:41 <nooodl> `fetch http://bpaste.net/raw/ozchapci5TyVmaI8l97S/
19:19:43 <nooodl> `run mv index.html bin/thanks
19:19:43 <HackEgo> 2013-06-05 19:19:42 URL:http://bpaste.net/raw/ozchapci5TyVmaI8l97S/ [149/149] -> "index.html" [1]
19:19:45 <nooodl> `run chmod +x bin/thanks
19:19:51 -!- Vorpal has quit (Ping timeout: 256 seconds).
19:19:58 -!- Vorpal_ has joined.
19:20:15 <HackEgo> Thanks, HackEgo. ThackEgo.
19:20:26 <boily> thackego. sounds good :D
19:21:37 <HackEgo> Thanks, shipermy. Thipermy.
19:21:37 <HackEgo> Thanks, enfingy. Thenfingy.
19:23:48 -!- rodgort` has joined.
19:24:06 <nooodl> `run welcome nooodl | thanks
19:24:11 <HackEgo> Thanks, schiacker. Thiacker.
19:24:23 <nooodl> it takes the things from the argvs
19:24:48 <boily> `thanks `run welcome nooodl
19:24:50 <HackEgo> Thanks, `run welcome nooodl. Thun welcome nooodl.
19:25:22 <nooodl> `run welcome nooodl | xargs -0 thanks
19:25:25 <HackEgo> Thanks, nooodl: 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.). Thooodl: Welcome to the international hub for esoteric programming language design and deployment! F
19:25:36 <nooodl> `run relcome nooodl | xargs -0 thanks
19:25:39 <HackEgo> Thanks, nooodl: 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.). Thoo
19:25:46 <olsner> where are the things when there are no argvs?
19:26:00 <nooodl> i literally dont understand the question
19:26:37 <olsner> I don't understand `thanks either
19:27:07 <nooodl> i think this answers your question hth
19:27:21 <nooodl> wait did i break that,
19:27:26 <HackEgo> Thanks, gessime. Thessime.
19:27:57 <nooodl> `run thanks nooodl | hyphenate.fi
19:28:36 -!- rodgort has quit (Ping timeout: 256 seconds).
19:29:53 <boily> `run thanks aéroglisseur | hyphenate.fr
19:29:55 <HackEgo> bash: hyphenate.fr: command not found
19:30:17 -!- carado has joined.
19:30:44 <nooodl> a-é-ro-g-liss-e-ur hth
19:31:15 <HackEgo> Thanks, boily nooodl. Thoily nooodl.
19:32:47 <Phantom__Hoover> i'm pretty sure this train is banked over quite a long way while going around turns
19:32:51 <boily> `run echo "a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner." >wisdom/hovercraft
19:33:22 <olsner> eeloglisseur, eel glider
19:33:51 <HackEgo> Thanks, elliott. Thelliott.
19:33:58 -!- Taneb has joined.
19:33:59 <boily> `thanks the elliott.
19:34:01 <HackEgo> Thanks, the elliott.. The elliott..
19:34:12 <elliott> Phantom__Hoover: are you on a trane
19:35:53 -!- Phantom__Hoover has quit (Quit: Leaving).
19:36:06 -!- Phantom__Hoover has joined.
19:36:43 <HackEgo> Thanks, yottogram. Thyottogram.
19:37:33 <Bike> What, that's totally pronounceable.
19:37:38 <Bike> maybe you're just a jerk!
19:37:58 <olsner> and maybe you're just a Bike
19:38:05 <kmc> patches welcome
19:38:16 -!- Taneb has quit (Ping timeout: 260 seconds).
19:38:27 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:39:49 -!- DHeadshot has quit (Ping timeout: 248 seconds).
19:46:06 -!- ggherdov has joined.
19:46:19 <HackEgo> a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner.
19:46:30 <oerjan> i shall imagine this in david suchet's voice
19:46:37 <nooodl> would've used Lingua::EN::Inflect, but it's not in hackego
19:46:39 <boily> ~duck david suchet
19:46:39 <metasepia> David Suchet, CBE (born 2 May 1946) is an English actor, known for his work on British television.
19:56:13 <kmc> what exactly does ~duck search
19:57:34 -!- Taneb has joined.
19:57:54 <nooodl> `learn nooodl is right
19:58:45 <boily> http://hpaste.org/89381
19:59:42 <kmc> oh cool, I didn't know that ddg does these definition things
20:00:06 <elliott> that extractContent definition :(
20:00:26 -!- Bike_ has joined.
20:00:40 -!- Bike has quit (Ping timeout: 260 seconds).
20:02:32 -!- jsvine has quit (*.net *.split).
20:02:37 <boily> I think there can be some monoid thingy forast-moon applicative to replace it.
20:02:50 <kmc> extractContent (Answer{..}) = head $ filter (not . null) [abstract, answer, definition, "--- No relevant information"]
20:03:17 <elliott> that definition makes me upset in like at least five ways :(
20:03:31 <kmc> what would you write elliott
20:04:02 <elliott> it's kind of bad that null strings are being used for "no answer" to start with
20:04:09 <elliott> i'd try to make those Maybe Strings asap
20:04:32 <elliott> then e.g. fromMaybe "nothing" (abstract ans <|> answer ans <|> definition ans)
20:04:39 <olsner> maybe instead of that Answer thing, just return the wanted result directly
20:05:07 <elliott> the additional things that upset me about kmc's are 1. the unnecessary parens around Answer{..} 2. the record wildcard (i hate shadowing)
20:05:08 <boily> elliott: I think there's an aeson operator to get a maybe.
20:05:12 <olsner> data Answer = Answer { answer :: String }
20:05:33 <elliott> olsner: well, it comes in as JSON
20:06:03 <boily> I like the <|>. that operator is way underrated.
20:06:25 <kmc> is it actually unnecessary there?
20:07:17 -!- Bike_ has changed nick to Bike.
20:07:30 <kmc> i agree that Maybe String is preferable; I didn't look to see where those come from
20:07:58 <Bike> this is some important stuff
20:07:59 -!- jsvine has joined.
20:08:18 -!- Vorpal_ has changed nick to Vorpal.
20:09:03 <olsner> changed nick to Taneb, I think
20:09:36 <boily> fizzie and Taneb are the same? AAAAAAAAAAAAAH!
20:10:33 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds).
20:10:33 <olsner> someone should start calling themselves flzzle
20:12:12 <boily> elliott: (.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a)
20:12:57 <elliott> and that special-cases ""?
20:17:56 <shachaf> shadowing, more like shadowing
20:18:15 <elliott> `addquote <shachaf> shadowing, more like shadowing
20:18:19 <HackEgo> 1048) <shachaf> shadowing, more like shadowing
20:20:04 <elliott> boily: btw why does it safe search
20:20:23 <kmc> ~duck cocks
20:20:24 <metasepia> cock definition: the adult male of the domestic chicken ('''Gallus gallus''').
20:20:37 <boily> elliott: for kmc reasons.
20:21:06 <kmc> ~duck penis
20:21:18 <Bike> galliformes are such weird species
20:21:18 <boily> elliott: for *very* kmc reasons.
20:21:28 <kmc> imo change that message to "INSUFFICIENT DATA FOR MEANINGFUL ANSWER"
20:21:50 <shachaf> not sure we need more data hth
20:23:21 <boily> there's a david boily on wikipedia (no, that's not me. my first name also isn't david.)
20:39:20 -!- jsvine1 has joined.
20:41:21 -!- jsvine has quit (Ping timeout: 240 seconds).
20:56:17 <Vorpal> <olsner> changed nick to Taneb, I think <-- yeah right...
20:56:50 -!- Phantom_Hoover has joined.
20:57:30 <Taneb> I don't even know who I am any more
20:58:17 <Phantom_Hoover> on the one hand: finally i can give tom francis money; on the other hand: i don't really feel like playing it right now
20:58:42 <boily> Taneb: become Canadian. this will solve all your existential problems.
21:00:45 <Phantom_Hoover> oh GOD and there's a version with commentary for more money i'm in crisis now
21:01:13 <Taneb> Phantom_Hoover, if you give me money I'll ghost-write your Tumblr for you
21:01:22 <Taneb> I've been practising hating brainfuck derivatives
21:01:28 <Taneb> I think I'm getting pretty good at it
21:01:34 <Phantom_Hoover> if you can ghostwrite it to the standard of tom francis then yes
21:02:02 <Taneb> The dead cricketer?
21:02:51 <Phantom_Hoover> if you can write to the standard of a dead cricketer then yes, i will give you money
21:04:35 <Phantom_Hoover> i am impressed at the amount of effort it must have taken you to find the tom francis who is a dead cricketer, rather than any of the other ones
21:05:19 <Taneb> Phantom_Hoover, it was a simple matter of going to Wikipedia first, rather than Google
21:09:24 <shachaf> hey Taneb you should write kmc's tumblr account page
21:09:33 <shachaf> you can fill it with drugz jokez
21:13:34 <shachaf> but the rhymenocerous is very very good!
21:14:25 <Phantom_Hoover> nooodl, he did the minecraft experiment if you read that
21:14:49 <nooodl> i didn't but maybe i did
21:15:04 <Phantom_Hoover> here http://www.pcgamer.com/2010/11/20/the-minecraft-experiment-day-1-chasing-waterfalls/
21:16:27 <nooodl> ooh. so it's basically a hardcore mode LP, but before hardcore mode even existed
21:17:02 <nooodl> this is pretty good so far
21:18:44 <nooodl> oh maaaaan he's also AWFUL at minecraft,
21:20:51 <shachaf> http://www.youtube.com/watch?v=Bk_q05r8DcM
21:24:05 -!- boily has quit (Quit: Poulet!).
21:24:07 -!- metasepia has quit (Remote host closed the connection).
21:29:23 <Taneb> shachaf, btw my progress in Agda is going worringly well in the past couple of hours when compared to the preceding days
21:30:00 <shachaf> Taneb: have you outagdaed me
21:30:21 <Taneb> shachaf, probably not, how agda are you?
21:33:44 <nooodl> what i know about agda: UNICODE
21:33:46 <Phantom_Hoover> iirc i gave up on the agda tutorial when there was a bit about "of course, your category theory textbook probably tells you <this>"
21:34:00 <nooodl> and also if_then_else_ is a valid thing
21:35:37 <Taneb> I almost stumbled on "Prove the transitivity of sublistiness"
21:37:00 <Taneb> Because back then I did not think in Agda
21:37:49 <Phantom_Hoover> i think i also got confused at one point proving something involving lists equalled something else involving lists
21:44:21 -!- Taneb has quit (Quit: Leaving).
22:13:59 -!- sebbu3 has changed nick to sebbu.
22:14:06 -!- jsvine1 has quit (Quit: Leaving.).
22:19:55 -!- augur has quit (Read error: Connection reset by peer).
22:20:10 -!- augur has joined.
22:21:57 -!- nooodl has quit (Ping timeout: 248 seconds).
22:24:20 -!- tertu has changed nick to TeruFSX.
22:24:47 -!- ais523 has joined.
22:36:29 -!- Phantom__Hoover has joined.
22:39:24 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
22:46:23 -!- Bike has quit (Ping timeout: 245 seconds).
22:48:22 -!- Bike has joined.
22:49:03 -!- nooga_ has quit (Read error: Connection reset by peer).
22:54:15 -!- nooga_ has joined.
23:01:23 -!- epicmonkey has quit (Ping timeout: 245 seconds).
23:02:42 -!- Fiora has joined.
23:03:02 <Fiora> http://fiorasm.tumblr.com/post/52251266650/optimizing-conways-game-of-life-with-simd-and-lookup if anyone's interested I wrote up a thing
23:21:09 <Fiora> (the friend was bike ofc)
23:35:26 <oerjan> i think movhps xmm3, line3[0]
23:35:51 <oerjan> should have s/xmm3/xmm1/
23:36:40 <oerjan> in the first copy of the eight instructions
23:57:09 <ion> Ah, the fish symbol is an l.
23:57:09 <Koen___> you know, Life freaks me out a bit
23:57:24 <Koen___> I always imagine there's this huge infinite grid somewhere that's a universe
23:58:04 <Bike> Koen___: the hashlife paper's explicit embrace of simulator metaphysics probably wouldn't help your freaking.
23:58:08 <Koen___> but I can't process the question: why would some cells be alive? weren't they initially all dead?
23:58:32 <Bike> why would they be, in your fantasyland
23:59:01 <hagb4rd> but per life has a very strong definition i believe
23:59:17 <Fiora> ion: oh, sorry <.< I was just scribbling in photoshop