←2013-06-01 2013-06-02 2013-06-03→ ↑2013 ↑all
00:00:18 <oerjan> (i only logbrowsed them)
00:04:55 -!- sprocklem has joined.
00:16:40 -!- sprocklem has quit (Remote host closed the connection).
00:25:13 <FreeFull> Bike: If you sum all integers, like with many sums, the result would depend on how you pair things up
00:25:23 <FreeFull> If you pair the negatives with the positives you'd just get 0
00:26:12 <kmc> oerjan: hm I think the first half of that is more due to incompleteness than due to halting theorem, though I guess they are pretty related
00:26:48 <kmc> like, the TM that comes to mind is one which searches for a proof or disproof of a statement which is true but not provable in zfc
00:26:53 <kmc> but maybe there are others
00:27:00 -!- Nisstyre-laptop has joined.
00:27:58 <shachaf> find paradoxes in things that know how to talk about themselves with this one weird trick
00:28:07 <shachaf> logic professors hate him
00:30:37 <Bike> FreeFull: i meant naturals.
00:30:50 <Sgeo_> Should I watch Dollhouse?
00:31:04 <Bike> No.
00:31:09 <Bike> (shachaf, take note)
00:31:29 <shachaf> Maybe it's just me whose time you want to waste.
00:31:34 -!- shachaff has joined.
00:31:46 <Bike> Maybe.
00:32:25 <shachaff> should i watch The Sting
00:32:29 <kmc> wasn't it shafchaf
00:32:35 <shachaf> oopse
00:32:38 -!- shachaff has changed nick to shafchaf.
00:32:46 <kmc> shafkchaf
00:32:56 -!- shafchaf has changed nick to shafkchaf.
00:34:03 <oerjan> kmc: you use the TM which searches for a proof or disproof of the statement that a given TM halts. then from that you construct a TM for which there is no such proof or disproof, thus incidentally proving a version of the incompleteness theorem from the halting theorem construction.
00:35:14 <oerjan> otherwise, the usual incompleteness theorem doesn't say that its undecidable statement has anything to do with TMs.
00:35:59 <kmc> interesting
00:36:25 <shachaf> note to self: do not ^A M in screen
00:46:28 <kmc> why
00:47:23 <zzo38> Is there something wrong with this? http://sprunge.us/XOOT
00:48:18 <kmc> xoot suit
00:49:10 <kmc> while(m<inst_sargs[2]) memory[inst_args[1]+m]=memory[inst_args[0]+m],m++;
00:49:14 <kmc> this line is extremely suspect
00:49:47 <mnoqy> i also like while(inst_args[2]) memory[inst_args[0]+--inst_args[2]]=0;
00:51:20 <zzo38> What is wrong with that one, please?
00:51:31 <mnoqy> it's not obviously right, so it's probably wrong
00:52:31 <zzo38> What makes it seems it's not obviously right?
00:52:46 <FreeFull> Bike: The sum of naturals isn't a natural
00:52:48 <kmc> that's not how it works
00:52:53 <zzo38> I happen to know that while(inst_args[2]) memory[inst_args[0]+--inst_args[2]]=0; isn't broken, however.
00:52:56 <FreeFull> I mean, the sum of all naturals
00:53:37 -!- nooodl has joined.
00:54:21 <kmc> zzo38: why the comma operator there, instead of just two statements?
00:54:26 <Bike> FreeFull: i was talking about weird-ass models of zfc
00:55:09 <zzo38> kmc: I don't want to put everything in seperate lines instead. (Also, changing it doesn't help.)
00:55:18 <kmc> you can put multiple statements on the same line
00:55:28 <kmc> also changing it does help, it makes the code less weird-ass
00:55:36 <Bike> well, i guess tswett's mantra makes this a pointless line of thought re turing machines, anyway.
00:55:48 <kmc> Bike: what is your favorite weird-ass model of zfc
00:55:58 -!- nooodl_ has quit (Ping timeout: 245 seconds).
00:56:10 <kmc> all i know really is that there's a countable model of zfc
00:56:30 <zzo38> kmc: I know I can put multiple statements on the same line but I don't want to.
00:56:51 <Bike> i'm not good with models :(
00:58:16 <oerjan> !c int a; a=3,&a; printf("hm");
00:58:21 <EgoBot> hm
00:58:39 <oerjan> !c int a; a=3,&a; printf("%d",a);
00:58:41 <EgoBot> 3
00:58:59 <shachaf> kmc: Then you'd need {}... Come on, you're being a bit ridiculous.
00:59:27 <tswett> So how many words of a given length does a given ambiguous context-free grammar have?
00:59:53 <tswett> So, you know how there exist Turing machines that halt in some models of ZFC, but not others?
00:59:59 <tswett> I wonder if there's a model of ZFC where all of them halt.
01:00:29 <tswett> That would be a pretty trippy model.
01:00:40 <nooodl> help whats a model
01:00:55 <Bike> a thing that the axioms describe
01:01:12 <shachaf> help what's a mooodl
01:01:13 <kmc> well model theory is separate from axiomatic formal logic
01:01:38 <Bike> you still need laws of whatever kind doncha
01:01:55 <tswett> A model of ZFC is a set U along with a relation `in` on U such that for all elements x and y of U, if for all z in U, z `in` x if and only if z `in` y, then x = y, and ...
01:02:17 <tswett> A model of ZFC is a set U along with a relation `in`, such that U and `in` satisfy the axioms of ZFC.
01:02:57 <tswett> All right, ambiguous grammars.
01:03:07 <tswett> I'm trying to come up with ones that are complicated, but not too complicated.
01:03:08 <shachaf> kmc: is being hungover good
01:03:11 <Bike> so does anyone know what i should get in MIT's half off book sale
01:03:39 <kmc> shachaf: no hth
01:03:50 <shachaf> should i try it
01:04:29 <tswett> Here's my favorite one so far: <start> ::= "a"* <mid> "b"*; <mid> ::= "a" <mid> "b" | epsilon
01:05:02 <tswett> Given a string of as and bs in that language, the number of parses of that string is the x^(number of as) y^(number of bs) coefficient of 1/(1 - xy)(1 - x)(1 - y).
01:05:04 <oerjan> tswett: you know it's undecidable whether a cf grammar is ambiguous or not, right?
01:05:05 <tswett> Suspicious.
01:05:08 <tswett> oerjan: yep.
01:05:12 <tswett> Well, no.
01:05:17 <tswett> But I'm not surprised.
01:05:50 <oerjan> there's a simple reduction from the post correspondence problem
01:06:17 <kmc> i like that i went searching for the semantics of the comma operator and one of the first hits was "GCC Bug 6409 - C comma operator: wrong behavior"
01:06:38 <shachaf> semantics: n/a
01:07:04 <olsner> comma is a sequence point iirc, while assignment is not (iirc)
01:07:19 <kmc> yeah i think so too
01:07:21 -!- amca has quit (Ping timeout: 256 seconds).
01:07:55 <olsner> looks like that could be done with memcpy/memmove instead
01:08:57 <shachaf> kmc: how much drugz have you taken since you got to ca
01:09:17 <tswett> So I guess the parses of this grammar are really pretty simple. I wonder what's a language that has more sophisticated parses...
01:09:24 <zzo38> In my program it is *supposed* to corrupt the table by copying it like that.
01:09:32 <kmc> shachaf: lots
01:09:37 <kmc> mostly booze
01:09:49 <tswett> Ooh, here's one: <start> ::= "a"**
01:09:51 <kmc> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11751 is kind of amusing as well
01:10:47 <tswett> Each string there has infinitely many parses. That won't do. How about this one: <start> ::= ("a"+)*
01:10:49 <shachaf> kmc: do they mark every undefined behavior bug as a duplicate of that one
01:11:33 <Bike> it just keeps going XD
01:11:34 <kmc> seems to be the trend
01:11:35 <tswett> If there are x as, then the number of parses is really just 2^(x-1). Unless there are no as.
01:11:52 -!- shafkchaf has quit (Quit: ff).
01:11:57 <Bike> «The code is undefined, which means we should be able to do system("rm -Rf /");, note we don't.» thanks, asshole
01:11:57 <kmc> maybe only ones related to multiple-assignment between sequence points
01:12:24 <kmc> heh that is what I would say
01:12:27 <kmc> maybe in somewhat more words
01:12:42 <shachaf> kmc: but would you use an uppercase r
01:12:44 <Bike> like fuck, they know perfectly well it's undefined, they're just asking for a bit vendor-definition
01:12:53 <Bike> you could at least tell them it's too much work or something
01:13:15 -!- oerjan has quit (Quit: leaving).
01:13:25 <shachaf> "rm -rf /" is the one true rm command
01:13:51 <tswett> So how can (a++)+(a++)+(++a) there evaluate to 4?
01:14:02 <shachaf> Bike: "compiler-dependent" (i.e. implementation-defined) isn't the same as "undefined"
01:14:05 <kmc> Bike: no I don't think the original opener of the ticket knows that it's undefined
01:14:22 <kmc> tswett: it's undefined, it can do anything
01:14:34 <Bike> oh, i'm reading the thread
01:14:35 <Bike> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11751#c28
01:14:38 <tswett> All right. Does it evaluate to 4 in a sensible manner, and if so, what is that manner?
01:14:44 <Bike> shachaf: i know.
01:15:00 -!- FreeFull_ has joined.
01:15:10 -!- Phantom__Hoover has joined.
01:15:18 <kmc> Bike: that's not the original ticket opener who the rm -Rf comment was directed towards
01:15:31 <Bike> so I see.
01:15:39 <kmc> UB is useful to the compiler because it enables optimizations
01:16:19 <Bike> yes, but you could explain that
01:16:20 <shachaf> So undefined behavior is there to extend the equivalence class between programs.
01:16:28 <pikhq_> As well as giving implementations some leeway...
01:16:35 <zzo38> kmc: Yes, that is why I wanted to add some strange operators.
01:16:35 -!- elieser2241 has joined.
01:16:48 <kmc> zzo38: you had one that was "AND or ADD" right?
01:16:57 <kmc> er, "OR or ADD"?
01:17:01 <zzo38> kmc: Yes.
01:17:21 -!- FreeFull has quit (Ping timeout: 248 seconds).
01:17:23 <pikhq_> Signed overflow being UB makes it 'sane' to use one's complement integers.
01:17:45 <pikhq_> Admittedly this particular case is probably dubious.
01:18:17 <tswett> Is there a way to compile a program so that all "undefined behaviors" produce an error message?
01:18:23 <Bike> Probably not.
01:18:28 <Bike> I mean. There are a lot.
01:18:43 <kmc> detecting UB at compile time is ~impossible, but I think you can write runtime checks for most of them
01:18:47 -!- elieser224 has joined.
01:18:49 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
01:18:59 <shachaf> I,I valgrind
01:19:12 <tswett> The number of ways to produce undefined behavior should be O(n) in the length of the spec.
01:19:14 <kmc> yeah, also ASan is in GCC 4.8 now
01:19:21 <Bike> asan?
01:19:26 <kmc> er, 4.9
01:19:29 <kmc> https://code.google.com/p/address-sanitizer/
01:20:12 <kmc> "It finds use-after-free and {heap,stack,global}-buffer overflow bugs", 2x slowdown I think
01:20:16 <pikhq_> tswett: Some instances of UB require a halting oracle to identify.
01:20:18 <Bike> Nice.
01:20:28 <kmc> (varies by application of course)
01:20:32 <tswett> pikhq_: I mean so that they produce an error message at runtime.
01:20:44 <tswett> Do you need a halting oracle to recognize UB at runtime?
01:20:47 <kmc> shachaf: someone at Mozilla mentioned that they knew someone who used xpdf in valgrind always
01:20:53 <Bike> Ha
01:21:05 <pikhq_> I'd be unsurprised to find that really.
01:21:05 <kmc> i used valgrind for mosh to simulate laggy server process
01:21:09 <shachaf> Why?
01:21:16 <kmc> why which
01:21:18 -!- elieser2241 has quit (Ping timeout: 252 seconds).
01:21:20 <shachaf> xpdf
01:21:45 <kmc> because xpdf has more holes than a... some kind of object with lots of holes
01:22:02 <shachaf> Oh, security?
01:22:06 <kmc> yeah
01:22:11 <shachaf> I had not considered that use of valgrind.
01:22:24 <kmc> i love reading pdfs about vulnerabilities of pdf viewers
01:22:35 <shachaf> Is something like for(;;);free(x);free(x); undefined behavior?
01:23:13 <kmc> shachaf: maybe Mosh should detect GCC 4.9 and run some benchmarks of the slowdown on your machine and then build with ASan
01:23:21 <Bike> freeing the same pointer twice is undefined isn't it
01:23:22 <pikhq_> shachaf: No.
01:23:34 <Bike> oh, durr, ignore me
01:23:49 <kmc> not actually a reasonable idea but I do think --enable-asan or something would be good
01:24:10 <pikhq_> shachaf: Double-free can never occur in the C abstract machine, and as it so happens, this never occurs.
01:24:26 <pikhq_> Likewise, goto foo;free(x);free(x);foo: is defined behavior.
01:25:08 -!- elieser2241 has joined.
01:25:31 <kmc> what if i put a double free after a loop which searches for a nontrivial zero of the riemann zeta function which is not on the critical line
01:25:47 <zzo38> pikhq_: Would it be allowed to optimize the second free into unreachable?
01:25:52 <pikhq_> zzo38: Yes.
01:26:13 <pikhq_> Anything that would be UB may be assumed to never occur.
01:26:30 <Bike> kmc: you know i've been thinking that an ideal compiler woul dhave to be a good mathematician
01:26:35 <zzo38> (In the case you gave, though, it could optimize out all of it, but after a loop like kmc described, it would have to do that.)
01:26:56 <zzo38> Bike: Yes, I think an ideal *optimizer* would have to be
01:27:09 -!- elieser224 has quit (Ping timeout: 245 seconds).
01:27:25 -!- elieser2241 has left.
01:28:02 <kmc> i wonder if anyone ever asked Gödel whether God could decide all statements in number theory
01:28:24 -!- nooodl has quit (Ping timeout: 256 seconds).
01:28:41 <kmc> so if 'for(;;);free(x);free(x);' is not UB, then the C spec must define what kinds of infinite loops the compiler is required to detect
01:28:54 <shachaf> Why?
01:29:14 <kmc> it's defined only because the loop is infinite
01:29:25 <shachaf> Right. Why is the compiler ever required to detect it?
01:29:55 <shachaf> extern void f(); f(); free(x); free(x); is also defined if f never returns, presumably.
01:30:08 <kmc> ok, yes, you're right
01:30:23 -!- elieser224 has joined.
01:30:29 <kmc> it's only required if the compiler is going to 'look ahead' for UB code and remove stuff before it
01:30:33 -!- elieser224 has left.
01:30:44 <kmc> which is an implementation decision that the compiler authors can restrict however they like in keeping with the spec
01:30:45 <shachaf> That's for optimizations etc., so not really specified by the spec.
01:30:47 <shachaf> Right.
01:31:30 <shachaf> I wonder whether there are compiler bugs like this.
01:31:32 <shachaf> Probably.
01:33:21 <kmc> shachaf: Josh (who you met) works at Synaptics and found something like 40 bugs in their in-house C compiler using Csmith
01:33:51 * kmc → afk
01:34:17 <shachaf> They have an in-house C compiler?
01:37:32 <zzo38> I fixed my program.
01:45:34 <shachaf> kmc: did you know it's illegal for a minor to be in a public space in east palo alto between 23:00 and 6:00
01:52:32 -!- elieser224 has joined.
02:03:06 <Phantom__Hoover> synaptics as in the touchpad people?
02:04:22 <Phantom__Hoover> http://en.wikipedia.org/wiki/Pointing_stick
02:04:28 <Phantom__Hoover> i love how crude the name makes it sound
02:11:29 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
02:11:57 -!- elieser224 has left.
02:21:59 <Sgeo_> tswett, is Sine down?
02:24:33 -!- Bike has quit (Ping timeout: 248 seconds).
02:28:18 <kmc> shachaf: really? fascists
02:28:24 <kmc> zzo38: what did you fix
02:28:34 <shachaf> kmc: they recently even started enforcing it
02:28:42 <kmc> why
02:28:58 <kmc> what do you do if you're a homeless kid?
02:29:02 <kmc> you just can't exist in epa?
02:30:41 <shachaf> http://library.municode.com/HTML/16328/level4/SUHITA_TIT9PUPEMOWE_CH9.20PRMI_ARTIINGE.html
02:33:22 <kmc> oh it's a port of GCC
02:33:22 <shachaf> Hmm, you count as "emancipated" in CA if you've gotten married.
02:33:52 <shachaf> is Josh (who i met) on irc
02:34:07 <kmc> shachaf: yeah, if you have rich parents you can get better financial aid if you marry someone poor
02:34:13 <kmc> he is not
02:34:21 <kmc> but he is looking over my shoulder
02:34:38 <shachaf> hi Josh (who i met)
02:39:35 -!- Bike has joined.
02:51:46 -!- Nisstyre has quit (Quit: Leaving).
03:06:46 -!- constant has joined.
03:13:54 <kmc> someone should build pam_brethalyzer
03:14:32 <zzo38> Are the names of destroyer ships supposed to have "class" at the end?
03:15:03 <kmc> no
03:15:38 <zzo38> In this game I am playing, they do, both for the United States and Japanese ships.
03:15:39 <kmc> a class of ships is named after one of the ships in the class (usually the first one?)
03:15:48 <kmc> so e.g. the USS Iowa was a Montana-class battleship
03:15:56 <kmc> this is what it does: http://en.wikipedia.org/wiki/File:BB61_USS_Iowa_BB61_broadside_USN.jpg
03:16:12 <zzo38> O, so that's how it works.
03:34:49 <kmc> https://github.com/search?p=3&q=extension%3Aphp+mysql_query+%24_GET&ref=searchresults&type=Code
03:36:19 <Sgeo_> Someone should write a script that does that kind of search and creates issues in the project
03:36:33 <Sgeo_> (Perhaps with human supervision to ensure no false positives)
03:37:13 <kmc> i'm sure that will go over well
03:37:30 <kmc> someone should write a script that submits a pull request for every PHP project which simply deletes the entire project
03:38:07 <Bike> does github have policies about bots like that?
03:38:43 <Sgeo_> I'm going to raise an issue with the 4 day old one
03:39:09 <Sgeo_> Someone already did
03:39:26 <Sgeo_> ...
03:39:31 <Sgeo_> https://github.com/gregmolnar/infokos/commit/5eba4f5d7840d0f97135094214dad343a9c30e41
03:39:57 <Sgeo_> Not really the sort of fix I would personally recommend
03:39:58 <Bike> lol
03:40:02 <Bike> will that actually work
03:40:02 <shachaf> Google says it'll be 37° in Palo Alto next week.
03:40:26 <shachaf> there ought to be a law
03:40:27 <kmc> that is a very PHP way to fix that problem
03:41:28 <kmc> in PHP i wouldn't be so sure that (int)x can never be "'; DROP DATABASE; --"
03:41:48 <Bike> i'm probably naive here but: is constructing a query string really the best way to do that anyway? that seems about as good as constructing code to eval because that's what it is, which seems like not good.
03:42:05 <shachaf> kmc: In PHP mysql_query can't do multiple semicolon-separated queries!
03:42:08 <shachaf> So we're safe.
03:42:08 <shachaf> hth
03:42:10 <Sgeo_> Hey, at least two languages I like are centered around constructing code to eval!
03:42:23 <Bike> Do they suck?
03:42:25 <Bike> Be honest.
03:42:31 <Sgeo_> I don't think they do.
03:42:41 <Bike> Be honest, sgeo.
03:42:41 <shachaf> Bike: No, constructing a query string is not the best way to do that. hth
03:42:48 <Bike> So what's the good way.
03:43:13 <shachaf> Parameterized queries are the obvious improvement to make that safe.
03:43:15 <kmc> most languages / DB APIs have something like query("SELECT foo FROM bar WHERE x = ?", x)
03:43:18 <Sgeo_> Bike, Tcl and Rebol are both fantastic languages! Just ask pikhq_ about Tcl.
03:43:21 <kmc> yeah parametrized queries
03:43:24 <shachaf> I.e. what kmc said.
03:43:30 <Bike> yeah that makes more sense.
03:43:30 <shachaf> Also using a higher-level thing like an ORM.
03:43:32 <Bike> does php have that?
03:43:35 <kmc> safer, easier to write, and you can also save and compile them ahead of time
03:43:35 <shachaf> Yes.
03:43:40 <Bike> Right.
03:43:46 <shachaf> (Not necessarily an ORM. Just something high-level.)
03:43:50 <Bike> Yeah I was wondering about the compiling too.
03:43:54 <kmc> yeah, an ORM, or just a DSL for building SQL
03:43:58 <kmc> i think sqlalchemy is both
03:44:05 <shachaf> @quote strings
03:44:05 <lambdabot> uninverted says: Moving from lisp to haskell with respect to functions is like moving from c to perl with respect to strings.
03:44:10 <shachaf> Hmm.
03:44:10 <kmc> @quote stark
03:44:11 <lambdabot> AlanPerlis says: The string is a stark data structure and everywhere it is passed there is much duplication of process. It is a perfect vehicle for hiding information.
03:44:19 <shachaf> @quote AlanPerlis string
03:44:19 <lambdabot> AlanPerlis says: The string is a stark data structure and everywhere it is passed there is much duplication of process. It is a perfect vehicle for hiding information.
03:44:21 <shachaf> Ah.
03:44:30 <shachaf> That one.
03:45:06 <kmc> web development involves a ton of metaprogramming, much of it at string level :/
03:45:35 <shachaf> Yep.
03:45:40 <shachaf> Similarly you should use a templating system or something high-level to generate HTML!
03:46:25 <kmc> i would call most templating systems "string level"
03:46:29 <kmc> dunno
03:47:09 <Bike> what should we use to generate templating systems
03:47:25 <kmc> it turns out that metaprogramming and functional programming are really useful, if you don't tell people that they are fancy math things
03:47:30 <shachaf> kmc: Similarly to the SQL thing, I mean.
03:47:40 <shachaf> Templating systems corresponding to the x = ? case.
03:47:44 <kmc> yeah
03:48:01 <zzo38> Even in C you can have SQL with ?1 and so on if you use SQLite, or probably other database engines too.
03:48:31 <shachaf> Alternatively you change the name of all your string variables to usBlah and then rely on humans to make sure all the names match up.
03:49:15 <shachaf> I heard that's the proper way to do it.
03:49:41 <kmc> http://linux.die.net/man/1/ecpg "ecpg is the embedded SQL preprocessor for C programs. It converts C programs with embedded SQL statements to normal C code by replacing the SQL invocations with special function calls."
03:49:45 <Sgeo_> What's always "fun" is mixing front-end templating with back-end templating that is unaware of the front-end templating
03:49:56 <kmc> oh yes
03:50:04 <Bike> metatemplatery
03:50:23 <Bike> maybe i should just go to your house and talk, rather than html
03:52:22 <kmc> shachaf did that
03:52:55 <shachaf> Talk? Not really.
03:53:00 <kmc> true
03:53:12 <Sgeo_> You all live near each other?
03:53:13 <Sgeo_> Wat?
03:53:25 <Bike> They live in the elusive land of "some urban area in california"
03:53:34 <shachaf> Finlaxam, CA
03:53:34 <kmc> I am in SF for the weekend but I don't live there yet
03:53:50 <Bike> eh, basically the same
03:54:03 <shachaf> We've answered the questions of which of me and kmc is the one who doesn't say anything.
03:54:11 <kmc> why would there be one
03:54:23 <shachaf> I didn't say it was a good question.
03:54:25 <Bike> Because you're both weird internet creeps
03:54:52 <kmc> im not weird :'(
03:55:00 <shachaf> also
03:55:01 <shachaf> esoteric/2012-12-03.txt:21:22:46: <kmc> yes shachaf and i have met irl
03:55:01 <shachaf> esoteric/2012-12-03.txt:21:22:56: <kmc> once at boston python and once at the stripe ctf meetup in sf
03:55:04 <shachaf> esoteric/2012-12-03.txt:21:22:59: <kmc> and maybe another time
03:55:07 <shachaf> esoteric/2012-12-03.txt:21:23:07: <kmc> we are more awkward in person
03:55:30 <Bike> so
03:55:32 <Bike> weird internet creeps
03:55:38 <shachaf> (Well, at least when we're around a bunch of people that kmc knows and I don't.)
03:55:59 <kmc> i hope they provided some amt. of entertainment
03:56:53 <shachaf> Yep.
03:57:05 <shachaf> Maybe this weekend I can focus all my not-talking at you!
03:57:16 <Bike> nalking
03:57:34 <shachaf> (By "weekend" I mean Sun-Tue.)
03:57:56 <shachaf> 17:53 <shachaf> Bicycle haters unike!
03:57:57 <Bike> steekend
03:58:21 <Bike> 17:53 was such a bad minute
03:59:03 <shachaf> Bike: imo you should come to sf and have burritos/ramen/sushi/pizza/other kmc food
03:59:14 <Bike> ugh that sounds good
03:59:27 <Bike> but i can't even afford a stupid book, let alone kmcfood
03:59:32 <kmc> i had a salty ginger ice cream sundae from bi-rite
03:59:33 <kmc> so good
03:59:33 <shachaf> (this is all one meal btw. just a day in the life of kmc)
04:00:00 <kmc> well there is http://www.sushirrito.com/
04:00:09 <shachaf> kmc: The person I went to meet and I had "strawberry white balsamic" ice cream prepared with liquid nitrogen!
04:00:16 <kmc> nice
04:02:13 <shachaf> Bike: stupid books make you stupid anyway
04:02:15 <shachaf> buy smart books
04:02:15 <shachaf> hth
04:02:18 <kmc> "I am issuing a fatwa: all real programmers must Rasmus Lerdorf in the balls on sight"
04:02:47 <Bike> better without the verb
04:02:51 <kmc> yep
04:03:01 <kmc> Rasmus Lerdorf is a verb and all we know is that it can be done to balls
04:03:16 <Bike> is f(x) = 2x a diffeomorphism
04:03:22 <Bike> i think yes but i need external confirmation.
04:03:50 -!- sprocklem has joined.
04:04:37 <shachaf> A diffeomorphism is a bijection such that both it and its inverse are infinitely differentiable?
04:05:46 <shachaf> (In the case of ℝ→ℝ.)
04:06:27 <Bike> does it need to be infinitely so?
04:06:48 <shachaf> "It is an invertible function that maps one differentiable manifold to another, such that both the function and its inverse are smooth."
04:06:49 <Bike> wikipedia says so but not my book
04:06:51 <shachaf> "In mathematical analysis, a function that has derivatives of all orders is called smooth."
04:06:51 <Bike> how terrible.
04:06:54 <shachaf> Oh.
04:06:58 <shachaf> What does your book say?
04:07:09 <shachaf> http://www.math.toronto.edu/mat1300/smooth.2.pdf says so too.
04:07:22 <Bike> Just that it and the inverse are differentiable.
04:07:36 <shachaf> Well, either way the answer seems to be yes.
04:07:42 <Bike> yeah.
04:07:57 <shachaf> But you should probably work out the definitions.
04:08:01 <Bike> thank's
04:08:09 <shachaf> your welcome
04:08:25 <shachaf> What's your book?
04:08:58 <shachaf> Ooh, http://mathworld.wolfram.com/Diffeomorphism.html says "differentiable"
04:09:01 <shachaf> This is exciting.
04:10:08 <shachaf> kmc: I like how 8/10 of the first page is the same person.
04:12:13 <kmc> which page
04:12:48 <shachaf> extract($_GET)
04:14:05 <Bike> shachaf: Ordinary Differential Equations by vi arnold
04:15:17 <Bike> [Amazingly, there exist continuous functions which are nowhere differentiable. Two examples are the Blancmange function and Weierstrass function. Hermite (1893) is said to have opined, "I turn away with fright and horror from this lamentable evil of functions which do not have derivatives"» mathematicians are the best.
04:15:31 * kmc → afk
04:15:41 <shachaf> adieegan
04:15:47 <shachaf> Hmm.
04:15:49 <shachaf> adiuaf
04:18:15 <Bike> ADieu Is Usually A Farewell
04:18:42 <shachaf> Bike: are differential equations good
04:18:55 <shachaf> should i "learn things about them"
04:19:00 <Bike> They're like Turing machines for people who aren't HUGE NERDS like yourself
04:19:17 <shachaf> :'(
04:19:34 <Bike> But yeah, they're cool
04:19:45 <Bike> http://arxiv.org/abs/1203.4667 ~
04:21:03 <Bike> "Differential Equations" is the worst college class, though.
04:25:35 -!- SingingBoyo has joined.
04:39:47 <mnoqy> why would anyone take a class called "differential equations"
04:40:02 <mnoqy> probably itd just be all about finding solutions
04:40:05 <mnoqy> which is 100% lame
04:40:54 <shachaf> mnoqy: are differential equations good tho.......
04:41:39 <SingingBoyo> shachaf: differential eqns are a pain. Of course I did just take a class that involved them so I might be biased...
04:42:02 <shachaf> `relcome SingingBoyo
04:42:03 <mnoqy> the theory's probably not bad, but calculus is one of those things that's so dang applicable that everyone only ever talks about how to apply it and compute with it and uuuuurgh(barf)
04:42:08 <mnoqy> so i stay away from it
04:42:10 <HackEgo> SingingBoyo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
04:42:20 <mnoqy> if u want "calculus but good" try "analysis"
04:42:43 <shachaf> `addquote <mnoqy> the theory's probably not bad, but calculus is one of those things that's so dang applicable that everyone only ever talks about how to apply it and compute with it and uuuuurgh(barf) <mnoqy> so i stay away from it
04:42:47 <HackEgo> 1044) <mnoqy> the theory's probably not bad, but calculus is one of those things that's so dang applicable that everyone only ever talks about how to apply it and compute with it and uuuuurgh(barf) <mnoqy> so i stay away from it
04:43:22 <shachaf> `revert
04:43:26 <HackEgo> Done.
04:43:31 <shachaf> `addquote <mnoqy> the theory's probably not bad, but calculus is one of those things that's so dang applicable that everyone only ever talks about how to apply it and compute with it and uuuuurgh(barf) <mnoqy> so i stay away from it
04:43:35 <HackEgo> 1044) <mnoqy> the theory's probably not bad, but calculus is one of those things that's so dang applicable that everyone only ever talks about how to apply it and compute with it and uuuuurgh(barf) <mnoqy> so i stay away from it
04:56:12 -!- elieser2241 has joined.
04:57:03 -!- elieser2241 has left.
05:07:31 <Bike> mnoqy is quite correct, both about "Differential Equations" and about calculus.
05:17:19 <coppro> `quote
05:17:21 <HackEgo> 344) [on spiking] <CakeProphet> drugs are expensive. It would be a waste to use them on a random stranger.
05:17:53 <myndzi> \o/ i bothered to track and fix a bug
05:17:53 <myndzi> |
05:17:53 <myndzi> /<
05:17:59 <myndzi> just sayin' :)
05:18:05 <myndzi> you guys seemed to enjoy it anyway
05:18:38 <Bike> the \o\ thing? \o/ I mean. \ o /, \ o /, \o/
05:18:39 <myndzi> | | |
05:18:39 <myndzi> /`\ /^\ /'\
05:18:47 <Bike> Not bad.
05:19:11 <shachaf> o/o/o/o/o/o/o/
05:19:22 <shachaf> \o\o\o\o\o\o\
05:19:26 <shachaf> Hmph.
05:19:38 <myndzi> hehe
05:19:42 <myndzi> no troupers sorry
05:19:49 <shachaf> \o\\o\\o\\o\
05:19:49 <myndzi> | | | |
05:19:50 <myndzi> /´\/< /< /^\
05:20:05 <myndzi> .\m/ \m/
05:20:05 <myndzi> `\o/´
05:20:05 <myndzi> |
05:20:05 <myndzi> /'\
05:20:05 <myndzi> (_| |_)
05:46:01 -!- carado has quit (Ping timeout: 240 seconds).
05:59:38 <zzo38> Can a small TOGA computer be made using only two 74xx series ICs?
05:59:55 <Bike> is that like a toga party?
06:00:29 <zzo38> http://esolangs.org/wiki/TOGA_computer
06:01:24 <Bike> urisc, haha
06:09:34 -!- ineiros_ has quit (Read error: Operation timed out).
06:10:03 -!- tswett has quit (*.net *.split).
06:10:03 -!- Jafet1 has quit (*.net *.split).
06:10:04 -!- Sgeo_ has quit (*.net *.split).
06:10:04 -!- Lymia has quit (*.net *.split).
06:10:07 -!- ion has quit (*.net *.split).
06:10:07 -!- shachaf has quit (*.net *.split).
06:10:07 -!- glogbackup has quit (*.net *.split).
06:10:09 -!- FreeFull_ has quit (*.net *.split).
06:10:09 -!- yonkie has quit (*.net *.split).
06:10:12 -!- Deewiant has quit (*.net *.split).
06:10:14 -!- surma has quit (*.net *.split).
06:10:14 -!- ggherdov has quit (*.net *.split).
06:10:16 -!- Vorpal has quit (*.net *.split).
06:10:17 -!- jix_ has quit (*.net *.split).
06:10:17 -!- FireFly has quit (*.net *.split).
06:10:17 -!- TodPunk has quit (*.net *.split).
06:10:18 -!- olsner has quit (*.net *.split).
06:10:18 -!- ssue_ has quit (*.net *.split).
06:10:18 -!- iamcal__ has quit (*.net *.split).
06:10:18 -!- conehead has quit (*.net *.split).
06:10:19 -!- rntz has quit (*.net *.split).
06:10:19 -!- pikhq_ has quit (*.net *.split).
06:10:19 -!- yiyus_ has quit (*.net *.split).
06:10:19 -!- EgoBot has quit (*.net *.split).
06:10:21 -!- lifthrasiir has quit (*.net *.split).
06:10:21 -!- coppro has quit (*.net *.split).
06:10:23 -!- myndzi has quit (*.net *.split).
06:10:24 -!- elliott has quit (*.net *.split).
06:10:24 -!- itsy has quit (*.net *.split).
06:10:24 -!- zzo38 has quit (*.net *.split).
06:10:24 -!- augur has quit (*.net *.split).
06:10:25 -!- variable has quit (*.net *.split).
06:10:25 -!- aloril has quit (*.net *.split).
06:10:26 -!- SirCmpwn has quit (*.net *.split).
06:10:26 -!- sivoais has quit (*.net *.split).
06:10:27 -!- Gregor has quit (*.net *.split).
06:10:27 -!- quintopia has quit (*.net *.split).
06:10:27 -!- nortti has quit (*.net *.split).
06:10:28 -!- constant has quit (*.net *.split).
06:10:29 -!- Nisstyre-laptop has quit (*.net *.split).
06:10:29 -!- DHeadshot has quit (*.net *.split).
06:10:29 -!- hagb4rd has quit (*.net *.split).
06:10:30 -!- jconn has quit (*.net *.split).
06:10:30 -!- atehwa has quit (*.net *.split).
06:10:32 -!- fungot has quit (*.net *.split).
06:10:33 -!- oklopol has quit (*.net *.split).
06:10:34 -!- rodgort has quit (*.net *.split).
06:10:34 -!- hogeyui__ has quit (*.net *.split).
06:10:35 -!- sprocklem has quit (*.net *.split).
06:10:36 -!- SingingBoyo has quit (*.net *.split).
06:10:37 -!- comex has quit (*.net *.split).
06:10:37 -!- heroux has quit (*.net *.split).
06:10:40 -!- sebbu has quit (*.net *.split).
06:10:42 -!- tromp has quit (*.net *.split).
06:10:43 -!- Bike has quit (*.net *.split).
06:10:45 -!- lambdabot has quit (*.net *.split).
06:10:45 -!- HackEgo has quit (*.net *.split).
06:10:48 -!- mnoqy has quit (*.net *.split).
06:10:48 -!- TeruFSX has quit (*.net *.split).
06:10:52 -!- clog has quit (*.net *.split).
06:10:54 -!- Lumpio- has quit (*.net *.split).
06:10:55 -!- Gracenotes has quit (*.net *.split).
06:10:56 -!- Frooxius_ has quit (*.net *.split).
06:10:56 -!- BillyZane has quit (*.net *.split).
06:10:57 -!- metasepia has quit (Ping timeout: 256 seconds).
06:15:07 -!- kmc has quit (Read error: Operation timed out).
06:15:19 -!- samebchase has quit (Read error: Operation timed out).
06:16:55 -!- myname has quit (Read error: Operation timed out).
06:21:25 -!- myname has joined.
06:21:25 -!- samebchase has joined.
06:21:25 -!- kmc has joined.
06:21:25 -!- ineiros has joined.
06:21:25 -!- SingingBoyo has joined.
06:21:25 -!- sprocklem has joined.
06:21:25 -!- constant has joined.
06:21:25 -!- Bike has joined.
06:21:25 -!- FreeFull_ has joined.
06:21:25 -!- Nisstyre-laptop has joined.
06:21:25 -!- itsy has joined.
06:21:25 -!- DHeadshot has joined.
06:21:25 -!- mnoqy has joined.
06:21:25 -!- olsner has joined.
06:21:25 -!- yonkie has joined.
06:21:25 -!- TeruFSX has joined.
06:21:25 -!- ssue_ has joined.
06:21:25 -!- zzo38 has joined.
06:21:25 -!- surma has joined.
06:21:25 -!- ggherdov has joined.
06:21:25 -!- iamcal__ has joined.
06:21:25 -!- augur has joined.
06:21:25 -!- conehead has joined.
06:21:25 -!- sebbu has joined.
06:21:25 -!- hagb4rd has joined.
06:21:25 -!- Frooxius_ has joined.
06:21:25 -!- rntz has joined.
06:21:25 -!- pikhq_ has joined.
06:21:25 -!- tswett has joined.
06:21:25 -!- variable has joined.
06:21:25 -!- aloril has joined.
06:21:25 -!- Jafet1 has joined.
06:21:25 -!- yiyus_ has joined.
06:21:25 -!- jconn has joined.
06:21:25 -!- Sgeo_ has joined.
06:21:25 -!- EgoBot has joined.
06:21:25 -!- atehwa has joined.
06:21:25 -!- comex has joined.
06:21:25 -!- fungot has joined.
06:21:25 -!- Lymia has joined.
06:21:25 -!- myndzi has joined.
06:21:25 -!- SirCmpwn has joined.
06:21:25 -!- sivoais has joined.
06:21:25 -!- ion has joined.
06:21:25 -!- shachaf has joined.
06:21:25 -!- heroux has joined.
06:21:25 -!- BillyZane has joined.
06:21:25 -!- Vorpal has joined.
06:21:25 -!- lifthrasiir has joined.
06:21:25 -!- jix_ has joined.
06:21:26 -!- oklopol has joined.
06:21:26 -!- FireFly has joined.
06:21:26 -!- Gregor has joined.
06:21:26 -!- rodgort has joined.
06:21:26 -!- quintopia has joined.
06:21:26 -!- TodPunk has joined.
06:21:26 -!- coppro has joined.
06:21:26 -!- hogeyui__ has joined.
06:21:26 -!- nortti has joined.
06:21:26 -!- elliott has joined.
06:21:26 -!- Deewiant has joined.
06:21:26 -!- Lumpio- has joined.
06:21:26 -!- lambdabot has joined.
06:21:26 -!- HackEgo has joined.
06:21:26 -!- Gracenotes has joined.
06:21:26 -!- tromp has joined.
06:21:26 -!- clog has joined.
06:21:26 -!- ?unknown? has set channel mode: +v Gregor .
06:22:43 -!- mamiphin has joined.
06:23:09 <mamiphin> echo input.txt | ruby golfscript.rb tests.gs
06:23:14 <mamiphin> Why does this not work?
06:23:55 <mamiphin> http://pastie.org/private/loknpbjskcyov0btjzqva
06:24:28 <mnoqy> do you want cat instead of echo
06:24:47 <mnoqy> or maybe uhh
06:25:10 <mnoqy> yeah idk enough about your thing to guess anything else
06:25:45 <mnoqy> maybe the golfscript interp is broken...maybe the ruby interp is broken! it could happen
06:29:53 -!- tswett has quit (*.net *.split).
06:29:53 -!- Jafet1 has quit (*.net *.split).
06:29:53 -!- Sgeo_ has quit (*.net *.split).
06:29:53 -!- Lymia has quit (*.net *.split).
06:29:53 -!- ion has quit (*.net *.split).
06:29:53 -!- shachaf has quit (*.net *.split).
06:29:53 -!- glogbackup has quit (*.net *.split).
06:29:53 -!- FreeFull_ has quit (*.net *.split).
06:29:53 -!- yonkie has quit (*.net *.split).
06:29:53 -!- Deewiant has quit (*.net *.split).
06:29:53 -!- mamiphin has quit (*.net *.split).
06:29:54 -!- surma has quit (*.net *.split).
06:29:54 -!- ggherdov has quit (*.net *.split).
06:29:54 -!- Vorpal has quit (*.net *.split).
06:29:54 -!- jix_ has quit (*.net *.split).
06:29:54 -!- FireFly has quit (*.net *.split).
06:29:54 -!- TodPunk has quit (*.net *.split).
06:29:54 -!- olsner has quit (*.net *.split).
06:29:54 -!- ssue_ has quit (*.net *.split).
06:29:54 -!- iamcal__ has quit (*.net *.split).
06:29:54 -!- conehead has quit (*.net *.split).
06:29:55 -!- rntz has quit (*.net *.split).
06:29:55 -!- pikhq_ has quit (*.net *.split).
06:29:55 -!- yiyus_ has quit (*.net *.split).
06:29:55 -!- EgoBot has quit (*.net *.split).
06:29:55 -!- lifthrasiir has quit (*.net *.split).
06:29:55 -!- coppro has quit (*.net *.split).
06:29:55 -!- myndzi has quit (*.net *.split).
06:29:55 -!- elliott has quit (*.net *.split).
06:29:55 -!- itsy has quit (*.net *.split).
06:29:55 -!- zzo38 has quit (*.net *.split).
06:29:56 -!- augur has quit (*.net *.split).
06:29:56 -!- variable has quit (*.net *.split).
06:29:56 -!- aloril has quit (*.net *.split).
06:29:56 -!- SirCmpwn has quit (*.net *.split).
06:29:56 -!- sivoais has quit (*.net *.split).
06:29:56 -!- Gregor has quit (*.net *.split).
06:29:56 -!- quintopia has quit (*.net *.split).
06:29:56 -!- nortti has quit (*.net *.split).
06:29:56 -!- constant has quit (*.net *.split).
06:29:56 -!- Nisstyre-laptop has quit (*.net *.split).
06:29:56 -!- DHeadshot has quit (*.net *.split).
06:29:57 -!- hagb4rd has quit (*.net *.split).
06:29:57 -!- jconn has quit (*.net *.split).
06:29:57 -!- atehwa has quit (*.net *.split).
06:29:57 -!- kmc has quit (*.net *.split).
06:29:57 -!- ineiros has quit (*.net *.split).
06:29:57 -!- fungot has quit (*.net *.split).
06:29:57 -!- oklopol has quit (*.net *.split).
06:29:57 -!- rodgort has quit (*.net *.split).
06:29:57 -!- hogeyui__ has quit (*.net *.split).
06:29:59 -!- sprocklem has quit (*.net *.split).
06:29:59 -!- SingingBoyo has quit (*.net *.split).
06:29:59 -!- comex has quit (*.net *.split).
06:29:59 -!- heroux has quit (*.net *.split).
06:29:59 -!- sebbu has quit (*.net *.split).
06:29:59 -!- tromp has quit (*.net *.split).
06:29:59 -!- Bike has quit (*.net *.split).
06:30:00 -!- lambdabot has quit (*.net *.split).
06:30:00 -!- HackEgo has quit (*.net *.split).
06:30:00 -!- mnoqy has quit (*.net *.split).
06:30:00 -!- TeruFSX has quit (*.net *.split).
06:30:00 -!- clog has quit (*.net *.split).
06:30:00 -!- Lumpio- has quit (*.net *.split).
06:30:00 -!- Gracenotes has quit (*.net *.split).
06:30:00 -!- myname has quit (*.net *.split).
06:30:00 -!- samebchase has quit (*.net *.split).
06:30:01 -!- Frooxius_ has quit (*.net *.split).
06:30:01 -!- BillyZane has quit (*.net *.split).
06:47:03 <fizzie> Maybe the "|" is broken!
06:49:44 -!- quintopia has joined.
06:49:44 -!- mamiphin has joined.
06:49:44 -!- myname has joined.
06:49:44 -!- samebchase has joined.
06:49:44 -!- kmc has joined.
06:49:44 -!- ineiros has joined.
06:49:44 -!- SingingBoyo has joined.
06:49:44 -!- constant has joined.
06:49:44 -!- Bike has joined.
06:49:44 -!- FreeFull_ has joined.
06:49:44 -!- Nisstyre-laptop has joined.
06:49:44 -!- itsy has joined.
06:49:44 -!- DHeadshot has joined.
06:49:44 -!- mnoqy has joined.
06:49:44 -!- olsner has joined.
06:49:44 -!- yonkie has joined.
06:49:44 -!- TeruFSX has joined.
06:49:44 -!- ssue_ has joined.
06:49:44 -!- surma has joined.
06:49:44 -!- ggherdov has joined.
06:49:44 -!- iamcal__ has joined.
06:49:44 -!- augur has joined.
06:49:44 -!- conehead has joined.
06:49:44 -!- sebbu has joined.
06:49:44 -!- hagb4rd has joined.
06:49:44 -!- Frooxius_ has joined.
06:49:44 -!- rntz has joined.
06:49:44 -!- pikhq_ has joined.
06:49:44 -!- tswett has joined.
06:49:44 -!- variable has joined.
06:49:44 -!- aloril has joined.
06:49:44 -!- Jafet1 has joined.
06:49:44 -!- yiyus_ has joined.
06:49:44 -!- jconn has joined.
06:49:44 -!- Sgeo_ has joined.
06:49:44 -!- EgoBot has joined.
06:49:44 -!- atehwa has joined.
06:49:44 -!- comex has joined.
06:49:44 -!- fungot has joined.
06:49:44 -!- Lymia has joined.
06:49:44 -!- myndzi has joined.
06:49:44 -!- SirCmpwn has joined.
06:49:44 -!- sivoais has joined.
06:49:44 -!- ion has joined.
06:49:44 -!- shachaf has joined.
06:49:44 -!- heroux has joined.
06:49:44 -!- BillyZane has joined.
06:49:44 -!- Vorpal has joined.
06:49:44 -!- lifthrasiir has joined.
06:49:44 -!- jix_ has joined.
06:49:44 -!- oklopol has joined.
06:49:44 -!- FireFly has joined.
06:49:44 -!- Gregor has joined.
06:49:44 -!- rodgort has joined.
06:49:44 -!- TodPunk has joined.
06:49:44 -!- coppro has joined.
06:49:44 -!- hogeyui__ has joined.
06:49:44 -!- nortti has joined.
06:49:44 -!- elliott has joined.
06:49:44 -!- Deewiant has joined.
06:49:44 -!- Lumpio- has joined.
06:49:44 -!- clog has joined.
06:49:44 -!- tromp has joined.
06:49:44 -!- Gracenotes has joined.
06:49:44 -!- HackEgo has joined.
06:49:44 -!- lambdabot has joined.
06:49:44 -!- ?unknown? has set channel mode: +v Gregor .
06:58:10 -!- quintopia has quit (Ping timeout: 252 seconds).
07:04:36 -!- mamiphin has quit (Quit: Page closed).
07:06:51 -!- quintopia has joined.
07:50:35 -!- glogbackup has joined.
07:55:52 -!- nooodl has joined.
08:18:06 -!- conehead has quit (Quit: Computer has gone to sleep.).
08:33:03 -!- epicmonkey has joined.
08:49:15 -!- DHeadshot has quit (Ping timeout: 256 seconds).
08:54:21 -!- hagb4rd has quit (Ping timeout: 256 seconds).
08:55:23 -!- hagb4rd has joined.
09:10:15 -!- Nisstyre-laptop has quit (Quit: Leaving).
09:21:50 -!- epicmonkey has quit (Ping timeout: 256 seconds).
09:45:55 -!- mnoqy has quit (Quit: hello).
09:56:10 -!- mnoqy has joined.
09:56:11 -!- itsy has quit (Ping timeout: 240 seconds).
09:58:39 -!- Phantom_Hoover has joined.
10:14:32 -!- Taneb has joined.
10:15:05 -!- MindlessDrone has joined.
10:15:48 -!- MindlessDrone has quit (Client Quit).
10:19:10 -!- MindlessDrone has joined.
10:19:26 -!- atriq has joined.
10:19:43 -!- Taneb has quit (Ping timeout: 250 seconds).
10:30:58 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
10:34:17 -!- FreeFull_ has changed nick to FreeFull.
10:34:25 -!- Phantom_Hoover has joined.
10:39:11 -!- epicmonkey has joined.
10:50:20 -!- atriq has quit (Quit: Leaving).
10:52:00 -!- jix_ has quit (Remote host closed the connection).
11:01:55 -!- itsy has joined.
11:07:58 -!- masliksis has joined.
11:17:26 -!- jix has joined.
11:27:55 -!- itsy has left.
11:44:59 -!- DHeadshot has joined.
12:06:33 -!- Jafet has joined.
12:07:13 -!- Jafet1 has quit (Ping timeout: 245 seconds).
12:22:38 <elliott> 05:15:17 <Bike> [Amazingly, there exist continuous functions which are nowhere differentiable. Two examples are the Blancmange function and Weierstrass function. Hermite (1893) is said to have opined, "I turn away with fright and horror from this lamentable evil of functions which do not have derivatives"» mathematicians are the best.
12:22:43 <elliott> you totally fucked up this quote
12:23:28 <elliott> i mean the actual quotes
12:23:30 <elliott> not the content
12:30:49 -!- epicmonkey has quit (Ping timeout: 246 seconds).
12:31:23 <mnoqy> wow how did that happen
12:36:40 <Phantom_Hoover> i love the blancmange function
12:36:43 <Phantom_Hoover> (it's so easy)
12:38:15 <elliott> love those monoids jokes
12:38:34 <Phantom_Hoover> sadly they are not so easy
12:38:54 <mnoqy> how are they not easy? they look rather mindless
12:38:58 <mnoqy> :-)
12:49:58 -!- gasoline has joined.
12:51:53 <gasoline> dudes
12:52:01 <mnoqy> gasoline
12:52:01 <gasoline> hows hanging dudes
12:52:09 <mnoqy> hanging's great
12:52:30 <elliott> `relcome gasoline
12:52:34 <HackEgo> gasoline: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
12:52:41 <gasoline> we will see about that elliott
12:52:49 <elliott> help
12:53:03 <gasoline> ;seen themom
12:53:22 <mnoqy> the mom??
12:53:31 <elliott> do we know you
12:53:34 <gasoline> yea for elliott
12:53:59 <gasoline> or were you saying something
12:54:12 <gasoline> i dont exclude that possibility you know
12:54:27 <elliott> have you noticed you're not making much sense
12:54:46 <gasoline> wake up this is irc dude
12:54:57 <elliott> true
12:55:01 <gasoline> so
12:55:07 <gasoline> then we agree on something
12:55:19 <elliott> yes
12:55:40 <gasoline> doesnt mean you also said something usefull ofcourse
12:55:47 <elliott> wow burn
12:56:36 <gasoline> whats up with undernet by the way
12:56:53 <gasoline> it seems they lost their server
12:57:12 <elliott> mnoqy: remember that guy who came in and quit because of the dalnet in the welcome
12:57:15 <elliott> that was so good
12:57:29 <mnoqy> you mean the guy who was really upset about mentioning dal?
12:57:30 <mnoqy> yeah
12:57:32 <mnoqy> i remember that guy
12:57:40 <mnoqy> what was up with that guy anyway
12:58:23 -!- gasoline has changed nick to newstalker.
12:58:30 <newstalker> hahaha
12:58:35 <mnoqy> news talker?
12:58:44 <newstalker> questions questions questions
12:58:51 <newstalker> SEEK
12:58:58 <newstalker> and thou may find something
12:59:18 <elliott> are you high
12:59:24 <elliott> we know all about the drugz here
12:59:24 <mnoqy> good question elliott
13:00:00 <newstalker> what is there that makes you think that I am a topic
13:00:15 <elliott> so yes
13:00:32 <newstalker> elliott: elliott elliott
13:00:40 <elliott> hi
13:00:44 <newstalker> hi elliott
13:00:58 <elliott> have you met fungot
13:00:58 <fungot> elliott: i've been hacking on a business model yet. but you can't
13:01:21 <mnoqy> elliott don't you remember the last time gasoline was here
13:01:52 <elliott> why would i remember such a loser 8)
13:02:18 <Phantom_Hoover> <mnoqy> you mean the guy who was really upset about mentioning dal?
13:02:22 <Phantom_Hoover> what guy was this
13:02:30 <elliott> the great guy
13:02:40 <newstalker> you remember me elliott
13:02:56 <Phantom_Hoover> newstalker, so are you locked in the matrix of solidity
13:03:25 <newstalker> i call that wildly speculative
13:04:04 <mnoqy> Phantom_Hoover: Broly
13:04:25 <mnoqy> check 2013-03-18
13:04:43 <newstalker> maybe if someone mentions dalnet ...
13:04:57 <elliott> dalnet
13:05:04 <newstalker> uhm no
13:05:06 <newstalker> try again
13:05:21 <elliott> dalnet
13:05:27 <Phantom_Hoover> dahlnet
13:05:51 <newstalker> no then its not me dudes
13:05:55 <mnoqy> `pastelogs Broly
13:06:26 <elliott> newstalker: but aren't we all one
13:06:32 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29509
13:09:39 <newstalker> HEY! YOU!
13:09:42 <newstalker> Dont Watch That!
13:09:44 <newstalker> Watch This!
13:09:49 <newstalker> This is the Heavy Heavy Monster Sound
13:09:51 <mnoqy> what's that and what's this
13:09:51 <mnoqy> oh
13:09:52 <mnoqy> ok
13:09:52 <newstalker> The Naziest Sound Around!
13:10:04 <mnoqy> what makes a sound Nazi
13:10:31 <newstalker> Positive News ! Force Feeding does work ! So called Hunger Strikers at Guantanamo Bay Have Actually “Put On Weight” - Rep. Mike Pompeo (R-KS)
13:11:18 <newstalker> More Positive News ! The President is gonna Close Guantanamo Bay Again !
13:11:34 <newstalker> As soon as he returns from vacation ...
13:11:44 -!- elieser224 has joined.
13:11:51 -!- elieser224 has left.
13:13:07 -!- Taneb has joined.
13:20:02 <newstalker> im reading about a Pill that also cures racism
13:20:40 <newstalker> ha ha theyre saying that it will no doubt fire up the imagination of egalitarians everyfwhere
13:21:23 <Taneb> That seems very Clockwork Orange
13:22:17 <newstalker> A Clockwork Orange is a dystopian novella written by Anthony Burgess and published in 1962.
13:22:50 <elliott> thank's
13:22:58 <Taneb> It's about (or contains, I'm not sure) a doctor trying to medically cleanse evil from someone
13:23:02 <Taneb> It... works.
13:23:03 <Taneb> Sort of.
13:23:19 <newstalker> dystopian seems the right way to denominate it versus utopian
13:26:00 <newstalker> -!- newstalker changed the topic of #racism to: welcome ! and ... racists only !
13:29:49 <elliott> hi
13:29:55 <elliott> are you a racist
13:30:51 <newstalker> i suppose you cannot define racist
13:31:05 <elliott> btw you're kind of annoying can you go away
13:31:19 <newstalker> i suppose by saying racist you mean racist discrimination too
13:31:55 <mnoqy> ssh elliott that's rude
13:32:59 <Deewiant> ssh: Could not resolve hostname elliott: Name or service not known
13:40:26 <Vorpal> About $764 or about $317 for a new monitor... Hm. The more expensive one is significantly nicer though...
13:50:29 <Vorpal> newstalker, Wouldn't a racist be someone like Michael Schumacher? ;)
13:51:55 <mnoqy> was that a joke
13:52:03 <Phantom_Hoover> it appears to be so
13:52:07 <Phantom_Hoover> we may never know the true intent
13:52:35 <Vorpal> mnoqy, yes it was
13:52:47 <newstalker> Phantom_Hoover: wrong
13:52:50 <Vorpal> mnoqy, wasn't the ";)" obvious enough?
13:52:50 <Phantom_Hoover> anthropologists conclude that it can only have come from a being with a radically less-developed sense of humour than modern humans
13:53:47 <newstalker> qualified experts tend to agree
13:54:30 <Vorpal> thunderstorms, bbl
13:54:46 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
13:55:55 <newstalker> mnoqy: did that answer your question ?
13:56:23 <mnoqy> i still don't understand it, but at least he tried
13:56:33 <nooodl> hi whats going oin
13:56:45 <mnoqy> vorpal tried to make a joke
13:56:49 <Phantom_Hoover> newstalker is crazy
13:56:57 <Phantom_Hoover> vorpal is an idiot
13:56:58 <nooodl> hi newstalker
13:56:59 <Phantom_Hoover> news at 11
13:57:03 <nooodl> are you a news talker or a new stalker
13:57:04 <newstalker> hi nooodl
13:57:10 <elliott> we already did that one nooodl
13:57:20 <mnoqy> remember news-ham? those were the days
13:57:36 <mnoqy> the days where we had news
13:57:55 <Phantom_Hoover> i want news-ham back
13:58:00 <Phantom_Hoover> why was news-ham ever deactivated
13:58:06 <elliott> too bad i need a new silly language to be enamoured with to write any silly bots
13:58:12 <elliott> Phantom_Hoover: i lost the code
13:58:15 <Phantom_Hoover> NO
13:58:19 <Phantom_Hoover> UNACCEPTABLE
13:58:28 <mnoqy> zepto imo
13:58:35 <Phantom_Hoover> nooodl, you're young and impressionable WRITE A NEW NEWS-HAM
13:58:39 <elliott> i bet the next one will be in a concatenative language
13:58:42 <elliott> seems like "the time"
13:58:48 <elliott> to be enamoured with a silly concatenative language
13:58:54 <nooodl> what's that :-(
13:59:03 <elliott> sorry nobody understands news-ham but me
13:59:03 <mnoqy> are there any silly concatenative languages worth being enamoured over
13:59:21 <Phantom_Hoover> it gives you random headlines when you say 'news-ham' or 'what are the haps my friends'
13:59:24 <elliott> mnoqy: well factor is pretty cute but probably it's too "#esoteric mainstream" to be enamoured with
13:59:27 <Phantom_Hoover> i think they were from the bbc?
13:59:31 <elliott> i think cat is cute? "iirc"
13:59:40 <mnoqy> elliott: there's also the thing where sgeo went on a factor trip
13:59:46 -!- Taneb has quit (Quit: Leaving).
13:59:46 <mnoqy> elliott: and evincar went on a concatenative trip
13:59:52 <mnoqy> and wrote a concatenative blog post
13:59:53 <elliott> mnoqy: well, he went on a PicoLisp trip too
13:59:54 <mnoqy> and
13:59:57 <mnoqy> ah yes
13:59:58 <elliott> and news-ham was written in PicoLisp
14:00:00 <mnoqy> i remember that
14:00:03 <elliott> "not an obstacle"
14:00:08 <mnoqy> hm
14:00:15 <mnoqy> you did that while sgeo was on his picolisp trip right
14:00:23 <elliott> yeah i think so
14:00:26 <mnoqy> you should write new-s-ham in rebol
14:00:28 <elliott> so i guess the next one has to be rebol
14:00:31 <elliott> "snap'
14:00:33 <elliott> '
14:00:36 <elliott> it wouldnt be a retread though
14:00:38 <elliott> i dont do sequels
14:01:00 <Phantom_Hoover> i just want news-ham back ;_;
14:01:26 <Sgeo_> ...o.O have I actually been causing people to try out the category of languages of whatever language I'm tripping on?
14:01:27 <elliott> all things must pass
14:01:44 <elliott> no Sgeo_, sorry
14:04:30 <newstalker> dinosaur bones that are carbon dated in general will come out only a couple of thousand years old
14:04:47 <newstalker> therefor the results of dinosaur bones that are carbon dated are dismissed
14:05:54 -!- elieser2241 has joined.
14:05:56 <newstalker> the earth also got a 100 million years older this year
14:06:05 <nooodl> `fetch http://api.bbcnews.appengine.co.uk/stories/uk
14:06:07 <HackEgo> 2013-06-02 14:06:05 URL:http://api.bbcnews.appengine.co.uk/stories/uk [19808] -> "uk.1" [1]
14:06:08 <Phantom_Hoover> carbon dating... doesn't work for more than a few thousand years but why am i saying this
14:06:12 <nooodl> `run python -c "import random, json; print random.choice(json.loads(open('uk').read())['stories'])['description']"
14:06:14 <HackEgo> Lady Anne Glenconner, one of the Queen's six maids of honour at the Coronation in 1953, talks about her memories of the day.
14:06:19 <nooodl> `run python -c "import random, json; print random.choice(json.loads(open('uk').read())['stories'])['description']"
14:06:21 <HackEgo> A feature on American jargon in "soccer" generated a huge response. Here, readers share their favourite - and least favourite - descriptions of their favourite sport by overseas announcers.
14:06:52 <Phantom_Hoover> elliott, was it just the bbc headlines btw
14:06:54 <nooodl> man i probably want title instead for more headlineyness
14:06:59 <nooodl> `run python -c "import random, json; print random.choice(json.loads(open('uk').read())['stories'])['title']"
14:07:00 <HackEgo> Sporting terms that divide the English-speaking world
14:07:08 <fizzie> Is that like (the beginnings of) an automated "what's up?"-answerer?
14:07:45 <nooodl> too bad HackEgo can't fetch files from within python
14:07:49 <mnoqy> don't you remember news-ham, fizzie
14:07:56 <nooodl> or can it??
14:08:17 <newstalker> <@BBC> Title: Cheerios Forced to Shut Down Comments on New Ad Featuring Interracial Family | TheBlaze.com
14:08:21 <fizzie> nooodl: It can fetch files from whitelisted domains.
14:08:48 <fizzie> (Or at least `run wget can, so presumably `run python can as well.)
14:09:07 <fizzie> (google.com is the only whitelisted domain I know of, though.)
14:09:27 <elliott> Phantom_Hoover: no it was more
14:09:28 <newstalker> ssshh british BULLSHIT coporation ...
14:09:31 <elliott> it had topics and multiple sources and everything
14:09:36 <elliott> fizzie: btw can you get rid of newstalker
14:09:59 <Phantom_Hoover> i was about to say, does this meet our ops' ridiculously high standard for banning
14:10:04 <elliott> nooodl: also it's not a proper news-ham if you have to use "symbols" and stuff to invoke it
14:10:09 <elliott> nooodl: it needs to be natural
14:10:20 <nooodl> yeah that's a bad :(
14:11:19 <fizzie> Phantom_Hoover: Not all of them are as bad as I when it comes to that, really.
14:12:03 <Phantom_Hoover> well, ais isn't
14:12:12 <elliott> have you looked at /lastlog newstalker
14:12:14 <elliott> imo it's educational
14:12:31 <mnoqy> lastlog gasoline is nice too
14:12:36 <Phantom_Hoover> oerjan is eager to ban channel regulars who undermine his authority but not actual disruptive idiots
14:12:43 <elliott> Phantom_Hoover: oh, shut up
14:12:50 <Phantom_Hoover> elliott, no you shut up
14:13:03 -!- masliksis has quit (Quit: Page closed).
14:16:15 <newstalker> i may put this channel on autojoin
14:16:25 <mnoqy> thanks
14:17:02 * newstalker tosses mnoqy a cookie
14:17:12 <mnoqy> thanks
14:18:27 <newstalker> . Turkeys capital calm after night of clashes <--- duh rioters gotta sleep too
14:18:28 -!- Sgeo_ has quit (Ping timeout: 245 seconds).
14:18:41 <mnoqy> could take shifts
14:19:39 -!- Sgeo has joined.
14:19:48 <newstalker> theyve been out all night rioting in the streets theyre tired
14:20:08 <elliott> fizzie: what do we have to get them to do to qualify
14:20:11 <elliott> i'm up for anything
14:21:45 <mnoqy> take a chill pill and peace out
14:22:09 <mnoqy> ask kmc for details[drug joke]
14:23:17 -!- carado has joined.
14:25:31 <newstalker> they got a new secret surveillance program in the UK called "elliott"
14:27:02 * newstalker points finger at elliott and laughs
14:27:05 <elliott> fizzie: how about i ping you every time newstalker says something
14:27:10 <elliott> fizzie: so it annoys you personally
14:27:25 -!- elieser2241 has left.
14:27:37 <mnoqy> maybe if you hadnt been such a jerk he woudlnt be bothering you
14:27:54 <elliott> mnoqy: im a sinner
14:28:08 <newstalker> then repent to the lord jesus
14:28:43 <elliott> newstalker: what's it like in leiden
14:28:49 <elliott> -yrs, the elliott surveillance program
14:28:54 <newstalker> and yes ... a ban would surely give you some time to repent
14:30:33 <mnoqy> a while ago i got reminded of that one other guy who came in and got in a spat with elliott after talking about aliens and pyramids and stuff and it got out of control
14:30:39 <mnoqy> and now its reminding me of that again
14:30:44 <mnoqy> you dont want that to happen again do you
14:31:03 <newstalker> were cool
14:31:21 <elliott> mnoqy: that was great
14:31:30 <elliott> didnt they get banned eventually though
14:31:34 <elliott> so its clearly a winning formula
14:31:34 <mnoqy> yeah
14:31:43 <elliott> fizzie take noe!11
14:31:44 <elliott> ugh
14:31:47 <elliott> fizzie take note!!!
14:31:49 <elliott> typing is really hard
14:31:50 <elliott> my shift key is bad
14:32:00 <mnoqy> divine justice
14:32:13 <newstalker> you should get a kick for interfering with ops tho
14:32:22 <elliott> mnoqy: wait i have a plan
14:32:25 <mnoqy> (looking like a dork when you type !s is the divine punishment for being a jerk)
14:32:26 -!- ChanServ has set channel mode: +v newstalker.
14:32:30 -!- ChanServ has set channel mode: -v newstalker.
14:32:34 -!- ChanServ has set channel mode: +v newstalker.
14:32:38 -!- ChanServ has set channel mode: -v newstalker.
14:32:40 <elliott> r u intimidated
14:32:47 <mnoqy> elliott are you trying to get your +v privileges revoked!!!!
14:32:58 <elliott> i think you'll find my +v privileges are divine
14:33:08 <elliott> more like a +v right, really
14:33:13 -!- sebbu2 has joined.
14:33:25 <newstalker> we call em jewtags
14:33:51 -!- sebbu has quit (Ping timeout: 252 seconds).
14:33:56 -!- sebbu2 has quit (Changing host).
14:33:56 -!- sebbu2 has joined.
14:33:58 <elliott> fizzie: does that count as blatant enough or do we have to push it a bit more
14:33:59 <mnoqy> no i think only you call them that
14:34:50 <newstalker> now wheres that fucken penguin
14:35:02 <mnoqy> penguin?
14:36:04 <newstalker> wiki?
14:37:10 <newstalker> Penguins are sea - birds. They form the family Spheniscidae, the only family of the order Sphenisciformes. Penguins live on the southern half of the world
14:37:20 <mnoqy> ah ok
14:37:35 <newstalker> URL: https://simple.wikipedia.org/wiki/Penguin
14:38:34 -!- masliksis has joined.
14:38:43 <masliksis> I'm working with a C++ based language so not everything will be the same as C++, eg.. "Int_t" is this program's equivalent of "Int" for C++. But i was curious about one of the syntax here. after finishing a struct, i thought you were supposed to do an int main. What would the "staff_t staff;" line do? http://pastebin.ca/2387639
14:40:51 -!- sebbu2 has changed nick to sebbu.
14:40:53 <newstalker> it defines the type of staff
14:41:35 <masliksis> newstalker: so it it declares a variables of type staff_t?
14:41:35 <newstalker> and gives you one staff_t instance
14:41:49 -!- mnoqy has quit (Quit: hello).
14:42:20 <newstalker> and in c++ it calls the staff_t constructor
14:43:01 <newstalker> and destructor on exit
14:45:10 <masliksis> newstalker: You sure?
14:46:20 -!- heroux has quit (Ping timeout: 256 seconds).
14:47:03 <newstalker> tree->Fill(); <-- its empty
14:47:16 -!- heroux has joined.
14:53:39 <masliksis> newstalker: and?
14:53:56 <newstalker> its your program
14:54:18 <elliott> masliksis: you just joined so you may not be aware that newstalker is a troll
14:54:42 <newstalker> elliott is pratically useless
14:55:47 <elliott> true
14:55:56 <newstalker> and homosexual
14:56:30 <elliott> one out of two isn't bad
14:56:33 <elliott> fizzie: hi
14:56:56 <newstalker> yuck
14:57:01 <ion> elliott: I think he was hitting on you.
14:57:13 <newstalker> not what the Lord jesus tought us
14:58:59 <nooodl> why isnt newstalker banned
14:59:08 <fizzie> newstalker: I think you could stop with the insults and the trolly-preachy stuff.
14:59:11 <elliott> we dont ban people here in #esoteric
14:59:18 <fizzie> nooodl: Because of the aforementioned high standards for banning, I suppose.
14:59:34 <masliksis> fizzie: Could you help me please? :)
14:59:39 <fizzie> It's kind of like it's a great honor to be banned from #esoteric, and diluting it would be silly.
14:59:41 <elliott> i don't really think they're high so much as nonexistent
15:00:10 <elliott> like i actually can't remember a single person who has been banned long-term before their not being banned becomes some kind of running joke
15:00:20 <fizzie> masliksis: I don't know what sort of help you need. Re "no main", if it's the ROOT C++ interpreter thing, I don't think it requires a main function, you can just write a "script". You already got an explanation for the line; it's declaring a variable.
15:00:30 <elliott> fizzie: i think i might have actually been set +b more than anyone else
15:00:32 <elliott> maybe PH has overtaken me though
15:00:36 <elliott> true honours
15:01:12 <elliott> masliksis: btw have you been welcomed yet
15:01:14 <elliott> `welcome newstalker
15:01:17 <HackEgo> newstalker: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:01:30 <elliott> er
15:01:32 <masliksis> =)
15:01:32 <elliott> good typo
15:01:34 <masliksis> thankyou
15:01:38 <elliott> pretend that said you instead
15:01:40 -!- variable has quit (Quit: I found 1 in /dev/zero).
15:02:00 <nooodl> `relcome masliksis
15:02:03 <HackEgo> masliksis: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:02:38 <masliksis> :D
15:03:13 <fizzie> This channel: mostly about silly welcomes.
15:03:22 -!- wood has joined.
15:03:57 <elliott> cute getting it bolded like that
15:04:21 <fizzie> `run WeLcOmE fizzie | rainwords | h # nobody ever welcomes me :(
15:04:24 <HackEgo> FihZzIe: WehLcOhmE To tHe ihNtEhrNahTiOhnAhl hUhb fOhr ehSohTehRihC PrOhgRahMmIhnG LahNgUahGe dEhsIhgN AhnD DehPlOyhMehNt! FohR MohRe ihNfOhrMahTiOhn, ChEhcK OuhT OuhR WihKi: HtTp://ehSohLahNgS.OhrG/WihKi/mAihN_PahGe. (fOhr tHe ohThEhr kIhnD Ohf ehSohTehRihCa, TrY #ehSohTehRihC Ohn
15:04:37 <elliott> `run relcome nooodl | rnooodl
15:04:40 <HackEgo> nooooooodl: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:05:01 <fizzie> This window looks like a unicorn threw up in it.
15:05:11 <ion> `run WeLcOmE fizzie | h | hyphenate.fi | rainwords
15:05:16 <HackEgo> FihZ-zIe: WehL-cOh-mE To tHe ihN-tEhr-Nah-Ti-Oh-nAhl hUhb fOhr eh-Soh-Teh-RihC PrOhg-RahM-mIhnG LahN-gU-ah-Ge dEh-sIhgN AhnD DehP-lO-yh-MehNt! FohR Moh-Re ihN-fOhr-Mah-Ti-Ohn, ChEhcK OuhT OuhR Wih-Ki: HtTp://eh-Soh-LahNgS.OhrG/Wih-Ki/mAihN_Pah-Ge. (fOhr tHe ohT-hEhr kIhnD Ohf eh-Soh-Teh-R
15:05:29 <nooodl> LahN-gU-ah-Ge
15:05:35 <fizzie> ion: I'm all about the PrOhg-RahM-mIhnG.
15:06:02 <olsner> my eyes are all kinds of hurt now
15:06:20 <fizzie> olsner: ITYM all "kIhnDs".
15:06:38 -!- wood has changed nick to function.
15:06:39 <olsner> yes, in bold and bright colors
15:06:44 -!- function has quit (Changing host).
15:06:45 -!- function has joined.
15:06:53 <olsner> luckily, I don't know how to do that
15:07:03 <elliott> you can do this too
15:09:59 <ion> Insert a space in the beginning?
15:10:30 <elliott> it blinks ideally
15:12:39 -!- masliksis has quit (Quit: Page closed).
15:12:52 -!- copumpkin has joined.
15:40:42 -!- Taneb has joined.
15:45:09 -!- fwilson has joined.
15:47:33 -!- Vorpal has joined.
15:51:24 -!- phaztrict has joined.
15:51:41 -!- fwilson has left.
15:55:46 <FireFly> `welcome nooodl
15:55:49 <HackEgo> Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
15:57:03 <elliott> wait why does that work/do what it does
15:57:28 <nooodl> it's just a program called \x03welcome i guess
15:58:02 <phaztrict> How would you open a file in f#?
15:58:05 <phaztrict> http://ideone.com/f8vtR0
15:58:17 <FireFly> `hexdump -C bin/welcome
15:58:19 <HackEgo> hexdump: invalid option -- ' ' \ usage: hexdump [-bcCdovx] [-e fmt] [-f fmt_file] [-n length] \ [-s skip] [file ...] \ hd [-bcdovx] [-e fmt] [-f fmt_file] [-n length] \ [-s skip] [file ...]
15:58:28 <FireFly> `run hexdump -C bin/welcome
15:58:29 <HackEgo> 00000000 23 21 2f 62 69 6e 2f 73 68 0a 77 65 6c 63 6f 6d |#!/bin/sh.welcom| \ 00000010 65 20 7c 20 73 65 64 20 22 73 2f 5e 2f 02 2f 22 |e | sed "s/^/./"| \ 00000020 0a |.| \ 00000021
15:58:30 <phaztrict> Input (file to open) http://pastebin.ca/2387667
15:58:59 <FireFly> um maybe I should've `cat'd it
15:59:17 <phaztrict> Anyone?
16:06:03 <nooodl> phaztrict: that problem sounds ridiculously googlable.
16:06:23 <phaztrict> Not in f#
16:07:05 <elliott> i'm a little confused about the joining #esoteric to ask an f# question part
16:07:10 <elliott> surely there is an #fsharp or something
16:07:36 <nooodl> surely there is stackoverflow
16:07:37 <phaztrict> Isn't it an esoteric Lang?
16:07:43 <nooodl> not really
16:07:44 <elliott> no
16:07:48 <phaztrict> And I did ask in #fsharp
16:07:56 <phaztrict> How is haskell esoteric then?
16:08:01 <elliott> it isn't
16:08:26 <phaztrict> There is a bot for it in here :p
16:09:18 <elliott> lambdabot is in lots of channels
16:09:18 <Phantom_Hoover> EgoBot's not written in an esolang either
16:09:41 <elliott> @listchans
16:09:42 <lambdabot> ##crypto ##freebsd ##logic ##proggit ##unavailable ##villagegreen #agda #codez #darcs #diagrams #esoteric #fedora-haskell #friendly-coders #functionaljava #gentoo-haskell #gentoo-uy #ghc #happs #
16:09:42 <lambdabot> haskell #haskell-blah #haskell-books #haskell-br #haskell-fr #haskell-freebsd #haskell-game #haskell-gsoc #haskell-in-depth #haskell-lens #haskell-overflow #haskell-pl #haskell.au #haskell.cz #
16:09:42 <lambdabot> haskell.de #haskell.es #haskell.se #haskell.tw #learnanycomputerlanguage #ledger #macosx #macosxdev #rosettacode #scala #scalaz #scannedinavian #snapframework #tanuki #teamunix #unicycling #xmonad #
16:09:42 <lambdabot> yi weird#
16:10:23 <Phantom_Hoover> must resist urge to join
16:11:19 <elliott> btw "open a file f#" does get me useful-looking results on google FWIW
16:14:07 <phaztrict> Wish I could say the same for me
16:14:38 <elliott> well, we may have differing notions of useful :)
16:18:09 -!- newstalker has quit (Ping timeout: 248 seconds).
16:20:43 <Taneb> elliott, should I do the thing
16:20:51 <elliott> what is the thing
16:20:59 <Taneb> Who cares
16:21:01 <Taneb> Nothing illegal
16:22:06 <elliott> then sure
16:22:22 <Taneb> Okay
16:24:53 <Taneb> Help I'm doing the thing
16:24:57 <elliott> help
16:25:15 <Taneb> It is out of my hands now
16:25:58 <elliott> what are you doing
16:26:13 <oklopol> Taneb: masturbation is normal
16:26:19 -!- copumpkin has quit (Ping timeout: 264 seconds).
16:26:40 <Taneb> oklopol, not that thing
16:26:40 <oklopol> wait "out of my hands"
16:27:43 <oklopol> well having sex with a couch is normal too
16:28:27 <Taneb> No, not that thing either
16:28:58 <oklopol> okay i'm out of ideas
16:30:58 -!- copumpkin has joined.
16:32:52 <Taneb> The thing is done
16:33:03 <Taneb> Now I don't need to work out how to get to Gateshead Library
16:38:49 -!- conehead has joined.
16:56:07 -!- nooodl_ has joined.
16:59:43 -!- nooodl has quit (Ping timeout: 256 seconds).
17:15:07 -!- function has quit (Quit: I found 1 in /dev/zero).
17:19:23 -!- zzo38 has joined.
17:30:16 -!- phaztrict has quit (Remote host closed the connection).
17:34:02 -!- epicmonkey has joined.
17:35:37 -!- DHeadshot has quit (Read error: Connection reset by peer).
17:35:43 -!- DH____ has joined.
17:44:46 -!- DH____ has quit (Read error: Connection reset by peer).
17:48:53 <ion> Being a total emacs newbie, i was trying org-mode and a tutorial told me to add some lines to ~/.emacs. Only after adding them using the method of editing text ingrained to my spinal nerves i realized there was something funny about the command i had used, “vim .emacs”.
17:49:04 * elliott does that a lot
17:49:44 <shachaf> Nothing wrong with vim .emacs
17:50:45 <shachaf> oh boy i just used the best word
17:50:51 <shachaf> diæresisise
17:51:49 <ion> diarrhœisise
17:52:25 <zzo38> Aircraft carries are too powerful in this "Task Force Broadside" game. You cannot attack them with broadside cards while other ships are in play, and you can attack with them without having a "aircraft carrier broadside" card, and when they do attack, they have a 50% chance to sink the ship they attack.
17:58:43 <Bike> sounds about right.
17:58:57 <kmc> aircraft carriers are p. useful
18:04:42 <shachaf> can i be aircraft carrier
18:05:27 -!- AnotherTest has joined.
18:15:22 -!- hagb4rd2 has joined.
18:16:49 -!- hagb4rd has quit (Ping timeout: 276 seconds).
18:23:44 -!- DHeadshot has joined.
18:25:10 -!- MindlessDrone has quit (Quit: MindlessDrone).
18:26:31 <kmc> http://j00ru.vexillium.org/?p=1870 some cool stuff here
18:34:00 <kmc> if you ever wondered what happens when a REP STOSB overwrites the instruction being repeated
18:34:07 <kmc> then now you can find out
18:35:34 <fizzie> I *have* wondered about kX overwriting the X in Funge-98; is that covered in the slides too?
18:38:00 -!- sprocklem has joined.
18:38:35 <kmc> no
18:38:40 <kmc> http://lifehacker.com/5974087/i-raised-my-kids-on-the-command-lineand-they-love-it how to teach your kids xmonad
18:43:58 <AnotherTest> sounds like a great idea
18:44:12 <AnotherTest> more people should try that
18:48:38 <zzo38> Why did they omit - in "lineand" isn't it supposed to be "line-and"?
18:51:15 <elliott> kmc: hey john goerzen
18:51:16 <elliott> he's that guy
18:51:18 <AnotherTest> I wish my parents told me how to use xmonad
18:51:26 <AnotherTest> well it didn't exist yet but anyway
18:53:17 <kmc> elliott: yep
18:53:57 <AnotherTest> Who's John Goerzen? kmc?
18:54:06 <olsner> I wonder if that's the first useful use of rep rep rep rep rep rep rep rep rep rep rep rep rep rep rep movsb
18:54:42 <olsner> ... and then the slide after that
18:54:47 <kmc> i am not john goerzen
18:54:58 <AnotherTest> Oh, okay
18:55:13 <AnotherTest> so who's "that guy" elliott was referring too
18:55:25 <Bike> john goerzen
18:55:38 <kmc> it's all very simple really
18:58:12 <kmc> no two people are not john goerzen
18:58:32 <AnotherTest> so two people are john goerzen?
18:58:48 <kmc> no, john goerzen is two people
18:58:52 <kmc> didn't you learn about contrapositives
19:00:57 <elliott> my kids will be raised on @
19:01:00 <elliott> (vacuous statement)
19:01:45 <elliott> kmc: also weird, that article is from 2012
19:02:31 <kmc> so
19:02:55 <elliott> well i mean it is from 2012 and then posted on lifehacker a year later
19:02:59 <AnotherTest> kmc: Actually, that's not at all the law of contraposition
19:03:08 <elliott> imo that's weird. in my day you wrote something down once and then if you wrote it down again you would be hanged
19:03:12 <elliott> bring back hangings
19:03:19 <AnotherTest> that is, john goerzen does not follow from two people
19:03:30 <AnotherTest> there was cleary equality in that situation
19:03:47 <AnotherTest> not (two people != john goerzen) <=> two people == john goerzen
19:04:30 <kmc> first comments "My kids just use Windows 7 like normal people." "No offence, but they’ll be normal and not extraordinary.."
19:04:41 <AnotherTest> Well, maybe you could say (john goerzen <=> two people) <=> john goerzen xor two people
19:05:06 <AnotherTest> which is, as you can see, not the same as equality
19:05:21 <kmc> john goerzen >>= two people
19:05:35 <elliott> i do think it's kinda weird to pretend computers don't do graphics for five years or whatvver
19:05:49 <elliott> and the "command line" is a bit fetishised
19:06:10 <kmc> yeah, but he says the kid had exposure to other devices to
19:06:10 <elliott> like even if you want a language-y type interface with composability and stuff, terminals in xmonad seem clearly superior to the console
19:06:11 <kmc> o
19:06:18 <kmc> yeah
19:06:34 <kmc> language for input, graphics for output
19:06:39 <kmc> is basically the way things should work
19:06:57 <kmc> yet still fairly rare
19:07:21 <kmc> i'm thinking stuff like mathematica, ipython notebook, graphical emacs in its fancier uses
19:07:51 <elliott> no kid should have to use mathematica
19:08:06 <kmc> but look what it can do!!!!!!!!!!!!!! http://intothecontinuum.tumblr.com/
19:08:29 <kmc> would not be surprised to find out this tumblr is guerilla marketing by wolfram co to sell mathematica to stoners
19:08:29 <Bike> teach kids perl. it'll work
19:08:47 <AnotherTest> oh no
19:08:53 <kmc> oh dear
19:09:12 <kmc> i did a lot of my early programming in perl
19:09:49 <kmc> the summer after freshman year of college i had a comp bio research project thing and I handed them like 2000 lines of bioinformatics code in perl
19:10:02 <kmc> a year later was much the same except it was 2000 lines of haskell
19:10:03 <Bike> cool
19:10:18 <myname> i always wanted to learn perl for just one silly reason, but i can't find anything (except small irssi scripts) which cannot be done with other languages in a way i like more
19:10:51 <elliott> kmc: um you mean 200 lines of haskell "thats how it works ☺"
19:11:07 <Bike> combining face shoved in toilet above, elliott
19:11:17 <kmc> it's still a great tool for oneliners thanks to perl -e -n -p -l -a -F -O etc
19:11:34 <Bike> perl --bioinformat
19:11:46 <elliott> is bioinformatting what bioinformatters do
19:12:22 <Bike> no doubt
19:12:56 <Bike> The Bioinforma
19:13:48 <elliott> is that, like, a dude who raps about bioinformatics
19:13:59 <kmc> bioperforma
19:14:25 <Bike> my name is dj acid and i'm here to tell you about efficient description of frameshift mutations
19:14:39 <elliott> dj acid should rap about database consistency
19:14:58 <kmc> dj acid2
19:14:59 <shachaf> or drugz (drugz joke)
19:15:22 <kmc> http://www.webstandards.org/files/acid2/reference.png
19:15:33 <elliott> test so named because the dude looks like he's on acid
19:15:40 <kmc> think so
19:15:51 <elliott> (it isn't :'( )
19:15:54 <kmc> not just acid though, acid 2.0
19:15:59 <kmc> disrupting the acid industry
19:16:14 <Phantom_Hoover> ok
19:16:16 <Phantom_Hoover> guys
19:16:19 <Phantom_Hoover> what if
19:16:25 <Phantom_Hoover> your browser had a bug in your png rendering
19:16:29 <Phantom_Hoover> *in its
19:16:33 <shachaf> kmc: i got a card with 4 stamps for that sushi place
19:16:39 <Phantom_Hoover> so it displayed the reference wrong
19:16:41 <shachaf> because none of the rest of you did
19:16:52 <kmc> haha
19:16:53 <kmc> well done
19:16:57 <Bike> Phantom_Hoover: time to die
19:17:12 <kmc> how many stamps are needed to redeem valuable prize
19:17:26 <shachaf> 10, I think.
19:17:54 <Bike> acid3 isn't smooth. FAILURE
19:18:16 <shachaf> no one cares about acid tests
19:18:35 <Bike> oh nooooo
19:18:42 <elliott> what about electric kool aid ones
19:18:52 -!- kallisti has joined.
19:18:52 -!- kallisti has quit (Changing host).
19:18:52 -!- kallisti has joined.
19:19:51 <shachaf> there should be an acid test to test whether you're drugz
19:20:34 <elliott> is kmc drugz
19:22:14 <shachaf> kmc was talking about how commercial gps devices stop working when they're too high
19:22:30 <kmc> it's true
19:22:33 <kmc> too high and/or too fast
19:22:34 -!- elieser224 has joined.
19:22:36 <shachaf> just like kmc
19:22:39 <shachaf> (drugz joke)
19:22:45 <Bike> can't triangulate right?
19:22:59 -!- elieser224 has left.
19:23:06 <kmc> it's intentional, prevents them being used in missile guidance systems
19:23:23 <Bike> figure
19:23:24 <Bike> s
19:23:29 <Bike> i wonder if rosscom has similar restrictions
19:23:32 <elliott> ok seriously
19:23:39 <Bike> or the... whatever it is.
19:23:42 <elliott> 14:11:44 -!- elieser224 [~elieser22@190.121.239.17] has joined #esoteric
19:23:42 <elliott> 14:11:51 -!- elieser224 [~elieser22@190.121.239.17] has left #esoteric []
19:23:42 <elliott> 15:05:54 -!- elieser2241 [~elieser22@190.121.239.10] has joined #esoteric
19:23:42 <elliott> 15:27:25 -!- elieser2241 [~elieser22@190.121.239.10] has left #esoteric []
19:23:42 <elliott> 20:22:34 -!- elieser224 [~elieser22@190.121.239.31] has joined #esoteric
19:23:45 <elliott> 20:22:58 -!- elieser224 [~elieser22@190.121.239.31] has left #esoteric []
19:23:47 <elliott> what the fuck is this person doing
19:23:48 <kmc> glonass?
19:23:49 <elliott> it's been going on for days
19:23:55 <shachaf> imo ##fixyourconnection hth
19:23:55 <Bike> GLONASS? what kind of fucking name is that, russia.
19:24:00 <elliott> shachaf: they're not even quitting
19:24:02 <elliott> they're parting
19:24:05 <shachaf> elliott: i know
19:24:08 <kmc> iPhone 4S supports GLONASS
19:24:08 <shachaf> "close enough"
19:24:14 <Bike> GLObal kNow where you Are SystemS
19:24:20 <kmc> i think there is a tariff on GPS devices that don't support GLONASS
19:24:35 -!- AnotherTest has quit (Quit: Leaving.).
19:24:37 <kmc> but i like to think that all GLONASS receivers look like this http://en.wikipedia.org/wiki/File:Glonass-receiver.jpg
19:24:39 <elliott> `run echo 'echo "eliser224: hey what are you doing joining and parting all the time???? what's the deal"' >bin/e; chmod +x bin/e
19:24:40 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `"' \ bash: -c: line 1: syntax error: unexpected end of file
19:24:49 <elliott> `run echo 'echo "eliser224: hey what are you doing joining and parting all the time???? what'"'"'s the deal"' >bin/e; chmod +x bin/e
19:24:50 <Bike> that's eep.
19:24:53 <HackEgo> No output.
19:24:54 <elliott> `e
19:24:55 <HackEgo> eliser224: hey what are you doing joining and parting all the time???? what's the deal
19:24:58 <elliott> ok great
19:25:02 <elliott> hopefully i can type `e fast enough
19:25:06 <Bike> i... why did you make a program for that
19:25:07 <Bike> oh.
19:25:10 <elliott> because they are too quick
19:25:11 <Bike> wow, ok.
19:25:16 <elliott> by the time i notice them they are gone!
19:25:22 <shachaf> elliott: I sent them a /msg before and they didn't respond.
19:25:32 <kmc> http://www.zazzle.com/eurion_constellation_t_shirt-235509764478000766
19:25:44 <Bike> the real problem here is that Elieser sounds too much like Elsevier
19:26:10 <Bike> t-shirt designed to fool t-shirt recognition systems
19:26:13 <kmc> i searched for "eurion shirt" and i got lots of "urine shirt", thx google
19:26:24 <olsner> hmm, a russian gps receiver ... isn't it fairly easy for the US to make GPS unusable for anyone they don't like? (like russia)
19:26:28 <Bike> http://elieser224.wordpress.com/
19:26:33 <elliott> elsevier yudkowsky
19:26:45 <Bike> olsner: glonass is the russian counterpart to gps, with its own satellites
19:27:19 <kmc> yup and that's why they need it
19:27:24 <Bike> the restrictions like kmc mentioned are probably a broad strokes thing to deal with non-state actors who don't have GPS devices registered to them or whatever, i'm sure
19:27:33 <kmc> eu has their own thing too
19:27:46 <elliott> this wordpress better be good (my system is slow)
19:27:52 <elliott> has kmc bought me a new computer yet
19:27:55 <kmc> and china
19:28:03 <elliott> yes buy me china too
19:29:23 <olsner> I confused GLONASS with one of those things that improve GPS precision (perhaps something involving the ionosphere)
19:29:36 <elliott> Bike: hola mundo
19:29:39 <elliott> (it just loaded)
19:29:52 <shachaf> ion: tell us about the ionosphere
19:31:45 -!- Bike has quit (Ping timeout: 245 seconds).
19:34:23 -!- Bike has joined.
19:37:04 <Phantom_Hoover> Jesus, the Syrian civil war's been going on for over two years now.
19:37:38 <Bike> you know their government issued a travel advisory about going to turkey being unsafe?
19:37:41 <Bike> good times.
19:37:59 <fizzie> Also GALILEO.
19:38:04 <fizzie> Except they probably don't all-caps it.
19:39:01 <shachaf> kmc: you should make a jit
19:39:12 <fizzie> Dance a jig, make a jit.
19:39:13 <Bike> and the burmese "civil" "war" has been going since basically 1945, shit happens
19:40:56 <Phantom_Hoover> http://en.wikipedia.org/wiki/Internal_conflict_in_Burma
19:41:19 <Phantom_Hoover> i like how they only bother calculating death tolls for the last year or two
19:43:16 <kmc> yeah
19:43:18 <kmc> i should
19:43:20 <Bike> Well, they haven't had a reliable census since, like, the Han dynasty.
19:44:30 <kmc> shachaf: what do you think of futamura projections
19:44:53 <shachaf> i don't even own a television hth
19:45:04 <kmc> i hope i am not talking out my ass when i say that pypy is like one
19:45:21 <elliott> if you're talking out your ass it's probably because you're on drugz
19:45:38 <elliott> will drugz jokes ever get old
19:45:41 <elliott> they're like monoid jokes
19:45:42 <elliott> timeless
19:45:58 <elliott> hey guys there's a new brainfuck derivative
19:46:52 <Bike> a new brainfuck diffintegral
19:47:10 <kmc> we were watching 90s sketch comedy the other day for some reason
19:47:20 <kmc> i had to recalibrate to a world of bob dole jokes
19:47:37 <kmc> hulu should have little bubbles that pop up to explain who everyone is
19:48:17 <Bike> can you imagine explaining to your kids who mitt romney was
19:48:29 <Phantom_Hoover> futamura really needs to change his name to something that isn't a single vowel swap from futurama
19:48:44 <kmc> "a very rich man who tried to run for president and lost because nobody liked him"
19:48:49 <kmc> seems pretty straightforward
19:48:58 <shachaf> Phantom_Hoover: How about making it a consonant swap too?
19:49:26 <zzo38> If they say, "I'm a Sagittarius, which probably tells you way more than you need to know.", then what will be your response?
19:49:40 <Phantom_Hoover> shachaf, fuck
19:49:45 <Phantom_Hoover> who cares about consonants anyway
19:50:00 <zzo38> I might say, "Yes, but I don't think it tells me that which I do need to know."
19:51:23 <shachaf> kmc, oerjan: Do you think the whole "discrete calculus" thing is related to types?
19:51:41 <kmc> is this about holes
19:51:41 <shachaf> As in http://www.cs.purdue.edu/homes/dgleich/publications/Gleich%202005%20-%20finite%20calculus.pdf
19:51:53 <shachaf> It's not that kind of derivative, I don't think.
19:52:02 <kmc> oh, then i don't know
19:52:23 <shachaf> but it's like all combinatorial and like discrete and stuff man so surely it's related..................
19:52:34 <kmc> i will leave that up to others
19:52:36 <shachaf> Did you see that PDF?
19:52:45 <kmc> the one you just linked? not yet
19:53:10 <shachaf> imo see it
19:54:49 <kmc> hm
19:54:52 <kmc> perhaps after burrito
19:55:45 <Bike> http://twitpic.com/cuz9gf speaking of middle eastern wars (phantom hoover)
19:56:08 <Bike> is turkey part of the middle east? i guess maybe not.
19:56:16 -!- elieser2241 has joined.
19:56:24 <elliott> `e
19:56:25 <HackEgo> eliser224: hey what are you doing joining and parting all the time???? what's the deal
19:56:42 <kmc> Bike: it's "the crossroads between middle east and europe", hth
19:57:02 <Bike> the slightly left of the middle east. got it
19:57:08 <kmc> pretty creepy that there's a total local media blackout on these protests
19:57:21 <kmc> and they cut off facebook / twitter at one point
19:58:08 <Bike> yeah
19:58:32 <Bike> i don't know contemporary turkish politics but it sure doesn't reflect well on whoever's in charge
19:59:40 <kmc> yeah
20:00:22 <shachaf> Vorpal: `welcome to #xorg
20:00:24 -!- oerjan has joined.
20:00:47 <Bike> especially since like, this started over a damn park
20:01:16 <oerjan> i see Phantom_Hoover is eager to get banned. also that he lacks a sense of humor.
20:01:46 <shachaf> do i lack a sense of humor
20:02:01 <oerjan> no, it's just very very wrong hth
20:02:22 <Bike> is this out-of-channel drama
20:02:46 <oerjan> no, it's logreading drama
20:02:53 <shachaf> oh no what happened in the logs
20:03:09 <elliott> you should ban the troll who said they'd put the channel on autojoin before they come back, ty
20:03:15 <elliott> you can ban ph at the same time if you'd like too
20:03:23 <oerjan> elliott: ooh, tempting.
20:03:59 <Phantom_Hoover> ah, the honeypot approach
20:04:04 <Phantom_Hoover> no, wait, the carrot and the stick approach
20:04:09 <Phantom_Hoover> or is it a trojan horse
20:04:11 <ion> shachaf: It’s the circular thing in which i reside.
20:04:13 -!- elieser2241 has left.
20:04:14 <Phantom_Hoover> sweetening the deal! that one!
20:04:15 <oerjan> this new apartment stuff has interesting side effects: i'm now getting physical spam.
20:04:29 <Phantom_Hoover> `addquote <oerjan> this new apartment stuff has interesting side effects: i'm now getting physical spam.
20:04:34 <HackEgo> 1045) <oerjan> this new apartment stuff has interesting side effects: i'm now getting physical spam.
20:04:34 <elliott> oerjan: you should also ban this guy who keeps joining and parting.
20:04:38 <elliott> oh i guess that `e didn't ping them
20:04:39 <elliott> because of the 1
20:04:42 <elliott> sneaky.
20:04:47 <Phantom_Hoover> you should also ban conehead
20:05:01 <conehead> O:
20:05:01 <Phantom_Hoover> you can ban me twice if you do that as well
20:05:13 <oerjan> these are all very reasonable requests, i shall put them in my queue
20:05:17 <elliott> oerjan: once you've done all that you can op me.
20:06:20 <Phantom_Hoover> also voice gregor
20:06:29 -!- ChanServ has set channel mode: +v Gregor.
20:06:59 <oerjan> Phantom_Hoover: also it's a trojan carrot honeypot hth
20:07:10 <oerjan> the trojans had some weird cuisine
20:07:27 <Phantom_Hoover> carrots with honey isn't too mad
20:08:03 <Taneb> ...are you sure, PH?
20:08:44 <Phantom_Hoover> also oerjan smells and i should be op instead of him
20:08:45 <shachaf> can i have voice
20:09:01 <shachaf> troerjan
20:14:28 <Sgeo> http://hostilefork.com/rebmu/ REBOL dialect for code golfin
20:18:23 <Phantom_Hoover> dialect for code goblin?
20:29:54 <oerjan> ^celebrate
20:29:54 <fungot> \o| |o| |o/ \m/ \m/ |o/ \o/ \o| \m/ \m/ \o| |o| |o/
20:29:55 <myndzi> | | | `\o/´ ¦ | | `\o/´ | | |
20:29:55 <myndzi> |\ >\ |\ | ´¸¨ /| >\ | /| /`\ /´\
20:29:56 <myndzi> (_|¯'¯|_) /'\
20:29:56 <myndzi> (_| |_)
20:30:02 <elliott> bueatiful
20:30:34 <oerjan> i'm still worried about no. 5
20:31:01 <myname> not about 4 and 8?
20:31:10 <ion> Btw, how are æ and œ handwritten in countries that use them? I can think of multiple plausible ways.
20:31:29 <oerjan> myname: they don't look physically mauled
20:31:51 <myname> i think they do
20:31:57 <Bike> http://i.imgur.com/hb0paB8.png
20:32:54 -!- clog has quit (Remote host closed the connection).
20:33:03 <oerjan> is wyoming usa's least populous state?
20:33:13 <Bike> Pretty sure.
20:33:47 <fizzie> "List of U.S. states and territories by population" agrees.
20:34:00 <Bike> Ha, it has less people than DC.
20:34:02 <fizzie> (Though some territories have less people.)
20:34:52 <fizzie> Alaska has the lowest score if you go by population density (1.264 per square mile, vs. Wyoming's 5.851), though.
20:35:08 <oerjan> ion: http://webster.hibo.no/alu/norsk2/web07/berit/alfabet.html
20:36:06 <oklopol> Å
20:36:07 <oklopol> ?
20:36:18 <oklopol> what's that doing there
20:37:16 <fizzie> Just hanging out with the other letters, I suppose.
20:37:47 <ion> oerjan: Thanks, but i’m interested of the drawing order of the curves.
20:38:17 -!- surma has quit (Quit: Connection closed for inactivity).
20:39:33 <oklopol> oh, it's actually a norwegian letter
20:39:39 <oklopol> learn something every day i guess
20:39:44 <oerjan> sheesh
20:40:47 <oklopol> isn't ø enough for you guys
20:40:55 <olsner> å's a swedish letter as well
20:41:18 <oklopol> i thought it was only a swedish letter
20:42:20 <fizzie> I would think it's quite a different sound from ø; I mean, the å and ö of the Finnish alphabet are different.
20:42:27 <oerjan> ion: well i'm not sure i'm doing it properly myself, as i'd probably draw a part counterclockwise, upper e part counterclockwise, but i suspect that picture requires you to do the e clockwise
20:42:36 <oklopol> well ø is just ö
20:43:04 -!- kallisti has quit (Ping timeout: 276 seconds).
20:44:12 <FireFly> Norwegian å is pretty much swedish å, no?
20:44:25 -!- kallisti has joined.
20:44:25 -!- kallisti has quit (Changing host).
20:44:25 -!- kallisti has joined.
20:45:03 <ion> Finnish å is pretty much Swedish å.
20:45:49 <oerjan> FireFly: i'm not sure it's exactly the same, but it's very close
20:45:59 <oklopol> (just to clarify in case someone knows as little about alphabets as i: finnish doesn't have å, but it's alphabet does)
20:46:43 <FireFly> To provide backwards compatibility with Swedish?
20:47:01 <oklopol> something like that
20:47:03 <oklopol> prolly
20:47:14 <oklopol> we also have things like w and x
20:47:17 <oklopol> and z
20:47:34 <FireFly> That's like q in swedish I guess
20:47:41 <oklopol> none of which are used in finnish words (except some loanwords, but then again those use a lot of letters our alphabet doesn't have)
20:47:44 <oklopol> and q yeah
20:47:45 <FireFly> and z perhaps
20:47:55 <olsner> å was probably handy back when everyone in finland was forced to learn swedish
20:48:02 <fizzie> W we have in some Finnish-enough surnames. (Waltari, for example.)
20:48:07 <fizzie> olsner: Everyone still is.
20:48:23 <ion> “back” when everyone in Finland “was” forced to learn Swedish?
20:48:24 <olsner> really?
20:48:30 <oerjan> <elliott> you totally fucked up this quote <-- well for one thing it should have been in french, no?
20:48:39 <fizzie> olsner: Sure. The requirement is a popular point of debate, though.
20:48:45 <olsner> I thought finland became "independent" at some point
20:48:48 <fizzie> olsner: There's a petition to abolish it and so on.
20:48:53 <ion> olsner: Hah
20:49:54 <fizzie> http://en.wikipedia.org/wiki/Mandatory_Swedish <- notable!
20:50:26 <oklopol> http://hu.wikipedia.org/wiki/Pakkoruotsi apparently this is really important
20:51:04 <fizzie> The logo is kind of misleading, in that I don't think they're actually advocating the removal of Å from the alphabet.
20:51:09 <fizzie> (Except maybe as a long-term goal?)
20:51:15 <Bike> language is the weirdest
20:51:19 <Bike> let's just abolish words
20:51:33 <olsner> fizzie: you should just switch to unicode as the alphabet
20:51:33 <ion> https://twitter.com/0xabad1dea/status/340964678807216128 https://github.com/search?p=3&q=extension%3Aphp+mysql_query+%24_GET&ref=searchresults&type=Code
20:52:02 <shachaf> don't do it ion!!!!!!!
20:52:11 <fizzie> olsner: At least it would make those "write every letter of the alphabet" exercises kids have to do in school a lot more "fun".
20:52:25 <ion> shachaf: no u
20:52:43 <shachaf> ion: (i was talking "about the so easy thing")
20:52:47 <ion> shachaf: i know
20:53:19 <olsner> U+0003 is end of text, so I guess you don't have to go any further than that
20:53:38 <shachaf> end of text
20:53:57 <ion> The “write every letter of the alphabet” exercises would have been much nicer if you only had to write U+0001…U+0003.
20:54:08 <FireFly> Especially considering they're all control characters
20:54:14 <shachaf> a
20:54:19 <fizzie> <- END OF MEDIUM
20:54:26 <fizzie> Why did that not end this channel.
20:54:27 <ion> END OF PSYCHIC
20:58:48 <ion> Some pimples , especially schoolchildren and especially in those parts of Finland where there are few or no Swedish speakers ( Finns ), want to make Swedish an optional subject. http://translate.google.com/translate?sl=auto&tl=en&u=http%3A%2F%2Fsv.wikipedia.org%2Fwiki%2FObligatorisk_svenskundervisning_i_Finland&act=url
20:59:01 <olsner> some pimples :D
20:59:19 -!- elieser224 has joined.
20:59:26 -!- elieser224 has left.
20:59:33 <ion> It is argued that the Swedish-speaking population in Finland (5.5 percent of the population [2] ) have mastered Finnish so well that a pimple not in touch with these would need some knowledge of Swedish.
21:00:01 <fizzie> "[This article is about the community. For skin condition, see Acne.] Pimples are people who have Finnish as their mother tongue , for example in Finland , Russia , Estonia , Sweden or Norway , or in the more general sense identifies with origins in Finnish culture and Finnish languages ​ ."
21:00:11 <fizzie> TIL: pimples.
21:00:25 <fizzie> "In Sweden, not everyone is aware of the distinction pimple-Finns and therefore, --"
21:01:44 <Bike> what an unfortunate demonym.
21:02:21 <fizzie> "Pimple and proud of it," I think their slogan is.
21:03:41 <oerjan> <Phantom_Hoover> dahlnet <-- THAT'S IT I HAVE TO BAN YOU NOW. OH LOOK, BUTTERFLIES!
21:04:02 <shachaf> oerjan: hang on hang on who's talking about dahlnet
21:04:09 <Phantom_Hoover> oerjan is
21:04:11 <Phantom_Hoover> imo ban him
21:04:11 <oerjan> shachaf: Phantom_Hoover was
21:04:18 <shachaf> imo dahlnet is the best
21:04:39 <oerjan> fizzie: is pimple a translation from finnish dwh
21:04:40 <shachaf> we could do with some roald dahl inspired esolangs
21:04:46 <oerjan> *twh
21:05:18 <oerjan> `pastlog oerjan.*bfg
21:05:36 <HackEgo> 2013-04-13.txt:21:44:48: * oerjan invites a giant (not BFG) to shachaf's home
21:05:40 <elliott> doom inspired esolangs
21:05:50 <shachaf> oerjan: wow
21:05:56 <shachaf> cruelty to people
21:06:08 <oerjan> shachaf: no no it's feeding hungry people hth
21:06:31 <FireFly> `pastlog dahl
21:06:38 <HackEgo> 2010-01-17.txt:00:23:33: <ehird> I like to imagine space elevators are exactly as Roald Dahl imagined.
21:06:49 <elliott> what
21:06:57 <FireFly> Space. Elevators.
21:07:05 <olsner> Roald. Dahl.
21:07:05 <elliott> oh
21:07:39 <Bike> dahl's space elevators are the best
21:08:02 <olsner> they are the best way to elevate into dahlspace
21:08:20 <Bike> is Dahlspace a brothel
21:08:23 <olsner> not necessarily best for other purposes such as eating
21:08:38 <fizzie> Stop dihlly-dahllying around.
21:10:03 <ion> https://encrypted.google.com/search?hl=en&q=dahl
21:10:35 <ion> https://encrypted.google.com/search?tbm=isch&q=dahl&tbs=imgo:1
21:12:03 <Phantom_Hoover> my sister had to dress up as a roald dahl character for some school thing once
21:12:29 <Phantom_Hoover> i suggested she dress as the lady from lamb to the slaughter; sadly this suggestion was declined
21:12:57 <fizzie> Based on 20 images, #794e57 is the color of Dahl.
21:13:24 <Phantom_Hoover> what's the link to that thing again
21:13:32 <Phantom_Hoover> i think i lost it and i deeply regret doing so
21:13:33 <fizzie> http://zem.fi/fcolor
21:13:42 <fizzie> (For the Flickr version.)
21:16:40 <Phantom_Hoover> thus far "phantom hoover" is a fairly disappointing http://zem.fi/gcolor-examples
21:16:57 <Phantom_Hoover> er
21:17:10 <Phantom_Hoover> 8f5f3e
21:17:16 <Phantom_Hoover> fucking clipboard
21:17:57 <fizzie> Many things do end up greyish-brown in the end.
21:18:44 <Phantom_Hoover> why didn't you use google images for the in-browser version
21:18:46 <Phantom_Hoover> too slow or something?
21:18:54 <fizzie> There wasn't a proper API for it.
21:18:59 <fizzie> I'm not sure if there is these days.
21:19:35 <fizzie> The non-browser version is done by ugly crawling, if I recall correctly.
21:19:36 <olsner> is greyish-brown the color of the internet?
21:20:03 <kmc> http://thisrecording.com/today/2011/6/1/in-which-we-consider-the-macabre-unpleasantness-of-roald-dah.html
21:21:49 <shachaf> kmc: you're missing out on wild speculation on comonoids
21:21:57 <Phantom_Hoover> fizzie, i note that there are a few greyscale images which are massively skewing the results
21:22:40 <elliott> kmc: oh no
21:22:46 <elliott> kmc: is dr seuss still ok
21:22:57 <fizzie> Phantom_Hoover: Yeah, should probably have done something about that. (It's of course due to the weighting that tries to generally emphasize "single-color" images.)
21:23:01 <Bike> like besides the racism, or
21:23:20 <Phantom_Hoover> kmc, i think an important stage in one's development is looking back at roald dahl stories and thinking "jesus christ what the fuck"
21:23:32 <elliott> Bike: i have probably thought of dr seuss like ten times since actually reading the books, i didn't know he was racist!
21:24:06 <Bike> Well, back in WWII he made some rather unfortunate political cartoons involving the Japanese.
21:24:10 <Bike> I think he got over it later, though.
21:24:23 <elliott> "I am all fucked out. That goddamn woman has absolutely screwed me from one end of the room to the other for three goddam nights." pretty hilarious to imagine roald dahl writing this
21:24:40 <Bike> yes
21:24:56 <Phantom_Hoover> Bike, "After the war, though, Geisel overcame his feelings of animosity, using his book Horton Hears a Who! (1954) as an allegory for the Hiroshima bombing and the American post-war occupation of Japan, as well as dedicating the book to a Japanese friend."
21:25:05 <Bike> yeah
21:25:08 <Phantom_Hoover> elliott, you know what lamb to the slaughter is about right
21:25:15 -!- Taneb has quit (Quit: Leaving).
21:25:26 <elliott> Phantom_Hoover: i was hitherto unaware of its existence
21:25:30 <Bike> also his wife and him were real mad about people using "horton hears a who" as an anti-abortion thing
21:25:45 <Phantom_Hoover> i read it ages ago when i found it in a school library
21:25:58 <Phantom_Hoover> as i recall my immediate reaction was 'jesus what the fuck'
21:26:05 <elliott> man, a lot of the roald dahl books i read were published in the 80s
21:26:13 <elliott> they... felt a lot older, somehow
21:26:24 <Bike> Phantom_Hoover: well, that's, pretty dark.
21:26:28 <Phantom_Hoover> the only other story i remember from that collection was something to do with a guy betting his daughter on a friend not being able to work out where some wine is from
21:26:29 <Bike> never heard of it before now.
21:26:49 <Bike> I have, however, read http://en.wikipedia.org/wiki/Royal_Jelly_(short_story)
21:27:00 <Bike> Which is pretty "jesus what the fuck" inducing.
21:27:23 <Bike> ...wait, there was a Twilight Zone Magazine?
21:27:25 <elliott> Phantom_Hoover: i think i'm having a "jesus christ what the fuck" moment about The Witches right now
21:27:31 <elliott> what was up with that book
21:27:44 <elliott> n.b. my recollections are very vague
21:27:44 <Phantom_Hoover> i think i had that moment whilst actually reading it
21:27:49 -!- mnoqy has joined.
21:27:54 <shachaf> mnoqy: hi
21:27:54 <Phantom_Hoover> it was a bit too jesus christ what the fuck even for my young mind
21:28:00 <mnoqy> Hey
21:28:04 <shachaf> huh
21:28:08 <shachaf> what does that mean
21:28:15 <Bike> i think The Witches is pretty much a wakeup call for lots of kids
21:28:30 <shachaf> mnoqy: you missed out on some good -lens
21:28:43 <Phantom_Hoover> Bike, that what, roald dahl books are extremely weird?
21:28:47 <Bike> yeah.
21:29:12 <elliott> also that women are evil "wake up sheeple"
21:29:33 <elliott> imagine a time where people could use the word "sheeple" without immediately giggling. could it exist
21:29:46 <Bike> wasn't it originally made up as a joke?
21:29:53 <Phantom_Hoover> http://upload.wikimedia.org/wikipedia/en/4/41/TheWitches.jpg
21:30:12 <Bike> Alternative forms: sheople
21:30:16 <Phantom_Hoover> how can you look at this and think it is anything but some kind of surreal horror novel
21:30:26 <elliott> Bike: wow that short story synopsis
21:30:35 <shachaf> was the witches the book with the mouse maker
21:30:38 <Bike> elliott: it's weirder actually reading it, i assure you
21:30:41 <Bike> shachaf: yeah
21:30:52 <Bike> my parents got me a roald dahl omnibus with that story and others like it in it
21:31:00 <shachaf> @wn omnibus
21:31:01 <lambdabot> *** "omnibus" wn "WordNet (r) 3.0 (2006)"
21:31:01 <lambdabot> omnibus
21:31:01 <lambdabot> adj 1: providing for many things at once; "an omnibus law"
21:31:01 <lambdabot> n 1: an anthology of articles on a related subject or an
21:31:01 <lambdabot> anthology of the works of a single author
21:31:03 <Bike> i was pretty much beyond the "kid" stage by then, but still, jfc
21:31:03 <lambdabot> [4 @more lines]
21:31:11 <shachaf> wow weird word
21:31:15 <Phantom_Hoover> <shachaf> was the witches the book with the mouse maker
21:31:15 <Bike> Good word.
21:31:17 <olsner> aah, the one with the mice and something ... I don't remember what else it was about, but vaguely recall liking it
21:31:27 <Phantom_Hoover> yes and the ending is the protagonist getting turned into a mouse
21:31:35 <Bike> Haha, oh man.
21:31:39 <Phantom_Hoover> and he's like "oh i guess i only have 9 years left to live, cool"
21:31:49 <Bike> «The Wall Street Journal first reported the label ["sheeple"] in print in 1984; the reporter heard the word used by the proprietor of an American Opinion bookstore affiliated with the John Birch Society.[1] In this usage, taxpayers were derided for their blind conformity as opposed to those who thought independently.»
21:31:50 <elliott> Phantom_Hoover: man i think that ending gave me emotional issues
21:31:56 <Bike> john birch society is the best imo
21:32:01 <elliott> Phantom_Hoover: i was like... would i be okay with being a mouse
21:32:22 <elliott> Bike: wait, wait. holy shit. i thought sheeple was like, an archaic or made up plural or singular or something of "sheep"
21:32:28 <elliott> Bike: it's... literally sheep + people...
21:32:33 <Bike> eh? no it's- yeah.
21:32:34 <Phantom_Hoover> what
21:32:39 <Phantom_Hoover> how dumb are you elliott
21:32:41 <mnoqy> elliott: you didn't know?
21:32:50 <Bike> haven't you ever heard "a sheeperson"
21:33:02 <Bike> man "people" is such a weird fucking word though
21:33:04 <Phantom_Hoover> i think the essential lesson one must learn from roald dahl is that children themselves are essentially evil
21:33:07 <Bike> apparently it's from etruscan?? what
21:33:13 <Phantom_Hoover> i said essential twice that's not good
21:33:14 <elliott> sheeple is now even funnier to me
21:33:25 <elliott> ok so back to my emotional issues re: being a mouse
21:33:32 <Bike> "Originally a singular noun (e.g. The people is hungry, and weary, and thirsty, in the wilderness --2 Samuel 17:29, King James Version)" this is bullshit
21:33:35 <Bike> mice are pretty cool
21:33:37 <Bike> don't think i'd want to be one
21:33:43 <elliott> well i was like
21:33:49 <elliott> shit i wouldn't be able to do anything
21:33:53 <elliott> everything would have to do things for me
21:33:58 <shachaf> Having returned home, the boy and his grandmother then concoct a plan to destroy all of the world's witches. Learning the location of the witches castle from the hotel's records, they will travel to the Grand High Witch's Norwegian castle (having stolen her notebook), use the potion to change her successor and retainers into mice, then release cats into the castle to kill them. Using the Grand High Witch's money-making machine and information ...
21:33:58 <elliott> ...and that's how I got where I am today
21:33:59 <Bike> maybe if i could be like, every mouse? that might be ok.
21:34:04 <shachaf> ... on the whereabouts of all of the world's witches, they will repeat the process all over the world. The grandmother also reveals that as a mouse, the boy will probably only live about another nine years, but the boy doesn't mind it, because he doesn't want to live any longer than his grandmother.
21:34:09 <shachaf> i didn't remember that........
21:34:11 <elliott> Bike: like a rat king
21:34:12 <mnoqy> mice have small brains so probably oyu wouldn't care
21:34:17 <Bike> elliott: exactly
21:34:34 <Phantom_Hoover> there's a jbs haldane story with a rat king
21:34:37 <shachaf> Bike: how would you like to be 100 elephants
21:34:37 <mnoqy> being turned into a mouse is probably kind of like dying
21:34:47 <Bike> Being an elephant sounds uncomfortable.
21:35:02 <shachaf> i said 100 elephants
21:35:03 <shachaf> http://www.supermegacomics.com/index.php?i=143
21:35:14 <Phantom_Hoover> jbs haldane's stories are like roald dahl except you look back on them and are like "wow that is ridiculous in a good way"
21:35:27 <Bike> Er. Haldane wrote kids books?
21:35:30 <Phantom_Hoover> yes
21:35:36 <Phantom_Hoover> i have mentioned this to you before
21:35:44 <Bike> OK, yes, I think you have.
21:35:47 <Bike> It's still really weird though.
21:35:57 <shachaf> there was a book by terry pratchett with a rat king
21:35:59 <Phantom_Hoover> the ones where he has a wizard friend and he fights capitalism and goes to india
21:36:05 <Bike> He's like... oh, right.
21:36:12 <Bike> That makes less lack of sense.
21:36:12 <shachaf> did you read it
21:36:52 <Phantom_Hoover> and there's an unrelated one where some brothers try to defeat rats with science
21:36:59 -!- hr_ has joined.
21:37:12 <Phantom_Hoover> and another one about a south american silver baron getting eaten by an alligator?
21:37:21 <Phantom_Hoover> and one about the narrator's magic collar stud
21:39:44 <Phantom_Hoover> i don't even recall anything massively racist which considering the geographical scope is p. impressive
21:42:59 -!- Nisstyre-laptop has joined.
21:44:48 <elliott> Switch Bitch is a 1974 short story collection for adults by Roald Dahl. The book is made up of four stories: "The Visitor," "The Great Switcheroo," "The Last Act," and "Bitch".
21:44:51 <elliott> The stories had been written by Dahl for Playboy magazine and published separately in 1965.[1]
21:47:35 <mnoqy> that's quite the name
21:50:42 <oerjan> `addquote <kmc> would not be surprised to find out this tumblr is guerilla marketing by wolfram co to sell mathematica to stoners
21:50:46 <HackEgo> 1046) <kmc> would not be surprised to find out this tumblr is guerilla marketing by wolfram co to sell mathematica to stoners
21:51:16 <Phantom_Hoover> kmc, i want to see this tumblr
21:51:19 <Phantom_Hoover> and i want to hate it
21:51:20 <shachaf> `? drugz
21:51:22 <HackEgo> drugz? ¯\(°_o)/¯
21:51:38 <Bike> Phantom_Hoover: intothecontinuum
21:51:48 <elliott> it has pretty pictures so it's hard to hate
21:53:01 <Phantom_Hoover> (thank god, i was worried for a minute it'd be matthen)
21:53:30 <Phantom_Hoover> wait
21:53:31 <Phantom_Hoover> ahahaahaa
21:53:39 <Phantom_Hoover> his latest post links to main is usually a function
21:53:47 <Phantom_Hoover> i laugh but i am also terrified
21:54:52 <elliott> matthen?
21:55:09 <elliott> also, wha, where
21:55:23 <elliott> re: miuaf
21:55:51 <Phantom_Hoover> uh, remember that javascript thing where you fly a rocket around in a 2d solar system
21:55:52 <mnoqy> the [more] link, it looks like
21:56:03 <Phantom_Hoover> that was him
21:56:26 <oerjan> <shachaf> kmc, oerjan: Do you think the whole "discrete calculus" thing is related to types? <-- i dunno hth
21:57:07 <Phantom_Hoover> except he also maths tutored me a couple years back to stop my brain from atrophying so i was already on edge wrt people in real life being on the internet
21:57:23 <shachaf> i bet kmc didn't even read that pdf
21:57:45 <oerjan> <elliott> because of the 1 <-- also the e hth
21:57:52 <elliott> mnoqy: where
22:02:03 <mnoqy> elliott: on matthens thingy
22:02:14 <elliott> oh ok i misinterpreted
22:02:22 <elliott> ps how come everyone knows this matthen persons blog and not me
22:02:25 <elliott> i mean i remember the thingy but still
22:02:36 <Phantom_Hoover> oh uh
22:02:37 <mnoqy> i dont know the blog
22:02:37 <Phantom_Hoover> http://blog.matthen.com/post/51566631087/quasicrystals-are-highly-structured-patterns-which
22:02:39 <mnoqy> i just figured to check
22:02:42 <mnoqy> since ph mentioned it
22:02:46 <Phantom_Hoover> that is the post maybe i should've linked
22:03:12 <Bike> maybe i should try to know a thing or two about computational linguistics
22:04:05 <Phantom_Hoover> oh dear, i just remembered he works in speech recognition
22:04:11 <Phantom_Hoover> linking elliott to him was a bad idea
22:04:22 <elliott> thank you, i was just about to click the link
22:04:35 <Bike> why does elliott not like speech recognition
22:04:37 <Bike> did fizzie kick him
22:06:40 <Phantom_Hoover> elliott, well if kmc was referred to in a post about speech recognition...
22:08:23 <mnoqy> speech recognition is cute and not worth hating
22:08:32 <elliott> mnoqy: it's fucking terrible. like biology
22:08:40 <mnoqy> biology is cute and not worth hating
22:08:43 <shachaf> speech recognition is the best
22:08:46 <elliott> Bike: have you seen how he reacts to it? it's great
22:09:37 <Bike> who reacts to what
22:09:48 <elliott> fizzie
22:09:52 <elliott> Bike: haha this robert gottlieb letter to dahl is great
22:09:58 -!- augur has quit (Remote host closed the connection).
22:10:01 <Bike> oh god
22:10:52 <elliott> did the bfg actually stand for the big fucking giant originally. i hope so
22:11:23 <Bike> haah, standing ovation
22:12:44 <Bike> well no i haven't seen such reactions
22:12:53 -!- epicmonkey has quit (Ping timeout: 246 seconds).
22:14:38 -!- TeruFSX has quit (Ping timeout: 246 seconds).
22:18:30 <elliott> "We love your books, but we have a problem... we are Jews!!"
22:18:33 <elliott> The Problem
22:19:25 <Phantom_Hoover> if only there was a solution i feel bad now
22:20:33 <oerjan> it's ok Phantom_Hoover i would have said it if you didn't
22:21:10 <elliott> why does this article about dahl finish with a bunch of death cab for cutie mp3s
22:21:40 <Bike> It's appropriate.
22:25:32 -!- Vorpal has quit (Ping timeout: 256 seconds).
22:26:03 <elliott> 2 deep 4 me
22:26:30 -!- Vorpal has joined.
22:26:49 -!- oerjan has quit (Quit: leaving).
22:33:09 <elliott> The Scottish concept of the "Caledonian antisyzygy", the duality of a single entity, is a key driving force in Scottish literature, and it appears especially prominently in the Tartan Noir genre. -- wp
22:33:39 -!- sprocklem has quit (Remote host closed the connection).
22:33:43 -!- TeruFSX has joined.
22:33:45 <Bike> those words are made up right.
22:34:05 <Bike> kilts in detective noir sounds good though
22:34:13 <elliott> i swear to god it's an actual article with that actual quote
22:34:37 <Phantom_Hoover> i don't think inspector rebus wore a kilt with any regularity
22:38:07 -!- quintopia has quit (Ping timeout: 252 seconds).
22:39:29 -!- quintopia has joined.
22:41:21 <kmc> shachaf: i found out that Josh follows two Twitter feeds
22:41:25 <kmc> @caltrain and @_FloridaMan
22:41:25 <lambdabot> Unknown command, try @list
22:41:47 <Bike> should be a command.
22:41:53 <kmc> CALTRAAAAAIN
22:42:41 <shachaf> kmc: Do you need anything else?
22:43:29 <kmc> "Please bring me news of the trains in this province, and the fools of the far away swamp country"
22:44:11 <shachaf> is Josh "into trainz"
22:44:13 <elliott> kmc: should i take caltrain
22:44:18 <kmc> shachaf: fairly yes
22:44:23 <kmc> elliott: not if you can help it
22:44:28 <shachaf> is Josh "into drugz too"
22:44:30 <elliott> kmc: is it bad
22:44:33 <kmc> elliott: yes
22:44:37 <elliott> kmc: sounds great
22:44:44 <shachaf> maybe it's rude to ask
22:44:52 <shachaf> never mind
22:44:53 <kmc> maybe
22:45:00 <elliott> http://www.caltrain.com/Assets/Buttons/Large+Middle+Buttons/2013+Giants+Baseball.gif caltrain watches sports
22:45:03 <shachaf> elliott: You should take Caltrain!
22:45:18 <elliott> it looks excited
22:45:27 <Bike> kmc is not a number(ed inmate in the prison-industrial system on trumped up drug charges), he is a free individual
22:45:38 <kmc> yeah little known fact, the caltrain tracks run straight through AT&T Park at grade
22:45:53 <shachaf> Bike: how free
22:45:55 <Phantom_Hoover> kmc, have you advanced to the point of actual trainspotting
22:46:16 <Bike> shachaf: fucking like, twelve free, at least
22:46:24 <elliott> trains potting is when you smoke the weed marihuana on trains
22:46:28 <elliott> kmc's favourite activity
22:46:31 <kmc> trains just come through blasting the horn without stopping
22:46:42 <kmc> baseball players have to run for their lives
22:46:46 <shachaf> http://www.theonion.com/articles/toddler-junkie-immediately-hooked-on-looking-at-tr,32025/
22:46:56 <shachaf> ☝ kmc
22:46:57 <elliott> kmc: i've chosen to to believe that what you are saying is true
22:46:58 <mnoqy> COOL IDEA: what if you had, like, a train, but it runs on, weed
22:47:07 <mnoqy> like you shovel the weed into the engine to make it go
22:47:11 <Bike> i know there are airports like what kmc describes
22:47:15 <Bike> frankly terrifying
22:47:18 <kmc> where?
22:47:21 <kmc> slash what.
22:47:25 <elliott> lithuania
22:47:29 <elliott> (i just made that up)
22:47:37 <Bike> well like, you know how in gibraltar there's so little land that a highway goes through the airport runway
22:47:40 <Bike> it's like that
22:47:43 <kmc> ah yeah
22:47:43 <elliott> mnoqy: does weed come out of the bit where the smoke comes out
22:47:44 <Bike> but w/ trains
22:47:46 <kmc> that's terrifying
22:47:49 <elliott> do the animals in the farms get hhhhigh
22:48:04 <kmc> wait so the train crosses the runway at grade??
22:48:16 <Bike> what's "at grade", like, at a slope? i doubt it
22:48:24 <Phantom_Hoover> you only get high inside the train when driving through tunnels
22:48:32 <shachaf> elliott: you pipe the smoke through the passenger cars hth
22:48:33 <kmc> it means "on the same level" rather than in a tunnel or a bride or shit
22:48:33 <Phantom_Hoover> like that awful bit of atlas shrug i hear of
22:48:52 <Sgeo> AW citizenship is goinf free
22:48:59 <shachaf> crossing the runway on a bride??
22:49:02 <shachaf> sounds dangerous
22:49:05 <Phantom_Hoover> oh Sgeo...
22:49:05 <mnoqy> Sgeo: oh?
22:49:11 <kmc> goinf
22:49:16 <Sgeo> going
22:49:26 <Sgeo> Don't know whether to be happy, or worried
22:49:35 <Bike> why do you not mean advance wars.
22:49:37 <Sgeo> Cybertown went free too for its last year or so of its existence
22:50:11 <Phantom_Hoover> you should be happy that aw is dying and you can actually grow up finally
22:50:17 <Bike> oh wow i didn't make this up!
22:50:23 <Bike> A unique level crossing exist near Gisborne, in which the Palmerston North - Gisborne Line crosses one of Gisborne Airport's runways. Aircraft landing on sealed 1310-metre runway 14L/32R are signalled with two red flashing lights on either side of the runway and a horizontal bar of flashing red lights to indicate the runway south of the railway line is closed, and may only land on the 866 m section of the runway north of the railway line. Whe
22:50:55 <Phantom_Hoover> the runway at gibraltar infamously runs right across the only road in and out of it
22:51:07 <kmc> Bike: awesome
22:51:16 <elliott> Bike: "line. Whe"
22:51:38 <Bike> Use your imagination.
22:51:46 <elliott> I DONT HAVR ONE
22:51:47 <kmc> pics?
22:52:26 <elliott> its insensitive to ask for pics of my nonexistent imaginatinon kmc
22:52:27 -!- Vorpal has quit (Ping timeout: 256 seconds).
22:52:34 <kmc> https://www.youtube.com/watch?v=mh-gL7_UgHs i guess
22:52:42 * Bike googles, finds http://farm3.static.flickr.com/2595/3680915019_4e8a1661ba.jpg?v=1246541217, calls it good despite that not being it
22:53:33 <Bike> hm, this airway forum (what) couldn't find a good photo
22:53:50 <kmc> that video has it at like 3:00
22:53:55 <shachaf> kmc: what do you think of leland stanford, i heard he liked trains
22:54:03 <kmc> he's a robber baron
22:54:07 <shachaf> yes
22:54:13 <Bike> https://maps.google.com/maps?f=q&source=s_q&hl=en&geocode=&q=gisborne+airport+new+zealand&sll=37.0625,-95.677068&sspn=33.489543,69.082031&ie=UTF8&hq=&hnear=Gisborne+Airport,+New+Zealand&ll=-38.667401,177.978387&spn=0.008059,0.016866&t=h&z=16 aha
22:54:18 <shachaf> are you saying you're not a fan
22:54:24 <kmc> dunno
22:54:38 <Bike> good lord the editing in this video
22:55:04 -!- Vorpal has joined.
22:55:28 <shachaf> PLAAAAANE TRAAAAAIN: http://bvargo.net/f/plane_train.jpg TRAAAAAIN PLAAAAANE: http://myairplanes.files.wordpress.com/2010/11/an-225-dan-ka1.jpg
22:56:05 <Bike> excellent
22:56:16 <elliott> so where did the CAAAALTRAAAIN thing come from
22:56:26 <Bike> they should make the train plane a regular thin
22:56:32 <shachaf> which thing
22:56:41 <shachaf> you mean the all-uppercase, multiple-A thing????
22:56:47 <Bike> a regular thing
22:57:19 <shachaf> there's a channel for everyone who likes trains: #cslounge-trains
22:59:40 <elliott> the mysterious cslounge
23:03:09 <mnoqy> is cslounge good? it sounds like something that would be bad
23:04:00 <shachaf> it depends on if u like counterstrike..........................
23:04:12 <mnoqy> :)
23:07:06 <shachaf> but #cslounge-trains is for people who like trains
23:07:14 <shachaf> and maybe for people who like people who like trains
23:07:27 <elliott> what about people who like people who like trains
23:07:29 <shachaf> tho trains are kind of rubbing off on me.....
23:07:58 <Sgeo> I take trains every weekday. Therefore I am obligated to join.
23:08:01 <Bike> #kmcspotting
23:12:44 <Bike> kmcspotting could be a movie about death in the startup industry. scored by clint mansell
23:13:14 <elliott> Sgeo: aren't you obligated to join every channel mentioned on irc
23:13:37 <Sgeo> elliott, yes, except for one.
23:14:04 <mnoqy> one, eh?
23:14:10 <elliott> Sgeo: what is that one
23:14:34 <Sgeo> The auto-kline channel I happen to know of
23:15:18 <elliott> i don't think there are any auto-kline channels on freenode
23:15:28 <mnoqy> imo join it and find out
23:15:39 <elliott> i know of some that are locked out and redirect to a "no" channel tho
23:15:52 <elliott> what is this channel, i'll try it on my local connection
23:17:16 <elliott> 00:17 -!- Topic for #Thai-Help: Leave this channel right away or you'll be banned from the network!
23:17:19 <elliott> 00:17 -!- Topic set by BearPerson [] [Sun Apr 22 16:37:07 2007]
23:17:22 <elliott> 00:17 [Users #thai-help]
23:17:24 <elliott> yo sgeo i'm pretty sure someone was fucking with you
23:17:26 <elliott> 00:17 [@ChanServ] [ testingblamesgeo] [ tomaw]
23:17:27 <Bike> beaut
23:18:00 <elliott> you can join it now
23:18:14 <Sgeo> * #Thai-Help :End of /NAMES list
23:18:31 <elliott> you can't list names of most channels you're not in...
23:18:40 <elliott> try /names #haskell-lens for example
23:18:53 <Sgeo> Hm
23:19:07 <elliott> how did you determine this channel was an auto-kline exactly
23:19:17 <Sgeo> It was discussed on #freenode
23:19:57 <Sgeo> There is also a log of another chatroom that mentions it
23:20:47 <Sgeo> http://ircarchive.info/perl/2007/5/19/89.html
23:21:34 <elliott> I joined this channel and now I can't access freenode anymore. What's going on?
23:21:37 <elliott> Apologies for the inconvenience. Due to problems with drones and automated clonebots, we've had to institute automated network bans when clients join certain channels. Please contact support at freenode dot net, providing your IP address to be unbanned.
23:21:41 <elliott> wow they actually do it
23:21:42 <zzo38> It is +PQ
23:21:42 <Bike> ok, well, that's boring, so, has anyone else been reading up on this "D-Wave Controversy": http://www.archduke.org/stuff/d-wave-comment-on-comparison-with-classical-computers/
23:21:42 <elliott> well this faq could just be outdated ofc
23:21:58 <elliott> Bike: scott aaronson has been going on about them for years
23:22:02 <Bike> it's pretty funny that this company made this computer thing and nobody's even sure if it actually works?
23:22:07 <Bike> yeah that's where i got this
23:22:10 <elliott> Sgeo: anyway #thai-help certainly doesn't ban you now
23:22:22 <zzo38> The modes +PQ kind of suggests that
23:22:31 <elliott> i don't know what +PQ does
23:22:53 <zzo38> +P is permanent, +Q is you cannot be forwarded to this channel.
23:22:55 <Sgeo> -NickServ- Last addr : ~karsten@sourcemage/wizard/freenode.staff-emeritus.BearPerson
23:23:48 <elliott> that topic was set in 2007
23:24:02 <elliott> i accept it likely actually did autoban you in 2007
23:24:13 <elliott> i somewhat suspect that no channel currently does however
23:26:11 <zzo38> Well, the +PQ mode, the topic message (I cannot see it; it is set you cannot be seen unless you joined), and the "freenode.staff-emeritus" all suggest that at least it used to, or was intended to, at one time, ban you.
23:27:08 <Bike> do you think you could get hep with thai food
23:27:10 <Bike> i hear it's pretty good
23:27:13 <Bike> help*
23:28:09 -!- nooodl_ has quit (Ping timeout: 256 seconds).
23:30:23 <elliott> does anyone know if there is an easy way to get youtube to play 480p instead of 360p by default
23:30:26 <elliott> it really annoys me
23:31:31 -!- elieser2241 has joined.
23:31:34 -!- elieser2241 has left.
23:32:06 <Bike> if someone tells you, tell me
23:32:23 <elliott> elieser2241: FUCK YOU
23:32:57 <Bike> elieser
23:32:59 <Bike> gonzalez
23:33:24 <mnoqy> what is with that elieser guy
23:34:24 <elliott> Bike: do you also hate those videos where changing the quality doesn't immediately reload but instead the cog thing kinda spins a bit and then it switches over smoothly at some point but the problem is when it starts the 480p video the scaling is a bit weird and it looks slightly off (like it's deinterlaced or something??) so you have to fullscreen it and exit that to get it looking right (this applies to all videos not just these) but it's not obvi
23:34:30 <elliott> probably not
23:35:02 <Bike> http://24.media.tumblr.com/409ffce04839d2aced409327386fe26f/tumblr_mn6o2cJqx51rf4cqeo1_400.png did i link this? oh well.
23:35:06 <Bike> elliott: god that's terrible
23:35:10 <Phantom_Hoover> elliott, i hate them
23:35:11 <Phantom_Hoover> so much
23:35:24 <kmc> Bike: wow
23:35:25 <Bike> also The Joke is that because of my shitty connection it would actually be 240p->360p for me
23:35:31 <elliott> Bike: that it bothers me and i have to fullscreen and exit all the videos or the videos themselves
23:35:42 <Bike> just in general
23:35:43 <Bike> terrible
23:35:51 <elliott> Phantom_Hoover: i feel like people aren't being sincere here!! are you sure you notice them being fucked before you fullscreen them
23:36:01 <Phantom_Hoover> yes
23:36:06 <elliott> ok
23:36:08 <elliott> i'm glad i'm not alone
23:36:14 <Phantom_Hoover> generally it's 360->1080 for me
23:36:21 <elliott> fuck you
23:36:22 <mnoqy> Bike: that's a good picture
23:36:27 <elliott> my connection and computer aren't good enough for that
23:36:32 <elliott> i do 760p.... very occasionally
23:36:36 <elliott> er i mean 720p
23:36:37 <Bike> what you have to understand is, i get my internet through a network of cans tied together with taut strings
23:36:54 <Phantom_Hoover> man, and i thought my connection was shitty
23:37:03 <Bike> i like the idea of "maize" being formal
23:37:07 <Bike> is it considered formal
23:37:07 <elliott> Phantom_Hoover: well ok
23:37:12 <elliott> my connection can do 1080p now
23:37:25 <elliott> ok but the worst part is
23:37:28 <elliott> youtube broke the fucking ?fmt= url thing
23:37:33 <elliott> so you can't even do it there before you load the page
23:37:35 <elliott> why the fuck
23:37:56 <ion> ?hd=1
23:37:56 <lambdabot> Unknown command, try @list
23:37:58 <elliott> ALSO i don't trust that the ones where the cog spins a lot actually always change the quality
23:38:09 <Bike> This page was previously nominated to be moved. Please review the discussions and previous page moves if considering re-nomination: RM, Maize -> Corn, No consensus, 20 June 2007, Talk:Maize/Archive 2#Requested Move RM, Maize -> Corn, No consensus, 21 February 2011, Talk:Maize/Archive 3#Requested move
23:38:15 <elliott> ion: hey that worked this time
23:38:28 <elliott> ty
23:38:32 <Bike> Maize is a selected article on the Food Portal, which means that it has been identified as a high quality article by Food Portal standards.
23:39:04 <Bike> Corn as transitive verb
23:39:49 <Bike> oh my god half the talk page archives are about this
23:39:59 <Bike> International bias vs. American bias
23:40:43 <kmc> remember, not following US usage is "anti-American"
23:40:46 <Bike> well, the majority of ENGLISH speakers say corn. Why shouldn't it be Corn(maize)??? It makes NO SENSE??WacoJacko 06:30, 2 July 2007 (UTC)
23:41:04 <Bike> he uses eleven question marks for this issue
23:41:24 <Bike> huh, does "corn" mean "grain" in the UK? that's news to me
23:43:09 <elliott> i guess so?
23:43:23 <elliott> ask Phantom_Hoover
23:43:37 <Bike> Phantom_Hoover: isn't elliott british and can tell me this himself
23:44:13 -!- elieser224 has joined.
23:44:22 <Bike> `e
23:44:23 <HackEgo> eliser224: hey what are you doing joining and parting all the time???? what's the deal
23:44:31 <mnoqy> `relcome elieser224
23:44:34 <HackEgo> elieser224: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
23:44:43 -!- elieser224 has left.
23:45:02 <mnoqy> what's the deal
23:45:05 <Bike> bye
23:45:49 <elliott> we should fix the e
23:45:51 <elliott> can mnoqy do it
23:46:01 <elliott> alt can we get fizzie to ban them
23:46:11 <elliott> apparently the only thing they have said is "hola", and that was after several join/part cycles
23:46:15 <mnoqy> did anything happen with that what's his name guy
23:46:32 <mnoqy> gasoline/newstalker
23:46:49 <elliott> http://irc.canaima.softwarelibre.gob.ve/historicos/mychan20130516_pg8.html hm they are in this other freenode channel (found by googling) but don't do the /part thing there
23:46:55 -!- augur has joined.
23:47:41 <mnoqy> instead they do the ping timeout thing
23:48:03 <Bike> A venezuelan linux distro.
23:48:31 <Bike> "It is primarily designed as a solution for the computers of National Public Administration in accordance with the presidential decree number 3.390 about the use of free technologies in National Public Administration in the country. " well then
23:48:39 <kmc> Bike: did you see http://rubydoc.info/gems/rubysdl/2.1.2/frames
23:51:35 <Bike> ruby?????????????
23:52:06 <elliott> kmc: this documentation is how i feel
23:52:13 <kmc> ??????????????????????OpenGL??????????????????????????????
23:52:24 <kmc> ????????????????????????????????????????(??????????????MPEG??????????????????????????)??
23:52:43 <shachaf> `run cat e
23:52:45 <HackEgo> cat: e: No such file or directory
23:52:48 <shachaf> `run cat bin/e
23:52:50 <HackEgo> echo "eliser224: hey what are you doing joining and parting all the time???? what's the deal"
23:53:05 <shachaf> `run e|r
23:53:07 <HackEgo> bash: r: command not found
23:53:09 <shachaf> `run e|rainbow
23:53:11 <HackEgo> eliser224: hey what are you doing joining and parting all the time???? what's the deal
23:53:20 <shachaf> hm
23:54:10 -!- Nisstyre-laptop has quit (Quit: Leaving).
23:56:39 <shachaf> kmc: /set show_nickmode_empty off # hth
23:56:50 <elliott> i agree w/ shachaf
23:57:40 -!- dessos has joined.
23:58:12 <shachaf> Bike: "u gotta say maize"
23:58:30 <shachaf> just think about how great corn mazes are
23:58:32 <shachaf> when you say maize
23:58:55 -!- Bike has quit (Ping timeout: 246 seconds).
23:59:21 <shachaf> woow
←2013-06-01 2013-06-02 2013-06-03→ ↑2013 ↑all