00:00:07 Phantom_Hoover: Nah; know it a little, but... 00:00:24 * cpressey leaves before he finds out what "the FLR" is 00:00:26 -!- cpressey has quit (Quit: Leaving.). 00:00:44 Agora, sheesh! :P 00:01:09 Sgeo, FLR? 00:01:16 pikhq, maybe? 00:01:23 Phantom_Hoover: The Full Logical Ruleset of Agora Nomic. 00:01:47 Full Logical? 00:01:54 -!- Mathnerd314 has quit (Disconnected by services). 00:01:57 alise: This month's copy of the FLR, I presume? 00:02:11 -!- Mathnerd314_ has joined. 00:02:27 -!- Mathnerd314_ has changed nick to Mathnerd314. 00:02:52 pikhq: Maybe I could AUTOMATE IT. /salivates 00:02:59 Ooh, provide little page numbers above rule references! 00:03:06 Phantom_Hoover: It's logical because it is. It's full because it includes rule history. 00:03:10 The Short Logical Ruleset doesn't. 00:03:12 Things that will be done when I am in charge: all image transforms will be banned. 00:05:10 Well, all image transforms in the context of photographs of oneself. 00:07:14 I was assuming it would be automated 00:07:36 Can you make epubs from LaTeX? I'd assume so... 00:08:10 SgeoN1: Uh, maybe. 00:08:15 -!- Mathnerd314 has quit (Disconnected by services). 00:08:22 pikhq: I need typographical opinions! If you are using drop caps, and start a chapter with a quote mark, how to set it? 00:08:30 I think there used to be chronological rulesets. I glanced at Agoranomic back in 2003 or 2005 or so. 00:08:37 Should the drop cap be {``E}? If so, does the `` extend into the margin? (Yes.) 00:08:45 Or should it be {E}, with a normal `` in the margin preceding it? 00:08:51 If the latter, how can I achieve this with LaTeX/ 00:09:33 -!- Mathnerd314 has joined. 00:10:50 *LaTeX? 00:10:55 alise: I'm pretty sure it should be drop-cap'd {``E}, with `` extended into the margin. 00:11:04 How you achieve this, I know not. 00:11:10 pikhq: But then the closing '' looks unbalanced. 00:12:57 -!- Mathnerd314 has quit (Disconnected by services). 00:13:10 Yeah, but... Everything else is ugly. 00:13:17 -!- Mathnerd314_ has joined. 00:13:31 -!- Mathnerd314_ has changed nick to Mathnerd314. 00:13:33 Small quote mark? *ugh* 00:14:29 I dunno, it could work, if in the margin. 00:14:39 I'm guessing I shouldn't be the one to epub-ify the FLR, given my cluelessness when it comes to typography 00:15:49 Although it would make me as famous as comex! Ok, not really, but I'm jealous 00:17:45 It's just a fucking iPhone jailbreak. 00:18:09 And Wii hacking. 00:20:19 That garners rather less fame. 00:22:12 SgeoN1: chroniclor 00:22:41 That sounds more like an office 00:22:52 it is 00:22:56 you should take it 00:22:57 and do it 00:22:59 Also, CFJs should be epubbed 00:22:59 and become famous 00:23:00 * alise indents his first paragraph in latex 00:23:04 *her 00:23:07 Why? Because it's only one line. 00:23:42 Hmm 00:24:01 I'd only be Agoranomic...known 00:24:24 My phone has agoranomic as an autocorrect 00:28:29 Incidentally, Bjorn is the worst poet ever. 00:30:39 -!- tombom has quit (Quit: Leaving). 00:33:55 -!- Mathnerd314 has quit (Ping timeout: 276 seconds). 00:38:15 Bye 00:38:34 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:40:07 alise: no 00:40:27 No what? 00:40:32 not the worst poet ever 00:40:39 Oh really? 00:40:39 worst poet ever died when Earth exploded obv 00:40:55 “Incorrigible shopkeeper thou, 00:40:55 Who cannot even fields plow: 00:40:55 ‘Dear sir, I must be sure 00:40:55 Do you frolick and play in manure?’ 00:40:55 Is a question I’m sure you’re oft asked; 00:40:56 And this divine duty with which I’m tasked? 00:40:58 To retrieve my stolen Device.” 00:41:18 coppro: Douglas Adams cannot emulate a truly terrible poet as well as a bad poet can. 00:42:45 -!- SgeoN1 has quit (Ping timeout: 258 seconds). 00:45:00 -!- nooga has joined. 00:45:34 who wants to test our home-built 8088 computer? 00:47:44 http://cutr.pl/dd54681099 <- the core :D 00:51:38 I would, if I understood it. 00:51:48 I'm going to be like Dickens, and release my terrible novels in serial form. 00:52:01 Here I present the first instalment of A Device Lost, a Bjorn tale! 00:52:02 http://filebin.ca/rhgbku/bjorn.pdf 00:52:27 Note: Bjorn has Infinite Personality Disorder. 00:53:26 alise: it's almost like oooold IBM PC 00:53:43 Bjorn would never use a computer he couldn't eat. 00:53:44 and that was the actual photo of working processor 00:54:01 ah 00:54:15 ah, disorder, i see 00:55:13 ;P 01:04:21 -!- Wamanuz3 has joined. 01:07:39 -!- Wamanuz2 has quit (Ping timeout: 264 seconds). 01:25:46 -!- augur has joined. 01:29:50 http://cutr.pl/5cffb3360e behold 01:44:33 http://i.imgur.com/NtXHf.png 01:56:29 :| 01:56:58 http://codu.org/tmp/teddynom.gif 01:56:59 if i was to build a lisp machine 01:57:15 it would probably look exactly like QED 01:58:46 oh 01:59:34 Gregor: would you like to test this lovely bunch of ICs and wires? 02:00:02 -!- Gregor-P has quit (Quit: Bye). 02:00:09 CAN I TEST IT WITH MY TONGUE? 02:00:23 no, but you can ssh the maintenance machine 02:00:34 and PROGRAM it 02:00:38 OMG 02:00:43 PROGRAM IT WITH CODEZ 02:00:55 or just check out early code samples 02:01:16 or just check out motd 02:01:35 or just check out 02:01:38 or just check 02:01:41 or just 02:01:42 or 02:01:44 02:03:04 anyway 02:05:10 ³ 02:07:59 if i was to build a lisp machine 02:07:59 it would probably look exactly like QED 02:08:01 which sense of QED? 02:09:12 -!- Mathnerd314 has joined. 02:09:13 QED is the name of that 8088 computer i showed you 02:09:19 Quantum Explosion Dynamp 02:09:21 Dynamo 02:16:17 11:59:59 Haskell doesn't suck. 02:16:19 SO WRONG. 02:18:35 12:23:05 Gregor-P: re recursiveC: DOUBLE COMPILE. (reference: http://www.youtube.com/watch?v=6WxJECOFg8w and related) 02:18:41 Gosh. It's compiled twice. 02:19:29 wtf 02:20:32 recursiveC? 02:21:57 See http://tunes.org/~nef/logs/esoteric/10.08.02. 02:22:19 RecursiveC is a hypothetical C-based language with "static" parts that are bits of C code that output C which replaces the original code. Run those static bits over and over 'til you reach fixed-point, then voila! You could implement OO in header files :P 02:23:26 PHP? 02:24:08 ... huh? 02:25:07 nothing :D 02:26:40 PHP is a dangerous drug. 02:27:13 i hate it 02:32:29 http://www.reddit.com/r/programming/comments/cwep1/the_neverending_finite_loop/c0vt9vf?context=4 02:32:34 Badum-tish 02:38:32 Infi-Loop I always use... 02:38:33 x = 1; 02:38:33 while(x > 0) { if (x < 2) x++; else x--; } 02:38:33 --reddit 02:38:38 This person has never even considered while(1). 02:44:49 Surely that poster was joking? 02:49:17 I hope so. 02:51:30 I have to be up in a bit less than 6 hours. 02:51:33 I should bed soon. 02:52:42 -!- derdon has quit (Ping timeout: 258 seconds). 03:07:54 -!- comex has quit (Remote host closed the connection). 03:09:18 -!- Mathnerd314 has quit (Disconnected by services). 03:09:38 -!- Mathnerd314_ has joined. 03:09:54 -!- Mathnerd314_ has changed nick to Mathnerd314. 03:10:53 -!- cal153 has quit (Ping timeout: 265 seconds). 03:18:56 -!- BeholdMyGlory has quit (Remote host closed the connection). 03:19:03 -!- Wamanuz3 has quit (Read error: Connection reset by peer). 03:36:08 -!- zzo38 has joined. 03:36:28 Goodnight. 03:36:33 Goodday. 03:36:36 Bye. 03:36:38 -!- alise has quit (Quit: Leaving). 03:38:33 I want to design a font using METAFONT (once I figure out how; neither this channel nor the #LaTeX channel was of much help), http://sprunge.us/OiNh is that a good encoding of list of chaacters to be included? 03:39:08 I don't exactly know how some of these should look though 03:39:33 -!- cal153 has joined. 03:39:56 That is, other than a few obvious ones, which might be taken from Computer Modern and then changed a bit 03:40:06 -!- comex has joined. 03:40:31 If there is blackboard bold, does that mean somebody will invent whiteboard bold? 03:40:41 -!- oerjan has joined. 03:40:50 OK 03:41:16 All of Unicode. 03:41:18 And do it well. 03:41:26 I especially don't know the control graphics 03:42:01 pikhq: I can't do all of unicode, that is a lot. I only want a subset, which might however include some things that are not part of unicode 03:43:00 (I don't know if unicode has Greek blackboard bold, for one thing, and I don't know if these control graphics would be the same as unicode, my idea was using some special symbols to represent these control graphics instead of the way unicode does it) 03:43:46 If you might have noticed or not, the control graphic numbers are the same as the lowercase letters for those codes in a C program, for the ones that are usable in C strings. 03:44:10 ('\e' is GNU C only, but I included it so that it can be used with GNU C) 03:45:40 Some of the things in WEBMATH are already included in AMS, but I want one usable with Plain TeX and only one font for all the extra stuff 03:46:43 How many codes does Unicode have these days, anyways? 03:48:16 Tons. 03:48:34 But how many? One million? 03:48:38 Some 75% of it is Han Unified Ideographs... 03:48:50 -!- SgeoN1 has joined. 03:48:59 107,361 as of October 2009. 03:49:07 OK 03:49:08 * SgeoN1 is going to eat his first hamburger soon 03:49:21 SgeoN1: ... Your *first* hamburger? 03:49:28 My dad says I've eaten hamburgers before, but I don't remember 03:49:31 And you're in... America. 03:49:35 SgeoN1: When are you going to eat your first "burgerham"? 03:49:52 My dad has been paranoid about mad cow disease 03:49:55 uh, what? 03:50:05 OK, now I understand (I think) 03:50:05 Unicode has 246,943 assigned codes 03:50:42 coppro: When do you ever think it will reach one million if it ever does? 03:50:57 Also, it's not going to be in hamburger buns, just slices of bread ;( 03:51:06 Erm, :( 03:51:14 Sgeo: Tell us EVERY DETAIL of your FIRST HAMBURGER EVAR 03:51:19 SgeoN1: How do you *avoid* eating hamburgers in the USA? 03:51:20 zzo38: long time 03:51:40 This is a bit like avoiding seeing a fat person. 03:52:34 Freenode whois doesn't tell you which server someone's on, just which server location you're on 03:53:00 you're on jordan.freenode.net in france. hth. 03:53:37 What I wanted to do is make a WEBMATH font (I might need help in many different ways), and then add a option in the next version of Enhanced CWEB to make it use this font, and then instead of overtyping the \ and n on each other it can use the TYPEWRITER CONTROL GRAPHIC NEW LINE OR LINE FEED character from the WEBMATH font. 03:53:43 oerjan: huh 03:53:48 maybe seven doesn't have that feature 03:54:01 yeah that was about when it changed 03:54:06 The WHOIS does tell you. 03:54:27 On the 312 line. 03:54:35 zzo38: yes, but for a while (probably on the old ircd) it would always reply with the server you were on, not the server the target of the request was on 03:54:48 coppro: Well, it works now (at least for me) 03:54:52 yeah, me too 03:55:21 pikhq: also, CJK ideographs fall just short of 75% 03:55:24 i vaguely recall it replied with irc.freenode.net for a while 03:55:36 coppro: Aaaaw. 03:55:51 coppro: Throw in kana and bopomofo, and what do you get? :P 03:56:16 probably 75% :D 03:56:24 I posted this as my Facebook status: "I'm unhappy that UTF-8 can't be extended indefinitely. Eight-byte UTF-8 wouldn't break too many invariants, since the value 255 never appears in conforming standard UTF-8, but nine-byte UTF-8 would almost unavoidably create ambiguities with two-byte UTF-8 :(. 42 payload bits is NOT ENOUGH. When we have to tell our new alien overlords that we can't fit their language into our encoding sch 03:56:24 eme, they're gonna be PISSED." 03:56:27 Two people have "liked" it. 03:56:34 I'm quite sure that neither of them have any idea wtf I'm talking about :P 03:56:35 There are according to wikipedia 74384 ideographs and 107361 characters 03:56:54 Gregor: extending UTF-8 is easily done 03:57:12 To eight bytes, yes. To nine bytes, no. 03:58:01 oh, you care about the invariants 03:58:06 right, yeah, you're stuck at 7 03:58:18 Gregor: Nine bytes is a TRIVIAL extension. We deprecate UTF-8 and move on to UTF-G_64. 03:58:21 Well, yeah. If we're gonna break all the invariants, what's the point :P 03:58:30 >:D 03:58:40 actually, nah, it's easy 03:58:59 0b11111111 says that the next byte says how many more bytes are part of the same character :D 03:59:09 (and they all start with 0b10 03:59:38 That way you can extend to more than nine bytes, then. 03:59:58 and 0 means to look again 04:00:07 at the next 2 bytes 04:00:09 yeah 04:00:16 you can run the sequence up indefinitely 04:00:20 coppro: Hmmmm, you've stuffed another layer of encoding into UTF-8, awesome X-d 04:00:22 *X-D 04:02:57 In the 7-bit WEBMATH I don't have anything in 0x6D 0x6F 0x70 0x71, and in 8-bit I don't have anything in the high codes, but if you can make suggestion I can write it in 04:03:55 Or if anything I already have duplicates Computer Modern, I should also change it 04:04:15 WEBMATH? 04:05:28 cpressey, I thought lament's real name was Nikita something? 04:05:33 coppro: I want to invent a font called WEBMATH and can be used in TeX and METAFONT 04:05:34 http://sprunge.us/OiNh 04:05:44 famous hot russian female: http://en.wikipedia.org/wiki/File:Bundesarchiv_Bild_183-B0628-0015-035,_Nikita_S._Chruchstschow.jpg 04:05:55 There is the list, you can see some spaces are not filled in yet 04:07:14 how do you use a font in METAFONT 04:07:18 (I know some of the characters duplicate ones in AMS, but I want this to be able to be used without AMS) 04:07:28 also, I do not support this project 04:07:46 coppro: You can write the codes for it, and then write other codes to make it load into TeX and other programs 04:07:54 That is how you use a font in METAFONT. 04:07:57 fonts that do not respect Unicode should be shot 04:08:16 It was eh 04:08:36 coppro: That makes sense in most cases to use Unicode fonts, but TeX isn't Unicode based, so instead we put 256 characters in one font 04:09:06 why aren't you using iTeX yet? 04:09:19 iTeX? 04:10:09 coppro's method seems like it would be rather big 04:10:23 I don't want to use iTeX, I want to use Plain TeX 04:10:25 i think by the time you get up to 9 bytes another encoding method would be preferable for efficiency reasons 04:10:49 myndzi: THINK OF THE CHILDREN 04:10:52 ..on the other hand, if you're using 9 bytes to represent one character, i guess another byte is having less of an effect at that point than it would be if you were using only two 04:13:27 zzo38: XeTeX is Unicode based. Suck it. 04:14:12 I looked at the iTeX description, and it completely makes nonsense! 04:14:39 pikhq: Can XeTeX work with Plain TeX? 04:14:49 Yes. 04:15:49 What differences does XeTeX have from normal TeX? 04:17:00 It uses Unicode as its encoding, it supports OpenType fonts directly, and it outputs to PDF. 04:18:44 pikhq: Then that means I can't use DVI with it? 04:18:58 Does it also mean METAFONT can't be used with it? 04:19:33 It also supports METAFONT. 04:19:37 It doesn't do DVI. 04:19:42 DVI is an archaicism, anyways. 04:21:56 I think I still prefer the normal TeX system. 04:22:29 What does LaTex use? Does it fit over any of these.. thingies, or is it TeX-only? 04:22:59 btw, if you haven't seen, it, you need to watch http://river-valley.tv/media/conferences/tug-2010/Don-Knuth/ 04:23:48 Wikipedia article for XeTeX says it uses LaTeX 04:24:35 I learned some things about METAFONT, I think it is not a bad program for designing fonts, however I cannot get it to work 04:24:36 * Sgeo is now 20 different types of confused 04:24:46 Soon I'll be confused tracking all the ways I'm confused! 04:24:47 Sgeo: LaTeX is a set of macros for TeX. 04:32:35 * Sgeo terminally fails at references 04:32:42 One thing I like about Plain TeX opposed to LaTeX, is that in Plain TeX I can run "tex" only once and still have all cross-references and everything correct, with no auxiliary files. 04:42:08 well, I like Plain Text. 04:43:38 Why did they make LaTeX require multiple passes and a separate program to make index, and so on? 04:46:27 What do I need to make METAFONT work on MiKTeX? 04:47:19 have you watched the video yet? 04:47:56 The video won't play 04:48:05 :( 04:48:16 I think it's Flash 05:11:37 I got METAFONT to work now, but it still doesn't work in interactive mode? 05:13:12 Can fonts with METAFONT be converted to other formats, in case some other programg uses other formats? 05:18:50 It's possible to make ePub files by hand! 05:18:58 -!- oerjan has quit (Quit: leaving). 05:19:08 Of course, I won't, but I will attempt to make an automated epub creator for Agoran Rulesets 05:19:22 Can ePubs reference other books? I doubt it, but that would be awesome for the Agoran stuff 05:19:33 Crosslinks between CFJs and the FLR 05:20:20 "If your book is in the HTML format, you can use Book Glutton to convert it to ePub" 05:20:46 better idea 05:20:51 let's make a SVG version 05:21:05 that way we can make it as small as we want it ;) 05:21:20 ePub will be very useful to me soon 05:21:30 why? 05:21:50 Getting an eReader soon hopefully 05:21:52 ah 05:22:20 Hmm, def. want custom thing for the FLR... there's a Table of Contents thing in the spec, apparently 05:22:23 (I find it funny that we as a people are now starting to move away from PDF because it does exactly what it was designed to do) 05:26:29 BookGlutton costs $5 :( 05:26:31 No ty 05:27:36 Hmm, if I got a Nook, would I be able to have it automatically retrieve the latest version of the ePub somehow? 05:28:48 * Sgeo vaguely wonders how far back RTRR goes 05:28:55 1 ePub for each RTRR! 05:37:41 When was coppro playing Mafia? 05:37:51 With people I don't recognize? 05:37:55 huh? 05:38:09 Found a text file wolfgame.txt 05:38:12 Looks like an IRC log 05:38:22 Hmm, by that name, I guess you call it Werewolves 05:38:36 where? 05:38:56 I have no idea 05:39:08 I can list names of the participants though 05:39:24 how can you have found a file but not know where you found it? 05:39:24 modargo, Narrator, Crispy-, coppro, Coboney, Leecifer 05:39:29 oh! 05:39:35 that was #wolf of EFNet 05:39:52 Most importantly: Why do I have a log of this? 05:40:08 It was in my Downloads folder... 05:40:42 maybe I linked it? 05:41:00 can you send me a copy? Maybe there is something special about it 05:42:20 Erm, email it to you? 05:42:37 sure 05:44:01 Sent 05:44:23 PDF has too many stupid features in my opinion 05:44:50 thanks 05:44:53 hm... I remember that game 05:44:58 nothing particularly remarkable about it 05:45:23 no clue why you'd have a log 05:47:07 Plain TeX is much more better than LaTeX why don't you believe it? 05:47:58 * Sgeo just wants to make epubs 05:49:17 What is epubs? 05:49:53 A file format usable by most ereaders 05:49:57 *epub 05:50:33 Hmm, the Map of Agora isn't exactly reflowable 05:51:14 How does epub work? 05:51:56 *shrugs* 05:53:27 Is it like HTML or like PDF or DVI or like bitmap picture files, or how does it work? 05:55:33 More like HTML than like bitmaps 05:55:52 Very much like HTML, I think, actuallhy 05:56:07 What is its feature support, colors, fonts, printout, etc? 05:57:05 No clue 06:02:34 Perhaps I can make Icoruma->ePub, even, if I want to, or if anyone else wants to write a converter program for Icoruma documents. So, it would be useful if you wanted to write the rules for a role-playing game on ePub 06:11:49 Has anyone implemented any variant of INTERCAL in TeX? 06:25:14 zzo38, what do you have against Python? 06:25:33 Sgeo: I just don't like it much. C is more better in my opinion. 06:26:02 I have nothing against Python, though. 06:26:14 This user is made out of userboxes 06:27:20 Are you looking at my Wikipedia? 06:27:40 Yes 06:28:18 OK 06:28:33 -!- SgeoN1 has quit (Ping timeout: 240 seconds). 06:28:34 (Feel free to change it if you don't like it; it is a wiki page and anyone can edit it) 06:29:02 Why would I change it? It's a page about you! 06:29:18 Sgeo: Because you found a mistake in it, perhaps? 06:29:48 Or to make improvement? 06:30:09 Is there a userbox for TeX? 06:30:11 I think the only mistake that could be present in a page of userboxes is a syntactical failure to include a userbox properly 06:33:05 -!- GreaseMonkey has joined. 06:35:43 Feel free to add, remove, change, and improve. Just don't deny anyone else these same rights, including the right to distribute and use it. That is all I ask. If you want to call it your own, go ahead. If you want to sell it and earn a lot of money from it, that is OK, too. Just don't deny other people these same rights. 06:37:32 -!- Sgeo_ has joined. 06:40:38 -!- Sgeo has quit (Ping timeout: 265 seconds). 06:40:57 -!- SgeoN1 has joined. 06:42:18 There is userboxes related to LaTeX, but not for Plain TeX. 06:42:23 Maybe I should add some 07:04:35 -!- zzo38 has quit (Remote host closed the connection). 07:21:19 -!- SgeoN1 has quit (Quit: Bye). 07:54:46 -!- relet has quit (Quit: Leaving.). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:23:21 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 08:43:52 -!- ais523 has joined. 08:54:19 -!- augur has quit (Remote host closed the connection). 08:54:31 -!- augur has joined. 09:14:11 -!- MigoMipo has joined. 09:31:29 -!- Phantom_Hoover has joined. 09:39:36 -!- Phantom_Hoover has quit (Quit: Leaving). 09:39:50 -!- Phantom_Hoover has joined. 09:50:53 -!- GreaseMonkey has joined. 09:59:26 -!- Phantom_Hoover has quit (Quit: Leaving). 10:00:00 -!- Phantom_Hoover has joined. 10:10:27 -!- MigoMipo has quit (Remote host closed the connection). 10:15:05 fungot 10:15:05 Phantom_Hoover: eval ( 4 ( atan 1)) ( if ( equal? ( 3 4))? i 10:15:24 ^style 10:15:24 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 10:16:20 fungot, don't go into programming. 10:16:20 Phantom_Hoover: im no good at it too, fnord... um... 2 lectures or so, which one should i install in /usr/ lib 10:16:38 Yes, exactly. 10:19:02 Also pondering making an epub of all of the CFJs in Murphy's db 10:19:45 * ais523 wonders why you'd want to install a lecture in /usr/lib 10:19:51 INTERCAL object-orientation reference? 10:21:43 Also, considering epub'ing the SLR instead of the FLR 10:24:14 fungot, answer ais' question. 10:24:14 Phantom_Hoover: java isn't too bad.' this is valid. 10:24:35 fungot, well, I'm sure ais would agree... 10:24:47 it's not as bad as people make it out to be 10:25:05 although it's far from the ideal programming language 10:25:16 * Sgeo_ wonders if it might be better to programmatically create DocBook stuff 10:25:28 Since there's an easy DocBook -> EPUB converter 10:28:55 fungot, are you there? 10:29:04 fungot? 10:29:08 FUNGOT! 10:29:54 Phantom_Hoover: fungot has an anti-spam thing, it won't respond to the same person too many times in a row 10:29:55 ais523: like a caged environment for innocent little newbie schemers to keep them in mind :) ttyl i'm going to 10:30:16 I hate you, fungot. 10:30:17 Phantom_Hoover: fnord wanted dialog...... huh......really? oh a net address! oh, the question needs to be 10:30:29 Oh, is that so? 10:35:59 ^style fisher 10:35:59 Selected style: fisher (Fisher corpus of transcribed telephone conversations) 10:36:10 fungot: Maybe you could be a bit more casual there. 10:36:10 fizzie: exactly and and the cases they deal with are usually very depressing 10:38:04 What the hell is npviewer.bin? 10:38:13 * Sgeo_ depresses fungot 10:38:13 Sgeo_: you hit on a really like annoying cliff hanger like not like you go to the next place and then the 10:38:38 hmm, ingenious 10:38:43 Well, we know fungot is a teen girl 10:38:43 Sgeo_: you know i'm making dinner table or something you know and and 10:38:47 a sentence talking about a really annoying cliff hanger 10:38:58 and then stopping just before it explains what the cliff hanger is 10:39:27 I think that's the fungot version of "how do you keep an idiot in suspense?" 10:39:27 ais523: ( ( fitness and health)) i've ( ( wanted)) to talk to you again laughter but be careful seriously oh that's wonderful 10:39:29 [ Directed by M. Night Shyamalan ] 10:40:41 npviewer.bin is usually Flash. 10:40:50 It's a "Netscape Plugin", after all. 10:41:33 (I think it's nspluginwrapper's thing around the 32-bit Flash on a x86-64 system.) 10:42:11 -!- tombom has joined. 10:49:50 fizzie, OK. 10:52:15 -!- tombom has quit (Ping timeout: 240 seconds). 10:52:59 -!- tombom has joined. 11:03:19 -!- augur has quit (Remote host closed the connection). 11:03:32 -!- augur has joined. 11:16:34 -!- cal153 has quit (Read error: Connection reset by peer). 11:27:10 how does fungot work? it takes sentences from the logs? 11:27:10 nooga: it just seems like you know like 11:30:04 nooga: it has a bunch of data; IRC logs is its current data source 11:30:09 but you can set it to other things too 11:30:11 ^style agora 11:30:11 Selected style: agora (a large selection of Agora rules, both current and historical) 11:30:28 see, now it's drawing from current and historical rulesets of Agora 11:30:31 fungot: say something 11:30:31 ais523: a frankenstein monster, and the minimum hand size shall be four classes of cards exist than its own content, and 11:30:45 and it looks for common words at different places in the data source 11:30:56 and jumps from bit to bit as long as there are words in common 11:31:01 so the result makes sense locally, but not globally 11:31:35 IIRC it was optbot which quoted random literal lines from logs, rather than merging many together like fungot does 11:31:35 ais523: but after taking all other rules, or 11:32:19 nooga: is that a clear enough explanation? 11:41:57 -!- distant_figure has quit (Ping timeout: 260 seconds). 11:43:40 -!- distant_figure has joined. 11:43:49 -!- augur has quit (Remote host closed the connection). 11:43:56 -!- augur has joined. 11:44:45 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 12:05:51 -!- dbc has quit (Ping timeout: 264 seconds). 12:07:11 Wow, Emacs removed all of their yows but one for copyright reason, 12:07:17 s/,/s/ 12:07:39 -!- nooga has quit (Ping timeout: 240 seconds). 12:12:37 -!- dbc has joined. 12:23:52 -!- derdon has joined. 12:24:13 hmm, I'm beginning to think that this department has trouble tracking personell 12:24:16 *personnel 12:24:21 first, they seem to forget I exist 12:24:40 now, we get an email saying "if you notice someone new working in your office, send round an email to introduce them" 12:30:04 -!- nooga has joined. 12:31:53 -!- augur has quit (Remote host closed the connection). 12:31:59 -!- augur has joined. 12:44:51 wow, after randomly browsing reddit, I just had a really evil idea 12:45:10 what you do is, you decide that you want a class that contains, say, run() and eval() methods 12:45:31 so, you get your OO language (say Java) to load every class it can access, and inspect it to see if it has those methods 12:45:39 and if it does, you instantiate it and then run the methods 12:45:45 what could possibly go wrong? 12:45:55 (Bonus: this is actually how object orientation works in CLC-INTERCAL) 12:46:19 (although at least it checks whether there's only one appropriate class, first) 12:50:42 Can you sensibly enumerate classes in Java, though? Reflection via a ClassLoader lets you look things up by name, but I'm unsure about listing them. 12:51:12 just try all possible legal identifiers in sequence 12:51:30 Ah, the brute-force method. 12:52:31 alternatively, you could use a bit of knowledge about how the default ClassLoader works, and just look through the entire filesystem to get the names of things that could be potentially loaded 12:52:33 and use those 12:53:47 I remember looking for a "list all classes you so far know about" method in java.lang.Package, but there wasn't any; even though there's a static java.lang.Package.getPackages() which asks the ClassLoader to list all packages it has seen. 12:58:44 The AI competition game GUI app looks for all .jar files in the current directory and its immediate subdirectories; for each .jar it peeks at the manifest for metadata that indicates a bot. I didn't really want people to have to fiddle with classpaths or so if they wanted to try out a bot-.jar they had. 13:10:40 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 13:14:24 Speaking of fungot, the explanation up there is conceptually speaking feasible, although if you want to pick some nits, technically speaking it's not "jumping from bit to bit", but instead it collects frequency counts for all n-tuples of consecutive words (where n is about 3 or 4 or so), and then just decides next word randomly based on the frequencies of all (say) 4-tuples where first three words match the current context. 13:14:24 fizzie: " first-class person becomes a registered player, by announcing that e insists. a player is ineligible to 13:16:56 yep, it comes to the same thing, but it's a rather different implementation from what I suggested 13:18:01 Of course everyone can just take a peek at the sources to immediately see the implementation strategy. 13:18:34 I think there's even a comment in there. 13:19:04 Hmn, it seems that the comment simply says "pickword:", which might be a bit ambiguous. 13:23:40 -!- Wamanuz has joined. 13:28:26 -!- oerjan has joined. 13:28:38 -!- Phantom_Hoover has joined. 13:49:46 -!- oerjan has quit (Quit: Reboot). 13:50:56 -!- Phantom_Hoover has quit (Quit: Leaving). 13:51:12 -!- Phantom_Hoover has joined. 13:52:27 -!- oerjan has joined. 13:55:10 -!- MigoMipo has joined. 13:56:08 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 14:01:03 -!- Mathnerd314 has quit (Ping timeout: 264 seconds). 14:16:32 -!- mquin has quit (Quit: Changing server). 14:17:58 -!- mquin has joined. 14:55:41 -!- ais523 has quit (Remote host closed the connection). 14:58:36 -!- Ilari has quit (Quit: leaving). 14:58:37 -!- Ilari_antrcomp has changed nick to Ilari. 15:04:55 -!- augur has quit (Ping timeout: 276 seconds). 15:10:26 -!- Ilari_ has joined. 15:19:13 -!- BeholdMyGlory has joined. 15:21:04 -!- Ilari has changed nick to Ilari_antrcomp. 15:21:04 -!- Ilari_ has changed nick to Ilari. 15:22:50 -!- relet has joined. 15:31:50 -!- cpressey has joined. 16:04:31 -!- cpressey has quit (Ping timeout: 276 seconds). 16:06:28 -!- ais523 has joined. 16:43:03 -!- jcp has quit (Ping timeout: 240 seconds). 17:04:43 -!- Phantom_Hoover has joined. 17:06:40 Nothing is happening. fungot, rectify this. 17:06:40 Phantom_Hoover: any order issued, the date of the period of 17:06:55 Who made his style boring? 17:09:16 ais523 is the one who agorafied him. 17:09:19 ^style europarl 17:09:19 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 17:09:33 fungot: Now you're the definition of excitement and unborigness. 17:09:35 fizzie: the impressive number of projects in the energy efficiency measures have not halted, still less for commercial or economic reasons. veritable ' dictatorship' by the stock exchange lists of all european agriculture systems and not just for those in financial difficulty. we hope that, because trafficking in human beings 17:10:34 fungot: Who's trafficking in human beings? Is this some sort of preliminary stage of the coming robot revolution? 17:10:35 fizzie: mr president, first i should like to thank the commissioner for the attention they are given recognition on this level. we welcome the consideration of environmental integration than on other reform aspects. we are not the guilty party. for those engaging in these activities are carried on in denmark, as jens-peter bonde emphasised, and other elements as well. 17:11:02 He sounds *just* like a politician this way. 17:14:36 -!- cal153 has joined. 17:15:44 fungot, what activities are carried out in Denmark? 17:15:47 Phantom_Hoover: i declined to vote in favour of the proposal on biofuels, which i cannot accept amendments nos 11, 15, 26, 28, 33, 36 to 43 and, in accordance with the compromise that we reached, fortunately, we were discussing a different proposal and this report, and a rights guarantee system. we will not be the case but they must be built upon in vienna, so that we can avoid a number of consumer protection and to preserving 17:17:03 the danish human trafficking, obviously 17:17:12 fungot: Is something rotten in the state of Denmark? 17:17:14 fizzie: mr president, i would add the injury of indifference to the well-being of patients suffering from inherited diseases have been told here that national legislation on pay, and those that follow will help us to ensure that there is room for the benefit of the alcohol market is satisfactorily addressed by this proposal for codecision is the result of the way there. turning to another important european union decision: enla 17:19:09 fungot, what about enla? 17:19:10 si.zb: mr president, commissioner, the aid procedure. my concern, personally, i believe, on the basis of the international conventions, needs for protection and family reunification. 17:19:31 Ooh, you met a bug. 17:19:57 fizzie, no, that's my true name 17:20:11 Oh, okay; then it's just the usual clairvoyancy thing. 17:20:14 It isn't part of any mortal character encoding. 17:22:27 "93 9f 97 84 82 95 9b 8b 99 73 98 69 8d 9a 9e 2e 7a 92 88 91 8c 62"; that's not a very obvious sequence of bytes. 17:23:57 fungot, so, what else do you know? 17:23:57 Phantom_Hoover: mr president, ladies and gentlemen, i would like to congratulate mr blokland on the classification of european export shares to asia as a proportion of publicly financed social and economic difficulties there, its crisis of political confidence and its restrictions of democratic freedom, which only brings together members of the new millennium 17:25:45 All hail Mr. Blokland; sounds like a LEGO thing. 17:25:56 another danish scheme 17:26:29 financing asian social and economic difficulties 17:27:55 -!- Phantom_Hoover_ has joined. 17:27:58 -!- cpressey has joined. 17:27:59 fungot, what are Denmark planning? 17:28:00 Phantom_Hoover_: in its short justification, the committee on budgetary control, we should be penalising employers who shamelessly exploit immigrants who have no desire to hand over the issue of comitology. i welcome the fact that all this may bring to bear on those principally responsible for the 500 000 protesters were perfectly aware of the problem demands that we close our eyes to the facts. 17:29:43 i note that the fnords are not visible in this style - clearly this shows that this _is_ an illuminati plot 17:30:16 or well, several 17:30:53 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 17:31:07 A confluence of illuminati ploti? 17:31:51 CONFLVENTIA PLOTORVM ILLVMINATORVM 17:47:02 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover. 17:47:37 oerjan, isn't -orum singular genitive? 17:47:48 Or perhaps dative... 17:47:59 no, plural 17:49:36 'k 17:55:52 -!- Gregor-P has joined. 18:04:16 OK, so I have a parser for Eightebed done, and the beginnings of a type checker. I just need to finish that, extend it to do simple validity analysis, write the translator (to C), and write the runtime for the translated code (in C)... 18:06:20 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 18:07:58 -!- yiyus has quit (Ping timeout: 245 seconds). 18:09:27 -!- yiyus has joined. 18:09:27 CPS is very similar to the standard x86 calling convention... 18:09:51 -!- Gregor-P has quit (Ping timeout: 240 seconds). 18:09:55 Phantom_Hoover: ? The standard x86 calling convention uses the stack IIRC... 18:10:59 Well, it uses an address rather than a continuation, of course. 18:11:55 cactus stack obv 18:12:31 Phantom_Hoover: Actually, it's more that *call stacks* are very similar to CPS. 18:12:34 :) 18:12:49 pikhq, "similar" is commutative, isn't it? 18:12:56 Call stacks are crippled continuations 18:13:04 cpressey, that was my point. 18:15:10 cpressey: Except when you add stronger stack manipulation. 18:15:45 (in particular things like stack-swapping coroutines...) 18:17:23 -!- Gregor-P has joined. 18:23:47 Granted. But I would say even the fanciest stack arrangement limits the power of continuations. 18:27:14 -!- MigoMipo has quit (Quit: Quit). 18:28:25 cpressey: Not really. One can use each stack as a continuation. :P 18:29:11 (this is most useful for the setup provided by getcontext et al, where each new stack has, at its bottom, the start of a function that will jump to a different stack...) 18:29:51 pikhq: OK, fine. Two stacks and you have a Turing tape anyway, right. 18:30:10 Correct. 18:30:16 -!- nooga has quit (Ping timeout: 240 seconds). 18:31:14 But then if you have a Turing machine, who needs functions or continuations anyway? See, this is not at all what I was getting at... 18:31:44 -!- nooga has joined. 18:32:13 :P 18:36:33 -!- cal153 has quit (Ping timeout: 240 seconds). 18:36:42 Moo 18:56:21 I see the Python debugger is just as much a debugger as all other debuggers. 18:56:25 (Bugger!) 19:01:42 How do you do the empty set in TeX? 19:01:50 Or union, for that matter. 19:03:25 \emptyset, \cup or \bigcup . iirc. 19:04:22 -!- zzo38 has joined. 19:04:35 I think it is $\emptyset$ for empty set symbol in TeX? 19:05:05 (I don't know if it is different for LaTeX, or for AMS-LaTeX) 19:05:46 I checked now, it is $\emptyset$ 19:08:30 Wait, what's the difference between $\emptyset$ and \emptyset ? 19:08:43 If you are not in math mode you have to enter math mode first 19:09:14 Otherwise you would normally use it inside of a mathematical equation, so put $ around the entire equation instead of only around the \emptyset part 19:11:15 "many people prefer the look of AMS's \varnothing ... to that of LaTeX's \emptyset. 19:11:18 " 19:11:36 I suppose if you are using AMS you can use \varnothing instead 19:11:57 (from http://www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf which is _too_ comprehensive, took me ages to find the last one) 19:14:13 I have idea to add a few additional commands into TeX \rawread \rawwrite \boxpush \boxpop \boxenqueue \boxdequeue \tokpush \tokpop \tokenqueue \tokdequeue 19:15:05 that document seems to use LaTeX2e as the lowest common denominator, so nothing about just TeX specified 19:16:36 AMSTeX is the only TeX that matters 19:16:42 (Just trying to start a fight) 19:17:05 cpressey: I don't think so, there are many kinds that are used, they all matter 19:17:41 I don't care about TeX - I just want a sed that handles UTF-8 properly 19:18:03 cpressey: O, perhaps you can modify sed to do that, if you want it like that? 19:18:26 I'd sooner write a Perl script to do the replacements for me 19:18:54 Or Python, considering I have an idea of how Python's Unicode support works, but know nothing about Perl;s. 19:20:23 Wait, it does. I was just writing a bad regexp previously. Heheh. 19:20:42 Phantom_Hoover: http://omega.albany.edu:8008/Symbols.html is a bit more maintainable :D 19:20:55 Why the :8008? 19:21:03 Could they not get 80 19:21:09 s/$/?/ 19:21:20 cpressey: My sed doesn't handle UTF-8 properly in the sense that it'd understand multibyte sequences to be one character, but you can still do some simple operations even while it just thinks as sequences of bytes. 19:21:28 how the heck should i know, i just googled "tex symbols" 19:22:41 Wait, sed at home actually seems to be locale-aware. Freaky! It must've been some other sed that didn't do it right. (Or maybe I, too, wrote a bad regexp.) 19:22:41 Phantom_Hoover: the date "11 Jan 95" _could_ be a hint 19:23:29 "echo ä | sed -e 's/./x/'" => "x"; "echo ä | LC_CTYPE=C sed -e 's/./x/'" => "x¤". It certainly does locale-specificity. 19:23:38 The union of any set with the empty set is equal to the original set, isn't it? 19:23:50 yes 19:24:46 love the favicon on that page 19:24:51 Phantom_Hoover: also, \cup is used as a binary operator, while \bigcup is generally used for indexed stuff, like the sigma sum symbol 19:25:12 More addition commands into TeX \pushmode \popmode \undefhandler 19:25:24 it's like + vs. \sum 19:28:34 -!- nooga has quit (Ping timeout: 252 seconds). 19:29:53 -!- nooga has joined. 19:30:28 Phantom_Hoover: incidentally with the table called "delimiters" iirc you can put \left or \right commands before some of them to make them expand in size. e.g. matrices can be put between \left[ and \right] 19:30:51 Even more additional commands into TeX \foreach \alltolerate \readglue \readmuglue \processglue \processmuglue 19:31:51 glue? 19:32:12 \notolerate \krystalnacht \myhead 19:32:18 cpressey: Do you use TeX? 19:32:34 or you could use \left( and \right) as parentheses if your formula is so big the usual ones become awkward 19:32:34 Gregor-P: And what would \krystalnacht and \myhead mean? 19:32:54 zzo38: I tried using LaTeX, once, years ago. Safe to say I've forgotten almost everything about it. 19:33:22 *kristallnacht 19:34:04 oerjan: Thanks, I knew that was all wrong but can't check on my phone :P 19:34:16 cpressey: Maybe in LaTeX you don't need to deal with glue. But Plain TeX uses glue values, which means the natural length, as well as how much it is allowed to be shrink and how much it is allowed to be long, for inserting spaces, such as spaces between words in lines of paragraph text. 19:34:58 This must be why I've never "progressed beyond" HTML. 19:35:00 -!- jcp has joined. 19:35:44 zzo38: LaTeX has various length designations, some expandable, some not 19:36:02 -!- cal153 has joined. 19:36:20 cpressey: Perhaps you could try using TeX for some thing one time, I use it and it works. 19:36:48 (And if you want to type the rules of a role playing game, you might use Icoruma and then compile Icoruma files into other formats, such as TeX and HTML) 19:37:14 -!- jcp has quit (Client Quit). 19:37:45 Um, 19:38:01 -!- jcp has joined. 19:38:30 (Although I prefer Plain TeX, but different people might prefer LaTeX or other packages) 19:38:43 zzo38's wikipedia user page just ate my brain 19:39:04 zzo38: i suspect most non-programmers will find TeX to require too much handling of details 19:39:12 cpressey: O NO I DIDN'T KNOW WIKIPEDIA PAGES HAS TO EAT!! 19:39:13 *plain TeX 19:39:22 Wikipedia pages don't have to eat 19:39:43 Only the people that write it has to eat. (But not necessarily eating the pages!) 19:41:21 oerjan: Yes, you are probably right. But the programming that can be done in TeX is what makes it good idea in my opinion! 19:41:26 zzo38: You are so totally one of those grey aliens pretending to be a human, aren't you? 19:42:03 cpressey: No, I don't think so, not as far as I know, anyways. 19:42:28 * cpressey wants to believe 19:42:33 >_> 19:42:51 I am one of those humans that perhaps it is not meant to be humans but is instead supposted to be some kind of weird monsters that actually doesn't exist and nobody knows nothing about, not even me. 19:42:57 But this is also doubtful. 19:43:10 cpressey: OK, believe what you want to believe either way 19:43:21 (But I am warning you!) 19:43:44 Warning duly noted. Constraining belief systems, please wait... 19:44:07 oh ye of little faith 19:50:17 My Wikipedia userpage mentions rotary telephones, I still use them (I use touchtone as well), but I also use phone that must be pulsed manually, which is the easiest kind to build. 19:50:29 cpressey, zzo38 is another result of the Device. 19:50:34 Because is simple and uses less component of others 19:50:57 Phantom_Hoover: Sorry, what Device do you mean? I don't know. 19:51:09 zzo38, yes, the Device tends to cause that. 19:51:14 Don't worry about it. 19:51:25 Really surprised that there are any phone companies in NA that still support pulse dialing. 19:51:36 NA? 19:51:47 Was just reading an article about technologies going "obsolete", by concidence 19:51:49 north america, presumably 19:52:25 One of the technologies on this list is the "Computer Mouse" 19:52:27 I think everyone should still continue to support pulse dialing 19:53:07 So that anyone can build a telephone from just a few wires and it will work 19:53:14 zzo38: do you think everyone should continue to support unsliced bread? 19:54:46 ais523: Yes, I think you can, however you can make it at home baking it, so you don't need to have it commonly available at the store if you do not want to 19:55:01 I think DIP packaging should be banned. Only surface-mount packaging should be manufactured. This will make it much, much harder for pesky individual hobbyists to experiment with electronics. 19:55:51 cpressey: I think both DIP packaging and surface-mount should be remain available. 19:56:29 Also, facetiousness should be punishable by being beaten with a sausage. 19:56:49 cpressey: What is the purpose of that? 19:57:13 my first degree was in electronic engineering 19:57:21 and surface mount is entirely possible to handle, just more annoying 19:57:38 besides, call me back when you invent surface mount wire 19:57:46 ais523: Which is why both ways should remain available. 20:04:02 Sure, it are possible, but if only SM was available, I would probably choose something like kite-building over electronics as a hobby. 20:04:11 Sure, it are! 20:05:01 There's something I'm missing though, about hobbies I mean, but that's a different subject. 20:05:40 -!- Mathnerd314 has joined. 20:09:38 * Sgeo_ kisses Google 20:18:00 -!- ais523 has quit (Remote host closed the connection). 20:18:08 Sgeo_, why? 20:18:27 I had a problem. Google had the solution 20:18:40 BRB 20:25:03 -!- Sgeo_ has quit (Ping timeout: 245 seconds). 20:26:40 -!- AnMaster has joined. 20:31:24 -!- Sgeo has joined. 20:34:26 Well, now I'm having a different 20:34:29 different problem 20:34:34 And finding no solutions :( 20:38:30 There's RDP support in Ubuntu, right? 20:41:38 RDP? 20:41:47 -!- zzo38 has quit (Remote host closed the connection). 20:42:07 Remote Desktop Protocol? 20:42:39 System>Preferences>Remote Desktop 20:43:37 Applications>Internet>Remote Desktop Viewer? 20:44:20 I'm not in Ubuntu right now 20:44:23 I'm on Windows 20:46:57 -!- Sgeo has quit (Read error: Connection reset by peer). 20:50:25 There has to be a better way 20:50:44 -!- oerjan has quit (Quit: Raptor Defense Protocol). 20:51:19 RAPTORS! 20:51:24 Ready the Device! 20:54:28 -!- Mathnerd314 has quit (Disconnected by services). 20:54:52 -!- Mathnerd314_ has joined. 20:55:03 -!- Mathnerd314_ has changed nick to Mathnerd314. 20:57:12 -!- Mathnerd314 has quit (Disconnected by services). 20:57:30 -!- Mathnerd314_ has joined. 20:57:45 -!- Mathnerd314_ has changed nick to Mathnerd314. 21:01:15 -!- deathmoniac has joined. 21:06:50 -!- Sgeo has joined. 21:10:32 -!- Mathnerd314 has quit (Ping timeout: 258 seconds). 21:29:25 -!- jcp has quit (Ping timeout: 276 seconds). 21:30:15 Googling for Icoruma is an adventure! 21:34:31 -!- jcp has joined. 21:37:22 http://jyte.com/cl/i-have-used-at-least-10-different-programming-languages 21:38:16 I just counted -- I've used 18 "for serious". Counting Visual Basic, 8-bit Microsoft BASIC, and Business BASIC as different languages, and x86 and 6502 as different too. 21:38:23 -!- Sgeo has quit (Ping timeout: 245 seconds). 21:39:28 I can't count, like, Forth or Prolog, because I've just never gotten very serious with them. 21:44:09 I have used 0 programming languages, then. 21:45:05 Phantom_Hoover: Not even school projects? That you've enjoyed? I've done a school project in Prolog, and if I had enjoyed it, I would have included it... 21:45:14 It was kind of meh though. 21:45:42 cpressey, I have whined endlessly about how terrible my school's computing course was. 21:45:46 Prolog is an excellent tool for expressing logical relations. A programming language -- not so much. 21:45:59 Phantom_Hoover: OK, ok. 21:46:15 I like Prolog, though. 21:48:19 Phantom_Hoover: Write something you care about in it, and you could raise that 0 to a 1. (Just sayin'.) 21:48:42 Oh, I've written things I care about before. 21:48:58 But not in a way that you'd consider "for serious"? 21:49:08 Well, they were all for my own amusement. 21:50:03 http://jyte.com/cl/i-have-used-at-least-10-different-programming-languages <-- what is jyte? 21:50:08 Well, I'm not really using that as a criteria. Almost everything I've written in Haskell or 6502 assembly has been for my own amusement. 21:50:29 AnMaster: It came up during my google search for Icoruma. 21:50:39 cpressey, what is icoruma? 21:51:08 (1:36:24 PM) zzo38: (And if you want to type the rules of a role playing game, you might use Icoruma and then compile Icoruma files into other formats, such as TeX and HTML) 21:51:28 cpressey, define serious btw. 21:51:37 AnMaster: No. 21:51:41 cpressey, oh go to zzo's website. He is NIH 21:51:46 It's intentionally vague 21:52:21 AnMaster, really? I was strongly under the impression that zzo was invented here. 21:52:41 Phantom_Hoover, har har 21:53:03 zzo38: fungot 2.0 21:53:04 Phantom_Hoover: mr president, commissioner, this is one of numerous documents which we ourselves have done in which you are facing up to the year 2012. 21:53:20 fungot, AHA, so 2012 is involved too? 21:53:21 Phantom_Hoover: mr president, as several speakers have drawn attention to the needs of a european space strategy together with the proposal on the general headquarters of the united nations. 21:53:41 Of course! 21:54:04 The UN are going to destroy the world in 2012 with European orbital weapons! 21:54:08 IT ALL MAKES SENSE 21:58:14 AHA 22:01:16 -!- calamari has joined. 22:01:19 hi 22:02:11 Helloooooo calamari. 22:03:15 hi cpressey 22:07:24 -!- Sgeo has joined. 22:14:40 -!- Mathnerd314 has joined. 22:17:20 -!- GreaseMonkey has joined. 22:19:59 It's the whole gang! 22:22:07 Hm 22:22:16 That's one eBook I can find only in the Kindle store :( 22:29:12 "It's the whole gang"? 22:39:07 Jinkies! 22:46:25 -!- Mathnerd314 has quit (Disconnected by services). 22:46:45 -!- Mathnerd314_ has joined. 22:47:00 -!- Mathnerd314_ has changed nick to Mathnerd314. 22:51:09 Can someone please do a /me in a few seconds? 22:51:30 * cpressey refuses to cooperate with coppro 22:51:39 thanks 22:54:52 coppro, what nefarious deeds are you up to??? 22:55:23 testing my client 22:56:51 Phantom_Hoover, plans for 2012 clearly