00:01:12 I did work experience in RBS once, muha...ha? 00:01:34 Sgeo: the ? was implicitly asking about it 00:02:46 elliott, back in high school, over the summer I would work for the school district doing things like putting RAM into the computers or vacuuming the insides of computers 00:03:01 Mostly meanial computer stuff 00:03:14 ok 00:17:40 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:17:53 -!- Nisstyre has joined. 00:36:36 -!- copumpkin has joined. 00:50:05 -!- DHeadshot has joined. 00:52:10 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:52:19 -!- DHeadshot has joined. 01:27:18 I have recorded this session of Dungeons&Dragons game now. 01:28:21 -!- derdon_ has joined. 01:30:25 elliott, Phantom__Hoover monqy new album 01:31:23 -!- derdon has quit (Ping timeout: 245 seconds). 01:41:28 -!- NihilistDandy has quit. 01:46:04 -!- Phantom__Hoover has quit (Ping timeout: 260 seconds). 01:48:42 -!- Phantom_Hoover has joined. 01:49:13 Sgeo: is there anything worth getting in the humble android bundle? 01:49:33 quintopia, I don't know about the other games, but Uplink is good 01:50:26 Hey cool, I can get an internet connection in my Linux partition again. 01:51:01 Sgeo: i dont have a tablet 01:51:41 quintopia, is the PC version available if you buy the bundle? 01:51:53 ayes 01:52:18 will it run in 1gig of RAM? 01:52:31 It's from 2000, so probably. 01:54:04 ok 02:00:41 Why are all commands of Ragaraja are undefined? 02:02:41 because ragaraja says what he wants and you better do it or else 02:02:51 he doesnt have to predefine his commands 02:02:58 his commands are his wishes 02:05:22 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:05:27 -!- DH____ has joined. 02:14:30 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:17:58 hey guys 02:18:00 does http://esolangs.org/wiki/Special:RecentChanges work 02:19:15 it appears to? 02:20:38 good 02:26:24 -!- DH____ has quit (Read error: Connection reset by peer). 02:26:29 -!- DHeadshot has joined. 02:28:46 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:41:00 -!- david_werecat has quit (Ping timeout: 244 seconds). 03:24:57 -!- copumpkin has changed nick to pumpkin. 03:26:07 -!- heroux_ has joined. 03:26:26 -!- pumpkin has changed nick to copumpkin. 03:27:48 -!- variable has quit (Ping timeout: 268 seconds). 03:27:48 -!- heroux has quit (Ping timeout: 268 seconds). 03:28:06 -!- variable has joined. 03:28:07 -!- variable has quit (Changing host). 03:28:07 -!- variable has joined. 03:28:13 -!- yiyus_ has joined. 03:29:01 -!- yiyus has quit (*.net *.split). 04:16:57 -!- MoALTz has joined. 04:26:57 -!- itidus21 has joined. 04:28:36 -!- jlaire_ has changed nick to jlaire. 04:42:57 -!- ais523 has joined. 04:43:45 lambdabot: messages? 04:44:03 ais523: it's @messages? :) 04:44:07 -!- MoALTz has quit (Ping timeout: 272 seconds). 04:45:20 lambdabot: @messages? :) 04:45:20 Sorry, no messages today. 04:45:29 lambdabot: @botpoison :'( 04:45:29 Unknown command, try @list 04:52:01 elliott: it'd tell me if I had messages if I said anything at all 04:52:06 @messages 04:52:07 You don't have any new messages. 04:52:11 see, that was redundant :) 04:52:16 ais523: that's not quite true 04:52:22 * elliott if you use ACTIONs, it won't bother you 04:52:29 there's some other way I think but I forget what it is 04:52:30 oh, I didn't know that 04:57:05 kmc: Did you know that in Python2, random.choice('aá') will randomly return one of ['a','\xc3','\xa1']? 04:58:15 How about u'aá'? 04:58:55 Oh, that works. 05:00:41 I guess that's just how Python strings are. 05:02:28 I guess 'foo' is like a ByteString, encoded with some arbitrary encoding, and u'foo' is like Text. Or something. 05:02:43 O, you have to indicate if you want byte strings or Unicode strings. I do not think it is a problem 05:03:45 Right. I just didn't know Python worked that way. 05:09:13 -!- oonbotti has quit (Quit: oonbotti). 05:10:55 -!- oonbotti has joined. 05:14:01 -!- oonbotti has quit (Client Quit). 05:15:56 It's clearer in Python 3. 05:16:00 str is renamed to bytes and so on. 05:16:56 And unicode is renamed to str? 05:17:15 elliott: Hey, computers are bad. Can I have a copy of @? 05:17:30 No. 05:17:34 And yes, I think so? Not sure. 05:17:37 Maybe not. 05:17:43 :-( 05:18:17 -!- oonbotti has joined. 05:21:03 -!- derdon_ has quit (Remote host closed the connection). 06:18:05 -!- oerjan has joined. 06:46:24 -!- oerjan has quit (Quit: leaving). 06:47:48 One thing a continuation monad seem to do in Haskell is to build up a data structure, including backward. Does a continuation in a different programming language does something similar? 07:02:36 zzo38, I'm not entirely sure, but I think the Continuation monad is delimited continuations 07:03:19 Sgeo: Cont in Haskell? 07:03:31 So delimited continuations in other languages might be able to do similar. I should note that I'm not thinking this through at the moment, just remembering what I've seen things called 07:03:46 It depends on what primitives you provide. 07:04:15 You can write shift/reset for Cont, or you can write callCC (or others). 07:06:15 What does shift/reset mean? 07:06:37 https://en.wikipedia.org/wiki/Delimited_continuation 07:07:11 Other programming language continuation is usually callCC, in Haskell we can have callCC but also the monad operations (fmap/return/join/bind) and the operation of its type ((x->r)->r) 07:07:36 -!- aloril has quit (Ping timeout: 244 seconds). 07:09:09 * Sgeo wants to bring monads into every language he touches 07:09:21 I don't know how plausible that would be for Prolog 07:09:49 Assembly, now with monads 07:10:39 Before having a monad you need a category. It could be the category of the functions in that programming language, though, so if the functions can perform I/O operations it could be like Haskell's (Kleisli IO) category. And then you define fmap, return, join, having the proper laws on that category. 07:12:20 Possibly with JavaScript you could have, if M is the monad, then M itself is the return operation and then M.prototype.join and M.prototype.map for the others. 07:23:09 -!- aloril has joined. 07:23:09 -!- Phantom_Hoover has joined. 07:24:14 -!- nooga has joined. 07:30:54 -!- epicmonkey has joined. 07:35:32 -!- epicmonkey has quit (Ping timeout: 244 seconds). 07:57:26 -!- Nisstyre has quit (Read error: Connection reset by peer). 07:59:25 -!- Nisstyre has joined. 08:00:55 -!- glogbackup has quit (Ping timeout: 246 seconds). 08:05:07 OK I read about the delimited continuations. 08:06:01 Are they similar to their reset being (flip runCont id) and their shift being (cont)? 08:06:22 I don't think so. 08:07:09 zzo38: Did you see edwardk's puzzle with newtype Mu f = Mu (forall a. (f a -> a) -> a); data Nu f = forall a. Nu a (a -> f a); newtype Fix f = Fix (f (Fix f)) 08:08:27 No, I did not see. 08:08:49 I think the puzzle is just to write conversion functions. 08:29:43 -!- ais523 has quit (Read error: Connection reset by peer). 08:29:51 -!- ais523 has joined. 08:31:45 -!- mig22 has joined. 08:39:33 -!- AnotherTest has joined. 08:47:33 -!- epicmonkey has joined. 08:54:03 -!- liljuska has joined. 09:03:45 -!- monqy has quit (Quit: hello). 09:09:00 -!- zzo38 has quit (Remote host closed the connection). 09:28:41 http://writelatex.com 09:34:12 do laptops charge slower when they're on? 09:35:03 i always assumed so, but maybe the max charge rate of the battery is much less than the available power 09:39:27 -!- olsner has quit (Ping timeout: 240 seconds). 09:39:50 -!- olsner has joined. 09:39:53 -!- elliott has quit (Quit: Leaving). 09:40:19 -!- Nisstyre has quit (Ping timeout: 246 seconds). 09:43:02 -!- Nisstyre has joined. 09:46:00 `run time | echo 09:46:11 bash: -c: line 0: syntax error near unexpected token `|' \ bash: -c: line 0: `time | echo' 09:46:18 ais523: ? 09:46:23 shachaf: try that command in csh some time 09:46:34 % time | echo 09:46:35 % 09:46:43 bleh, did they fix it? 09:46:45 well, mostly fix it 09:46:57 it should still give an error message, due to being meaningless 09:47:14 it used to give a really nonsensical error 09:47:49 btw, is that actually csh, or tcsh pretending? 09:48:15 /bin/bsd-csh 09:48:29 hmm 09:48:40 I'll try it with Debian's/Ubuntu's, installing it now 09:48:54 This is Debian. 09:49:06 The package csh installs /bin/bsd-csh 09:49:19 ah, right 09:50:10 huh, it seems that "time | echo" actually spawns a process 09:50:14 called "time |" 09:50:17 try looking in jobs 09:50:30 % time | echo 09:50:31 % jobs 09:50:32 [1] + Running time | 09:50:34 % Reset tty pgrp from 11937 to 11927 09:50:37 ooh, they didn't fix it, it's just intermittent 09:50:55 (the "Reset tty pgrp" thing got printed after the prompt % , I didn't type it) 09:52:58 -!- mig22 has quit (Quit: mig22). 09:56:08 (that's the message I was angling for, btw) 09:56:27 btw, time | eventually dies with SIGPIPE, some considerable time after you ran it 10:06:07 -!- heroux_ has quit (Ping timeout: 240 seconds). 10:07:11 -!- AnotherTest has quit (Quit: Leaving.). 10:07:30 -!- AnotherTest has joined. 10:11:41 kmc: Do you know the source of 2c1;2c1;2c1;2c1; being typed on the command line when catting /dev/urandom? 10:18:26 A low amount of entropy I imagine 10:18:58 Being typed. As in, my shell is getting it as input. 10:20:38 Hmm 10:20:44 Could be some escape code 10:22:37 -!- mig22 has joined. 10:38:32 -!- heroux has joined. 10:45:07 * ais523 is scared of Mauriceling's BF derivs 10:45:29 -!- david_werecat has joined. 10:45:33 shachaf: it's probably an escape code that asks for information in response 10:45:41 ais523: Sure, but which one? 10:45:44 not sure 10:46:09 this reminds me of HTTP access log trojans 10:46:46 the idea is to insert escape codes in your user agent, so that if someone cats their access log to a terminal, it sends data back into the terminal to run arbitrary commands 10:46:59 although most modern terminals are immune nowadays 10:47:35 same sort of concept as sending people to shock sites via XSS attacks on plain text files… 10:59:07 Because the webserver doesn't tell the browser that it's plain text and not html? 11:01:16 -!- david_werecat has quit (Read error: Connection reset by peer). 11:06:53 -!- david_werecat has joined. 11:15:56 -!- mig22 has quit (Quit: mig22). 11:22:51 -!- david_werecat has quit (Ping timeout: 240 seconds). 11:23:12 -!- MoALTz has joined. 11:47:28 -!- epicmonkey has quit (Remote host closed the connection). 11:52:55 -!- epicmonkey has joined. 11:58:41 -!- liljuska has quit (Quit: Leaving.). 12:12:46 -!- aloril has quit (Read error: Operation timed out). 12:18:50 ahh 12:18:53 what a fine day 12:19:06 found a bug in Boost libs 12:19:32 win 13 12:29:41 another more meta way to do an attack would be to lie about something in a readme file 12:30:17 but i'm not sure what 12:31:07 maybe recommend an antiquated terminal in a readme file 12:31:15 -!- kinoSi has quit (Read error: Connection reset by peer). 12:31:26 -!- aloril has joined. 12:31:42 -!- kinoSi has joined. 12:31:48 <-- dumb. nevermind.. 12:46:06 nooga: which lib 12:48:42 filesystem 12:49:36 oh 12:49:39 what didn't work? 12:54:38 -!- boily has joined. 13:14:04 -!- aloril has quit (Ping timeout: 250 seconds). 13:15:37 -!- derdon has joined. 13:23:54 -!- ais523 has quit. 13:30:49 -!- aloril has joined. 13:35:17 nooga: I just had this issue with boost::lexical_cast; it seems to cast "9001" to 2329 ? 13:36:51 AnotherTest: o_O 13:37:58 I've probably done something wrong 13:38:09 the weird thing is 13:38:21 I added an output statement on the variable that I'm casting 13:38:25 and on the result 13:39:11 paste or it didn't happen! 13:42:25 -!- ogrom has joined. 13:50:11 jlaire: I would have to paste over 2000 lines of code that I'm not even supposed to paste :( 13:50:18 unless it always happens 13:50:33 I'll try whether it does 14:19:42 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:24:16 I'm about to spam 14:24:18 std::string port_s = address.substr(pos2 + 1); 14:24:18 std::cout << "Port string: " << port_s << std::endl; 14:24:18 int port = boost::lexical_cast(port_s); 14:24:18 std::cout << "Port number: " << port << std::endl; 14:24:38 output: 14:24:39 Port string: 9001 14:24:40 Port number: 2329 14:25:30 Is a lexical cast the correct way to convert a string to integer? 14:27:06 Yes 14:27:44 http://www.boost.org/doc/libs/1_50_0/doc/html/boost_lexical_cast/synopsis.html#boost_lexical_cast.synopsis.lexical_cast 14:34:52 there's always the atoi() way of casting a string to an int: http://pastebin.com/5iDifJhC 14:37:09 atoi() is the C way 14:41:07 -!- copumpkin has joined. 14:41:50 i'm only one very lazy programmer when it comes to C++. 15:16:33 I know about atoi 15:16:43 but I (and many others) dislike it 15:16:58 lexical_cast is much more generally 15:17:36 boily: your example works with lexical_cast equally well, but it's just this particular situation (I must be doing something wrong) 15:18:05 also isn't writing (void) as arguments a typical C thing to do 15:35:14 guess what 15:35:25 int port = std::atoi("9001"); still gives me the same 15:36:14 Now that's weird 15:36:48 Yes it is 15:37:02 this works in any other file 15:37:08 just not in my current project 15:37:31 well in this file 15:38:33 I compiled a test case and I get 9001 15:38:49 My tests cases give me 9001 too 15:39:47 I don't understand it 15:40:25 how can std::cout << boost::lexical_cast("9001") << std::endl; or std::cout << std::atoi("9001") << std::endl; ever output 2329 15:40:39 I put that literally in my code 15:41:51 8001 = 1f41 15:41:53 oh wait 15:41:59 hexadecimal? 15:42:05 Oh 15:42:08 so 15:42:16 cout is in hexadecimal mode 15:42:19 yes 15:42:23 that must be it 15:42:25 and I know why 15:42:40 somewhere else I was outputting hexadecimal numbers 15:42:41 :S 15:42:49 stupid error -> time waste 15:43:01 forgot to turn that flag of :( 15:43:14 =P 15:43:37 This is what happens when your output routines have hidden state 15:44:12 indeed :'( 15:44:31 rage against std::ostream! 15:45:40 I actually solved the actual bug in the code there a long time a go 15:45:57 but the output was just still wrong :/ 16:13:00 -!- epicmonkey has quit (Ping timeout: 246 seconds). 16:19:02 -!- ogrom has quit (Ping timeout: 268 seconds). 16:20:43 -!- ogrom has joined. 16:33:23 -!- ogrom has quit (Quit: Left). 16:38:12 -!- ogrom has joined. 17:24:51 -!- epicmonkey has joined. 17:29:10 -!- zzo38 has joined. 17:43:08 -!- aloril has quit (Ping timeout: 244 seconds). 17:44:19 shachaf: i don't know 17:44:39 did you figure it out? 17:45:15 Not that one. 17:45:20 butts 17:45:25 I figured out another one. 17:45:30 oh yeah? 17:45:34 c62;9; 17:45:34 what have you been trying to figure out? 17:45:46 That's just from an escape sequence. 17:45:50 Something like \e[c 17:45:58 kmc: There was a bigger mystery, though. 17:46:15 Remember how cat /dev/urandom used to turn your terminal to line-drawing mode? 17:46:33 It hasn't happened in a while, has it? At least it hasn't for me. 17:46:45 We were trying to figure it out, and there were various theories. 17:47:09 A surprising observation was that catting /dev/urandom for a bit, followed by printf '\e(0', wouldn't turn box-mode on. 17:47:23 So somehow there's an escape sequence that disables it or something. 17:47:33 or maybe a terminal bug 17:47:38 Possible. 17:48:05 someone in here should know all the vt100 codes by heart and be able to tell you directly if there's a sequence to disable box-mode and what it is 17:48:35 olsner: There were mysterioius happenings, though. 17:48:43 Which I don't remember, partly because it's 10:48 and I still haven't slept. 17:49:20 you can look through /usr/share/doc/xterm/ctlseqs.txt.gz 17:49:59 You can always reset your terminal 17:51:45 what would we learn from that? 17:52:05 is it literally always possible to reset the terminal, or is it possible to end up in a state where the terminal is unrecoverable? 17:52:16 there is a code which explicitly means "reset terminal" 17:52:29 i'm not sure if it's usable even inside like "i'm sending you a new window title now" mode 17:53:16 I wonder how secure terminal emulators tend to be 17:53:33 e.g. if you use them to connect to evil servers 17:54:13 Speaking of which, why does `reset` take a really long time to run? 17:54:26 kmc: Sometimes `reset` isn't enough. 17:54:44 I mean, sometimes you get into a state where the terminal is messed up even after typing reset into your shell. 17:55:06 http://www.thinkgeek.com/product/e95e/ seems related 17:55:23 shachaf: you do? 17:55:44 shachaf: did you know that in the Linux VT (but not in any X terminal emulator i've found) you can enter line drawing mode with the single byte 0E? 17:56:20 kmc: Oh, wow, that explains why it's so much easier to get into it in the TTY! 17:56:31 shachaf: run reset inside script and then look at the typescript 17:56:35 i did this but forgot the results 17:56:44 i know it sets all the tabstops 17:56:51 i think it may have a hardcoded delay between sending control codes 17:57:08 kmc: Hmm, but \e(0 doesn't work. 17:57:09 -!- aloril has joined. 17:58:45 fun 17:59:26 kmc: Did you see edwardk's puzzles with Mu and Nu? 17:59:44 no 17:59:46 what is it that happens when binary data results in crud getting passed back as input? usually it looks something like semicolon-separated hex values 18:00:01 there are some codes to ask for terminal status 18:00:03 look through /usr/share/doc/xterm/ctlseqs.txt.gz 18:00:05 newtype Mu f = Mu (forall a. (f a -> a) -> a) 18:00:08 (on debian) 18:00:16 data Nu f = forall a. Nu a (a -> f a) 18:00:22 newtype Fix f = Fix (f (Fix f)) 18:00:27 I think. 18:00:40 The idea was to write functions to convert these back and forth. 18:01:37 ctlseqs.txt is 1540 lines here, that's almost exactly 64 screens of text 18:01:52 -!- monqy has joined. 18:03:23 shachaf: ah, i understand now 18:03:43 Understand what? 18:03:48 \x0e (ascii SO) means "shift to the G1 character set" (and \x0f = SI means switch to G0) 18:04:03 What's G1? 18:04:03 \e(0 sets the G0 character set to be line drawing characters 18:04:13 G0 and G1 are variables which can be assigned to different character sets 18:04:25 Ah. 18:04:29 in the Linux VT, G0 = US ASCII and G1 = line drawing, by default 18:04:32 in xterm they are both ASCII 18:04:43 Makes sense. 18:04:53 cata is Fix f -> Mu f 18:04:56 so if you do \x0e in xterm, then \e(0 has no effect 18:05:07 but now \e)0 (set G1 = line drawing) will have a visible effect 18:06:01 and if you set both G0 and G1 to line drawing, \x0e and \x0f will no longer have any effect? 18:06:07 yeah 18:06:11 (no visible effect) 18:07:03 except maybe the vt doesn't allow reassigning G0 18:07:20 so \e(0 might be disallowed? 18:07:25 yeah 18:07:29 beats me 18:07:42 i fear that to be more knowledgable on this subject, i would have to read ISO 2022 18:07:53 seems it would be better to just have a "choose character set" instruction, instead of all these states 18:08:08 which would cost like CHF 40 and my soul 18:08:16 olsner: i know, right? 18:08:32 but! that would take three bytes per switch 18:09:04 and if you're trying to do e.g. switch to japanese every other character on a 3 baud modem, that might be significant 18:10:49 shachaf: you can printf '\e(C' in xterm for the 7-bit finnish experience 18:12:04 kmc: I've had enough of the Finnish experience trying to type on Finnish-layouted keyboards. :-( 18:12:10 -!- Taneb has joined. 18:12:11 I've also had enough of the French experience. 18:12:17 AZERTY is the devil. 18:12:45 Heh, that brings back memories 18:15:21 shachaf: if you do printf '\e)0\e~' within LC_ALL=C xterm 18:15:32 then you can get line-drawing characters using bytes within the range 80 - FF 18:16:15 turns out you can set which of G0, G1, etc. is used by each half of the byte space independently 18:16:24 -!- Taneb has changed nick to atriq. 18:16:24 Makes sense. 18:16:29 not really 18:16:36 well 18:16:55 so that sets up upper-half characters to use G1, after setting G1 to line-drawing? 18:16:55 nothing in computer engineering makes sense except in the light of evolution 18:16:59 yes 18:17:12 http://en.wikipedia.org/wiki/ISO/IEC_2022 18:17:19 @ping 18:17:20 pong 18:17:24 Reassuring 18:18:33 sometimes when you say ping something says pong, it's amazing 18:19:02 ^ping 18:19:15 if someone built an esoterm, how would its control characters look? 18:19:31 !ping 18:19:36 Pong! 18:19:48 `ping 18:19:55 pong 18:20:01 olsner: it would be a brainfuck program outputting the normal ansi control code 18:20:18 I'd rather make control characters be words in a popular language so they're easy to remember 18:20:21 Say, Chinese 18:20:27 You could probably condense all of them down to a single character. 18:20:44 some of the early terminals had e.g. 8080 cpus, you could start with something like that connected to a frame buffer and just send it the whole instruction stream 18:21:25 it wouldn't even need an instruction pointer or a stored program 18:23:06 In Linux console you could use shift-out/shift-in to use line drawing. You could also use the program I have written to allow the entire CP437 to be used on Linux including shift-out/shift-in. 18:27:29 Therefore I think you should just use the Linux console codes. 18:27:41 (Regardless of if it is CP437 or not) 18:31:30 @ping 18:31:31 pong 18:31:41 Is everything down for everyone else again 18:34:22 kmc: Are you still in .fi? 18:34:22 Oh, everything's back up 18:36:35 That's good 19:14:50 If Good Friday is a statutory holiday, and if you want to have separation of church and state, then the laws should include the way to caluclate Easter isn't it? 19:15:08 Since otherwise you don't have the separation of church and state. 19:15:18 Hmm, I suppose 19:19:36 -!- ogrom has quit (Quit: Left). 19:19:44 Hmm 19:19:50 Hmmmmmmmmm 19:20:26 bfThing :: [BFChar] -> RWS [Word8] [Word8] Tape () 19:33:54 data BFChar = L | R | P | M | S | E; data Tape = Tape {lhs :: [Word8], rhs :: [Word8]} 19:34:22 -- writing a brainfuck interpreter thingy using IRC as a text editor may be a bad idea 19:38:02 -- I don't think I'll bother 19:38:24 -!- AnotherTest has quit (Quit: Leaving.). 19:42:37 -!- aloril has quit (Ping timeout: 240 seconds). 19:45:16 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 19:48:17 I am not sure that type for bfThing is correct anyways 19:49:37 But maybe it is 19:50:20 -!- oerjan has joined. 19:52:57 You can use "local tail" to reduce the input? 19:53:22 :t local tail 19:53:23 forall a (m :: * -> *) a1. (MonadReader [a] m) => m a1 -> m a1 19:53:25 Yes you can, I think so 19:54:18 :t local tail . ($) 19:54:21 forall a a1. ([a] -> a1) -> [a] -> a1 19:54:36 But "local" does not belong to the Kleisli category (although that might not be important) 19:54:44 > local tail . head $ "test" 19:54:46 Couldn't match expected type `m a' 19:54:46 against inferred type `GHC.Types... 19:54:53 darn 19:54:56 og 19:55:00 *oh 19:55:08 > local tail head "test" 19:55:10 'e' 19:55:46 http://www.reddit.com/r/IAmA/comments/ybmmh/we_are_engineers_and_scientists_on_the_mars/c5u7qm7 19:57:53 ion: hey just apply for a job at nasa already :P 19:57:56 -!- aloril has joined. 19:58:24 “Do you have an opening for a photoshopper?” 19:59:12 i'd work on the presentation. or rather, i'd suggest you do. 20:00:05 Hey, it's coming up to a year since I joined this channel 20:00:06 anyway, they probably fired the old one after budget cuts. 20:00:16 wat. 20:00:32 it seems shorter. but years always do. 20:00:33 For the first time, not this time 20:00:42 `pastlogs Taneb 20:00:45 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastlogs: not found 20:00:54 `pastlog Taneb 20:01:10 Oh dear 20:01:13 Bad idea 20:01:27 No output. 20:01:33 `help 20:01: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/ 20:01:41 `ls /bin 20:01:44 bash \ bunzip2 \ bzcat \ bzcmp \ bzdiff \ bzegrep \ bzexe \ bzfgrep \ bzgrep \ bzip2 \ bzip2recover \ bzless \ bzmore \ cat \ chgrp \ chmod \ chown \ cp \ cpio \ dash \ date \ dd \ df \ dir \ dmesg \ dnsdomainname \ domainname \ echo \ ed \ egrep \ false \ fgrep \ grep \ gunzip \ gzexe \ gzip \ hostname \ ip \ kill \ less \ lessecho \ lessfile \ lesskey \ lesspipe \ ln \ login \ ls \ lsmod \ mkdir \ mknod \ mktemp 20:02:33 `ls 20:02:36 bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom 20:02:42 `ls /paste 20:02:44 ls: cannot access /paste: No such file or directory 20:02:50 `file paste 20:02:53 paste: directory 20:02:59 :/ 20:04:37 -!- Eladith has quit (Quit: leaving). 20:05:37 -!- yorick has quit (Ping timeout: 272 seconds). 20:07:26 -!- yorick has joined. 20:09:21 Okay, I think I first appeared here on the 11th of July 2011 20:09:53 Hello! 20:10:21 Yeah 20:10:26 So, over a year already 20:10:28 Wow 20:10:49 Nobody welcomed me that day 20:11:21 `ＷＥＬＣＯＭＥ atriq 20:11:25 ＡＴＲＩＱ：　ＷＥＬＣＯＭＥ　ＴＯ　ＴＨＥ　ＩＮＴＥＲＮＡＴＩＯＮＡＬ　ＨＵＢ　ＦＯＲ　ＥＳＯＴＥＲＩＣ　ＰＲＯＧＲＡＭＭＩＮＧ　ＬＡＮＧＵＡＧＥ　ＤＥＳＩＧＮ　ＡＮＤ　ＤＥＰＬＯＹＭＥＮＴ！　ＦＯＲ　ＭＯＲＥ　ＩＮＦＯＲＭＡＴＩＯＮ，　ＣＨＥＣＫ　ＯＵＴ　ＯＵＲ　ＷＩＫＩ：　ＨＴＴＰ：／／ＥＳＯＬＡＮＧＳ． 20:11:35 `? Ngevd 20:11:38 Q��e�K{.[��. 20:12:03 `learn atriq is rot13 for something. Needs further investigation. 20:12:06 I knew that. 20:12:38 `? Ngevd 20:12:41 !�e�..�+�.V��.�\T/��>03N��.&."t�..d.{�D�_M��w��'��n�,t;-�x�ɼ..�5��\�_��Ҝ�..�|.�w�^��..��ѧ��j�$.VG@dB��J��9$.�g.&%.��.��.q�=��`��j \ i.��_�.MB��'�3.c�H.�.�.��.>�CX...�x�@?�.��>��K..��.=U�gP#bfuy�+0��!�lA��.�.��\.W�(8�=��߾�� `�.wu�� 20:12:55 `? Taneb 20:12:58 Taneb is not elliott, no matter who you ask. 20:13:02 `? Hexham 20:13:05 Hexham is a European town. There are nine people in Hexham, and at least two of them are in this channel. Taneb looks after the ham. 20:13:37 -!- atriq has quit (Quit: AAAAH HEADACHE). 20:15:36 You can make a (Codensity ((->) x)) monad to be like a (State x) monad? And what do you make from (Codensity (State x)) monad? 20:17:35 -!- morel has joined. 20:21:41 ion: are you a professional photoshopper 20:21:52 I figured out how to make double negative elimination by continuation monads. 20:21:54 ... questionmark 20:22:29 olsner: Just an amateur gimper. 20:22:45 Do NASA need any professional photoshopper? Don't they have their own software? 20:23:06 they need to apply some color filters to make mars images mars red 20:23:19 ... so that people don't think they're fake 20:24:03 But I think they have their own software for that, isn't it? 20:24:52 And I think the purpose of that is to make the picture more clear, not because of thinking they are fake? Since the picture from the camera is imperfect. 20:24:53 probably, but perhaps photoshop would be way better at it only they have no qualified personel to operate it 20:25:28 olsner: I don't think Photoshop would be better at it. 20:25:38 me neither 20:25:51 I'm just trying to figure out a way for ion to get a job at NASA 20:25:57 -!- Phantom_Hoover has joined. 20:26:37 I would use ImageMagick (I think ImageMagick even supports the formats used in astronomy) but don't know enough about the camera and that stuff to know what filters to use. Their own specific software might work better for this purpose, though. 20:26:49