00:01:58 -!- TeruFSX has quit (Ping timeout: 250 seconds). 00:02:33 nooga: huh 00:06:56 -!- segorev has joined. 00:20:15 elliott: nooga: huh 00:21:57 huh 00:25:33 https://blogs.oracle.com/projectfortress/entry/fortress_wrapping_up oh dear 00:27:28 what an awkward name 00:27:48 Fortress? 00:34:38 y 00:56:58 -!- augur has quit (Read error: Connection reset by peer). 00:58:30 i think i'll go to sleep 00:59:00 what a silly idea 01:01:55 -!- augur has joined. 01:05:43 I guess i'm getting old 01:07:19 oh, please let me know if you succeed in sending some data from brogue - I'd love to help with that patch 01:08:05 thanks! I will certainly push on with it 01:08:14 gn8 01:08:28 gn9 01:13:06 -!- nooga has quit (Ping timeout: 276 seconds). 01:14:11 -!- pikhq has joined. 01:14:15 -!- pikhq_ has quit (Ping timeout: 255 seconds). 01:35:14 -!- copumpkin has joined. 01:59:50 Is the version of SICP that seems to be making the rounds substantially different from the SICP from MIT? 02:01:27 "Making the rounds"? 02:04:55 On /r/programming and also the Clojure facebook page linked to it 02:06:10 http://sicpebook.wordpress.com/ebook/ it seems it is adequately described here 02:10:23 hmm 02:10:29 I'm already using an epub version 02:10:45 Haven't touched it in a while though, I should resume 02:11:41 -!- pikhq_ has joined. 02:14:34 -!- pikhq has quit (Ping timeout: 255 seconds). 02:24:45 -!- esowiki has joined. 02:24:49 -!- esowiki has joined. 02:24:49 -!- esowiki has joined. 02:25:25 -!- esowiki has joined. 02:25:29 -!- esowiki has joined. 02:25:29 -!- esowiki has joined. 02:25:55 -!- esowiki has joined. 02:25:59 -!- esowiki has joined. 02:25:59 -!- esowiki has joined. 02:26:31 -!- esowiki has joined. 02:26:32 -!- glogbot has joined. 02:26:32 -!- glogbackup has left. 02:26:36 -!- esowiki has joined. 02:26:36 -!- esowiki has joined. 02:38:58 -!- monqy has joined. 02:53:54 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:55:58 -!- copumpkin has quit (Ping timeout: 252 seconds). 02:56:36 -!- copumpkin has joined. 02:56:46 omg 02:56:48 monqy: nsqx is back 02:56:58 omg 02:56:58 lies 02:57:16 (Move log); 16:22 . . NSQX (Talk | contribs | block) moved page User:NSQX/CPUFuck.cpp to User:NSQX/CPUFuck.c ‎ 02:57:16 (diff | hist) . . User:NSQX/CPUFuck.cpp‎; 16:21 . . (+30)‎ . . ‎NSQX (Talk | contribs | block)‎ 03:10:07 Is that the guy who wanted to use a bot to make a lot of pages? 03:10:57 monqy: Today I tried to type "monkey island". 03:11:03 Except it came out "monqy island". 03:11:10 I don't know why I confused the two. :-( 03:11:16 :-( 03:11:29 monqy: It's OK. :-) 03:11:39 :-) 03:12:53 monqy: Anyway, hopefully I won't confuse them again. �-� 03:16:27 Sgeo_: yes 03:28:29 Is NSQX talking to himself? 03:28:44 Well, ok, I guess that's not so bad. Deciding one thing and then changing his mind if he decides he's wrong 04:02:57 -!- itidus21 has quit (Ping timeout: 252 seconds). 04:05:33 -!- itidus21 has joined. 04:14:30 -!- azaq23 has quit (Quit: Leaving.). 05:38:15 -!- segorev has quit (Quit: This computer has gone to sleep). 05:40:22 -!- copumpkin has quit (Ping timeout: 250 seconds). 05:40:54 -!- copumpkin has joined. 06:27:49 -!- nooga has joined. 06:35:26 -!- elliott has quit (Quit: Leaving). 06:38:32 @tell AnotherTest It's required for displaying results as HTML 06:38:32 Consider it noted. 06:38:39 9.*1.+9 1r~ 06:38:39 mroman: You have 1 new message. '/msg lambdabot @messages' to read it. 06:38:53 ^- binary increment. How it works is left as an exercise for the reader :D 06:40:13 It only involves black magic. 06:46:10 http://eso.mroman.ch/cgi/burlesque.cgi?q={100+110+111}{9.*1.%2B9+1r~}m[ 06:50:38 9.*1.-9 1r~8 0r~ would be decrement. 06:56:48 @messages 06:56:48 AnotherTest said 11h 54m 28s ago: http://esolangs.org/wiki/HELP_(Preprocessor) I find some alternatives rather useful when writing burlesque code. 07:06:33 -!- asiekierka_ has joined. 07:06:59 -!- asiekierka_ has quit (Read error: Connection reset by peer). 07:07:36 -!- asiekierka has joined. 07:08:48 -!- epicmonkey has joined. 07:09:41 -!- Ezequiel has joined. 07:27:19 -!- epicmonkey has quit (Ping timeout: 272 seconds). 07:32:02 00:31 you’re wachaf 07:32:10 kmc: I'm totally wachaf! 07:32:19 nice 07:45:03 -!- copumpkin has quit (Ping timeout: 272 seconds). 07:45:36 -!- copumpkin has joined. 07:49:56 -!- Ezequiel has quit (Ping timeout: 244 seconds). 07:59:51 -!- segorev has joined. 08:04:33 -!- Vorpal has joined. 08:10:32 -!- TodPunk has quit (Read error: Connection reset by peer). 08:10:45 -!- TodPunk has joined. 08:28:41 -!- oerjan has joined. 08:29:09 @messages 08:29:09 Taneb said 12h 19m 21s ago: I got bored of Sheldon... on the comic for the 9th of March, 2012 08:30:59 -!- epicmonkey has joined. 08:34:15 @tell Taneb Do you have many of these 95% finished projects? 08:34:15 Consider it noted. 09:02:50 * oerjan wonders if he has seen the characters from today's google doodle somewhere else... 09:07:49 well they're definitely _not_ the games mascots 09:08:21 the game mascots are utterly silly btw 09:10:20 duh 09:13:22 -!- segorev has quit (Quit: This computer has gone to sleep). 09:15:33 oh no i missed it 09:15:36 humm 09:15:50 no matter 09:16:16 could see it on the web if i really cared 09:20:12 -!- pikhq has joined. 09:20:41 -!- pikhq_ has quit (Ping timeout: 272 seconds). 09:20:54 missed what 10:01:23 -!- ogrom has joined. 10:06:08 -!- oerjan has quit (Quit: leaving). 10:07:19 opening ceremony 10:09:51 -!- Jafet has joined. 10:32:26 -!- ogrom has quit (Quit: begone). 10:44:29 -!- Phantom_Hoover has joined. 10:44:57 XChat is defaulting to connecting to eu-irc.net for some reason. 11:05:00 -!- ogrom has joined. 11:06:50 http://cl.ly/image/2D0U1O0k0F2e haha 11:09:49 Dylan seems to be trying to make a revival 11:09:54 -!- ogrom has quit (Quit: begone). 11:10:01 Phantom_Hoover, when does Red Dwarf start to suck? 11:10:10 I know you said season 8 sucks, but seasons before that? 11:10:10 Season 7. 11:10:17 Ah. I finished season 7. 11:10:20 I wasn't so fond of 6 but it's solid enough. 11:10:58 Is a dynamic, statically-typed language too much to ask for? 11:15:27 http://hackage.haskell.org/trac/ghc/wiki/DeferErrorsToRuntime 11:16:19 -!- ogrom has joined. 11:16:56 Aww: "Currently we cannot defer kind errors because we do not create coercions for kind equalities." 11:19:00 -!- ogrom has quit (Client Quit). 11:24:32 -!- ogrom has joined. 11:37:35 ?alternatives 11:37:35 alternatives == Modern alternative Systems Langua 11:37:40 !reset alternatives Modern alternative Systems Languages to D: Rust, ATS, Deca, Score, Epoch, Disciple(DDC), Idris 11:37:56 Due to Neat's unconstrained null 11:38:10 Oh wait that second line got cut off 11:38:20 alternatives == Modern alternative Systems Languages to D: Rust, ATS, Deca, Score, Epoch, Neat, Disciple(DDC), Idris 11:56:52 -!- boily has joined. 11:59:31 -!- MoALTz has joined. 12:01:15 -!- Jafet has quit (Quit: Leaving.). 12:12:47 -!- ogrom has quit (Quit: begone). 12:24:25 -!- pikhq has quit (Ping timeout: 240 seconds). 12:24:36 -!- pikhq has joined. 12:48:11 -!- derdon has joined. 12:51:53 -!- ogrom has joined. 12:59:05 -!- augur has quit (Remote host closed the connection). 13:13:48 -!- copumpkin has quit (Ping timeout: 252 seconds). 13:14:20 -!- copumpkin has joined. 13:19:09 -!- Madoka-Kaname has quit (Ping timeout: 276 seconds). 13:35:05 -!- pikhq has quit (Ping timeout: 240 seconds). 13:35:07 -!- pikhq_ has joined. 13:36:58 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:55:49 -!- derdon has quit (Remote host closed the connection). 13:58:21 -!- copumpkin has joined. 13:59:52 -!- pikhq_ has quit (Ping timeout: 244 seconds). 13:59:58 -!- pikhq has joined. 14:08:13 Dylan seems interesting 14:08:24 hi Sgeo_ 14:08:43 If only the ecosystem wasn't so bad that there isn't even a version for 64-bit Windows and no GUI stuff for anything other than Windows 14:09:12 Hi quintopia 14:10:02 do you ever do anything but try new languages 14:10:34 Occasionally 14:11:32 like what 14:12:26 Wrote a quick script to make a single HTML file recently. 14:12:41 Did some stuff in Second Life less recently, and intend to resume that 14:13:08 Intend to write an IRC bot once Homestuck starts updating again 14:13:08 n 14:20:36 that yells about updates whenever they happen? 14:20:43 arent there already botsthat do that 14:21:16 Yeah, but I want my bot to ping people who opt in, and also do similar for Hussie's twitter and tumblr 14:36:25 I am so bored 14:36:46 I seem to get bored more easily when I'm waiting for something than when I don't have anything to do 14:48:23 BST is UTC+1, right? 14:48:46 Yyeeeessss.... yes. 14:48:48 so 6 hours give or take to olympics? 14:48:50 err 14:48:54 right, see I screwed up there 14:48:55 7 hours 14:49:04 (9pm bst) 14:49:07 ... no wait 14:49:10 5 hours? 14:49:13 I CAN MATH 14:50:08 Good. 14:50:21 I can't ;) 14:52:24 I think I have some latent dyscalculia but nobody seems to realize it :D 14:53:45 Things I do wrong during linear algebra 14:53:50 4-0 = -4 14:54:25 Things I do wrong in Analysis: x^2 + (y-4)^2 = 0 <- unsolvable 14:56:28 I usually only get 50% of the maximum points because of such little mistakes 14:56:44 if it weren't for partial points I'd failed years ago. 15:03:12 haha 15:19:37 -!- elliott has joined. 15:22:00 -!- itidus20 has joined. 15:24:42 -!- itidus21 has quit (Ping timeout: 264 seconds). 15:24:56 -!- itidus20 has changed nick to itidus21. 15:34:18 "With permission of Pender, author of Brogue, I have released a (not the official) port of Brogue as a paid app on the Android market. 15:34:19 Note that it is expensively priced to discourage casual purchase, or haphazard installation." 15:34:24 haphazard installation 15:34:48 ,wow 15:34:50 how much 15:35:28 apparently 1 pound 27 pence is expensive 15:35:44 oh i thought it would be like £30 15:36:10 so what, is it to keep them damn casuals out 15:37:38 idk 15:41:53 -!- asiekierka has quit (Remote host closed the connection). 15:42:18 because a game is likely to be installed in such a way that it bricks your phone, of course 15:42:56 i've bricked twelve phones that way 15:46:39 ah 15:47:40 nooga: ah 15:49:12 is that a joke? 15:50:53 nooga: ah 15:56:13 -!- epicmonkey has quit (Ping timeout: 246 seconds). 16:06:35 aha! 16:07:28 why do dentists in UK are so bad and expensive? 16:08:22 -!- segorev has joined. 16:10:51 nooga: i don't know. why? 16:11:35 when I was in London I got a terrible toothache 16:12:08 so I went to a dentist and the visit was even more terrible than the ache 16:12:53 I paid 100 pounds for x-ray photo and hearing that the tooth is broken and it needs to be fixed or extracted 16:13:14 and the first procedure would cost me 270 pounds on top of that 100 16:13:17 :D 16:13:26 D: 16:13:37 so basically the dentist did nothing, she couldn't even prescribe painkillers 16:13:41 Dentists are expensive because they're only partly funded by the NHS. 16:14:21 So I think it's pretty cheap if you're under the NHS's discounts. 16:15:14 well - I wasn't 16:15:16 BUT 16:15:34 the whole surgery room was a mess, it looked like taken straight from 60's 16:15:43 except for the chair 16:16:48 Can't speak for that, my surgery is dated but in good order. 16:17:21 I went back to Poland and seen my dentist (private practice) and got the tooth done for something like 60 pounds 16:17:59 with modern equipment 16:18:55 so the airline ticket + the procedure was cheaper than this whole useless visit 16:21:09 nice 16:22:44 -!- ogrom has quit (Quit: Left). 16:24:50 yeah 16:26:55 elliott: I wonder how is it possible to play brogue on a phone ;/ 16:27:17 nooga, what about tablets? 16:27:34 i'm porting it to iPad retina 16:27:50 could work, probably suboptimal though 16:27:55 but the guy who makes the android port uses some kind of a smartphone 16:28:02 oh? 16:28:05 nooga: I think it'll work on most things if you have some kind of viewport zooming/scrolling 16:28:18 so you can flick around the viewport and it moves with you 16:28:20 it can be pretty annoying 16:28:34 based from what i've seen in HoMM II for android 16:28:39 elliott, sure it will /work/ but input is probably terrible unless completely changed 16:28:46 nooga, HoMM? 16:28:51 well brogue is pretty mouse-supporting already 16:28:55 hm 16:28:55 heroes of might and magic 16:29:09 and SDL port for android 16:29:11 elliott, a mouse is also way more precise than a finger 16:29:26 Vorpal: thus the zooming 16:29:44 still pretty clunky 16:30:03 i can see roguelikes working on my phone pretty well. it has a hwk with dir pad. 16:30:14 quintopia, hwk? 16:30:29 aaah 16:30:37 the sun is killing meeeee 16:31:24 quintopia, what do you mean with "hwk"? 16:32:57 hardware keyboard 16:33:01 -!- derdon has joined. 16:33:05 ah well yes that would definitely help 16:33:18 quintopia, now imagine playing it on a phone that is all screen, like the galaxy nexus 16:33:24 won't work as well 16:33:42 well, you'd have to adapt the interface for sure 16:33:46 but that's true of all games 16:33:50 indeed 16:34:32 but roguelikes dont really require typing things most of the time, so adaptation should be straightforward if effortful 16:34:53 dpad certainly helps, without one you are going to run into issues with making sure the user sees enough of the world on the screen while still keeping it readable and also clickable 16:34:53 aka, all actions can be done by tapping instead 16:35:01 and zooming out and in all the time is not that fun 16:36:05 dpads are impractical for existing roguelikes 16:36:06 quintopia, the thing is, tapping is imprecise compared to a mouse. So you need a much larger area to click on than with a mouse 16:36:08 diagonal movement is incredibly importnat 16:36:14 Vorpal: replace the onscreen dpad with the ability to tap a destination and have a route automatically found to it. if you need fine-grained movement, tape the corresponding edge of the screen instead 16:36:17 anyway brogue has a good interface for relatively imprecise taps 16:36:19 elliott, I assumed he meant a 8 dir dpad? 16:37:03 Vorpal: irrelevant. it's a full keyboard. i could use qweasdzxc 16:37:16 what about doing the stuff chrome on android does when you click a link when zoomed out and there are multiple possible links you could have clicked on? 16:37:23 dunno what s would do tho :P 16:37:34 showing a small pop-upish thing with a zoomed in view of those so you can click which one you meant 16:37:36 opera mini does that too 16:37:45 it responds a bit slow 16:37:50 even on a Galaxy S3 16:38:16 no? opera mini is great mobile broswer. i use it for half of all surfing 16:38:23 I meant in chrome at least 16:38:33 oh 16:38:35 quintopia, opera mini is kind of buggy under ICS wrt multi tasking 16:38:38 at least for me 16:38:58 yeah me too 16:39:00 but it doesnt matter 16:39:13 well, it is annoying enough for me that I don't use opera mini thus 16:39:52 ah. it's easy enough to launch it agaain the regular way, because it's not actually quit, just doesnt show up in the app list all the time. 16:39:57 it always saves all state 16:40:05 bettter than other broswers 16:40:14 quintopia, I had to open the app info and select force close to make it work again a couple of times 16:40:18 stopped using it after that 16:40:25 oh i never had that 16:40:43 i have to do that with irssi connectbot sometimes 16:41:17 i use dolphin hd when i need private browsing, javascript, or flash 16:41:21 quintopia, what does irssi have to do with connectbot? 16:41:28 i have it routed through orbot/tor 16:42:00 Vorpal: "irssi connectbot" is the full name of the app. it is a branch of connectbot 16:42:06 oh okay 16:42:13 quintopia, how does it differ from connectbot? 16:42:30 adds support for certain irssi specific gestures 16:42:49 irssi gestures eh 16:43:03 are you running irssi locally then? Or remotely? 16:43:08 like double-tap/camera button to switch to active channel, swipe to move up or down channel number or scroll up and down in the channel 16:43:13 remotely 16:43:48 your phone seems to have an absurd amount of hardware buttons :P 16:43:57 what model is it 16:44:05 it doesnt have a camera button 16:44:08 but my old phone did 16:44:10 ah 16:44:59 this is a D3. it has a 5-row keyboard, a power button, and a volume up/down switch 16:45:15 then the standard four soft menu buttons below the touchscreen 16:46:16 irssi connectbot uses the volume switch to change the screen resolution. regular connectbot probably does the same. 16:48:05 hm 16:48:07 D3? 16:48:12 which brand is that 16:48:47 quintopia, anyway connectbot never had problems with multitasking for me 16:49:39 I don't use the market version of it though, since I decided to write for it not multiplying the font sizes with the DPI scaling factor 16:49:46 so I use the git version 16:50:02 s/write for/write a patch for/ 16:51:09 Vorpal: motorola. the problem is that every now and then, the alt button quits working, so you can't type symbols without holding it down while typing, which is annoying and nonintuitive by now. 16:51:59 quintopia, hardware glitch? 16:52:05 or software bug 16:52:17 Vorpal: killing and restarting connectbot fixes it. 16:52:24 hm 16:54:42 there are a few other things I have been thinking about patching in connectbot 16:55:11 can't really help you with the issue you have, since I don't have a hardware alt key, nor a hardware keyboard at all 16:55:31 what I want to add is a easy to way to send tab 17:00:35 time for Brogue session 17:05:47 -!- segorev has quit (Quit: Leaving). 17:11:11 -!- epicmonkey has joined. 17:16:48 hoooh 17:16:54 killed by jackal at level 4 17:16:54 ;/ 17:18:19 -!- azaq23 has joined. 17:18:27 -!- azaq23 has quit (Max SendQ exceeded). 17:18:52 -!- azaq23 has joined. 17:18:57 nooga: a jackal? nice 17:22:36 there was no equipment 17:22:51 and I've missed a machine room 17:51:35 -!- ais523 has joined. 18:26:47 -!- zzo38 has joined. 18:32:48 -!- Taneb has joined. 18:41:49 Hello 18:41:49 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 18:42:54 Man, I've forgotten the context for that 18:43:29 Logs say I didn't know it in the first place, but now I do 18:43:40 @tell oerjan Thousands upon thousands 18:43:40 Consider it noted. 19:00:30 hi taneb 19:00:36 Hi 19:00:36 hi zzo38 19:00:42 hi ais523 19:04:28 -!- oerjan has joined. 19:21:04 Hello, oerjan 19:21:24 hi oerjan 19:21:53 -!- azaq23 has quit (Quit: Leaving.). 19:24:43 -!- pikhq_ has joined. 19:24:51 -!- pikhq has quit (Ping timeout: 244 seconds). 19:25:35 -!- azaq23 has joined. 19:27:45 @where pi10 19:27:45 I know nothing about pi10. 19:27:53 @where my hat 19:27:53 I know nothing about my. 19:27:54 -!- azaq23 has quit (Client Quit). 19:30:13 -!- azaq23 has joined. 19:31:54 hi all 19:31:55 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 19:31:59 @messages 19:31:59 Taneb said 48m 19s ago: Thousands upon thousands 19:32:04 thought so. 19:32:33 * oerjan uses the more clever method of 5% finished projects 19:32:54 pi10? 19:33:16 Trying to remember that thing I think it was shachaf made 19:33:29 Taneb: What thing? 19:33:34 The pi thing? 19:33:38 @whereis e10 19:33:38 Maybe you meant: where where+ 19:33:41 @where e10 19:33:41 I know nothing about e10. 19:33:45 @where pi 19:33:45 I know nothing about pi. 19:33:45 @where pi_10 19:33:45 (!!1)<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:33:49 @where e_10 19:33:49 let(p,q)%d=p*d`div`q;w(p,q)i=(p*i+1,q*i);(x:y:s)^d|y%d>x%d=s^d|0<1=mod(x%d)10:s^(10*d)in 2:scanl w(1,1)[1..]^10>>=show 19:33:51 That be the one 19:33:51 @where pi_11 19:33:51 [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])!!n|n<-[0..]] 19:33:56 That be the three 19:34:24 > (!!1)<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:34:25 "31415926535897932384626433832795028841971693993751058209749445923078164062... 19:35:40 hm (!!1)<$>transpose seems like something that should be simplifable 19:35:54 Taneb: Golf it! 19:35:58 oerjan: Golf it! 19:36:10 shachaf, I'm too busy deobfuscating it 19:36:13 We'd love to get rid of (!!1)<$>transpose 19:36:23 ghci 19:36:33 Wrong window? 19:36:35 Damn 19:36:42 > [show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:36:43 ["312","31420","314159268","31415926535897940","314159265358979323846264338... 19:36:50 oerjan: But keep in mind edge cases of how transpose works. 19:36:58 I've just got a new computer, and I need to get wifi on it 19:37:06 But it's really fast and it's scarily fast 19:37:18 hmph 19:37:21 And I'm expecting this laptop to be as fast as it 19:39:01 > [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])!!n|n<-[0..]] 19:39:04 mueval-core: Time limit exceeded 19:39:08 > [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])!!n|n<-[0..]] 19:39:11 mueval-core: Time limit exceeded 19:39:14 bah 19:39:28 > (!!1) <$> [show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:39:31 mueval-core: Time limit exceeded 19:39:47 The transpose... is there for strictness? 19:40:03 No. 19:40:03 > transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:40:06 mueval-core: Time limit exceeded 19:40:23 > transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:40:26 mueval-core: Time limit exceeded 19:40:32 oh wait 19:41:13 -!- Madoka-Kaname has joined. 19:41:13 -!- Madoka-Kaname has quit (Changing host). 19:41:13 -!- Madoka-Kaname has joined. 19:41:23 > head<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:41:24 "31220926835897940384626433832796428841971693993751058209749445916078164062... 19:41:45 hm why do you need (!!1) 19:41:47 that's not pi 19:41:56 i know that much 19:42:11 it's pretty close in some places though 19:42:19 oh right 19:42:22 Try it with (!!2) 19:42:34 > (!!2)<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:42:37 mueval-core: Time limit exceeded 19:42:46 > (!!2)<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 19:42:50 mueval-core: Time limit exceeded 19:43:17 i expect that's the same as (!!1), after a bit of thought 19:43:39 the (!!1) is because only the _second_ number to give a certain digit is sure to get it right 19:44:03 @where pi_11 19:44:03 [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])!!n|n<-[0..]] 19:44:12 uhm 19:44:40 who likes SciFi novels? 19:44:59 readers of scifi novels 19:44:59 I like some of them? 19:46:07 here's one for you: http://en.wikipedia.org/wiki/Golem_XIV 19:46:45 But I've got Do Androids Dream Of Electric Sheep, Second Foundation, AND The Stainless Steel Rat's Revenge to read! 19:47:12 ok (!!1)<$>transpose is actually very clever for the purpose and i'm not sure it can be improved upon 19:50:26 ugh 19:50:31 it looks like perl 19:50:57 well it's obfuscated/golfed, of course 19:52:43 > (0$0.&.) 19:52:44 The operator `Data.Bits..&.' [infixl 7] of a section 19:52:44 must have lower p... 19:53:04 > (0$0*) 19:53:05 The operator `GHC.Num.*' [infixl 7] of a section 19:53:05 must have lower prece... 19:53:12 @info $ 19:53:12 ($) 19:53:18 @src ($) 19:53:18 f $ x = f x 19:53:24 @fixity ($) 19:53:24 Unknown command, try @list 19:53:33 > (0$0$) 19:53:33 The operator `GHC.Base.$' [infixr 0] of a section 19:53:34 must have lower prec... 19:53:55 the trick works precisely because $ has that fixity, even for $ itself 19:54:26 and because of the way ghc gives precedence errors 19:54:46 :) 19:56:29 0 is just an arbitrary atomic expression, of course, since this never gets to the type checking stage 20:04:24 * oerjan wonders if anyone else is not watching the ceremony 20:04:56 i'm watching a guy from ##crawl almost die in acehack 20:05:15 ah, a fine connoiseur of entertainment 20:05:25 it's beautiful 20:06:35 > (!!1).transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 20:06:38 "31415926535897932384626433832795028841971693993751058209749445923078164062... 20:06:40 oerjan: Except that's lambdabot-cheating. 20:06:59 shachaf: i know. i wasn't even bothering to suggest it :P 20:08:42 > [8-i.&.3*4| i <- [0..3]] 20:08:43 Ambiguous type variable `t' in the constraints: 20:08:43 `Data.Bits.Bits t' 20:08:43 ... 20:08:50 > [8-i.&.3*4| i <- [0..3::Int]] 20:08:51 [8,4,0,-4] 20:09:36 -!- augur has joined. 20:10:14 edwardk has a file with a history that pi_10 went through. 20:10:40 i guess that's pretty golfed, then 20:11:38 Wow, I saw a comment where someone said that it's ridiculous that Americans value having above-average pay because everyone should have that. 20:11:45 -!- asiekierka_ has joined. 20:11:50 -!- asiekierka_ has quit (Read error: Connection reset by peer). 20:15:11 @where pi_11 20:15:11 [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])!!n|n<-[0..]] 20:15:23 Phantom_Hoover: well they probably meant lowering the baseline so that everybody has what would have been considered above-average beforehand? 20:16:06 Well... "I don’t know what the USA is like by bragging about being paid ‘above-average’ wage isn’t particularly a good thing in any industry; you should all have it." 20:16:23 Doesn't really sound like they're saying the average American wage is too low. 20:17:02 > [show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])|n<-[0..]] 20:17:05 ["32","312","31420","314159268","31415926535897940","3141592653589793238462... 20:17:05 -!- derdon has quit (Remote host closed the connection). 20:17:38 > (!!1)<$>transpose[show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])|n<-[0..]] 20:17:42 mueval-core: Time limit exceeded 20:17:54 @where pi_10 20:17:54 (!!1)<$>transpose[show$sum[100^2^n`div`(a^i*i)*(8-i.&.3*4)|i<-[1,3..9*2^n],a<-[2,3]]|n<-[0..]] 20:18:22 (!!1)<$>transpose[show(sum[(8-i.&.3*4)*div(10^2^n)(a^i*i)|i<-[1,3..3^n],a<-[2,3]])|n<-[0..]] 20:19:03 i guess that's slightly shorter, but too hard for lambdabot to calculate? 20:28:18 -!- boily has quit (Quit: WeeChat 0.3.8). 20:31:16 Well, I've turned my factorial program into ART 20:31:51 i thought it was art already 20:32:02 http://24.media.tumblr.com/tumblr_m7u5samb5G1rysy5go1_500.png 20:32:10 SCARY ART 20:32:39 damn that's scary 20:33:21 what is your goal in creating such a ridiculous factorial program 20:33:50 You should probably find a different channel. 20:34:12 i think you misinterpret me 20:34:31 quintopia, it is a plea for help 20:34:34 help me i'm trapped in an unsafePerformIO factory 20:34:42 what i mean is: under what constraints was it written 20:35:11 Um, it's a demonstration that Applicatives are really powerful 20:35:23 Especially when combined with unsafeCoerce 20:35:52 Then I just had some fun with it 20:36:17 quintopia: Applicative (-> r), hth 20:36:24 wait 20:36:25 hth? 20:36:32 ((->) r) 20:36:35 *quintopia: Applicative (r ->), hth 20:36:41 define:hth 20:36:42 Functor 20:36:47 hope this helps 20:36:49 Okay 20:36:58 shachaf, I don't think I use fmap at all 20:37:03 would knowing haskell help 20:37:09 Oh, I do 20:37:13 Wait, misread. 20:37:16 quintopia, kinda 20:37:17 would knowing any categorry theory at all help 20:37:21 Probably not 20:37:36 I think Haskell made up Applicatives 20:37:39 gory cats 20:38:04 Taneb: they're supposedly equivalent to something categorical about products (tuples) 20:38:12 if by haskell you mean conor mcbride 20:38:21 oerjan: empty :: f (); pair :: f a -> f b -> f (a,b) 20:38:28 oerjan: is equivalent, in Haskell, because all Haskell functors are strong, IIRC 20:38:34 applicatives are ... strong lax monoidal functors? 20:38:42 something like that was the term 20:38:55 pure x = fmap (const x) empty? 20:39:11 Taneb: yes, or empty <$ x 20:39:21 (<*>) goes along the same lines too, it's simple to define 20:39:25 Yeah 20:39:29 Hmm 20:40:10 * x <$ empty, i think 20:40:14 :t (<$) 20:40:15 forall a (f :: * -> *) b. (Functor f) => a -> f b -> f a 20:40:26 Or empty $> x? 20:40:28 :t ($>) 20:40:29 Not in scope: `$>' 20:40:31 :( 20:42:26 :t (>$) 20:42:27 Not in scope: `>$' 20:42:33 nah 20:42:57 $> is a thing 20:43:26 unlike <* vs. *> it's not really needed, however, because there is only one action so there's no alternative order to perform them in 20:44:03 :t (<*) 20:44:03 forall (f :: * -> *) a b. (Applicative f) => f a -> f b -> f a 20:44:05 :t (*>) 20:44:06 forall (f :: * -> *) a b. (Applicative f) => f a -> f b -> f b 20:50:00 -!- monqy has quit (Quit: hello). 21:01:16 uh 21:01:20 still golfing? 21:01:50 Nah, we're discussing obfuscation and art now 21:04:53 http://24.media.tumblr.com/tumblr_m7u5samb5G1rysy5go1_500.png 21:07:01 Taneb: what's with all the |s in that code? 21:07:26 olsner, bad rendering 21:07:29 Should be (s 21:07:56 not only the code is obfuscated! 21:08:36 Taneb, ...why is that hosted on tumblr. 21:08:48 Phantom_Hoover, because I posted it on my tumblr 21:08:54 AND NOWHERE ELSE 21:09:04 !bfjoust a http://sprunge.us/CHIS 21:09:13 ​Score for quintopia_a: 24.0 21:09:19 wowoweewow 21:09:31 what did i break 21:09:45 Taneb, I see your TV Tropes page. 21:09:54 I have one of those? 21:09:57 Oh yeah 21:10:16 You think you have it bad, there's no way in hell the subtitler would get my name right. 21:11:13 ah right 21:11:20 The subversion of "This is not a drill" was a bit scary 21:11:36 I was on an aeroplane and the oxygen masks came down 21:11:50 that is quite scary 21:12:05 -!- Taneb has left ("Leaving"). 21:12:10 oh, where was that? 21:12:10 -!- Taneb has joined. 21:12:15 I have GOT to stop doing that 21:12:16 i once woke up in the middle of the night with my heart pounding and a sharp pain in the left-middle part of my chest 21:12:26 after i didn't die i concluded i'd probably pulled a muscle 21:12:45 olsner, somewhere over Asia, I believe 21:12:56 Asia or Europe 21:12:59 Eurasia 21:13:20 actually I was referring to your tvtropes page 21:13:52 http://tvtropes.org/pmwiki/pmwiki.php/Tropers/Taneb 21:14:34 (sorry, there are some things a man should be able to keep to himself) 21:14:43 (I HAVE MADE A TERRIBLE ERROR IN JUDGEMENT) 21:14:51 (OH NO) 21:15:10 (IS IT ABOUT ME?) 21:15:24 (THE "SEX COD" NAME IS IRONIC) 21:15:44 Having your presence elsewhere online dragged up is always embarassing! 21:16:28 !bfjoust a http://sprunge.us/BXBY 21:16:31 ​Score for quintopia_a: 34.9 21:16:39 hmm 21:17:03 Nah, I'm me online 21:17:27 If you go up to me in real life with a webcam and a website saying "THIS IS TANEB IN REAL LIFE", that would be embarrassing 21:17:37 But online, I'm just one person 21:17:45 Well, three. 21:17:50 But really just one. 21:18:07 Multiple web personality disorder. 21:18:42 There are a couple of places I go by "askit0" 21:18:56 Steam, for one 21:19:06 And there's a username I use when I want to be secret 21:19:10 Is it "ngevd" 21:19:12 No 21:19:15 Well 21:19:16 Maybe 21:19:55 nathan gollum elliott van doorn 21:20:12 The G stands for George 21:20:25 ok i'll remember that for a couple of minutes 21:20:34 How crazy would it be if it stood for Gregor or something 21:20:42 Something here being glogbot 21:20:43 total madness 21:25:37 TIME TO SAY GOODBYE 21:25:38 -!- Taneb has quit (Quit: Leaving). 21:27:03 -!- Vorpal has quit (Ping timeout: 248 seconds). 21:31:15 !bfjoust a http://sprunge.us/CieJ 21:31:18 ​Score for quintopia_a: 65.1 21:31:22 much better 21:33:11 good name 21:34:59 now if i could only do decoy size detection i could beat everything :P 21:53:16 ?messages 21:53:16 Taneb said 1d 10h 42m 49s ago: There's no Peanoid or Copeanoid instance for Int8 21:53:16 Taneb said 1d 9h 57m 52s ago: Neither does Word64 21:53:43 Taneb: Oops! Maybe I made a mistake 21:56:51 X-BIT seems down again; do you know when they are up again, or did they change the port number without notifying me or something like that? 21:59:17 http://x-bit.org/ftelnet/ does not seem to work, so I would assume they are just temporarily down, since the website works? 22:01:13 O, so the computer is not down only the telnet service is down. 22:02:18 ping(1) says so, yes. 22:10:25 i wodner if one could try to breed bfjoust warriors using genetic algorithms 22:10:47 it has been tried repeatedly 22:10:48 to poor results 22:10:53 oh 22:10:56 well depending on your definition of genetic 22:11:00 maybe fizzie's was catually genteic 22:11:02 *actually genetic 22:11:49 23:15 < Taneb> (IS IT ABOUT ME?) <-- it looks like an ancient s-exp 22:15:39 -!- MoALTz has quit (Quit: Leaving). 22:43:08 -!- LorenzoVonSmashi has joined. 22:45:03 -!- LorenzoVonSmashi has quit (Read error: Connection reset by peer). 22:45:29 -!- LorenzoVon has joined. 22:45:47 hullo. 22:45:54 `welcome LorenzoVon 22:46:03 thanks! 22:46:04 LorenzoVon: 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.) 22:46:30 what, 22:46:34 like... 22:46:40 python 22:47:07 LorenzoVon: See wiki for information 22:47:19 ok! 22:48:54 As I said to someone else the other day... the esolang community exists to try to create a programming language more ludicrous and unusable than Haskell. 22:48:58 We have yet to succeed. 22:49:06 haskell is neither ludicrous nor unusable 22:49:15 sort of like that joke is neither accurate nor amusing 22:49:52 yeah well you /would/ say that 22:50:07 haha! 22:50:12 this 22:50:27 I 22:50:35 soundnfury: i am far from the only haskell programmer here :P 22:50:42 soundnfury, obviously, on account of it being a correct summary. 22:51:11 Phantom_Hoover: thank you for the implication that correctness is typical of me 22:51:30 Nonono, you misunderstand. 22:51:43 You would say correct things, but you would also say incorrect things. 22:51:52 The latter more often, obviously. 22:52:10 Phantom_Hoover: i take back my gratitude and replace your brain with a brick 22:52:38 Little do you realise that I have unbounded brick/brain interchange abilities. 22:52:50 i wrote the one-line definition of an esolang on the wiki, clearly i have infinite domain over what can be classed as an esolang or not 22:52:55 fear my wrathful power 22:53:00 oh wait there's someone new 22:53:01 hi LorenzoVon 22:53:05 you only have semi-infinite domain 22:53:09 hi LorenzoVon 22:53:13 because you're a Poisson distribution 22:53:20 (and I'm less than zero) 22:53:35 hi LorenzoVon, don't even think about making an awful xkcd reference like soundnfury just did 22:53:38 http://xkcd.com/12 22:53:40 also a brainfuck derivative 22:53:47 ugh you linked it why why why 22:53:55 Phantom_Hoover: to annoy you 22:53:59 hey! 22:54:07 because people who don't like xkcd references MUST be annoyed AT ALL TIMES 22:54:14 sorry 22:54:22 cheers, 22:54:25 cheers, 22:54:31 quit 22:54:36 hi 22:54:38 soundnfury: please, try being constructive 22:54:38 ais523: You have 5 new messages. '/msg lambdabot @messages' to read them. 22:54:45 -!- LorenzoVon has quit (Quit: stuff). 22:54:55 remember that chick who once wandered here because she thought that the channel is about magic & stuff? 22:54:58 ais523, req. soundnfury be banned for noobscaring 22:55:12 nooga, I don't remember any of them being female. 22:55:16 nooga: if by "that chick" you mean "about 50 people", yes 22:55:16 "noobscaring" == saying rude things about Haskell? 22:55:26 i've seen only one huh 22:55:29 making xkcd references 22:55:37 soundnfury: have you ever seen Lazy K? it has the same issues as Haskell, and more besides 22:55:37 soundnfury: No, it's "caring about noobs" 22:55:51 ais523: kick ais523 for anti-haskell sentiment :) 22:55:58 ais523: No, kick me! 22:56:05 clearly ICA > Haskell 22:56:06 HASKELL? MORE LIKE DUMBSKELL 22:56:13 elliott: depends on what you're using it for 22:56:27 ASSKEL 22:56:33 L 22:56:34 @messages 22:56:34 elliott asked 1d 4h 53m 43s ago: I thought killing a monster with a pet didn't give you death drops, re: gnomes and candles? 22:56:34 elliott said 1d 2h 27m 43s ago: please fix the thing whereby you can't see which monsters you detected with the spell 22:56:34 elliott said 1d 2h 27m 39s ago: pure interface screw 22:56:34 elliott said 1d 2h 27m 28s ago: of course, they should be noted in some way to not be the current state of the level, say by greying them out 22:56:34 elliott said 23h 38m 32s ago: also please fix wresting 22:56:46 haha 22:56:50 i forgot i said those 22:56:58 Please fix wrestling, ais523. 22:57:03 lesson: don't let me watch a nethack game or i'll complain about it to ais523 22:57:32 I personally find past-level-state marks more confusing than useful 22:57:36 shachaf, an admirable goal considering how painful it is in DF. 22:57:43 ais523: well, they should be accesible in /some/ way 22:57:43 hate them in Crawl… 22:57:45 Wait did I say painful I mean awesome. 22:57:50 ais523: rather than making you memorise where the monsters were 22:57:51 and this lead to a flamewar that pretty much killed TAEB development 22:57:54 ais523, please implement DF's wrestling system. 22:57:58 ais523: say, by pressing a key to bring up the screen you saw when last detecting monsters 22:58:05 yep, that's more reasonable 22:58:07 but it's a lot of work 22:58:20 what was TAEB again? 22:58:24 NetHack bot 22:58:27 tactical amulet extraction bot 22:58:48 ais523: (do you have any wresting plans; please don't say no; "removal" is perfectly acceptable) 22:59:09 elliott: hmm, maybe I'll copy it from Slash'EM 22:59:12 ais523, hmm, what specific thing is confusing about the system? 22:59:24 Is it just that they're displayed the same way as monsters usually are? 22:59:42 ais523: what does slash'em do 22:59:47 Phantom_Hoover: even greyed-out, it frequently confuses newbies to Crawl, and I personally dislike it because there's no easy way to tell the age of the information 22:59:53 elliott: it doesn't, I just wanted an amusing response 22:59:57 one of the few things it doesn't have :) 23:00:03 -!- LorenzoVonSmashi has joined. 23:00:08 ais523: I was very worried 23:00:21 I don't really see that wresting adds any value, really 23:00:23 welcome back LorenzoVonSmashi 23:00:32 back! 23:01:09 ignore soundnfury, he is bad, we are nice people 23:01:09 except 23:01:31 we're nice? :( 23:01:55 so 23:03:24 I'm nice too :'( 23:04:33 nice people don't quote xkcd inappropriately 23:05:03 oh, 23:05:14 can't 23:05:39 * oerjan makes a brainfuck derivative for quoting xkcds 23:06:26 * oerjan thinks LorenzoVonSmashi is mixing up the space and return keys 23:08:35 It's 23:08:59 nick 23:09:24 -!- LorenzoVonSmashi has changed nick to VonSmashington. 23:10:14 `addquote * oerjan makes a brainfuck derivative for quoting xkcds 23:10:18 854) * oerjan makes a brainfuck derivative for quoting xkcds 23:12:35 the 23:12:49 hi 23:13:26 VonSmashington, OK now, remember: press the long key between words, not the tall one. 23:14:53 wait,i,might,have,misprogrammed,my,client.Is,it,unfailingly,doing,that,or,is,it,only,sometimes?also,could,someone,double,check,his,statement,for,me? 23:15:08 (hence,the,comma,delimiter) 23:15:37 VonSmashington: you made your own client? i suspect you forgot to put a : before the message part of the PRIVMSG 23:15:40 Yeah it's consistently doing that. 23:15:42 VonSmashington: yes, that works 23:15:48 so far all of your message have been exactly one word long :) 23:15:58 before the comma ones 23:16:28 `quoerjan 23:16:29 how about now, is this better? 23:16:31 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quoerjan: not found 23:16:40 `run echo "quote oerjan" > bin/quoerjan; chmod +x bin/quoerjan 23:16:40 VonSmashington: yes! 23:16:41 much better 23:16:43 No output. 23:16:44 `quoerjan 23:16:48 7) what, you mean that wasn't your real name? Gosh, I guess it is. I never realized that. \ 18) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! \ 21) In an alternate universe, ehird has taste \ 22) IN AN ALTERNATE UNIVERSE: In an alternate 23:16:55 How do you get a random quote? 23:17:21 with a regexp? i don't think that's supported. 23:17:31 `quote 23:17:35 90) I seem to think of coaxial cables as being omnipotent somehow. 23:17:36 that's a random quote 23:17:43 A random quoerjan. 23:17:49 quørjan 23:18:02 `run quorjan | shuf -n 1 23:18:03 woo! 23:18:05 bash: quorjan: command not found 23:18:10 ok, then i'll repost my previous message 23:18:12 `run quoerjan | shuf -n 1 23:18:15 22) IN AN ALTERNATE UNIVERSE: In an alternate universe, I would say "In an alternate universe, ehird has taste" 23:18:19 shachaf: a quoerjandom? 23:18:37 the client i've programmed doesn't show formatting, only raw unicode tcp data sent by the server. this usually is understandible, but since this is a programming channel, I'm slightly worried as to whether the server's formatting/whois data will trick me into ignoring programming jargon. 23:18:43 `run echo "quoerjan | shuf -n 1" > bin/quoerjandom; chmod +x bin/quoerjandom 23:18:46 No output. 23:18:47 `quoerjandom 23:18:51 7) what, you mean that wasn't your real name? Gosh, I guess it is. I never realized that. 23:18:55 * oerjan is surprised he remembered that syntax right 23:19:08 `quoerjandom 23:19:09 `quoerjandom 23:19:09 `quoerjandom 23:19:09 that is a surprisingly specific command 23:19:15 `prevlog avocado 23:19:16 408) Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. 23:19:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: prevlog: not found 23:19:26 err, it's not that, is it? 23:19:27 201) oerjan: What, can girls aim their penises better? 23:19:27 771) Why does CL get called functional? it's sort of like how you call ancient greece democratic. 23:19:30 `pastlog avocado 23:19:40 can we just delete the qdb 23:19:42 it's all bad 23:19:56 VonSmashington: zzo38's client does that too! 23:19:57 elliott: you have to delete it 1 in 5 quotes at a time 23:19:57 elliott: But quote #... You know, that one! 23:20:00 -!- pikhq has joined. 23:20:03 No output. 23:20:03 `quote 23:20:04 elliott, more like you're bad 23:20:05 `run echo $((RANDOM % 500)) 23:20:05 `quote 23:20:07 `quote 23:20:07 VonSmashington: his syntax-highlights the irc protocol though 23:20:08 `quote 23:20:10 `quote 23:20:13 -!- pikhq_ has quit (Ping timeout: 250 seconds). 23:20:16 528) They're (according to current plans/rumours) going to release a grand total of approximately 1.1 MeeGo devices; the N9, plus the N950 "developers only" phone, which I'm counting as 0.1 because (even though it is a MeeGo device) it's not going to actually be released. 23:20:18 no, we can't delete all the quotes, we can only ask for 5 quotes and delete the worst ones 23:20:23 221) [CTCP] Received CTCP-ERRMSG reply from clog: unknown CTCP: ERRMSG. 23:20:24 olsner: I already said that 23:20:28 I might have it do that 23:20:32 OK, 221 is great 23:20:35 ais523: ok 23:20:39 138 23:20:39 528 is meh 23:20:40 567) CakeProphet: mr president, in the best egyptian judicial traditions has now been put off to friday. but i want my money back'. we know it generally deals with major infrastructure projects which could form part of the emergency package for korea, on christmas eve, in the interests of consumers and the environment of gmos. 23:20:41 622) fizzie: It's like a JIT, if JITs were... strings. 23:20:42 160) (I've just been playing with myself.) 23:20:45 ais523: it counts more when I say it 23:20:54 567 isn't so good for fungot 23:20:55 ais523: i have expressed them when they may have a reform effected with one stroke of the pen. not so here. here, then, and to employ means, rather few, fnord, smugglers, and their interest, to raise the right honourable baronet's propositions respecting the produce of his labour." therefore do pilgrims in their beautiful example teach liberty, teach republican institutions, as at some other great conjunctures in our history, a 23:21:02 160 is not interesting 23:21:04 elliott: so, it's like a string? 23:21:10 i like how the botspam inevitably starts when someone new comes in 23:21:12 622 isn't too good either 23:21:21 622 is about tcl 23:21:30 you know what, I'm going to be edgy and subversive and delete one without asking elliott's approval 23:21:33 `delquote 160 23:21:33 elliott: Did you hear that adding nullary typeclass support to GHC consists of removing one line? 23:21:36 ​*poof* (I've just been playing with myself.) 23:21:39 ais523: whoa there!!!! 23:21:40 elliott: everyone is so eager to show off the wonders of this channel 23:21:42 get in line, mister!!! 23:22:55 -!- shinmei has joined. 23:23:17 the pingponging is fantastic 23:23:23 i get to see it happen. 23:23:37 -!- shinmei has left. 23:24:41 shachaf: wait, how do you use a nullary typeclass? 23:25:24 -!- pikhq has quit (Ping timeout: 252 seconds). 23:25:30 -!- pikhq_ has joined. 23:25:51 foo :: RiemannHypothesis => ... -> ... 23:25:59 VonSmashington: I think freenode actually doesn't require pongs, amusingly 23:25:59 unsafePerformIO :: Unsafe => IO a -> a 23:26:16 interesting! 23:26:18 how does one timeout? 23:27:21 shachaf: huh 23:27:28 -!- oerjan has quit (Quit: Good night). 23:31:03 what're you using, VonSmashington, telnet? 23:31:12 no 23:31:19 I'm using a homeade client 23:31:38 just straight tcp on port 6667 23:32:15 any reason your client doesn't support CTCP VERSION? 23:32:38 i have nothing programmed into it 23:32:52 VonSmashington: you just timeout with TCP, I think 23:32:54 it literally sends only what i type, basically 23:33:35 oh, ok, i see. 23:33:37 I think TCP is a proto cool guy. Eh times out connections and doesn't afraid of anything. 23:33:54 . . . that's the bot? 23:34:02 hahachaf 23:34:36 23:35:59 olympics are starting1 23:36:17 VonSmashington, they started hours ago man. 23:36:27 they started /days/ ago 23:36:33 Berners-Lee featured, apparently. 23:36:44 They started /years/ ago. 23:36:57 Phantom_Hoover: lol. I meant that the football started on Thursday 23:37:13 also, they started /in ancient Greece/. Ago. 23:37:26 they started /centuries/ ago 23:37:30 Football, xkcd... three strikes and you're out. 23:37:33 Channel policy. 23:37:35 haha, they started like... centuries ago 23:38:07 but now I think we've said enough about sports for 4 years 23:38:26 what's the third strike, mentioning comp.lang.c? 23:38:35 No. 23:38:54 I can't tell you because giving a list would constitute striking. 23:39:45 "Anything not on your list." -- Russell 23:39:53 wait, so if i say football football football 23:40:11 oh, darn, i thought it was automatic 23:40:27 that would be excelent. 23:40:50 not excellent, then? 23:41:03 VonSmashington, that's just the same strike 3 times. 23:41:12 what are you, some kind of idiot??? 23:41:50 i am no such thing! fisty cuffs, sir! *rolls up his sleeves* 23:41:56 Anyway so long as you don't start spouting right-wing crap or pseudoscience you're safe enough. 23:42:12 oh wait, fisticuffs? spelling isn't my forte' 23:42:55 20 oz red bull 23:42:57 check 23:43:04 1.75 litres of 100 proof smirnoff triple distilled. 23:43:07 check 23:43:10 oh, I'm a radical anarcho-libertarian. Is that a strike? 23:43:33 depends, how radical 23:43:37 would mentioning "trade union" be a strike, or just a bad pun? 23:43:37 do you do backflips 23:43:38 soundnfury: you went up to bat in your underwear. you were disqualified. 23:43:54 HOMEOPATHY 23:44:04 soundnfury: you can be whatever you want as long as you don't tell us 23:44:22 of course, you can also be many things even if you do tell us 23:44:24 Phantom_Hoover: no, I don't, because that would be silly 23:44:27 otherwise we'll bring out the #esoteric hate machine 23:44:43 is that a thing? 23:44:48 it is hate-complete 23:44:53 soundnfury, strike strike strike 23:45:11 -!- epicmonkey has quit (Ping timeout: 272 seconds). 23:45:53 oh, there you go, it does have a ping timeout 23:46:07 well, it's hate-equivalent. 23:46:09 ais523, req. soundnfury be kicked for noobscaring, liking football and xkcd, boring politics 23:46:33 I wonder, can the hating problem be solved? 23:47:35 oh god being of legal drinking age is awesome. 23:47:44 I wonder when it will cease being awesome. 23:47:50 probably tomorrow. 23:47:50 hahaha legal drinking age here is 18 23:47:55 Phantom_Hoover: yeah yeah 23:48:07 also we can consistently have sex at 16. 23:48:10 vietnam war, man. 23:48:11 or something 23:48:15 actually no 23:48:17 being of age doesn't matter to me... I distill! woo! 23:48:35 I don't actually remember why our age is 21 here. 23:48:45 but I do know that it got that way for a stupid reason 23:48:52 and then political pressures keep it that way. 23:48:57 it is kind of nice, however. 23:48:59 I was under the impression that it was hyperbolic drunk driving rhetoric. 23:49:08 Phantom_Hoover: no I think it was in place before that 23:49:09 VonSmashington, don't you need a licence to do that. 23:49:16 23 is when you can start drinking biologically with minimal damage 23:49:24 Phantom_Hoover: for example a common complaint during the vietnam war era was that you could be drafting at 18. but couldn't drink until 21. 23:49:34 *drafted 23:49:44 Huh. 23:50:02 but yeah the mothers against drunk driving is probably one of the political pressures that keeps it in place today. 23:50:08 oh, bummer, have i disconnected? 23:50:09 or whatever they call themselves now. 23:50:15 VonSmashington: no 23:50:28 no, wait, the max size of my reading pane has been exceeded. 23:50:31 brb. 23:50:33 .. 23:50:36 -!- VonSmashington has quit (Read error: Connection reset by peer). 23:50:40 lol? 23:51:02 also I'd like to point out that mosh + dedicated server = best IRC experience 23:51:06 -!- VonSmashington has joined. 23:51:08 I never have to reconnect to anything ever. 23:51:28 hooplah! 23:53:37 VonSmashington: does your client not continue scrolling down when it runs out of buffer?