00:09:35 -!- oerjan has quit (Quit: Good night). 00:11:43 -!- kar8nga has quit (Remote host closed the connection). 00:14:21 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:15:42 -!- P4 has joined. 00:15:48 Hi! 00:16:11 o.O 00:16:21 What's a contest doing in here? 00:16:33 ? 00:16:37 Hi P4. 00:17:04 i have a brainfuck interpreter, the trigger is !brainfuck [code] if you'r einterested 00:17:21 Does it have a PSOX interpreter? 00:17:37 -!- BeholdMyGlory has joined. 00:17:51 !brainfuck [code] 00:17:51 Execution time: 0 sec., used 1 items. 00:18:01 !brainfuck [+.] 00:18:02 Execution time: 0 sec., used 1 items. 00:18:07 quite frankly, i don't know :P the script i use is here http://pastebin.com/d3e4a2f93 00:18:08 !brainfuck +[code] 00:18:34 What language is that? 00:18:37 And is it secure/ 00:18:43 !brainfuck [++.] 00:18:48 !brainfuck +[code] 00:18:51 It's not multithreaded, is it 00:19:00 A single infinite loop kills it 00:19:08 !brainfuck [code] 00:19:35 !brainfuck +[code] 00:19:35 Either make it so that execution stops after a certain time, or multithread it. Actually, you should probably do both 00:21:07 P4: lol you didn't even *write* the script you mean? 00:22:05 I don't recognize the language 00:22:22 that is right, i just wanted to test it for the exploiting 00:22:30 -!- augur has joined. 00:22:43 Oh, mIRC 00:22:59 that is right, http://www.mirc.net/paste/?3758 here is better view 00:23:08 People should learn to write real bots 00:23:16 pastebin.com seems to be failing on mirc type 00:23:28 Or Python scripts for XChat or something, at the very least 00:23:37 But real bots can be run by anyone regardless of client 00:23:46 well, actually i use supybot as a main bot, i could write plugins in python if i knew that language :p 00:24:22 * Sgeo has had issues getting supybot to work 00:25:23 http://www.youtube.com/watch?v=ox_7tPA-vYo&feature=related 00:26:03 Sgeo: i will help you if i can, but #supybot-bots is more apropriate channel 00:26:12 P4, it was a while ago 00:26:15 And I don't need it now 00:26:25 mhkay (: 00:26:31 If I need to write a bot anytime soon, I'm comfortable using irclib, and can survive with Twisted 00:27:30 http://www.youtube.com/watch?v=_RbNdwY4ujw 00:29:12 EgoBot: I wurve you 00:29:19 !bf_txtgen Gregor: I WURVE YOU TOO 00:29:27 221 ++++++++++++++[>++++>++>+++++>++++++++<<<<-]>>>+.>++.-------------.++.++++++++.+++.<<<++.>++++.>++.<.>>---------------------------.--.---.<+++++++++++++.<<+++++++++++.>.>+++.>---.<----.<.>-.-----..<----------------------. [499] 00:29:43 !bf ++++++++++++++[>++++>++>+++++>++++++++<<<<-]>>>+.>++.-------------.++.++++++++.+++.<<<++.>++++.>++.<.>>---------------------------.--.---.<+++++++++++++.<<+++++++++++.>.>+++.>---.<----.<.>-.-----..<----------------------. 00:29:46 Gregor: I WURVE YOU TOO 00:30:31 !bf_txtgen abcdefghijklmnopqrst 00:30:33 98 +++++++++++[>+++++++++>+++++++++>+><<<<-]>--.+.>.+.+.+.<+++++.+.+.+.+.+.>+++++++.+.+.+.+.+.+.+.>-. [323] 00:30:45 !bf_txtgen abcdefghijklmnopqrstuvwxyz 00:30:47 112 +++++++++++[>+++++++++>++++++++++>+><<<<-]>--.+.+.+.+.+.+.+.+.+.+.+.+.>.+.+.<++++.+.+.+.>+++++.+.<+++.+.+.+.>>-. [1000] 00:31:28 We live to dance, another day / Just now we have to dance, for one more of us / So stop looking so damned depressed / And sing with all our hearts / Long live the queen 00:31:50 thanks for all the fish :) 00:31:50 -!- P4 has left (?). 00:31:54 Haw 00:31:57 I scared 'im off. 00:37:17 Was watching Hulu. 00:37:30 They just showed a Verizon commercial that was a blatant.. Twilight thingy 00:44:15 !bf_textgen wat 00:44:46 !bf_txtgen We live to dance, another day / Just now we have to dance, for one more of us / So stop looking so damned depressed / And sing with all our hearts / Long live the queen 00:45:01 !bf_txtgen wat 00:45:03 1923 +++++++++++[>+++>++++++++>++++++++++>++++<<<<-]>>-.++++++++++++++.<-.>>--.---.+++++++++++++.<.<.>>--.-----.<<.++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.>----.>-.<<-.++.>>>.------------.<<.<+++++++++.>>+.<<++++++.>>-------.---.<<--.>>>.<-.<.<+++++++.>>>.+++++++++++++++.<--------------------------------------------------------------------.>+++++++++++++++++++++++++++.<<<----.--.+.>>.>++++++++++++++++++++++++++++++++++++.+. 00:45:07 there we go 00:45:14 !bf +++++++++++[>+++>++++++++>++++++++++>++++<<<<-]>>-.++++++++++++++.<-.>>--.---.+++++++++++++.<.<.>>--.-----.<<.++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++.>----.>-.<<-.++.>>>.------------.<<.<+++++++++.>>+.<<++++++.>>-------.---.<<--.>>>.<-.<.<+++++++.>>>.+++++++++++++++.<--------------------------------------------------------------------.>+++++++++++++++++++++++++++.<<<----.--.+.>>.>++++++++++++++++++++++++ 00:45:15 We live to dance, another day / Just 00:45:30 lol 00:45:40 espernet cut off the message 00:46:07 I just did this http://chicken.olol.eu/tests/index.bf 00:46:21 http://dresdencodak.com/2009/01/27/advanced-dungeons-and-discourse/ 00:46:29 Wareya: you mean freenode. 00:46:33 right 00:46:38 i'm on alot of servers 00:46:38 chickenzilla: .b not .bf 00:46:40 .bf is befunge 00:46:49 alise: people use bf for brainfuck too 00:46:53 Wareya: they are wrong 00:46:55 also, .b is for B 00:46:56 .bf is befunge, .b is brainfuck 00:46:56 ok 00:46:59 .b is B 00:47:00 simple rule, obeyed by everyone 00:47:02 Wareya: no it's not 00:47:04 yes it is 00:47:07 B was obsolete before we used file extensions 00:47:07 I code B 00:47:11 so? 00:47:21 so brainfuck got there first. and dbc does it, so stop whining. 00:47:29 okay? 00:47:40 What was B like? 00:47:48 then I'll use .bfk, .bfg, and .b 00:48:21 Well, it was BCL. 00:48:35 Sgeo: crappy 00:48:44 Erm, BCPL rather 00:51:59 * Sgeo is tired 00:54:01 yes 00:54:12 but I'm being forced to use it because f schol 00:54:21 my keyboard's daying 00:54:23 dying* 00:56:04 your SCHOOL uses BCPL?! 00:56:22 yes 00:56:46 I cannot even /begin/ to comprehend how gob-smackingly, jaw-droppingly, goat-molestingly FUCKING RETARDED someone ten times as intelligent as them must be. 00:56:46 Wareya studies in The Doctor's School of Time Travel and Computer Science 00:57:15 Also, B wasn't BCPL; B is a separate language. 00:57:20 yes 00:57:26 I knw this 00:57:29 know* 00:59:57 alise: Will you be watching men's curling in two hours? 01:00:00 Canada vs the UK! 01:00:08 I'll be taking Canada's side, so we can be competitors. 01:00:18 No! 01:00:45 LOSER 01:03:41 Well, maybe I will. 01:03:49 That will be 3 AM, though; how long will it endure for? 01:04:08 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 01:07:47 "While working on my book" —Yudkowsky 01:07:48 YES 01:10:10 alise: About three hours :P 01:10:42 -!- adam_d has quit (Ping timeout: 272 seconds). 01:10:42 Well, I won't be up at 6, that is for certain. 01:27:10 -!- Aszstal has quit (Ping timeout: 272 seconds). 01:32:49 http://baetzler.de/humor/c_more_or_less.html 01:36:02 -!- cal153 has quit. 01:38:11 -!- FireFly has quit (Quit: Leaving). 01:47:19 -!- gm|lap has joined. 01:52:35 http://www.reddit.com/user/Lojban The reddit-account equivalent of a "what". 01:59:50 heh 02:08:00 E actually has a few comments with positive karma 02:08:15 I'm pretty sure he really did get castrated, though 02:08:35 I had some sort of "discussion" with him (basically I tried to probe him to figure out WTF he was doing) and based on that I think he did 02:09:35 * Sgeo doesn't get the golf site thing 02:10:15 Other shticks he's had: most of reddit are single moms 02:10:23 I'm sure you can infer his most common metaschtick based on that. 02:13:01 COUCH. 02:15:16 45 minutes 'til Canada starts whoopin' some UK arse! 02:16:27 anyone a latex god 02:16:39 what 02:16:47 well i can define me some macros yeah 02:17:55 i need to draw little trapezoids between lines, where the top and bottom parts are under/overlines to some parts of the adjacent lines 02:19:04 oh i thought you meant like 02:19:07 bdsm. 02:19:08 i was punning. 02:19:30 bdsm latex is boring. 02:20:43 basically i need to show a bunch of rewrites on a string, and i want to be able to show clearly what is rewritten in the transition from line to line 02:22:48 SG-1 seasons 9 and 10: Worth watching? 02:22:59 meh. 02:24:24 -!- Pthing has quit (Remote host closed the connection). 02:39:44 -!- cal153 has joined. 03:00:44 CURLING TIME 03:02:06 link me to an online stream 03:02:09 and i'll watch 03:03:34 I don't know where TF the online stream is :P 03:04:11 www.curling.com 03:04:31 Youre premiere curling director! 03:04:33 Eh! 03:04:34 y 03:06:07 hey Gregor 03:06:08 Britain beats China 9-4 in men's Olympic curling‎ - 4 hours ago 03:06:14 That's China. 03:06:16 WhoTF cares. 03:06:27 Chinese players get executed for even THINKING of bad strategies. 03:08:33 :\ 03:09:06 augur: what 03:09:22 LaTeX! :( 03:10:33 Olympics 03:10:34 My Head 03:38:42 alise: Canada's ahead 2-0 after the second end :) 03:38:47 Feck. 03:39:00 Oh, there's still plenty of game left. 03:39:03 * Sgeo should set up his grandmother's TV so she can actually watch 03:53:56 Done 03:58:48 http://pastie.org/835023.txt?key=hhgvq1jyj8oic2xkcdkog 03:58:51 Quotient types in action. 03:59:22 Arbitrary fractions + equality on fractions -> the rationals. Where two equal fractions are actually ===, i.e. "are the exact same value". 03:59:33 (= have the same normal form; the constructor is basically x -> Eq x x) 04:09:04 -!- sebbu2 has joined. 04:11:47 -!- sebbu has quit (Ping timeout: 252 seconds). 04:12:58 Sgeo: Gregor: augur: be impressed. 04:13:28 what is it 04:13:43 04:12 < alise> Sgeo: Gregor: augur: be impressed. 04:13:43 04:13 < augur> what is it 04:13:51 haha reminds me of when I used to paint 04:14:16 I don't even know the typed lambda calculus 04:14:17 augur: it defines the rationals in an almost painfully cool manner 04:14:30 Can't read. Too busy watching curling. 04:14:38 alise: how do i do math in latex 04:14:43 You telepathied my message to your own mind, Gregor? 04:14:45 augur: >_< 04:14:48 augur: JFGI 04:14:50 Sgeo sorry :( 04:15:00 i did, but nothing useful comes up for the obvious reason 04:15:06 Sgeo it's easy you will learn it in two mins 04:15:12 I need to go eat 04:15:18 Sgeo but it's like you have to know the details and there's a lot of them 04:15:45 alise: Nope, I'm just guessing what you might say and typing blind. 04:16:05 Gregor: How much wood could a woodchuck chuck if a woodchuck could chuck wood? 04:16:52 alise: Nope, don't have time. 04:17:17 Gregor: Let's have sex! Everyone in the channel! 04:17:48 cmon alise 04:17:51 lets have it 04:17:52 hahaha 04:18:13 alise, augur: I'm in! 04:18:17 ;x 04:18:26 Gregor: EXPOSED 04:18:27 how do i do math in latex. 04:18:37 ...AND ERE*shot* 04:18:49 Now let us steer away quickly from this topic forever. 04:18:55 (Or at least until I'm 16.) 04:19:02 augur: How do I shot web. In LaTeX. 04:19:04 augur math in latex is easy?? 04:19:09 augur: how do I program in Scheme? 04:19:13 $$ \sqrt{2} $$ 04:19:19 I knew it would come in handy one day! 04:19:27 MissPiggy: what would? 04:19:29 MissPiggy: no, not how do i write math equations 04:19:34 how do i do actual calculations 04:19:37 augur: you don't 04:19:39 it's a typesetting system 04:19:42 ok then. 04:19:44 well you CAN 04:19:46 you /can/, it's turing complete 04:19:49 but you'd be an idiot 04:19:59 augur: are you writing a macro or sth? 04:20:13 i think tex has sufficient drawing primitives and stuff that do that shit for you 04:20:46 im writing a command that needs to draw some stuff automatically. its with tikz, so i know its possible. but im guessing its a tikz extension not a latex thing. 04:21:08 so read whatever tikz is's documentation 04:21:36 doing so :P 04:22:03 LaTeX is turing complete? 04:22:05 o.O 04:22:18 It has macros. 04:22:19 Q.E.D. 04:22:23 Is there a particular name for using a non-esoteric language in an esoteric manner? 04:23:05 I wish there was! 04:23:18 abusing is the most common term I guess? but it's not quite perfect 04:23:21 Sgeo: Walling 04:23:23 after Larry 04:24:20 Larry Wall is the Perl guy, right? As far as Perl is concerned, I know just that a common joke is that random strings will turn out to be syntactically correct 04:24:37 Perl is basically an abuse of itself. 04:24:38 And variable names can start with $ or @ or something else I think 04:24:46 Perl = Walled Perl 04:24:57 An amazing recursive feat; too bad Perl itself can do nothing so grand. >:D 04:25:22 Also, he's a damned Christian! 04:25:45 (I am going to temporarily pretend that pikhq is not here.) 04:25:58 You'd expect most Christians not to be damned, I guess 04:26:00 04:26:22 And I'm assuming you're not actually judging him or Perl based on his beliefs, just joking about doing so 04:26:23 ((Well, at least pikhq didn't study linguistics to make a writing system for an African language so that they can translate the Bible in to it.)) 04:26:31 (((Missionaries. Fuck them!))) 04:26:55 Sgeo: Well, he's obviously irrational because of his beliefs, but that doesn't tend to matter in practice. Being a missionary, though, especially one of such magnitude, I can't forgive. 04:27:04 I don't think most missionary girls would let me 04:27:05 >.> 04:27:16 alise, ah. 04:27:18 Try using the missionary position. 05:02:07 -!- Gracenotes has joined. 06:37:28 -!- MissPiggy has quit (Quit: Lost terminal). 06:50:29 -!- Gracenotes has quit (Remote host closed the connection). 06:59:35 -!- Gracenotes has joined. 07:27:16 -!- madbr has quit (Quit: Radiateur). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:28:26 -!- oerjan has joined. 08:43:19 -!- MigoMipo has joined. 08:44:17 -!- gm|lap has quit (Quit: 2 hour UPS expired. Shutting down laptop.). 09:09:17 -!- kar8nga has joined. 09:09:49 -!- kar8nga has quit (Remote host closed the connection). 09:10:14 -!- kar8nga has joined. 09:20:03 -!- oerjan has quit (Quit: leaving). 09:34:18 -!- oklopol has quit (Ping timeout: 240 seconds). 09:38:49 -!- oklopol has joined. 09:40:22 i think people who kill babies for fun are evil 09:49:59 -!- adam_d has joined. 09:56:51 -!- MigoMipo has quit (Remote host closed the connection). 09:57:37 -!- oklofok has joined. 09:57:49 -!- oklopol has quit (Ping timeout: 264 seconds). 10:15:41 -!- BeholdMyGlory has joined. 10:16:54 -!- oklofok has quit (Read error: Connection reset by peer). 10:42:27 -!- FireFly has joined. 10:42:53 -!- kar8nga has quit (Remote host closed the connection). 10:50:34 -!- Sgeo_ has joined. 10:53:44 -!- Sgeo has quit (Ping timeout: 260 seconds). 11:00:08 i now have a program that will do my homework for me 11:02:09 alise, btw it was \vee not \cup, misremembered yesterday 11:03:44 -!- MizardX has joined. 11:04:38 alise, \cup \cap \vee \wedge, always mix the first three up and I always have to look up what the last one was called -_- 11:19:38 how do you mix up cup and cap? you don't drink coffee out of your hat do you? 11:20:12 cheater2, well that is the issue, I don't like coffee at all 11:20:16 nor tea 11:20:55 juice 11:20:56 water 11:21:09 normally I drink water, and usually from a glass, not a cup 11:21:17 also: eating ice cream out of your wedgies is nasty 11:21:34 but ice cream fits in a Vee just well 11:21:41 heh 11:21:53 bbiab, restarting X for upgrade of it 11:22:02 err s/it/nvidia drivers/ 11:25:23 -!- AnMaster has quit (Read error: Connection reset by peer). 11:28:33 -!- AnMaster has joined. 11:30:57 gah, ended up as reboot due to unexpected issues. 11:34:04 -!- kar8nga has joined. 11:35:25 -!- tombom has joined. 11:48:04 -!- oklopol has joined. 11:51:08 -!- puzzlet has quit (*.net *.split). 11:54:17 -!- puzzlet has joined. 11:55:38 -!- oklopol has quit (Read error: Connection reset by peer). 11:55:58 -!- oklopol has joined. 12:39:59 -!- deschutron has joined. 12:40:33 -!- deschutron has left (?). 12:41:14 -!- base3 has joined. 12:41:19 -!- base3 has left (?). 12:54:08 -!- oklopol has quit (Read error: Connection reset by peer). 12:54:29 -!- oklopol has joined. 13:09:36 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 13:32:17 -!- kar8nga has quit (Remote host closed the connection). 13:41:30 -!- BeholdMyGlory has joined. 13:54:40 -!- Sgeo__ has joined. 13:57:44 -!- Sgeo_ has quit (Ping timeout: 256 seconds). 14:00:56 -!- BeholdMyGlory has quit (Remote host closed the connection). 14:08:09 -!- BeholdMyGlory has joined. 14:19:40 l 14:24:12 -!- Asztal has joined. 14:30:59 Topickale. 14:31:03 Gregor: who won? 14:31:21 -!- sebbu has joined. 14:32:57 -!- sebbu2 has quit (Ping timeout: 248 seconds). 14:36:37 augur: talk about how "you're a fool!" is more offensive than "you're a damn fool!" 14:39:35 -!- Pthing has joined. 14:48:11 " On the nth turn, you have a 1/(n+1)^2 chance of winning and receiving $n. Else proceed next turn. How much would you pay to play this game?" 14:48:52 s/" O/"O/ 15:02:08 -!- MissPiggy has joined. 15:03:07 is 1/(n+1)^2 left to right? 15:04:00 looks pretty left to right to me 15:04:12 no we are temporarily violating the laws of usual mathematics. 15:04:14 you missed the context. :D 15:04:14 (yes) 15:04:18 unless you start at the bottom and work upside down 15:04:19 okay 15:04:20 the context was 15:04:21 " On the nth turn, you have a 1/(n+1)^2 chance of winning and receiving $n. Else proceed next turn. How much would you pay to play this game?" 15:04:21 s/" O/"O/ 15:09:09 so if n=2, then you would have a 0.111... chance? 15:09:21 yes. but remember that you must have played the previous turn first 15:09:26 yes 15:09:39 and if you won on the previous turn (which is the most likely turn to win on), the game will end 15:09:48 of course then you only get a buck back 15:09:57 you might even lose money, depending on how much it costs to play 15:10:02 (per-turn i assume) 15:10:44 I'm not going to bother writing a script, and assume that it's a pointless bet. 15:10:58 I can tell you there that you are wrong. 15:11:07 Okay. 15:11:17 I was always told to not gamble anyway. 15:11:29 Expected return, bitch. 15:14:57 -!- oklopol has quit (Ping timeout: 256 seconds). 15:31:48 -!- KingOfKarlsruhe has joined. 15:32:07 "SourceForge.net chooses Python, TurboGears and MongoDB to Redesign their Web Site" 15:32:09 How pointless. 15:32:15 -!- puzzlet has quit (Ping timeout: 245 seconds). 15:38:16 -!- Sgeo_ has joined. 15:38:30 -!- puzzlet has joined. 15:41:33 -!- Sgeo__ has quit (Ping timeout: 265 seconds). 15:53:01 -!- zeotrope has joined. 16:08:22 -!- MigoMipo has joined. 16:30:27 alise, prediction github, launchpad and so on will all hit the same destiny in 10 years or so 16:30:36 s/on /on: / 16:30:38 What; Singularity? 16:30:42 :P 16:30:46 alise, as sf.net 16:30:47 I meant 16:30:53 Yeah, I was just creatively misinterpreting. 16:30:57 alise, I know 16:31:03 I know you know. 16:31:28 and I suspected you knew that I knew that you knew 16:31:57 hm I think I mixed up that one 16:32:06 meh too much work figuring it out 16:32:58 bbl making food 16:39:14 -!- oerjan has joined. 16:44:04 god dammit dependent types are awesome 16:45:49 your face is awesome 16:45:50 augur: talk about how "you're a fool!" is more offensive than "you're a damn fool!" 16:45:58 okloping? 16:46:26 lessee, damn fool is swearing and swearing is not usually literally meant. while the former might be, and so is genuinely insulting. 16:46:35 "You're a fucking cunt." 16:46:39 that's pretty offensive 16:46:45 and it's "just" swearing 16:46:58 and it's worse than "you're a cunt" 16:47:10 well sure but "cunt" is already swearing 16:47:43 "You're a fucking idiot." 16:48:27 i think just idiot is worse there... but i'm not native so 16:49:19 also i was making a theory, since no one else did 16:49:32 no, "fucking idiot" is definitely worse than "idiot" 16:50:02 in that case is it generally agreed that "fool" is worse than "damn fool"? 16:50:36 yes 16:50:37 idiot is also common in swearing though 16:50:57 "I'm going to kickflip off this building while eating a banana." "You're a fool." "Fuck you, man." 16:51:02 "I'm going to kickflip off this building while eating a banana." "You're a damn fool." "Haha, I know, man." 16:51:19 lol 16:51:56 * oerjan will wait for the scientific survey 16:53:45 MissPiggy: there seems to be a severe oklodeficiency here at the moment 16:54:24 okokok 16:56:08 -!- coppro has joined. 17:05:31 alise: Canada, of course :) 17:05:38 Gregor: Feck, eh. 17:06:15 -!- coppro has set topic: totally 0 days since last anyone sighting. 'part from hcf, 2592 and a bit days. http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 17:07:58 hcf fanclub 17:27:36 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 17:27:45 boom 17:28:42 boom of doom 17:36:26 Why do we explode when pooppy leaves? 17:36:39 See quit message. 17:36:45 I see it. 17:36:49 That doesn't answer the question :P 17:37:15 it is a categorial imperative 17:37:19 *categorical 17:37:30 Well, good point :P 17:42:13 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 17:42:44 -!- augur has quit (Ping timeout: 276 seconds). 18:35:05 -!- MizardX- has joined. 18:37:13 -!- MizardX has quit (Ping timeout: 248 seconds). 18:37:33 -!- MizardX- has changed nick to MizardX. 18:39:58 -!- BeholdMyGlory has joined. 18:53:11 -!- KingOfKarlsruhe has quit (Remote host closed the connection). 19:08:50 -!- Sgeo_ has changed nick to Sgeo. 19:49:32 -!- MizardX has quit (Read error: Connection reset by peer). 19:52:44 -!- MizardX has joined. 20:02:20 -!- kar8nga has joined. 20:21:13 -!- adam_d has quit (Ping timeout: 264 seconds). 21:14:22 -!- augur has joined. 21:17:56 -!- scarf has joined. 21:23:38 -!- augur_ has joined. 21:23:48 -!- augur has quit (Read error: No route to host). 21:33:20 -!- augur_ has quit (Ping timeout: 256 seconds). 21:56:27 -!- augur has joined. 22:01:09 alise: Men's curling, US vs UK RIGHT NOW 22:01:22 Um okay what channel in the UK I mean I don't even 22:01:25 BBC or ITV or what 22:01:29 Or do I need some shitty sports channel 22:01:32 * oerjan curls his toes 22:01:52 BBC 22:02:03 ok um as soon as I get the motivation to turn on the tv I will watch 22:02:07 sort of 22:03:53 -!- augur_ has joined. 22:03:56 -!- augur has quit (Ping timeout: 256 seconds). 22:04:20 -!- MigoMipo has quit (Remote host closed the connection). 22:06:11 "HTML6 is project of novations, allowing to write broken line from any to any HTML-element, to refer to place without attribute "id" and "name", to display table 3x100 of DBMS as table 10x10 of browser, to display hyper-cube as table, to hide and show HTML-elements. It proposes new control "picture" (attached graphic file is displayed in document), style for attribute to display its value. HTML6 enters new elements, which send data like form, but automatica 22:06:11 lly: to browse column of database and to browse tree of database. And many others." 22:06:16 whatttttttttttttt 22:07:05 lol same guy made "sql 5" http://sql50.euro.ru/site/sql50/en/author/index_eng.htm 22:07:26 unicode 7 (UPDATING): http://unicode70.euro.ru/ 22:07:33 and... computer 2! also updating: http://computer20.euro.ru/ 22:07:41 the first example: http://html6.by.ru/ 22:07:46 i think this guy may be crazy 22:07:59 http://unicode70.euro.ru/site/unicode70/en/author/index_eng.htm old version of unicode 7, wtf 22:08:09 but is he CRAZY2 ? 22:08:35 i have... i just the 22:08:45 omg he broke alise 22:10:34 it's 22:11:17 computer 2.0: http://computer2.by.ru/site/computer20/en/author/index_eng.htm 22:11:19 as we all suspected, alise was really an AI, and the russians developed an illogic bomb against it 22:12:26 oerjan: the of it ⊥ → a ∴ a and AND it ¬a the 22:12:35 -!- MizardX- has joined. 22:12:47 dammit unicode again 22:13:50 http://translate.google.com/translate?hl=en&ie=UTF-8&sl=auto&tl=en&u=http://html6.by.ru/site/html60/ru/index_ru.htm&prev=_m 22:13:51 * oerjan thinks he recalls such a pyramid of dots from principia mathematica 22:13:57 the glorious html html html html html 6 6 6 6 6 the html 6 22:14:24 oerjan: therefore, therefore, therefore a a a a a a it therefore the operator of unicode look->[*&& p~2 :: Set === a and the \nPRIVMSG #esoteric : 22:14:48 ok 22:14:49 -!- MizardX has quit (Ping timeout: 248 seconds). 22:15:03 -!- MizardX- has changed nick to MizardX. 22:24:20 -!- augur_ has quit (Ping timeout: 256 seconds). 22:31:01 -!- cheater2 has quit (Ping timeout: 260 seconds). 22:36:17 -!- scarf has set topic: For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 22:36:25 that's a great quote 22:36:39 especially if you know IWBTG 22:37:39 I beat 3 bosses on it and then lost my save file >:( 22:38:19 wow, I've never actually tried to /play/ IWBTG 22:38:23 but it's funny watching other people play 22:38:26 I have played it 22:38:28 I was really bad 22:38:34 also, *IWBTG:TM:TG 22:38:41 alise: ? 22:38:53 and dtsund*I Wanna Be The Guy: The Movie: The Game 22:39:01 (yes, I did just invent targeted correction syntax.) 22:39:08 scarf: It's the full name. 22:39:14 `addquote For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. 22:39:14 ah 22:39:30 132| For those who don't know: INTERCAL is basically the I Wanna Be The Guy of programming languages. Not useful for anything serious, but pretty funny when viewed from the outside. 22:41:11 hmm, it looks like you can generate your own save files with I Wanna Be The Fix, maybe I'll try to finish it :) 22:45:12 -!- tombom has quit (Quit: Leaving). 22:49:38 someone beat iwbtg without any saves 22:49:39 O_O 22:49:56 some random japanese person 22:49:57 -!- kar8nga has quit (Remote host closed the connection). 22:50:01 no 22:50:17 someone with the youtube moniker "tijitdamijit" 22:50:17 oh, someone /else/? 22:50:24 this is on impossible mode 22:50:26 = no saves 22:50:32 i think the only person to do it 22:50:34 actually, you can save in impossible mode 22:50:40 the fake save point can apparently be used for one frame 22:50:41 due to a bug 22:50:43 well, yes 22:50:44 but it wasn't 22:50:49 but you'd pretty much need to TAS to pull that one off 22:50:58 someone managed it without that 22:50:58 anyway 22:50:59 http://www.youtube.com/watch?v=pnllGJy7lSk <-- part 1 22:51:11 sped up x3 22:51:14 do they do it in less than an hour? 22:51:31 dunno, it's multiple videos and most (all?) are sped up because it's such a tedious game 22:52:10 this guy beat the fucking game without dying once I mean damn 22:52:48 I saw a video of someone /else/ doing it in one save 22:52:52 as in, without saving 22:52:56 so it clearly isn't impossible 22:53:06 Impossible for mortals is presumably the implication 22:53:21 from what I've heard, part of it's dexterity, but a lot is memorisation 22:53:28 if you know everything to do off by heart it's a lot easier 22:53:37 of course, platforms appear in disappear in basically random places 22:53:53 dexterity and a really good sense of time are the main other skills yeah 22:54:03 you have to time everything absolutely perfectly 22:54:09 and without really any time to just stand and think 22:54:20 the whole game's deterministic, IIRC 22:54:28 Doesn't matter 22:54:33 You still need perfect timing 22:54:35 yes 22:54:55 writing a bot to play IWBTG would be godly 22:55:00 it could even /speedrun/ it 22:55:09 that would basically be an IWBTG TAS 22:55:21 yes, but less frustrating :P 22:55:35 alise: have you seen the platform games designed to be TAS-only? 22:55:36 how about an esolang where the program is control input for a platform game? 22:55:44 scarf: haha lol no 22:55:50 they're much much harder than IWBTG, obviously 22:55:51 you mean bastard mario and its ilk? 22:55:55 i.e. really hard ones 22:55:57 alise: mostly it's mario romhacks 22:55:59 or really ones meant to be tas-only 22:56:01 but even harder than those 22:56:06 (yeah I know bastard mario isn't called that) 22:56:10 (actually even in english it's asshole mario) 22:56:11 look for "Item Abuse TAS" on Youtube 22:56:17 (but remembering the japanese name is far too boring) 22:56:26 someone made a level where you had to perform every single known glitch to solve it 22:56:30 lol 22:56:48 and most of them require perfection to the frame 22:58:40 hmm 22:58:51 a game where you can't kill any of the enemies would be interesting 22:58:58 you'd just have to avoid them while considering every other part of the game 22:59:38 nah, there are loads of games like that 22:59:54 yes, but not platformers afaik 23:02:22 moving killing-things is pretty common though, so isn't that just a platform game without enemies but with slightly more moving-killing-things in it? 23:02:42 well, no, because moving-killing-things generally don't follow and shoot at you 23:02:51 beh, you just made me watch Item Abuse for the fifth or sixth time 23:05:18 Why do I keep randomly disconnecting? 23:06:57 Do you? 23:08:11 * alise downloads IWBTG in hopes of playing it via wine 23:08:25 Since when is it 68 megs? 23:08:37 There's a demo, with a few levels, and the full version 23:08:44 This is the full on 23:08:45 *one 23:08:48 But 68 megs? 23:09:03 *shrug* Is that more or less than you were expecting? 23:09:48 more 23:10:30 -!- fxkr has joined. 23:10:47 hi fxkr 23:10:55 hi alise 23:11:04 you look new. so sacrifice goats! 23:11:19 * fxkr sacrifices two goats 23:12:09 actually i'm not new, i just a) havent been here for >= 1 year and b) have never used this nickname here ;) 23:12:19 (at least iirc) 23:12:24 ok, and your /whois doesn't give anything away 23:12:28 That's only going to make fxkr thing it's a channel for esotericism.. oh 23:12:31 what was your nick last time, or would you rather we didn't know? 23:12:35 then clearly either you must tell us who you are 23:12:39 or we will have to forcibly extract this knowledge 23:12:46 scarf: the latter is obviously not an option 23:12:50 it is for me 23:12:53 scarf: no problem with you knowing, but i just dont have a damn clue 23:12:59 I'll probably work it out based on how he talks 23:13:07 fxkr: Are you that german dude? 23:13:31 that would be jix 23:13:38 who is still here 23:13:39 no, no 23:13:40 another one 23:13:42 what makes you think i'm german? 23:13:44 he was like nooga but less annoying 23:13:55 fxkr: pattern recognition on your name, use of ;) and omitting of apostrophes 23:13:56 fxkr: your +1 timezone? 23:13:59 it's a heuristic, perhaps it's wrong. 23:14:09 there are lots of other countries in +1, though 23:14:11 also, nooga is polish ;) 23:14:15 scarf: *you're, presumably 23:14:18 in a 23:14:22 oerjan: /like/ nooga 23:14:23 but less annoying 23:14:26 alise: no, the +1 timezone belongs to him 23:14:30 not alone, but at least partially 23:14:38 I don't see anything wrong with what I wrote 23:14:41 oh it was an answer to a question 23:14:41 -!- Gracenotes has quit (Ping timeout: 252 seconds). 23:15:02 another guess: kipple 23:15:25 Kipple wouldn't forget his name; he was a permanent fixture. 23:15:29 scarf: yep its +1 timezone.. (+2 sometimes, because of this daylight saving time stuff) 23:15:38 And his absence has been more than a year! 23:15:41 fxkr: so what country? 23:15:50 alise: :P 23:15:56 alise: behind you 23:15:59 fxkr said >= 1 year, not = 23:16:01 scarf: no problem with you knowing, but i just dont have a damn clue 23:16:06 I thought you didn't mind us knowing. 23:16:12 oerjan: the big bang was >= 1 year ago too 23:16:19 kipple's been away since like 2005 23:16:29 alise: i just meant i would tell you if i knew 23:16:34 that @ nickname 23:16:46 then we should clearly try and discover your nick! 23:16:49 now give us information :| 23:16:50 thematrixguy or whoever... 23:17:05 @country: dont really care, but not telling you is the more interesting option 23:17:20 or was that someone who kept forgetting his password and changing because of that 23:17:49 hm... that south african, hasn't been here in a while has he? 23:17:55 now what was his nick 23:18:02 -!- augur has joined. 23:18:03 Hiato 23:18:07 right 23:18:46 that's about the most interesting country we've had in that timezone 23:19:07 hm there was a spaniard at one time wasn't there 23:19:14 * oerjan isn't quite sure 23:19:23 thematrixeatsyou is gm|lap 23:19:25 aka greasemonkey 23:19:27 ah 23:19:39 he's the guy that raged at you because he wanted a non-pd license on the wiki and you said no :P 23:19:48 (aka ben russell now) 23:19:56 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 23:20:10 fxkr: anyway what langs do you like 23:20:16 alise: nice try 23:20:24 ...what? 23:20:40 alise: eh wait, i thought you meant natural languages.. 23:20:47 -_- 23:20:48 alise: well, brainfuck for starters 23:20:55 ah, one of the boring ones! 23:20:58 :) 23:21:00 we don't want no steenking natural languages here, right augur 23:21:21 well, there are some esoterical natural languages 23:21:22 "natural" 23:21:25 french springs to mind 23:23:01 oerjan: hey, sup 23:23:03 i guess we can scratch of french now... 23:23:04 natural languages huh 23:23:09 AWESOME LETS TALK NATLANGS 23:23:10 augur: just trolling you 23:23:23 *out 23:24:18 fxkr: maybe you're andreou, that would be sorta ironic 23:24:35 no, definitely not 23:24:42 something i should know about him? 23:24:54 the channel founder who hasn't been around for years 23:25:09 haha 23:25:19 # 23:25:21 you're not that hcf guy in the topic? 23:25:24 haha no 23:25:30 hcf is the author of clog 23:25:38 wait the previous topic 23:25:39 (not administrated by him, or anyone, any more, though) 23:25:48 (faré just reboots the server occasionally) 23:26:02 augur: talk about how "you're a fool" is more offensive than "you're a damn fool" 23:26:07 as opposed to "you're an idiot" vs "you're a fucking idiot" 23:26:18 alise: is it now 23:26:23 thats not the kind of linguistics i do 23:26:31 i don't care, make it into how like 23:26:37 <-- afk, i'll read the scrollback during tomorrows lecture though 23:26:38 expressing contempt through added expletives 23:26:43 only works when your morphological syntactic component 23:26:44 not my kind of linguistics. 23:26:46 is remorphic 23:26:46 please dont write more than i can read in 4 hours 23:26:48 thanks :D 23:26:51 it totally applies then 23:26:53 bitch 23:27:00 remorphic? 23:27:41 -!- Gracenotes has joined. 23:28:14 alise is making up words like linguists do ;D 23:28:24 ohhhhh ice burn 23:29:00 * alise hides the zygohistomorphic prepromorphisms 23:29:20 that was category theory, obviously 23:29:24 http://www.haskell.org/haskellwiki/?title=Zygohistomorphic_prepromorphisms&action=history oh how we adore roconnor 23:29:45 or was it linguistics? or possibly, _both_ 23:30:24 curry-howard-augur isomorphism 23:30:55 i think there's another third name sometimes used 23:30:57 :) 23:31:14 yeah apparently linguistics<->logic 23:31:21 so therefore linguistics<->LC 23:31:38 lambek was it 23:31:48 dunno 23:32:02 that wasn't a question 23:32:08 alise, no, semantics ~ logic, and syntax ~ logic 23:32:09 ah :P 23:32:14 augur: yeah yeah whatever 23:32:16 maybe i should use punctuation sometimes 23:32:17 -!- FireFly has quit (Quit: Leaving). 23:35:00 im thinking of doing a series of blog posts on formal grammars from a proof theoretic perspective 23:37:11 good!! 23:41:30 -!- scarf has quit (Remote host closed the connection). 23:42:35 where is oklopol 23:43:52 oklogone 23:43:54 -!- Pthing has quit (Remote host closed the connection). 23:44:32 MissPiggy: he has too much of an interesting life to come on much nowadays 23:44:34 also too much uni work 23:44:38 MissPiggy: there seems to be a severe oklodeficiency here at the moment 23:44:59 hasn't been seen since 23:46:02 uh he's been here this weekend... 23:46:04 no? 23:46:34 well yesterday, yes 23:46:57 lol