←2008-03-02 2008-03-03 2008-03-04β†’ ↑2008 ↑all
00:09:18 -!- olsner has quit ("Leaving").
00:13:32 -!- ehird has quit ("Konversation terminated!").
00:17:47 -!- Corun has quit (Read error: 104 (Connection reset by peer)).
00:20:00 -!- Tritonio_ has joined.
00:20:25 -!- Corun has joined.
01:02:49 <slereah_> Man are the programs for the analytical engine ugly.
01:04:14 <Tritonio_> hello
01:04:40 <slereah_> Hi.
01:05:08 <ihope> Where can you see them?
01:05:42 -!- sebbu has quit ("@+").
01:06:27 <slereah_> IN MY MIND
01:06:28 <slereah_> AAAAAA
01:06:33 <slereah_> But more accurately,
01:06:41 <slereah_> http://www.fourmilab.ch/babbage/cards.html
01:07:03 <slereah_> Although I suppose a better language could be written for it.
01:35:52 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
01:36:17 -!- Judofyr has joined.
02:00:37 -!- slereah__ has joined.
02:00:37 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)).
02:10:11 -!- ihope has quit (Read error: 110 (Connection timed out)).
02:52:33 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
02:52:57 -!- Judofyr has joined.
03:01:20 -!- Corun has quit ("Leaving").
03:24:39 * Sgeo is now a "wannabe Canadian" thanks to ehird
04:13:59 -!- slereah_ has joined.
04:20:22 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)).
04:47:32 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)).
04:47:50 -!- slereah_ has joined.
05:07:07 <pikhq> . . . I just *won* the game.
05:10:19 <oklokok> no you didn't
05:10:22 <oklokok> get over it
05:10:28 <pikhq> www.xkcd.com
05:10:35 <pikhq> Randall Munroe's word is law.
05:11:04 -!- GreaseMonkey has joined.
05:11:13 <slereah_> Finally!
05:11:18 <slereah_> It's about time!
05:12:11 <oklokok> :o
05:21:19 -!- calamari has quit (Remote closed the connection).
05:25:30 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
05:26:50 -!- Judofyr has joined.
05:35:32 -!- Sgeo has quit (Remote closed the connection).
06:54:31 <bsmntbombdood> i was winning the game until 10:00
07:14:31 -!- olsner has joined.
07:14:45 <oklokok> wow, i actually started writing an oklotalk interp :o
07:15:00 <oklokok> S={A=_;΄{B=_;΄{C -> A!C!(B!C)}}};
07:15:00 <oklokok> K={A=_;΄{B=_;A}};
07:15:00 <oklokok> S!K!K!3
07:15:09 <oklokok> that works now
07:15:33 <oklokok> err... S={A=_;΄{B=_;΄{C=_;A!C!(B!C)}}}; that is
07:16:04 <oklokok> it's prettier once i add pattern matching, but i'll take a break first
07:51:01 <oklokok> mwahaha, oklotalk has both dynamic and static scoping, simultaneously for each variable
07:51:35 <oklokok> sometimes i feel i've designed this language to be especially unsuited for compilation
07:51:49 <oklokok> i guess that was one of my goals
07:55:38 <oklokok> S={A=_;΄{B=_;΄{C -> A!C!(B!C)}}};
07:55:38 <oklokok> K={A=_;X=8;΄{B=_;A}};
07:55:38 <oklokok> X = {_ - 3};
07:55:38 <oklokok> Y = 4;
07:55:38 <oklokok> (`(`(`(s (`(s (k S)) (`(s (k K)) (`(s K) K)))) (k (`(s K) K))) X) Y)
07:55:41 <oklokok> works!
07:56:14 <oklokok> wonder if i can safely assume scoping works perfectly
07:56:27 <oklokok> that applies X to Y
07:56:34 <oklokok> returning 1
07:57:25 <oklokok> http://www.vjn.fi/pb/p614566165.txt i love my hand-compiled oklotalk code
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:06:18 -!- slereah_ has quit (Remote closed the connection).
08:06:33 -!- slereah_ has joined.
08:13:08 -!- oerjan has joined.
09:00:04 -!- GreaseMonkey has quit ("Read error: 110 (Connection chickened out)").
09:01:57 -!- olsner has quit ("Leaving").
09:08:08 <AnMaster> <oklokok> wow, i actually started writing an oklotalk interp :o
09:08:13 <AnMaster> wtf is oklotalk?
09:09:16 <oerjan> oklopol's pet language. probably unimplementable. ;)
09:11:01 <oklokok> well, at least i think i can implement this subset ;)
09:11:08 <slereah_> Not even if you had an Oklopol at home?
09:11:13 <oklokok> granted, i'm leaving out a lot of stuff
09:12:30 <oklokok> for example, with my current implementation i'm pretty much bound to python's lack of tail recursion and continuations, and cannot have them either
09:13:04 <AnMaster> oklokok, got a link for details on this language?
09:13:13 <oklokok> you'd think :)
09:13:23 <oklokok> i wrote a tutorial of some sort
09:13:30 <AnMaster> link?
09:13:55 <oklokok> but that's a bit outdated now, because i made a few changes (for the better!)
09:13:59 <oklokok> hmm
09:14:10 <oklokok> i can try and locate it
09:14:16 <AnMaster> oklokok, I want to see the specs for the language :P
09:15:05 <oklokok> i'm not sure i hate you enough to torture you with the specifics ;)
09:15:12 <oklokok> also, i don't have a written spec
09:15:31 <oklokok> you can look at my interp once i get it working!
09:15:50 <AnMaster> oklokok, ok tell me about it then
09:15:57 <AnMaster> what kind of language is it
09:16:13 <oklokok> it's designed to be fairly terse
09:16:18 <oklokok> with a very free syntax
09:16:32 <AnMaster> you know about perl right?
09:16:34 <AnMaster> ;P
09:16:35 <oklokok> for example, you can do sexps, haskell-style and C-style function calls
09:16:38 <oklokok> yeah
09:16:47 <oklokok> i know some perl
09:17:08 <oklokok> oklotalk is prototype-based (kinda), and uses _ for args
09:17:15 <oklokok> although neither choise was from perl
09:17:18 <AnMaster> <oklokok> it's designed to be fairly terse <oklokok> with a very free syntax <-- sounds like perl to me :P
09:17:39 <oklokok> _ was a coincidence, and prototyping just arose from what i used for functions
09:17:49 <AnMaster> not that I can code perl, I code C, bash, awk, brainfuck, and some other ones
09:17:52 <oklokok> perl is a lot less free
09:17:56 <oklokok> in syntax
09:18:11 <AnMaster> oklokok, ok thats extreme
09:18:15 <oklokok> {X -> {Y -> X}}!$5, 8)!΄{A B->A+B} == 5+8
09:18:19 <oklokok> {X -> {Y -> X}}!$5 8)!΄{A B->A+B} == 5+8
09:18:23 <oklokok> {X -> {Y -> X}}!5 8)!΄{A B->A+B} == 5+8
09:18:29 <oklokok> ({X -> {Y -> X}}!5 8)!΄{A B->A+B} == 5+8
09:18:36 <oklokok> ({X -> ΄{Y -> X}}!5 8)!΄{A B->A+B} == 5+8
09:19:04 <oklokok> you can change about 20 details there without changing it
09:19:09 <AnMaster> is it possible to design an esoteric language, with sane syntax that isn't a turing tarpit I wonder
09:19:20 <AnMaster> or would it not count as esoteric then
09:19:37 <oklokok> well, the definition includes weird ideas
09:20:02 <AnMaster> hm?
09:20:12 <AnMaster> what do you mean?
09:20:15 <oklokok> i consider graphica (HAVE I MENTIONED GRAPHICA?!??) esoteric, although it can be used for normal pattern matching based functional programming
09:20:35 <AnMaster> haven't heard of graphica before
09:20:48 <oklokok> because its idea is ...well, i'd like to say new
09:20:56 <oklokok> but it's prolly as old as oerjan
09:21:01 <AnMaster> what is it's idea?
09:21:18 <oklokok> you know haskell?
09:21:32 <oklokok> well, you don't have to
09:21:46 <AnMaster> I don't know much functional programming really
09:21:53 <AnMaster> a bit of lisp
09:21:57 <oerjan> yes you do! it's obligatory! :D
09:22:00 <oklokok> just that you can make trees in a similar fashion (at least syntactically)
09:22:03 <oklokok> like
09:22:04 <oklokok> hmm
09:22:16 <oklokok> Tree 0 = ()
09:22:22 <AnMaster> oerjan, a bit of lisp I know, or rather, elisp
09:22:28 <oklokok> Tree n = Tree n-1, Tree n-2
09:22:40 <oklokok> this would make a fibonacci heap -like structure
09:22:49 <oklokok> do you see it?
09:22:55 <AnMaster> ok *waits for things to make sense*
09:23:11 <oklokok> now, this kinda of recursive shit only lets us make trees
09:23:18 <oklokok> in the mathematical sense
09:23:31 <AnMaster> ah now I think I understand
09:23:34 <oklokok> now, to be able to make arbitrarily connected graphs, i added global tagging
09:23:50 <oklokok> global tagging means, you can make a ring like this:
09:24:07 <oklokok> first, on the top level, you tag the top node as "top"
09:24:22 <oklokok> then, at Ring 0, you tag current node as "top" again
09:24:31 <AnMaster> ok
09:24:33 <oklokok> now, the bottom case is considered the same case as the top case
09:24:56 <oklokok> effectively creating a ring
09:25:04 <oklokok> i can show this in code
09:25:04 <AnMaster> oklokok, we aren't talking about rings as in "kernel executes in ring 0" I assume?
09:25:12 <oklokok> heh
09:25:13 <oklokok> no
09:25:15 <oklokok> like
09:25:33 <oklokok> we have nodes A, B, C, D and E, where A->B->C->D->E->A
09:25:36 <AnMaster> ah right
09:25:37 <oklokok> where -> is a connection
09:25:52 <AnMaster> oklokok, looped linked list?
09:25:56 <oklokok> this would be something like this (wait a bit)
09:26:04 <oklokok> yeah
09:26:45 <AnMaster> (I normally prefer C, I guess that shows)
09:27:05 <oklokok> Ring n :: #top
09:27:05 <oklokok> = Ring n 0
09:27:05 <oklokok> Ring n n :: #top
09:27:05 <oklokok> Ring n m
09:27:05 <oklokok> -> Ring n m+1
09:27:10 <oklokok> this is one way to do it
09:27:16 <oklokok> :: means tagging
09:27:20 <AnMaster> ok
09:27:25 <oklokok> = means absolute equality, or "redirection"
09:27:33 <oklokok> re-evaluate this node as ...
09:27:53 <oklokok> this way you can first add a few connections, then call the node something else to add some more
09:27:59 <oklokok> -> means "connection to"
09:28:11 <oklokok> as do <- and <->, but for different directions
09:28:24 <AnMaster> right
09:29:11 <oklokok> currently, graphs are evaluated strictly, and making them lazy, while errorless, would actually be impossible
09:29:14 * AnMaster still thinks that a clearer way to describe a linked list would be along the lines of: typedef struct listItem { void * data; size_t size; listItem * next; }
09:29:56 <oklokok> no it isn't
09:30:01 <AnMaster> no?
09:30:03 <oklokok> no.
09:30:07 <AnMaster> ?
09:30:17 <oklokok> mine was a complete definition
09:30:28 <oklokok> if you actually implement the whole thing, it's not as pretty.
09:30:32 <AnMaster> true,I would need to add how to use this data structure
09:30:56 <oklokok> graphica is very intuitive once you get the hang of it
09:31:07 <AnMaster> oklokok, a lot of things are
09:31:13 <oklokok> i've made tons of graphs with it, and they usually work right away
09:31:53 <oklokok> http://www.vjn.fi/oklopol/graphica.txt <<< an n-dimensional binary cube
09:32:37 <oklokok> it would be about a half shorter, if i had some list operations in the language
09:34:04 <oklokok> graphica actually has a spec of some sort
09:34:16 <oklokok> but i seem to have lost that one too :D
09:34:27 <oklokok> always fun when a computer breaks <3
09:36:11 <oklokok> another idea in graphica was the fact that [4 5+2] is parsed as [4 (+ 5 2)]
09:36:21 <oklokok> this is very useful, actualyl
09:36:25 <oklokok> *actually
09:36:52 <oklokok> also, my screen just flipped 90 degrees clockwise
09:37:07 <oklokok> quite hard to move the mouse and i have a hard time reading
09:38:05 <oklokok> does anyone know how to flip it back?
09:38:20 <oklokok> and whether this in fact is something my computer should be doing :D
09:39:43 <oerjan> it's achieving sentience. RUN! RUN AWAY!
09:40:23 <oklokok> okay, fixed
09:42:05 <oklokok> also, dropped my cell phone in a glass of water
09:42:09 <oklokok> by accident
09:42:32 <oklokok> AnMaster: lemme see your c version of the cube :)
09:42:54 <oklokok> (mine worked on the first attempt, unless you cound the fact i had a few syntax errors)
09:43:45 <oklokok> someday, graphica will be the sql of graph-creation, i tells ya!
09:43:56 <oklokok> sql sucks by the way
09:44:25 <AnMaster> heh
09:44:35 <AnMaster> oklokok, I don't even understand the problem
09:44:42 <oklokok> the problem?
09:44:50 <AnMaster> oklokok, however, what language would you use to write an interrupt handler? ;P
09:45:01 <oklokok> n-dimensional binary hypercube, what's there to understand
09:45:39 <AnMaster> oklokok, well, I'm in what equals last year of high school here in Sweden
09:45:46 <AnMaster> so not cs student yet heh
09:45:52 <oklokok> AnMaster: 1) i wouldn't write that 2) graphica is designed for the exact purpose of making graphs
09:45:54 <AnMaster> however I plan that next year
09:46:17 <oklokok> 3) i know you were joking, i just don't laught at jokes, i ruin them by appearing to take them seriously
09:46:21 <AnMaster> so I admit, that part of that stuff goes over my head
09:46:34 <AnMaster> oklokok, ah THAT kind of person
09:46:35 <AnMaster> sigh
09:46:35 <oklokok> well, i'm in the same class
09:46:46 <oklokok> you know more of us?
09:46:57 <oklokok> hot stuph
09:47:10 <AnMaster> huh?
09:47:19 <AnMaster> ispell doesn't know "stuph"?
09:47:22 <AnMaster> nor do I
09:47:26 <oklokok> ph == ff
09:47:33 <AnMaster> ah
09:47:39 <oklokok> like graph is actually just leetspeak for graff
09:47:39 <AnMaster> weird typo
09:47:49 <AnMaster> oklokok, now that is a joke
09:48:02 <oklokok> yes.
09:48:06 <oklokok> it indeed was.
09:48:47 <AnMaster> however, I wonder, is it possible to write an esoteric language, that is general-purpose, got a nice syntax, and isn't a turing tarpit?
09:49:05 <oklokok> anyway, in an n-dimensional binary hypercube the coordinates of each node are lists of length n containing ones and zeroes
09:49:25 <oklokok> and every number [0..2^n[ is a node
09:49:39 <oklokok> (as its binary representation as a list)
09:50:03 <oklokok> for each node N: for each node M: if H(N, M)==1, N<->M
09:50:08 <oklokok> where H is hamming distance
09:50:39 <AnMaster> mhm
09:50:47 <oklokok> H = sum( [m!=n for n:N, m:M] )
09:51:04 <oklokok> hamming distance = number of places where the lists diffe
09:51:05 <oklokok> r
09:52:39 <oklokok> for an x-ary hypercube you just allow any combination of numbers [0..x[ in the lists
09:52:58 * AnMaster wonders, object orientated brainfuck, hm
09:53:11 <AnMaster> as a new language of course
09:53:29 <oklokok> i was designing something of that sort as a macro language for brainfuck
09:53:41 <oklokok> cerebral penetration
09:54:05 <oerjan> Reaper is intended to have a nice-looking syntax. But just on the surface.
09:54:08 <oklokok> but i was a noober back then
09:54:22 <AnMaster> also, functional brainfuck, hm
09:54:38 <AnMaster> oklokok, oh why not use m4 ;P
09:54:57 <oklokok> all i remember about Reaper is that it's based on destructors, and that you have multiple ways to separate the parts of an atom token
09:55:02 <oklokok> m4?
09:55:09 <oklokok> functional brainfuck, in what sense?
09:55:11 <AnMaster> macro language, used by autotools
09:55:28 <oklokok> if you mean a procedural one, it's been done
09:55:37 <AnMaster> oklokok, not procedural
09:55:44 <AnMaster> I done a procedural one myself so...
09:55:47 <AnMaster> I mean functional
09:55:56 <AnMaster> higher order functions and so on
09:56:00 <oklokok> first-class fucntions?
09:56:03 <oklokok> functions
09:56:04 <oklokok> yeah
09:56:31 <oklokok> so... m4 does generix object oriented macro languages?
09:56:33 <oklokok> generic
09:56:41 <AnMaster> oklokok, not object orientated no
09:56:53 <AnMaster> but you could likely implement it hehe
09:56:56 <oklokok> well, then that's why not use it :)
09:57:05 <AnMaster> http://en.wikipedia.org/wiki/M4_%28computer_language%29
09:57:36 <AnMaster> oklokok, ever used autoconf? or automake
09:57:41 <oklokok> no
09:57:43 <AnMaster> they use m4 heavily
09:57:45 <oklokok> i've never used anything
09:57:58 <oklokok> i don't trust a wheel i didn't invent
09:57:58 <AnMaster> oklokok, I bet you got m4 installed on your computer (assuming it is not windows)
09:58:06 <oklokok> it is windows now
09:58:11 <AnMaster> ugh
09:58:17 <oklokok> vista <3
09:58:27 <AnMaster> :(
09:58:30 <AnMaster> DRM :(
09:59:34 <oklokok> well, i don't see anything fundamentally wrong in preventing piratism
09:59:56 <oklokok> as long as i'm not in a minority not being able to do it
10:00:25 <oklokok> in case that's what DRM is, i don't actually know anything, nor care
10:00:37 <AnMaster> http://en.wikipedia.org/wiki/Digital_rights_management#Controversy
10:01:01 <oklokok> i gotta admit vista is even worse than ubuntu, though, should try to get xp or something here
10:02:15 <oklokok> well, vista is more reliable, but xp was a lot better
10:02:24 <oklokok> i mean, more reliable than ubuntu
10:02:35 <AnMaster> well I don't use ubuntu
10:02:42 <AnMaster> I run Gentoo Linux and FreeBSD
10:02:56 <oklokok> i hear gentoo works
10:03:11 <oklokok> but i'm fairly sure i couldn't get it installed
10:03:14 <AnMaster> works well for me
10:03:23 <AnMaster> oklokok heh
10:07:12 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)).
10:08:02 -!- slereah_ has joined.
10:08:11 <oklokok> reaper's page is much too hard to understand
10:09:11 <oklokok> hmph, now i'm just staring at the screen :D
10:09:28 <oklokok> oklotalk or scrubs, gotta ask my bot
10:09:49 <oklokok> <oklokok> >>> choose oklotalk scrubs
10:09:49 <oklokok> <ololobot> scrubs
10:09:57 <oklokok> ololobot is never wrong
10:28:36 -!- slereah_ has quit (Read error: 104 (Connection reset by peer)).
10:30:00 -!- slereah_ has joined.
10:30:27 <AnMaster> oklokok, what is scrubs?
10:30:31 <oklokok> a show
10:30:40 <oklokok> tv series
10:30:45 <oklokok> sitcom
10:30:50 <AnMaster> Isee
10:30:52 <AnMaster> I see*
10:41:59 <oklokok> F = {A B -> A * B; N -> N * 3};
10:41:59 <oklokok> f 3;
10:41:59 <oklokok> f 6 7
10:42:03 <oklokok> pattern mtaching works
10:42:07 <oklokok> *matching
10:42:08 <oklokok> yay
12:18:14 -!- oerjan has quit ("leaving").
12:25:47 -!- sebbu has joined.
13:17:19 -!- Deewiant has left (?).
13:43:39 -!- timotiis has joined.
13:48:45 -!- wildhalcyon has joined.
14:00:01 -!- timotiis has quit ("leaving").
14:00:09 -!- timotiis has joined.
14:04:03 -!- RedDak has joined.
14:21:52 -!- jix has joined.
14:51:31 -!- RedDak has quit (Remote closed the connection).
15:09:24 -!- dbc has quit (Read error: 110 (Connection timed out)).
15:31:03 -!- slereah__ has joined.
15:47:42 -!- dbc has joined.
15:58:45 -!- slereah_ has quit (Connection timed out).
16:09:49 * Judofyr is almost finished with a bf2sku program in Skull+ :)
16:10:54 <Judofyr> pretty slow though
16:27:46 -!- Sgeo has joined.
16:27:53 <Judofyr> yay!
16:28:03 <Sgeo> Hi
16:28:06 <Sgeo> Judofyr, hm?
16:28:11 <Judofyr> bf2sku is 780 bytes in Skull+ :D
16:28:18 <Judofyr> Sgeo: just written a bf2sku
16:28:21 <Sgeo> Skull+?
16:28:32 <Judofyr> http://esoteric.voxelperfect.net/wiki/Skull_plus
16:28:33 -!- helios24 has joined.
16:28:40 <Sgeo> hi helios24
16:28:50 <helios24> hi
16:29:07 <Judofyr> Sgeo: My little Skull-derivative :)
16:33:25 <Judofyr> Sgeo: Here's the code: http://gitorious.org/projects/sofaskull/repos/mainline/blob/master/samples/bf2sku.sku
16:35:47 -!- ehird has joined.
16:36:08 -!- ehird has set topic: #awesome | esoteric as always.
17:18:39 -!- RedDak has joined.
17:23:14 -!- wildhalcyon has quit ("ChatZilla 0.9.81 [Firefox 2.0.0.11/2007112718]").
17:50:45 -!- lifthrasiir has quit (brown.freenode.net irc.freenode.net).
17:51:22 -!- lifthrasiir has joined.
17:55:55 -!- ais523 has joined.
18:07:59 <ehird> ais523: hellos
18:08:10 <ais523> ehird:
18:08:26 <ehird> ais523:
18:08:36 * ais523 is here
18:08:49 <ehird> !!!! really?!/129817981212
18:09:28 <ais523> I have to try to start a conversation somehow
18:09:39 <ais523> or we'll just be pingspamming the channel indefinitely
18:10:12 <ehird> ping
18:10:31 <ais523> pong
18:10:38 <ais523> hmm... seems that attempt didn't work
18:11:59 <ehird> [18:11] [CTCP] Received CTCP-PING request from ais523, sending answer.
18:12:04 <ehird> the all-seeing eye of konversation
18:12:08 <ais523> yes
18:12:19 <ais523> it even lets me know when Freenode sends a ctcp-version
18:12:24 <ais523> hmm... I wonder why it does that?
18:12:25 <ehird> you use konversation too <3 we're like soulmates
18:16:35 <ehird> ais523: ESO should have a TURKEY BOMB spec
18:16:40 <ehird> that is as vague and meaningless as the original
18:16:58 <ais523> the original isn't vague and meaningless!
18:16:59 <ehird> call it CHICKEN EXPLOSIVE, citing trademark claims by Cats Eye Technologies
18:17:12 <ehird> there should be a derivative, Esutu, with a flashier site,
18:17:16 <ais523> most of it is very well defined, it's just that a few things are left deliberately unclear
18:17:21 <ehird> that renames it back to TURKEY BOMB, after a deal with CatsEye
18:17:32 <ehird> (is my Debian/Ubuntu/Firefox parody obvious enough yet?)
18:18:08 <ais523> if it was a propor parody, then you'd need to have tried a couple of other names first, finding that they were copyrighted by third parties
18:18:15 <ais523> s/propor/proper/
18:18:27 <ehird> ais523: no
18:18:32 <ehird> that's a different one
18:18:35 <ehird> Debian didn't do that
18:18:37 <ais523> that was Firefox
18:18:41 <ehird> yes
18:18:41 <ehird> but
18:18:42 <ehird> I meant the IceWeasel thing
18:18:45 <ehird> very recently
18:19:04 <ehird> Moz say 'LULZ, OUR ICON & STUFF - COPYRITED. U CANT USE IT UNDER A FREE LICENZE, BTCHZ'
18:19:20 <ehird> Debian say 'Well, ok then. we'll call it IceWeasel, and make our own icon
18:19:38 <ehird> Ubuntu say 'THIS DESTROYS OUR FLASHY EFFECTS. Hey moz, mind if we include it? Under that non-free license of yours'
18:19:42 <ehird> Moz say 'SUR'
18:19:44 <ehird> Debian say '*sigh*'
18:19:59 <ais523> Debian are pretty strict about freeness
18:20:17 <ais523> for instance, I think they refused to include the documentation for GNU tar because they didn't like its license
18:20:36 <ais523> that might be the wrong program, though, but I remember it was some really common GNU program
18:20:50 <ehird> ais523: I wouldn't call this 'pretty strict'!
18:21:06 <ais523> The GNU folks, in general, abhor man pages, and create info documents
18:21:06 <ais523> instead. Unfortunately, the info document describing tar is licensed
18:21:06 <ais523> under the GFDL with invariant cover texts, which violates the Debian
18:21:06 <ais523> Free Software Guidelines. As a result, the info documentation for tar
18:21:06 <ais523> is not included in the Debian package.
18:21:08 <ehird> Mozilla foundation explicitly said that the Firefox name and icon were (C)&TM, and that they must stay under a non-free license.
18:21:13 <ais523> I know
18:21:28 <ehird> I think that not accepting that is just reasonable.
18:21:33 <ehird> Mozilla is just like IBM, Sun, etc. anyway
18:21:37 <ehird> They don't 'get' open source.
18:21:39 <ais523> protecting the trademark is one of the easiest ways to try to maintain control over an open source project
18:21:42 <ehird> They just jumped on the bandwagon when it looked shiny.
18:22:00 <ehird> So Firefox &co. are very bad open-source/free-software posterchildren
18:22:12 <ais523> what I'm saying is, if Debian flip out over something like cover texts, then they'll definitely have problems with a nonfree trademark license
18:23:42 <ehird> yes
18:23:44 <ais523> hmm... what happened to the invariant section in the Emacs manual?
18:23:55 <ehird> but what I'm saying is that Ubuntu's un-flipping-out in this case was idiotic
18:24:00 <ais523> it seems to be missing from my version, which implies that someone got permission to read it at some point
18:24:06 <ehird> because it really is a terrible situation
18:24:18 <ais523> and ehird: Ubuntu isn't exactly the freeest distribution of Linux around
18:24:24 <ehird> exactly
18:24:25 <ais523> after all, it was designed for convenience, mostly
18:24:46 <ais523> on another note, I actually saw the word "subtrahend" used seriously earlier today
18:24:54 <ehird> anyway, it means that the iconic (literally) open source product is actually non-free. all those advertisements 'OMG OPEN SOURCE BROWSER'? they contain a non-free name and icon.
18:24:56 <ehird> it makes no damn sense.
18:25:19 <ais523> but the browser itself is open-source
18:25:19 <lament> I think it makes perfect sense
18:25:23 <ais523> it just has closed-source marketing
18:25:27 <ais523> that makes sense in some sense
18:25:33 <lament> ehird: isn't the name "GNU" copyright the same way?
18:25:42 <ehird> lament: I don't believe so.
18:25:47 <ehird> Well, it might be, but it's certainly freely licensed if so.
18:25:52 <ehird> Same with the GNU logo.
18:26:08 <ehird> ais523: well, it means that marketing on how great open source is just look at this browser is closed-source :)
18:26:27 <ehird> and, more importantly,
18:26:28 <ais523> ehird: Ironic, but I don't see how that's impossible
18:26:35 <ehird> it means that any free system cannot actually include Firefox as-is.
18:26:40 <lament> http://www.gnu.org/graphics/agnuhead.html
18:26:42 <ais523> after all, it's possible to argue that open-source is good for software but bad for marketing...
18:26:43 <ehird> thus, Firefox isn't really free software.
18:26:44 <lament> "The GNU logo can be used verbatim in contexts talking about GNU in a supportive and accurate way. For permission, ask webmasters@gnu.org."
18:26:48 <lament> Not free at all.
18:26:55 <ehird> lament: OK, then gnu are ridiculous too
18:26:58 <lament> GNU is not free software! oh gn0!
18:27:12 <Sgeo> What if we want to talk about it in a negative and accurate way?
18:27:14 <ehird> I always preferred BSD tools anyway. :-P
18:27:22 <ehird> Sgeo: DOUBLEPLUSUNGOOD
18:27:22 <ais523> hmm... that's the logo, I wonder what the trademark license is like
18:27:40 -!- olsner has joined.
18:27:41 <lament> at any right, firefox is perfectly reasonable
18:27:42 <ais523> hmm... another example of this sort of trademark thing is Mesa
18:27:45 <lament> i mean at any rate
18:28:03 <Sgeo> ++ WARN: initializing libvcd 0.7.23 [linux-gnu/i486]
18:28:03 <Sgeo> ++ WARN:
18:28:03 <Sgeo> ++ WARN: this is the Beta development branch!
18:28:03 <Sgeo> ++ WARN: use only if you know what you are doing
18:28:03 <Sgeo> ++ WARN: see http://www.hvrlab.org/~hvr/vcdimager/ for more information
18:28:04 <Sgeo> ++ WARN: initializing libvcd 0.7.23 [linux-gnu/i486]
18:28:06 <Sgeo> ++ WARN:
18:28:08 <Sgeo> ++ WARN: this is the Beta development branch!
18:28:10 <Sgeo> ++ WARN: use only if you know what you are doing
18:28:12 <Sgeo> ++ WARN: see http://www.hvrlab.org/~hvr/vcdimager/ for more information
18:28:13 <ehird> ++ WARN: Sgeo is a flooder
18:28:14 <Sgeo> oops
18:28:22 <Sgeo> I don't know waht I'm doing, I hope DeVeDe does
18:28:34 <ehird> get a client that knows what flooding is
18:28:42 <ais523> it's meant to be an open-source implementation of a graphics library's API, but it's hard to say which one without violating trademark restrictions
18:28:45 <ehird> Like konversation. :p
18:29:06 <ehird> ais523: which lib?
18:29:15 <ais523> Mesa
18:29:22 <ehird> ah
18:29:22 <ehird> opengl
18:29:35 <ais523> luckily they give lots of hints
18:29:39 <ehird> i like opengl
18:29:39 <ehird> :P
18:29:43 <ehird> ais523: their website says is.
18:29:44 <ehird> it
18:29:50 <ehird> http://www.mesa3d.org/->introduction
18:29:53 <ehird> Mesa is an open-source implementation of the OpenGL specification - a system for rendering interactive 3D graphics.
18:30:17 <ais523> yes
18:30:17 <Sgeo> wawait, OpenGL isn't open?
18:30:22 <ais523> although even that sentence is carefully worded
18:30:24 * Sgeo is confuzzled
18:30:26 <ehird> Sgeo: your hopes and dreams: shattered.
18:30:36 <ais523> Sgeo: the software-only implementation is open-source
18:30:44 <ais523> the trademark itself is heavily locked down
18:30:58 <ais523> and there are hardware or partially-in-hardware implementations that aren't open-source
18:31:14 <ais523> thus most OpenGL libraries can't be redistributed
18:31:20 <ehird> ais523: kde's redmond theme's description: "a style from the north-west of the usa"
18:32:04 <ais523> sometimes I think people deliberately steer further away from trademarks than necessary, to poke fun at trademarks
18:32:15 <ais523> there's the whole *nix thing, for instance
18:32:41 <ehird> *nix just means 'any unix or unix-compatible system'
18:32:46 <ais523> yes
18:32:51 <ehird> it's not called Linix though
18:32:54 <ehird> so it doesn't work well :)
18:33:16 <ais523> but the reason the term came about was because there were so many (UNIX system)-like operating systems that had names ending in nix that weren't called UNIX
18:33:19 * Sgeo MURDERS DeVeDe
18:33:57 * Sgeo opens up k3b
18:34:00 <ehird> Hm.
18:34:09 <ehird> I want to write a silly c compiler.
18:34:13 <ehird> For no particular reason, really.
18:34:32 <ehird> I would write it in Ruby but I want it to be self-compiling. So I guess I have to write it in C.
18:34:41 <ais523> incidentally, ehird, remember when you tried gcc's -O3 on that compiled Underload source?
18:34:46 <ehird> yep
18:35:00 <ehird> and that was on my decent computer (imac) :)
18:35:04 <ais523> I was running -O2 on some compiled-from-OIL C code (it was very long), and it actually caused thrashing and the oom-killer
18:35:18 <ehird> i hope the oom killer killed gcc
18:35:24 <ais523> no, it killed trackerd
18:35:24 <ehird> instead of Any Process (which is whta it actually kills)
18:35:42 <ais523> in the end I had to use Ctrl-Alt-F1, Ctrl-Alt-Del to reboot
18:35:52 <ais523> and even that took the system about half an hour to respond to
18:36:00 <ehird> um, reset button anyone?
18:36:10 * ais523 daren't press reset during disk accesses
18:36:17 <ais523> which happen basically all the time during thrashing
18:36:18 <ehird> i have mastered pressing it with my little toe
18:36:28 <ehird> it's a tiny, inwards-facing one
18:36:34 <ehird> so i kind of wriggle my toe into it and push slightly
18:36:38 <ehird> it's very convenient.
18:37:09 * ais523 has mastered turning on some sorts of computer by kicking the power button
18:37:25 <ais523> (the sort where the seat is high, but the CPU itself is on the floor, and there is a large power button)
18:37:28 <ehird> that's trivial
18:37:29 <ehird> :)
18:37:45 <ais523> not that trivial with the particular make of power button
18:37:49 <ais523> when wearing shoes
18:37:56 <ehird> ok, that's a good point i guess
18:39:01 <ehird> http://tastyspleen.net/~billk/ruby/quiz/158-hello-world/158_hello_world.rb look at the maze solver!
18:40:11 <ehird> ais523: other ruby fun - there's an ObjectSpace
18:40:18 <ehird> ObjectSpace.each {|x| ... called for each object ... }
18:40:29 <ehird> i imagine writing that must be really hard; ObjectSpace.each obviously can't cons
19:05:56 -!- timotiis has quit ("leaving").
19:05:59 -!- timotiis has joined.
19:26:07 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
19:26:35 -!- Judofyr has joined.
19:46:23 -!- oerjan has joined.
19:59:22 -!- timotiis_ has joined.
20:12:34 -!- timotiis has quit (Read error: 110 (Connection timed out)).
20:18:46 -!- helios24 has quit ("Leaving").
21:13:18 -!- oerjan has quit ("leaving").
21:55:28 -!- bsmntbombdood has quit (Read error: 110 (Connection timed out)).
21:55:54 -!- bsmntbombdood has joined.
22:27:14 -!- ais523 has quit ("so as to get home on time").
22:41:10 <ehird> SWIM = awesome
22:41:38 <Sgeo> SWIM?
22:42:51 <ehird> Standard Writing, I'm
22:42:56 <ehird> the most awesomest markup language
22:43:00 <ehird> being developed for ESO
22:53:35 <ehird> Sgeo: ping
22:54:00 <Sgeo> pong
22:54:25 <ehird> #swim
23:08:32 -!- jix has quit ("CommandQ").
23:17:09 -!- RedDak has quit (Remote closed the connection).
23:25:26 -!- olsner has quit ("Leaving").
23:37:38 -!- timotiis_ has quit ("sleep").
←2008-03-02 2008-03-03 2008-03-04β†’ ↑2008 ↑all