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