←2008-09-27 2008-09-28 2008-09-29→ ↑2008 ↑all
00:07:15 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
00:25:46 -!- Judofyr_ has joined.
00:25:46 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
00:43:22 -!- calamari has quit ("Leaving").
01:07:09 -!- CO2Games has joined.
01:16:46 -!- tusho has quit.
01:28:57 -!- moozilla has joined.
01:34:56 -!- Corun has joined.
01:43:56 -!- CO2Games has left (?).
02:06:24 -!- Judofyr has joined.
02:06:25 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
02:27:09 -!- Judofyr_ has joined.
02:27:09 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
03:48:13 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | I guess it's not Plofy, though..
03:55:01 -!- lawl has joined.
03:55:17 -!- lawl has left (?).
03:57:49 -!- Corun has quit (Read error: 110 (Connection timed out)).
04:00:37 -!- Corun has joined.
04:43:01 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
04:43:12 -!- Judofyr has joined.
04:56:54 -!- Corun has quit ("This computer has gone to sleep").
05:28:09 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
05:28:43 -!- Judofyr has joined.
05:54:28 <psygnisfive> http://ia300127.us.archive.org/2/items/700HoboNames/Hobo_Names.mp3
05:58:03 <oklofok> oooooooooooooooooooo
05:58:17 <oklofok> mister wilson fancy-pants :P
05:58:21 <psygnisfive> :)
05:58:28 <psygnisfive> Dicks Shmicks is pretty awesome
05:58:39 <psygnisfive> as is Niles Butterball the Frozen Turkey
06:18:12 -!- Sgeo_ has quit (Read error: 110 (Connection timed out)).
06:29:12 -!- Judofyr_ has joined.
06:29:12 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
06:37:56 -!- ae5ir has quit (Read error: 104 (Connection reset by peer)).
07:18:25 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
07:18:45 -!- Judofyr has joined.
07:28:03 -!- kar8nga has joined.
07:30:12 -!- Judofyr_ has joined.
07:30:12 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
07:53:14 <psygnisfive> http://www.boingboing.net/2008/09/18/video-of-a-guy-who-m.html
07:56:32 -!- kar8nga has quit ("Leaving.").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:02:08 -!- oc2k1 has quit (Read error: 110 (Connection timed out)).
08:36:12 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
08:36:37 -!- Judofyr has joined.
09:34:43 -!- oerjan has joined.
09:41:20 -!- kar8nga has joined.
09:48:14 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Yeah..
10:07:59 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
10:08:11 -!- Judofyr has joined.
10:26:49 -!- sebbu has joined.
10:27:19 -!- oerjan has quit ("leaving").
10:29:58 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
10:37:22 -!- kar8nga has joined.
10:37:30 -!- sebbu2 has quit (Read error: 113 (No route to host)).
11:00:14 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
11:00:36 -!- Judofyr has joined.
11:20:05 -!- kar8nga has left (?).
11:26:04 -!- Mony has joined.
11:26:52 <Mony> plop :)
12:19:32 -!- sebbu2 has joined.
12:29:56 -!- Judofyr_ has joined.
12:29:56 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
12:35:42 -!- sebbu has quit (Read error: 110 (Connection timed out)).
12:43:26 -!- Judofyr has joined.
12:43:26 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
13:04:52 -!- kar8nga has joined.
13:09:01 -!- tusho has joined.
13:21:28 -!- KingOfKarlsruhe has joined.
13:34:40 -!- Judofyr_ has joined.
13:34:40 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
13:47:38 -!- Judofyr has joined.
13:47:38 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)).
14:04:13 <Slereah> http://www.novaksblog.com/pictures/stumble_on_sunday_4th_part/programming_tip.jpg
14:07:48 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
14:28:52 -!- Corun has joined.
14:32:48 -!- kar8nga has joined.
14:40:19 <KingOfKarlsruhe> optbot: (define optbot #f)
14:40:19 <optbot> KingOfKarlsruhe: 3. output "valid" or "invalid" depending whether the data is
14:44:28 <KingOfKarlsruhe> optbot: (if (exist? optbot) (display "yes") (display "no"))
14:44:29 <optbot> KingOfKarlsruhe: it's not a pythonic class name
14:44:54 -!- KingOfKarlsruhe has quit (Remote closed the connection).
15:05:14 -!- Judofyr_ has joined.
15:05:14 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
15:05:37 -!- kar8nga has quit (Read error: 110 (Connection timed out)).
15:09:38 -!- kar8nga has joined.
15:33:18 -!- Corun has quit ("This computer has gone to sleep").
15:46:32 <Mony> optbot, really ? :o
15:46:33 <optbot> Mony: 1x-e+o at the right position
15:46:44 <Mony> but what about aboutness optbot ? xD
15:46:45 <optbot> Mony: ok.. so the max is with 1 byte-implementation x(255)?
15:47:05 <Mony> optbot, tu parles français ?
15:47:06 <optbot> Mony: you have 0 = nil...
15:47:08 <Mony> optbot, tu parles français ?
15:47:09 <optbot> Mony: Ah
15:47:15 <Mony> ah ? oui optbot ?
15:47:16 <optbot> Mony: This is why everybody should smoke weed when listening to music.
15:47:20 <Mony> ok :D
15:48:14 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | maybe....
15:51:13 <Mony> optbot, what about tusho ? :?
15:51:14 <optbot> Mony: that only offers the same speed as the bundled interpreter
15:51:29 <Mony> ,:?
15:51:32 <tusho> i am a programming languge
15:51:46 <Mony> \o~
15:52:08 <Mony> an esoteric programming language ^^
16:01:01 <AnMaster> tusho, are there any specs?
16:01:10 <tusho> AnMaster: No.
16:01:12 <AnMaster> ah well
16:01:18 <tusho> It self-modifies.
16:01:34 <tusho> Specifically, the only interpreter - me - is required by the spec to modify the spec every infinitesimal moment it witnesses.
16:01:34 <AnMaster> tusho, the language itself self modifies? Somewhat like Feather then?
16:01:52 <tusho> (If I didn't have write access to the spec - which is encoded in my DNA and so forth - then I couldn't be an implementation.)
16:02:02 <AnMaster> tusho, ah
16:02:29 <AnMaster> tusho, do you suggest every human is a language or just you?
16:02:31 <tusho> Of course, I might end up removing that clause althoguh considering how the self-modification works that's incredibly likely.
16:02:34 <tusho> *unlikely
16:02:37 <tusho> AnMaster: I'm not a human.
16:02:42 <tusho> I'm an esolang & esolang interpreter.
16:02:45 <AnMaster> hm
16:24:20 -!- Corun has joined.
16:32:20 -!- Mony has quit ("reboot").
16:36:05 -!- Mony has joined.
16:56:00 -!- Corun has quit (Remote closed the connection).
16:56:15 -!- Corun has joined.
17:01:31 -!- kar8nga has left (?).
17:17:13 * SimonRC 's Internet FAIL continues
17:42:12 -!- Sgeo has joined.
17:44:54 <SimonRC> yo
17:49:23 -!- Corun has quit (Read error: 110 (Connection timed out)).
17:53:40 -!- Corun has joined.
18:04:59 -!- ais523 has joined.
18:04:59 <tusho> hi ais523
18:05:41 <ais523> hi tusho
18:05:53 <Judofyr_> hi judofyr
18:05:57 -!- Judofyr_ has changed nick to Judofyr.
18:05:58 <tusho> hello.
18:06:07 <ais523> ah, hi judofyr, haven't seen you here for a while
18:06:26 <SimonRC> ais523: hi, target-of-my-envy
18:06:57 <ais523> hellos all round, by the look of it
18:07:08 <Judofyr> yeah, I got tired of helping noobs at #ruby-lang
18:07:09 <ais523> now I'm annoyed that I don't have anything to report...
18:07:22 <SimonRC> Judofyr: don't overdo it, you'll burn out
18:10:04 <Judofyr> it's actually a bit fun, too
18:21:13 <ais523> heh, someone on MediaWiki made an ODT/JAR polyglot
18:21:22 <ais523> which was both a legal OpenDocument document and Java archive
18:21:34 <ais523> to prove that it wasn't always possible to determine the MIME type from the file itself
18:22:42 <SimonRC> ISTR that jpegs are ridiculously liberal regarding where their header starts
18:23:05 <SimonRC> so you can concatinate a jpeg onto another file and it will work as both
18:26:43 <tusho> SimonRC: other way too
18:26:54 <tusho> it used to be a neat trick to put an mp3 after a jpg and tell people to "Save as foo.mp3"
18:26:57 <tusho> in the jpg
18:28:37 <Judofyr> ais523: both ODT & JAR is really a zip-archive, I assume?
18:28:51 <ais523> yes
18:29:00 <ais523> well, ODT can be a flatfile too but is normally a zip-archive
18:29:10 <Judofyr> and they both ignore files they don't understand..
18:29:23 <Judofyr> makes sense
18:31:47 <AnMaster> wow
18:31:54 <SimonRC> could one make documentation and code together in by that method
18:32:08 <AnMaster> g++ uses 400 MB for each file when compiling this project
18:32:10 <AnMaster> that is crazy
18:32:19 <AnMaster> (the project is a game, wesnoth)
18:32:25 <SimonRC> or make an official compatibility requirement between ODT and JAR?
18:32:30 <AnMaster> and that is RAM
18:32:35 <AnMaster> hi ais523 btw
18:32:39 <ais523> hi AnMaster
18:33:03 <Judofyr> hi *
18:33:17 <SimonRC> AnMaster: are you doing the super-duper C++ types thing?
18:33:28 <Judofyr> code + documentation sounds awesome!
18:33:33 <AnMaster> SimonRC, no clue, I'm just an user trying to compile a game I like
18:33:37 <AnMaster> that game happens to use C++
18:33:59 <SimonRC> Judofyr: well, there is already Javadoc, which can go in the JAR
18:34:11 <AnMaster> in fact C++ is using more ram than virtualbox currently
18:34:16 <AnMaster> and that is crazy
18:34:26 <Judofyr> still, user-guides, tutorials should go together with the code
18:34:26 <AnMaster> since virtualbox use 500 MB RAM
18:34:45 <AnMaster> that was the computer_ai.cpp btw
18:34:51 <AnMaster> hm
18:35:22 <Judofyr> should not*
18:35:38 <AnMaster> and why javadoc?
18:35:39 <AnMaster> why java?
18:35:42 <Judofyr> as, in the *.class files
18:35:48 <Judofyr> because they got .jar :P
18:36:29 <AnMaster> ah
18:36:29 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
18:36:47 -!- Judofyr has joined.
18:36:52 <AnMaster> Judofyr, I tend to use doxygen rather than javadoc, but I don't code in java at all
18:37:04 <AnMaster> oh edoc too
18:37:11 <SimonRC> I only do Java for work.
18:37:12 <AnMaster> but edoc is kind of slightly crazy
18:37:36 <Judofyr> AnMaster: the point was that you can have a file which is both a .jar and a .odt
18:37:37 <AnMaster> it is probably the most weird "generate documentation from source comments" system out there
18:37:49 <Judofyr> so the jar-file IS the documentation too
18:37:52 <AnMaster> Judofyr, well yes of course both are zip
18:38:02 <AnMaster> hm
18:38:14 <AnMaster> isn't Microsoft's ooxml or whatever it was called also zip?
18:38:58 <SimonRC> yes
18:39:00 <AnMaster> well
18:39:07 <AnMaster> jar/odt/docx polygot!
18:39:08 <AnMaster> ;D
18:39:14 <ais523> well, OOXML is sufficiently badly specified that it can't really be calculated
18:39:18 <AnMaster> horrible idea in every possible way
18:39:23 <ais523> looking at what office 2007 does is one way to get some sort of clue
18:39:38 <AnMaster> hm
18:39:57 <ais523> still, I hear the standard's about 7500 pages once all the corrections are applied
18:40:18 <AnMaster> ais523, but what about a jar/odt/docx polygot?
18:40:23 <Judofyr> just write the file in Office 07, OO.org and compile the code, then merge all the zips
18:40:24 <ais523> probably possible
18:40:27 <AnMaster> let the user select what format they want to open it as
18:40:48 <AnMaster> ais523, the jar would contain a viewer for the same document as an applet or whatever
18:40:51 <Judofyr> .odtx!
18:41:00 <AnMaster> Judofyr, .jodtx
18:41:01 <AnMaster> even
18:41:12 <AnMaster> or .jadtx
18:41:27 <AnMaster> hm doesn't jadetex? exist. quite close to that ;)
18:41:39 <Judofyr> it could be a great way to bundle documents, though
18:41:52 <AnMaster> Judofyr, you mean in many formats?
18:41:59 <ais523> hmm... what other ZIP-pased formats can we polyglot with it?
18:42:04 <Judofyr> create it as a jar-file which detects if you have Office or OO
18:42:08 <ais523> maybe you should put a Makefile and some sources in there
18:42:12 -!- Judofyr has quit (Remote closed the connection).
18:42:28 <AnMaster> ais523, well sure, but you would have to extract it first
18:42:45 <AnMaster> and well I don't know, but what about spreadsheet formats? or such
18:42:49 -!- Judofyr has joined.
18:42:51 <ais523> yes, but a .zip archive with Makefile and/or configure script is reasonably common
18:42:53 -!- oc2k1__ has joined.
18:43:22 <AnMaster> ais523, you could probably select the zip encoding to create valid brainfuck
18:43:29 <ais523> heh
18:43:32 <Judofyr> and then it opens the file using the installed program
18:43:35 <AnMaster> probably with suboptimal compression then
18:43:36 <ais523> probably not valid INTERCAL though
18:43:41 <ais523> unless you could get it to start DONOT
18:43:43 * SimonRC goes away. He may be some time.
18:43:44 <Judofyr> .jodtxbf
18:44:41 -!- Hiato has joined.
18:44:47 <AnMaster> hm
18:44:53 <AnMaster> Judofyr, I don't know that for sure
18:45:00 <AnMaster> it was just speculation
18:45:03 -!- Hiato has quit (Client Quit).
18:45:04 <AnMaster> that it might be possible
18:45:23 <Judofyr> but a .odtx is actually a nice idea
18:45:31 <ais523> no it isn't, it's a horrible idea
18:45:39 * AnMaster agrees with ais523
18:45:52 <Judofyr> correction: it's a nice hack
18:45:55 <Judofyr> and like hacks
18:46:02 <Judofyr> and I*
18:46:05 <AnMaster> it is a horrible hack
18:46:17 -!- mtve has quit ("Terminated with extreme prejudice - dircproxy 1.0.5").
18:46:20 <Judofyr> no, no, no
18:46:28 <ais523> OOXML is horrible enough that it I don't like thinking about it
18:46:28 <Judofyr> it's spelled: beautiful!
18:46:34 <ais523> although it's called OXML nowadays
18:46:39 <ais523> they dropped the "Office" from the name
18:46:53 <AnMaster> ais523, as long as they don't try to get that as a standard...
18:46:54 -!- oerjan has joined.
18:47:02 <ais523> AnMaster: they are
18:47:05 <ais523> it was ISO who changed the name
18:47:09 <AnMaster> ais523, ugh
18:47:11 <AnMaster> still ugh
18:47:14 <ais523> and I think it's going to become an ISO standard
18:47:20 <AnMaster> ais523, I hope they say no again
18:47:25 <ais523> as soon as the editors finish applying all the 2000 or so pages of changes
18:47:33 <ais523> they said yes the second time, in controversial circumstances
18:47:36 <ais523> then 4 countries appealed
18:47:38 <ais523> and were ignored
18:48:11 <AnMaster> ugh
18:48:26 <ais523> OTOH everyone is ignoring the resulting standard
18:48:28 <ais523> even Microsofy
18:48:30 <ais523> *Microsoft
18:48:56 <AnMaster> at least MS have to follow it now IMO
18:49:03 <ais523> they don't plan to
18:49:09 <AnMaster> ais523, why?
18:49:10 <ais523> at least not in the current version of Office
18:49:18 <ais523> they are supporting ODF, though, in a service pack
18:49:25 <ais523> and don't ask me, I'm not Microsoft
18:49:31 <ais523> although my guess is that it's because it's too difficult
18:49:32 <AnMaster> hm
18:49:57 <AnMaster> ais523, they could have selected to use odf with custom extensions instead or something
18:50:02 <AnMaster> that would be MS style
18:50:09 <AnMaster> or just plain odf would be better
18:50:16 <AnMaster> ais523, how long is the odf standard?
18:50:18 <ais523> well, yes, that's what they should do
18:50:23 <ais523> AnMaster: much shorter then the OOXML standard
18:50:26 <ais523> I'll download it and have a look
18:51:14 -!- mtve has joined.
18:52:45 <ais523> 738 pages
18:53:03 <ais523> for ODF 1.1
18:53:07 <ais523> which is the current version
18:53:16 <AnMaster> ais523, that's still a lot
18:53:22 <ais523> http://www.oasis-open.org/committees/download.php/22154/OpenDocument-v1.1.odt
18:53:25 <ais523> well, yes
18:53:29 <ais523> but it's full of examples
18:53:40 <AnMaster> the C99 standard is 552 pages
18:53:45 <ais523> and it has to define all the attributes needed for 3 different sorts of documents
18:53:57 <ais523> so slightly bigger than C99 seems reasonable IMO
18:54:03 <AnMaster> and I think C99 standard is huge
18:54:12 <AnMaster> iirc the scheme standard is way way smaller
18:54:15 <pikhq> It's better than OOXML, though.
18:54:29 <AnMaster> I think I read that one version was like 50 pages or so
18:54:31 <oerjan> the scheme standard is famous for being small, i think
18:54:41 <oerjan> or was until the latest versions...
18:54:50 <pikhq> 2 thousand-something pages and counting...
18:55:03 <ais523> pikhq: 2000?
18:55:10 <ais523> the original version of OOXML was 6000 pages
18:55:16 <ais523> 2000 was the number of pages of /corrections/ that were suggested
18:55:26 <pikhq> Damn.
18:56:31 <Judofyr> what's the point?
18:56:39 <ais523> in what?
18:56:40 <ais523> OOXML?
18:56:43 <ais523> that's a good question...
18:56:59 <Judofyr> 6000 pages? is that actually necessary?
18:57:06 <ais523> obviously not, as ODF is a lot shorter
18:57:08 <pikhq> Among other things, they created a math markup language...
18:57:12 <pikhq> For *no good reason*.
18:57:16 <pikhq> *facepalm*
18:57:20 <ais523> the problem is that ODF relies on a whole lot of established standards, which is fine
18:57:28 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
18:57:30 <ais523> whereas OOXML re-invented most of ISO, by the look of it
18:57:38 <Judofyr> pikhq: the alternatives weren't created by Microsoft...
18:57:55 <ais523> well, a standard entirely created by one company is suspicious
18:58:33 <pikhq> They also have 3 different ways of specifying a table.
18:58:56 <Judofyr> Norway has chosen to use ODT, PDF & HTML for all official papers : -)
18:59:24 <Judofyr> that's pretty awesome
18:59:26 <pikhq> One of which is also a vector graphics format.
18:59:37 <Judofyr> http://virtuelvis.com/archives/2007/12/norway-mandates-html-pdf-odf
18:59:54 <ais523> Judofyr: I knew about Norway, it's not the only country doing that
19:00:05 <ais523> although #esoteric has sufficiently many Norwegians that perhaps it's the most relevant here
19:00:28 <Judofyr> oh, really?
19:00:44 <ais523> oerjan is Norwegian IIRC
19:00:51 <oerjan> Boo!
19:00:58 <ais523> and from somewhere I remember there was another
19:01:05 * Judofyr waves
19:01:15 <ais523> yes, I knew that one
19:01:21 <ais523> hmm... is there a third, or is my memory playing up?
19:01:21 <oerjan> kipple
19:01:27 <oerjan> iirc
19:01:43 <ais523> out of the other countries that have adopted ODF...
19:01:49 <ais523> well, there's South Africa
19:02:17 <AnMaster> <pikhq> Among other things, they created a math markup language... <-- mathml iirc?
19:02:22 <ais523> AnMaster: yes
19:02:24 <ais523> no
19:02:29 <ais523> MathML is a separate standard
19:02:31 <ais523> that ODF uses
19:02:32 <AnMaster> I mean that exists
19:02:36 <ais523> OXML has its own math markup
19:02:38 <ais523> that nothing uses
19:02:41 <ais523> AFAIK
19:02:42 <AnMaster> ugh
19:02:47 <Judofyr> well, OXML uses it...
19:02:47 * ais523 tries to remember what it was called
19:03:06 <ais523> Judofyr: actually all the equations in the original OOXML standard were JPEGs
19:03:15 <ais523> yes, feel free to laugh, I am
19:03:37 <Judofyr> ah, JPEG <3
19:03:46 <ais523> JPEG is not very good for equations...
19:04:09 <AnMaster> ais523, and hard to edit
19:04:15 <ais523> yes
19:04:29 <AnMaster> anyway I stick to LaTeX
19:04:47 <ais523> ODF is actually pretty good, I wrote a pro
19:04:49 <AnMaster> it is so much more awesome for documents than even odf
19:04:54 <ais523> for instance OpenOffice's macro language is rubish
19:04:57 <Judofyr> blurry images are so cute!
19:04:59 <ais523> s/,I wrote a pro//
19:05:13 <ais523> so I wrote a program that just parsed the .ods file directly
19:05:18 <ais523> it wasn't too hard to figure out
19:05:20 <AnMaster> ais523, ods?
19:05:27 <Judofyr> spreadsheet?
19:05:28 <ais523> spreadsheet format from ODF
19:05:32 <AnMaster> ah
19:05:35 <AnMaster> anyway
19:05:42 <ais523> .odt for documents, .ods for spreadsheets, .odp for presentations
19:05:44 <AnMaster> for text I prefer LaTeX or even LyX
19:05:51 <AnMaster> much much nicer to edit
19:06:01 <ais523> ODF compiles to LaTeX
19:06:04 <ais523> although not perfectly
19:06:09 <AnMaster> ais523, I think LaTeX is turing complete
19:06:11 <AnMaster> is that right?
19:06:18 <ais523> I wouldn't be surprised
19:06:25 <Judofyr> LaTeX is very nice
19:06:25 <AnMaster> ais523, it got stdio too
19:06:25 -!- puzzlet has quit (Remote closed the connection).
19:06:29 <ais523> one of the ICFP entries last year was written in TeX
19:06:39 -!- puzzlet has joined.
19:06:45 <tusho> ais523: aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
19:06:48 <tusho> also
19:06:50 <tusho> icfp results yet?
19:06:51 <AnMaster> ais523, I used a non-esoteric latex program that generated a natbib style file
19:06:51 <Mony> bbbbbbbbbbbbbb
19:06:55 <ais523> tusho: I'll check
19:06:56 <AnMaster> ais523, it was indeed coded in latex
19:07:10 <Judofyr> tusho: I think so. there was something at reddit a few days ago
19:07:16 <tusho> i bet ais523 won
19:07:17 <tusho> :P
19:07:17 <Judofyr> tex != latex
19:07:23 <ais523> tusho: yes, they are
19:07:25 <ais523> and I didn't win
19:07:30 <tusho> ais523: what place were you
19:07:39 <ais523> I don't know yet
19:07:43 <ais523> http://www.icfpcontest.org/results/
19:07:46 <AnMaster> excuse me for asking instead of googling, but my system is already swap trashing so I don't want to start a browser: what is ICFP?
19:07:46 <ais523> you can look at the same time I do
19:07:57 <ais523> AnMaster: the ICFP contest is a programming contest
19:08:01 <ais523> run every year
19:08:10 <AnMaster> ais523, ah, what is special with it?
19:08:23 <ais523> it's just relatively famous
19:08:28 <ais523> and attracts quite a lot of entries
19:08:35 <AnMaster> ais523, nothing like obfuscation or such?
19:08:46 <ais523> no
19:08:49 <Judofyr> didn't a Java-team win something?
19:08:52 <ais523> but there are strict time limits
19:08:55 <Judofyr> won*
19:09:05 <ais523> they set a task description
19:09:23 <ais523> and they have prizes for the best entry within 24 hours and the best three entries within 72 hours
19:09:27 <AnMaster> ais523, was it the mars rover one?
19:09:29 <ais523> yes
19:09:31 <AnMaster> aha
19:09:32 * Sgeo wishes the IRTC was still running (yes, I know that has nothing to do with programming)
19:09:32 -!- LinuS has joined.
19:09:34 <ais523> this year
19:09:52 -!- LinuS has quit (Client Quit).
19:10:19 <ais523> ah, I was eliminated at Lightning-8 and Final-9
19:10:48 <Judofyr> TeX: http://sdh33b.blogspot.com/2008/07/icfp-contest-2008.html
19:10:50 <AnMaster> ais523, ouch
19:11:11 <Judofyr> it uses Perl for network access, though
19:11:33 <ais523> they haven't put up all the details of the trials yet though
19:12:16 <Judofyr> Overall winner: Team Smartass wins again. Java is the programming language of choice for discriminating hackers.
19:12:38 <Judofyr> Top 10 languages: Top 10 languages: Java, C++, Java, Haskell, Haskell, C , C++ , C , C++, C++
19:12:49 <Judofyr> sauce: http://www.reddit.com/r/programming/comments/735fx/live_from_icfp_2008_icfp_programming_contest/c05jyov
19:13:33 <ais523> that was such an obvious contest to use imperative languages on, thouhg
19:13:42 <ais523> and it's meant to encourage functional programming...
19:17:34 <AnMaster> ais523, so you didn't even reach the top 10?
19:17:52 <ais523> no
19:17:54 <Deewiant> 'even' :-P
19:17:57 <Judofyr> ais523: which team?
19:17:58 <ais523> why did you expect me to?
19:18:04 <ais523> Judofyr: I entered as ais523
19:18:10 <ais523> and there wasn't anyone else in my team
19:20:19 <AnMaster> hm
19:20:29 <AnMaster> ais523, I expected it as your app was good
19:20:31 <AnMaster> :)
19:20:41 <AnMaster> iirc you showed me some code from it
19:20:51 <ais523> well, so were many of the others
19:20:59 <ais523> you get some excellent programmers entering the ICFP contest
19:21:32 <AnMaster> ah
19:25:01 -!- calamari has joined.
19:25:59 -!- kar8nga has joined.
19:27:27 -!- calamari has quit (Client Quit).
19:31:24 -!- oklofok has quit (Read error: 113 (No route to host)).
19:31:52 -!- oklofok has joined.
19:32:17 <ais523> hi oklo[plfko]*
19:32:32 -!- oklofok has changed nick to oklocop.
19:34:39 <oerjan> hi oklo.*
19:35:02 -!- Corun has quit (Connection timed out).
19:37:23 -!- Corun has joined.
19:43:28 <tusho> fdsfsfs
19:44:13 <ais523> hi tusho
19:44:24 <ais523> also, is an oklocop like a netcop?
19:44:34 <tusho> i have been doing the same on here thing since 3pm and it is terminally boring
19:44:39 <tusho> :\
19:48:02 <ais523> tusho: typing random letters into a channel?
19:48:07 <tusho> no
19:48:07 <tusho> :P
19:48:09 <ais523> come over to ##nomic and start up a conversation
19:48:18 <ais523> Murphy's there
19:53:09 * oklocop enforces murphy's law
19:55:08 * oerjan watches oklocop fail. at the worst possible time.
19:56:20 <oklocop> i already did, ais523 clearly set up for a better pun than mine
19:56:39 <ais523> actually, I wasn't setting up for a pun
19:56:41 <oerjan> hm interesting, a grounded recursive acronym:
19:56:43 <oklocop> i mean, i had all the ingredients, murphy = law, cop = law, but i kinda blew it
19:56:56 <oerjan> 'TTC - Stands for "The TTC Company"'
19:56:56 <ais523> but referring to someone who was genuinely called murphy that both me and tusho know
19:57:05 <oklocop> i basically just said "lol pun elements! look i found them myself"
19:57:20 <oklocop> ais523: i know that
19:57:30 <oklocop> see you ! ->
19:57:32 -!- oklocop has quit ("( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )").
20:04:11 -!- Sgeo has quit (Read error: 110 (Connection timed out)).
20:09:47 <Mony> bye
20:09:52 -!- Mony has quit ("Ne regrettons pas le passé, ne nous préoccupons pas de l'avenir : le sage vit dans le présent.").
20:11:22 <Slereah> Wait
20:11:26 <Slereah> Mony is French? :o
20:14:00 <oerjan> Mais oui
20:14:20 <tusho> "This changes EVERYTHING!"
20:14:31 <Slereah> Well, I am too.
20:14:33 <oerjan> we've been discussing his quit messages before :)
20:14:41 <Slereah> I wasn't there.
20:15:04 <oerjan> this one was a new one i think
20:36:43 <AnMaster> wtf
20:36:49 <AnMaster> firefox is using 500 MB ram
20:36:56 <AnMaster> with one page open
20:36:58 <AnMaster> a simple one
20:37:07 <Deewiant> 2.0 I guess?
20:37:55 <AnMaster> Deewiant, yeah
20:37:57 * Deewiant suggests 3.0
20:38:37 <AnMaster> yeah except the downside: there is as far as I know yet no 1.5 style theme for it
20:39:14 <Deewiant> http://webdesigns.ms11.net/winstripethemes.html ?
20:39:31 <AnMaster> they ported it to 3.0?
20:39:42 <Deewiant> I don't know, I googled that, is that it?
20:39:44 <AnMaster> well was some time ago I last checked
20:40:01 <AnMaster> Deewiant, "almost" I think
20:40:05 <AnMaster> I use winstripe yes
20:40:20 <AnMaster> actually
20:40:22 <AnMaster> "winestripe"
20:40:30 <AnMaster> Deewiant, which haven't been updated
20:40:38 <AnMaster> so I guess it is an adaption
20:41:10 <Deewiant> that was linked from https://addons.mozilla.org/en-US/firefox/addon/3479
20:41:10 <AnMaster> linstripe seems good
20:41:25 <AnMaster> however doesn't look exactly the same
20:41:39 <Deewiant> but, meh... my favoured theme doesn't exist for 3.0 either, but oh well
20:41:55 <AnMaster> Deewiant, thanks a lot
20:41:56 <Deewiant> the advantages of a good browser outweigh those of a good theme IMO :-P
20:42:17 <AnMaster> Deewiant, I include "usable" in "good"
20:42:28 <AnMaster> and I argue both 2.0 and 3.0 themes are "not usable"
20:42:50 <Deewiant> you've tried all the existing themes, then?
20:42:56 -!- KingOfKarlsruhe has joined.
20:42:59 <AnMaster> Deewiant, "standard themes"
20:43:00 <AnMaster> ...
20:43:05 <AnMaster> typo
20:43:12 <Deewiant> you don't have to use them
20:43:14 <Deewiant> I certainly don't
20:43:16 <Deewiant> never have
20:43:26 <Deewiant> except in the days of 0.4 I guess
20:43:26 <AnMaster> Deewiant, well 1.5 standard theme rocked
20:43:30 <AnMaster> so that is what I use
20:43:38 <AnMaster> Deewiant, hehe I used opera back then iirc
20:44:17 <AnMaster> or maybe not
20:44:20 <AnMaster> konq possibly
20:46:42 -!- LinuS has joined.
20:49:14 -!- calamari has joined.
20:50:30 <tusho> ssssss
20:50:40 <AnMaster> Deewiant, what happened to thunderbird 3.0 btw?
20:51:32 <Deewiant> what do you mean what happened? :-P
20:51:53 <Deewiant> it's in development, alphas are out AFAIK
20:52:06 <tusho> the firefox 3 theme is usable & fine btw.
20:52:10 <tusho> also /me uses webkit nightlies
20:56:17 <AnMaster> Deewiant, ah
20:56:40 <AnMaster> tusho, you forgot an important word there
20:56:54 <tusho> AnMaster: let me guess
20:56:55 <tusho> 'not'
20:57:11 <AnMaster> "<tusho> the firefox 3 theme is usable & fine btw" << add "IMO", it is subjective, not some universal "truth"
20:57:29 <AnMaster> fine that you like it
20:57:30 <AnMaster> I don't
20:57:41 <tusho> AnMaster: if we follow that route then everything everyone says has to end in IMO because everything humans say is subjective to themselves, IMO
20:57:43 <AnMaster> and it is completely subjective
20:58:08 <AnMaster> tusho, depends, some things are objective. Like the speed of light
20:58:11 <AnMaster> or rather relative
20:58:17 <AnMaster> it is absolute of course
20:58:27 <AnMaster> and everything else is relative it
20:58:35 <tusho> AnMaster: it's still IMO in that "it's what I've heard"
20:58:38 <tusho> "and believe"
20:58:50 -!- jix has joined.
20:59:10 <AnMaster> tusho, interesting, but don't you agree certain things, like taste, is more subjective than other things?
20:59:30 <tusho> AnMaster: did you recognize that was i say was subjective?
20:59:33 <tusho> yes you did. so there's no need to mark it
21:00:41 <AnMaster> hm
21:06:28 <tusho> ais523: green
21:06:35 <ais523> tusho: ...
21:06:54 <tusho> ais523: purple
21:07:08 <ais523> tusho: sky blue-pink
21:07:18 <tusho> ais523: buffer overflow red
21:09:05 <oerjan> ais523: polka-dot
21:10:34 <oerjan> tusho: corduroy
21:10:50 <tusho> aaaaaaa
21:10:54 <tusho> ha
21:10:54 <tusho> I win
21:11:02 <oerjan> what do you win?
21:11:04 <oerjan> and why?
21:11:08 <tusho> the game
21:11:11 <tusho> which you just lost
21:11:13 <tusho> and because I won it
21:11:31 <oerjan> whatev
21:11:53 <tusho> hey!
21:11:56 <tusho> whatev is MY WORD
21:12:08 <oerjan> is not
21:12:30 <tusho> yes
21:13:20 <oerjan> apparently not mine either
21:13:21 <oerjan> http://www.urbandictionary.com/define.php?term=whatev
21:15:23 <oerjan> hmph those explanations all miss the point
21:15:49 <oerjan> it's not because the word is cool, it's because you care _so_ little you don't bother to finish it...
21:16:39 <AnMaster> oerjan, indeed
21:16:45 <AnMaster> or maybe
21:16:47 <AnMaster> indee
21:19:57 <oerjan> ah it's finally on no. 11
21:20:25 <tusho> A short version of the word whatever that lazy/stupid people use cause they THINK it sounds cool, but it's not. Only time it was cool is when Erin used it, and when she stopped it was deemed uncool.
21:20:29 <tusho> what the crap
21:20:30 <tusho> :P
21:21:01 * oerjan votes no. 11 up
21:21:14 * oerjan wonders who Erin is
21:21:24 <ais523> some person who defines cool, obviously
21:21:26 <oerjan> but not enough to google it
21:21:34 <ais523> oerjan: I doubt you could find that by googling
21:22:16 <oerjan> indee
21:23:06 <tusho> aaaaaa
21:23:22 <oerjan> hm indee is a record company
21:23:57 <oerjan> and stuff
21:24:16 <oerjan> tusho: why the vocalization?
21:24:21 <tusho> ds
21:24:37 <oerjan> tusho: why the consonance?
21:24:48 <tusho> b
21:25:17 <oerjan> now where did i put that flyswatter...
21:26:19 * oerjan chases after tusho ---##
21:26:27 * tusho eats flyswatter
21:26:31 <tusho> *gulp*
21:26:37 <oerjan> oh noes
21:26:39 * tusho stares at oerjan blankly
21:27:08 <oerjan> what shall we now do with the quit/join spammers, i ask you
21:27:15 -!- tusho has left (?).
21:27:15 -!- tusho has joined.
21:27:17 -!- tusho has left (?).
21:27:17 -!- tusho has joined.
21:27:22 -!- tusho has left (?).
21:27:24 -!- tusho has joined.
21:27:26 <oerjan> how predictable
21:27:34 -!- tusho has left (?).
21:27:36 -!- tusho has joined.
21:27:38 <ais523> oerjan: before you said that, did we have any quit/join spammers?
21:27:47 <oerjan> occasionally
21:27:52 <tusho> its throttled
21:27:54 <tusho> :(
21:28:19 * oerjan recalls ais523 being one
21:28:45 <ais523> oerjan: ah, that isn't deliberate, it's my connection messing up
21:28:51 <tusho> duh
21:28:53 <ais523> and there's not much I can do about it apart from not joining the channel
21:28:58 <tusho> he means unintentional ones
21:30:00 <oerjan> the intentional ones, we ban.
21:30:27 <oerjan> or would, if lament were around
21:30:47 <oerjan> isn't fizzie an op too?
21:31:15 <tusho> fizzie: are you an op?
21:31:21 <tusho> i think so
21:31:34 <ais523> fungot: are you an op?
21:31:35 <fungot> ais523: you installed mandrake, right?
21:32:45 <tusho> optbot: You are an op.
21:32:45 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
21:32:45 <optbot> tusho: I actually did it because I couldn't understand parts of Turing's article
21:33:13 <fizzie> Yes.
21:33:33 -!- Judofyr has joined.
21:34:22 <tusho> fizzie: prove it
21:34:28 <tusho> use your opular powers to kick me
21:34:53 <oerjan> that would be a popular ower
21:35:16 <tusho> also
21:35:23 <tusho> fizzie, lament ... do we have ops that actually do things
21:35:23 <tusho> :)
21:35:54 <oerjan> i think i've seen actual spammers handled
21:35:57 <fizzie> Didn't I already ban you once when you said you wanted it? Or have I just been imagining things again?
21:36:22 <oerjan> fizzie: knowing tusho, that seems extremely statistically likely
21:36:46 <tusho> fizzie: you did, yeah.
21:36:50 <fizzie> I think all we got out of that one was few minutes of pointlessness, unsurprisingly.
21:37:20 <oerjan> fizzie: wait a minute, shouldn't that have _increased_ signal to noise ratio?
21:37:25 <tusho> fizzie: it was fun! i was the brother that doesn't exist.
21:37:43 <fizzie> You were the brother?! Shocking!
21:37:50 <tusho> oh shi-
21:37:51 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
21:38:03 <oerjan> oh right. i think i remember that. not that you were banned first though...
21:38:11 <tusho> fizzie: better ban me now...
21:38:13 <tusho> for impersonation
21:38:26 <oerjan> can you impersonate someone who doesn't exist?
21:38:28 -!- Judofyr has joined.
21:38:42 <tusho> oerjan: yes
21:38:45 <tusho> :P
21:38:56 <oerjan> hm Judofyr could use a swatting
21:39:07 <tusho> oerjan: it was done twice actually
21:39:11 <tusho> same brother-routine each time
21:39:14 <tusho> once by lament once by fizzie
21:39:17 * oerjan kicks tusho in the stomach, causing him to throw the swatter up at Judofyr
21:39:36 <tusho> ow
21:39:49 <KingOfKarlsruhe> scheme is like a esoteric languange http://paste.pocoo.org/show/86466/
21:39:53 * ais523 places a large net in the middle of the situation, causing it to become a lot more confusing and amusing
21:40:16 <ais523> KingOfKarlsruhe: that doesn't look all that eso to me
21:43:16 <Judofyr> KingOfKarlsruhe: I would expect more of Scheme than that: (html (head (title "My Title) ) (body (h1 "My Site") (p "Welcome!")))
21:43:27 <Judofyr> now we're talking :-)
21:43:52 <KingOfKarlsruhe> Judofyr: its my first program with Guile
21:43:59 <Deewiant> Judofyr: but can you define html, head, title, body, h1, and p, in two lines? :-)
21:44:18 <Judofyr> Deewiant: I demand method_missing!
21:44:29 <tusho> Deewiant: very easy
21:44:29 <Judofyr> KingOfKarlsruhe: nice! I've always wanted to try Scheme..
21:44:30 <tusho> just have something like
21:44:35 <Deewiant> I don't know if Scheme can do that
21:44:40 <tusho> (run-html `(p "hello" ,(+ 2 2)))
21:44:43 <tusho> and parse it as lists
21:44:50 <tusho> and, yeah.
21:44:54 <tusho> essentially write a mini interp
21:45:01 <Deewiant> tusho: if it's two lines and very easy, just do it live ;-)
21:46:37 <Judofyr> I played with the idea to use a Java API to parse the DTD in JRuby in order to generate Ragel code which generated C which should be used in Ruby, so you can't do stuff like body { title "Hello!" }
21:47:35 <Judofyr> validating & generation XML on-the-go :-)
21:47:45 <Judofyr> generating*
21:48:14 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | dang!.
21:48:26 <tusho> haha
21:48:28 <tusho> good reaction
21:48:30 <oerjan> optbot: you've been very brief lately
21:48:31 <optbot> oerjan: at least i haven't managed to mess anything yet
21:48:41 <Deewiant> optbot: yet.
21:48:42 <optbot> Deewiant: I get it.
21:48:44 <ais523> optbot: that's debatable, look at fungot for instance
21:48:44 <fungot> ais523: fnord fnord __ a____.
21:48:45 <optbot> ais523: It's a lot cleaner than common lisp, though.
21:48:56 <Deewiant> haha, fungot xDD
21:48:57 <fungot> Deewiant: you can't return the value
21:49:03 <Deewiant> best line yet
21:50:44 <tusho> Fnord you, fungot
21:50:45 <fungot> tusho: include() is pretty fnord.)
21:50:50 <tusho> hah
21:54:09 <Judofyr> FYI, I failed :(
21:54:37 <Deewiant> optbot, fungot: help him!
21:54:37 <fungot> Deewiant: that's a fnord... so far they seem to have this kind of meeting, never mind
21:54:38 <optbot> Deewiant: ah found it
21:55:09 <oerjan> fungot seems a bit paranoid to me
21:55:09 <fungot> oerjan: yet euclid's proof is considered one of the controls in a gui
21:55:41 <oerjan> i think fungot might be Gene Ray in disguise
21:55:42 <fungot> oerjan: so if we can get riastradh to beat you about the irc protocol
21:55:42 <ais523> <fungot> oerjan: yet euclid's proof is considered one of the controls in a gui
21:55:42 <fungot> ais523: ' re already dead".
21:55:44 <ais523> wtf?
21:56:08 <Deewiant> ais523: you mean it isn't?
21:56:28 <ais523> Deewiant: not in Win32, anyway, not sure about other GUIs
21:56:33 <oerjan> or maybe fungot is too coherent for that
21:56:33 <fungot> oerjan: paradigm sounds better though :)
21:57:27 <oerjan> fungot: what is it about you and fnords?
21:57:28 <fungot> oerjan: before the copypasta. i bet you someone will make a brainfube.
21:57:31 -!- kar8nga has left (?).
21:59:54 <ais523> brainfube?
22:08:09 <KingOfKarlsruhe> ok my extended http://paste.pocoo.org/show/86468/
22:08:32 <ais523> KingOfKarlsruhe: typo on line 20
22:08:55 -!- Corun_ has joined.
22:12:58 -!- Corun has quit (Nick collision from services.).
22:13:00 -!- Corun_ has changed nick to Corun.
22:20:10 -!- oerjan has quit ("Good night").
22:25:07 -!- jix has quit (Nick collision from services.).
22:25:17 -!- jix has joined.
22:45:51 -!- jix has quit ("CommandQ").
22:46:08 -!- Slereah has quit (Read error: 113 (No route to host)).
22:57:30 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
22:58:02 -!- Judofyr has joined.
23:04:19 -!- KingOfKarlsruhe has quit (Remote closed the connection).
23:07:12 -!- LinuS has quit ("Puzzi. S, parlo proprio con te. Puzzi.").
23:39:26 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)).
23:40:03 -!- Judofyr has joined.
23:52:10 -!- ais523 has quit ("(1)DOCOMEFROM".2~.2"~#1WHILE:1<-"'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1"").
←2008-09-27 2008-09-28 2008-09-29→ ↑2008 ↑all