00:02:30 -!- nooga has quit (Ping timeout: 264 seconds).
00:09:08 <Sgeo> I seem to be slightly workaholic
00:09:29 <Sgeo> But I've been checking my work email repeatedly
00:10:06 -!- olsner has joined.
00:18:27 -!- sprocklem has quit (Remote host closed the connection).
00:21:52 <olsner> did kmc get a job at mozilla?
00:23:35 <Sgeo> Searching Amazon Instant Video for whose line is it anyway finds me Two and a Half Men
00:23:41 <Sgeo> That's really not what I was looking for
00:25:13 -!- sprocklem has joined.
00:33:23 -!- sprocklem has quit (Remote host closed the connection).
00:37:37 <kmc> olsner: yes
00:38:14 -!- Phantom__Hoover has joined.
00:40:56 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
00:44:18 <shachaf> Hmm, Mastermind is easier than I remembered.
00:47:14 <Sgeo> Maybe if I read about liquid war strategy, I can beat the AI on medium difficulty
00:47:33 <Sgeo> So far, the closest I came to winning, I couldn't stamp out the pocket of resistance that I surrounded
00:47:43 <olsner> kmc: congratulations, I guess
00:47:47 <Sgeo> http://www.gnu.org/software/liquidwar6/manual/html_node/Strategy-tips.html
00:47:59 <Sgeo> This is the most helpful page ever!
00:48:08 <kmc> thanks olsner
00:48:18 <Bike> Sgeo: "you're on your own, motherfucker"
00:48:43 <olsner> shachaf: is there a trick that makes it easy?
01:04:02 <Sgeo> pikhq, is SennHeiser still your recommendation?
01:09:27 <Phantom__Hoover> seen on youtube: the new world order has apparently made america into a virtual prism
01:13:19 -!- TeruFSX has quit (Quit: Leaving).
01:18:04 -!- carado has quit (Ping timeout: 256 seconds).
01:20:11 <Sgeo> Well, just ordered earbuds and headphones, so...
01:21:05 <Sgeo> This will greatly enhance my MIDI listening experience!
01:21:50 <shachaf> Eh. It'll never be anything but MIDIocre.
01:22:43 <Sgeo> HD 201 and MX 270
01:24:26 -!- TeruFSX has joined.
01:24:52 -!- TeruFSX has quit (Read error: Connection reset by peer).
01:30:49 -!- Phantom__Hoover has quit (Ping timeout: 276 seconds).
01:37:10 <kmc> MX missile
01:38:49 <shachaf> why are computer things so bad compared to what they could be
01:38:57 <Bike> why is everything bad
01:39:04 <Bike> things should be good
01:39:11 <olsner> shachaf: because they're built by idiots
01:39:32 <kmc> the problems are easy, it's just that other people aren't as smart as me
01:39:45 <kmc> if i designed everything then i would get everything right the first time
01:40:01 <shachaf> we need more people like kmc in the world
01:40:51 <kmc> also i would use C
01:40:57 <shachaf> or maybe we all just need to give kmc a bunch of money and have him solve all our problems............
01:41:01 <kmc> because I would not make any mistakes and that way it would be fast
01:41:02 <shachaf> also make him dictator of the world
01:42:37 <Bike> kmc, as dictator, what would you do to deal with the growing hunger crisis (it's a crisis in that it's bad not in that it's like rapid) in the united states
01:49:56 -!- Koen_ has quit (Quit: Koen_).
01:53:38 <zzo38> Everyone make some mistakes, including you too.
02:07:18 <sacje> i don't make mistakes
02:22:05 <zzo38> Are you sure? You forgot to capitalize "I" and add a full stop.
02:23:23 <Guest98034> yes but it was on purpose, not forgetfulness
02:25:38 <oerjan> Guest98034: you have forgot to fix your nick hth
02:26:55 <Guest98034> i always forget which channels i have to part before i can nick
02:27:15 -!- Guest98034 has changed nick to quintopia.
02:27:26 -!- quintopia has quit (Changing host).
02:27:26 -!- quintopia has joined.
02:35:46 <oerjan> i didn't know you had to part any, what kind of channels are that
02:36:10 <zzo38> I think you cannot change your name if you are on any channels that you cannot post messages on.
02:36:52 <oerjan> as if parting and rejoining is less noisy...
02:37:30 <zzo38> Once on some other IRC server I was unable to post messages on some channel, so instead I unjoin and then change my name and then join and then unjoin and then change my name and so on; eventually they fixed it, though, so that I can post messages. They put that in there due to someone else that was using this IRC before who used my IP address.
02:40:44 <kmc> zzo38: I know, I was being sarcastic
02:40:58 <kmc> I make many mistakes and I pick tools that help me catch mistakes before they can do damage
02:41:03 <kmc> or at least I would like to.
02:42:20 <Bike> unfortunately you made the mistake of mistakenly picking tools?
02:48:44 <shachaf> your first mistake was making your second mistake
02:51:26 <ais523> `addquote <shachaf> your first mistake was making your second mistake
02:51:33 <HackEgo> 1049) <shachaf> your first mistake was making your second mistake
02:52:24 <HackEgo> 1024) <shachaf> i would visit elliott but i'm vegetarian
02:53:00 <HackEgo> 1037) <kmc> the real GNU kernel is GRUB
02:53:39 <HackEgo> 512) <fizzie> Isn't "strip nomic" just another word for all dating, though?
02:54:33 <Sgeo> kmc, Kernel doesn't seem as amenable to static analysis as Racket, so how do you reconcile your liking of Kernel with your liking of static analysis?
02:55:05 <Bike> Saying "JIT" a lot
02:55:36 <pikhq> Honestly sounds lame.
02:55:42 <Bike> also static analysis isn't that hard. as long as you remove environment mutability. who needs that anyway
02:55:50 <shachaf> Static analysis is not just about performance.
02:56:07 <shachaf> Assuming that's what you mean? I don't know what you mean. Or what I mean.
02:56:18 * Sgeo doesn't care about performance, but checking correctness
02:58:03 <shachaf> imo write a correctness jit hth
02:58:26 <HackEgo> 256) 00:07 Sgeo has quit (IRC is taking up too much of my time. I need time to study the Bible and find Christ.) 00:12 Sgeo has joined #esoteric.
02:58:36 <oerjan> shachaf: sounds like a plan
02:58:46 <pikhq> Recursive JITting?
02:58:52 <Bike> can't tell you this code is correct until you run it
02:59:02 <shachaf> it tells you that your code is broken just in time
03:01:02 <kmc> Sgeo: i don't claim Kernel is practical
03:01:09 <kmc> i like it for aesthetic and theoretical reasons
03:01:24 <kmc> i like all kinds of languages for different, even contradictory reasons
03:01:54 <shachaf> do you draw the line at self-contradictory reasons
03:01:57 <Bike> i'd really like to make kernel practical. the dream
03:02:04 <kmc> i don't see languages as 'must have feature X or Y', it's more about integrating the features you do have in a pleasing way
03:02:11 <kmc> shachaf: so easy
03:02:35 <Bike> i don't think a person has been consistent in the entirety of history so like, whatever, man, right?
03:03:02 <Bike> actually people don't really have propositional beliefs anyway. imo anarchy in the hippocampus
03:03:28 <kmc> Bike: has anyone really been far even as decided to use even go want to do look more like?
03:03:45 <Bike> yeah that's obviously true.
03:06:58 <zzo38> I also like different kind of language for different reasons, although some have some stupid stuff (including PHP).
03:07:30 <Fiora> kmc: I really remember like, basiaclly nothing about starting with C, but it was through some online course thing (but it was really primitive because it was the 90s?) and I know like. I don't think even pointers were done, it was like. really way simpler
03:07:49 <Bike> i'd like to jump on the "i have varying beliefs often backed up by reasoning" train, i think it's going places
03:07:54 <Fiora> though I only really infer that by like, the fact that I totally had to actually learn C when I actually had to use it for class years later <.<
03:08:14 <Bike> yeah i "learned" C++ in a similar fashion
03:08:19 <Fiora> (my words are completely incoherent because I just woke up from a 3 hour nap)
03:08:27 <Fiora> I'd ask my dad who threw me into the whole thing
03:08:30 <Fiora> but I doubt he'd remember
03:08:57 <shachaf> I think the first language I wrote anything in was either C or Logo.
03:09:03 <zzo38> I think I programmed in BASIC first. I still do program in BASIC sometimes, although I also program in C and various other programming languages.
03:09:15 <quintopia> the first language i wrote in was TI-82 BASIC
03:09:32 <Bike> that is an absurd emoticon sir
03:10:07 <kmc> the first actual programming class I took was in C++ and they gave us a lot of bad advice
03:10:25 <shachaf> kmc: could've been worse. could've been in c/c++
03:10:28 <Fiora> I think the first one I was in was java
03:10:38 <kmc> i did basically the same curriculum in Java the next year
03:12:06 <quintopia> the first class i took was vb i think, then delphi, then java, then c
03:12:30 <shachaf> how can you take a class in a language if it's not object-oriented
03:13:03 <Sgeo> Rust taking up the C niche doesn't imply unsuitability for application dev, right?
03:13:35 <Sgeo> A language could fill up a niche that another language took, while still being suitable for things that other language wasn't, I assume
03:13:42 <quintopia> my high school was not object-oriented but i still graduated 5th in my class stalemate bitches
03:13:54 <Fiora> kmc: it's kind of amazing though like how where you start affects things
03:14:04 <kmc> Sgeo: that seems logically correct yes
03:14:06 <Fiora> like I knew a classmate in college who started with scheme I think
03:14:17 <kmc> Sgeo: it's pretty hard to draw a line between 'application' and 'systems' anyway
03:14:28 <Bike> i started with c++ so: am i doomed
03:14:31 <kmc> browsers definitely started as humdrum applications software and gradually became systems software
03:14:34 <Fiora> and like for me the C-style lower level stuff was relatively easy and the functional and logic programming stuff was really really hard
03:14:39 <kmc> and there was no one single point where the switch happened
03:14:44 <quintopia> for a language used in a class i mean
03:14:45 <kmc> for Rust it's mainly about caring about latency a lot
03:14:48 <shachaf> Bike: you started in c++ because you are doomed not the other way around hth
03:14:51 <kmc> users get pissed off when their browser lags
03:14:58 <Bike> shachaf: how sensible.
03:15:03 <Fiora> but for him the functional programming and logic stuff was amazingly easy, while he was like fiora please teach me c
03:15:35 <zzo38> kmc: Well, there is a lot of software that you don't want to be lags
03:15:38 <kmc> i took an x86 assembly class pretty early on
03:15:43 <Fiora> though he was way smarter than me either way, I mean, he basically got straight As and aced the logic class I literally had to drop... -_-
03:15:44 <kmc> that was cool
03:15:59 <kmc> eh grades aren't that strongly correlated with intelligence
03:16:01 <shachaf> functional programming (whatever that is) makes a lot more sense than c imo hth
03:16:07 <kmc> i know a lot of smart people who got shitty grades for this or that reason
03:16:13 <Fiora> (also he was really cute, erm, I mean, <.<)
03:16:23 <Bike> "you shoulda seen the cat ears on 'im"
03:16:44 <ais523> kmc: well I failed one module (= 1/48 of my course) at university
03:16:54 <ais523> although my other grades were high enough that I still got a first class degree
03:16:57 <Fiora> Bike: not like thaaat
03:17:01 <Fiora> also he was totally taken
03:17:07 <Bike> vulpine ears huh
03:17:09 <Bike> i know the type
03:17:25 <zzo38> kmc: Well, I almost did. In some years of the high-school mathematics, I got a NM and SG. NM means a mark hasn't been assigned (like zero out of zer0), since the teacher know I am good at it despite failing to complete many assignments, and SG means you can pass regardless of your mark.
03:17:34 <Bike> you're on the mark though, foxes are pretty cute as a rule
03:17:36 <kmc> those are some strange grades
03:17:43 <zzo38> (The other class I got NM in was homeroom class.)
03:17:52 <Bike> those are weird grades
03:17:57 <shachaf> i got some pretty strange grades back when i got grades
03:18:03 <kmc> we had... A, B, C, D, F, F*, P, E, I, W and some others
03:18:07 <Bike> can't you just be failed like a normal person (me <--)
03:18:14 <kmc> ' ' aka 'TA failed to submit grades on time'
03:18:23 <zzo38> kmc: What does F* mean?
03:18:45 <kmc> zzo38: it means you failed a class which was taken on a pass/fail basis, so it doesn't count against your GPA but it's still on your transcript
03:19:47 <kmc> at Caltech a lot of people got bad grades due to massive undiagnosed ADHD
03:20:06 <Fiora> I think I got like a 3.0ish major average or something... I just was really terrible in the theory classes. I think I got a C in algorithms even though the professor was *amazing* and I loved it
03:20:23 <Fiora> I actually liked the np-completeness proofs, even
03:20:31 <kmc> np completeness proofs are great
03:20:40 <kmc> was that part of Algorithms for you?
03:20:44 <zzo38> kmc: O, that's what it means. I can remember in my school we had A, B, C+, C, C-, F, I, W, NM, SG, and a few others that I do not remember at this time. In typing class I got A+ although they didn't have A+ in the system so they put A instead.
03:20:50 <Bike> man my algorithms class was all sorts, jerk
03:20:57 <Fiora> yeah, there was also a higher level course, like, a complexity theory class that was like Jedi Algorithms
03:21:02 <Fiora> I didn't take that one though
03:21:12 <Fiora> our algorithms was um...
03:21:15 <kmc> i took a higher level complexity theory class that had very little to do with useful algorithms
03:21:18 <Bike> i should actually read my kolmogorov book
03:21:24 <kmc> i didn't take the higher level algo class because it sounded scary as hell
03:21:26 <shachaf> i should take an algorithms class and complexity theory class and other things
03:21:30 <Fiora> big O, interesting stuff like "how do you actually prove the nlogn bound on sorts", np completeness, turing machines, computability
03:21:32 <shachaf> or maybe read books on the topic
03:21:41 <kmc> it's all like "ok we taught you that NP hard problems are hard, now we're going to teach you all the cool approximation algorithms to do them anyway"
03:21:43 <Fiora> so it was kinda a lot of algorithms analysis type stuff?
03:21:45 <Fiora> and graph theory and things
03:21:55 <Bike> kmc: that's the scary class? more like the great class
03:22:07 <zzo38> W means withdrawal, I means incomplete (similar to F, although the marks you didn't earn are due to incomplete assignments or an incomplete course), NM means "no mark", SG means "standing granted"
03:22:21 <Bike> man can you imagine actually being good at math
03:22:24 <Bike> that would be pretty cool i think
03:22:30 <Fiora> he was really amazing though. like he would have a box of chocolate covered coffee beans at the front of the class when people came in
03:22:34 <Fiora> and for some strange reason everyone in class
03:24:08 <zzo38> I was good at my math class, although because I failed to complete many of the assignments (although I got good marks on everything I did do, including all of the tests/exams, and the other assignments were mostly more of the same thing), my mark was not put into the report card, which made it NM for each term. The final mark was then made SG.
03:24:24 <kmc> chocolate covered coffee beans are serious business
03:24:30 <kmc> it's easy to eat a whole lot of them............
03:24:35 <Fiora> memories... oh right, the AI class was really wonderful. I loved the professor for that one too, she could like explain things in a way that actually made sense and like wow
03:25:07 <zzo38> I also dropped one class after one week (for some reason I wasn't selecting my own classes, although I was allowed to drop classes). It was graphic arts. I could not understand what anything the teacher said meant, so I dropped the class.
03:28:01 -!- oerjan has quit (Quit: googht).
03:48:19 <zzo38> One idea I have is make a SQL database of iNES mapper numbers, which you might use to decide what mapper to use with your game, or for other purposes.
03:50:28 <zzo38> Which Deadfish implementations are the shortest and longest ones? I think the shortest one might be the one in AWK. The longest one might be the one for the Famicom. Is there others shorter/longer than these?
03:52:14 <Sgeo> "The hardest thing to build is a machine that needs to function perfectly without any supervision -- without the chance to make a single adjustment once it's out of your hands"
03:52:21 <Sgeo> -- a character in The Eternal Flame
03:52:30 <Bike> Is that a sciencee fiction novel
03:52:49 <Sgeo> Yes. It's part of the Orthogonality trilogy by Greg Egan
03:52:55 <zzo38> What machine is it?
03:53:13 <Sgeo> They're talking about a small spaceship, and that it has a repair crew
04:27:24 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12034
04:33:58 -!- Nisstyre-laptop has quit (Quit: Leaving).
04:57:04 <kmc> http://en.wikipedia.org/wiki/Apollo_10#Mission_highlights "A lot of people thought about the kind of people we were: 'Don't give those guys an opportunity to land, 'cause they might!' So the ascent module, the part we lifted off the lunar surface with, was short-fueled. The fuel tanks weren't full. So had we literally tried to land on the Moon, we couldn't have gotten off."
05:05:24 <shachaf> Are there any untyped non-strict languages for learning?
05:10:04 <kmc> [eliding pointless argument about what 'untyped' means]
05:10:07 <kmc> lazy racket, maybe?
05:10:44 <kmc> there is some lazy stuff in SICP; I think that lazy Scheme is one of the language variants they do after the metacircular evaluator
05:11:02 <shachaf> What should I say instead of "untyped" so that there's no pointless argument?
05:11:14 <kmc> probably nothing, pointless arguments are a fact of life
05:11:26 <kmc> but i elided it!
05:11:28 <kmc> so it's fine
05:11:40 <shachaf> Yes, but did you elide the metaärgument about pointless arguments?
05:11:44 <kmc> I didn't actually object to your use of "untyped"
05:11:51 <kmc> shachaf: I am not that powerful yet
05:12:01 <shachaf> Anyway I think in the places where it matters non-strictness is more sensible.
05:12:13 <shachaf> E.g. in the obligatory chapter about deriving Y.
05:15:04 -!- asdfasd has joined.
05:15:35 <asdfasd> a language is just conventions for maximum convenience
05:16:13 <shachaf> Anyway I think in places where it matters, strictness makes things way more complicated.
05:16:20 <shachaf> And in the places where it doesn't matter, it doesn't matter.
05:16:28 <kmc> `relcome asdfasd
05:16:31 <HackEgo> asdfasd: 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.)
05:16:42 <shachaf> kmc: what happened to celebrating craftsmanship
05:16:53 <kmc> what about it
05:17:50 <shachaf> kmc: Should I drop some punctuation to get more minimalistic writing?
05:17:58 <shachaf> I've started dropping the comma after "i.e." and "e.g."
05:18:16 <kmc> a fine choice
05:18:20 <shachaf> Should I drop the .s too, and decide that they're words of their own?
05:18:39 <shachaf> The . after etc is really annoying because you can't end a sentence with it very well.
05:19:29 <asdfasd> i,e. = id est = that is something, wouldn't make sense a comma separating subject from verb
05:20:07 <shachaf> I don't think commas work the same way in Latin.
05:22:25 -!- mnoqy has joined.
05:35:10 <zzo38> Someone was wondering about chipless bankswitching in NES/Famicom by using CHR address lines, but I don't think this will work. However, maybe it is possible by using the IRQ in the expansion port.
05:51:19 -!- asdfasd has changed nick to GOMADWarrior.
06:00:51 -!- Pb has joined.
06:04:47 -!- Puffball has quit (Ping timeout: 256 seconds).
06:20:35 -!- SingingBoyo has joined.
06:32:46 <Sgeo> "Study: Spice Acts Like Insulin, Eradicates Diabetes"
06:32:55 <Sgeo> I didn't know insulin works by eradicating diabetes!
06:40:13 -!- GOMADWarrior has quit (Ping timeout: 250 seconds).
07:02:49 <zzo38> It seems there is not yet Deadfish in INTERCAL.
07:18:41 -!- SingingBoyo has quit (Ping timeout: 256 seconds).
07:21:14 -!- zzo38 has quit (Remote host closed the connection).
07:33:46 -!- rntz has quit (Ping timeout: 256 seconds).
07:35:32 -!- coppro_ has joined.
07:38:05 -!- coppro has quit (Ping timeout: 276 seconds).
07:38:11 -!- hogeyui____ has quit (Ping timeout: 276 seconds).
07:38:11 -!- aloril has quit (Ping timeout: 276 seconds).
07:38:23 -!- aloril_ has joined.
07:38:27 -!- hogeyui____ has joined.
07:38:54 -!- conehead has quit (Quit: Computer has gone to sleep.).
07:41:15 -!- rntz has joined.
07:46:45 -!- Ramirez57 has joined.
08:07:38 -!- Bike has quit (Ping timeout: 245 seconds).
08:23:43 -!- Taneb has joined.
08:25:13 -!- epicmonkey has joined.
08:28:43 -!- nooga has joined.
08:59:55 -!- epicmonkey has quit (Ping timeout: 264 seconds).
09:03:56 -!- Phantom_Hoover has joined.
09:18:08 -!- nooodl has joined.
09:23:14 -!- MindlessDrone has joined.
09:49:48 -!- Ramirez57 has quit (Quit: Page closed).
09:50:01 -!- zyezhuei has joined.
09:51:42 -!- zyezhuei has quit (Client Quit).
09:53:58 <HackEgo> echo -n "$(basename "$0") $@: "; tail -n+2 "$0" | xargs; exit
09:54:15 <shachaf> `run sed -i '1s/ \$/${$@:+ }$/' bin/olist
09:55:24 -!- epicmonkey has joined.
09:55:36 <shachaf> `run sed -i 's/@/1/g' bin/olist
09:56:15 <shachaf> Though I don't quite understand this error...
09:56:28 <shachaf> `olist fake, sorry, this is just kind of odd
09:56:30 <HackEgo> /hackenv/bin/olist: line 1: $(basename "$0")${$1:+ }$1: : bad substitution \ /hackenv/bin/olist: line 2: shachaf: command not found \ /hackenv/bin/oerjan: line 1: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
09:56:35 <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/
09:57:13 <shachaf> How do you revert back two revisions?
09:58:26 * lambdabot hits oerjan with a hammer, so they breaks into a thousand pieces
09:58:26 <kappabot> *SMACK*, *SLAM*, take that oerjan!
09:59:45 <shachaf> `run sed -i '1s/ \$/${@:+ }$/' bin/olist
10:00:53 <shachaf> esoteric/2013-02-06.txt:03:27:53: <shachaf> `run echo AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA > bin/oerjan; chmod +x bin/oerjan
10:01:24 -!- carado has joined.
10:01:25 <shachaf> oerjan: Sorry for the inconvenience.
10:01:48 <shachaf> And possible disappointment over olist.
10:02:06 <HackEgo> Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian who hates Roald Dahl.
10:11:15 <Phantom_Hoover> http://en.wikibooks.org/wiki/False_Friends_of_the_Slavist
10:11:26 -!- mnoqy has quit (Quit: hello).
10:22:14 -!- sacje has quit (Quit: sacje).
10:23:28 -!- Taneb has quit (Ping timeout: 245 seconds).
10:28:56 <shachaf> kmc: An advantage my new /hilight is that when people spell my name "schachaf" or some such I still get highlighted.
10:29:11 <nooodl> shachaf: did you use a regex
10:39:10 -!- Taneb has joined.
10:47:13 -!- Taneb has quit (Ping timeout: 276 seconds).
11:00:13 -!- Taneb has joined.
11:04:00 -!- carado has quit (Ping timeout: 256 seconds).
11:05:44 -!- carado has joined.
11:32:03 <shachaf> "box" is just a lie, though. It's concrete, but it's the wrong thing.
11:32:19 <shachaf> It only confuses people -- and sometimes it confuses them for months or years. They think they understand but they don't.
11:32:30 <shachaf> I guess this is the wrong channel.
11:33:36 <olsner> if the box you talk about is your matrix of solidity, this is the right channel
11:34:55 <shachaf> olsner: <Sizur> shachaf: what if i think of a box as a value continuum?
11:35:06 <shachaf> I think it might be the right channel...
11:36:03 <olsner> what if I think of the box as an astral plane?
11:36:09 <ais523> does it contain rotten apples?
11:43:26 -!- Koen_ has joined.
11:44:15 -!- Koen_ has quit (Read error: Connection reset by peer).
11:44:16 -!- Koen__ has joined.
12:18:41 <elliott> kmc: mosh basically implements a full terminal emulator from scratch, right?
12:19:01 <elliott> so you could theoretically just write something that actually renders its state to the screen and get a new terminal emulator with better unicode support than anyone else
12:21:05 -!- Taneb has quit (Ping timeout: 255 seconds).
12:21:49 -!- Taneb has joined.
12:23:35 <shachaf> mosh's unicode support is broken hth :'(
12:24:31 <olsner> more or less broken than the alternatives?
12:25:06 <shachaf> The obvious alternatives in my case are ssh shachaf.net and mosh shachaf.net
12:25:20 <shachaf> (These work very differently, of course.)
12:41:37 -!- Taneb has quit (Ping timeout: 276 seconds).
12:48:13 <nooodl> shachaf: do you think the metaphor is still useful as an introduction to functors (was the box thing about functors)
12:51:37 <shachaf> No, boxes are less than useless.
12:52:08 <nooodl> yes imo putting things in physical boxes is great
12:53:04 <nooodl> anyway how'd you explain functors without boxes... maybe just, they're a way of adding a "context" to a value?
12:53:51 <shachaf> For most functors f, a value of type f a doesn't contain any value of type a at all.
12:53:56 <shachaf> Or it might contain multiple ones.
12:54:54 -!- Taneb has joined.
12:55:58 <shachaf> I don't know what "context" means but I bet it's at least as complicated as "Functor"
12:58:56 <nooodl> functors are too vague to explain imo
13:00:00 <shachaf> imo the concept of covariance and contravariance is important hth
13:00:20 <nooodl> and i still haven't read enough about category theory to be able to explain haskell Functors in term of that
13:00:37 <nooodl> afaict Functors are endofunctors in Hask
13:00:57 <nooodl> (and thehyre all covariant???)
13:00:59 <elliott> Functor represents Hask-* -> Hask-* (Hask-* terminology stolen from McBride so he doesn't eat me)
13:01:02 <shachaf> I,I as far as i category theory Functors are endofunctors in Hask
13:01:07 <elliott> Contravariant is Hask-*^op -> Hask-*
13:01:28 <elliott> Invariant is Hask-* x Hask-*^op -> Hask-*
13:02:31 <elliott> ob(Hask) = the set of Haskell types; hom_Hask(A,B) = the set of Haskell functions A -> B
13:02:43 <elliott> it isn't actually a category for stupid reasons IIRC but it's close enough
13:02:54 <Phantom_Hoover> nooodl, well the thing is that you can't have a true functor in what you usually think of in Hask
13:02:57 <nooodl> it's for _|_ reasons right
13:03:22 <Phantom_Hoover> it's because if you have some functor f, then applying it to a type results in f a
13:03:24 <elliott> you have to violate either left or right identity I think
13:03:29 <elliott> Phantom_Hoover: you are saying incorrect things
13:04:16 <elliott> what you're saying is that you can't fully model all Hask-* -> Hask-* functors as a Haskell typeclass
13:04:38 <elliott> if only because you can do undecidable stuff
13:05:02 <nooodl> what's the difference between Hask and Hask-*, is what i'm wondering atm
13:05:04 <elliott> well, it's definitely true without type families at least
13:05:16 <elliott> nooodl: the difference is that conor mcbride hates people who say Hask
13:10:09 <nooodl> hom_Hask^op(A,B) = the set of Haskell functions B -> A, right?
13:12:09 <shachaf> doesn't conor mcbride hate everybody though
13:18:40 -!- Taneb has quit (Ping timeout: 276 seconds).
13:18:40 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
13:26:06 -!- Taneb has joined.
13:34:52 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
13:43:47 -!- carado has quit (Ping timeout: 256 seconds).
13:49:43 -!- Taneb has quit (Ping timeout: 264 seconds).
13:50:36 -!- carado has joined.
13:50:57 -!- Phantom_Hoover has joined.
13:51:07 <Phantom_Hoover> http://www.guardian.co.uk/lifeandstyle/2006/may/20/weekend.jonronson ronson, the GLORIOUS RETURN
13:51:47 <Phantom_Hoover> meanwhile: wow ender's game is even more horrible than i'd realised
14:01:41 <Phantom_Hoover> http://www.guardian.co.uk/lifeandstyle/2006/may/27/weekend.jonronson
14:04:01 <olsner> but what do the croutons say about *you*, Phantom_Hoover?
14:04:23 <elliott> Phantom_Hoover: this guy needs a knighthood
14:04:46 -!- Taneb has joined.
14:05:06 <Phantom_Hoover> i don't think you can get a sainthood if you're jewish
14:05:15 <Phantom_Hoover> also i don't think you can get a knighthood if you're welsh
14:06:21 <elliott> Phantom_Hoover: these injustices, too, must fall
14:07:04 <olsner> if you're welsh maybe you can get an urdd marchog instead
14:09:23 -!- Taneb has quit (Ping timeout: 240 seconds).
14:12:54 <Phantom_Hoover> i like how for ronson's book about extremists he interviewed a comically radical islamist, the guy in charge of the kkk... and ian paisley
14:15:25 <elliott> i know nothing about ireland, help
14:15:48 <Phantom_Hoover> paisley was one of the leading unionists during the troubles
14:15:57 <Phantom_Hoover> and later first minister after the good friday agreement
14:17:01 <elliott> i don't even know what the whole unionist thing is about, i'm so terrible
14:19:02 <Phantom_Hoover> the republicans are the pro-republic, broadly catholic ones
14:19:19 <olsner> which of them were the terrorists?
14:20:54 -!- oerjan has joined.
14:21:41 -!- Taneb has joined.
14:22:59 <Phantom_Hoover> there weren't as many bombings etc. from the unionist paramilitaries though, i don't particularly know why that was
14:24:54 <oerjan> maybe possibly maybe the british government didn't want bombings, and might get a bit iffed at the people who supposedly were at their side. just saying.
14:25:35 <olsner> working for a union formed of mutual bombing and respect
14:25:38 <Phantom_Hoover> the unionist paramilitaries were (officially) illegal as well
14:25:41 * oerjan assumes this is about NI, otherwise disregard
14:25:44 <elliott> since when do governments shy away from using violence
14:25:58 <Phantom_Hoover> though there was collusion between them and the security forces to some controversial degree
14:25:59 <oerjan> elliott: they shy away from _others_ using violence.
14:27:03 <oerjan> it's that whole "monopoly on violence" thing.
14:28:56 <Phantom_Hoover> yes but again, the actual government weren't like "ok we want you to rough up the republicans a bit but no bombs, ok!"
14:30:24 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
14:31:53 -!- Taneb has quit (Ping timeout: 240 seconds).
14:32:22 <Phantom_Hoover> http://www.guardian.co.uk/lifeandstyle/2006/jun/03/weekend.jonronson oh my god
14:32:45 <oerjan> are you still on that thing, maybe i should look at one of those links
14:33:20 <elliott> ideally logread and click all of them
14:33:26 <elliott> does anyone know about bind mounts btw?
14:34:11 -!- Taneb has joined.
14:35:35 <olsner> I have used those yes... what about them?
14:36:30 <elliott> olsner: why does bind mounting a file require the target path to exist
14:41:02 <Phantom_Hoover> http://en.wikipedia.org/wiki/Northern_Ireland_Civil_Rights_Association
14:41:18 <Phantom_Hoover> i like how their goals just have "and nuclear disarmament" tacked on at the end
14:44:24 -!- zzo38 has joined.
14:52:16 -!- ais523 has quit.
14:53:16 -!- coppro_ has changed nick to coppro.
14:58:58 <Phantom_Hoover> http://www.guardian.co.uk/lifeandstyle/2006/jun/10/weekend.jonronson
15:01:21 <elliott> wait has it always said "Out of ordinary"
15:01:25 <elliott> i swear there was a "the" there
15:01:41 -!- nooodl has quit (Remote host closed the connection).
15:04:54 <elliott> Phantom_Hoover: oh jeez, already?
15:06:11 <Fiora> wow, that was fast ._.
15:06:17 <Fiora> He announced he had cancer just 2 months ago...
15:06:22 <elliott> Phantom_Hoover: do you have a citation, all i see is uncited on WP?
15:06:29 <elliott> and no relevant news results, so maybe it is just vandalism
15:06:38 <Deewiant> https://twitter.com/cstross/status/343740022924648448
15:07:12 * elliott should really get around to reading the Culture books
15:08:09 <Fiora> he was one of my favorite authors too...
15:09:14 <Phantom_Hoover> i am now really regretting not doing more that one time i went to a talk thing he did
15:22:42 -!- nooodl has joined.
15:23:22 -!- Taneb has quit (Ping timeout: 246 seconds).
15:24:02 -!- Taneb has joined.
15:40:53 -!- Taneb has quit (Ping timeout: 255 seconds).
15:48:17 -!- epicmonkey has quit (Ping timeout: 248 seconds).
15:48:20 -!- Taneb has joined.
15:58:56 -!- conehead has joined.
16:30:25 -!- Taneb has quit (Ping timeout: 248 seconds).
16:32:19 <zzo38> The Famicom Deadfish stores the current number in decimal (using one byte for each digit), and has a 9x9 multiplication table in ROM, as well as a mod10 and div10 tables in ROM, used to implement addition. The cursor is blinking by changing the palette; the OAM is stored in ROM so it won't change the sprites.
16:33:36 <zzo38> The only letters in the pattern table are I D S O, and if you push any other keys it will ignore it and it won't be displayed.
16:34:08 <Sgeo> "to the point that the most current implementation of Zapfino as of this writing, Zapfino Extra Pro, has achieved what seems to be limited sentience. "
16:34:14 <Sgeo> http://typophile.com/node/12422
16:34:49 <Fiora> intelll why do you release manuals that use terminology that you never define in the manual ._.
16:36:51 <zzo38> Fiora: I don't know!
16:37:02 -!- Taneb has joined.
16:37:13 <Fiora> are you intel? <.<
16:37:17 <olsner> Fiora: you're supposed to already know that stuff obviously
16:37:53 -!- nooodl has quit (Ping timeout: 248 seconds).
16:38:03 <zzo38> No, but maybe someone else might know or don't know, too.
16:40:17 <Fiora> they have a table showing the delays and stuff between different units on the chip and have labels like
16:40:44 <Fiora> INT, SSE-INT/AVX-INT, SSE-FP/AVX-FP_LOW, X87/AVX-FP_HIGH
16:40:57 <Fiora> they never define FP_LOW or FP_HIGH anywhere unless I am really bad at searching which I might be
16:41:06 <elliott> zzo38 is Intel. in fact, zzo38 is AMD too. zzo38 is Barack Obama.
16:43:20 <zzo38> I am pretty sure that I am not those things.
16:43:46 <elliott> Fiora: more seriously, googling "FP_LOW FP_HIGH Intel" does seem to show other results in Intel manuals? but I may be wrong. like, "MOVSHDUP—Move Packed Single-FP High and Duplicate. ... MOVSLDUP— Move Packed Single-FP Low and Duplicate"
16:44:00 <elliott> I guess that's (Single-FP) High
16:44:05 <elliott> rather than Single - (FP High)
16:44:13 <olsner> I think it's the optimization reference manual
16:44:34 <olsner> it has tables of functional units and dispatch ports and execution stacks and stuff
16:45:11 <olsner> maybe FP_low does bits 0-127 and FP_high takes bits 128-255
16:45:43 <Fiora> elliott: that's a different thing
16:45:54 <Fiora> there's old instructions that will do things like load a 64-bit value into the low/high half of an sse register
16:46:06 <Fiora> they steal all the google results ^^;
16:46:34 <Fiora> olsner: yeah... that feels like it could be right. but it seems kind of weird that the latency between units is delinated like that? like based on the top or bottom halves... but only for float, not for int...
16:47:32 <Fiora> I guess... maybe they're like in different places on the chip...
16:47:59 <zzo38> Why do they make it way too complicated?
16:51:25 -!- Bike has joined.
16:54:38 -!- oerjan has quit (Quit: leaving).
16:56:36 <olsner> hmm, I think the english is not as good in this manual as in the other ones
16:58:05 <Fiora> the new one with the haswell stuff?
16:58:07 -!- Taneb has quit (Ping timeout: 264 seconds).
16:58:33 <Fiora> I guess it's probably kinda draft-ish, it feels really less detailed than the sections on previous cpus
16:58:40 <olsner> actually, this one stops at Sandy Bridge, so I might have an older version
16:59:01 -!- Taneb has joined.
16:59:20 <Fiora> http://download.intel.com/products/processor/manual/325383.pdf I think this is it?
16:59:29 <HackEgo> 984) <kmc> ok im sober now and DNS makes sense again [...] <kmc> Domain Name System [...] <kmc> ♫ domain name system ♫
16:59:57 <Fiora> olsner: http://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-optimization-manual.pdf I think this is it
17:00:41 <elliott> the nice thing about running long compilations on your server is that you don't hear the desperate howl of the fans
17:00:59 <Fiora> some things are really weird. like, vpblendd has inverse throughput 0.33 but none of the other blends do (o_O)
17:01:08 <Fiora> and they made round 2x slower I mean not that I use it but...
17:01:21 <elliott> Deewiant: no way. it's like I have infinite power and it's not even breaking a sweat!
17:01:34 <elliott> admittedly, I get less feedback about when it's done
17:02:43 <Fiora> there's actually this whole section in the manual about how to replace shuffles with blends in things like transposes which is like wow I had no idea, that's pretty cool
17:04:30 <zzo38> Now you can see how long the program is: http://esolangs.org/wiki/Deadfish#Unofficial_MagicKit_Assembler
17:14:34 <elliott> a steam-powered road vehicle just passed by my window.
17:15:14 <elliott> it had a big chimney and all.
17:15:23 <olsner> horseless carriages have finally reached hexham?
17:15:50 <elliott> olsner: I swear to god, there is a car store called "Hexham Horseless Carriages"
17:16:01 <elliott> it probably dates back to when horses still existed.
17:17:11 <zzo38> I think horses do still exist, although not necessarily in Hexham.
17:18:26 <elliott> As mentioned in the outline history section a French artillery officer by the name of Nicholas Cugnot (1729-1804) made a steam three-wheeler intended for military use in 1769. This was arguably the first 'motor vehicle' although the small boiler could carry only enough water for a fifteen minute run and the maximum speed was about 4mph.
17:18:30 <elliott> In spite of these limitations on his first road trial of the three wheeler machine, making him arguably the first motorist, M. Cugnot hit a wall, becoming the first motorist to have an accident, and after several more experiments he scored the hat trick by becoming the first person to be arrested and imprisoned for dangerous driving.
17:20:29 <Phantom_Hoover> does it just subsume into the greater whole of french terribleness
17:26:44 <nortti> found this: http://satwcomic.com/driving
17:31:05 <Taneb> I can confirm Hexham Horseless Carriages is a shop that exists
17:31:16 <Taneb> Also, there's a steam rally in Corbridge or something
17:32:16 <Bike> http://www.tvr-hhc.co.uk/ they have a website. hell yes
17:32:33 <Bike> lol established in 1996
17:32:56 <nortti> why woud they name it that then?
17:33:33 <elliott> rich people don't know the word "car"
17:33:35 -!- oerjan has joined.
17:33:43 <Bike> https://pbs.twimg.com/media/BMEoR2ECMAAZ2c2.jpg stupid future
17:33:53 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
17:34:42 -!- BillyZane has quit (Ping timeout: 256 seconds).
17:46:55 -!- Taneb has quit (Quit: Leaving).
17:47:39 -!- BillyZane has joined.
17:49:43 <HackEgo> BiLlYzAnE: 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.)
17:51:20 <oerjan> `emoclew I think we had this one
17:51:23 <HackEgo> (.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .egaP_niaM/ikiw/gro.sgnalose//:ptth :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :eno :siht :dah :ew :kniht :I
17:57:38 <elliott> does anyone mind if I bring another lambdabot in here?
17:58:19 <elliott> I nominate oerjan to answer.
17:58:25 -!- quintopia has quit (Ping timeout: 248 seconds).
17:58:27 <oerjan> @id The more the merrier!
17:58:46 -!- mubot has joined.
17:58:58 <mubot> Couldn't match expected type `a0 -> t0' with actual type `()'
17:59:03 <mubot> No instance for (Test.QuickCheck.Property.Testable prop0)
17:59:08 <mubot> No instance for (GHC.Show.Show (a0 -> a0))
17:59:09 <mubot> arising from a use of `M19171...
17:59:12 <mubot> No instance for (GHC.Show.Show (a0 -> a0))
17:59:12 <mubot> arising from a use of `M95925...
17:59:13 <lambdabot> *Exception: show: No overloading for function
17:59:25 <kappabot> unrecognized option `--loadfile='
17:59:26 <kappabot> Usage: mueval [OPTION...] --expression E...
17:59:28 <mubot> +++ OK, passed 1 tests.
18:00:02 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
18:00:16 <mubot> Plugin `eval' failed with: mueval: recoverEncode: invalid argument (invalid character)
18:00:16 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
18:00:36 -!- mubot has quit (Client Quit).
18:00:53 <oerjan> surprisingly different, those bots
18:01:05 <kappabot> No instance for (GHC.Show.Show (GHC.Types.IO ()))
18:01:05 <lambdabot> *Exception: show: No overloading for function
18:01:11 -!- mubot has joined.
18:01:16 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
18:01:38 <oerjan> lambdabot: you are _so_ out of date!
18:01:56 <elliott> oerjan: the order is lambdabot < kappabot < mubot in terms of age of code, I think.
18:02:02 <elliott> mubot is based on the fancy new split-up git lambdabot.
18:02:08 <elliott> (this means I had to patch it to get it to work.)
18:02:16 <elliott> shachaf: hi, I am interested in your Pristine.hs
18:02:31 <elliott> not enough of a race condition.
18:02:38 <mubot> You are in #esoteric..
18:02:43 <mubot> oerjan is in #esoteric..
18:03:13 -!- oerjan has left.
18:03:19 <mubot> I saw oerjan leaving #esoteric 6s ago.
18:03:24 <mubot> Consider it noted.
18:03:40 -!- oerjan has joined.
18:04:00 <mubot> What module? Try @listmodules for some ideas.
18:04:00 <lambdabot> http://code.haskell.org/lambdabot/COMMANDS
18:04:00 <kappabot> http://code.haskell.org/lambdabot/COMMANDS
18:04:02 <mubot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search seen slap
18:04:02 <mubot> source spell system tell ticker todo topic type undo unlambda unmtl url version vixen where
18:04:02 <lambdabot> activity babel base bf check compose dice dict djinn dummy elite eval fact free fresh ft haddock help hoogle instances irc karma localtime more oeis offlinerc pl pointful poll pretty quote search
18:04:02 <kappabot> activity babel base bf check compose dice dict djinn dummy elite eval fact free fresh ft haddock help hoogle instances irc karma localtime more oeis offlinerc pl pointful poll pretty quote search
18:04:02 <lambdabot> slap source spell state system tell ticker todo topic type undo unlambda unmtl version where
18:04:03 <kappabot> slap source spell state system tell ticker todo topic type undo unlambda unmtl version vixen where
18:04:06 <mubot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search seen slap
18:04:06 <mubot> source spell system tell ticker todo topic type undo unlambda unmtl url version vixen where
18:04:15 <zzo38> Can you add a SQL extension into the wiki? For example if you have a article named "forty-two" and then you can write <SQL>CREATE TABLE "forty-two" ("X" INTEGER, "Y" TEXT);</SQL> and on other pages you can INSERT INTO "forty-two" and SELECT ... FROM "forty-two".
18:04:21 <elliott> but I'd have to recompile.
18:04:26 <elliott> also @djinn is broken on mine :(
18:04:28 <mubot> Djinn command failed: fd:10: hClose: resource vanished (Broken pipe)
18:04:28 <kappabot> No output from Djinn; installed?
18:04:47 -!- mubot has quit (Client Quit).
18:04:50 <zzo38> And then to make <SQL TEMPLATE="abcde">SELECT ...</SQL> in order to call a template with the results of a SELECT query.
18:08:28 -!- quintopia has joined.
18:10:38 -!- mubot has joined.
18:10:49 <mubot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search seen slap
18:10:49 <mubot> source spell system tell ticker todo topic type undo unlambda unmtl url version where
18:11:05 <mubot> heparin PRC hepatic paprika heroic
18:11:09 <mubot> Friend fr end fr-end friend frond
18:11:22 <elliott> mubot: @pl \xs ys -> xs ++ ys
18:11:28 <mubot> (x:xs) ++ ys = x : (xs ++ ys)
18:11:28 <mubot> xs ++ ys = foldr (:) ys xs
18:11:35 <mubot> *** "test" wn "WordNet (r) 3.0 (2006)"
18:11:36 <mubot> n 1: trying something to find out about it; "a sample for ten
18:11:36 <mubot> days free trial"; "a trial of progesterone failed to
18:11:36 <mubot> relieve the pain" [syn: {trial}, {trial run}, {test},
18:11:57 <mubot> The natural numbers. Also called the whole numbers, the counting numbers or ...
18:13:18 <elliott> oerjan: I assign you to figure out more ways to test it, hth.
18:13:24 <elliott> for instance you could check that @check works properly!
18:15:50 <elliott> huh, it responds to > now?
18:15:57 <lambdabot> fd:9: commitBuffer: invalid argument (invalid character)
18:15:57 <mubot> lexical error at character '\187'
18:15:59 <kappabot> lexical error at character '\187'
18:16:07 <elliott> oh, I guess > is just broken in /msg
18:17:22 <oerjan> i think :t and :k used to be broken in /msg too
18:18:13 <oerjan> @check \x y -> x+y == y+x
18:18:13 <kappabot> unrecognized option `--loadfile='
18:18:13 <kappabot> Usage: mueval [OPTION...] --expression E...
18:18:13 <mubot> No instance for (Test.QuickCheck.Arbitrary.Arbitrary a0)
18:18:13 <mubot> arising from a ...
18:18:31 <oerjan> @check \x y -> x+y == y+(x::Int)
18:18:32 <kappabot> unrecognized option `--loadfile='
18:18:32 <kappabot> Usage: mueval [OPTION...] --expression E...
18:18:34 <mubot> +++ OK, passed 100 tests.
18:18:59 <elliott> kappabot: @run myquickcheck
18:19:00 <kappabot> Ambiguous type variable `prop0' in the constraints:
18:19:08 <elliott> shachaf: ^ kappabot's @run is impure
18:19:29 <Sgeo> Does anyone actually play Liquid War online?
18:19:56 <oerjan> kappabot: @run print "hi"
18:19:57 <kappabot> No instance for (GHC.Show.Show (GHC.Types.IO ()))
18:20:52 <oerjan> Sgeo: absolutely no one hth
18:21:20 <Sgeo> Because I would try to get Liquid War 6 working if it meant I could play against people
18:21:31 <Sgeo> And be crushed even worse than the medium strength AI crushes me
18:21:41 <oerjan> (disclaimer: previous answer pulled from thin air.)
18:22:12 <oerjan> to be crushed like no one has been crushed before
18:27:05 <Sgeo> I'll try to get LW6 woking
18:29:29 <shachaf> imo we need some more greek letter bots
18:30:20 <mubot> Not in scope: data constructor `Mu'
18:30:20 <kappabot> Not in scope: data constructor `Mu'
18:30:20 <lambdabot> Not in scope: data constructor `Mu'
18:30:21 <kappabot> Perhaps you meant `MR' (imported from ...
18:30:23 <mubot> Not in scope: data constructor `Mu'
18:30:23 <kappabot> Not in scope: data constructor `Mu'
18:30:23 <lambdabot> Not in scope: data constructor `Mu'
18:30:23 <kappabot> Perhaps you meant `MR' (imported from ...
18:30:32 <mubot> No instance for (GHC.Show.Show
18:30:33 <mubot> (Lambdabot.Plugin.Haskel...
18:31:38 -!- sacje has joined.
18:31:39 <kappabot> help <command>. Ask for help for <command>. Try 'list' for all commands
18:32:16 <shachaf> Sounds like I've been deltabot with some missing functionality.
18:49:41 -!- Phantom_Hoover has joined.
18:50:10 <elliott> http://thelede.blogs.nytimes.com/2013/06/05/civil-disobedience-on-a-turkish-game-show/
18:50:10 <mubot> Title: Civil Disobedience on a Turkish Game Show - NYTimes.com, http://tinyurl.com/meafb9f
18:50:31 <elliott> shachaf: How did you disable that in kappabot?
18:50:53 <shachaf> I disabled it by doing nothing. hth
18:51:26 <Bike> no url title things here huh
18:53:57 <elliott> i will track down what is doing it
18:55:09 -!- mubot has quit (Quit: requested).
18:56:23 <elliott> "HaskellIrcPastePage", -- Ignore paste page
18:56:23 <elliott> "title of that page", -- Ignore others like the old me
18:57:56 <elliott> I wonder if I can fix :t not working with Unicode
18:58:15 -!- nooodl has joined.
18:58:25 <elliott> -- Rather than use subRegex, which is new to 6.4, we can remove comments
18:58:51 <elliott> shachaf: do you have any idea why :t fails at unicode
18:59:03 <kappabot> lexical error at character '\187'
18:59:20 <shachaf> because it goes via completely different mechanism from >
19:00:16 -!- Taneb has joined.
19:09:02 -!- mubot has joined.
19:10:25 <elliott> shachaf: challenge: figure out why mubot's username is what it is
19:11:13 <shachaf> is it because mu is on the other side of lambda
19:15:26 <olsner> according to today's news, someone's made a car "for young people who can't drive but are on the internet all the time"
19:16:10 <mubot> Plugin `compose' failed with: Unknown command: "text"
19:16:10 <lambdabot> Plugin `compose' failed with: Unknown command: "text"
19:16:10 <kappabot> Plugin `compose' failed with: Unknown command: "text"
19:16:21 <elliott> @@ @type (@run text "a\rb")
19:16:23 <kappabot> The function `a' is applied to one argument,
19:16:23 <lambdabot> The function `a' is applied to one argument,
19:16:34 <elliott> @@ @type (@run text "123\r:q")
19:16:36 <kappabot> Couldn't match expected type `[a0]' with actual type `Expr'
19:16:36 <lambdabot> Couldn't match expected type `[a0]' with actual type `Expr'
19:16:36 <kappabot> In the second argument of `(:)', namely `q'
19:16:36 <lambdabot> In the second argument of `(:)', namely `q'
19:16:46 <Taneb> why do we have three lambdabots in the channel
19:16:47 <elliott> shachaf: looks like it gets treated as whitespace
19:16:49 <Bike> i'm glad we have three bots for this now
19:17:00 <mubot> elliott has a karma of 0
19:17:10 <elliott> since when do i have 42 karma
19:17:17 <elliott> @@ @type (@run text "123\r4")
19:17:18 <mubot> (Num (a -> t), Num a) => t
19:17:29 <kappabot> Could not deduce (GHC.Num.Num (a0 -> t))
19:17:30 <kappabot> arising from the ambiguity chec...
19:17:31 <olsner> there are 21 more greek letters that don't have bots yet, get cracking
19:17:32 <mubot> Maybe you meant: v @ ? .
19:17:45 <Bike> maybe he fucking didn't, bots, maybe he fucking didn't
19:17:46 <Taneb> elliott, NumInstances?
19:17:59 <Taneb> kappabot: @type views
19:17:59 <elliott> Taneb: look at the :t output
19:18:00 <kappabot> forall (p :: * -> * -> *) s (m :: * -> *) r a. (MonadReader s m, Profunctor p) => Overloading p (->) (Accessor r) s s a a -> p a r -> m r
19:18:21 -!- mubot has quit (Quit: requested).
19:18:26 <Taneb> elliott, I'd say that's reasonably consistent?
19:18:41 <elliott> 20:17:19 <kappabot> forall t. Num t => t
19:18:43 <elliott> 20:17:29 <kappabot> Could not deduce (GHC.Num.Num (a0 -> t))
19:20:46 <nooodl> clearly we need a deadfish bot
19:31:18 -!- mubot has joined.
19:31:56 <shachaf> Thanks for messing up L.hs.
19:32:11 <elliott> you can't seriously expect things in L.hs to stay there
19:32:30 <shachaf> Well, I could before you @undefined.
19:32:53 <elliott> OK, time to find out what on earth weird is.
19:33:19 <elliott> loc = case aloc of [] -> Nick "freenode" "weird#"
19:33:22 <elliott> _ -> Nick (server msg) (tail aloc)
19:35:06 <mubot> Maybe you meant: v @ ? .
19:35:19 -!- kappabot has left.
19:35:24 <Fiora> https://twitter.com/PRISM_NSA oh gosh this is great
19:35:49 <Fiora> "Memo to Becky Schultz of Clearwater, FL: our data prove that your younger brother is not the most annoying person in the universe"
19:35:57 <Fiora> "Suggestions please: what font should we use for our now spin-off, http://snapchatbackup.com ? #PRISM20%TimeProjects"
19:36:20 <Fiora> "Second worst shift at #PRISM: reading YouTube comments, Worst shift at #PRISM: 4Chan duty"
19:38:35 <Fiora> "We are PRISM. We are actually anonymous. We are actually legion. We really, really do not forget. Accept us."
19:39:31 <Phantom_Hoover> http://www.reddit.com/r/atheism/comments/1fzgxy/the_largest_free_thought_and_atheist_forum_in_the/
19:39:59 <elliott> Phantom_Hoover: hahahahaha
19:40:23 <Phantom_Hoover> i took a quick peek to point and laugh and apparently they're in the middle of a civil war
19:40:55 <elliott> from scrolling down it looks like this is because they removed comment images or something
19:40:58 <Phantom_Hoover> http://www.reddit.com/r/atheism/comments/1fz8o0/how_ratheism_lost_the_gay_community/
19:41:05 <elliott> oh or they banned image posts
19:41:42 <Sgeo> Where was 4-D scrabble from the FRC advertised?
19:42:04 <Bike> something about memes?
19:42:05 <Sgeo> Phantom_Hoover, they banned image posts, I think links that aren't images still work. So I guess it's manual removal of bad posts
19:42:06 <Bike> i heard it's fascist
19:42:07 <kmc> oh wow someone is trying to make /r/atheism not a total joke?
19:42:23 <Sgeo> kmc, because some mods got the founder of /r/atheism removed
19:42:29 <Sgeo> For inactivity
19:42:41 <elliott> of course sgeo knows about this already
19:42:46 <Bike> r atheism should just die, that would be good
19:43:06 <shachaf> Bike: how does it feel to oppress free thought
19:44:02 <Fiora> I think I'm mentally readnig this entire twitter in glados's voice
19:44:28 <Sgeo> I blame oerjan for getting me into nomics in the first place
19:44:41 <Sgeo> Well, maybe not oerjan, but whoever put up a thing on their page about 4-D scrabble
19:45:52 <shachaf> Bike: how will i turn pictures of neil degrasse tyson into karma now
19:46:01 <shachaf> why you gotta go and ruin it
19:46:23 <elliott> /r/PicturesOfNeilDegrasseTyson
19:46:31 <Bike> r/mildlyinteresting is good
19:46:36 <Bike> just kill all of reddit except that
19:46:42 <elliott> not for fans of neil degrasse tyson, just for fans of pictures of neil degrasse tyson
19:46:47 <Phantom_Hoover> (is /r/space still a sagan-tyson circlejerk? i hope you appreciate that i am not up to date)
19:47:08 <shachaf> Phantom_Hoover: until just now i have never been to /r/space
19:47:10 <Bike> Fiora: the prism thing is too depressing for me to find funny, i think >_>
19:47:27 <shachaf> Perhaps it's too funny for Fiora to find depressing.
19:47:38 <kmc> [picture of space] "fuck yeah science!" [does not understand first thing about science]
19:47:53 <kmc> perhaps it's too depressing /not/ to find funny!
19:48:08 <Bike> [picture of grad student covered in potato chips and ripped up grant proposals] fuck yeah science!
19:48:33 <kmc> http://gawker.com/the-nsa-sent-a-takedown-notice-over-my-custom-prism-log-512085836
19:48:39 <Phantom_Hoover> did anyone see maddox's hilarious anti-fuck-yeah-science rant
19:49:02 <kmc> Bike: yeah that's more like it
19:49:20 <kmc> picture of grad student poking rats with a stick for 100 hours in a row
19:49:48 <kmc> http://achewood.com/index.php?date=10042004
19:50:00 <elliott> junior rat-poker only does it for 50 hours
19:50:05 <Bike> picture of grad student reading "the view from the left" for thirty hours straight
19:50:14 <Bike> poking at emacs ineffectually
19:51:08 <elliott> except I don't get money for it
19:51:11 <elliott> inb4 "neither do grad students"
19:52:14 -!- myname has quit (Read error: Connection reset by peer).
19:52:34 -!- myname has joined.
19:52:54 -!- Bike_ has joined.
19:52:55 -!- Bike_ has quit (Client Quit).
19:53:03 -!- Bike_ has joined.
19:53:21 <Phantom_Hoover> http://www.reddit.com/r/atheism/comments/1fza8s/the_arguments_in_favor_of_the_new_moderation/
19:53:21 -!- Bike_ has quit (Client Quit).
19:53:30 <Phantom_Hoover> "If 2 million people want to subscribe to /r/trueathiesm, then they will. Until then, r/trueatheism is not entitled to the 2 million subscriptions that r/atheism acquired fairly in the free market."
19:53:37 -!- Bike_ has joined.
19:53:56 <Fiora> Bike: I guess it's.... it's kind of depressing but like at this point it kind of feels like the only way to cope is gallows humor -_-
19:53:58 <Bike_> neither do grad students
19:54:18 <Bike_> Fiora: we could do like the turks and make video game references as we get shot
19:54:24 -!- Bike has quit (Ping timeout: 240 seconds).
19:54:28 -!- Bike_ has changed nick to Bike.
19:54:41 <elliott> do like the turks and be mechanical
19:55:15 <Bike> Fiora: http://img.gawkerassets.com/img/18pu5c73wlb0ajpg/ku-xlarge.jpg "next is tanks"
19:55:40 <Bike> http://img.gawkerassets.com/img/18pu5omzy3088jpg/ku-xlarge.jpg
19:55:53 -!- Phantom_Hoover has left ("Leaving").
19:56:03 -!- Phantom_Hoover has joined.
19:56:44 <Bike> also http://img.gawkerassets.com/img/18pu9o8gv7pumjpg/ku-medium.jpg because apparently someone stole a bulldozer and fucked up some riot tanks
19:57:03 <Phantom_Hoover> hi i've invented a new brainfuck deriv-- nah i've done that already
19:57:23 -!- Taneb has quit (Ping timeout: 240 seconds).
19:58:41 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:00:39 <mubot> mueval-core: Time limit exceeded
20:00:53 <mubot> *** Failed! Falsifiable (after 1 test and 1 shrink):
20:01:13 <mubot> *** Failed! Falsifiable (after 3 tests and 1 shrink):
20:01:22 <mubot> No instance for (GHC.Show.Show a0) arising from a use of `e_1'
20:01:28 <mubot> No instance for (GHC.Show.Show
20:01:28 <mubot> (GHC.Base.String -> GHC....
20:01:37 <mubot> Show a => a -> IO ()
20:01:45 <elliott> why would it want a show instance for a?
20:01:49 <elliott> does it not have extended defaulting?
20:01:54 <mubot> No instance for (GHC.Show.Show a0)
20:01:54 <mubot> arising from a use of `M194199338.sho...
20:02:21 <elliott> shachaf: any idea what's up here?
20:02:24 <elliott> can kappabot rejoin for tests?
20:02:44 <shachaf> I bet you don't have ExtendedDefaulting on?
20:02:49 -!- kappabot has joined.
20:02:53 <elliott> shachaf: right, I don't -- but do you? if so where
20:03:10 <kappabot> No instance for (GHC.Show.Show (GHC.Types.IO ()))
20:03:29 <shachaf> How is mueval working for you, anyway?
20:04:49 <shachaf> Well, its UTF-8 was broken for me under 7.4.
20:04:56 -!- mubot has quit (Quit: requested).
20:05:10 -!- mubot has joined.
20:05:12 <mubot> *Exception: Prelude.undefined
20:05:15 <mubot> No instance for (GHC.Show.Show a0) arising from a use of `e_1'
20:05:25 <mubot> No instance for (GHC.Show.Show
20:05:25 <mubot> (GHC.Base.String -> GHC....
20:05:29 -!- SingingBoyo has joined.
20:05:37 <elliott> I like how it depends on show but doesn't use it
20:05:57 <myname> yeah, we totally need more bots here
20:08:45 <kappabot> No instance for (GHC.Show.Show (GHC.Types.IO ()))
20:08:54 -!- Bike has quit (Ping timeout: 240 seconds).
20:08:55 <lambdabot> *Exception: show: No overloading for function
20:09:03 <elliott> shachaf: add a show instance for IO plz thx
20:09:06 <elliott> (or just "import ShowFun")
20:09:43 <elliott> shachaf: does kapapbot use SSL?
20:12:27 <Sgeo> SAPERLIPOPELEPET is an actual word
20:12:33 <Sgeo> (In French, but still)
20:13:27 <elliott> I suspect there is no point though
20:13:37 <shachaf> Well, it does use *my* Freenode password.
20:13:40 <elliott> I guess lambdabot's password is fairly valuable
20:13:46 <shachaf> To be fair, my IRC client also doesn't.
20:14:01 * elliott uses fancy SASL authentication
20:14:48 -!- kallisti has joined.
20:14:48 -!- kallisti has quit (Changing host).
20:14:48 -!- kallisti has joined.
20:15:12 -!- copumpkin has joined.
20:17:37 -!- SingingBoyo has quit (Ping timeout: 248 seconds).
20:20:48 <mubot> (a -> b -> b) -> b -> [a] -> b
20:20:49 <mubot> Not in scope: `foldMap'
20:20:49 <mubot> Perhaps you meant one of these:
20:20:49 <mubot> `Data.Foldable.foldMap' (imported from Data.Foldable),
20:20:52 <mubot> Couldn't find qualified module.
20:23:09 <mubot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search seen slap
20:23:09 <mubot> source spell system tell ticker todo topic type undo unlambda unmtl version where
20:24:27 <mubot> activity seconds. Find out where/how much the bot is being used
20:24:30 <mubot> 3*total 3*#esoteric
20:24:43 <elliott> shachaf: did you know this command existed?
20:25:05 <elliott> I wonder if lambdabot should really be running it.
20:25:07 <oerjan> <Sgeo> SAPERLIPOPELEPET is an actual word <-- please read more carefully hth
20:25:12 <elliott> seems like an undesirable infoleak
20:26:11 <mubot> Not enough privileges
20:26:50 <mubot> The answer is: Yes! Haskell can do that.
20:26:55 <shachaf> mubot...........................................
20:27:15 <Sgeo> Showing results for SAPERLIPOPETTE
20:27:15 <Sgeo> Search instead for SAPERLIPOPELEPET
20:27:18 -!- Bike has joined.
20:28:36 <elliott> _ -> "I'm sorry Dave, I'm affraid I don't know that command"
20:29:18 <mubot> Not in scope: data constructor `N'
20:29:20 -!- mubot has quit (Quit: requested).
20:29:29 -!- mubot has joined.
20:29:37 <mubot> The answer is: Yes! Haskell can do that.
20:29:37 <lambdabot> The answer is: Yes! Haskell can do that.
20:29:37 <kappabot> The answer is: Yes! Haskell can do that.
20:29:46 <Sgeo> mubot, @SAPERLIPOPELEPET
20:29:46 <mubot> Unknown command, try @list
20:29:46 <Bike> that's pretty frequent
20:29:50 <elliott> shachaf: I went to fix @faq
20:29:55 <elliott> shachaf: but then I also found myself adding @get-shachaf
20:30:00 <mubot> Unknown command, try @list
20:30:01 <elliott> and decided it would be best to quit while I was ahead
20:30:10 <shachaf> who wants to ?where ?where
20:30:31 <elliott> in fact shachaf, can you try it out?
20:30:37 <mubot> I know nothing about ?where.
20:30:38 <mubot> I know nothing about ?where.
20:30:38 <mubot> I know nothing about ?where.
20:30:38 <mubot> I know nothing about ?where.
20:30:38 <mubot> I know nothing about ?where.
20:30:39 <mubot> I know nothing about ?where.
20:30:41 <mubot> I know nothing about ?where.
20:30:43 <mubot> I know nothing about ?where.
20:30:45 <mubot> I know nothing about ?where.
20:30:47 <mubot> I know nothing about ?where.
20:30:48 -!- kappabot has left.
20:30:49 <mubot> I know nothing about ?where.
20:30:51 <mubot> I know nothing about ?where.
20:30:54 <mubot> I know nothing about ?where.
20:30:55 <mubot> I know nothing about ?where.
20:30:57 <mubot> Plugin `where' failed with: <<timeout>>
20:30:59 <mubot> Plugin `where' failed with: <<timeout>>
20:31:17 <elliott> 21:30:44 !lindbohm.freenode.net *** Message to #esoteric throttled due to flooding
20:31:21 <elliott> i'm being oppressed for running mubot
20:32:01 <elliott> oerjan: can you test @unlambda
20:32:52 -!- sprocklem has joined.
20:33:05 <mubot> Extra stuff at end of line in retrieved type "Not in scope: `unsafeCoerce'\n"
20:33:05 <lambdabot> Extra stuff at end of line in retrieved type "Not in scope: `unsafeCoerce'\n\n"
20:33:11 <shachaf> @free unsafeCoerce :: a -> b
20:33:11 <mubot> g . unsafeCoerce = unsafeCoerce . f
20:33:12 <lambdabot> g . unsafeCoerce = unsafeCoerce . f
20:33:25 <shachaf> unsafeCoerce is v. powerful
20:33:48 <elliott> @free safeCoerce :: a -> ()
20:33:48 <mubot> safeCoerce = safeCoerce . f
20:34:12 <mubot> f undefined = undefined
20:35:12 <shachaf> i heard oerjan wrote the @unlambda interpreter........................................................
20:35:29 <shachaf> oerjan: negativity free yourself etc
20:35:29 <oerjan> shachaf: it may descend from one i wrote, yes
20:35:40 <elliott> apparently gwern uploaded oerjan's http://hackage.haskell.org/package/unlambda
20:37:10 <oerjan> i am pretty sure there were other unlambda interpreters in haskell when i wrote mine, though
20:37:35 <elliott> shachaf: huh, we have Is in lambdabot now?
20:38:39 <shachaf> Yep, I bugged Cale to add it.
20:39:31 <zzo38> I was trying to do something with sequent logic once, I made up something, and then from what I made seems unable to make (a |- a) although I was able to make ((a -> b) |- (a -> b)).
20:57:55 <Bike> so apparently the PRISM leaker is a ron paul supporter. where's your god now leftists
20:58:46 <elliott> that sounds like the least surprising thing ever
20:59:10 <Fiora> I'm now imagining the NSA doing a paranoid sweep to find every employee who's ever posted pro-ron-paul things and fire them
20:59:27 <Bike> we know his name though, and he doesn't work for them any more, so.
20:59:38 <elliott> well, it's not like the NSA would want a ron paul supporter anyway, most likely.
20:59:48 <Bike> he was a contractor
21:00:27 <Bike> livin' large in HK
21:04:05 <Sgeo> Huh. The FRC taught me a bit of history, that I had previously assumed was fictitious
21:04:15 <Sgeo> "In foggy London he succeeds in convincing the brothers (who in this
21:04:15 <Sgeo> timeline have Japanese ancestors!) to include in the statutes of the
21:04:15 <Sgeo> bank, that they will never hire a certain Nick Leeson. More than 200
21:04:15 <Sgeo> years later, the latter does not get a job with Baring's.
21:04:15 <Sgeo> Consequently he does not have the occasion to swindle the bank out of
21:04:16 <Sgeo> the 1000 million dollars that were subsequently used to finance the Time
21:04:27 <Sgeo> That was a bad idea'
21:04:46 <Sgeo> There really was a Nick Leeson at Baring's Bank
21:07:36 <Bike> did he swindle a billion dollars?
21:07:56 -!- carado has quit (Read error: No route to host).
21:08:37 <Sgeo> He did something criminal
21:08:57 <Sgeo> But I think it was more gambling with the bank's money than actually stealing it
21:09:03 <Sgeo> http://en.wikipedia.org/wiki/Nick_Leeson
21:09:43 -!- carado has joined.
21:10:29 <Bike> oh, i've heard of this guy.
21:13:00 <elliott> Phantom_Hoover: fantasy rules committee
21:13:08 <elliott> nomic-like game played since the stone age
21:13:13 <elliott> oerjan played in it once upon a time
21:14:49 <oerjan> i saved it from the mammoths
21:15:12 <Sgeo> http://sir-toby.com/nomic-archives/frc/
21:15:15 <Sgeo> Classic rounds
21:15:49 -!- SingingBoyo has joined.
21:17:38 <oerjan> oh apparently i was the judge for that 4d scrabble round
21:20:07 -!- Sgeo has quit (Quit: Leaving).
21:22:40 <Koen__> oh yeah I remember that one
21:22:51 -!- mubot has quit (Quit: requested).
21:23:03 -!- mubot has joined.
21:23:30 -!- jago25_98 has joined.
21:24:22 -!- Koen__ has changed nick to Koen_.
21:24:56 -!- mubot has quit (Client Quit).
21:25:07 <kmc> where's kappabot?!?
21:25:08 -!- mubot has joined.
21:26:20 -!- Sgeo has joined.
21:30:56 -!- mubot has quit (Quit: requested).
21:31:06 -!- mubot has joined.
21:31:15 <elliott> kmc: challenge: figure out why mubot's username is what it is
21:31:59 <kmc> is it the least fixed bot
21:32:04 <kmc> oh username not nick
21:38:30 <Sgeo> The FRC once got me back into Haskell
21:38:37 <Sgeo> Don't remember when that was
21:38:48 <Sgeo> But I wrote a short little FLogic-ish thing
21:39:19 <kmc> is it short for Debian-Exim?
21:39:36 -!- mubot has quit (Quit: requested).
21:39:53 -!- mubot has joined.
21:40:14 <kmc> is it just a useful 'nobody' user?
21:40:26 <kmc> oh does debian have a fake inetd that responds with that?
21:40:40 <kmc> whateverthefuckd
21:40:50 <kmc> oh well I don't know then
21:41:11 <elliott> the UID it runs as in the chroot happens to overlap with the UID of Debian-exim in the outer system
21:41:16 <elliott> and the identd runs outside of the chroot
21:41:30 <elliott> this also means "ps" and "top" think that Debian-exim is running it
21:41:53 <kmc> why a chroot
21:43:08 -!- jago25_98 has quit (Ping timeout: 255 seconds).
21:44:17 <elliott> kmc: well, have you ever read lambdabot's source coe
21:44:29 <elliott> ":t" works by running yr input thru a regexp and piping it to ghci
21:44:43 -!- mubot has quit (Remote host closed the connection).
21:44:56 <shachaf> hey it's not just a regexp
21:45:04 <elliott> Bike: actually it's a recursive function because the regexp function doesn't work in GHC <6.4
21:45:09 <elliott> note: GHC 6.4 was released like a hundred years ago
21:45:15 <Bike> ok that sounds good
21:45:16 <elliott> stripComments ('\n':_) = [] -- drop any newwline and rest. *security*
21:45:21 <shachaf> stripComments ('\n':_) = [] -- drop any newwline and rest. *security*
21:45:31 <Bike> does it say "security" in the comment
21:45:47 <elliott> it's where the security goes
21:45:54 <elliott> you write them and save a little bit left for the security
21:48:45 -!- Lumpio_ has changed nick to Lumpio-.
21:53:23 <kmc> elliott: vanilla Linux chroots are shit for security
21:53:26 <kmc> better than nothing I suppose
22:00:48 <kmc> we're whalers on the moon, we carry a harpoon
22:01:41 <elliott> kmc: well I don't know the details
22:01:45 <olsner> there aren't any whales in space so we have to bring whale oil from earth, obviously
22:01:50 <elliott> is it really so bad without a root escalation vuln?
22:02:27 <shachaf> elliott: these days you have to run a vm inside a vm to get any security
22:02:46 <elliott> like, the security hole I anticipate is on the order of "you get to give input, most likely only one line, to GHCi"
22:03:06 <kmc> well there are lots of ways for a process in a chroot to mess with processes outside a chroot
22:03:09 <kmc> ptrace etc
22:03:21 <elliott> but I don't know how much /proc leaks to another user
22:03:52 <elliott> kmc: also, I won't die if someone escapes the chroot, they'll end up as an unprivileged user
22:04:06 <elliott> at worst they'll read private stuff in my $HOME, which I should probably make not world-readable
22:04:15 <elliott> admittedly if they escape it they probably have a root escalation vuln
22:05:45 <elliott> kmc: anyway what is your recommendation? run the whole thing in UMLBox?
22:06:57 -!- conehead has quit (Ping timeout: 248 seconds).
22:07:46 -!- Bike has quit (Ping timeout: 276 seconds).
22:07:52 <shachaf> my recommendation is to make yourself fully aware of the risks and then not care about them
22:08:44 <olsner> an easier way is to skip directly to not caring
22:08:49 -!- Bike has joined.
22:08:58 <kmc> those are both p. good recommendations
22:08:58 <olsner> as an added bonus, that's usually the state you start out in
22:09:06 <shachaf> there's a way you go about these things
22:09:08 <kmc> elliott: UMLBox is cool but UML scares me a bit because it's not used much anymore
22:09:50 <kmc> elliott: grsec kernels have enhanced chroots, and there's also the 'namespaces' stuff in Linux (user namespacess, proecess namespacess, etc), and there's http://lxc.sourceforge.net/ and http://openvz.org/Main_Page and such
22:09:56 <kmc> or you could use "real" virtualization
22:10:04 <kmc> i don't know the area well enough to recommend one over another
22:10:07 <kmc> but those are some options
22:10:24 <kmc> "real" virtualization will protect you from root escalation vulnerabilities, which are common in Linux
22:10:34 <kmc> it doesn't protect you from hypervisor exploits of course, but \rainbow{defense in depth}
22:11:52 <elliott> kmc: these sound like a lot of work
22:11:58 <elliott> how about I just ask jesus to not let it go wrong
22:12:14 <elliott> i mean, theoretically this software is meant to be secure enough to run as-is
22:12:23 <elliott> i just don't trust that half of it wasn't written by a complete bozo
22:12:49 <shachaf> yay, my time spent convincing elliott not to trust lambdabot was useful
22:13:33 <olsner> useful how exactly? now he's wasting time doing all this security thinking
22:14:12 <Bike> i can't see "defense in depth" without thinking of maginot. is this bad y/n
22:14:18 <shachaf> well my goal is to waste time
22:14:36 <Sgeo> I wonder when I'll start having nostalgia for Cablevision's offices
22:15:43 <Bike> He's just thinking ahead.
22:15:53 <Sgeo> In the future one of those two will presumably happen, unless I spend my entire life working there
22:16:14 <Bike> The company could also be destroyed.
22:17:41 <olsner> Bike: not sure how much depth you had in mind, but the maginot line was "20 to 25 km" deep according to wikipedia
22:17:59 <Bike> how deep are hypervisors kmc
22:18:07 <Sgeo> Things that I do now, in the present day, will eventually become nostalgic for me
22:18:20 <olsner> (then again, leaving lots of other options around, such as "take the long way around, attack anyway")
22:18:21 <Sgeo> Assuming I don't die in the near future
22:18:30 <Bike> or you could be brain damaged.
22:18:41 <shachaf> Or you could just not be nostalgic for it.
22:18:41 <Bike> also: i have sometimes done things and do not feel nostalgic about them. 'what gives'
22:19:07 <lambdabot> http://hackage.haskell.org/trac/ghc/newticket?type=bug
22:19:22 <shachaf> wow our lambdabottage is dangerously low
22:19:35 -!- kappabot has joined.
22:19:39 <oerjan> <shachaf> there's a way you go about these things <-- i surely thought this was a quote (from "yes, prime minister" perhaps?) but i cannot find it
22:19:43 <Phantom_Hoover> what if sgeo stops being nostalgic about everything and he gets nostalgic about the nostalgia
22:20:02 <olsner> hypervisors seem more fiddly to get right than the normal memory protection and task isolation stuff that general OSes try so hard to get right
22:20:21 <shachaf> oerjan: Hmm, I didn't think of it as a quote, but the general idea could easily be derived from Yes, (Prime )?Minister
22:22:18 -!- nooodl has quit (Ping timeout: 252 seconds).
22:22:46 -!- mubot has joined.
22:22:57 <mubot> *Exception: Prelude.undefined
22:23:40 <mubot> mueval-core: Time limit exceeded
22:23:40 <kappabot> mueval-core: Time limit exceeded
22:24:05 <oerjan> lambdabot: hey get in line!
22:26:09 <lambdabot> ##crypto ##freebsd ##logic ##proggit ##unavailable ##villagegreen #agda #codez #darcs #diagrams #esoteric #fedora-haskell #friendly-coders #functionaljava #gentoo-haskell #gentoo-uy #ghc #happs #
22:26:09 <lambdabot> haskell #haskell-blah #haskell-books #haskell-br #haskell-fr #haskell-freebsd #haskell-game #haskell-gsoc #haskell-in-depth #haskell-lens #haskell-overflow #haskell-pl #haskell.au #haskell.cz #
22:26:09 <lambdabot> haskell.de #haskell.dut #haskell.es #haskell.se #haskell.tw #learnanycomputerlanguage #ledger #macosx #macosxdev #rosettacode #scala #scalaz #scannedinavian #snapframework #tanuki #teamunix #
22:26:53 <Bike> #unicycling? i feel betrayed
22:28:52 <shachaf> oerjan: oh man good old yes minister
22:29:00 <mubot> I've got a card in my hole.
22:29:03 <mubot> And furthermore, my bowling average is unimpeachable!!!
22:30:26 -!- mubot has quit (Quit: requested).
22:30:36 -!- mubot has joined.
22:32:54 <lambdabot> Plugin `tell' failed with: Prelude.head: empty list
22:32:54 <kappabot> Plugin `tell' failed with: Prelude.head: empty list
22:33:07 <Bike> #unicycling? i feel betrayed
22:33:11 <Sgeo> @thisistotalgibbeish
22:33:11 <mubot> Unknown command, try @list
22:33:16 <Bike> imagine that i said the other thing
22:33:19 <Sgeo> Anyone want to @list ?
22:33:20 <Bike> the one that i meant to say
22:33:26 <mubot> I know nothing about ?where.
22:33:26 <mubot> I know nothing about ?where.
22:33:26 <mubot> I know nothing about ?where.
22:33:27 <mubot> I know nothing about ?where.
22:33:27 <mubot> I know nothing about ?where.
22:33:28 <mubot> I know nothing about ?where.
22:33:30 <mubot> I know nothing about ?where.
22:33:32 <mubot> I know nothing about ?where.
22:33:34 <mubot> I know nothing about ?where.
22:33:36 <mubot> I know nothing about ?where.
22:33:38 <mubot> I know nothing about ?where.
22:33:40 <mubot> I know nothing about ?where.
22:33:42 <mubot> I know nothing about ?where.
22:33:44 <mubot> I know nothing about ?where.
22:33:46 <mubot> Plugin `where' failed with: <<timeout>>
22:33:54 <elliott> fyi when you do that freenode drops my messages
22:33:58 <oerjan> shachaf: i got to see the new version recently. felt nostalgic for the old one. the new sir Humphrey is so unsympathetic...
22:33:59 <Bike> i thought you fixed it sorry
22:34:04 <elliott> it's not even a bug in my bot!
22:34:22 <Sgeo> Bots are supposed to notice instead of msg when replying, right?
22:34:22 <Bike> they're like practically thes ame
22:34:31 <Bike> Sgeo: yeah but nobody does that ever
22:34:44 <elliott> preflex does it but only in some channels
22:36:23 <oerjan> mubot: ?where+ ?where ?where ?where
22:36:39 <elliott> mubot: ?where+ ?where no ?where
22:37:04 <oerjan> elliott: hey what do you have against exponential blowup you scounderl
22:37:22 <elliott> i don't think there's anything exponential about it hth
22:37:57 <oerjan> elliott: with 3 bots there is hth
22:40:00 <oerjan> also why does it drop _your_ messages
22:40:07 <Bike> same connection probably
22:40:24 <Bike> so if i do ?where ?where again will it not spam
22:40:27 <oerjan> you can have two nicks on the same connection?
22:43:00 <shachaf> oerjan: There's a new version?
22:43:09 <elliott> oerjan: because same connection
22:43:23 <elliott> presumably because otherwise you could just run 100 spambots on the same server
22:43:33 <elliott> and have them each say one line
22:43:43 <oerjan> shachaf: or an old one, dependent on which one you actually know :P
22:45:18 <oerjan> nah the new one is apparently very new, from this year
22:46:52 <oerjan> "It was the favourite television programme of the then Prime Minister of the United Kingdom, Margaret Thatcher."
22:48:24 -!- sprocklem has quit (Remote host closed the connection).
22:49:52 <shachaf> ‘The public,' said Sir Humphrey, ‘do not know anything about wasting public money. We are the experts.'
22:50:10 <shachaf> ‘We'll have to do an O & M,' I said. [Organisation and Method Study - Ed.] ‘See how many we can do without.'
22:50:14 <shachaf> ‘We did one of those last year,' said Sir Humphrey blandly. ‘And we discovered we needed another five hundred people. However, Minister, we could always close your Bureaucratic Watchdog Department.'1
22:56:12 <shachaf> At last Humphrey decided to make his meaning clear. ‘When the chips are down, Minister, and the balloon goes up and the lights go out . . . there has to be somewhere to carry on government, even if everything else stops.’
22:56:16 <shachaf> I considered this carefully for a few moments. ‘Why?’ I asked.
22:56:19 <shachaf> Humphrey appeared to be absolutely staggered by this question. He explained to me, as if I were a backward five-year-old, ‘Government doesn’t stop merely because the country’s been destroyed. Annihilation is bad enough, without anarchy to make it even worse.’
23:00:05 -!- fizzie has joined.
23:01:38 -!- epicmonkey has joined.
23:02:03 -!- fungot has joined.
23:02:09 <oerjan> our long dark days of fungotlessness are over!
23:02:09 <fungot> oerjan: times change, and 2 for fnord
23:02:34 <fungot> olsner: some cases, it can be avoided. the contents are in ascii?
23:02:36 <HackEgo> fungot: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
23:02:37 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube
23:02:48 <fungot> Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011)
23:03:01 <fungot> shachaf: never!! kids will be boarding the train to scarytowne at my own pace, dromiceiomimus. we look happy. look, i'm going to the docks right syntax to get ourselves moving. no thanks, chuckles, but there's a rude jerk, and then they both said the next few days were going to me, the omniscient. the dude has to sleep! superman could laser him from orbit while he's having nappy times! enter only if you have a valid passport to
23:04:49 <oerjan> ^def where ul (@where @where)S
23:04:58 <fizzie> For the record: I was away (France, Switzerland, very briefly Italy) for June 4th through (late) June 9th, so of course the ISP handling my home decided to mangle ("yeah, the routing info is all wrong, provisioned to the wrong port" said the 24/7 support guy when I called an hour ago) the connection around noon of June 4th.
23:05:12 <shachaf> 16:04 <bz> I JUST WANT TO XOR TWO INTEGERS
23:05:20 <shachaf> kmc: look what these challenges have brought to us
23:05:26 <elliott> fizzie: your ISP has support guys who know what routing info is?
23:05:39 <Bike> xor is Hard, man
23:05:40 <kmc> it's like a PROJECT EULER but for CRYPTOGRAPHY
23:05:42 <oerjan> fungot: you don't seem well
23:05:42 <fungot> oerjan: this cabin is a front! and maybe on the back sometimes that i am a good friend, t-rex, but i already do! i have a friend, of my own age, you get to call all these " dog days" of summer.
23:05:45 <fizzie> elliott: Apparently the night staff doesn't involve any first-tier support people.
23:05:46 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
23:05:47 <elliott> jerkcity version: I JUST WANT TO XOR TWO INTEGERS / OR COCKS
23:05:48 <fungot> echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping
23:05:51 <mubot> I'm having a tax-deductible experience! I need an energy crunch!!
23:05:52 <kappabot> Is this an out-take from the "BRADY BUNCH"?
23:05:58 <kmc> we are going at warp 10 here
23:06:00 <mubot> I don't know WHY I said that ... I think it came from the FILLINGS in
23:06:00 <mubot> my read molars ...
23:06:01 <Bike> "this cabin is a front! and maybe on the back sometimes" not bad
23:06:03 <oerjan> ^def where ul (@where @where)S
23:06:06 <kmc> ETOOMANYBOTS
23:06:13 <fizzie> oerjan: It was The Usual Bug.
23:06:18 <kmc> > text "hi fungot"
23:06:18 <fungot> kmc: me! i do. " merry? you're poor enough, i could get a completely different adult down, so the whole deal into my computer's cd tray!
23:06:18 <lambdabot> geekoid says: the problem with wikipedia is that it works in practice, but not in theory.
23:06:18 <kappabot> Miod says: [On the vax] How many processors come with a built-in instruction which computes polynomials of degrees up to 31?
23:06:18 <fungot> mubot: and i, my friends, is the malaise of the glutton at life's buffet, building complicaters? domino frustraters? wobbley times u.s.a.? um, maybe if i told his jokes lately
23:06:19 <fungot> kappabot: more so than usual, t-rex, that going shopping was your default activity? we'd never get anything you want, but want what you do. it's so easy, but nobody's that impressed when you tell them you think they're dating the wrong person?
23:06:25 <Bike> my god, pure ideology
23:06:44 <fizzie> oerjan: http://sprunge.us/XTSO as seen by fungot.
23:06:44 <fungot> fizzie: but t-rex, you can't play the game optimally! and assuming that in a man... or a woman, dromiceiomimus!
23:06:50 <oerjan> ^def where ul (@where @nowhere)S
23:06:51 <fungot> shachaf: to the last, i will grapple with thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee! from hell's heart, i stab at thee
23:07:08 <elliott> i think fungot wants to stab shachaf
23:07:08 <fungot> shac:elliott: that you all for them, i have come up with a new saddest thing ever!!... which is also nice, until a really attractive friend of theirs shows, interviews, documentaries about me, make new friends, and start a life of lies?
23:07:17 <oerjan> kappabot: @where+ @nowhere @where @somewhere
23:07:30 <oerjan> mubot: @where+ @somewhere @where @where
23:07:30 <mubot> It is forever etched in my memory.
23:08:20 <oerjan> lambdabot: @where+ @where ^where @where
23:08:38 <oerjan> (also, horribly wrong)
23:08:49 <fizzie> It's like looking at someone setting up one of those domino piece things.
23:09:23 <oerjan> mubot: @where+ @somewhere ^where @where
23:09:23 <mubot> I will never forget.
23:09:36 -!- carado has quit (Quit: Leaving).
23:10:00 <oerjan> gah i'm hopelessly confused now
23:10:11 <elliott> why the hell isn't this working
23:11:18 <olsner> so doing something like @where @nowhere or ^where will start a new botloop?
23:11:50 -!- carado has joined.
23:12:35 <oerjan> lambdabot: @where+ @where @where @nowhere
23:12:55 <oerjan> ^def where ul (@where @where)S
23:13:18 -!- epicmonkey has quit (Ping timeout: 264 seconds).
23:13:28 <oerjan> ^where anything, really?
23:13:28 <mubot> I know nothing about @where.
23:14:46 <oerjan> lambdabot adds a space... D:
23:15:16 <olsner> it didn't add a space last time though?
23:17:22 <elliott> probably it special-cases @.
23:19:03 -!- mubot has quit (Quit: requested).
23:19:13 -!- mubot has joined.
23:19:25 <elliott> wtf. it suddenly started working
23:21:13 -!- carado has quit (Ping timeout: 256 seconds).
23:22:16 <oerjan> lambdabot: @where+ @where ?where ?nowhere
23:22:53 <oerjan> kappabot: @where+ ?nowhere ?where @somewhere
23:22:53 -!- carado has joined.
23:23:01 <mubot> I know nothing about @where.
23:23:01 <mubot> I know nothing about ?nowhere.
23:23:02 <mubot> I know nothing about @where.
23:23:02 <mubot> I know nothing about ?nowhere.
23:23:05 <mubot> I know nothing about @where.
23:23:07 <mubot> I know nothing about ?nowhere.
23:23:11 <mubot> I know nothing about @where.
23:23:13 <mubot> I know nothing about ?nowhere.
23:23:17 <mubot> I know nothing about @where.
23:23:19 <mubot> I know nothing about ?nowhere.
23:23:25 <mubot> I know nothing about @where.
23:25:51 -!- sprocklem has joined.
23:26:17 <oerjan> i assume. hard to tell in that mess.
23:26:53 <olsner> looks like if lambdabot knew about @somewhere and mubot about ?nowhere, it would've worked more
23:26:59 <Bike> ok but for real why do we have all these bots
23:27:08 <elliott> we have lambdabot because lambdabot is great
23:27:10 <elliott> we have kappabot because of shachaf
23:27:12 <elliott> we have mubot because of me
23:27:21 <oerjan> see? easily explained.
23:27:21 <Bike> so, you and shachaf suck?
23:27:41 -!- nooga has quit (Read error: Connection reset by peer).
23:28:00 <kmc> nearing the omega point
23:28:47 -!- SirCmpwn has quit (Read error: Connection reset by peer).
23:28:56 <oerjan> kmc: hey, no skipping greek letters!
23:31:03 -!- nooga has joined.
23:31:10 -!- SirCmpwn has joined.
23:31:15 <Sgeo> @tell elliott hi
23:31:15 <mubot> Consider it noted.
23:31:26 <lambdabot> elliott: You have 1 new message. '/msg lambdabot @messages' to read it.
23:31:26 <kappabot> elliott: You have 1 new message. '/msg kappabot @messages' to read it.
23:31:32 <elliott> hmm, why did mubot not respond?
23:31:49 <elliott> shachaf: can you try @messages?
23:32:05 <elliott> 00:31:26 <mubot> You have 1 new message. '/msg mubot @messages' to read it.
23:32:09 <mubot> You can tell yourself!
23:32:09 * ion is tempted to @@ @echo @echo @echo @echo @echo, but he won’t.
23:32:13 <elliott> ion: can you @tell me something
23:32:24 <Sgeo> @tell elliott something
23:32:24 <mubot> Consider it noted.
23:32:27 <ion> @tell elliott The computer says no.
23:32:27 <mubot> Consider it noted.
23:32:27 <Bike> @tell elliott this is stupid
23:32:27 <mubot> Consider it noted.
23:32:30 <lambdabot> ion said 3s ago: The computer says no.
23:32:30 <kappabot> ion said 3s ago: The computer says no.
23:32:30 <kappabot> Bike said 3s ago: this is stupid
23:32:52 <Bike> right, i'm using memoserv from now on
23:34:24 <oerjan> lambdabot: @tell Bike you can restrict it to one bot hth
23:34:57 <ion> lambdabot: tell ion Is a redundant command prefix needed?
23:35:19 <Bike> what, not even @roll or something?
23:35:19 <lambdabot> Bike: You have 1 new message. '/msg lambdabot @messages' to read it.
23:35:23 <Bike> lambdabot: fuck yourself
23:35:31 <oerjan> elliott: um you want to have commands with no prefix?
23:35:43 <elliott> oerjan: this is in the default git lambdabot.
23:35:58 <elliott> looks like it only works when your entire message is a roll
23:36:10 <Bike> do people play D&D with lambda bot
23:36:10 <elliott> ok how do i get this fucking numberwang plugin to trigger
23:36:36 <mubot> Unknown command, try @list
23:37:26 <mubot> Spelling nazi engaged.
23:37:30 <mubot> Did you mean help, hep or Heep?
23:37:37 <elliott> wow, stupidest bot mode ever
23:37:39 <mubot> Did you mean lambda bot, lambda-bot, lambda, lambdas or lambda's?
23:37:44 <mubot> Did you mean kappa bot, kappa-bot, jabot, Cabot or kaput?
23:37:52 <Bike> i'm going to die.
23:37:59 <mubot> Did you mean numbering, numbing, Nibelung, numbness or Namibian?
23:37:59 <kappabot> Did you mean numbering, numberings or numbing?
23:37:59 <mubot> Did you mean numbering or lumbering's?
23:38:15 <elliott> as they say: don't be stupid / be a smarty / come on and join the nazi party.
23:38:17 <Bike> should i even ask why they're all distinct. or why mubot responded twice.
23:38:17 <mubot> Did you mean mu bot, mu-bot, Minot, bot or mot?
23:38:17 <kappabot> Did you mean mu bot, mu-bot, Minot, bot or mot?
23:38:22 <mubot> Did you mean Numbering or Lumbering's?
23:38:27 <Bike> Good job, mubot.
23:38:27 <mubot> Did you mean mu bot, mu-bot, Minot, bot or mot?
23:38:27 <kappabot> Did you mean mu bot, mu-bot, Minot, bot or mot?
23:38:34 <kappabot> Did you mean appellant, applicant, opalescent, adolescent or Appleseed?
23:38:36 <elliott> should leave these on forever
23:38:47 <Bike> I hate you. I hate life. I hate everything
23:38:48 <ion> nazi-on is channel-specific?
23:38:48 <mubot> Did you mean Nazi, Nazis, NZ, Nair or naif?
23:38:48 <kappabot> Did you mean Nazi, Nazis, Nani, Nari or Nazi's?
23:38:48 <mubot> Did you mean Nan, Mani, Bani, Nazi or Nan's?
23:38:52 <Bike> elliott: i hate you
23:38:53 <mubot> Did you mean Elliott, Elliot, Eliot, Elliott's or Elliot's?
23:38:53 <kappabot> Did you mean Elliott, Elliot, Eliot, Ellette or Elliott's?
23:38:53 <mubot> Did you mean Elliott, Elate, Elite, Elliot or Gillette?
23:38:57 <mubot> Spelling nazi disengaged.
23:39:16 <elliott> ion: it seems like actually no
23:39:20 <elliott> but also it seems like lambdabot didn't respond to any of it
23:39:33 <ion> Oh, indeed.
23:39:35 <mubot> You don't have any messages
23:39:35 <kappabot> You don't have any new messages.
23:39:46 <Sgeo> ) <'I feel lonely'
23:39:46 <jconn> Sgeo: +-------------+
23:39:46 <jconn> Sgeo: |I feel lonely|
23:39:46 <jconn> Sgeo: +-------------+
23:40:53 <ion> shachaf: Did you mean massages, messengers, messuages or missayings?
23:41:18 <Bike> let's see. clog, egobot, fungot, glogbot, glogbackup, HackEgo, jconn, kappabot, lambdabot, mubot. that's a lotta bots.
23:41:18 <fungot> Bike: are you in this house, god? i am: up next, we have a man who is a push-over. besides, their interiors are scaled for adults with problems! everybody likes bears, with post dessert?
23:41:30 <Bike> we're like 1/7 bots.
23:42:03 <ion> I wonder if bots will take over the channel from humans one day?
23:45:50 <ion> Someone should make lambdabot run newStdGen when mueval is invoked and pass the result as a pure value to the mueval environment. (I probably can’t be arsed even to install a local lambdabot instance, not to mention hacking on it.)
23:46:26 <elliott> ion: isn't access to quickcheck and OEIS enough for you?
23:48:22 <oerjan> Bike: hey onbotti and metasepia aren't here
23:48:40 -!- mubot has quit (Quit: requested).
23:49:18 -!- mubot has joined.
23:49:25 <oerjan> i wonder why it responds to the channel name
23:49:49 <Bike> it's a statement about ni hil ism
23:50:22 <oerjan> bestiality is the best, it's in the name
23:54:23 -!- nooga has quit (Ping timeout: 240 seconds).
23:58:00 -!- SirCmpwn has quit (Ping timeout: 252 seconds).
23:59:10 -!- SirCmpwn has joined.