←2009-11-18 2009-11-19 2009-11-20→ ↑2009 ↑all
00:43:50 -!- oerjan has quit ("Good night").
00:58:18 -!- Oranjer has joined.
00:58:25 <Oranjer> yay
00:58:52 <Darth_Cliche> Hi Oranjer.
00:59:42 <Darth_Cliche> Have you made any esolangs before, or do you just use them?
01:01:14 <Oranjer> I do not do neither
01:01:32 <Oranjer> I mean, I've yet to use 'em, and I haven't made any
01:01:38 <Darth_Cliche> Ah.
01:01:48 <Oranjer> but! you have google wave, right?
01:01:52 <Darth_Cliche> Yes.
01:01:55 <Oranjer> yay!
01:01:59 <Oranjer> I have it too!
01:01:59 <Darth_Cliche> ?
01:02:02 <Darth_Cliche> Ah.
01:02:08 <Oranjer> I'm oranjer, of course
01:02:25 <Darth_Cliche> (As for me, I've made http://esolangs.org/wiki/HQ9_2D HQ9+2D)
01:03:04 <Oranjer> it say
01:03:16 <Oranjer> it says there's no text on it (hur hur hur)
01:03:26 <Darth_Cliche> ...
01:03:43 <Oranjer> I dunno what's up
01:04:17 <Oranjer> hey! can you send me the link using google wave?
01:04:30 <Darth_Cliche> Sure.
01:04:43 <Oranjer> oranjer@googlewave.com!!!!
01:04:45 <Oranjer> yay
01:05:51 <Darth_Cliche> Sent/
01:05:53 <Darth_Cliche> *Sent.
01:06:28 <Oranjer> okay
01:06:55 <Oranjer> I...what?
01:07:12 <Oranjer> is the program usable? for making things?
01:07:55 <Darth_Cliche> Have you ever heard of HQ9+?
01:08:11 <Oranjer> nope
01:08:31 <Darth_Cliche> It's a joke language
01:08:37 <Oranjer> i see
01:08:40 <Darth_Cliche> Which is like HQ9+2D
01:08:52 <Darth_Cliche> except without ><^ or v
01:08:56 <Darth_Cliche> so it just goes east forever
01:09:12 <Oranjer> ah, okay
01:12:35 <Oranjer> so, what's up?
01:13:14 <Darth_Cliche> Well, I just earlier today signed up for the wiki
01:13:46 <Oranjer> yay!
01:14:09 <Darth_Cliche> ?
01:14:23 <Oranjer> well, now you can like, do stuff, I guess
01:14:29 <Oranjer> and freedom of action is goood! yay
01:16:17 <Darth_Cliche> ...you seem a lot less conservative than I had originally, rather offensively, assumed.
01:16:26 <Oranjer> what are you doing now?
01:16:35 <Oranjer> conservative?
01:16:40 <Oranjer> whuuuut
01:17:14 <Darth_Cliche> ?
01:17:18 <Oranjer> hell, I'm the one who got into arguments with conservatives at my school
01:17:34 <Darth_Cliche> The assumption was based entirely on your location.
01:17:36 <Oranjer> I was like, the spokesperson for anti-conservativism
01:17:38 <Oranjer> oh, ha
01:18:55 <Oranjer> I dunno, I do see atheist bumperstickers and whatnot from time to time here
01:19:38 <Darth_Cliche> religion != politics, for one thing. Although atheists are generally liberal or libertarian.
01:21:00 <Darth_Cliche> But most importantly, "from time to time", as opposed to "often".
01:21:01 <madbr> ah, but aren't libertarians some form of conservatism? :o
01:21:13 <Oranjer> well, although I once saw a Darwin fish in Texas (awesome), but I meant it as...
01:21:45 <Oranjer> that in a conservative place, such blatant non-christian stuff would be terrorized and whatnot
01:22:19 <Oranjer> well, madbr, it's more like two seperate dimensions
01:22:23 <Darth_Cliche> yeah
01:22:29 <Darth_Cliche> economic and individual freedom
01:22:30 <Oranjer> economic freedom, and social freedom
01:22:32 <Oranjer> haha
01:23:07 <Darth_Cliche> (It's really three dimensions, though individual and social are closely tied.)
01:23:11 <Darth_Cliche> Liberalism has low economic but high individual/social
01:23:28 <Darth_Cliche> Conservatism has high economic but low individual/social
01:23:42 <Darth_Cliche> Libertarianism has high both
01:23:50 <Oranjer> Statism
01:23:56 <Darth_Cliche> and authoritarianism has low both
01:24:01 <Oranjer> ouchies
01:24:21 <Oranjer> of course, me ol' gover' teacher gave us another interpro
01:24:26 <Darth_Cliche> When you split individual and social you get 9 different ideas
01:24:39 <Oranjer> three facets: order, freedom, and equality
01:24:59 <Oranjer> you can only choose two, at the expense of the third one
01:25:10 <Oranjer> Conservatives generally pick order and freedom, at the expense of equality
01:25:28 <Oranjer> liberals generally pick freedom and equality, at the expense of order
01:25:57 <Darth_Cliche> And if you pick order and equality at the expense of freedom?
01:26:05 <Oranjer> and authoritarians generally pick order and equality over freedom
01:26:13 <Oranjer> ha
01:26:15 <Darth_Cliche> They don't care about equality...
01:26:41 <Oranjer> Communism did, before it went total-postal
01:26:54 <Darth_Cliche> Yeah, but they aren't authoritarian.
01:27:01 <Darth_Cliche> Also, a more inclusive way to define it based on those facets:
01:27:12 <Oranjer> :O
01:27:24 <Oranjer> (also, what were those 9 ideas you mentioned?)
01:27:41 <Darth_Cliche> (I don't have names for them. They're just combinations of high/low.)
01:27:49 <Oranjer> ah, okay
01:27:59 <Darth_Cliche> Each starts at 0, which is average.
01:28:07 <Darth_Cliche> You have 1 point.
01:28:07 <Oranjer> the facets?
01:28:10 <Darth_Cliche> Yeah.
01:28:12 <Oranjer> okay
01:28:25 <Darth_Cliche> You can use that point to increase any of them by 1.
01:28:35 <Darth_Cliche> You can decrease any of them by 1 to gain another point.
01:29:20 <Oranjer> cool, cool
01:29:29 <Oranjer> although, there would have to be limits
01:29:36 <Darth_Cliche> Thus centrism just doesn't spend the point in the first place
01:29:41 <Oranjer> defined by nature, and what not
01:29:51 <Oranjer> wouldn't centrism spend it on order?
01:30:02 <Darth_Cliche> Nah, that would be... um... order-ism.
01:30:26 <Oranjer> hey! let's use this stuff in a nomic!
01:30:49 <Darth_Cliche> Maybe. We'd need a good initial ruleset incorporating them.
01:31:05 <Oranjer> yay!
01:31:51 <Oranjer> of course, as I was telling yuri, a system requires a goal to be worthwhile, and that most countries (and nomics, and other human organos) don't have any goals above "survive"
01:32:01 <Darth_Cliche> Name idea: Nationomic
01:32:32 <Oranjer> so I'm saying that in the future, if I'm involved in a nomic (or anything else), I shall always make an early step to be the defining of a goal
01:32:44 <Oranjer> so, what is the goal of our suggested nomic?
01:32:50 <Darth_Cliche> Hmmm.
01:32:57 <Darth_Cliche> Well, it could be unwinnable.
01:33:22 <Darth_Cliche> Or we could have some sort of United Nations-like entity
01:33:32 <Darth_Cliche> and although there is no official "winning"
01:33:58 <Darth_Cliche> you can gain great power by becoming leader of the UN
01:34:00 <Darth_Cliche> also
01:34:05 <Darth_Cliche> we should talk about this in ##nomic
01:34:09 <Oranjer> indeed
01:34:13 <Darth_Cliche> as it has drifted quite far from the topic of esolangs.
01:34:16 <Oranjer> what network is that?
01:34:34 <Oranjer> (remember, unfamiliar computer here)
01:34:54 <Darth_Cliche> Same one as you're on.
01:34:57 <Oranjer> okay
01:34:58 <Oranjer> hey!
01:35:03 <Darth_Cliche> ?
01:35:05 <Oranjer> yuri wants to talk about it also
01:35:11 <Oranjer> sure we can't do it in google wave?
01:35:11 <Darth_Cliche> Yup.
01:35:17 <Darth_Cliche> Sure, why not?
01:37:27 -!- Sgeo has joined.
01:37:33 <madbr> hmm
01:37:48 <madbr> what would be a good cpu design for some amateur project?
01:39:14 <Oranjer> the game of life
01:39:16 <Oranjer> ??
01:39:19 <Oranjer> what do you mean?
01:39:43 <Gregor> MISC
01:39:54 <Gregor> http://esolangs.org/wiki/MISC
01:45:36 <madbr> that doesn't look particularly programmable
01:45:55 <madbr> it could be a more standard risc although those are boring
01:49:11 -!- Oranjer has quit ("Java user signed off").
01:52:44 -!- Oranjer has joined.
01:55:47 <Gregor> If I wanted to program MISC, I would make a MIPS->MISC compiler.
02:20:59 -!- Oranjer has quit ("Java user signed off").
03:45:12 * Sgeo got yellwed at for saying wtf
03:45:20 <Sgeo> When I meant to type wtg
03:45:24 <Sgeo> But this was repeated
03:46:55 * Sgeo is addicted to AWBingo
03:51:50 <Darth_Cliche> WTG?
04:01:14 <Gregor> What The GOD?!
04:01:35 <Darth_Cliche> ...ah.
04:01:45 <Darth_Cliche> That makes perfect sense.
04:04:52 <Sgeo> Way to go
04:05:15 <Sgeo> I'm in a bingo place
04:08:02 <Darth_Cliche> Does it please you to believe you are in a bingo place?
04:08:52 <Sgeo> lol
04:09:07 <Darth_Cliche> agh
04:09:18 <Darth_Cliche> I accidentally mixed code for my IRC bot and my ELIZA clone
04:18:02 <Darth_Cliche> ME: The world is explode. ELIZA: What does that suggest to you?
04:19:15 <Darth_Cliche> ME: I WILL KILL YOU ELIZA! ELIZA: Perhaps in your fantasies we will kill each other.
04:22:16 * Darth_Cliche tries to make ELIZAs talk to each other
04:22:39 <Darth_Cliche> ELIZA: Why are you concerned over my problem?
04:22:58 <Darth_Cliche> OTHER ELIZA: Your problem ?
04:26:50 <Sgeo> So two people in AW use Base64 to swear in front of people who don't approve of swearing where they're doing it
04:26:57 <Sgeo> I'm threatening to reveal what language they're using
04:31:21 <Sgeo> And one of them talked about f***ing one of the other people there, so
04:34:39 <Darth_Cliche> So?
04:36:12 <Sgeo> It's a G rated area, and the owners of the place already ejected someone for saying wtf
04:37:51 <Darth_Cliche> ...
04:38:00 <Darth_Cliche> WTF!
04:40:53 <Darth_Cliche> OMG WTF LOLOLOL
04:41:08 * Darth_Cliche creates chatbot representing typical 12-year-old
04:45:55 <lament> my trombone!!!
04:45:56 <lament> http://photos-h.ak.fbcdn.net/hphotos-ak-snc3/hs112.snc3/15956_210441155020_601130020_4464643_2268885_n.jpg
04:50:46 -!- oklofok has joined.
04:51:05 <oklofok> okay finally felt like learning the techniques in "how to develop a super power memory"
04:51:32 <oklofok> after one day's training, i had a friend tell me 42 cards from the deck and i told him the missing ones
04:51:42 <oklofok> (1 error)
04:54:02 <oklofok> also i memorized the order of a deck in ~ 10 minutes, random access, although card -> index was a bit unreliable... then again i was getting pretty tired
04:54:23 <oklofok> i guess that's all... people should seriously read that book
04:54:35 <oklofok> also you people
04:56:33 -!- Bjornung has joined.
05:06:11 -!- Pthing has joined.
05:10:39 * oklofok considers memorizing the internet
05:12:51 <Darth_Cliche> Is oklofok a spambot?
05:13:03 <MizardX> Darth_Cliche: yes
05:13:17 <Darth_Cliche> ...so why doesn't someone kick it?
05:14:54 <oklofok> haha
05:15:03 <Darth_Cliche> ...oh, so it isn't a spambot?
05:15:15 <oklofok> it's a 50 year old book
05:15:51 <Darth_Cliche> Ahem. Oklofok, are you a human?
05:15:55 <oklofok> although i guess that could still be considered spam
05:16:04 <oklofok> dunno
05:16:15 <oklofok> usually i say i'm a lizard
05:16:45 <MizardX> I'm a mizard
05:16:48 <oklofok> (doesn't mean the system doesn't work for humans, i have a human brain)
05:17:27 -!- sebbu2 has joined.
05:17:30 <Darth_Cliche> ...I'd accuse you of being a furry, except that doesn't quite work with lizards. Maybe a scaly.
05:17:36 <Darth_Cliche> Hi sebbu2
05:22:25 <oklofok> i wish there was a book about memorizing data structures in general, loraine was more of a magician than a computer scientist
05:22:42 * Warrigal substitutes for oklofok.
05:22:47 <Warrigal> Usually I say I'm a dog.
05:22:49 <oklofok> also cs may have been slightly different in '57
05:23:14 <oklofok> well telling by your face...
05:24:07 <Warrigal> Have I used the nick DogFace here?
05:24:47 <Darth_Cliche> I'm definitely not a Martian.
05:25:16 <oklofok> Warrigal: either that or you've linked pictures of yourself and your damn ugly
05:25:20 <oklofok> *you're
05:25:26 <oklofok> i don't remember which tbh
05:25:58 <oklofok> but yes, countless times
05:26:25 <Warrigal> I've either linked pictures of myself countless times or used the nick DogFace here countless times?
05:26:25 <Darth_Cliche> Come to think of it, the name 'Warrigal' sounds like a dog breed.
05:26:28 <Warrigal> Interesting.
05:26:51 <Warrigal> It's a species of canine indigenous to Australia.
05:26:59 <Darth_Cliche> Ah.
05:27:00 <oklofok> i had a theory about Warrigal's nicks
05:27:05 <Darth_Cliche> Wait.
05:27:11 <Darth_Cliche> You expect me to believe that?
05:27:17 <oklofok> but it's somewhere deep in the logs
05:27:19 <Darth_Cliche> You're jacrave-ing me!
05:27:22 <Darth_Cliche> wait
05:27:29 <Darth_Cliche> you're not my RL friends
05:27:31 <Darth_Cliche> nvm
05:27:32 <oklofok> something about a sex change operation
05:27:39 <Warrigal> Ah, yes.
05:28:01 <Warrigal> "ihope", tentatively seeking reassurance and hoping that the operation will work out.
05:28:39 <Warrigal> And then "Warrigal", i.e. "Warri gal", obviously post-op.
05:32:24 -!- clog has joined.
05:32:24 -!- clog_ has joined.
05:32:46 <oklofok> what does it say in your mug
05:32:51 <Darth_Cliche> Warrigal is a synonym for dingo.
05:33:04 <oklofok> also you look *very* different than i expected
05:33:07 <Warrigal> oklofok: "For integral x > 0, compute the number of pairs of distinct points A and B on y = x^2 where the slope of line AB is 2008."
05:33:25 <Warrigal> Where "line AB" is AB with an overline.
05:33:35 <oklofok> (unless you are the jap or something dude)
05:33:56 <Warrigal> And "^2" is a superscript 2. But anyway.
05:34:05 <Warrigal> I wonder what you expected me to look like.
05:34:13 <oklofok> "(unless you are the jap or something dude)"
05:34:21 <oklofok> closer
05:34:26 -!- sebbu has quit (Connection timed out).
05:34:26 <Darth_Cliche> ...my brother thinks "dingo" is a slang term for penis.
05:34:43 <oklofok> everything is a slang word for penis.
05:34:48 <Darth_Cliche> That's true.
05:34:51 <oklofok> except penis, it's just a word for penis.
05:35:00 <Darth_Cliche> "Everything" is indeed a slang term for penis.
05:35:05 -!- immibis has joined.
05:35:17 <Darth_Cliche> Also, "dick" is not a slang term, it's just a regular term.
05:35:21 <Darth_Cliche> Hi immibis
05:35:24 <oklofok> i'm pretty sure this conversation has been had here
05:35:35 <Darth_Cliche> Wait, seriously?
05:35:39 <Darth_Cliche> In this very channel?
05:35:48 <immibis> hi
05:36:11 <Gregor> Hm, everything itches. That can't be good. /me goes to a urologist.
05:36:13 <oklofok> yes. i say everything is a slang term for penis, someone says that same joke. or maybe it's my first deja vu i don't recognize as one.
05:36:18 <oklofok> we've had a lot of conversations about penises
05:36:25 <oklofok> hi immie
05:36:27 <Darth_Cliche> You're weird, you know that?
05:36:35 <oklofok> yes.
05:36:46 <Darth_Cliche> ("You" here was plural, just to clarify)
05:36:56 <oklofok> i was told that today at uni, well not directly
05:37:16 <oklofok> it was implied via antisymmetric eyebrows
05:37:43 <oklofok> because i have to remove these plastic flap thingies from all the bottles i empty
05:37:51 <oklofok> and i do it with my teeth
05:37:55 <Warrigal> Eyebrows that were at the same height at no distance from the median plane.
05:38:19 <Darth_Cliche>
05:38:22 <Darth_Cliche> :-
05:38:33 <oklofok> Warrigal: umm wouldn't those be symmetric
05:38:58 <Warrigal> Eyebrows that were at a different height at every distance from the median plane? No, certainly not.
05:39:31 <oklofok> oh lol i misparsed
05:39:50 <oklofok> but point taken
05:39:59 <Warrigal> Hey, I'm wearing my medal in that picture.
05:40:22 <oklofok> some sorta math medal?
05:40:26 <Warrigal> Yeah.
05:40:32 <oklofok> what did you win?
05:40:39 <MizardX> Warrigal: The number of integer pairs on y = x^2, x > 0 that form a slope of 2008 is 2007. 4014 points in total.
05:40:53 <Warrigal> Team high scorer, perhaps.
05:40:57 <oklofok> you mentioned your friend was at some sorta championships, i figured you weren't because you didn't mention that
05:41:01 <oklofok> oh
05:41:09 <Darth_Cliche> He won Most Times Accidentally Deregistered From Agora.
05:41:20 <Warrigal> MizardX: that sounds right.
05:41:48 <Warrigal> oklofok: I wonder which friend that was.
05:42:02 <oklofok> Warrigal: this was about the dinosaurs
05:42:04 <oklofok> the conversation
05:42:21 <Warrigal> Ah, yes.
05:42:22 <oklofok> (defined as some sorta connected regions on ZxZ)
05:42:35 <oklofok> maybe a year ago or so
05:42:41 <Warrigal> Yeah, 2008-ominoes or something.
05:42:48 <oklofok> the actual problem was trivial iirc
05:42:56 <Darth_Cliche> Why 2008 instead of 2009?
05:43:04 <Warrigal> Because it was last year or something.
05:43:14 <Darth_Cliche> Hell, we should probably be gearing up for 2010.
05:43:16 <Warrigal> I dearly hope the problem was not trivial, as I couldn't solve it.
05:43:37 <oklofok> hmm.
05:43:52 <oklofok> well i don't remember it, usually that happens if the problem is complex to state, or trivial to solve
05:44:24 <oklofok> MizardX: so why 2007?
05:44:44 <Warrigal> It was practically equivalent to this: "A dinosaur is a polyomino of at least 2008 squares. A primitive dinosaur is a dinosaur that cannot be divided into multiple dinosaurs. Find the number of primitive dinosaurs."
05:44:58 <MizardX> slope of line between a and b is (b^2-a^2)/(b-a), which simplifies to (b + a). Slope was 2008, so a + b = 2008. 2007 solutions for a,b > 0.
05:45:19 <Warrigal> MizardX: oh, that's not right.
05:45:29 <Warrigal> Aren't there only 1003 solutions?
05:45:47 <oklofok> oh i misunderstood the question
05:45:50 <MizardX> ... oh, right
05:45:51 -!- clog has quit (Connection timed out).
05:45:51 -!- clog_ has changed nick to clog.
05:45:52 <Warrigal> 1004, actually.
05:46:26 <MizardX> Is a = b also a solution?
05:46:31 -!- Bjornung has quit.
05:46:33 <oklofok> what do you mean can't be divided into multiple dinosaurs?
05:46:45 <Warrigal> MizardX: yeah.
05:46:54 <oklofok> of course it is
05:47:28 <Warrigal> oklofok: it cannot be partitioned into dinosaurs.
05:47:37 <oklofok> can you define that?
05:47:48 <oklofok> by removing points?
05:48:07 <oklofok> yeah i guess that is obvious
05:48:31 <oklofok> or just one point?
05:48:39 <Warrigal> Hmm?
05:48:44 <oklofok> ohhh
05:48:56 <oklofok> err
05:49:03 <MizardX> a = b doesn't have any distance, and thus can't form a unique line.
05:49:22 <oklofok> MizardX: but it's a solution
05:49:26 <oklofok> ;()
05:49:27 <oklofok> *;)
05:49:30 <oklofok> to the equation
05:49:32 <Warrigal> oklofok: not of (b^2-a^2)/(b-a) = 2008.
05:49:42 <oklofok> not that equation, no
05:49:45 <oklofok> :P
05:49:52 <Warrigal> So it's a solution of some equation. :-P
05:50:06 <immibis> it
05:50:16 <immibis> wrong window and accidentally pressed enter :P
05:50:32 <Warrigal> 0*x = 0*it
05:50:39 <Warrigal> it's a solution of that equation.
05:50:59 <immibis> a=b is also a solution of 3x=0
05:51:04 <oklofok> to an equation that was mentioned!
05:51:04 <immibis> no wait
05:51:06 <immibis> of 0x=0
05:51:30 <immibis> also to prove that there are no solutions for x=-x: (1) x = -x (2) 1x = -1x (3) 1 = -1
05:52:12 <Darth_Cliche> A dinosaur is a polyomino of at least an infinite number of squares. A primitive dinosaur is a dinosaur that cannot be divided into multiple dinosaurs. Find the number of primitive dinosaurs.
05:52:16 <Darth_Cliche> Answer: 0
05:52:25 <Darth_Cliche> At a random guess
05:52:30 <oklofok> a line of 2008 in a row is one
05:52:32 <Warrigal> Darth_Cliche: that's false, if there are any dinosaurs.
05:52:43 <Darth_Cliche> ?
05:52:48 <Warrigal> Take the dinosaur {(0,x) | x > 0}.
05:53:00 * Darth_Cliche has no idea what that represents.
05:53:11 <Warrigal> One square and all the squares to the right of it.
05:53:21 <Darth_Cliche> Ah.
05:53:28 <Warrigal> oklofok: now enumerate the rest!
05:53:34 <Darth_Cliche> It can be divided into multiple dinosaurs
05:53:36 <oklofok> that can't be partitioned into dinosaurs?
05:53:41 <Darth_Cliche> both identical to itself
05:53:42 <oklofok> oh right
05:53:46 <oklofok> "if there are any dinosaurs."
05:53:49 <oklofok> should read what you say
05:53:58 <oklofok> Darth_Cliche: no
05:54:06 <oklofok> it can't be divided into two dinosaurs that look like it
05:54:37 <oklofok> or any amount in fact, any partition into dinosaurs will have at most one infinite dinosaur
05:54:52 <oklofok> *partitioning
05:55:24 <Warrigal> oklofok: take the dinosaur {(0,x) | x > 0} u {(1,x) | x > 0}.
05:55:46 <oklofok> Warrigal: not a partition of {(0,x) | x > 0}
05:55:51 <oklofok> i meant that one can't be
05:56:05 * Warrigal nods.
05:56:07 <oklofok> "Darth_Cliche: It can be divided into multiple dinosaurs" <<< response to this
05:56:29 <Warrigal> The obvious name for {(0,x) | x > 0} is the omega dinosaur.
05:56:46 <Warrigal> I want to see the omega plus one dinosaur.
05:56:49 <Darth_Cliche> A dinosaur is a polyomino which resembles a dinosaur. Find the number of dinosaurs.
05:56:53 <Darth_Cliche> Answer: Infinity
05:56:56 <Darth_Cliche> Or 0
05:57:00 <Darth_Cliche> or anything inbetween
05:57:15 <Warrigal> Aleph, not infinity.
05:57:16 <Darth_Cliche> seeing as how "resembles a dinosaur" is completely subjective
05:57:25 <Warrigal> There are a lot of infinite numbers-of-things.
05:57:49 <Darth_Cliche> I do not, and will not ever, understand the difference between aleph and infinity.
05:58:11 <oklofok> Darth_Cliche: infinity is defined as follows: if a set can be put into bijection with a proper subset of its, it's infinite
05:58:30 <oklofok> the actual infinite numbers are then sizes of different infinite sets, again defined by what can be put into bijection with what
05:58:35 <Warrigal> There are a bunch of definitions of infinity, and they're pretty much entirely incompatible.
05:58:46 <Darth_Cliche> As for aleph?
05:58:49 <oklofok> well right that's cardinality
05:59:05 <oklofok> aleph is the size of N
05:59:07 <Darth_Cliche> Ah, so aleph is like "infinityth"?
05:59:08 <oklofok> the set of natural numbers
06:00:07 <Darth_Cliche> I hate infinity, and always will.
06:00:21 <Warrigal> Aleph is just the answer to the question "How many natural numbers are there?"
06:00:54 <Warrigal> Aleph_1 is the answer to the question "What's the size of the smallest set that's bigger than aleph?", aleph_2 is the answer to "What's the size of the smallest set that's bigger than aleph_1?", and so on.
06:01:29 <Darth_Cliche> I have to leave now
06:01:30 -!- Darth_Cliche has quit ("Leaving").
06:01:32 <MizardX> aleph^2
06:01:41 <Warrigal> aleph^2 = aleph.
06:02:09 <MizardX> aleph_aleph
06:02:47 <Warrigal> aleph is not a valid thing to put in the subscript.
06:02:54 <MizardX> haha
06:03:12 <Warrigal> The smallest cardinal number greater than aleph_n for all natural numbers n is aleph_omega.
06:03:51 <MizardX> omega > aleph ?
06:04:22 <Warrigal> omega and aleph are different types of numbers; you can't really compare them like that.
06:04:27 <oklofok> Warrigal: if it anywhere had a "line" (of any shape) of 4016 squares, you could divide the thing into two polyominoes of 2008
06:04:33 <Warrigal> omega does have a size, though, and the size of omega is aleph.
06:04:33 <oklofok> so that at least puts an upper bound on the size
06:04:40 <Warrigal> oklofok: no, it doesn't.
06:04:45 <oklofok> it doesn't?
06:04:47 <Warrigal> Nope.
06:04:51 <oklofok> err...
06:04:53 <oklofok> shite
06:04:57 <oklofok> :P
06:05:21 <oklofok> at least not directly
06:05:24 <Warrigal> I don't think I was able to come up with an upper bound on the size.
06:06:27 <immibis> Warrigal: what's the size of the smallest set bigger than aleph_omega?
06:06:49 <oklofok> err... it totally does put an upper bound in the size, start with any cell, because we have a polyamino, we can connect it to any other cell, therefore there's a line to any other cell
06:07:04 <Warrigal> immibis: aleph_(omega+1).
06:07:17 <oklofok> so you can't have 8032 cells because blah
06:07:25 <immibis> Warrigal: what's the size of the smallest set bigger than aleph_(omega+n) for any natural number or aleph number or aleph_omega number n?
06:07:26 <Warrigal> oklofok: wait, what's your upper bound, then?
06:07:36 <oklofok> not 8032 at least :D
06:07:43 <oklofok> err
06:07:54 <oklofok> maybe like 4016^2
06:07:54 <Warrigal> immibis: aleph_(omega*2), if I read that correctly.
06:08:10 <oklofok> i'm not very good at thinking while ircing
06:08:17 <immibis> Warrigal: what's the size of the smallest set bigger than aleph_(omega^n) for any natural number or aleph number or aleph_omega number n?
06:08:43 <Warrigal> immibis: wait, I interpreted your question as if you had said "for any natural number n".
06:09:27 <Warrigal> Then again, n can't be an aleph number, so I'll continue to interpret your questions as if you had said that.
06:09:33 <Warrigal> immibis: aleph_(omega^omega).
06:09:41 <oklofok> well right, if you can't bound the thing in a 2008x2008 box, then there are two cells at least 2008 away from each other
06:09:53 <oklofok> those cells are connected by some line
06:10:01 <oklofok> which will be of length at least 2008
06:10:02 <oklofok> err shit
06:10:07 <oklofok> make those 4016
06:10:26 <oklofok> then you can just "floodfill" them into a partition
06:10:31 <immibis> having names for infinite numbers is stupid, especially considering that basically you have "the biggest natural number" and now you've got names fo rnumbers bigger than it
06:10:49 <Warrigal> If it touches the edges of a 4016x2008 box, you can cut it into two dinosaurs.
06:10:51 <oklofok> no you don't have that
06:11:03 <oklofok> yes
06:11:08 <Warrigal> Heck, if its height is at least 4016.
06:11:10 <oklofok> so there, a bound
06:11:21 <Warrigal> immibis: well, these are called ordinal numbers.
06:11:31 <Warrigal> I'm sure they're useful in some way.
06:11:41 <oklofok> immibis: kinda like graphs are stupid because now you basically have a "branching" natural number
06:11:50 <oklofok> natural numbers can't branch!
06:12:02 <immibis> "branching"?
06:12:10 <oklofok> immibis: nm
06:12:17 <oklofok> graphs branch
06:12:20 <Warrigal> immibis: represent a natural number as a series of connected dots.
06:12:45 <immibis> if they're connected, are they still dots?
06:12:48 <oklofok> immibis: i'm just saying infinity is not a natural number, therefore it doesn't have to follow the axioms, kinda like graphs.
06:13:44 <Warrigal> immibis: you know, if you had pushed enough, you would have reached the limits of my notation.
06:14:07 <immibis> exactly, that's why it's stupid
06:14:13 <Warrigal> I see.
06:14:24 <immibis> you have the biggest number, and you also have that many numbers bigger than it
06:14:58 <Warrigal> We should come up with a notation that can express every ordinal number*.
06:15:04 <immibis> ...
06:15:11 <Warrigal> *Except those outside our (countable) model of ZFC.
06:17:22 * Warrigal ponders.
06:18:22 <Warrigal> Let [\x, E], where E is an expression in x, mean "the smallest ordinal number greater than E for all natural numbers x".
06:19:13 <oklofok> "expression"?
06:19:22 <oklofok> i'm assuming you don't mean E : N -> N
06:19:32 <oklofok> partly because that would make no sense
06:19:36 <Warrigal> Right.
06:20:16 <Warrigal> I will not define "expression", because that word is one of the Words Whose Meanings You're Supposed To Know Already of mathematics.
06:21:05 <oklofok> makes sense, i'll be quiet because it'd be embarrassing if you found out i don't know what it means
06:21:54 <Warrigal> Other WWMYSTKA: "variable", "free variable", "function", "relation", "axiom", . . .
06:46:01 -!- Sgeo has quit ("Leaving").
06:47:58 <oklofok> Warrigal: are you sure the problem wasn't to find the greatest possible primitive dinosaur?
06:48:33 <oklofok> because i vaguely recall you talking about a plus-shaped dinosaur and saying you couldn't prove it's the biggest possible
06:48:46 <oklofok> well, really vaguely.
06:50:14 <oklofok> "...the most basic being to enumerate polyominoes of a given size. No formula has been found except for special classes of polyominoes."
06:50:34 <oklofok> i guess it could be a simpler problem, in theory
06:51:09 <oklofok> just thought i'd check because it looks a bit like the problem of non self-intersecting paths
06:55:13 -!- clog has joined.
06:55:13 -!- clog_ has joined.
06:58:26 <madbr> given an infinite board size, would go be turing complete?
07:09:16 <oklofok> http://www.answers.com/topic/exptime
07:09:52 -!- clog has quit (Read error: 110 (Connection timed out)).
07:09:52 -!- clog_ has changed nick to clog.
07:13:07 <augur> oklofok
07:14:39 -!- madbr has quit ("Radiateur").
07:17:15 <oklofok> augie
07:19:26 <oklofok> http://www.artofproblemsolving.com/Wiki/index.php/2007_USAMO_Problems/Problem_4
07:19:35 <oklofok> so i think i was right
07:20:01 <oklofok> oh cool solutions, now i don't have to waste a day on it
05:23:36 -!- clog has joined.
05:23:36 -!- clog has joined.
05:25:47 -!- gm|lap has quit (Read error: 110 (Connection timed out)).
05:25:58 <oklofok> "and since it visits a corner infinitely many times, it must visit the exterior of the rectangle." <<< what if it always goes back to the interior after visiting the corner?
05:26:27 <oklofok> and what's a corner
05:27:01 <oklofok> i mean you might have it, but then you are considering something a triviality that i don't, at least compared to the other facts you mention there.
05:27:26 <puzzlet> win 53
05:27:27 <oklofok> but yeah, it's something like that, of course you need to show a reason why you go off the cycle, for any cycle there might be
07:59:59 -!- clog has quit (ended).
09:08:03 -!- clog has joined.
09:08:03 <oklofok> (obviously there needs to be a cycle, because there needs to be a repetition of global state)
09:08:20 <oklofok> well now ->
09:08:36 <oklofok> but anyway, you did not mention the "trick"
09:08:39 <oklofok> ->
09:08:55 <Warrigal> Eh, the trick.
09:11:55 <Warrigal> Find the leftmost cell of the topmost row. (Heh, "topmost".) This cell must be entered from the bottom and exited from the right, or vice versa, and it must alternate between these. And...
09:16:13 -!- neuDialect has joined.
09:44:54 -!- neuDialect has quit (Read error: 110 (Connection timed out)).
09:47:27 -!- Asztal has quit (Read error: 110 (Connection timed out)).
10:27:30 -!- Slereah_ has joined.
10:29:52 -!- Slereah has quit (Read error: 145 (Connection timed out)).
10:41:11 -!- FireFly has joined.
11:02:49 -!- BeholdMyGlory has joined.
11:12:04 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
11:12:12 -!- puzzlet has joined.
11:15:08 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
11:17:13 -!- puzzlet has joined.
11:35:32 -!- migomipo has joined.
11:55:54 <oklofok> Warrigal: where exactly does the ant go to a new cell?
11:56:15 <oklofok> so it has to alternate between those, then what?
11:57:22 <oklofok> i don't see where that differs from proving that an ant that always turns right and doesn't change cell state always sees an infinite amount of cells...
11:59:03 <oklofok> also there was another, even simpler one i had to do, for each L in RE, find a language N in R and a homomorphism h such that L = h(N)
11:59:29 <oklofok> people are so lazy
12:01:50 <oklofok> also i'm so tired i'm pretty sure no one except the lecturer understood my mumblings
12:04:50 <oklofok> there's this guy on the course who has sofar gotten every yes/no proof the wrong way around, i'm beginning to think he's doing it on purpose
12:05:29 <fizzie> It might be a statement of some sort.
12:05:41 <oklofok> hmm, what sort exactly?
12:05:54 <fizzie> Some sort of protest, maybe?
12:06:03 <oklofok> could be...
12:06:08 <oklofok> "too hard"? :P
12:06:28 <fizzie> Or "too meaningless".
12:06:41 <fizzie> I've heard some grumblings like that.
12:06:59 <oklofok> it's a very concrete question whether RE and R are closed under homomorphisms and inverse homomorphisms
12:07:10 <oklofok> isn't it?
12:07:38 <fizzie> Then again, ours is a *technical* university, not some fancy-pants science-making factory.
12:07:54 <fizzie> Is a technical university technically not an university?
12:08:30 <oklofok> i'm not exactly sure how technical universities differ from normal ones
12:08:56 <oklofok> our cs department does a lot of "non basic" research, like simply finding practical algos for medical purposes and shit
12:09:10 <oklofok> what's "perustutkimus" in english
12:09:18 <oklofok> elementary research maybe
12:09:36 <fizzie> I've seen "basic research" used. Or fundamental.
12:09:45 <oklofok> right. well they do a lot of non-that
12:09:58 <fizzie> Applied, then.
12:10:05 <oklofok> hmm, i suppose.
12:10:37 <fizzie> Applied and eval'd research! Though I guess the latter doesn't really mean anything. :/
12:11:07 <oklofok> i guess it's eval'd after peer review
12:11:59 <fizzie> A beer-reviewed journal is a good place to publish in.
12:12:01 <oklofok> althoughi'm not sure that's a very intelligent play on words
12:12:04 <oklofok> *although i'm
12:12:24 <oklofok> that joke must be used a lot in student magazines
12:12:59 <oklofok> hmm, seems not
12:13:11 <oklofok> google would know
12:13:50 <fizzie> Results 1 - 10 of about 105 for "beer-reviewed journal". It is not so clever, no.
12:14:06 <oklofok> must not be
12:14:20 <oklofok> i haven't slept yet
12:14:26 <fizzie> The google summary-snippets are sometimes very interesting. "For more on this subject see my beer-reviewed journal article entitled Earth, Earth, the Magical Fruit. Our current climate computer model accurately ..."
12:14:45 <oklofok> :D
12:15:42 <oklofok> okay i've been trying to get up and get food for 20 minutes now
12:15:50 * oklofok tries
12:17:47 <fizzie> Misread "oklofok fries", possibly because that's not such an unlikely act for the topic of food-getting.
12:19:01 <oklofok> i mostly microwave things.
12:19:53 <oklofok> especially when i haven't slept
12:19:59 <oklofok> i would just burn myself
12:20:08 <oklofok> if i tried to use the more technical machines
12:20:16 <fizzie> Fry, you fools. Somehow today my brain is wired to generate phrases like that without explicitly trying to, and I can't seem to turn it off.
12:21:12 <oklofok> well it's a pretty phrase
12:21:36 <oklofok> i think it was in the trailer of mcdonald's - the movie
12:31:57 -!- facsimile has joined.
12:58:46 -!- puzzlet_ has joined.
13:12:16 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
14:00:44 <ais523> beer-review?
14:01:04 <ais523> ooh, apparently they're adding function pointers to Java
14:03:18 <AnMaster> really? what's wrong with passing a class around all the time?
14:03:48 <AnMaster> oh and hi ais523
14:03:51 <ais523> AnMaster: have you ever /written/ Java?
14:04:12 <ais523> basically, it avoids four lines of boilerplate every time you want to create any sort of callback
14:04:15 <AnMaster> ais523, no. But I have read it.
14:04:26 <facsimile> four lines is O(1)
14:04:26 <AnMaster> ais523, and duh. I wasn't serious
14:04:31 <facsimile> that shouldn't matter
14:04:39 <ais523> facsimile: yes, but O(1) is still annoying when you have to write it n times
14:04:42 <AnMaster> ais523, I was sarcastic
14:04:54 <ais523> fair enough
14:05:03 <facsimile> That's only O(n), if you work on a team that's easily resolved
14:06:09 <ais523> facsimile: it's still worse than the alternative
14:06:28 <ais523> one of the things people should learn from computer science is that O(n^3) is faster than O(1) for small enough n and large enough 1
14:06:53 <AnMaster> ais523, can't you make a macro to do it
14:07:02 <AnMaster> you could in theory use a preprocessor for java
14:07:09 <ais523> AnMaster: that would be horrific style, and also you'd need to run a separate preprocessor
14:07:18 <AnMaster> ais523, yes I said that just above
14:07:24 <ais523> although, that kind-of makes me want to write .java.m4 files now
14:07:37 <AnMaster> ais523, I was thinking about abusing cpp
14:07:46 <ais523> meh, m4 is better if you want to abuse something, it's Turing-complete
14:08:03 <AnMaster> fair enough
14:08:06 <ais523> I could combine it with my indentation style designed to annoy everyone equally
14:08:13 <ais523> and create a language designed to annoy everyone equally
14:08:21 <ais523> (the m4 would annoy Java fans, the Java would annoy everyone else)
14:08:31 <AnMaster> yay for this web mail system. I have a limit of 50 MB, of which I'm currently using -506KB
14:08:33 <AnMaster> according to it
14:08:42 <ais523> hmm
14:08:54 <AnMaster> it's "Sun ONE Messenger Express", used for the university
14:08:54 <ais523> it would be incredibly funny if it were storing the number of bytes used in a signed 32-bit integer
14:09:05 <ais523> and not /quite/ outside the realm of plausible stupidity
14:09:17 <AnMaster> ais523, adding up the column for all mails in the inbox give me plus 506 KB
14:09:20 <AnMaster> not minus
14:09:27 <ais523> ah
14:09:34 <ais523> I like my explanation better
14:09:37 <AnMaster> ais523, so just the sign is inverted somewhere
14:13:07 <AnMaster> ais523, in a formal English letter, what would you write above your name? "Regards"?
14:13:10 <AnMaster> or something else
14:13:22 <ais523> AnMaster: there's a complicated set of rules that nobody can remember
14:13:30 <ais523> apart from people who write formal letters for a living
14:14:01 <ais523> IIRC it's either "Yours sincerely" or "Yours faithfully" depending on what form of address you used for the recipient up near the top
14:14:06 <AnMaster> ais523, well, lets say I'm writing to one of the teachers at university, one who happens to not be a native Swedish speaker and prefers to receive mail in English thus.
14:14:06 <ais523> but I forget the exact circumstances
14:14:23 <ais523> AnMaster: is there a need for the letter to be really formal?
14:14:52 <AnMaster> ais523, well, I guess you could go even more formal.
14:15:00 <AnMaster> so I guess the answer is: no
14:15:26 <AnMaster> ais523, as for address at the top, it is an email ;P
14:15:51 <AnMaster> (I guess that wasn't what you meant)
14:16:40 <ais523> AnMaster: see http://en.wikipedia.org/wiki/Valediction#English
14:16:55 <AnMaster> "Valediction"?
14:17:20 <ais523> AnMaster: it's the name for the bit at the bottom of a letter where you sign your name
14:17:37 <ais523> anyway, going off to a meeting for a while
14:17:39 <AnMaster> ah
14:17:43 <AnMaster> ais523, cya
14:24:10 <AnMaster> ais523, funny thing: Now when I sent an additonal mail the count went down further. It seems that I actually get -512 KB when I take (sum of sizes of mails in "Inbox") - (sum of sizes of mails in "Sent").
14:24:35 <AnMaster> I have no idea what would happen if I used any other folder
14:24:52 <AnMaster> maybe it would divide or multiply by them? XD
15:12:24 <ais523> oh well, basic rule for formal letters is "yours sincerely" when you know the other person's name, and "yours faithfully" when you don't
15:15:28 -!- FireFly has quit ("Later").
15:21:57 -!- puzzlet_ has quit (Remote closed the connection).
15:22:01 -!- puzzlet has joined.
15:22:51 -!- augur has quit (Read error: 110 (Connection timed out)).
15:28:05 -!- migomipo has quit ("Page closed").
15:30:47 <AnMaster> ais523, hm
15:45:29 -!- augur has joined.
15:56:17 <AnMaster> bbl food
16:21:48 -!- puzzlet has quit (Remote closed the connection).
16:21:54 -!- puzzlet has joined.
16:53:44 -!- MigoMipo has joined.
16:59:57 -!- Pthing has quit (Read error: 110 (Connection timed out)).
17:24:25 -!- ais523 has quit (Remote closed the connection).
17:27:37 -!- kar8nga has joined.
18:08:56 -!- adam_d has joined.
18:34:37 -!- adam_d has quit (Read error: 113 (No route to host)).
19:03:53 -!- adam_d has joined.
19:07:27 -!- Gracenotes has quit ("Leaving").
19:14:28 -!- |MigoMipo| has joined.
19:20:48 -!- MigoMipo has quit (Read error: 60 (Operation timed out)).
19:46:58 -!- sebbu has joined.
19:54:17 -!- puzzlet_ has joined.
19:57:09 -!- puzzlet has quit (Read error: 145 (Connection timed out)).
20:01:50 -!- |MigoMipo| has changed nick to migomipo.
20:04:52 -!- sebbu2 has quit (Read error: 110 (Connection timed out)).
20:43:18 -!- oerjan has joined.
20:54:54 -!- MizardX- has joined.
20:55:33 -!- adam_d_ has joined.
20:57:19 -!- adam_d has quit (farmer.freenode.net irc.freenode.net).
20:57:19 -!- MizardX has quit (farmer.freenode.net irc.freenode.net).
20:57:20 -!- pikhq has quit (farmer.freenode.net irc.freenode.net).
20:57:20 -!- Leonidas has quit (farmer.freenode.net irc.freenode.net).
20:58:23 -!- MizardX- has changed nick to MizardX.
20:58:33 <AnMaster> oerjan, iwc
20:58:40 <AnMaster> :D
20:58:40 <oerjan> read it hours ago
20:58:45 <AnMaster> oerjan, same
20:58:50 <AnMaster> read it before I went away to eat
20:58:55 <AnMaster> but, you weren't here then
20:59:09 <AnMaster> oerjan, also I just saw the most horrible pun in a product name in Swedish
20:59:20 -!- adam_d has joined.
20:59:20 -!- Leonidas has joined.
20:59:20 -!- pikhq has joined.
20:59:32 <AnMaster> oerjan, want to hear it?
20:59:43 <oerjan> Okej
20:59:48 <AnMaster> right,
21:00:03 <AnMaster> vet du vad "nässprej" är? (Är det samma på norska?)
21:00:14 <oerjan> nesespray
21:00:24 <AnMaster> i alla fall så såg jag en sådan med namnet "Renässans"
21:00:34 <Deewiant> :-D
21:00:34 -!- pikhq_ has joined.
21:00:51 <oerjan> i think that's a double pun... ren- also has something to do with nose
21:00:57 <oerjan> no wait
21:01:02 <oerjan> it's rhin-
21:01:08 <AnMaster> oerjan, in fact it was: "Renässans Plus+"
21:01:15 <AnMaster> (yes the + after the "Plus")
21:01:41 <AnMaster> oerjan, "rhin-"? not in Swedish at least. Maybe latin?
21:01:46 <oerjan> greek
21:01:56 <oerjan> there's one such spray called rhinox
21:02:04 <AnMaster> ah
21:02:16 <AnMaster> oerjan, what do you call such a spray in English?
21:02:52 <oerjan> heh it's also a transformers character
21:03:01 <AnMaster> oerjan, what is?
21:03:06 <AnMaster> Renässans?
21:03:09 <oerjan> "rhinox"
21:03:11 <AnMaster> oh
21:03:30 <oerjan> http://en.wikipedia.org/wiki/Nasal_spray
21:04:53 -!- iamcal has quit.
21:06:09 <fizzie> Nosehelper!
21:06:19 <AnMaster> fizzie, where did you get that from?
21:07:02 <fizzie> It was this Assembly 99 "wild demo" compo (basically a movie of anything at all) third-place-winner.
21:07:18 -!- adam_d has quit (Nick collision from services.).
21:07:21 -!- adam_d_ has changed nick to adam_d.
21:08:01 <AnMaster> heh
21:08:45 <fizzie> It was about an imaginary nose hair trimmer tool. (In fact it was a small one of those "plasma lamps" -- http://en.wikipedia.org/wiki/Plasma_globe -- you must've seen one. You sort of rubbed your nose against it, and presumably it removed some nose hair or something.)
21:08:55 <fizzie> (It also came with a full-sized car battery. Mobility!)
21:09:22 <fizzie> (Disclaimer: the description is based on my very fallible and vague memories; I haven't been able to find the video file anywhere.)
21:09:44 <fizzie> Wait, it's in youtube now.
21:09:54 <fizzie> Uploaded September 14, 2009. That's synchronicity for you!
21:10:14 <oerjan> Notable side effects: May set your nose hairs on fire. If so, try sneezing.
21:10:16 <fizzie> http://www.youtube.com/watch?v=AleEMZl5bQI -- it is unfortunately only in Finnish, I think. (I don't have speakers connected.)
21:10:28 <AnMaster> fizzie, err... what was the point of that video
21:10:39 -!- cal153 has joined.
21:10:51 <fizzie> And in fact it doesn't seem to be just a nose hair trimmer; it helps in any nose-related problems.
21:10:54 <fizzie> Point?
21:11:16 <AnMaster> hah
21:11:19 <AnMaster> well was was it for then
21:11:59 -!- pikhq has quit (Connection timed out).
21:12:07 <fizzie> What's that word? http://en.wikipedia.org/wiki/Sketch_comedy
21:12:11 <AnMaster> ah
21:12:59 <AnMaster> fizzie, yeah Finnish only
21:13:36 <fizzie> Here's a completely irrelevant bit of trivia: I think that female "announcer" person is the daughter of the former (and longtime) editor-in-chief of Finland's arguably largest computer-tech-related magazine.
21:15:12 <fizzie> (333000 readers, a circulation of 93364 copies.)
21:17:25 <AnMaster> fizzie, what was the "Assembly 99 "wild demo"" thingy about?
21:17:45 -!- Leonidas has quit (farmer.freenode.net irc.freenode.net).
21:19:20 <fizzie> Well, that's where that video was an entry in.
21:19:22 -!- Leonidas has joined.
21:19:39 <AnMaster> fizzie, and what was "assembly 99" about?
21:19:47 <AnMaster> not about assembly programming I guess?
21:19:54 <Deewiant> Assembly is a demoparty, 99 is the year 1999.
21:19:58 <fizzie> A demoscene party thing; I'm *sure* I've mentioned Assembly here.
21:20:53 <AnMaster> fizzie, I'm unable to see what this video had to do with "assembly programming" and "demo". I would expect some computer generated 3D thingy or such instead.
21:21:55 <fizzie> Well, like I said, it's a wild compo entry.
21:21:56 <fizzie> Those can be anything.
21:21:59 <fizzie> Usually some fraction is just generic parody video style stuff.
21:22:17 <fizzie> And others are very vaguely computer-related, and some more directly.
21:22:29 <fizzie> Though they've been messing around with the categories lately.
21:23:09 <fizzie> Youscope was a not too shabby one; it was a demo-style thing displayed on the screen of an oscilloscope connected to a computer sound card.
21:23:35 <fizzie> http://www.youtube.com/watch?v=s1eNjUgaB-g and so on.
21:25:27 <fizzie> Currently (well, in 2009) the category split was so that "Real Wild demo" entries must be "anything that can run realtime graphics", and there was a separate "short film" category for not-programmed stuff.
21:26:59 <SimonRC> "Most soundcards (and other players) seem to have a lowpass filter at about half of the samplerate" <-- that sounds rather like Information Theory 101
21:30:04 <fizzie> The Nyquist-Shannon sampling theorem part is unarguably "Information Theory 101" content; but it is a non-obvious consequence (though admittedly not so unexpected) that people actually add separate low-pass filters in.
21:30:22 <SimonRC> ah, ok
21:31:11 <SimonRC> What would the low-pass filter block? Surely the card can't produce any frequencies above half the sample rate?
21:31:20 <SimonRC> unless it blocks the sharp transitions
21:31:33 <fizzie> I'm not quite sure; for recording it obviously makes sense.
21:33:17 <SimonRC> hm
21:36:58 <fizzie> It *might* (and this is pure speculation) be there to filter out any D/A converter-caused high-frequency artifacts or noise, since (like you say) only the frequencies below half the sample rate can possibly contain any meaningful information.
21:37:13 <SimonRC> yeah
21:37:34 <SimonRC> e.g. to turn the steppiness of the digitiser into smooth waves
21:37:51 <SimonRC> but we *want* the steppiness for the oscilloscope
21:39:30 <fizzie> I've completely forgotten all the low-level signal processing delta-sigma-based DAC constructions. "A typical DAC converts the abstract numbers into a concrete sequence of impulses that are then processed by a reconstruction filter using some form of interpolation to fill in data between the impulses." It might be that the reconstruction filter is tuned to drop high frequencies there.
21:58:09 <AnMaster> fizzie, how did they manage those shapes? I wasn't aware they could do that
21:59:06 <SimonRC> the OS was in XY mode
21:59:19 <SimonRC> which means you just plot points with an appropriate signal
21:59:59 <AnMaster> heh
22:01:20 <AnMaster> SimonRC, do those things use CRTs or what?
22:03:26 <SimonRC> oscilloscopes use CRTs traditionally
22:05:11 -!- kar8nga has quit (Remote closed the connection).
22:14:37 <fizzie> Yes, they pretty much linearly map the input voltages into X/Y deflection.
22:14:45 <fizzie> Though modern ones are pretty digital.
22:15:45 <AnMaster> fizzie, about x/y how would you use voltage for *both*?
22:15:58 <AnMaster> when in XY mode
22:16:02 <SimonRC> with two input wires?
22:16:05 <fizzie> Well, for both in the XY mode; like Youscope did.
22:16:06 <fizzie> Right.
22:16:07 <AnMaster> SimonRC, oh right
22:16:17 <SimonRC> one from the left channel, one from the right
22:16:18 <fizzie> Left and right stereo channels in this case.
22:16:21 <fizzie> Gaaaa I am slow.
22:16:25 <SimonRC> heh
22:17:04 <fizzie> There's something so romantic about oscilloscopes.
22:17:09 <fizzie> All those knobs to twiddle, you know.
22:17:51 <AnMaster> XD
22:18:18 <fizzie> Best part of the electronics lab course, and the DSP hardware course, was that one got to mess around with an oscilloscope.
22:20:41 <fizzie> Oh, and they sell those PC-based "oscilloscopes", or data-acquisition devices, nowadays; now that's as boring as anything, just a block you connect wires to, an USB cable to, and then run some messy Windows GUI app.
22:21:10 <SimonRC> ;-(
22:21:20 <SimonRC> custom hardware is so much more fun!
22:21:34 <AnMaster> fizzie, windows? :(
22:21:40 <AnMaster> it would be ok if it worked with linux
22:22:05 <fizzie> AnMaster: Well, it's not like I have done a thorough study; some of them might have Linux capabilities too.
22:22:12 <fizzie> For some reason my work email address gets a lot of spam about data acquisition devices, though.
22:22:23 <SimonRC> do you need a DAD?
22:23:56 <fizzie> "Windows® 7, Vista, XP or Windows® 2000 operating system" for the first google-hit, USBee: http://www.usbee.com/dx.html#PC
22:24:41 <fizzie> Of course those can do a lot more tricks than your old 1970s CRT oscilloscope; for example, decode and visualize communications protocols.
22:25:28 <SimonRC> ok
22:26:07 <fizzie> "Linux drivers for PicoScope 2000, 3000 and 5000 Series USB Oscilloscopes
22:26:07 <fizzie> At Pico we were one of the first test and measurement companies to provide Linux drivers. We hope that these new drivers for the PicoScope 2000, 3000 and 5000 Series of USB Oscilloscopes demonstrates our continued commitment to the Linux platform.
22:26:07 <fizzie> These drivers have been extensively tested on Fedora 8, Ubuntu 8.04 and openSUSE 10.3."
22:26:18 <fizzie> Well, it's not *completely* Windows-only.
22:26:46 <fizzie> Of course the drivers are binary-only blobs and possibly do not include any sort of real application in there.
22:27:10 -!- pikhq_ has changed nick to pikhq.
22:30:17 <pikhq> Hmm. Chrome OS source available...
22:31:00 <pikhq> May have to play with it sometime later.
22:31:51 <AnMaster> hm
22:49:11 -!- Gracenotes has joined.
22:51:12 -!- adam_d_ has joined.
22:55:06 -!- migomipo has quit ("co'o rodo").
23:01:55 -!- immibis has joined.
23:06:39 -!- adam_d_ has quit ("Leaving").
23:09:20 -!- adam_d has quit (Read error: 110 (Connection timed out)).
23:12:39 -!- Rugxulo has joined.
23:14:15 <Rugxulo> cd ~
23:14:15 <Rugxulo> ls
23:14:16 <Rugxulo> ls -la
23:14:18 <Rugxulo> cd
23:14:19 <Rugxulo> cd ~
23:14:22 <Rugxulo> ls
23:14:23 <Rugxulo> argh
23:14:26 <Rugxulo> ;-)
23:14:31 * Rugxulo slaps himself
23:14:35 <immibis> wtf
23:14:49 <Rugxulo> sorry, my bad my bad
23:18:46 <SimonRC> better than the time I tried to login in as root and run shutdown without turning the screen on
23:18:51 <facsimile> hehe
23:18:57 -!- coppro has joined.
23:22:41 <SimonRC> ** ERROR: Too much concurrent IRC input. Shedding load. **
23:26:07 <immibis> i hope that channel wasn't logged, SimonRC?
23:32:30 <Rugxulo> !seen ais523
23:32:36 <Rugxulo> (bah, had to try)
23:33:43 -!- puzzlet_ has quit (Remote closed the connection).
23:33:47 -!- puzzlet has joined.
23:33:58 <immibis> "!seen"?
23:34:52 <Rugxulo> bot command
23:37:47 <Rugxulo> "nomicers" ??
23:38:32 <oerjan> nomic-ers
23:39:24 * oerjan is a no-micer himself
23:42:42 <oerjan> nom-icers may not be unheard of either
23:53:25 <Rugxulo> apparently ais523 hasn't been here in about six hours
23:53:36 <Rugxulo> oh well, nothing hugely important to report anyways ;-)
23:56:15 -!- Sgeo has joined.
←2009-11-18 2009-11-19 2009-11-20→ ↑2009 ↑all