00:02:30 -!- nooga has quit (Ping timeout: 264 seconds). 00:09:08 I seem to be slightly workaholic 00:09:23 Or... not 00:09:29 But I've been checking my work email repeatedly 00:10:06 -!- olsner has joined. 00:12:02 HELLO 00:12:09 no 00:18:27 -!- sprocklem has quit (Remote host closed the connection). 00:18:45 HELO 00:21:52 did kmc get a job at mozilla? 00:23:35 Searching Amazon Instant Video for whose line is it anyway finds me Two and a Half Men 00:23:41 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 olsner: yes 00:38:14 -!- Phantom__Hoover has joined. 00:40:56 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 00:44:18 Hmm, Mastermind is easier than I remembered. 00:47:14 Maybe if I read about liquid war strategy, I can beat the AI on medium difficulty 00:47:33 So far, the closest I came to winning, I couldn't stamp out the pocket of resistance that I surrounded 00:47:43 kmc: congratulations, I guess 00:47:47 http://www.gnu.org/software/liquidwar6/manual/html_node/Strategy-tips.html 00:47:59 This is the most helpful page ever! 00:48:08 thanks olsner 00:48:18 Sgeo: "you're on your own, motherfucker" 00:48:43 shachaf: is there a trick that makes it easy? 00:49:01 Not especially. 01:04:02 pikhq, is SennHeiser still your recommendation? 01:09:27 seen on youtube: the new world order has apparently made america into a virtual prism 01:13:19 -!- TeruFSX has quit (Quit: Leaving). 01:14:25 cool, cool 01:18:04 -!- carado has quit (Ping timeout: 256 seconds). 01:19:48 Sgeo: Yes. 01:20:11 Well, just ordered earbuds and headphones, so... 01:21:05 This will greatly enhance my MIDI listening experience! 01:21:50 Eh. It'll never be anything but MIDIocre. 01:22:43 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 MX missile 01:38:49 why are computer things so bad compared to what they could be 01:38:57 why is everything bad 01:39:04 things should be good 01:39:11 shachaf: because they're built by idiots 01:39:20 clearly 01:39:24 clearly. 01:39:32 the problems are easy, it's just that other people aren't as smart as me 01:39:37 good point 01:39:45 if i designed everything then i would get everything right the first time 01:39:59 yep 01:40:01 we need more people like kmc in the world 01:40:10 Visionaries. 01:40:51 also i would use C 01:40:57 or maybe we all just need to give kmc a bunch of money and have him solve all our problems............ 01:41:01 because I would not make any mistakes and that way it would be fast 01:41:02 also make him dictator of the world 01:42:37 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 Everyone make some mistakes, including you too. 02:07:18 i don't make mistakes 02:22:05 Are you sure? You forgot to capitalize "I" and add a full stop. 02:23:23 yes but it was on purpose, not forgetfulness 02:25:38 Guest98034: you have forgot to fix your nick hth 02:26:38 i'm trying to 02:26:55 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 i didn't know you had to part any, what kind of channels are that 02:36:10 I think you cannot change your name if you are on any channels that you cannot post messages on. 02:36:52 as if parting and rejoining is less noisy... 02:37:30 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 zzo38: I know, I was being sarcastic 02:40:58 I make many mistakes and I pick tools that help me catch mistakes before they can do damage 02:41:03 or at least I would like to. 02:42:20 unfortunately you made the mistake of mistakenly picking tools? 02:48:44 your first mistake was making your second mistake 02:49:00 deep. 02:51:26 `addquote your first mistake was making your second mistake 02:51:33 1049) your first mistake was making your second mistake 02:52:21 that's a lotta quotes 02:52:22 `quote 1024 02:52:24 1024) i would visit elliott but i'm vegetarian 02:52:30 hmm 02:52:58 `quote 1037 02:53:00 1037) the real GNU kernel is GRUB 02:53:38 `quote 512 02:53:39 512) Isn't "strip nomic" just another word for all dating, though? 02:54:33 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 Strip... nomic? 02:55:05 Saying "JIT" a lot 02:55:36 Honestly sounds lame. 02:55:42 also static analysis isn't that hard. as long as you remove environment mutability. who needs that anyway 02:55:50 Static analysis is not just about performance. 02:56:07 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 imo write a correctness jit hth 02:58:24 `quote 256 02:58:26 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 shachaf: sounds like a plan 02:58:46 Recursive JITting? 02:58:52 can't tell you this code is correct until you run it 02:58:53 hth 02:59:02 it tells you that your code is broken just in time 02:59:03 sgtm 02:59:04 hth 02:59:10 hand 03:01:02 Sgeo: i don't claim Kernel is practical 03:01:09 i like it for aesthetic and theoretical reasons 03:01:22 rage. 03:01:24 i like all kinds of languages for different, even contradictory reasons 03:01:49 what about php 03:01:54 do you draw the line at self-contradictory reasons 03:01:57 i'd really like to make kernel practical. the dream 03:02:04 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 shachaf: so easy 03:02:35 i don't think a person has been consistent in the entirety of history so like, whatever, man, right? 03:03:02 actually people don't really have propositional beliefs anyway. imo anarchy in the hippocampus 03:03:28 Bike: has anyone really been far even as decided to use even go want to do look more like? 03:03:39 kmc: yes 03:03:45 yeah that's obviously true. 03:06:58 I also like different kind of language for different reasons, although some have some stupid stuff (including PHP). 03:07:30 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 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 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 yeah i "learned" C++ in a similar fashion 03:08:19 (my words are completely incoherent because I just woke up from a 3 hour nap) 03:08:27 throur 03:08:27 I'd ask my dad who threw me into the whole thing 03:08:30 but I doubt he'd remember 03:08:57 I think the first language I wrote anything in was either C or Logo. 03:09:03 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 the first language i wrote in was TI-82 BASIC 03:09:19 * shachaf ⋘³ logo hth 03:09:32 that is an absurd emoticon sir 03:10:03 good think i can't see it 03:10:07 the first actual programming class I took was in C++ and they gave us a lot of bad advice 03:10:25 kmc: could've been worse. could've been in c/c++ 03:10:28 I think the first one I was in was java 03:10:38 i did basically the same curriculum in Java the next year 03:10:50 ⋘₃ -- is that better? 03:10:52 It looks better here. 03:12:06 the first class i took was vb i think, then delphi, then java, then c 03:12:21 um 03:12:25 i forget delphi 03:12:30 how can you take a class in a language if it's not object-oriented 03:12:34 checkmate 03:12:40 shut up >: 03:13:03 Rust taking up the C niche doesn't imply unsuitability for application dev, right? 03:13:35 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 my high school was not object-oriented but i still graduated 5th in my class stalemate bitches 03:13:54 kmc: it's kind of amazing though like how where you start affects things 03:14:04 Sgeo: that seems logically correct yes 03:14:06 like I knew a classmate in college who started with scheme I think 03:14:17 Sgeo: it's pretty hard to draw a line between 'application' and 'systems' anyway 03:14:20 scheme is p okay 03:14:28 i started with c++ so: am i doomed 03:14:31 browsers definitely started as humdrum applications software and gradually became systems software 03:14:34 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 and there was no one single point where the switch happened 03:14:44 for a language used in a class i mean 03:14:45 for Rust it's mainly about caring about latency a lot 03:14:48 Bike: you started in c++ because you are doomed not the other way around hth 03:14:51 users get pissed off when their browser lags 03:14:58 shachaf: how sensible. 03:15:03 but for him the functional programming and logic stuff was amazingly easy, while he was like fiora please teach me c 03:15:28 *nod* 03:15:35 kmc: Well, there is a lot of software that you don't want to be lags 03:15:38 i took an x86 assembly class pretty early on 03:15:40 (16-bit!) 03:15:43 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 that was cool 03:15:59 eh grades aren't that strongly correlated with intelligence 03:16:01 functional programming (whatever that is) makes a lot more sense than c imo hth 03:16:07 i know a lot of smart people who got shitty grades for this or that reason 03:16:13 (also he was really cute, erm, I mean, <.<) 03:16:23 "you shoulda seen the cat ears on 'im" 03:16:44 kmc: well I failed one module (= 1/48 of my course) at university 03:16:54 although my other grades were high enough that I still got a first class degree 03:16:57 Bike: not like thaaat 03:17:01 also he was totally taken 03:17:07 vulpine ears huh 03:17:09 i know the type 03:17:19 BIKE 03:17:25 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 you're on the mark though, foxes are pretty cute as a rule 03:17:36 those are some strange grades 03:17:43 (The other class I got NM in was homeroom class.) 03:17:52 those are weird grades 03:17:57 i got some pretty strange grades back when i got grades 03:18:03 we had... A, B, C, D, F, F*, P, E, I, W and some others 03:18:07 can't you just be failed like a normal person (me <--) 03:18:14 ' ' aka 'TA failed to submit grades on time' 03:18:23 kmc: What does F* mean? 03:18:34 zero or more Fs hth 03:18:45 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 at Caltech a lot of people got bad grades due to massive undiagnosed ADHD 03:20:06 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 I actually liked the np-completeness proofs, even 03:20:31 np completeness proofs are great 03:20:40 was that part of Algorithms for you? 03:20:44 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 man my algorithms class was all sorts, jerk 03:20:57 yeah, there was also a higher level course, like, a complexity theory class that was like Jedi Algorithms 03:21:02 I didn't take that one though 03:21:02 :) 03:21:12 our algorithms was um... 03:21:15 i took a higher level complexity theory class that had very little to do with useful algorithms 03:21:18 i should actually read my kolmogorov book 03:21:24 i didn't take the higher level algo class because it sounded scary as hell 03:21:26 i should take an algorithms class and complexity theory class and other things 03:21:30 big O, interesting stuff like "how do you actually prove the nlogn bound on sorts", np completeness, turing machines, computability 03:21:32 or maybe read books on the topic 03:21:41 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 so it was kinda a lot of algorithms analysis type stuff? 03:21:45 and graph theory and things 03:21:49 ok 03:21:55 kmc: that's the scary class? more like the great class 03:22:07 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 man can you imagine actually being good at math 03:22:24 that would be pretty cool i think 03:22:30 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 and for some strange reason everyone in class 03:22:36 was always awake 03:22:44 heh. 03:24:08 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 chocolate covered coffee beans are serious business 03:24:30 it's easy to eat a whole lot of them............ 03:24:35 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 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 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 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 "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 -- a character in The Eternal Flame 03:52:30 Is that a sciencee fiction novel 03:52:49 Yes. It's part of the Orthogonality trilogy by Greg Egan 03:52:55 What machine is it? 03:53:13 They're talking about a small spaceship, and that it has a repair crew 04:27:17 `pastequotes shachaf 04:27:24 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 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 Are there any untyped non-strict languages for learning? 05:10:04 [eliding pointless argument about what 'untyped' means] 05:10:07 lazy racket, maybe? 05:10:44 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 What should I say instead of "untyped" so that there's no pointless argument? 05:11:14 probably nothing, pointless arguments are a fact of life 05:11:21 OK. 05:11:26 but i elided it! 05:11:28 so it's fine 05:11:40 Yes, but did you elide the metaärgument about pointless arguments? 05:11:44 I didn't actually object to your use of "untyped" 05:11:51 shachaf: I am not that powerful yet 05:12:01 Anyway I think in the places where it matters non-strictness is more sensible. 05:12:13 E.g. in the obligatory chapter about deriving Y. 05:14:43 *nod* 05:15:04 -!- asdfasd has joined. 05:15:35 a language is just conventions for maximum convenience 05:15:43 *gdi* 05:16:13 Anyway I think in places where it matters, strictness makes things way more complicated. 05:16:20 And in the places where it doesn't matter, it doesn't matter. 05:16:28 `relcome asdfasd 05:16:31 ​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 kmc: what happened to celebrating craftsmanship 05:16:53 what about it 05:17:28 minimalism etc. 05:17:50 kmc: Should I drop some punctuation to get more minimalistic writing? 05:17:58 I've started dropping the comma after "i.e." and "e.g." 05:18:13 mm 05:18:16 a fine choice 05:18:20 Should I drop the .s too, and decide that they're words of their own? 05:18:26 Also on "etc.", etc. 05:18:39 The . after etc is really annoying because you can't end a sentence with it very well. 05:18:51 yes 05:19:29 i,e. = id est = that is something, wouldn't make sense a comma separating subject from verb 05:20:07 I don't think commas work the same way in Latin. 05:22:25 -!- mnoqy has joined. 05:35:10 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 "Study: Spice Acts Like Insulin, Eradicates Diabetes" 06:32:55 I didn't know insulin works by eradicating diabetes! 06:33:32 :) 06:33:55 : ) 06:34:41 yes 06:40:13 -!- GOMADWarrior has quit (Ping timeout: 250 seconds). 07:02:49 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:57 `run head -n1 bin/olist 09:53:58 echo -n "$(basename "$0") $@: "; tail -n+2 "$0" | xargs; exit 09:54:15 `run sed -i '1s/ \$/${$@:+ }$/' bin/olist 09:54:18 No output. 09:54:29 "whoopse" 09:55:24 -!- epicmonkey has joined. 09:55:36 `run sed -i 's/@/1/g' bin/olist 09:55:39 No output. 09:55:57 Oh, right. 09:56:15 Though I don't quite understand this error... 09:56:28 `olist fake, sorry, this is just kind of odd 09:56:30 ​/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:34 `help 09:56:35 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 09:56:45 What are all those As? 09:57:13 How do you revert back two revisions? 09:58:13 Oh, I get it. 09:58:26 @slap oerjan 09:58:26 * lambdabot hits oerjan with a hammer, so they breaks into a thousand pieces 09:58:26 *SMACK*, *SLAM*, take that oerjan! 09:59:05 Maybe... 09:59:08 `revert 3075 09:59:10 Done. 09:59:45 `run sed -i '1s/ \$/${@:+ }$/' bin/olist 09:59:48 No output. 10:00:00 OK, that's good. 10:00:46 Wait a minute... 10:00:53 esoteric/2013-02-06.txt:03:27:53: `run echo AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA > bin/oerjan; chmod +x bin/oerjan 10:01:01 @slap shachaf 10:01:02 go slap shachaf yourself 10:01:02 * kappabot jabs shachaf with a C pointer 10:01:15 lambdabot: maybe i will 10:01:24 -!- carado has joined. 10:01:25 oerjan: Sorry for the inconvenience. 10:01:48 And possible disappointment over olist. 10:01:51 olist, more like nolist 10:02:04 `? oerjan 10:02:06 Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian who hates Roald Dahl. 10:11:15 http://en.wikibooks.org/wiki/False_Friends_of_the_Slavist 10:11:24 i like how sinister that name sounds 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 kmc: An advantage my new /hilight is that when people spell my name "schachaf" or some such I still get highlighted. 10:29:11 shachaf: did you use a regex 10:29:21 chaf\b 10:29:29 hichaf 10:29:35 hoooooooodl 10:36:29 so what if i start talking about chaff 10:36:45 what if you do 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 "box" is just a lie, though. It's concrete, but it's the wrong thing. 11:32:19 It only confuses people -- and sometimes it confuses them for months or years. They think they understand but they don't. 11:32:30 I guess this is the wrong channel. 11:33:36 if the box you talk about is your matrix of solidity, this is the right channel 11:34:55 olsner: shachaf: what if i think of a box as a value continuum? 11:35:06 I think it might be the right channel... 11:36:03 what if I think of the box as an astral plane? 11:36:09 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 kmc: mosh basically implements a full terminal emulator from scratch, right? 12:19:01 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 mosh's unicode support is broken hth :'( 12:24:31 more or less broken than the alternatives? 12:25:06 The obvious alternatives in my case are ssh shachaf.net and mosh shachaf.net 12:25:11 With ssh it works. 12:25:20 (These work very differently, of course.) 12:26:05 moshachaf vs sshachaf 12:41:37 -!- Taneb has quit (Ping timeout: 276 seconds). 12:48:13 shachaf: do you think the metaphor is still useful as an introduction to functors (was the box thing about functors) 12:51:37 No, boxes are less than useless. 12:51:42 Well, the box metaphor. 12:51:46 Boxes are useful. 12:52:08 yes imo putting things in physical boxes is great 12:53:04 anyway how'd you explain functors without boxes... maybe just, they're a way of adding a "context" to a value? 12:53:30 "a value"? 12:53:51 For most functors f, a value of type f a doesn't contain any value of type a at all. 12:53:56 Or it might contain multiple ones. 12:54:03 Or it might ... 12:54:33 maybe s/value/type/ 12:54:54 -!- Taneb has joined. 12:55:58 I don't know what "context" means but I bet it's at least as complicated as "Functor" 12:58:56 functors are too vague to explain imo 13:00:00 imo the concept of covariance and contravariance is important hth 13:00:20 and i still haven't read enough about category theory to be able to explain haskell Functors in term of that 13:00:37 afaict Functors are endofunctors in Hask 13:00:57 (and thehyre all covariant???) 13:00:59 Functor represents Hask-* -> Hask-* (Hask-* terminology stolen from McBride so he doesn't eat me) 13:01:02 I,I as far as i category theory Functors are endofunctors in Hask 13:01:07 Contravariant is Hask-*^op -> Hask-* 13:01:28 Invariant is Hask-* x Hask-*^op -> Hask-* 13:01:30 what' Hask-* 13:01:36 s 13:01:36 what you called Hask 13:01:45 what's Hask 13:02:31 ob(Hask) = the set of Haskell types; hom_Hask(A,B) = the set of Haskell functions A -> B 13:02:43 it isn't actually a category for stupid reasons IIRC but it's close enough 13:02:54 nooodl, well the thing is that you can't have a true functor in what you usually think of in Hask 13:02:57 it's for _|_ reasons right 13:03:00 no 13:03:16 nooodl: yes 13:03:22 it's because if you have some functor f, then applying it to a type results in f a 13:03:24 you have to violate either left or right identity I think 13:03:27 probably bottom as well 13:03:29 Phantom_Hoover: you are saying incorrect things 13:03:32 but the thing i said counts too! 13:03:42 no 13:03:47 level error 13:04:00 dammit 13:04:16 what you're saying is that you can't fully model all Hask-* -> Hask-* functors as a Haskell typeclass 13:04:31 probably this is what i am saying 13:04:31 which is true I think 13:04:38 if only because you can do undecidable stuff 13:05:02 what's the difference between Hask and Hask-*, is what i'm wondering atm 13:05:04 well, it's definitely true without type families at least 13:05:16 nooodl: the difference is that conor mcbride hates people who say Hask 13:06:46 :(((( 13:10:09 hom_Hask^op(A,B) = the set of Haskell functions B -> A, right? 13:10:44 yes 13:12:09 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 > text "λ" 13:34:52 mueval: recoverEncode: invalid argument (invalid character) 13:34:53 λ 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 http://www.guardian.co.uk/lifeandstyle/2006/may/20/weekend.jonronson ronson, the GLORIOUS RETURN 13:51:47 meanwhile: wow ender's game is even more horrible than i'd realised 14:01:41 http://www.guardian.co.uk/lifeandstyle/2006/may/27/weekend.jonronson 14:01:48 i can't add to that one 14:04:01 but what do the croutons say about *you*, Phantom_Hoover? 14:04:23 Phantom_Hoover: this guy needs a knighthood 14:04:26 and a sainthood 14:04:46 -!- Taneb has joined. 14:05:06 i don't think you can get a sainthood if you're jewish 14:05:15 also i don't think you can get a knighthood if you're welsh 14:06:21 Phantom_Hoover: these injustices, too, must fall 14:07:04 if you're welsh maybe you can get an urdd marchog instead 14:07:26 maybe you can get a nddrylliog 14:09:23 -!- Taneb has quit (Ping timeout: 240 seconds). 14:12:54 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 i know nothing about ireland, help 14:15:48 paisley was one of the leading unionists during the troubles 14:15:57 and later first minister after the good friday agreement 14:17:01 i don't even know what the whole unionist thing is about, i'm so terrible 14:18:15 seriously 14:18:45 the unionists are the pro-uk, broadly protestant ones 14:19:02 the republicans are the pro-republic, broadly catholic ones 14:19:19 which of them were the terrorists? 14:19:23 both 14:19:33 omg complicated 14:20:54 -!- oerjan has joined. 14:21:41 -!- Taneb has joined. 14:22:59 there weren't as many bombings etc. from the unionist paramilitaries though, i don't particularly know why that was 14:24:54 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 working for a union formed of mutual bombing and respect 14:25:38 the unionist paramilitaries were (officially) illegal as well 14:25:41 * oerjan assumes this is about NI, otherwise disregard 14:25:44 since when do governments shy away from using violence 14:25:58 though there was collusion between them and the security forces to some controversial degree 14:25:59 elliott: they shy away from _others_ using violence. 14:27:03 it's that whole "monopoly on violence" thing. 14:28:56 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 http://www.guardian.co.uk/lifeandstyle/2006/jun/03/weekend.jonronson oh my god 14:32:45 are you still on that thing, maybe i should look at one of those links 14:33:13 they are very good 14:33:20 ideally logread and click all of them 14:33:26 does anyone know about bind mounts btw? 14:33:27 maybe olsner 14:34:11 -!- Taneb has joined. 14:35:35 I have used those yes... what about them? 14:36:30 olsner: why does bind mounting a file require the target path to exist 14:37:07 dunno 14:37:33 thanks. you're useless 14:37:34 :'( 14:41:02 http://en.wikipedia.org/wiki/Northern_Ireland_Civil_Rights_Association 14:41:18 i like how their goals just have "and nuclear disarmament" tacked on at the end 14:41:43 "yeah sure that sounds like a good idea" 14:44:24 -!- zzo38 has joined. 14:52:16 -!- ais523 has quit. 14:53:16 -!- coppro_ has changed nick to coppro. 14:58:58 http://www.guardian.co.uk/lifeandstyle/2006/jun/10/weekend.jonronson 15:01:21 wait has it always said "Out of ordinary" 15:01:25 i swear there was a "the" there 15:01:41 -!- nooodl has quit (Remote host closed the connection). 15:02:50 it oscillates 15:04:26 aww, iain banks died 15:04:31 indeed it does 15:04:54 Phantom_Hoover: oh jeez, already? 15:05:31 the aliens got him 15:06:11 wow, that was fast ._. 15:06:17 He announced he had cancer just 2 months ago... 15:06:22 Phantom_Hoover: do you have a citation, all i see is uncited on WP? 15:06:29 and no relevant news results, so maybe it is just vandalism 15:06:33 the citation is charles tross tweeting so 15:06:37 *charles stross 15:06:38 https://twitter.com/cstross/status/343740022924648448 15:07:02 sucks :( 15:07:12 * elliott should really get around to reading the Culture books 15:08:09 he was one of my favorite authors too... 15:08:53 i loved his books 15:09:14 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 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 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 "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 http://typophile.com/node/12422 16:34:49 intelll why do you release manuals that use terminology that you never define in the manual ._. 16:36:51 Fiora: I don't know! 16:37:02 -!- Taneb has joined. 16:37:13 are you intel? <.< 16:37:17 Fiora: you're supposed to already know that stuff obviously 16:37:53 -!- nooodl has quit (Ping timeout: 248 seconds). 16:38:03 No, but maybe someone else might know or don't know, too. 16:40:17 they have a table showing the delays and stuff between different units on the chip and have labels like 16:40:44 INT, SSE-INT/AVX-INT, SSE-FP/AVX-FP_LOW, X87/AVX-FP_HIGH 16:40:57 they never define FP_LOW or FP_HIGH anywhere unless I am really bad at searching which I might be 16:41:06 zzo38 is Intel. in fact, zzo38 is AMD too. zzo38 is Barack Obama. 16:43:20 I am pretty sure that I am not those things. 16:43:29 I stand corrected 16:43:46 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:43:55 oh 16:44:00 I guess that's (Single-FP) High 16:44:05 rather than Single - (FP High) 16:44:08 so just coincidence 16:44:13 I think it's the optimization reference manual 16:44:34 it has tables of functional units and dispatch ports and execution stacks and stuff 16:45:11 maybe FP_low does bits 0-127 and FP_high takes bits 128-255 16:45:43 elliott: that's a different thing 16:45:54 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 they steal all the google results ^^; 16:46:34 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 I guess... maybe they're like in different places on the chip... 16:47:59 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 hmm, I think the english is not as good in this manual as in the other ones 16:58:05 the new one with the haswell stuff? 16:58:07 -!- Taneb has quit (Ping timeout: 264 seconds). 16:58:33 I guess it's probably kinda draft-ish, it feels really less detailed than the sections on previous cpus 16:58:40 actually, this one stops at Sandy Bridge, so I might have an older version 16:59:01 -!- Taneb has joined. 16:59:20 http://download.intel.com/products/processor/manual/325383.pdf I think this is it? 16:59:24 oops, no 16:59:27 `quote domain name 16:59:29 984) ok im sober now and DNS makes sense again [...] Domain Name System [...] ♫ domain name system ♫ 16:59:30 (nefarious purposes.) 16:59:57 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 the nice thing about running long compilations on your server is that you don't hear the desperate howl of the fans 17:00:52 You mean the bad thing 17:00:59 some things are really weird. like, vpblendd has inverse throughput 0.33 but none of the other blends do (o_O) 17:01:08 and they made round 2x slower I mean not that I use it but... 17:01:21 Deewiant: no way. it's like I have infinite power and it's not even breaking a sweat! 17:01:34 admittedly, I get less feedback about when it's done 17:02:43 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 Now you can see how long the program is: http://esolangs.org/wiki/Deadfish#Unofficial_MagicKit_Assembler 17:14:22 um. 17:14:34 a steam-powered road vehicle just passed by my window. 17:15:14 it had a big chimney and all. 17:15:23 horseless carriages have finally reached hexham? 17:15:50 olsner: I swear to god, there is a car store called "Hexham Horseless Carriages" 17:16:01 it probably dates back to when horses still existed. 17:17:11 I think horses do still exist, although not necessarily in Hexham. 17:18:26 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 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:19:57 beautiul. 17:20:11 is there a stereotype about french drivers 17:20:29 does it just subsume into the greater whole of french terribleness 17:26:44 found this: http://satwcomic.com/driving 17:31:05 I can confirm Hexham Horseless Carriages is a shop that exists 17:31:16 Also, there's a steam rally in Corbridge or something 17:32:16 http://www.tvr-hhc.co.uk/ they have a website. hell yes 17:32:33 lol established in 1996 17:32:39 what? 17:32:56 why woud they name it that then? 17:33:12 it's, like, posh. 17:33:33 rich people don't know the word "car" 17:33:35 -!- oerjan has joined. 17:33:43 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:40 `WeLcOmE BillyZane 17:49:43 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 `emoclew I think we had this one 17:51:23 ​(.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 does anyone mind if I bring another lambdabot in here? 17:57:40 for testing. 17:58:19 I nominate oerjan to answer. 17:58:25 -!- quintopia has quit (Ping timeout: 248 seconds). 17:58:27 @id The more the merrier! 17:58:27 The more the merrier! 17:58:27 The more the merrier! 17:58:33 oh, we already have two 17:58:46 -!- mubot has joined. 17:58:53 mubot: @run 123 17:58:54 123 17:58:57 mubot: @run () 1 17:58:58 Couldn't match expected type `a0 -> t0' with actual type `()' 17:59:02 mubot: @run myquickcheck 17:59:03 No instance for (Test.QuickCheck.Property.Testable prop0) 17:59:03 arising from a... 17:59:08 mubot: @run id 17:59:08 No instance for (GHC.Show.Show (a0 -> a0)) 17:59:09 arising from a use of `M19171... 17:59:11 so far so good 17:59:11 > id 17:59:12 No instance for (GHC.Show.Show (a0 -> a0)) 17:59:12 arising from a use of `M95925... 17:59:13 *Exception: show: No overloading for function 17:59:14 {()->()} 17:59:17 nice 17:59:25 @check True 17:59:25 unrecognized option `--loadfile=' 17:59:26 Usage: mueval [OPTION...] --expression E... 17:59:27 Not in scope: `myquickcheck' 17:59:28 +++ OK, passed 1 tests. 17:59:31 I win!!! 18:00:02 > 'λ' 18:00:02 mueval: recoverEncode: invalid argument (invalid character) 18:00:04 '\955' 18:00:13 oh right 18:00:15 @run 'λ' 18:00:16 Plugin `eval' failed with: mueval: recoverEncode: invalid argument (invalid character) 18:00:16 mueval: recoverEncode: invalid argument (invalid character) 18:00:17 '\955' 18:00:20 nooo!! 18:00:22 ok. i shall fix 18:00:36 mubot: @quit 18:00:36 -!- mubot has quit (Client Quit). 18:00:53 surprisingly different, those bots 18:01:04 > print 18:01:05 No instance for (GHC.Show.Show (GHC.Types.IO ())) 18:01:05 *Exception: show: No overloading for function 18:01:05 arising from a use of ... 18:01:11 -!- mubot has joined. 18:01:16 @run 'λ' 18:01:16 mueval: recoverEncode: invalid argument (invalid character) 18:01:17 '\955' 18:01:17 '\955' 18:01:19 :) 18:01:35 @run x 18:01:35 Not in scope: `x' 18:01:36 x 18:01:36 x 18:01:38 lambdabot: you are _so_ out of date! 18:01:56 oerjan: the order is lambdabot < kappabot < mubot in terms of age of code, I think. 18:02:02 mubot is based on the fancy new split-up git lambdabot. 18:02:08 (this means I had to patch it to get it to work.) 18:02:16 shachaf: hi, I am interested in your Pristine.hs 18:02:24 @run 1 18:02:25 @run 1 18:02:25 @run 1 18:02:25 @run 1 18:02:25 1 18:02:26 1 18:02:26 1 18:02:26 1 18:02:26 1 18:02:27 1 18:02:27 1 18:02:27 1 18:02:27 1 18:02:28 1 18:02:28 1 18:02:29 1 18:02:31 not enough of a race condition. 18:02:32 oh well 18:02:38 @seen elliott 18:02:38 You are in #esoteric.. 18:02:38 Unknown command, try @list 18:02:39 Unknown command, try @list 18:02:43 @seen oerjan 18:02:43 oerjan is in #esoteric.. 18:02:43 Unknown command, try @list 18:02:43 Unknown command, try @list 18:02:48 oerjan: can you part hth 18:02:56 >_> 18:02:57 or do I mean twh 18:03:13 -!- oerjan has left. 18:03:19 @seen oerjan 18:03:19 I saw oerjan leaving #esoteric 6s ago. 18:03:19 Unknown command, try @list 18:03:19 Unknown command, try @list 18:03:22 m etoo 18:03:24 @tell oerjan u suck 18:03:24 Consider it noted. 18:03:24 Consider it noted. 18:03:24 Consider it noted. 18:03:29 <3 18:03:40 -!- oerjan has joined. 18:03:50 @clear-messages 18:03:50 Messages cleared. 18:03:50 Messages cleared. 18:03:51 Messages cleared. 18:03:51 oerjan: you have mail hth 18:03:59 also 18:04:00 @list 18:04:00 What module? Try @listmodules for some ideas. 18:04:00 http://code.haskell.org/lambdabot/COMMANDS 18:04:00 http://code.haskell.org/lambdabot/COMMANDS 18:04:02 @listmodules 18:04:02 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 source spell system tell ticker todo topic type undo unlambda unmtl url version vixen where 18:04:02 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 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 slap source spell state system tell ticker todo topic type undo unlambda unmtl version where 18:04:03 slap source spell state system tell ticker todo topic type undo unlambda unmtl version vixen where 18:04:06 mubot: @listmodules 18:04:06 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 source spell system tell ticker todo topic type undo unlambda unmtl url version vixen where 18:04:13 oh, I should remove vixen 18:04:15 Can you add a SQL extension into the wiki? For example if you have a article named "forty-two" and then you can write CREATE TABLE "forty-two" ("X" INTEGER, "Y" TEXT); and on other pages you can INSERT INTO "forty-two" and SELECT ... FROM "forty-two". 18:04:21 but I'd have to recompile. 18:04:26 also @djinn is broken on mine :( 18:04:28 @djinn a -> a 18:04:28 Djinn command failed: fd:10: hClose: resource vanished (Broken pipe) 18:04:28 f a = a 18:04:28 No output from Djinn; installed? 18:04:33 hm 18:04:47 mubot: @quit 18:04:47 -!- mubot has quit (Client Quit). 18:04:50 And then to make SELECT ... in order to call a template with the results of a SELECT query. 18:08:28 -!- quintopia has joined. 18:10:08 hm 18:10:21 oh 18:10:38 -!- mubot has joined. 18:10:41 mubot: @botsnack 18:10:41 :) 18:10:43 mubot: @djinn a -> a 18:10:43 f a = a 18:10:49 mubot: @listmodules 18:10:49 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 source spell system tell ticker todo topic type undo unlambda unmtl url version where 18:11:04 mubot: @spell haeprj 18:11:05 heparin PRC hepatic paprika heroic 18:11:09 mubot: @spell frend 18:11:09 Friend fr end fr-end friend frond 18:11:11 yes 18:11:14 mubot: @quote 18:11:14 No quotes yet. 18:11:22 mubot: @pl \xs ys -> xs ++ ys 18:11:22 (++) 18:11:28 mubot: @src (++) 18:11:28 [] ++ ys = ys 18:11:28 (x:xs) ++ ys = x : (xs ++ ys) 18:11:28 -- OR 18:11:28 xs ++ ys = foldr (:) ys xs 18:11:34 mubot: @wn test 18:11:35 *** "test" wn "WordNet (r) 3.0 (2006)" 18:11:35 test 18:11:36 n 1: trying something to find out about it; "a sample for ten 18:11:36 days free trial"; "a trial of progesterone failed to 18:11:36 relieve the pain" [syn: {trial}, {trial run}, {test}, 18:11:38 [31 @more lines] 18:11:47 mubot: @oeis 1, 2, 3, 4 18:11:56 uh oh 18:11:57 The natural numbers. Also called the whole numbers, the counting numbers or ... 18:11:59 oh good 18:12:10 mubot: @let x = 123 18:12:11 Defined. 18:12:14 mubot: @type x 18:12:14 Integer 18:12:18 oerjan: isn't it great?? 18:13:18 oerjan: I assign you to figure out more ways to test it, hth. 18:13:24 for instance you could check that @check works properly! 18:15:17 hi mubot 18:15:21 > 1 18:15:22 1 18:15:23 1 18:15:23 1 18:15:32 mubot: @run text "λ" 18:15:32 λ 18:15:50 huh, it responds to > now? 18:15:57 :t 'λ' 18:15:57 fd:9: commitBuffer: invalid argument (invalid character) 18:15:57 lexical error at character '\187' 18:15:59 lexical error at character '\187' 18:16:07 oh, I guess > is just broken in /msg 18:16:09 o well 18:17:22 i think :t and :k used to be broken in /msg too 18:18:13 @check \x y -> x+y == y+x 18:18:13 unrecognized option `--loadfile=' 18:18:13 Usage: mueval [OPTION...] --expression E... 18:18:13 No instance for (Test.QuickCheck.Arbitrary.Arbitrary a0) 18:18:13 arising from a ... 18:18:14 Not in scope: `myquickcheck' 18:18:31 @check \x y -> x+y == y+(x::Int) 18:18:32 unrecognized option `--loadfile=' 18:18:32 Usage: mueval [OPTION...] --expression E... 18:18:33 Not in scope: `myquickcheck' 18:18:34 +++ OK, passed 100 tests. 18:18:39 botsplosion 18:18:59 kappabot: @run myquickcheck 18:19:00 Ambiguous type variable `prop0' in the constraints: 18:19:01 (GHC.Show.Show prop0... 18:19:08 shachaf: ^ kappabot's @run is impure 18:19:09 awesome 18:19:29 Does anyone actually play Liquid War online? 18:19:56 kappabot: @run print "hi" 18:19:57 No instance for (GHC.Show.Show (GHC.Types.IO ())) 18:19:57 arising from a use of ... 18:20:52 Sgeo: absolutely no one hth 18:21:09 :( 18:21:20 Because I would try to get Liquid War 6 working if it meant I could play against people 18:21:31 And be crushed even worse than the medium strength AI crushes me 18:21:41 (disclaimer: previous answer pulled from thin air.) 18:22:12 to be crushed like no one has been crushed before 18:27:05 I'll try to get LW6 woking 18:27:06 woking 18:27:08 working 18:29:29 imo we need some more greek letter bots 18:30:19 > Mu 3 18:30:20 Not in scope: data constructor `Mu' 18:30:20 Not in scope: data constructor `Mu' 18:30:20 Not in scope: data constructor `Mu' 18:30:21 Perhaps you meant `MR' (imported from ... 18:30:22 > Mu Nothing 18:30:23 Not in scope: data constructor `Mu' 18:30:23 Not in scope: data constructor `Mu' 18:30:23 Not in scope: data constructor `Mu' 18:30:23 Perhaps you meant `MR' (imported from ... 18:30:32 > In Nothing 18:30:32 No instance for (GHC.Show.Show 18:30:33 (Lambdabot.Plugin.Haskel... 18:30:34 In Nothing 18:30:34 In Nothing 18:31:38 -!- sacje has joined. 18:31:39 kappabot: @help nick 18:31:39 help . Ask for help for . Try 'list' for all commands 18:31:43 Aw. 18:31:56 kappabot: @nick deltabot 18:31:57 Maybe you meant: dice dict 18:32:16 Sounds like I've been deltabot with some missing functionality. 18:49:41 -!- Phantom_Hoover has joined. 18:50:10 http://thelede.blogs.nytimes.com/2013/06/05/civil-disobedience-on-a-turkish-game-show/ 18:50:10 Title: Civil Disobedience on a Turkish Game Show - NYTimes.com, http://tinyurl.com/meafb9f 18:50:21 mubot: help. 18:50:31 shachaf: How did you disable that in kappabot? 18:50:36 I know goodfellow has it 18:50:53 I disabled it by doing nothing. hth 18:51:26 no url title things here huh 18:52:39 no because they're annoying 18:52:41 no url title things here 18:53:57 i will track down what is doing it 18:55:09 mubot: @quit 18:55:09 -!- mubot has quit (Quit: requested). 18:56:01 @url-on 18:56:01 Unknown command, try @list 18:56:02 Unknown command, try @list 18:56:03 ok. 18:56:23 "HaskellIrcPastePage", -- Ignore paste page 18:56:23 "title of that page", -- Ignore others like the old me 18:56:27 this plugin is lol 18:57:56 I wonder if I can fix :t not working with Unicode 18:58:15 -!- nooodl has joined. 18:58:25 -- Rather than use subRegex, which is new to 6.4, we can remove comments 18:58:26 -- old skool style. 18:58:51 shachaf: do you have any idea why :t fails at unicode 18:59:02 kappabot: @type 'λ' 18:59:03 lexical error at character '\187' 18:59:20 because it goes via completely different mechanism from > 18:59:33 :t '\187' 18:59:35 Char 18:59:35 Char 18:59:47 @type '\187' 18:59:48 Char 18:59:48 Char 19:00:16 -!- Taneb has joined. 19:01:20 @numberwang 3 19:01:20 Unknown command, try @list 19:01:20 Unknown command, try @list 19:09:02 -!- mubot has joined. 19:09:08 http://google.com/ 19:09:10 good 19:10:25 shachaf: challenge: figure out why mubot's username is what it is 19:11:13 is it because mu is on the other side of lambda 19:11:28 no 19:11:31 I mean the *username* 19:11:32 not the nickname 19:11:48 Oh. 19:15:26 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:04 > text "a\rb" 19:16:04 ab 19:16:05 ab 19:16:05 ab 19:16:09 @@ @text "a\rb" 19:16:10 Plugin `compose' failed with: Unknown command: "text" 19:16:10 Plugin `compose' failed with: Unknown command: "text" 19:16:10 Plugin `compose' failed with: Unknown command: "text" 19:16:13 @@ @run text "a\rb" 19:16:14 ab 19:16:15 ab 19:16:15 ab 19:16:21 @@ @type (@run text "a\rb") 19:16:22 Not in scope: `a' 19:16:22 Not in scope: `b' 19:16:23 The function `a' is applied to one argument, 19:16:23 The function `a' is applied to one argument, 19:16:23 but its type `Expr' has none 19:16:23 In the expression: a b 19:16:23 but its type `Expr' has none 19:16:23 In the expression: a b 19:16:27 awesome 19:16:30 @type "hi" 19:16:31 [Char] 19:16:31 [Char] 19:16:31 [Char] 19:16:34 @@ @type (@run text "123\r:q") 19:16:35 Not in scope: `q' 19:16:36 Couldn't match expected type `[a0]' with actual type `Expr' 19:16:36 Couldn't match expected type `[a0]' with actual type `Expr' 19:16:36 In the second argument of `(:)', namely `q' 19:16:36 In the expression: 123 : q 19:16:36 In the second argument of `(:)', namely `q' 19:16:36 In the expression: 123 : q 19:16:38 ... 19:16:46 why do we have three lambdabots in the channel 19:16:47 shachaf: looks like it gets treated as whitespace 19:16:49 i'm glad we have three bots for this now 19:17:00 @karma elliott 19:17:00 elliott has a karma of 0 19:17:00 elliott has a karma of 42 19:17:00 elliott has a karma of 1 19:17:04 oh hm 19:17:06 maybe mine breaks more 19:17:08 whoa 19:17:10 since when do i have 42 karma 19:17:17 @@ @type (@run text "123\r4") 19:17:18 (Num (a -> t), Num a) => t 19:17:19 Num t => t 19:17:19 forall t. Num t => t 19:17:24 heh 19:17:28 kappabot: @run 123 4 19:17:29 Could not deduce (GHC.Num.Num (a0 -> t)) 19:17:30 arising from the ambiguity chec... 19:17:31 there are 21 more greek letters that don't have bots yet, get cracking 19:17:32 ?! 19:17:32 Maybe you meant: v @ ? . 19:17:32 Maybe you meant: . ? @ v 19:17:32 Maybe you meant: . ? @ v 19:17:45 maybe he fucking didn't, bots, maybe he fucking didn't 19:17:46 elliott, NumInstances? 19:17:59 kappabot: @type views 19:17:59 Taneb: look at the :t output 19:18:00 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:02 and the @run output 19:18:21 mubot: @quit 19:18:21 -!- mubot has quit (Quit: requested). 19:18:26 elliott, I'd say that's reasonably consistent? 19:18:41 20:17:19 forall t. Num t => t 19:18:43 20:17:29 Could not deduce (GHC.Num.Num (a0 -> t)) 19:18:43 help whats this mubot 19:18:49 Oh, kappabot 19:20:46 clearly we need a deadfish bot 19:28:55 what for 19:31:18 -!- mubot has joined. 19:31:37 @undefine 19:31:37 Undefined. 19:31:40 mubot: @run 3 19:31:41 3 19:31:42 ok 19:31:56 Thanks for messing up L.hs. 19:32:11 you can't seriously expect things in L.hs to stay there 19:32:30 Well, I could before you @undefined. 19:32:37 kappabot: @listchans 19:32:37 #esoteric weird# 19:32:37 Nothing here 19:32:43 mubot: @listchans 19:32:43 #esoteric weird# 19:32:43 Nothing here 19:32:53 OK, time to find out what on earth weird is. 19:33:19 loc = case aloc of [] -> Nick "freenode" "weird#" 19:33:22 _ -> Nick (server msg) (tail aloc) 19:33:23 wtf. 19:35:06 ?! 19:35:06 Maybe you meant: v @ ? . 19:35:06 Maybe you meant: . ? @ v 19:35:06 Maybe you meant: . ? @ v 19:35:19 kappabot: @part #esoteric 19:35:19 -!- kappabot has left. 19:35:24 https://twitter.com/PRISM_NSA oh gosh this is great 19:35:49 "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 "Suggestions please: what font should we use for our now spin-off, http://snapchatbackup.com ? #PRISM20%TimeProjects" 19:36:20 "Second worst shift at #PRISM: reading YouTube comments, Worst shift at #PRISM: 4Chan duty" 19:36:59 heh 19:38:35 "We are PRISM. We are actually anonymous. We are actually legion. We really, really do not forget. Accept us." 19:38:38 this twitter 19:39:31 http://www.reddit.com/r/atheism/comments/1fzgxy/the_largest_free_thought_and_atheist_forum_in_the/ 19:39:36 there is not enough lol in the world 19:39:59 Phantom_Hoover: hahahahaha 19:40:08 ahahahahahahahahaha 19:40:23 i took a quick peek to point and laugh and apparently they're in the middle of a civil war 19:40:55 from scrolling down it looks like this is because they removed comment images or something 19:40:58 http://www.reddit.com/r/atheism/comments/1fz8o0/how_ratheism_lost_the_gay_community/ 19:41:05 oh or they banned image posts 19:41:06 or something 19:41:08 this is amazing 19:41:11 keeping forums on-topic: alienating the gay community 19:41:42 Where was 4-D scrabble from the FRC advertised? 19:41:42 they banned all non-self posts maybe? 19:42:01 no, it's just imagelinks 19:42:04 something about memes? 19:42:05 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 i heard it's fascist 19:42:07 oh wow someone is trying to make /r/atheism not a total joke? 19:42:23 kmc, because some mods got the founder of /r/atheism removed 19:42:29 For inactivity 19:42:37 what's going on 19:42:41 of course sgeo knows about this already 19:42:42 did they ban pictures 19:42:46 r atheism should just die, that would be good 19:43:06 Bike: how does it feel to oppress free thought 19:43:16 pretty good 19:44:02 I think I'm mentally readnig this entire twitter in glados's voice 19:44:28 I blame oerjan for getting me into nomics in the first place 19:44:41 Well, maybe not oerjan, but whoever put up a thing on their page about 4-D scrabble 19:45:52 Bike: how will i turn pictures of neil degrasse tyson into karma now 19:45:57 i had a great system 19:45:58 /r/space 19:46:01 why you gotta go and ruin it 19:46:23 /r/PicturesOfNeilDegrasseTyson 19:46:31 r/mildlyinteresting is good 19:46:36 just kill all of reddit except that 19:46:42 not for fans of neil degrasse tyson, just for fans of pictures of neil degrasse tyson 19:46:44 bye 19:46:47 (is /r/space still a sagan-tyson circlejerk? i hope you appreciate that i am not up to date) 19:47:08 Phantom_Hoover: until just now i have never been to /r/space 19:47:10 Fiora: the prism thing is too depressing for me to find funny, i think >_> 19:47:27 Perhaps it's too funny for Fiora to find depressing. 19:47:33 perhaps. 19:47:38 [picture of space] "fuck yeah science!" [does not understand first thing about science] 19:47:53 perhaps it's too depressing /not/ to find funny! 19:48:08 [picture of grad student covered in potato chips and ripped up grant proposals] fuck yeah science! 19:48:33 http://gawker.com/the-nsa-sent-a-takedown-notice-over-my-custom-prism-log-512085836 19:48:39 did anyone see maddox's hilarious anti-fuck-yeah-science rant 19:48:46 it was missing the point writ large 19:48:49 kmc: hahaha 19:49:02 Bike: yeah that's more like it 19:49:20 picture of grad student poking rats with a stick for 100 hours in a row 19:49:42 dream job 19:49:46 senior rat-poker 19:49:48 http://achewood.com/index.php?date=10042004 19:50:00 junior rat-poker only does it for 50 hours 19:50:02 not as good 19:50:05 picture of grad student reading "the view from the left" for thirty hours straight 19:50:14 poking at emacs ineffectually 19:51:05 me 19:51:08 except I don't get money for it 19:51:11 inb4 "neither do grad students" 19:51:28 you're not paying money for it though 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 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 "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:46 very good point 19:53:52 THE INVISIBLE HAND OF THE FREE REDDITOR 19:53:56 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 neither do grad students 19:54:18 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 Bike: o_O? 19:54:41 do like the turks and be mechanical 19:55:15 Fiora: http://img.gawkerassets.com/img/18pu5c73wlb0ajpg/ku-xlarge.jpg "next is tanks" 19:55:28 That's awful 19:55:40 http://img.gawkerassets.com/img/18pu5omzy3088jpg/ku-xlarge.jpg 19:55:53 -!- Phantom_Hoover has left ("Leaving"). 19:56:01 bye ph 19:56:03 -!- Phantom_Hoover has joined. 19:56:32 hi ph 19:56:44 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 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:07 you killed taneb 19:58:29 bye taneb 19:58:41 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:00:35 @check \c -> c == 'q' 20:00:37 Not in scope: `myquickcheck' 20:00:39 mueval-core: Time limit exceeded 20:00:44 mubot: wat 20:00:49 oh, that mueval bug? 20:00:50 @check \c -> c == 'q' 20:00:51 Not in scope: `myquickcheck' 20:00:53 *** Failed! Falsifiable (after 1 test and 1 shrink): 20:00:53 'a' 20:01:10 @check \c -> c == LT 20:01:12 Not in scope: `myquickcheck' 20:01:13 *** Failed! Falsifiable (after 3 tests and 1 shrink): 20:01:13 EQ 20:01:18 ok. 20:01:21 mubot: @run print 20:01:22 No instance for (GHC.Show.Show a0) arising from a use of `e_1' 20:01:22 The type va... 20:01:27 mubot: @run putStrLn 20:01:28 No instance for (GHC.Show.Show 20:01:28 (GHC.Base.String -> GHC.... 20:01:36 :t print 20:01:37 Show a => a -> IO () 20:01:38 Show a => a -> IO () 20:01:41 I don't understand 20:01:45 why would it want a show instance for a? 20:01:49 does it not have extended defaulting? 20:01:54 mubot: @run undefined 20:01:54 No instance for (GHC.Show.Show a0) 20:01:54 arising from a use of `M194199338.sho... 20:01:57 huh 20:02:21 shachaf: any idea what's up here? 20:02:24 can kappabot rejoin for tests? 20:02:27 Where? 20:02:31 Gopher it. 20:02:44 I bet you don't have ExtendedDefaulting on? 20:02:49 -!- kappabot has joined. 20:02:53 shachaf: right, I don't -- but do you? if so where 20:02:59 not in L.hs, looks like 20:03:04 kappabot: @run undefined 20:03:06 *Exception: Prelude.undefined 20:03:07 Um, mueval thing? 20:03:09 kappabot: @run print 20:03:10 No instance for (GHC.Show.Show (GHC.Types.IO ())) 20:03:10 arising from a use of ... 20:03:29 How is mueval working for you, anyway? 20:04:26 Seems OK. 20:04:29 Or what do you mean? 20:04:49 Well, its UTF-8 was broken for me under 7.4. 20:04:51 I had to patch it. 20:04:54 It worked for me. 20:04:56 mubot: @quit 20:04:56 -!- mubot has quit (Quit: requested). 20:05:10 -!- mubot has joined. 20:05:11 mubot: @run undefined 20:05:12 *Exception: Prelude.undefined 20:05:15 mubot: @run print 20:05:15 No instance for (GHC.Show.Show a0) arising from a use of `e_1' 20:05:15 The type va... 20:05:24 mubot: @run putStrLn 20:05:25 No instance for (GHC.Show.Show 20:05:25 (GHC.Base.String -> GHC.... 20:05:29 -!- SingingBoyo has joined. 20:05:35 @run () 20:05:36 () 20:05:36 () 20:05:37 () 20:05:37 I like how it depends on show but doesn't use it 20:05:52 ? 20:05:57 yeah, we totally need more bots here 20:08:00 mubot: @run 3 20:08:01 3 20:08:03 mubot: @run print 20:08:04 <() -> IO ()> 20:08:07 good 20:08:44 kappabot: @run print 20:08:45 No instance for (GHC.Show.Show (GHC.Types.IO ())) 20:08:46 arising from a use of ... 20:08:54 -!- Bike has quit (Ping timeout: 240 seconds). 20:08:54 lambdabot: @run print 20:08:55 *Exception: show: No overloading for function 20:09:03 shachaf: add a show instance for IO plz thx 20:09:06 (or just "import ShowFun") 20:09:17 like like NoFun 20:09:43 shachaf: does kapapbot use SSL? 20:09:57 No. 20:12:08 WTF 20:12:27 SAPERLIPOPELEPET is an actual word 20:12:33 (In French, but still) 20:13:22 shachaf: it could! 20:13:27 I suspect there is no point though 20:13:34 well 20:13:37 Well, it does use *my* Freenode password. 20:13:40 I guess lambdabot's password is fairly valuable 20:13:46 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:28 kappabot: :t (++) 20:20:30 kappabot: @type (++) 20:20:31 forall a. [a] -> [a] -> [a] 20:20:42 mubot: :t foldr 20:20:47 mubot: @type foldr 20:20:48 (a -> b -> b) -> b -> [a] -> b 20:20:48 mubot: @type foldMap 20:20:49 Not in scope: `foldMap' 20:20:49 Perhaps you meant one of these: 20:20:49 `Data.Foldable.foldMap' (imported from Data.Foldable), 20:20:52 mubot: @type F.foldMap 20:20:52 Couldn't find qualified module. 20:20:53 :/ 20:23:09 mubot: @listmodules 20:23:09 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 source spell system tell ticker todo topic type undo unlambda unmtl version where 20:24:27 mubot: @help activity 20:24:27 activity seconds. Find out where/how much the bot is being used 20:24:30 mubot: @activity 20:24:30 3*total 3*#esoteric 20:24:34 kappabot: @activity 20:24:34 0*total 20:24:36 lambdabot: @activity 20:24:36 1*total 1*#haskell-blah 20:24:43 shachaf: did you know this command existed? 20:24:49 Yep. 20:25:05 I wonder if lambdabot should really be running it. 20:25:07 SAPERLIPOPELEPET is an actual word <-- please read more carefully hth 20:25:12 seems like an undesirable infoleak 20:26:11 @activity-full 20:26:11 Not enough privileges 20:26:11 Not enough privileges 20:26:11 0*total 20:26:15 oh no 20:26:22 imo @admin + me 20:26:29 I think not 20:26:50 mubot: @faq 20:26:50 The answer is: Yes! Haskell can do that. 20:26:55 mubot........................................... 20:27:14 oerjan, oh 20:27:15 Showing results for SAPERLIPOPETTE 20:27:15 Search instead for SAPERLIPOPELEPET 20:27:18 -!- Bike has joined. 20:28:36 _ -> "I'm sorry Dave, I'm affraid I don't know that command" 20:28:39 I'm affraid too. 20:29:17 mubot: @run N 'a' 20:29:18 Not in scope: data constructor `N' 20:29:19 mubot: @quit 20:29:20 -!- mubot has quit (Quit: requested). 20:29:22 h8r 20:29:29 -!- mubot has joined. 20:29:37 @faq 20:29:37 The answer is: Yes! Haskell can do that. 20:29:37 The answer is: Yes! Haskell can do that. 20:29:37 The answer is: Yes! Haskell can do that. 20:29:41 Hmph. 20:29:46 mubot, @SAPERLIPOPELEPET 20:29:46 Unknown command, try @list 20:29:46 that's pretty frequent 20:29:50 shachaf: I went to fix @faq 20:29:55 shachaf: but then I also found myself adding @get-shachaf 20:30:00 @get-shachaf 20:30:00 Unknown command, try @list 20:30:00 Unknown command, try @list 20:30:00 Unknown command, try @list 20:30:01 and decided it would be best to quit while I was ahead 20:30:10 who wants to ?where ?where 20:30:26 I should fix that loop 20:30:31 in fact shachaf, can you try it out? 20:30:33 no don t do it 20:30:34 maybe it is fixed already 20:30:37 ?where ?where 20:30:37 I know nothing about ?where. 20:30:37 ?where ?where 20:30:38 ?where ?where 20:30:38 I know nothing about ?where. 20:30:38 I know nothing about ?where. 20:30:38 ?where ?where 20:30:38 ?where ?where 20:30:38 I know nothing about ?where. 20:30:38 I know nothing about ?where. 20:30:38 ?where ?where 20:30:38 ?where ?where 20:30:38 ?where ?where 20:30:39 ?where ?where 20:30:39 ?where ?where 20:30:39 ?where ?where 20:30:39 I know nothing about ?where. 20:30:40 ?where ?where 20:30:40 ?where ?where 20:30:41 I know nothing about ?where. 20:30:42 ?where ?where 20:30:42 ?where ?where 20:30:43 I know nothing about ?where. 20:30:44 ?where ?where 20:30:44 ?where ?where 20:30:44 good decision 20:30:45 I know nothing about ?where. 20:30:47 kappabot: @part #esoteric 20:30:47 I know nothing about ?where. 20:30:48 -!- kappabot has left. 20:30:49 I know nothing about ?where. 20:30:51 I know nothing about ?where. 20:30:54 I know nothing about ?where. 20:30:55 I know nothing about ?where. 20:30:56 me 20:30:57 Plugin `where' failed with: <> 20:30:59 Plugin `where' failed with: <> 20:31:06 elliott: hth. 20:31:17 21:30:44 !lindbohm.freenode.net *** Message to #esoteric throttled due to flooding 20:31:19 help 20:31:21 i'm being oppressed for running mubot 20:32:01 oerjan: can you test @unlambda 20:32:04 mubot: @free id 20:32:05 f . id = id . f 20:32:52 -!- sprocklem has joined. 20:33:03 @botsnack 20:33:03 :) 20:33:03 :) 20:33:04 @free unsafeCoerce 20:33:05 Extra stuff at end of line in retrieved type "Not in scope: `unsafeCoerce'\n" 20:33:05 Extra stuff at end of line in retrieved type "Not in scope: `unsafeCoerce'\n\n" 20:33:11 @free unsafeCoerce :: a -> b 20:33:11 g . unsafeCoerce = unsafeCoerce . f 20:33:11 nice 20:33:12 g . unsafeCoerce = unsafeCoerce . f 20:33:20 wow nice theorem 20:33:25 unsafeCoerce is v. powerful 20:33:48 @free safeCoerce :: a -> () 20:33:48 safeCoerce = safeCoerce . f 20:33:48 safeCoerce = safeCoerce . f 20:33:55 @unlambda ```.N.o..i 20:33:55 No. 20:33:55 No. 20:33:59 @free help :: () -> a 20:33:59 f . help = help 20:33:59 f . help = help 20:34:11 @free undefined 20:34:12 f undefined = undefined 20:34:12 f undefined = undefined 20:34:16 haha 20:34:19 nice free theorem 20:34:46 oerjan: ty tdh 20:35:08 that didn't help? 20:35:12 i heard oerjan wrote the @unlambda interpreter........................................................ 20:35:20 oerjan: that DID help 20:35:29 oerjan: negativity free yourself etc 20:35:29 shachaf: it may descend from one i wrote, yes 20:35:40 apparently gwern uploaded oerjan's http://hackage.haskell.org/package/unlambda 20:35:58 and dons edited it? 20:36:00 maybe for compatibility 20:37:10 i am pretty sure there were other unlambda interpreters in haskell when i wrote mine, though 20:37:35 shachaf: huh, we have Is in lambdabot now? 20:38:39 Yep, I bugged Cale to add it. 20:39:31 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:52:17 kappabot @hi 20:52:22 kappabot, @hi 20:52:25 Oops. 20:52:27 lambdabot @hi 20:52:29 lambdabot, @hi 20:52:37 lambdabot: @hi 20:52:39 help 20:52:48 lambdabot: @bot 20:52:48 :) 20:52:50 lambdabot, @bot 20:52:50 :) 20:52:52 lambdabot @bot 20:52:53 OK. 20:57:55 so apparently the PRISM leaker is a ron paul supporter. where's your god now leftists 20:58:46 that sounds like the least surprising thing ever 20:59:10 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:18 heh 20:59:26 ... with prism 20:59:27 we know his name though, and he doesn't work for them any more, so. 20:59:38 well, it's not like the NSA would want a ron paul supporter anyway, most likely. 20:59:48 he was a contractor 21:00:27 livin' large in HK 21:04:05 Huh. The FRC taught me a bit of history, that I had previously assumed was fictitious 21:04:14 ? 21:04:15 "In foggy London he succeeds in convincing the brothers (who in this 21:04:15 timeline have Japanese ancestors!) to include in the statutes of the 21:04:15 bank, that they will never hire a certain Nick Leeson. More than 200 21:04:15 years later, the latter does not get a job with Baring's. 21:04:15 Consequently he does not have the occasion to swindle the bank out of 21:04:16 the 1000 million dollars that were subsequently used to finance the Time 21:04:18 Police." 21:04:23 grah 21:04:27 That was a bad idea' 21:04:46 There really was a Nick Leeson at Baring's Bank 21:07:36 did he swindle a billion dollars? 21:07:56 -!- carado has quit (Read error: No route to host). 21:08:37 He did something criminal 21:08:57 But I think it was more gambling with the bank's money than actually stealing it 21:09:03 http://en.wikipedia.org/wiki/Nick_Leeson 21:09:43 -!- carado has joined. 21:10:29 oh, i've heard of this guy. 21:12:49 (what's the frc/do i want to know) 21:13:00 Phantom_Hoover: fantasy rules committee 21:13:08 nomic-like game played since the stone age 21:13:13 oerjan played in it once upon a time 21:14:49 i saved it from the mammoths 21:15:12 http://sir-toby.com/nomic-archives/frc/ 21:15:15 Classic rounds 21:15:49 -!- SingingBoyo has joined. 21:17:38 oh apparently i was the judge for that 4d scrabble round 21:20:07 -!- Sgeo has quit (Quit: Leaving). 21:22:40 oh yeah I remember that one 21:22:51 mubot: @quit 21:22:51 -!- mubot has quit (Quit: requested). 21:22:56 saperlipopelipet 21:23:03 -!- mubot has joined. 21:23:07 > 2 21:23:08 2 21:23:08 2 21:23:20 *lepet 21:23:30 -!- jago25_98 has joined. 21:23:38 indeed 21:24:22 -!- Koen__ has changed nick to Koen_. 21:24:56 mubot: @quit 21:24:56 -!- mubot has quit (Client Quit). 21:25:07 where's kappabot?!? 21:25:08 -!- mubot has joined. 21:26:20 -!- Sgeo has joined. 21:26:55 kmc: shachaf killed it 21:30:56 mubot: @quit 21:30:56 -!- mubot has quit (Quit: requested). 21:31:06 -!- mubot has joined. 21:31:15 kmc: challenge: figure out why mubot's username is what it is 21:31:16 (I know why) 21:31:59 is it the least fixed bot 21:32:04 oh username not nick 21:37:35 right username 21:38:30 The FRC once got me back into Haskell 21:38:37 Don't remember when that was 21:38:48 But I wrote a short little FLogic-ish thing 21:39:19 is it short for Debian-Exim? 21:39:33 kmc: yes 21:39:36 mubot: @quit 21:39:36 -!- mubot has quit (Quit: requested). 21:39:53 -!- mubot has joined. 21:40:14 is it just a useful 'nobody' user? 21:40:26 oh does debian have a fake inetd that responds with that? 21:40:36 kmc: nope, nope 21:40:37 identd* 21:40:40 whateverthefuckd 21:40:50 oh well I don't know then 21:41:02 it's in a chroot 21:41:11 the UID it runs as in the chroot happens to overlap with the UID of Debian-exim in the outer system 21:41:16 and the identd runs outside of the chroot 21:41:30 this also means "ps" and "top" think that Debian-exim is running it 21:41:52 oh fun 21:41:53 why a chroot 21:43:08 -!- jago25_98 has quit (Ping timeout: 255 seconds). 21:44:17 kmc: well, have you ever read lambdabot's source coe 21:44:18 *code 21:44:29 ":t" works by running yr input thru a regexp and piping it to ghci 21:44:35 not even a sandboxed ghci 21:44:38 what regexp 21:44:43 -!- mubot has quit (Remote host closed the connection). 21:44:56 hey it's not just a regexp 21:45:04 Bike: actually it's a recursive function because the regexp function doesn't work in GHC <6.4 21:45:09 note: GHC 6.4 was released like a hundred years ago 21:45:15 ok that sounds good 21:45:16 stripComments ('\n':_) = [] -- drop any newwline and rest. *security* 21:45:21 stripComments ('\n':_) = [] -- drop any newwline and rest. *security* 21:45:22 *security* 21:45:23 good timing 21:45:25 wait is 21:45:31 does it say "security" in the comment 21:45:34 yes 21:45:35 yes 21:45:47 it's where the security goes 21:45:49 that's how programs work 21:45:54 you write them and save a little bit left for the security 21:48:45 -!- Lumpio_ has changed nick to Lumpio-. 21:53:23 elliott: vanilla Linux chroots are shit for security 21:53:26 better than nothing I suppose 21:59:49 huh, apparently they still use whale oil in soace 21:59:51 *space 22:00:48 we're whalers on the moon, we carry a harpoon 22:01:38 kmc: yeah I know 22:01:41 kmc: well I don't know the details 22:01:45 there aren't any whales in space so we have to bring whale oil from earth, obviously 22:01:50 is it really so bad without a root escalation vuln? 22:02:27 elliott: these days you have to run a vm inside a vm to get any security 22:02:46 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 well there are lots of ways for a process in a chroot to mess with processes outside a chroot 22:03:09 ptrace etc 22:03:15 I do have /proc mounted 22:03:17 which worries me a bit 22:03:21 but I don't know how much /proc leaks to another user 22:03:52 kmc: also, I won't die if someone escapes the chroot, they'll end up as an unprivileged user 22:04:06 at worst they'll read private stuff in my $HOME, which I should probably make not world-readable 22:04:15 admittedly if they escape it they probably have a root escalation vuln 22:05:45 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 my recommendation is to make yourself fully aware of the risks and then not care about them 22:07:55 hth 22:08:44 an easier way is to skip directly to not caring 22:08:49 -!- Bike has joined. 22:08:58 those are both p. good recommendations 22:08:58 as an added bonus, that's usually the state you start out in 22:09:00 olsner, olsner, olsner 22:09:06 there's a way you go about these things 22:09:08 elliott: UMLBox is cool but UML scares me a bit because it's not used much anymore 22:09:50 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 or you could use "real" virtualization 22:10:04 i don't know the area well enough to recommend one over another 22:10:07 but those are some options 22:10:24 "real" virtualization will protect you from root escalation vulnerabilities, which are common in Linux 22:10:34 it doesn't protect you from hypervisor exploits of course, but \rainbow{defense in depth} 22:11:52 kmc: these sound like a lot of work 22:11:58 how about I just ask jesus to not let it go wrong 22:12:14 i mean, theoretically this software is meant to be secure enough to run as-is 22:12:23 i just don't trust that half of it wasn't written by a complete bozo 22:12:49 yay, my time spent convincing elliott not to trust lambdabot was useful 22:13:33 useful how exactly? now he's wasting time doing all this security thinking 22:14:12 i can't see "defense in depth" without thinking of maginot. is this bad y/n 22:14:18 well my goal is to waste time 22:14:21 Bike: / 22:14:27 oh 22:14:36 I wonder when I'll start having nostalgia for Cablevision's offices 22:14:45 did you quit 22:15:18 no 22:15:28 then how... what... 22:15:30 oh 22:15:32 did you get fired 22:15:34 No 22:15:41 ok i return to how / what 22:15:43 He's just thinking ahead. 22:15:53 In the future one of those two will presumably happen, unless I spend my entire life working there 22:16:09 well Doneike 22:16:14 The company could also be destroyed. 22:17:41 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 how deep are hypervisors kmc 22:18:07 Things that I do now, in the present day, will eventually become nostalgic for me 22:18:20 (then again, leaving lots of other options around, such as "take the long way around, attack anyway") 22:18:21 Assuming I don't die in the near future 22:18:30 or you could be brain damaged. 22:18:41 Or you could just not be nostalgic for it. 22:18:41 also: i have sometimes done things and do not feel nostalgic about them. 'what gives' 22:18:51 Bike: wow "r u a freak" 22:18:56 :( 22:19:07 @hug Bike 22:19:07 http://hackage.haskell.org/trac/ghc/newticket?type=bug 22:19:22 wow our lambdabottage is dangerously low 22:19:35 -!- kappabot has joined. 22:19:39 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 what if sgeo stops being nostalgic about everything and he gets nostalgic about the nostalgia 22:20:02 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 oerjan: Hmm, I didn't think of it as a quote, but the general idea could easily be derived from Yes, (Prime )?Minister 22:20:48 The wheels are in motion. 22:22:18 -!- nooodl has quit (Ping timeout: 252 seconds). 22:22:46 -!- mubot has joined. 22:22:50 mubot: hello! 22:22:57 > undefined 22:22:57 *Exception: Prelude.undefined 22:22:58 *Exception: Prelude.undefined 22:22:58 *Exception: Prelude.undefined 22:22:59 good 22:23:37 > fix id 22:23:40 mueval-core: Time limit exceeded 22:23:40 mueval-core: Time limit exceeded 22:23:52 thread killed 22:24:05 lambdabot: hey get in line! 22:26:09 @listchans 22:26:09 #esoteric #mubot 22:26:09 ##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 Nothing here 22:26:09 #esoteric weird# 22:26:09 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 haskell.de #haskell.dut #haskell.es #haskell.se #haskell.tw #learnanycomputerlanguage #ledger #macosx #macosxdev #rosettacode #scala #scalaz #scannedinavian #snapframework #tanuki #teamunix # 22:26:09 unicycling #xmonad #yi weird# 22:26:09 Nothing here 22:26:13 mubot: @listchans 22:26:13 #esoteric #mubot 22:26:14 Nothing here 22:26:14 good 22:26:53 #unicycling? i feel betrayed 22:28:52 oerjan: oh man good old yes minister 22:29:00 mubot: @fortune 22:29:00 I've got a card in my hole. 22:29:03 mubot: @yow 22:29:03 And furthermore, my bowling average is unimpeachable!!! 22:30:26 -!- mubot has quit (Quit: requested). 22:30:36 -!- mubot has joined. 22:31:02 @run 2 22:31:03 2 22:31:03 2 22:31:04 > 2 22:31:04 2 22:31:04 2 22:31:05 can't find file: L.hs 22:31:05 2 22:31:07 > 3 22:31:08 3 22:31:08 3 22:31:08 3 22:32:53 @asdf 22:32:54 Who should I ask? 22:32:54 Plugin `tell' failed with: Prelude.head: empty list 22:32:54 Plugin `tell' failed with: Prelude.head: empty list 22:33:04 ...wat 22:33:07 #unicycling? i feel betrayed 22:33:11 @thisistotalgibbeish 22:33:11 Unknown command, try @list 22:33:11 Unknown command, try @list 22:33:11 Unknown command, try @list 22:33:12 wait 22:33:13 Bike: hi 22:33:16 imagine that i said the other thing 22:33:19 Anyone want to @list ? 22:33:20 the one that i meant to say 22:33:23 which other thing 22:33:26 ?where ?where 22:33:26 I know nothing about ?where. 22:33:26 ?where ?where 22:33:26 ?where ?where 22:33:26 I know nothing about ?where. 22:33:26 I know nothing about ?where. 22:33:27 ?where ?where 22:33:27 ?where ?where 22:33:27 I know nothing about ?where. 22:33:27 I know nothing about ?where. 22:33:27 ?where ?where 22:33:27 ?where ?where 22:33:27 ?where ?where 22:33:27 ?where ?where 22:33:27 ?where ?where 22:33:28 ?where ?where 22:33:28 I know nothing about ?where. 22:33:28 ?where ?where 22:33:28 ?where ?where 22:33:30 I know nothing about ?where. 22:33:30 ?where ?where 22:33:30 ?where ?where 22:33:32 I know nothing about ?where. 22:33:34 I know nothing about ?where. 22:33:34 oh 22:33:36 I know nothing about ?where. 22:33:38 I know nothing about ?where. 22:33:40 I know nothing about ?where. 22:33:42 I know nothing about ?where. 22:33:44 I know nothing about ?where. 22:33:46 Plugin `where' failed with: <> 22:33:54 fyi when you do that freenode drops my messages 22:33:58 as in my personal ones 22:33:58 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 i thought you fixed it sorry 22:34:04 it's not even a bug in my bot! 22:34:07 it's the other two bots 22:34:22 Bots are supposed to notice instead of msg when replying, right? 22:34:22 they're like practically thes ame 22:34:31 Sgeo: yeah but nobody does that ever 22:34:44 preflex does it but only in some channels 22:36:23 mubot: ?where+ ?where ?where ?where 22:36:24 Nice! 22:36:26 hth! 22:36:33 * oerjan cackles madly 22:36:39 mubot: ?where+ ?where no ?where 22:36:39 Nice! 22:36:42 nice 22:37:04 elliott: hey what do you have against exponential blowup you scounderl 22:37:09 *scoundrel 22:37:10 scounderl 22:37:22 i don't think there's anything exponential about it hth 22:37:26 maybe there is 22:37:57 elliott: with 3 bots there is hth 22:40:00 also why does it drop _your_ messages 22:40:07 same connection probably 22:40:24 so if i do ?where ?where again will it not spam 22:40:27 you can have two nicks on the same connection? 22:40:34 Bike: yes it will 22:41:05 oh 22:43:00 oerjan: There's a new version? 22:43:09 oerjan: because same connection 22:43:10 as in 22:43:12 same IP 22:43:23 presumably because otherwise you could just run 100 spambots on the same server 22:43:33 and have them each say one line 22:43:43 shachaf: or an old one, dependent on which one you actually know :P 22:45:18 nah the new one is apparently very new, from this year 22:46:52 "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:06 good lambdabot bug 22:49:52 ‘The public,' said Sir Humphrey, ‘do not know anything about wasting public money. We are the experts.' 22:50:10 hm 22:50:10 ‘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 ‘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:51:41 shachaf: I reported it 22:51:53 hoorelliott 22:56:12 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 I considered this carefully for a few moments. ‘Why?’ I asked. 22:56:19 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 our long dark days of fungotlessness are over! 23:02:09 oerjan: times change, and 2 for fnord 23:02:18 So appropriate. 23:02:33 `welcome fungot 23:02:34 olsner: some cases, it can be avoided. the contents are in ascii? 23:02:36 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 ^style 23:02:37 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 ^style qwantz 23:02:48 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 23:03:00 fungot 23:03:01 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 ^def where ul (@where @where)S 23:04:58 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:01 wat 23:05:07 ^show where 23:05:12 16:04 I JUST WANT TO XOR TWO INTEGERS 23:05:12 16:04 OR CHARS 23:05:14 Huh. 23:05:20 kmc: look what these challenges have brought to us 23:05:26 fizzie: your ISP has support guys who know what routing info is? 23:05:26 ;'( 23:05:39 xor is Hard, man 23:05:40 it's like a PROJECT EULER but for CRYPTOGRAPHY 23:05:42 fungot: you don't seem well 23:05:42 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 elliott: Apparently the night staff doesn't involve any first-tier support people. 23:05:46 ^help 23:05:46 ^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool 23:05:47 jerkcity version: I JUST WANT TO XOR TWO INTEGERS / OR COCKS 23:05:48 ^show 23:05:48 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 ^show where 23:05:51 @yow 23:05:51 I'm having a tax-deductible experience! I need an energy crunch!! 23:05:51 Couldn't find fortune file 23:05:52 Is this an out-take from the "BRADY BUNCH"? 23:05:58 we are going at warp 10 here 23:06:00 @yow 23:06:00 I don't know WHY I said that ... I think it came from the FILLINGS in 23:06:00 my read molars ... 23:06:00 Couldn't find fortune file 23:06:00 Are you still an ALCOHOLIC? 23:06:01 "this cabin is a front! and maybe on the back sometimes" not bad 23:06:03 ^def where ul (@where @where)S 23:06:03 Defined. 23:06:06 ETOOMANYBOTS 23:06:09 help 23:06:12 ENOTENOUGHBOTS 23:06:13 oerjan: It was The Usual Bug. 23:06:18 > text "hi fungot" 23:06:18 @quote 23:06:18 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 No quotes yet. 23:06:18 geekoid says: the problem with wikipedia is that it works in practice, but not in theory. 23:06:18 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 hi fungot 23:06:18 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 hi fungot 23:06:19 hi fungot 23:06:19 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 my god, pure ideology 23:06:44 oerjan: http://sprunge.us/XTSO as seen by fungot. 23:06:44 fizzie: but t-rex, you can't play the game optimally! and assuming that in a man... or a woman, dromiceiomimus! 23:06:50 ^def where ul (@where @nowhere)S 23:06:50 Defined. 23:06:51 fungot your tongue? 23:06:51 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 i think fungot wants to stab shachaf 23:07:08 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:09 just a hunch 23:07:13 nice "shac:elliott:" 23:07:17 kappabot: @where+ @nowhere @where @somewhere 23:07:17 Good to know. 23:07:30 mubot: @where+ @somewhere @where @where 23:07:30 It is forever etched in my memory. 23:07:38 oh wait 23:08:20 lambdabot: @where+ @where ^where @where 23:08:20 I will remember. 23:08:32 is that right 23:08:38 (also, horribly wrong) 23:08:42 no wait 23:08:47 ouch 23:08:49 It's like looking at someone setting up one of those domino piece things. 23:09:05 shaq:elliott: 23:09:23 mubot: @where+ @somewhere ^where @where 23:09:23 I will never forget. 23:09:36 -!- carado has quit (Quit: Leaving). 23:10:00 gah i'm hopelessly confused now 23:10:07 me too 23:10:11 why the hell isn't this working 23:10:13 can i be confused 23:10:28 no. 23:11:00 ^show ^where 23:11:07 eek 23:11:16 oh 23:11:18 so doing something like @where @nowhere or ^where will start a new botloop? 23:11:20 ^show where 23:11:21 (@where @nowhere)S 23:11:50 -!- carado has joined. 23:12:35 lambdabot: @where+ @where @where @nowhere 23:12:35 Nice! 23:12:55 ^def where ul (@where @where)S 23:12:56 Defined. 23:13:18 -!- epicmonkey has quit (Ping timeout: 264 seconds). 23:13:20 ok here goes 23:13:27 oh boy 23:13:28 ^where anything, really? 23:13:28 @where @where 23:13:28 I know nothing about @where. 23:13:28 @where @nowhere 23:13:28 @where @where 23:13:40 eek 23:14:35 oops 23:14:46 lambdabot adds a space... D: 23:15:16 it didn't add a space last time though? 23:15:17 darn bugfixes ;_; 23:15:55 OMG I RUINED IT 23:17:22 probably it special-cases @. 23:17:24 but not ?. 23:19:03 mubot: @quit 23:19:03 -!- mubot has quit (Quit: requested). 23:19:13 -!- mubot has joined. 23:19:15 > 3 23:19:16 3 23:19:16 3 23:19:17 3 23:19:25 wtf. it suddenly started working 23:19:27 3 23:21:13 -!- carado has quit (Ping timeout: 256 seconds). 23:21:25 oh that's true! 23:22:16 lambdabot: @where+ @where ?where ?nowhere 23:22:16 I will never forget. 23:22:53 kappabot: @where+ ?nowhere ?where @somewhere 23:22:53 -!- carado has joined. 23:22:53 Done. 23:23:01 ^where whataboutnow 23:23:01 @where @where 23:23:01 I know nothing about @where. 23:23:01 ?where ?nowhere 23:23:01 @where @where 23:23:01 I know nothing about ?nowhere. 23:23:01 ?where @somewhere 23:23:01 ^where @where 23:23:01 @where @where 23:23:02 I know nothing about @somewhere. 23:23:02 I know nothing about @where. 23:23:02 @where @where 23:23:02 ?where ?nowhere 23:23:02 I know nothing about ?nowhere. 23:23:02 ?where @somewhere 23:23:02 I know nothing about @somewhere. 23:23:03 ^where @where 23:23:03 @where @where 23:23:03 ?where ?nowhere 23:23:03 @where @where 23:23:04 ?where @somewhere 23:23:04 I know nothing about @somewhere. 23:23:05 I know nothing about @where. 23:23:05 sigh 23:23:07 I know nothing about ?nowhere. 23:23:09 ^where @where 23:23:09 @where @where 23:23:09 ?where ?nowhere 23:23:09 @where @where 23:23:10 ?where @somewhere 23:23:10 I know nothing about @somewhere. 23:23:11 I know nothing about @where. 23:23:11 It wasn't me! 23:23:13 I know nothing about ?nowhere. 23:23:15 ^where @where 23:23:15 @where @where 23:23:15 ?where ?nowhere 23:23:15 @where @where 23:23:15 ^where+ ?nowhere nope 23:23:16 ?where @somewhere 23:23:16 I know nothing about @somewhere. 23:23:17 I know nothing about @where. 23:23:19 I know nothing about ?nowhere. 23:23:21 @where+ ?nowhere nope 23:23:21 Okay. 23:23:21 Nice! 23:23:21 ^where @where 23:23:21 @where @where 23:23:21 ?where ?nowhere 23:23:21 @where @where 23:23:22 nope 23:23:23 Done. 23:23:25 I know nothing about @where. 23:23:27 nope 23:25:22 mubot: T 1 23:25:26 mubot: :t 1 23:25:51 -!- sprocklem has joined. 23:26:00 it worked! 23:26:17 i assume. hard to tell in that mess. 23:26:53 looks like if lambdabot knew about @somewhere and mubot about ?nowhere, it would've worked more 23:26:59 ok but for real why do we have all these bots 23:27:08 we have lambdabot because lambdabot is great 23:27:10 we have kappabot because of shachaf 23:27:12 we have mubot because of me 23:27:21 see? easily explained. 23:27:21 so, you and shachaf suck? 23:27:41 -!- nooga has quit (Read error: Connection reset by peer). 23:28:00 nearing the omega point 23:28:47 -!- SirCmpwn has quit (Read error: Connection reset by peer). 23:28:56 kmc: hey, no skipping greek letters! 23:30:37 :) 23:31:03 -!- nooga has joined. 23:31:10 -!- SirCmpwn has joined. 23:31:15 @tell elliott hi 23:31:15 Consider it noted. 23:31:15 Consider it noted. 23:31:15 Consider it noted. 23:31:26 @messages? 23:31:26 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 23:31:26 elliott: You have 1 new message. '/msg kappabot @messages' to read it. 23:31:30 @clear-messages 23:31:30 Messages cleared. 23:31:30 Messages cleared. 23:31:30 Messages cleared. 23:31:32 hmm, why did mubot not respond? 23:31:49 shachaf: can you try @messages? 23:32:05 00:31:26 You have 1 new message. '/msg mubot @messages' to read it. 23:32:06 help 23:32:09 @tell elliott test 23:32:09 You can tell yourself! 23:32:09 You can tell yourself! 23:32:09 You can tell yourself! 23:32:09 * ion is tempted to @@ @echo @echo @echo @echo @echo, but he won’t. 23:32:11 ugh 23:32:13 ion: can you @tell me something 23:32:24 @tell elliott something 23:32:24 Consider it noted. 23:32:24 Consider it noted. 23:32:24 Consider it noted. 23:32:27 @tell elliott The computer says no. 23:32:27 Consider it noted. 23:32:27 Consider it noted. 23:32:27 Consider it noted. 23:32:27 @tell elliott this is stupid 23:32:27 Consider it noted. 23:32:28 Consider it noted. 23:32:28 Consider it noted. 23:32:30 @messages 23:32:30 Sgeo said 6s ago: something 23:32:30 Sgeo said 6s ago: something 23:32:30 ion said 3s ago: The computer says no. 23:32:30 Bike said 2s ago: this is stupid 23:32:30 ion said 3s ago: The computer says no. 23:32:30 Bike said 3s ago: this is stupid 23:32:35 awesome 23:32:39 mubot responds in private 23:32:52 right, i'm using memoserv from now on 23:34:24 lambdabot: @tell Bike you can restrict it to one bot hth 23:34:25 Consider it noted. 23:34:39 1d7 23:34:39 elliott: 2 23:34:42 nice. 23:34:57 lambdabot: tell ion Is a redundant command prefix needed? 23:35:05 1 2 3 23:35:19 what, not even @roll or something? 23:35:19 Bike: You have 1 new message. '/msg lambdabot @messages' to read it. 23:35:23 lambdabot: fuck yourself 23:35:31 elliott: um you want to have commands with no prefix? 23:35:41 14d57 23:35:41 oerjan: 390 23:35:43 oerjan: this is in the default git lambdabot. 23:35:45 not my doing! 23:35:48 1d7 1d7 23:35:50 huh 23:35:58 looks like it only works when your entire message is a roll 23:35:59 so it seems ok 23:36:03 234 23:36:04 238913 23:36:10 do people play D&D with lambda bot 23:36:10 ok how do i get this fucking numberwang plugin to trigger 23:36:36 @numberwang 7 23:36:36 Unknown command, try @list 23:36:36 Unknown command, try @list 23:36:36 Unknown command, try @list 23:36:40 oh. 23:36:42 it's not loaded 23:36:43 ok 23:37:26 mubot: @nazi-on 23:37:26 Spelling nazi engaged. 23:37:29 hlep 23:37:30 Did you mean help, hep or Heep? 23:37:37 wow, stupidest bot mode ever 23:37:39 lambdabot: @nazi-on 23:37:39 Did you mean lambda bot, lambda-bot, lambda, lambdas or lambda's? 23:37:39 Spelling nazi engaged. 23:37:44 kappabot: @nazi-on 23:37:44 Did you mean kappa bot, kappa-bot, jabot, Cabot or kaput? 23:37:44 Spelling nazi engaged. 23:37:52 i'm going to die. 23:37:59 numberwang 23:37:59 Did you mean numbering, numbing, Nibelung, numbness or Namibian? 23:37:59 Did you mean numbering, numberings or numbing? 23:37:59 Did you mean numbering or lumbering's? 23:38:15 as they say: don't be stupid / be a smarty / come on and join the nazi party. 23:38:17 should i even ask why they're all distinct. or why mubot responded twice. 23:38:17 Did you mean mu bot, mu-bot, Minot, bot or mot? 23:38:17 Did you mean mu bot, mu-bot, Minot, bot or mot? 23:38:22 Numberings 23:38:22 Did you mean Numbering or Lumbering's? 23:38:27 Good job, mubot. 23:38:27 Did you mean mu bot, mu-bot, Minot, bot or mot? 23:38:27 Did you mean mu bot, mu-bot, Minot, bot or mot? 23:38:30 Fuck you. 23:38:33 appelsiinit päähän 23:38:34 Did you mean appellant, applicant, opalescent, adolescent or Appleseed? 23:38:36 should leave these on forever 23:38:47 I hate you. I hate life. I hate everything 23:38:48 nazi-on is channel-specific? 23:38:48 Did you mean Nazi, Nazis, NZ, Nair or naif? 23:38:48 Did you mean Nazi, Nazis, Nani, Nari or Nazi's? 23:38:48 Did you mean Nan, Mani, Bani, Nazi or Nan's? 23:38:52 elliott: i hate you 23:38:53 Did you mean Elliott, Elliot, Eliot, Elliott's or Elliot's? 23:38:53 Did you mean Elliott, Elliot, Eliot, Ellette or Elliott's? 23:38:53 Did you mean Elliott, Elate, Elite, Elliot or Gillette? 23:38:57 @nazi-off 23:38:57 Spelling nazi disengaged. 23:38:57 Spelling nazi disengaged. 23:38:57 Spelling nazi disengaged. 23:38:57 :-D 23:39:16 ion: it seems like actually no 23:39:20 but also it seems like lambdabot didn't respond to any of it 23:39:28 lol. 23:39:33 Oh, indeed. 23:39:35 @messages 23:39:35 You don't have any messages 23:39:35 You don't have any new messages. 23:39:35 You don't have any new messages. 23:39:40 elliott: hth 23:39:46 ) <'I feel lonely' 23:39:46 Sgeo: +-------------+ 23:39:46 Sgeo: |I feel lonely| 23:39:46 Sgeo: +-------------+ 23:40:53 shachaf: Did you mean massages, messengers, messuages or missayings? 23:41:18 let's see. clog, egobot, fungot, glogbot, glogbackup, HackEgo, jconn, kappabot, lambdabot, mubot. that's a lotta bots. 23:41:18 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 we're like 1/7 bots. 23:42:03 I wonder if bots will take over the channel from humans one day? 23:45:50 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 ion: isn't access to quickcheck and OEIS enough for you? 23:48:22 Bike: hey onbotti and metasepia aren't here 23:48:40 mubot: @quit 23:48:40 -!- mubot has quit (Quit: requested). 23:48:46 oh wait oonbotti is 23:49:04 #esoterm 23:49:11 #esoteric 23:49:11 Nothing here 23:49:18 -!- mubot has joined. 23:49:25 i wonder why it responds to the channel name 23:49:36 #esoteric q 23:49:36 Nothing here 23:49:49 it's a statement about ni hil ism 23:49:54 #haskell 23:50:06 ##bestiality 23:50:22 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.