00:05:25 -!- oerjan has quit (Quit: leaving). 00:24:11 -!- augur has quit (Quit: Leaving...). 00:25:55 -!- augur has joined. 00:41:37 -!- augur has quit (Remote host closed the connection). 00:50:09 -!- Phantom_Hoover has quit (Quit: Leaving). 00:53:42 -!- Koen__ has quit (Quit: Koen__). 01:08:43 -!- b4dh3r0 has joined. 01:13:40 -!- copumpkin has quit (Ping timeout: 256 seconds). 01:17:28 -!- copumpkin has joined. 01:19:17 -!- augur has joined. 01:24:18 -!- iconmaster has quit (Ping timeout: 245 seconds). 01:30:45 Tcl makes me think of a wolf in sheep's clothing whereas Lisp is a wolf in wolf's clothing. Lisp, no one would try to modify someone else's code without trying to learn the language. Tcl, the language looks ... almost familiar, but if you don't know the language, there's a ton of things to screw up including possible security holes 01:31:08 Tcl looks too inviting for how dangerous it is to try to write code without knowing the language 01:32:20 i don't think i've ever seen a picture of a sheep wearing clothes 01:33:21 Sgeo: interesting 01:37:47 it seems like a lot of languages can get like that sometimes 01:37:53 especially if they're "C-like" or whatever shit 01:38:26 http://www.kocjan.org/tclmentor/5-why-double-evaluation-is-baaad.html 01:39:16 oh, multiple evaluation is fun 01:42:20 button $buttonname -command "puts $mymessage" 01:42:22 ^^ bad 01:42:29 button $buttonname -command [list puts $mymessage] 01:42:30 correct 01:42:35 http://phaseit.net/claird/comp.lang.tcl/fmm.html 01:43:01 homoiconicity useful, huh 01:44:29 Err, are you trying to suggest Tcl isn't homoiconic? 01:44:39 no 01:45:07 just commenting a bit on using a data structure (if a simple one) making more sense than a string, is all 01:45:44 Well, a list is a string in Tcl. 01:46:01 Just... the list command's the better way to construct that string 01:46:31 What's annoying is that a script, several commands, isn't a simple Tcl structure like a list 01:55:03 -!- nisstyre has joined. 02:15:08 -!- SingingBoyo has joined. 02:17:01 okay, well, that's pretty weird. 02:18:34 https://en.wikipedia.org/wiki/Fortuna_%28PRNG%29 02:18:42 That's so incredibly easy for even me to understand 02:19:45 it's kind of weird how 'family of' means 'parametrized' 02:27:35 -!- b4dh3r0 has quit (Quit: Leaving). 03:01:17 Bike: http://unicode-inc.blogspot.com/2013/09/henry-luce-foundation-grant-to-unicode.html "Henry Luce Foundation Grant to Unicode in Support of Encoding Tangut" 03:01:50 Let’s form a foundation and give a grant to Unicode in support of encoding Klingon. 03:02:15 Cool, I didn't know you could throw money at Unicode to get a new language in! 03:02:35 yeah me either! 03:03:07 But clearly we should choose hieroglyphs and hieratics. 03:03:15 are they not in there already? 03:03:20 it's times like these that I'm glad I follow the Unicode Consortium on Twitter 03:03:23 Bike: nope 03:03:26 huh, i forgot 'tangutology' was a thing 03:03:41 Bike: Shockingly, no. 03:03:59 Gregor: it's like determining how many glyphs can be considered as a character as per the Unicode standard 03:04:01 NOWAIT YES 03:04:01 sometimes it's hard to remember that china is actually at least as diverse as europe 03:04:03 2009 03:04:07 thank god. 03:04:23 for historical scripts like Tangut, it does take lots of works and also money 03:04:27 i think the only sort of that text i've triedd to read were some old coptic letters. they didn't render but by god they had characters 03:06:09 Gregor: so is that just hieroglyphs or also hieratics? 03:06:30 http://www.reddit.com/r/Defcon/comments/1jvnhb/maybe_a_dumb_question_regarding_the_documentary/ also what 03:12:51 http://threewordphrase.com/hostage.htm 03:16:29 -!- SingingBoyo has quit (Quit: Leaving). 03:20:40 -!- SingingBoyo has joined. 03:21:14 -!- SingingBoyo has quit (Client Quit). 03:22:21 -!- SingingBoyo has joined. 03:30:04 http://www.ibtimes.com/firefox-vs-chrome-mozilla-takes-top-honors-latest-web-browser-grand-prix-1330329 03:30:10 It was in the nonperformance categories like memory efficiency, reliability, security and standards conformance that Firefox was really able to shine. 03:30:17 Firefox? Memory efficient? 03:37:06 "I just downloaded this because you said my current browser did not support my Google+ account; just to read you are retiring it! Then why did you offer it at all for downloading? I hope there will be suggestions by Jan 2014 what browser does support Google+!" 03:37:10 [about Chrome Frame] 04:20:40 Sgeo: yeah it's almost like when one browser gets better at something, the other manufacturers work to catch up 04:24:56 #define rand01 (0.9999999*double(rand())/RAND_MAX) 04:28:19 Sgeo: I use Firefox at work and Chrome at home and I don't notice a performance difference anymore 04:28:23 but the work machine is pretty beefy 04:28:34 Chrome is still markedly better than Firefox on my pathetic pre-Atom netbook 04:50:20 `slist 04:50:25 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 04:57:03 «fscanf( stream, "%d", &dd); post[i][j]=dd; fscanf( stream, "%f", &x); s[i][j]=x; fscanf( stream, "%f", &x); sd[i][j]=x;» 05:01:47 -!- audioPhil has quit (Read error: Operation timed out). 05:02:49 -!- audioPhil has joined. 05:02:50 -!- audioPhil has quit (Changing host). 05:02:50 -!- audioPhil has joined. 05:02:50 -!- litrink has joined. 05:03:03 How could you crack/attack this vignere cipher? http://pastebin.com/raw.php?i=LdWfKLtP 05:03:55 hire djb 05:04:26 litrink: do you know the characteristics of plaintext? 05:04:41 lifthrasiir: Nope 05:06:10 The hint I received was that the cipher was described in a book from 1553 La cifra del 05:08:34 is it so far unsolved? 05:11:48 lifthrasiir: yes 05:13:13 this again 05:14:05 i'd like to note that my algorithm is constant time 05:14:21 What algorithm? 05:14:38 hiring djb to do it for me 05:15:13 Bike: What is djb? 05:16:09 so this person is daakl / sdile / dlackili / sardig / mafingre / xantrixo / etc yes? 05:16:17 and therefore evading bans 05:16:23 I think we got tired of your act a while ago 05:16:44 kmc: Which person? 05:16:47 you 05:17:02 What do you mean? 05:17:46 whatever 05:18:20 -!- ChanServ has set channel mode: +o kmc. 05:18:23 -!- kmc has kicked litrink litrink. 05:18:27 -!- ChanServ has set channel mode: -o kmc. 05:18:56 -!- carado has joined. 05:21:56 shoulda had "whatever" as the kick reason 05:22:03 tru 05:57:46 -!- conehead has quit (Quit: Computer has gone to sleep.). 06:00:10 -!- augur_ has joined. 06:01:05 -!- Yonkie_ has joined. 06:02:58 -!- tromp_ has joined. 06:05:26 -!- hogeyui_ has joined. 06:07:22 -!- Bike has quit (Ping timeout: 246 seconds). 06:08:11 -!- variable has joined. 06:08:53 -!- rodgort` has joined. 06:09:05 -!- augur has quit (*.net *.split). 06:09:06 -!- Yonkie has quit (*.net *.split). 06:09:06 -!- hogeyui has quit (*.net *.split). 06:09:06 -!- rodgort has quit (*.net *.split). 06:09:06 -!- jconn has quit (*.net *.split). 06:09:06 -!- trout has quit (*.net *.split). 06:09:06 -!- tromp has quit (*.net *.split). 06:09:06 -!- SirCmpwn has quit (*.net *.split). 06:09:06 -!- yiyus_ has quit (*.net *.split). 06:09:39 -!- SirCmpwn_ has joined. 06:09:39 -!- SirCmpwn_ has changed nick to SirCmpwn. 06:12:26 -!- yiyus has joined. 06:15:43 -!- Fiora_ has joined. 06:18:13 -!- Ghoul_ has quit (Ping timeout: 264 seconds). 06:18:15 -!- myndzi has quit (Ping timeout: 264 seconds). 06:18:16 -!- Fiora has quit (Ping timeout: 264 seconds). 06:19:14 -!- myndzl has joined. 06:19:37 -!- Ghoul_ has joined. 06:21:24 -!- FireFly has quit (Excess Flood). 06:22:27 -!- FireFly has joined. 06:22:30 -!- salparot__ has joined. 06:23:08 -!- ssue___ has joined. 06:23:52 -!- Fiora_ has changed nick to Fiora. 06:24:34 -!- olsner has quit (Ping timeout: 245 seconds). 06:24:34 -!- ssue__ has quit (Ping timeout: 245 seconds). 06:24:35 -!- ssue___ has changed nick to ssue__. 06:24:56 -!- FreeFull has quit. 06:25:04 -!- ggherdov has quit (Ping timeout: 245 seconds). 06:25:14 -!- Gregor has quit (Excess Flood). 06:25:36 -!- myname has quit (Read error: Operation timed out). 06:25:43 -!- myname has joined. 06:31:01 -!- ggherdov has joined. 06:33:46 -!- Bike has joined. 06:34:46 -!- jconn has joined. 06:39:10 -!- Bike has quit (Ping timeout: 245 seconds). 06:53:38 -!- Ghoul_ has quit (Changing host). 06:53:38 -!- Ghoul_ has joined. 06:53:39 -!- ssue__ has quit (Changing host). 06:53:39 -!- ssue__ has joined. 06:53:39 -!- ggherdov has quit (Changing host). 06:53:39 -!- ggherdov has joined. 07:13:30 -!- SingingBoyo has quit (Quit: Leaving). 07:14:16 -!- SingingBoyo has joined. 07:29:27 -!- Taneb has joined. 07:37:00 -!- epicmonkey has joined. 08:10:04 -!- SingingBoyo has quit (Ping timeout: 264 seconds). 08:17:51 `slist 08:17:55 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 08:32:56 -!- epicmonkey has quit (Ping timeout: 245 seconds). 08:45:13 -!- mnoqy has quit (Quit: hello). 09:18:44 -!- itsy has joined. 09:41:36 "Jura [a fancy coffee-grinding-and-brewing-machine in one of the department break rooms] is undergoing maintenance as of today. Coffee substitute (also known as regular coffee) is available during Jura's hopefully short absence." 09:41:45 Those people take their coffee very seriously. 09:53:26 -!- augur_ has quit (Ping timeout: 240 seconds). 10:01:42 -!- itsy has changed nick to john_metcalf. 10:20:27 -!- oerjan has joined. 10:30:05 -!- yorick has joined. 10:46:55 -!- MindlessDrone has joined. 11:18:10 -!- Sgeo has quit (Read error: Connection reset by peer). 11:53:28 -!- Koen has joined. 11:54:17 -!- Koen has quit (Read error: Connection reset by peer). 11:54:28 -!- Koen has joined. 11:55:44 -!- ambiltrif has joined. 11:55:50 http://pastebin.com/L5da2KjQ I am making a tic tac toe game in C, How can this code/algorithm be made better? 11:55:55 Or can someone show me a better/alternative approach? 11:57:47 btw you included stdlib.h but I don't think you're using it 11:58:46 apparently you're deciding which player is at turn by looking at what symbol they put in the grid? 11:59:03 now i'm smelling mafingre too 11:59:22 except the ip is australian. but he may have learned. 12:01:01 -!- augur has joined. 12:02:17 -!- augur has quit (Remote host closed the connection). 12:02:44 -!- augur has joined. 12:03:31 -!- augur has quit (Remote host closed the connection). 12:03:36 -!- augur has joined. 12:04:24 if you are him _and_ litrink, then you are getting hard to ban. 12:05:00 obviously banning all of freenode's web gateway is unacceptable. 12:06:23 oh hm 12:10:16 damn i wish i'd seen this before. 12:11:08 also that some other relevant ops were actually not idle. 12:11:39 Koen: Yes I am doing that. 12:12:06 `pastelogs ambiltrif 12:12:18 oerjan: what? 12:12:29 @let xo s=let[p,q]=(show=<<).(`elemIndices`filter(/='|')s)."XO";i(n,[])=":-"++["(|O"!!(n+1)];i(_,q)=c q."012|345|678"++if w q then" :-)"else"";c q x|x=='|'='|'|elem x p='X'|elem x q='O'|True='.';w p=ap(==)(sort.intersect p)`any`words"012 345 678 036 147 258 048 246";n=first(0-);x a b p q|w p=(1,[])|w q=(-1,[])|True=z$(:p).(['0'..'8']\\union p q)where z[]=(0,[]);z m=foldr y a m;y p a|a .L.hs:156:13: 12:12:30 Couldn't match expected type `[[Char]]' 12:12:30 ... 12:12:31 ambiltrif: i'm wondering if you've been here before 12:12:34 the name sounds like ambf 12:12:48 HackEgo: SNAPPY 12:13:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.9680 12:13:04 oerjan: I have been here once or twice 12:13:07 a while back 12:13:26 ambiltrif: under which nick? 12:13:44 amf 12:13:46 ambf 12:13:50 oh 12:13:56 `pastelogs ambf 12:14:22 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28152 12:14:34 ambiltrif: we're getting paranoid about a person coming in and trolling us with changing nicks 12:14:39 that's a language 12:14:52 who? 12:15:00 ambf 12:15:03 Also Jafet What is that? 12:15:05 fine, that's proof enough. 12:15:08 -!- ChanServ has set channel mode: +o oerjan. 12:15:14 -!- oerjan has kicked ambiltrif ambiltrif. 12:15:48 -!- oerjan has set channel mode: +bprt #esoteric!*@*. 12:15:50 @let xo=let[p,q]=(show=<<).(`elemIndices`filter(/='|')s)<$>"XO";i(n,[])=":-"++["(|O"!!(n+1)];i(_,q)=c q<$>"012|345|678"++if w q then" :-)"else"";c q x|x=='|'='|'|elem x p='X'|elem x q='O'|True='.';w p=ap(==)(sort.intersect p)`any`words"012 345 678 036 147 258 048 246";n=first(0-);x a b p q|w p=(1,[])|w q=(-1,[])|True=z$(:p)<$>(['0'..'8']\\union p q)where z[]=(0,[]);z m=foldr y a m;y p a|a Plugin `eval' failed with: Ambiguous infix expression 12:15:55 wat 12:16:06 Why does lambdabot library keep changing 12:16:13 -!- audioPhil has quit (Read error: Operation timed out). 12:18:19 wtf did i ban. 12:18:41 -!- oerjan has set channel mode: -bprt #esoteric!*@*. 12:18:52 Uh... 12:19:03 -!- oerjan has set channel mode: +b *!*@a:perdent. 12:19:08 wrong order. 12:27:40 fizzie: i hope i was not wrong in concluding ambiltrif was another mafingre etc. troll nick, but combined with the lintril earlier today the style seems extremely similar. 12:28:07 *litrink 12:28:41 -!- Taneb has quit (Quit: Leaving). 12:31:45 oh hm that was the wrong syntax, sheesh 12:32:01 -!- oerjan has set channel mode: -b *!*@a:perdent. 12:32:08 -!- oerjan has set channel mode: +b $a:perdent. 12:32:25 there you go. i hope. 12:32:29 -!- oerjan has set channel mode: -o oerjan. 12:34:19 oerjan: how's he a troll? he was just asking a question about tictactoe :( 12:35:12 Koen: Also spamming the same question to all manner of unrelated channels. 12:35:17 Koen: he's identical to someone who has been trolling before, with stupid off topic stuff. 12:35:44 At least ##asm of the channels I'm on. 12:35:46 fizzie: oh did you see it in other channels? it would really help if people _told_ me this stuff as i'm only in a couple. 12:36:15 good. nails the evidence completely, then. 12:37:53 @let xo s=let[p,q]=map((show=<<).(`elemIndices`filter(/='|')s))"XO";i(n,[])=":-"++["(|O"!!(n+1)];i(_,q)=map(c q)"012|345|678"++if w q then" :-)"else"";c q x|x=='|'='|'|elem x p='X'|elem x q='O'|True='.';w p=ap(==)(sort.intersect p)`any`words"012 345 678 036 147 258 048 246";n=first(0-);x a b p q|w p=(1,[])|w q=(-1,[])|True=z$map(:p)(['0'..'8']\\union p q)where z[]=(0,[]);z m=foldr y a m;y p a|a .L.hs:178:14: 12:37:54 Couldn't match expected type `(Int, [Char])' 12:37:54 ... 12:38:00 Koen: also it doesn't matter how innocuous the question is if he's already banned here, the evasion is re-bannable in itself. 12:38:07 @let xo s=let[p,q]=map((show=<<).(`elemIndices`filter(/='|')s))"XO";i(n,[])=":-"++["(|O"!!(n+1)];i(_,q)=map(c q)"012|345|678";c q x|x=='|'='|'|elem x p='X'|elem x q='O'|True='.';w p=ap(==)(sort.intersect p)`any`words"012 345 678 036 147 258 048 246";n=first(0-);x a b p q|w p=(1,[])|w q=(-1,[])|True=z$map(:p)(['0'..'8']\\union p q)where z[]=(0,[]);z m=foldr y a m;y p a|a Defined. 12:38:24 > xo "...|.X.|..." 12:38:29 "...|.X.|..O" 12:42:33 -!- boily has joined. 12:42:58 -!- audioPhil has joined. 12:42:58 -!- audioPhil has quit (Changing host). 12:42:58 -!- audioPhil has joined. 12:48:27 -!- audioPhil has quit (Read error: Operation timed out). 12:48:33 -!- boily has quit (Quit: KERNEL!). 12:50:19 -!- boily has joined. 12:52:09 -!- audioPhil has joined. 12:52:42 good Linux for Workgroups morning! 12:53:02 good afternoon 12:54:41 guten moily 12:55:45 クイント早う。 12:58:05 i don't read that 12:58:17 -!- fizzie has quit (Quit: Coyote finally caught me). 12:59:23 quintopia: quintohayō. 12:59:45 @tell fizzie What is a coyote? 12:59:45 Consider it noted. 13:00:17 * quintopia sends a coyote after lambdabot 13:01:34 -!- fizzie has joined. 13:03:27 -!- Taneb has joined. 13:04:22 -!- audioPhil has quit (Read error: Operation timed out). 13:04:22 @wn coyote 13:04:23 *** "coyote" wn "WordNet (r) 3.0 (2006)" 13:04:23 coyote 13:04:23 n 1: small wolf native to western North America [syn: {coyote}, 13:04:23 {prairie wolf}, {brush wolf}, {Canis latrans}] 13:04:23 2: someone who smuggles illegal immigrants into the United 13:04:25 [3 @more lines] 13:04:44 (For some unknowable reason, it's the default quit message of bip.) 13:05:16 -!- metasepia has joined. 13:05:25 bip bip obvious if you know 13:05:26 fizzie: wile e. coyote? 13:06:33 argh double version 13:06:39 -!- Bike has joined. 13:07:51 oerjan: Oh, for some reason I didn't realize it could have been named after that. 13:09:40 some unknowable reason 13:12:46 so, my C is rusty and all, but you could write «fscanf( stream, "%f", &x); v[i]=x; fscanf( stream, "%f", &x); u[i]=x;» as «fscanf(stream,"%f%f",&(v[i]),&(u[i]))» or something, couldn't you? 13:13:38 Assuming the types of x and v[i]/u[i] are not different. 13:13:59 you can divide an array by an array in rust? 13:14:05 (The parens in &(v[i]) are also not strictly necessary.) 13:14:37 s/not different/all 'float'/. 13:14:38 Hm, actually x is a float and v and u are double [arrays] 13:14:43 Well, then you can't. 13:14:53 what's the former do, then? 13:15:04 Reads a float, converts it to a double. 13:15:15 could you do (float)&(v[i]) and so on? 13:15:16 You could make it "%lf", &v[i] to read a double directly, but it wouldn't be exactly same. 13:15:19 No. 13:15:43 (float)&v[i] would be incredibly wrong, because it would try to convert the pointer to a float. 13:15:53 er, float*. 13:16:00 though i'm guessing still no. 13:16:00 That would not help. 13:16:22 It would still write a float in an array of doubles. 13:16:36 a cast cannot change the underlying representation of the pointed to array 13:16:57 Reading it as double with "%lf" is arguably better (you don't have the accuracy loss of the float intermediary), but not an equivalent operation. 13:17:32 I suppose it's a judgement call whether the original author wrote it that way because he/she wanted the float semantics, or because he/she just didn't know about %lf. 13:18:08 given this is the "C program" called .cpp i'm inclined to the latter 13:18:45 plus there's similar code later but with %d and int. 13:19:03 In that case, fscanf(stream, "%lf%lf", &v[i], &u[i]) might be a reasonable replacement. 13:19:17 (I suppose there's no checking of return values either?) 13:19:42 in what kind of application would you want it to go through float, anyway 13:19:54 Checking? 13:20:02 -!- Taneb has quit (Quit: Leaving). 13:20:51 I can't think of an example other than "bug-compliant reimplementation of X", but that doesn't mean there isn't any. 13:21:09 Sometimes you might need exactly identical results. 13:21:36 hm, well, thanks. 13:21:51 (if you mean checking whether fscanf actually reads enough values then no) 13:21:57 Right. 13:26:39 I have audio files with transcripts where each line has one word along its start and end times. Now I'd need to inspect whether they are correct by some random listening. Do you happen to know of any useful software for this, and/or some easily-scriptable Python-or-something audio-playing library that'd make it easy to whip up code that, say, prints out the text one word at a time, sync'd with ... 13:26:45 ... the audio? 13:27:45 gstreamer. strangely, the amount of effort to bootstrap a minimal audio player with it is very small. 13:29:28 Grrr... "To use this software you need to restart your computer" 13:29:44 -!- john_metcalf has left. 13:29:45 Mhm. I wonder if mplayer/vlc can display subtitles for audio files. It would be very simple to convert those files into .srt or something. 13:30:39 The "subtitle" menu seems to be grayed-out in vlc for a .wav. (But I suppose it would be reasonably simple to multiplex in a black screen.) 13:31:39 multiplexing seems to be the way, but mencoder is a pain in the fungot. can vlc be used for this kind of task? 13:31:40 boily: any web page that lame is not to require heap in low memory. i think 13:32:34 there needs to be something as simple and straightforward as imagemagick's convert for scripted video authoring. 13:33:08 There's ffmpeg/avconv. 13:33:17 oh. didn't know about that. 13:33:41 You can (probably) use a single image as a single-frame "video" and have it loop the shorter file. 13:35:50 In fact, a plain avconv -i black.png -i sound.wav -acodec copy -vcodec mjpeg test.avi seems to have worked. 13:39:07 -!- oerjan has quit (Quit: What about sea monkeys). 13:40:37 fizzie: I suppose doing an s/avconv/ffmpeg/ will work too, as it seems I am still on the unforked side of the fforce. 13:41:59 -!- Phantom_Hoover has joined. 13:47:22 "SUB: Could not determine file format" grumble grumble. 13:47:33 VLC showed a subtitle track, but did not display anything. 13:48:10 I wonder if it's because there's only one video frame. 13:49:09 "video:5kB audio:546403kB" heh. 13:50:47 you need more black screens. 13:50:48 Ah, "avconv -loop 1 -i black.png ..." makes a more proper video. 13:51:52 -!- epicmonkey has joined. 13:53:54 Yay, it works. And the alignment was reasonable, for the first minute. 13:54:45 cat out.txt | grep -v '^$' | grep -v '^#' | perl -ne 'BEGIN { binmode STDOUT, ":encoding(ISO-8859-1)"; binmode STDIN, ":utf8"; } chomp; ($s,$e,$t) = split; printf "%d\r\n%02d:%02d:%02d,%03d --> %02d:%02d:%02d,%03d\r\n%s\r\n\r\n", ++$idx, $s/3600, ($s/60)%60, $s%60, ($s*1000)%1000, $e/3600, ($e/60)%60, $e%60, ($e*1000)%1000, $t;' > out.srt 13:54:46 -!- conehead has joined. 13:54:51 Very elegant. 13:56:23 -!- Bike has quit (Ping timeout: 260 seconds). 13:56:53 that is disgusting. you could have replaced the cat|grep|grep with «grep -Ev '^$|^#' out.txt». 13:57:58 otherwise, the perl is... well, it's perl. 13:58:54 (urgh. I'm being corrupted by my sysadmin coworkers...) 14:06:51 -!- conehead has quit (Quit: Computer has gone to sleep.). 14:09:14 -!- Koen has quit (Quit: Koen). 14:16:05 boily: Well, you know what they say... 14:17:46 Roujo: they say not to do stupid things to the poor machines, or else your disk quota will be reduced and your VMs crippled. 14:18:24 So it goes 14:41:19 -!- nooodl has joined. 15:04:48 random Haskell question: why should datatype fields be strict? 15:05:29 -!- MindlessDrone has quit (Quit: MindlessDrone). 15:07:25 http://www.eurogamer.net/articles/2012-07-06-molydeux-one-of-the-reasons-molyneux-left-microsoft 15:07:43 i wonder if molyneux realises he's become a parody of himself 15:09:35 -!- Gregor` has joined. 15:13:35 -!- FreeFull has joined. 15:14:33 Freeń dobry. 15:14:55 Dzień you mean? 15:15:10 -!- FreeFull has changed nick to DzieFull. 15:16:17 we had a bout of internationalised greetings a few hours ago. 15:17:16 boily: how do i greet someone in quebeckqcqois 15:17:38 oops forgot my accents: québèckqçqöis 15:18:24 nooodl: same as in standard French. happens that we still haven't butchered greetings yet... 15:18:41 aw 15:18:47 (and I'll have to remember that créatif spelling of québèckqçqöis.) 15:19:47 nooodl: well. you have «comment va?», between people from Saguenay-Lac-St-Jean. otherwise, the province-wide «pis, à part de tsa?» is another clasic. 15:20:35 but they are neither very close to «bonjour» and «bon matin». 15:26:12 I generally don't bother to optimize one-off command lines, but instead write them the way I think them. 15:26:36 Anyway, I could've obviously replaced both greps with the perl. 15:29:17 -!- Gregor` has changed nick to Gregor. 15:30:20 I ought to learn basic Estonian. it looks like it sounds good. 15:47:22 -!- conehead has joined. 15:52:01 -!- Bike has joined. 15:53:51 -!- john_metcalf has joined. 16:00:57 -!- mnoqy has joined. 16:02:08 -!- Taneb has joined. 16:04:13 -!- SingingBoyo has joined. 16:10:58 boily, isn't it just hipster finnish 16:12:04 Aaaah I have a dwarf fortress badge 16:12:08 And I don't quite know how 16:14:38 -!- SingingBoyo has quit (Ping timeout: 264 seconds). 16:18:23 -!- Koen has joined. 16:20:01 -!- Yonkie_ has quit (Ping timeout: 245 seconds). 16:23:45 Taneb, as in an actual badge 16:24:11 You know, design attached to a safety pin type thing 16:24:18 how 16:24:21 i want one 16:24:32 I don't know! 16:24:56 well let me have it then 16:25:06 No, it's mine 16:25:07 I found it 16:25:10 On my bedroom floor 16:25:41 maybe i'll stop by in york then 16:25:56 with a sack of bricks 16:27:44 I'm not in York yet 16:27:52 Term starts stupid late 16:28:34 how stupid 16:29:20 what, really? it's practically october. 16:29:42 term starts mid-november here 16:30:18 impossible 16:30:22 also hey your underscores are gone 16:30:35 wow 16:30:43 TIME TO REGISTER 16:30:47 thank you for telling me 16:31:09 one of many lovely services i provide 16:31:18 NickServ: Koen is already registered. 16:31:26 okay 16:31:29 oh no 16:31:38 time to never log out and hope I don't get ghosted 16:47:06 -!- DzieFull has changed nick to FreeFull. 16:48:26 "Last seen : Sep 17 06:09:05 2013 (10 hours, 39 minutes, 0 seconds ago)" it's not even an inactive account. 16:55:12 Phantom_Hoover: well... there may be that... >_>... 16:55:19 fizzie: he's usually ALWAYS connected 16:55:29 -!- MindlessDrone has joined. 16:55:50 and by connected I mean logged in 16:59:57 12:59:22 except the ip is australian. but he may have learned. 17:00:11 @tell oerjan mafingre is always australian. but different ISPs (sometimes mobile broadband, sometimes university, it seems) 17:00:12 Consider it noted. 17:00:58 https://medium.com/weird-future/2acc5ba75929 very nice. 17:01:04 @tell oerjan my suggestion is anyone who comes in on webchat with an australian IP and links to pastebin.com, it's almost certainly them. if they evade the question of whether it is then you can discard any remaining doubts 17:01:04 Consider it noted. 17:01:16 @tell oerjan also I really wish they'd go away, it's not very fun any more. 17:01:16 Consider it noted. 17:01:24 The roots of this division are sadly rooted in humanity’s pre-history. On the plains of our ancestors, male hunters roamed the savannah, chasing down prey, while women remained home to nurture families and gather berries. The males adapted for big movements and fast action, while the women adapted for slow, methodical searching. The traits that made women expert bug-huntresses in the dust have carried forward and given them an advantage a 17:02:03 @tell oerjan oh and the IPs have geolocated to both Perth and Victoria, seemingly moreso the latter. so there may be proxying going on, or maybe Australian internet is just weird. 17:02:03 Consider it noted. 17:04:05 elliott: are you discussing the ion lickers? 17:04:09 Bike: what is that blog??? 17:04:20 no, the challenge-givers :P 17:04:28 the licker gave up quickly, it seems. 17:05:26 and I have a slight little itty-bitty technical problem with metasepia. I registered the account with a randomly generated 14-char password. 17:05:35 (a password I have completely forgot.) 17:06:21 boily: looks like they have no about page.. 17:06:55 https://medium.com/weird-future/4927989f3ecd i'm thinking it's a good one, though ("Six Radical Life-Extension Technologies for Transhumanist Consideration") 17:14:28 boily: extract it from the binary? 17:15:30 -!- Taneb has quit (Quit: Leaving). 17:19:00 fungot: Do you remember your account password at all? 17:19:01 fizzie: what's quack? i dont see a specific use of it, i'm afraid 17:28:25 elliott: it's not used from metasepia, it's just the freenode account I created afterwards... 17:28:54 think I can tell the guys at FN to reset the password for me, once I put the code on github and proove some legitimacy? 17:37:07 -!- Bike has quit (Ping timeout: 260 seconds). 17:37:27 hmm, FN is the swedish acronym (abbreviation? initialism?) for UN, so for a while there I thought you would try to get the UN to reset your password 17:37:34 also I have lost my name 17:38:09 salparot__: that could also work. also, were you `relcommed? 17:38:37 I think I got here before relcome 17:38:47 -!- salparot__ has changed nick to olsner. 17:39:37 * boily falls back in surprise 17:45:48 -!- Taneb has joined. 17:46:12 ah! someone I know! 17:46:23 Tanello. 17:47:18 Hi 17:47:28 Or should I say... 17:47:33 bohily 17:55:09 -!- audioPhil_ has joined. 17:57:58 -!- bike has joined. 18:04:52 "bollo" would also be fine. 18:05:28 bollo? 18:06:19 Streaming Dwarf Fortress @ 120x40 characters, telnet termcast.org 18:07:03 awesome, how is that done? 18:07:06 No I'm not, I messed up the init.txt 18:07:09 It's still 80x25 18:07:37 are you playing real-time at this very moment right now, or is it prerecorded? 18:07:38 what software is the streaming solution 18:07:48 i'd love doing something like that myself 18:08:05 -!- audioPhil_ has changed nick to audioPhil. 18:08:24 -!- audioPhil has quit (Changing host). 18:08:24 -!- audioPhil has joined. 18:10:31 oh, stupid question 18:10:48 there appears to be some kind of ascii game playing itself in my console but I've got no idea what is going on 18:11:37 you don't know the great game dwarf fortress? 18:11:45 nope 18:12:03 DCSS is better than dwarf fortress :D 18:12:19 it's the most complex and genious game i ever played 18:12:31 Koen: it's not playing itself, I think Taneb is playing it 18:12:32 boily: i didn't got the hang of it, but it's hilarious 18:13:15 also, i find cataclysm really interesting 18:13:34 myname: which one? DCSS or DF? 18:15:20 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:15:42 DF is way better than DCSS 18:15:58 Taneb: "oh no is he making danger rooms..." 18:16:16 elliott: did you try cataclysm dda? 18:16:19 elliott, no I'm making a cunning trap 18:16:38 I've played cataclysm but not the fork 18:16:56 Taneb: your dwarves have oddly turkic names... 18:17:18 (with bits of Hungarian thrown in for good measure) 18:26:15 boily: Continuing from yesterday, a search over the Cabal Hoogle database locates the following >3 character operators: http://sprunge.us/PfCe 18:26:24 ^#->#? seems like a good one. 18:26:38 (Possibly I should try getting the packages in the above list.) 18:29:14 I feel watched by <<..>> ... 18:31:34 :$#$#$#: is a joke, right? 18:32:12 -!- bike has quit (Quit: fail/death). 18:34:37 boily: http://sprunge.us/bSiZ 18:35:06 (Disclaimer: might be misattributed, based on just looking at a previous "^module (.*)" line.) 18:36:31 And :$#$#$#: is indeed in http://hackage.haskell.org/packages/archive/she/0.4/doc/html/ShePrelude.html#t::-36--35--36--35--36--35-: 18:37:53 -!- AnotherTest has joined. 18:38:04 Data.Composition has a kind of a cadddr thing going on there. 18:38:16 Control.Plumbers is pretty outrageous. 18:38:41 That's a many operators. 18:39:08 Oh, I seem to have messed up with commas in that new list, have to fix that. 18:41:08 NIB (http://hackage.haskell.org/packages/archive/not-in-base/0.1.1/doc/html/NIB-Pointfree.html) provides some ingenious atrocities. 18:45:25 http://sprunge.us/MOWM -- one more version, sorted firstly by length of operator (reversed), secondly by the module in question and thirdly by the operator string -- should keep related operators grouped better. 18:46:49 I like the +~--- and ---~+ of BioInf.RNAfold. 18:47:09 pages and pages of supermarioperators... 18:47:33 what is a supermarioperator? 18:47:50 Lens is pretty well represented too. 18:48:23 `learn supermarioperator is one of many confusing operators as defined in Control.Plumbers.Monad. Your sanity is in another castle. 18:48:34 I knew that. 18:48:50 fizzie: is that a joke about lens and representability 18:49:14 It can be if you think a joke like that would make me look smart! 18:49:18 (But it wasn't, before.) 18:50:10 fungot: bro, do you even lens? 18:50:10 boily: s/ had/ have/ the epiphany address bar. 18:50:57 `pastewisdom 18:50:58 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 18:52:13 the pdf is missing the last few quotes... I need to find an easy way to synch it with the repo... 18:52:36 boily: Also, the operator length distribution: http://sprunge.us/GFTH (doesn't merge identical ones, otherwise the '1' would be pretty lame) 18:52:51 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 18:52:59 Ooh, I must also do a most-defined-operators thing. 18:53:34 -!- AnotherTest has joined. 18:54:53 http://sprunge.us/XhVd there you go. 18:56:13 http://sprunge.us/gUOX (all (!)s) 18:57:22 I guess <> comes from it not being defined in olden GHC distributions? 18:58:42 woah. holy uninputable unicode operators, batman! 18:58:43 -!- Bike has joined. 18:58:46 -!- conehead has joined. 19:01:41 `pastequotes 19:01:41 -!- nooodl has quit (Read error: Connection reset by peer). 19:01:48 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12738 19:04:22 -!- carado has quit (Ping timeout: 246 seconds). 19:04:35 boily: Best idea ever: add git commit hooks to > and >> 19:05:00 `git 19:05:02 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: git: not found 19:05:08 Hmmmm 19:05:14 Can we install git on HackEgo? 19:05:29 hackego uses hg, you horrible being 19:05:56 can we wrap HackEgo in git, then? 19:06:03 But it would be sooo easy to just push the new wisdom files to GitHub! =P 19:06:57 :( 19:07:20 -!- sebbu2 has joined. 19:07:29 `help 19:07:30 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/ 19:07:40 Roujo: see: that 19:07:57 I klnow 19:07:59 know* 19:08:37 I'm just trying to think of a way to be able to push changes in wisdom/ to GitHub 19:08:44 Roujo: you have commit access to the wisdom repo. 19:08:52 boily: I know, thanks 19:09:12 I *could* just pull from HackEgo, then push to GitHub =P 19:09:17 Roujo: the sky is blue. 19:09:29 boily: I know, thanks =P 19:09:31 -!- sebbu has quit (Ping timeout: 260 seconds). 19:09:55 `fetch cat 19:09:56 wget: unable to resolve host address `cat' 19:09:59 Well crap 19:10:58 what were you expecting 19:11:04 Roujo: calamari is delicious. gravity curves light. russia is the most translated wikipédia article. Phantom_Hoover likes the diæresis. fungot is weird. 19:11:04 boily: ( begin ( 19:11:09 For HackEgo to find my cat >_> 19:13:33 `complain wget'ing the quotes takes forever 19:13:35 Complaint filed. Thank you. 19:14:13 `complain s/quotes/wisdom files/g 19:14:14 Complaint filed. Thank you. 19:14:44 Okay 19:14:48 So I can't just download the quotes 19:14:51 Which is sad 19:15:05 And I'm not wget the whole filesystem just to update the quotes 19:15:18 s/(wget)/going to \1/g 19:15:40 Roujo: pull the hg. 19:15:50 boily: Instructions unclear - got cancer 19:16:51 On a more serious note, what would the URL be? 19:17:49 `help 19:17:49 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/ 19:18:02 I know =P 19:18:07 But do I just pull that? 19:18:45 -!- conehead has quit (Ping timeout: 245 seconds). 19:19:07 Roujo: just a moment... 19:19:19 boily: I think I got it 19:19:58 Roujo: hg clone http://codu.org/projects/hackbot/fshg the first time, hg pull in the project's root after. 19:20:40 Yeah, cloning right now 19:20:52 I just didn't think that that URL would be the correct one for a clone 19:23:29 -!- sebbu2 has changed nick to sebbu. 19:24:57 -!- Bike has quit (Ping timeout: 276 seconds). 19:27:17 Oh shit 19:27:21 Error 500 on GitHub 19:27:22 Wooo 19:28:00 boily: Is GitHub down for you? 19:28:18 me too 19:28:21 Nevermind =P 19:28:24 https://twitter.com/githubstatus/status/380049976862461952 19:28:41 bon, maudit, encore une fois... 19:28:51 Woot woot 19:29:05 Juste comme j'allais réussir à commiter =P 19:32:25 Down for Maintenance, now 19:34:42 -!- AnotherTest has quit (Ping timeout: 276 seconds). 19:36:22 -!- Bike has joined. 19:36:36 `fetch https://github.com 19:36:38 https://github.com/: \ 2013-09-17 19:36:37 ERROR 503: Service Temporarily Unavailable. 19:36:41 WELL CRAP 19:40:21 fungot: ♪ding♪! you have quotes! 19:40:21 boily: but ep2 and ep3 are operationally equivalent in _this_ order of evaluation than has been wasted due to duplication? :) 19:40:43 fungot: yes, there is some slight duplication, but the order was preserved. 19:40:44 boily: since in this way. if after a decrement a number equals 127 then an answer reversal byte is toggled. it has parts. 19:41:17 fungot: can't remember if you had quote 128 (which is decremented). you still have 72 shiny featured quotes in your name! 19:41:19 ain't that the truth. 19:42:55 boily: boily: boily: it worked! 19:43:40 Roujo: なに? :p 19:43:50 `? solain 19:43:52 Check the reposotory ^^ 19:43:53 ​ヽ༼ຈل͜ຈ༽ノ 19:44:05 `? bienvenue 19:44:07 Bienvenue sur le centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d’ésotérisme, essayez #esoteric sur irc.dal.net.) 19:44:20 Roujo: got an e-mail celebrating that! 19:44:33 `echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d’ésotérisme, essayez #esoteric sur irc.dal.net.) > wisdom/bienvenue 19:44:35 Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d’ésotérisme, essayez #esoteric sur irc.dal.net.) > wisdom/bienvenue 19:44:39 ... 19:44:52 What did I destroy now 19:45:03 `echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d\'ésotérisme, essayez #esoteric sur irc.dal.net.) > wisdom/bienvenue 19:45:05 Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d\'ésotérisme, essayez #esoteric sur irc.dal.net.) > wisdom/bienvenue 19:45:11 SURE 19:45:14 Oh 19:45:20 `run echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d\'ésotérisme, essayez #esoteric sur irc.dal.net.) > wisdom/bienvenue 19:45:21 bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d\'ésotérisme, essayez #esoteric sur irc.dal.net.) 19:45:31 `run echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. \(Pour l’autre type d'ésotérisme, essayez #esoteric sur irc.dal.net.\) > wisdom/bienvenue 19:45:32 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 19:45:38 `run echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. \(Pour l’autre type d\'ésotérisme, essayez #esoteric sur irc.dal.net.\) > wisdom/bienvenue 19:45:40 Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d'ésotérisme, essayez 19:45:51 `run echo Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. \(Pour l’autre type d\'ésotérisme, essayez \#esoteric sur irc.dal.net.\) > wisdom/bienvenue 19:45:54 No output. 19:45:56 There 19:46:02 `run cat wisdom/bienvenue 19:46:03 Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d'ésotérisme, essayez #esoteric sur irc.dal.net.) 19:50:44 boily: Alright, automated that with a nice script 19:53:23 boily: So yeah, it's done. Every quote *should* be on GitHub now ^^ 19:53:49 good! 19:53:52 Wait. Not quote. Wisdom. 19:53:56 `run ls 19:53:58 bi \ bin \ bin` \ canary \ cat \ complaints \ delvs \ delvs-master \ dog \ etc \ factor \ ibin \ index.html \ interps \ lib \ master.tar.gz \ mind \ multiply.bf \ no \ oerjan \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ wisdom 19:54:02 Hmmm 19:54:03 `? koen 19:54:05 koen? ¯\(°_o)/¯ 19:54:06 | 19:54:06 º¯`\o 19:54:08 `run ls quotes 19:54:10 quotes 19:54:14 `run ls quotes/ 19:54:16 ls: cannot access quotes/: Not a directory 19:54:20 Oh, it's a file 19:54:22 Alright =P 19:54:33 Koen: who are you? I'd prefer having a nice learndb of you before adding your quotes to the PDF. 19:55:00 `quote fungot 19:55:00 kmc: you don't need to 19:55:01 505) now that we've cleared that up let us hug fungot = elliott_: let's not start that again." \ 591) anyway fungot is the only esolang irc bot I know of that doesn't depend on nethack or a similar helper \ 896) fungot knows all. oerjan: you are correct. there's no freedom for free. \ 951) * fungot h 19:55:16 kmc: you can check fungot's collected quotes in the PDF now. 19:55:16 boily: i don't know 19:55:21 link? 19:55:26 fungot: yes you do, you nimrod. 19:55:27 boily: just dissolve the pills in your beverage of choice before hand. d:... 19:55:44 fungot: no need to poison me. you should be grateful! 19:55:44 boily: wait, you probally did that already 19:55:48 fungot: yes I did. 19:55:49 boily: i'm learning scheme. the vm binary fits in about 128k on some platforms. 19:55:59 -!- nooodl has joined. 19:56:04 fungot: neat. I read the R5RS myself some time ago. 19:58:06 kmc: I think it's the one in the topic 19:58:22 o 19:59:10 Roujo: could you fix your git identity? it's showing up as = <=>. c'est pas beau. 19:59:22 that's quite the document 20:00:56 -!- Taneb has quit (Quit: Leaving). 20:01:13 boily: Wait what? 20:02:18 I was sure I set that up =/ 20:03:29 Oh 20:03:32 -!- S1 has joined. 20:03:42 git config --global user.name = Jonathan Rouillard 20:03:52 ^ This gives you three names: =, Jonathan and Rouillard 20:03:54 (gg) 20:04:01 Can I fix this on GitHub? =/ 20:04:20 for those commit already made? bad idea. 20:04:25 BAH 20:05:37 `? Roujo 20:05:38 Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. 20:06:36 boily: In any case, it'll be fixed for the next comments 20:07:14 commits* 20:07:22 ttyrec seems not to work with curseofwar :( 20:07:25 boily: eh, the last attempt to `learn me was dimmed too lazy 20:08:15 Koen: oh. I put a note from the Editor as a placeholder. hth. 20:08:27 `? Koen 20:08:29 Koen? ¯\(°_o)/¯ 20:08:29 | 20:08:30 o/`¯º 20:08:41 is that so 20:10:54 any Channelder who dares to describe Koen? 20:11:26 btw the new youtube buttons are aweful 20:12:08 -!- SingingBoyo has joined. 20:13:23 will I ever comprehend? 20:14:14 nope 20:14:23 Do you? 20:14:27 Uh sry I mean 20:14:33 S1: see the /topic ↑. read. peruse. grok. flabbergast. 20:14:59 Emphasis on "Flabbergast" 20:15:36 and I have this sudden urge to apply Dr. Oerjan's Patented Flyswatter on the espèce d'achigan de brochet de perchaude who added LaTeX to the DB. 20:17:15 `? LaTeX 20:17:17 LaTeX is \textbackslash textbackslash begin\textbackslash \{document\textbackslash \} 20:17:21 Ah 20:17:23 Yes 20:17:25 That would be me =P 20:24:59 -!- S1 has quit (Quit: Page closed). 20:26:34 `quote hug fungot 20:26:34 olsner: people have done a bit of code comes with lol. it's even worse than www.gotahoe.com www.gotahoe.com 20:26:35 505) now that we've cleared that up let us hug fungot = elliott_: let's not start that again." 20:29:11 -!- S1 has joined. 20:29:25 -!- oerjan has joined. 20:30:45 @messages-loud 20:30:45 elliott said 3h 30m 33s ago: mafingre is always australian. but different ISPs (sometimes mobile broadband, sometimes university, it seems) 20:30:45 elliott said 3h 29m 41s ago: my suggestion is anyone who comes in on webchat with an australian IP and links to pastebin.com, it's almost certainly them. if they evade the question of whether it is 20:30:45 then you can discard any remaining doubts 20:30:45 elliott said 3h 29m 29s ago: also I really wish they'd go away, it's not very fun any more. 20:30:45 elliott said 3h 28m 41s ago: oh and the IPs have geolocated to both Perth and Victoria, seemingly moreso the latter. so there may be proxying going on, or maybe Australian internet is just weird. 20:31:03 now all those messages are in the logs twice :p 20:31:09 crazy 20:31:38 elliott: i think i confused him with hagb4rd and thought he was german-like 20:32:37 i guess that means he was possibly honest about not faking ip's when i talked with him 20:32:37 how about I kick anyone who joins and immediately sends a pastebin link to some crypto puzzle 20:32:41 regardless of IP etc 20:32:50 they can go to ##crypto where it's Not My Problem 20:33:30 kmc: yeah that's the most obvious hint. but when i banned him he had only posted a programming thing (not esoteric) 20:33:38 *re-banned 20:33:41 oh must have been a different incident then 20:33:54 also I only kicked but they thought I banned them 20:33:55 kmc: agreed with an exception for puzzles that are interesting in any way whatsoever 20:33:58 kmc: yes, he was on twice today. 20:34:13 elliott: that would require me to, like, click the link 20:34:20 kmc has a point 20:34:33 «cat *.tex | wc -l» → «5046». 20:35:16 it's not like they'd even have gotten banned if they'd just kept giving stupid puzzles without doing the whole changing nicks and denying it's them thing. it's weird. like, what is the point other than to get banned? 20:35:23 elliott: anyway fizzie's pointing out that he's spamming _many_ channels is better proof, unfortunately i'm not on many channels so am not privy to that information unless people tell me 20:35:50 oerjan: well I've already seen them give a challenge to #haskell. 20:36:05 and then ask whether #esoteric is the right place for it when shachaf said #haskell wasn't. 20:36:09 but i considered my intuition good enough to ban him before fizzie said that. 20:36:32 I suspect they migrated from ##crypto to #esoteric, guessing via the tunes.org logs because #haskell too? 20:36:34 elliott: well i'm not in #haskell. although i guess i do know where the logs are. 20:36:41 oh, they only did it once 20:36:43 yeah it's really hard to understand what they get out of this 20:37:26 anyway i tried to point out to him privately this time that ban evasion is good enough reason for re-banning. 20:37:45 (even if the original ban were unjust for some reason.) 20:38:17 oerjan: I hear they've also ban-evaded in ##crypto, so I wouldn't bother 20:38:43 right, we just had a little chat. 20:38:52 it's kind of weird for an ISP-hopping ban-evading nick-changing person to have a modus operandi as innocuous as just giving random challenges... 20:39:29 elliott: well with the crypto thing maybe he considers himself a H4XOR 20:39:38 and so does it just on principle 20:40:34 maybe like "I have to prove how much smarter/better I am by giving challenges that people can't solve and then showing off my smartness" 20:40:36 and the nick-changing, well, has anyone ever seen him use the same nick twice, i think it's autogenerated everytime he joins or something. 20:41:41 elliott: on the positive side, this time i managed to ban his actual freenode account which was nearly a year old. feels slightly more satisfying than whacking ip's. 20:42:19 Fiora: yeah that happens a fair bit in ##crypto 20:42:24 I watched this "A Capella Science - Bohemian Gravity" video, and thought it was a fun even for a non-physicist. 20:42:41 people come up with shitty cryptosystems then assert them to be unbreakable when nobody bothers to explain in detail why they're bad 20:42:48 (or after arguing with all the explanations given) 20:42:54 oerjan: have they really been identified all this time? 20:43:11 No, they're usually not identified. 20:43:13 oerjan: that seems surprisingly amateur for someone who whipped out an EC2 instance to evade a ban :P 20:43:21 (admittedly in the most transparent way possible) 20:44:31 oerjan: "many" might not deserve an underline, out of my (admittedly small) sampling it was just ##asm and ##c, on the latter of which it was even borderline topical (though ##c-basic would've been a better fit). 20:44:32 elliott: it is possible he just forgot it this time. 20:45:08 oerjan: Maybe he had identified for the purposes of ##c or such, it's +r. 20:45:09 fizzie: well if it was really many he'd get klined and stuff right? 20:45:22 fizzie: ah. 20:45:22 -!- S1 has left. 20:52:10 random Haskell question: why should datatype fields be strict? <-- it prevents space leaks due to large thunks building up. 20:53:14 oerjan: then shouldn't they be always strict by default? all those sudden «!» startle me. 20:53:49 no because Haskell is a lazy language 20:54:04 making stuff strict for performance is something to do carefully, not a panacea where you throw everywhere 20:54:12 throw ! everywhere 20:54:14 of course people do that anyway 20:54:28 so I have to think when coding Haskell? how outrageous! 20:54:32 i know right 20:54:36 the style guide that recommends putting !s on everything is misguided. 20:54:47 especially putting ! on e.g. a list is incredibly pointless 20:54:47 boily: if the structure is only used incrementally, then thunks can be _less_ expensive. 20:54:53 since you only force the outermost cons cell at most 20:54:54 laziness is more efficient sometimes 20:54:59 (assuming it's constructed in a normal way) 20:55:02 e.g. infinite lists would be impossible with strict fields. 20:55:04 it can use asymptotically less space 20:55:07 if stuff uses 20:55:08 fuses* 20:55:09 i think 20:55:18 I leave fields lazy by default except when I have a strong intuition that they should be strict, e.g. the coordinates in a point type 20:55:18 im doing a real good job of typing today 20:55:24 kmc: you don't even need fusing, just gc 20:56:54 `run svn update 20:56:57 bash: svn: command not found 20:56:59 Awww 20:57:17 `run cvs 20:57:18 elliott, why should those be strict 20:57:18 bash: cvs: command not found 20:57:21 Aww^2. 20:57:26 Roujo: HackEgo has hg, although only read accress to its own repository. 20:57:42 Phantom_Hoover: because it doesn't really make sense to force them independently, or the constructor of the pair type separately from them 20:58:00 especially since they're likely some flat (i.e. only ever either unevaluated or fully evaluated) integer type, there's no complex structure to delay 20:58:00 elliott: I didn't grind the Intuition Skill yet. all my XP went to boosting my understanding of monads, and I'm not even done with that yet (Cont is still giving me a headache). 20:58:05 oerjan: I know it has hg, I was just wondering if it also had svn 20:58:07 Apparently not 20:58:08 Anyway 20:58:11 NOT-BUS-TIME 20:58:19 `run ci -V 20:58:19 boily: Cont is the only one you need to understand! 20:58:20 RCS version 5.7 20:58:22 Well, Codensity. 20:58:26 At least it's got RCS. 20:58:36 newtype Codensity m a = Codensity { runCodensity :: forall b. (a -> m b) -> m b } 20:58:39 shachaf: that's the problem. I understand the rest, but that one warps my brain. 20:58:49 Roujo: i _suppose_ you could make another repository inside HackEgo. recursion! 20:59:01 oerjan: SURE 20:59:06 `run mkdir hg 20:59:07 No output. 20:59:10 -!- epicmonkey has quit (Ping timeout: 245 seconds). 20:59:11 Roujo: de quossé que are you not bussing lately? like, hovercraft? 20:59:30 boily: Weird schedule. Full of eels. So yeah. 20:59:57 -!- john_metcalf has left. 21:01:04 -!- conehead has joined. 21:01:31 boily: http://blog.sigfpe.com/2008/12/mother-of-all-monads.html 21:02:41 that'll explain what shachaf said, and possibly give you a hint about Cont as well. 21:02:54 -!- augur has quit (Remote host closed the connection). 21:03:24 Note that when he said Cont he really meant Codensity. 21:03:26 -!- augur has joined. 21:06:31 oerjan: I read that post multiple times. didn't work. I think I have a problem with «<-», as used in the Cont context. 21:06:41 shachaf: codensity shmensity. 21:06:44 ouch 21:07:34 -!- S1 has joined. 21:07:43 newtype Codensity m a = Codensity { runCodensity :: forall b. (a -> m b) -> m b } 21:07:46 (>>=) :: forall m. Monad m => m a -> forall b. (a -> m b) -> m b 21:08:02 -!- augur has quit (Ping timeout: 264 seconds). 21:08:13 I forgot "a" there. 21:08:17 That's also forall. 21:08:41 isn't codensity exactly like plain old monad? 21:09:08 tee-tee-ouaille-elle, #esoteric 21:09:09 Well, uh, it's, uh, hm? 21:09:19 One of them is a type class and one is a type. 21:09:46 Roujo: à à plus! 21:11:58 Roujo: AAAAAAAAAAAAAAAAAAAAAAÀ 21:12:39 also, shouldn't it be ti-ti- or something 21:13:30 shachaf: i say just use reflection to convert 21:13:53 the Bilingual Spelled ティ ティ Why Elle strikes again. 21:14:14 does fungot speak japanese? 21:14:15 olsner: is it a draw with fnord to browse through some code that returned a procedure 21:14:59 fungot: 日本語は知っている? 21:14:59 boily: nor is it for learning or for production? 21:16:16 -!- SingingBoyo has quit (Ping timeout: 256 seconds). 21:18:13 boily: Did you go through the usual exercises like writing out the Cont monad instance and stepping through some simple Cont code by hand? 21:19:20 -!- S1 has left. 21:20:26 shachaf: uhm. eeeeeh... >_>... partially? 21:20:42 imo do it 21:20:55 I know I should. 21:21:21 @djinn ((((a -> r) -> r) -> r) -> r) -> (a -> r) -> r 21:21:21 f a b = a (\ c -> c b) 21:21:22 easy 21:21:30 (Don't use djinn.) 21:21:47 why not 21:22:25 Well, you might as well just use the library in that case. 21:23:02 I think there's value to stepping through it yourself when you don't have intuition for it. 21:23:28 -!- epicmonkey has joined. 21:23:57 i heard that cool people implement Cont via the adjunction (-> r) -| (-> r) 21:24:51 * boily wildly flails around. “ADJUNCTIONS!” 21:24:59 the other thing that bugs me. 21:25:30 well. the second thing that leaves me in utter confusion. the third being lenses. 21:25:47 Lenses are easy. 21:25:59 You can join #haskell-lens and I can talk about it later if you want. 21:26:36 my day is done, and I'm going to watch an English-subtitled Mandarin movie tonight. the lenses are punted to tomorrow for me. 21:26:45 :t ret 21:26:46 a -> (a -> r) -> r 21:26:56 -!- elliott_ has joined. 21:26:59 That's the hardest part of Cont. 21:27:09 You get the rest for free*! 21:27:22 I see what you mathematically did there. 21:27:23 -!- elliott has quit (Read error: Connection reset by peer). 21:27:53 -!- boily has quit (Quit: I like my brain like I like my jellies.). 21:27:59 -!- metasepia has quit (Remote host closed the connection). 21:28:24 "in serge lang’s complex analysis book, one of the exercises is to prove the non-trivial zeros of the zeta function have real part 1/2" good book 21:28:42 -!- elliott_ has changed nick to elliott. 21:30:52 -!- epicmonkey has quit (Ping timeout: 256 seconds). 21:31:57 always throw that in in case some student finds a simple proof everyone has missed. 21:32:54 @undefine 21:32:54 Undefined. 21:33:04 @let type Cont' r a = (a -> r) -> r 21:33:05 Defined. 21:33:26 @let return' :: a -> Cont' r a; return' x = ($ x) 21:33:27 Defined. 21:33:48 @let fmap' :: (a -> b) -> Cont' r a -> Cont' r b; fmap' f = (. (. f)) 21:33:48 Defined. 21:34:06 @let join' :: Cont' r (Cont' r a) -> Cont' r a; join' = (. return') 21:34:07 Defined. 21:34:59 "Come up with a theory that unifies general relativity and quantum mechanics. Devise and perform experiments to prove it. (Hint: you may have to invent new mathematics to do this)" 21:36:51 TAOCP, which ranks exercises from 0 to 50, famously had Fermat's Last as one exercise ranked to 50, and then later a post-Wiles edition downgraded the ranking. 21:37:04 haha 21:37:36 funny, i just mentioned a [50] problem that got answered (elsewhere) 21:39:05 wonder how many of those specifically have been solved 21:39:43 I think Fermat went from [M50] to [HM45]. 21:40:14 Possibly the lack of a H was because you never know, it might turn out there's a simple proof. 21:43:54 -!- Bike has quit (Ping timeout: 256 seconds). 21:44:34 `olist (919) 21:44:36 olist (919): shachaf oerjan Sgeo FireFly 21:44:54 ooh 21:45:34 `run ln -s olist bin/oohlist 21:45:38 No output. 21:45:38 -!- Bike has joined. 21:58:41 `? roujo 21:58:43 Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. 21:59:16 `run sed -i 's/$/ He does not understand shell quoting./' wisdom/roujo 21:59:20 No output. 21:59:24 `? roujo 21:59:26 Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting. 22:00:14 -!- augur has joined. 22:00:36 * oerjan doesn't understand it either, but not quite so blatantly. 22:01:15 no one likes join = (. return) :'( 22:01:53 that's not the usual definition, shachaf. 22:02:04 :t flip fmap return 22:02:04 Monad m => (m a -> b) -> a -> b 22:02:17 nope, not even then. 22:03:56 `? koen 22:03:57 koen? ¯\(°_o)/¯ 22:03:58 | 22:03:58 o/`¯º 22:03:59 `? koen_ 22:04:00 koen_? ¯\(°_o)/¯ 22:04:01 | 22:04:01 o/`¯º 22:05:19 oerjan: Well, for Cont, of course. 22:06:50 -!- Bike has quit (Ping timeout: 264 seconds). 22:07:08 :t (. return) 22:07:09 Monad m => (m a -> c) -> a -> c 22:07:26 And newtype noise makes it not work. 22:07:41 just use coerce 22:07:48 But the point is eta = eps = \x -> ($ x) 22:09:13 :t join :: Cont r (Cont r a) -> Cont r a 22:09:14 Cont r (Cont r a) -> Cont r a 22:09:32 :k Cont' 22:09:33 Type synonym Cont' should have 2 arguments, but has been given none 22:09:33 In a type in a GHCi command: Cont' 22:09:50 sheesh that is not helpful ghc 22:10:25 :t (. return) :: Cont' r (Cont' r a) -> Cont' r a 22:10:26 Couldn't match type `r' with `a -> r' 22:10:26 `r' is a rigid type variable bound by 22:10:26 an expression type signature: Cont' r (Cont' r a) -> Cont' r a 22:10:42 shachaf: DUBIOUS 22:11:31 -!- Bike has joined. 22:11:43 oerjan: return' 22:11:46 :t return' 22:11:47 a -> Cont' r a 22:12:15 oh i thought that was just -> stuff 22:12:23 :t (. return') :: Cont' r (Cont' r a) -> Cont' r a 22:12:24 Cont' r (Cont' r a) -> Cont' r a 22:12:29 OKAY 22:13:05 `? latex 22:13:06 @let halfmap :: (a -> b) -> (b -> r) -> (a -> r); halfmap = flip (.) 22:13:07 Defined. 22:13:07 LaTeX is \textbackslash textbackslash begin\textbackslash \{document\textbackslash \} 22:13:15 join' = halfmap return' 22:13:57 `run sed -i 's/\\/\\end{verbatim} \\/' wisdom/latex 22:14:01 No output. 22:14:04 `? latex 22:14:06 LaTeX is \end{verbatim} \textbackslash textbackslash begin\textbackslash \{document\textbackslash \} 22:14:35 * oerjan whistles innocently 22:14:42 lol. 22:14:47 is that a quine 22:15:09 kmc: i sincerely hope not^Wso 22:15:56 presumably the point of this entry is basically to fuck with boily 22:17:01 how'd you guess 22:17:38 mention of backslashes 22:21:15 -!- jix has quit (Quit: leaving). 22:31:09 it just looks quiney 22:31:49 -!- nooodl has quit (Quit: Ik ga weg). 22:32:04 douglass found a LaTeX document that requires pdflatex to run four times to produce correct output 22:32:07 not supposed to be possible 22:34:09 Bike: I can confirm that the point of `? LaTeX is to fuck with boily =P 22:37:25 kmc: what, is pdflatex supposed to be better than standard tex on converging? 22:41:57 no, but I thought all the types of tex were supposed to converge after three runs 22:42:00 maybe I was misinformed! 22:42:47 maybe i just didn't hear about it, i thought you could have loops and stuff 22:44:20 like, if things keep shuffling back and forth over page boundaries as cross references adapt to the previous version 22:45:23 it feels somewhat plausible that this could be made PSPACE-complete 22:45:38 *shown 22:57:30 -!- MindlessDrone has quit (Quit: MindlessDrone). 23:01:07 -!- iconmaster has joined. 23:04:02 -!- oerjan has quit (Quit: leaving). 23:14:55 -!- elliott_ has joined. 23:15:27 -!- elliott has quit (Quit: Reconnecting). 23:16:31 -!- elliott_ has changed nick to elliott. 23:19:49 -!- augur has quit (Remote host closed the connection). 23:22:31 `slist 23:22:33 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 23:29:53 -!- ineiros_ has quit (Ping timeout: 240 seconds). 23:30:01 -!- ineiros has joined. 23:48:28 -!- Sgeo has joined. 23:49:10 -!- Bike has quit (Ping timeout: 245 seconds). 23:51:20 -!- augur has joined. 23:55:18 `oohlist (919) 23:55:20 oohlist (919): shachaf oerjan Sgeo FireFly 23:55:43 Maybe I should have zero-width-space'd that 23:58:49 Maybe 23:58:52 Who knows 23:59:02 `unicode ZERO-WIDTH SPACE 23:59:04 Traceback (most recent call last): \ File "/hackenv/bin/unicode", line 5, in \ print u"".join(map(unicodedata.lookup, sys.argv[1:])).encode("utf-8") \ KeyError: "undefined character name 'ZERO-WIDTH SPACE'" 23:59:06 Aww 23:59:09 `unicode ZERO WIDTH SPACE 23:59:10 ​​ 23:59:13 There we go