←2010-08-02 2010-08-03 2010-08-04→ ↑2010 ↑all
00:00:07 <alise> 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 <alise> Agora, sheesh! :P
00:01:09 <Phantom_Hoover> Sgeo, FLR?
00:01:16 <alise> pikhq, maybe?
00:01:23 <alise> Phantom_Hoover: The Full Logical Ruleset of Agora Nomic.
00:01:47 <Phantom_Hoover> Full Logical?
00:01:54 -!- Mathnerd314 has quit (Disconnected by services).
00:01:57 <pikhq> 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 <alise> pikhq: Maybe I could AUTOMATE IT. /salivates
00:02:59 <alise> Ooh, provide little page numbers above rule references!
00:03:06 <alise> Phantom_Hoover: It's logical because it is. It's full because it includes rule history.
00:03:10 <alise> The Short Logical Ruleset doesn't.
00:03:12 <Phantom_Hoover> Things that will be done when I am in charge: all image transforms will be banned.
00:05:10 <Phantom_Hoover> Well, all image transforms in the context of photographs of oneself.
00:07:14 <SgeoN1> I was assuming it would be automated
00:07:36 <SgeoN1> Can you make epubs from LaTeX? I'd assume so...
00:08:10 <alise> SgeoN1: Uh, maybe.
00:08:15 -!- Mathnerd314 has quit (Disconnected by services).
00:08:22 <alise> 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 <SgeoN1> I think there used to be chronological rulesets. I glanced at Agoranomic back in 2003 or 2005 or so.
00:08:37 <alise> Should the drop cap be {``E}? If so, does the `` extend into the margin? (Yes.)
00:08:45 <alise> Or should it be {E}, with a normal `` in the margin preceding it?
00:08:51 <alise> If the latter, how can I achieve this with LaTeX/
00:09:33 -!- Mathnerd314 has joined.
00:10:50 <alise> *LaTeX?
00:10:55 <pikhq> alise: I'm pretty sure it should be drop-cap'd {``E}, with `` extended into the margin.
00:11:04 <pikhq> How you achieve this, I know not.
00:11:10 <alise> pikhq: But then the closing '' looks unbalanced.
00:12:57 -!- Mathnerd314 has quit (Disconnected by services).
00:13:10 <pikhq> Yeah, but... Everything else is ugly.
00:13:17 -!- Mathnerd314_ has joined.
00:13:31 -!- Mathnerd314_ has changed nick to Mathnerd314.
00:13:33 <pikhq> Small quote mark? *ugh*
00:14:29 <alise> I dunno, it could work, if in the margin.
00:14:39 <SgeoN1> 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 <SgeoN1> Although it would make me as famous as comex! Ok, not really, but I'm jealous
00:17:45 <alise> It's just a fucking iPhone jailbreak.
00:18:09 <pikhq> And Wii hacking.
00:20:19 <alise> That garners rather less fame.
00:22:12 <coppro> SgeoN1: chroniclor
00:22:41 <SgeoN1> That sounds more like an office
00:22:52 <coppro> it is
00:22:56 <coppro> you should take it
00:22:57 <coppro> and do it
00:22:59 <SgeoN1> Also, CFJs should be epubbed
00:22:59 <coppro> and become famous
00:23:00 * alise indents his first paragraph in latex
00:23:04 <alise> *her
00:23:07 <alise> Why? Because it's only one line.
00:23:42 <SgeoN1> Hmm
00:24:01 <SgeoN1> I'd only be Agoranomic...known
00:24:24 <SgeoN1> My phone has agoranomic as an autocorrect
00:28:29 <alise> 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 <SgeoN1> Bye
00:38:34 -!- Phantom_Hoover has quit (Remote host closed the connection).
00:40:07 <coppro> alise: no
00:40:27 <alise> No what?
00:40:32 <coppro> not the worst poet ever
00:40:39 <alise> Oh really?
00:40:39 <coppro> worst poet ever died when Earth exploded obv
00:40:55 <alise> “Incorrigible shopkeeper thou,
00:40:55 <alise> Who cannot even fields plow:
00:40:55 <alise> ‘Dear sir, I must be sure
00:40:55 <alise> Do you frolick and play in manure?’
00:40:55 <alise> Is a question I’m sure you’re oft asked;
00:40:56 <alise> And this divine duty with which I’m tasked?
00:40:58 <alise> To retrieve my stolen Device.”
00:41:18 <alise> 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 <nooga> who wants to test our home-built 8088 computer?
00:47:44 <nooga> http://cutr.pl/dd54681099 <- the core :D
00:51:38 <alise> I would, if I understood it.
00:51:48 <alise> I'm going to be like Dickens, and release my terrible novels in serial form.
00:52:01 <alise> Here I present the first instalment of A Device Lost, a Bjorn tale!
00:52:02 <alise> http://filebin.ca/rhgbku/bjorn.pdf
00:52:27 <alise> Note: Bjorn has Infinite Personality Disorder.
00:53:26 <nooga> alise: it's almost like oooold IBM PC
00:53:43 <alise> Bjorn would never use a computer he couldn't eat.
00:53:44 <nooga> and that was the actual photo of working processor
00:54:01 <nooga> ah
00:54:15 <nooga> ah, disorder, i see
00:55:13 <nooga> ;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 <nooga> http://cutr.pl/5cffb3360e behold
01:44:33 <alise> http://i.imgur.com/NtXHf.png
01:56:29 <nooga> :|
01:56:58 <Gregor> http://codu.org/tmp/teddynom.gif
01:56:59 <nooga> if i was to build a lisp machine
01:57:15 <nooga> it would probably look exactly like QED
01:58:46 <nooga> oh
01:59:34 <nooga> 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 <Gregor> CAN I TEST IT WITH MY TONGUE?
02:00:23 <nooga> no, but you can ssh the maintenance machine
02:00:34 <nooga> and PROGRAM it
02:00:38 <Gregor> OMG
02:00:43 <Gregor> PROGRAM IT WITH CODEZ
02:00:55 <nooga> or just check out early code samples
02:01:16 <nooga> or just check out motd
02:01:35 <nooga> or just check out
02:01:38 <nooga> or just check
02:01:41 <nooga> or just
02:01:42 <nooga> or
02:01:44 <nooga>
02:03:04 <nooga> anyway
02:05:10 <nooga> ³
02:07:59 <alise> <nooga> if i was to build a lisp machine
02:07:59 <alise> <nooga> it would probably look exactly like QED
02:08:01 <alise> which sense of QED?
02:09:12 -!- Mathnerd314 has joined.
02:09:13 <nooga> QED is the name of that 8088 computer i showed you
02:09:19 <nooga> Quantum Explosion Dynamp
02:09:21 <nooga> Dynamo
02:16:17 <alise> 11:59:59 <cpressey> Haskell doesn't suck.
02:16:19 <alise> SO WRONG.
02:18:35 <alise> 12:23:05 <fizzie> Gregor-P: re recursiveC: DOUBLE COMPILE. (reference: http://www.youtube.com/watch?v=6WxJECOFg8w and related)
02:18:41 <alise> Gosh. It's compiled twice.
02:19:29 <nooga> wtf
02:20:32 <nooga> recursiveC?
02:21:57 <alise> See http://tunes.org/~nef/logs/esoteric/10.08.02.
02:22:19 <Gregor> 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 <nooga> PHP?
02:24:08 <Gregor> ... huh?
02:25:07 <nooga> nothing :D
02:26:40 <alise> PHP is a dangerous drug.
02:27:13 <nooga> i hate it
02:32:29 <alise> http://www.reddit.com/r/programming/comments/cwep1/the_neverending_finite_loop/c0vt9vf?context=4
02:32:34 <alise> Badum-tish
02:38:32 <alise> Infi-Loop I always use...
02:38:33 <alise> x = 1;
02:38:33 <alise> while(x > 0) { if (x < 2) x++; else x--; }
02:38:33 <alise> --reddit
02:38:38 <alise> This person has never even considered while(1).
02:44:49 <Sgeo> Surely that poster was joking?
02:49:17 <alise> I hope so.
02:51:30 <alise> I have to be up in a bit less than 6 hours.
02:51:33 <alise> 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 <alise> Goodnight.
03:36:33 <zzo38> Goodday.
03:36:36 <alise> Bye.
03:36:38 -!- alise has quit (Quit: Leaving).
03:38:33 <zzo38> 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 <zzo38> I don't exactly know how some of these should look though
03:39:33 -!- cal153 has joined.
03:39:56 <zzo38> 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 <zzo38> If there is blackboard bold, does that mean somebody will invent whiteboard bold?
03:40:41 -!- oerjan has joined.
03:40:50 <zzo38> OK
03:41:16 <pikhq> All of Unicode.
03:41:18 <pikhq> And do it well.
03:41:26 <zzo38> I especially don't know the control graphics
03:42:01 <zzo38> 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 <zzo38> (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 <zzo38> 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 <zzo38> ('\e' is GNU C only, but I included it so that it can be used with GNU C)
03:45:40 <zzo38> 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 <zzo38> How many codes does Unicode have these days, anyways?
03:48:16 <pikhq> Tons.
03:48:34 <zzo38> But how many? One million?
03:48:38 <pikhq> Some 75% of it is Han Unified Ideographs...
03:48:50 -!- SgeoN1 has joined.
03:48:59 <pikhq> 107,361 as of October 2009.
03:49:07 <zzo38> OK
03:49:08 * SgeoN1 is going to eat his first hamburger soon
03:49:21 <pikhq> SgeoN1: ... Your *first* hamburger?
03:49:28 <SgeoN1> My dad says I've eaten hamburgers before, but I don't remember
03:49:31 <pikhq> And you're in... America.
03:49:35 <zzo38> SgeoN1: When are you going to eat your first "burgerham"?
03:49:52 <SgeoN1> My dad has been paranoid about mad cow disease
03:49:55 <coppro> uh, what?
03:50:05 <zzo38> OK, now I understand (I think)
03:50:05 <coppro> Unicode has 246,943 assigned codes
03:50:42 <zzo38> coppro: When do you ever think it will reach one million if it ever does?
03:50:57 <SgeoN1> Also, it's not going to be in hamburger buns, just slices of bread ;(
03:51:06 <SgeoN1> Erm, :(
03:51:14 <Gregor> Sgeo: Tell us EVERY DETAIL of your FIRST HAMBURGER EVAR
03:51:19 <pikhq> SgeoN1: How do you *avoid* eating hamburgers in the USA?
03:51:20 <coppro> zzo38: long time
03:51:40 <pikhq> This is a bit like avoiding seeing a fat person.
03:52:34 <oerjan> <coppro> Freenode whois doesn't tell you which server someone's on, just which server location you're on
03:53:00 <oerjan> you're on jordan.freenode.net in france. hth.
03:53:37 <zzo38> 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 <coppro> oerjan: huh
03:53:48 <coppro> maybe seven doesn't have that feature
03:54:01 <oerjan> yeah that was about when it changed
03:54:06 <zzo38> The WHOIS does tell you.
03:54:27 <zzo38> On the 312 line.
03:54:35 <coppro> 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 <zzo38> coppro: Well, it works now (at least for me)
03:54:52 <coppro> yeah, me too
03:55:21 <coppro> pikhq: also, CJK ideographs fall just short of 75%
03:55:24 <oerjan> i vaguely recall it replied with irc.freenode.net for a while
03:55:36 <pikhq> coppro: Aaaaw.
03:55:51 <pikhq> coppro: Throw in kana and bopomofo, and what do you get? :P
03:56:16 <coppro> probably 75% :D
03:56:24 <Gregor> 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 <Gregor> eme, they're gonna be PISSED."
03:56:27 <Gregor> Two people have "liked" it.
03:56:34 <Gregor> I'm quite sure that neither of them have any idea wtf I'm talking about :P
03:56:35 <coppro> There are according to wikipedia 74384 ideographs and 107361 characters
03:56:54 <coppro> Gregor: extending UTF-8 is easily done
03:57:12 <Gregor> To eight bytes, yes. To nine bytes, no.
03:58:01 <coppro> oh, you care about the invariants
03:58:06 <coppro> right, yeah, you're stuck at 7
03:58:18 <pikhq> Gregor: Nine bytes is a TRIVIAL extension. We deprecate UTF-8 and move on to UTF-G_64.
03:58:21 <Gregor> Well, yeah. If we're gonna break all the invariants, what's the point :P
03:58:30 <pikhq> >:D
03:58:40 <coppro> actually, nah, it's easy
03:58:59 <coppro> 0b11111111 says that the next byte says how many more bytes are part of the same character :D
03:59:09 <coppro> (and they all start with 0b10
03:59:38 <zzo38> That way you can extend to more than nine bytes, then.
03:59:58 <Mathnerd314> and 0 means to look again
04:00:07 <Mathnerd314> at the next 2 bytes
04:00:09 <coppro> yeah
04:00:16 <coppro> you can run the sequence up indefinitely
04:00:20 <Gregor> coppro: Hmmmm, you've stuffed another layer of encoding into UTF-8, awesome X-d
04:00:22 <Gregor> *X-D
04:02:57 <zzo38> 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 <zzo38> Or if anything I already have duplicates Computer Modern, I should also change it
04:04:15 <coppro> WEBMATH?
04:05:28 <oerjan> <Phantom_Hoover> cpressey, I thought lament's real name was Nikita something?
04:05:33 <zzo38> coppro: I want to invent a font called WEBMATH and can be used in TeX and METAFONT
04:05:34 <zzo38> http://sprunge.us/OiNh
04:05:44 <oerjan> famous hot russian female: http://en.wikipedia.org/wiki/File:Bundesarchiv_Bild_183-B0628-0015-035,_Nikita_S._Chruchstschow.jpg
04:05:55 <zzo38> There is the list, you can see some spaces are not filled in yet
04:07:14 <coppro> how do you use a font in METAFONT
04:07:18 <zzo38> (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 <coppro> also, I do not support this project
04:07:46 <zzo38> 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 <zzo38> That is how you use a font in METAFONT.
04:07:57 <coppro> fonts that do not respect Unicode should be shot
04:08:16 <SgeoN1> It was eh
04:08:36 <zzo38> 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 <coppro> why aren't you using iTeX yet?
04:09:19 <zzo38> iTeX?
04:10:09 <myndzi> coppro's method seems like it would be rather big
04:10:23 <zzo38> I don't want to use iTeX, I want to use Plain TeX
04:10:25 <myndzi> i think by the time you get up to 9 bytes another encoding method would be preferable for efficiency reasons
04:10:49 <coppro> myndzi: THINK OF THE CHILDREN
04:10:52 <myndzi> ..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 <pikhq> zzo38: XeTeX is Unicode based. Suck it.
04:14:12 <zzo38> I looked at the iTeX description, and it completely makes nonsense!
04:14:39 <zzo38> pikhq: Can XeTeX work with Plain TeX?
04:14:49 <pikhq> Yes.
04:15:49 <zzo38> What differences does XeTeX have from normal TeX?
04:17:00 <pikhq> It uses Unicode as its encoding, it supports OpenType fonts directly, and it outputs to PDF.
04:18:44 <zzo38> pikhq: Then that means I can't use DVI with it?
04:18:58 <zzo38> Does it also mean METAFONT can't be used with it?
04:19:33 <pikhq> It also supports METAFONT.
04:19:37 <pikhq> It doesn't do DVI.
04:19:42 <pikhq> DVI is an archaicism, anyways.
04:21:56 <zzo38> I think I still prefer the normal TeX system.
04:22:29 <Sgeo> What does LaTex use? Does it fit over any of these.. thingies, or is it TeX-only?
04:22:59 <coppro> btw, if you haven't seen, it, you need to watch http://river-valley.tv/media/conferences/tug-2010/Don-Knuth/
04:23:48 <zzo38> Wikipedia article for XeTeX says it uses LaTeX
04:24:35 <zzo38> 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 <Sgeo> Soon I'll be confused tracking all the ways I'm confused!
04:24:47 <pikhq> Sgeo: LaTeX is a set of macros for TeX.
04:32:35 * Sgeo terminally fails at references
04:32:42 <zzo38> 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 <comex> well, I like Plain Text.
04:43:38 <zzo38> Why did they make LaTeX require multiple passes and a separate program to make index, and so on?
04:46:27 <zzo38> What do I need to make METAFONT work on MiKTeX?
04:47:19 <coppro> have you watched the video yet?
04:47:56 <zzo38> The video won't play
04:48:05 <coppro> :(
04:48:16 <coppro> I think it's Flash
05:11:37 <zzo38> I got METAFONT to work now, but it still doesn't work in interactive mode?
05:13:12 <zzo38> Can fonts with METAFONT be converted to other formats, in case some other programg uses other formats?
05:18:50 <Sgeo> It's possible to make ePub files by hand!
05:18:58 -!- oerjan has quit (Quit: leaving).
05:19:08 <Sgeo> Of course, I won't, but I will attempt to make an automated epub creator for Agoran Rulesets
05:19:22 <Sgeo> Can ePubs reference other books? I doubt it, but that would be awesome for the Agoran stuff
05:19:33 <Sgeo> Crosslinks between CFJs and the FLR
05:20:20 <Sgeo> "If your book is in the HTML format, you can use Book Glutton to convert it to ePub"
05:20:46 <coppro> better idea
05:20:51 <coppro> let's make a SVG version
05:21:05 <coppro> that way we can make it as small as we want it ;)
05:21:20 <Sgeo> ePub will be very useful to me soon
05:21:30 <coppro> why?
05:21:50 <Sgeo> Getting an eReader soon hopefully
05:21:52 <coppro> ah
05:22:20 <Sgeo> Hmm, def. want custom thing for the FLR... there's a Table of Contents thing in the spec, apparently
05:22:23 <coppro> (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 <Sgeo> BookGlutton costs $5 :(
05:26:31 <Sgeo> No ty
05:27:36 <Sgeo> 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 <Sgeo> 1 ePub for each RTRR!
05:37:41 <Sgeo> When was coppro playing Mafia?
05:37:51 <Sgeo> With people I don't recognize?
05:37:55 <coppro> huh?
05:38:09 <Sgeo> Found a text file wolfgame.txt
05:38:12 <Sgeo> Looks like an IRC log
05:38:22 <Sgeo> Hmm, by that name, I guess you call it Werewolves
05:38:36 <coppro> where?
05:38:56 <Sgeo> I have no idea
05:39:08 <Sgeo> I can list names of the participants though
05:39:24 <coppro> how can you have found a file but not know where you found it?
05:39:24 <Sgeo> modargo, Narrator, Crispy-, coppro, Coboney, Leecifer
05:39:29 <coppro> oh!
05:39:35 <coppro> that was #wolf of EFNet
05:39:52 <Sgeo> Most importantly: Why do I have a log of this?
05:40:08 <Sgeo> It was in my Downloads folder...
05:40:42 <coppro> maybe I linked it?
05:41:00 <coppro> can you send me a copy? Maybe there is something special about it
05:42:20 <Sgeo> Erm, email it to you?
05:42:37 <coppro> sure
05:44:01 <Sgeo> Sent
05:44:23 <zzo38> PDF has too many stupid features in my opinion
05:44:50 <coppro> thanks
05:44:53 <coppro> hm... I remember that game
05:44:58 <coppro> nothing particularly remarkable about it
05:45:23 <coppro> no clue why you'd have a log
05:47:07 <zzo38> 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 <zzo38> What is epubs?
05:49:53 <Sgeo> A file format usable by most ereaders
05:49:57 <Sgeo> *epub
05:50:33 <Sgeo> Hmm, the Map of Agora isn't exactly reflowable
05:51:14 <zzo38> How does epub work?
05:51:56 <Sgeo> *shrugs*
05:53:27 <zzo38> Is it like HTML or like PDF or DVI or like bitmap picture files, or how does it work?
05:55:33 <Sgeo> More like HTML than like bitmaps
05:55:52 <Sgeo> Very much like HTML, I think, actuallhy
05:56:07 <zzo38> What is its feature support, colors, fonts, printout, etc?
05:57:05 <Sgeo> No clue
06:02:34 <zzo38> 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 <zzo38> Has anyone implemented any variant of INTERCAL in TeX?
06:25:14 <Sgeo> zzo38, what do you have against Python?
06:25:33 <zzo38> Sgeo: I just don't like it much. C is more better in my opinion.
06:26:02 <zzo38> I have nothing against Python, though.
06:26:14 <Sgeo> This user is made out of userboxes
06:27:20 <zzo38> Are you looking at my Wikipedia?
06:27:40 <Sgeo> Yes
06:28:18 <zzo38> OK
06:28:33 -!- SgeoN1 has quit (Ping timeout: 240 seconds).
06:28:34 <zzo38> (Feel free to change it if you don't like it; it is a wiki page and anyone can edit it)
06:29:02 <Sgeo> Why would I change it? It's a page about you!
06:29:18 <zzo38> Sgeo: Because you found a mistake in it, perhaps?
06:29:48 <zzo38> Or to make improvement?
06:30:09 <zzo38> Is there a userbox for TeX?
06:30:11 <Sgeo> 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 <zzo38> 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 <zzo38> There is userboxes related to LaTeX, but not for Plain TeX.
06:42:23 <zzo38> 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 <Phantom_Hoover> fungot
10:15:05 <fungot> Phantom_Hoover: eval ( 4 ( atan 1)) ( if ( equal? ( 3 4))? i
10:15:24 <Phantom_Hoover> ^style
10:15:24 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube
10:16:20 <Phantom_Hoover> fungot, don't go into programming.
10:16:20 <fungot> 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 <Phantom_Hoover> Yes, exactly.
10:19:02 <Sgeo_> 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 <ais523> INTERCAL object-orientation reference?
10:21:43 <Sgeo_> Also, considering epub'ing the SLR instead of the FLR
10:24:14 <Phantom_Hoover> fungot, answer ais' question.
10:24:14 <fungot> Phantom_Hoover: java isn't too bad.' this is valid.
10:24:35 <Phantom_Hoover> fungot, well, I'm sure ais would agree...
10:24:47 <ais523> it's not as bad as people make it out to be
10:25:05 <ais523> 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 <Sgeo_> Since there's an easy DocBook -> EPUB converter
10:28:55 <Phantom_Hoover> fungot, are you there?
10:29:04 <Phantom_Hoover> fungot?
10:29:08 <Phantom_Hoover> FUNGOT!
10:29:54 <ais523> 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 <fungot> ais523: like a caged environment for innocent little newbie schemers to keep them in mind :) ttyl i'm going to
10:30:16 <Phantom_Hoover> I hate you, fungot.
10:30:17 <fungot> Phantom_Hoover: fnord wanted dialog...... huh......really? oh a net address! oh, the question needs to be
10:30:29 <Phantom_Hoover> Oh, is that so?
10:35:59 <fizzie> ^style fisher
10:35:59 <fungot> Selected style: fisher (Fisher corpus of transcribed telephone conversations)
10:36:10 <fizzie> fungot: Maybe you could be a bit more casual there.
10:36:10 <fungot> fizzie: exactly and and the cases they deal with are usually very depressing
10:38:04 <Phantom_Hoover> What the hell is npviewer.bin?
10:38:13 * Sgeo_ depresses fungot
10:38:13 <fungot> 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 <ais523> hmm, ingenious
10:38:43 <Sgeo_> Well, we know fungot is a teen girl
10:38:43 <fungot> Sgeo_: you know i'm making dinner table or something you know and and
10:38:47 <ais523> a sentence talking about a really annoying cliff hanger
10:38:58 <ais523> and then stopping just before it explains what the cliff hanger is
10:39:27 <ais523> I think that's the fungot version of "how do you keep an idiot in suspense?"
10:39:27 <fungot> ais523: ( ( fitness and health)) i've ( ( wanted)) to talk to you again laughter but be careful seriously oh that's wonderful
10:39:29 <Sgeo_> [ Directed by M. Night Shyamalan ]
10:40:41 <fizzie> npviewer.bin is usually Flash.
10:40:50 <fizzie> It's a "Netscape Plugin", after all.
10:41:33 <fizzie> (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 <Phantom_Hoover> 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 <nooga> how does fungot work? it takes sentences from the logs?
11:27:10 <fungot> nooga: it just seems like you know like
11:30:04 <ais523> nooga: it has a bunch of data; IRC logs is its current data source
11:30:09 <ais523> but you can set it to other things too
11:30:11 <ais523> ^style agora
11:30:11 <fungot> Selected style: agora (a large selection of Agora rules, both current and historical)
11:30:28 <ais523> see, now it's drawing from current and historical rulesets of Agora
11:30:31 <ais523> fungot: say something
11:30:31 <fungot> ais523: a frankenstein monster, and the minimum hand size shall be four classes of cards exist than its own content, and
11:30:45 <ais523> and it looks for common words at different places in the data source
11:30:56 <ais523> and jumps from bit to bit as long as there are words in common
11:31:01 <ais523> so the result makes sense locally, but not globally
11:31:35 <ais523> IIRC it was optbot which quoted random literal lines from logs, rather than merging many together like fungot does
11:31:35 <fungot> ais523: but after taking all other rules, or
11:32:19 <ais523> 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 <Phantom_Hoover> Wow, Emacs removed all of their yows but one for copyright reason,
12:07:17 <Phantom_Hoover> 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 <ais523> hmm, I'm beginning to think that this department has trouble tracking personell
12:24:16 <ais523> *personnel
12:24:21 <ais523> first, they seem to forget I exist
12:24:40 <ais523> 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 <ais523> wow, after randomly browsing reddit, I just had a really evil idea
12:45:10 <ais523> what you do is, you decide that you want a class that contains, say, run() and eval() methods
12:45:31 <ais523> 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 <ais523> and if it does, you instantiate it and then run the methods
12:45:45 <ais523> what could possibly go wrong?
12:45:55 <ais523> (Bonus: this is actually how object orientation works in CLC-INTERCAL)
12:46:19 <ais523> (although at least it checks whether there's only one appropriate class, first)
12:50:42 <fizzie> 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 <ais523> just try all possible legal identifiers in sequence
12:51:30 <fizzie> Ah, the brute-force method.
12:52:31 <ais523> 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 <ais523> and use those
12:53:47 <fizzie> 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 <fizzie> 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 <fizzie> 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 <fungot> fizzie: " first-class person becomes a registered player, by announcing that e insists. a player is ineligible to
13:16:56 <ais523> yep, it comes to the same thing, but it's a rather different implementation from what I suggested
13:18:01 <fizzie> Of course everyone can just take a peek at the sources to immediately see the implementation strategy.
13:18:34 <fizzie> I think there's even a comment in there.
13:19:04 <fizzie> 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 <Phantom_Hoover> Nothing is happening. fungot, rectify this.
17:06:40 <fungot> Phantom_Hoover: any order issued, the date of the period of
17:06:55 <Phantom_Hoover> Who made his style boring?
17:09:16 <fizzie> ais523 is the one who agorafied him.
17:09:19 <fizzie> ^style europarl
17:09:19 <fungot> Selected style: europarl (European Parliament speeches during approx. 1996-2006)
17:09:33 <fizzie> fungot: Now you're the definition of excitement and unborigness.
17:09:35 <fungot> 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 <fizzie> fungot: Who's trafficking in human beings? Is this some sort of preliminary stage of the coming robot revolution?
17:10:35 <fungot> 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 <fizzie> He sounds *just* like a politician this way.
17:14:36 -!- cal153 has joined.
17:15:44 <Phantom_Hoover> fungot, what activities are carried out in Denmark?
17:15:47 <fungot> 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 <oerjan> the danish human trafficking, obviously
17:17:12 <fizzie> fungot: Is something rotten in the state of Denmark?
17:17:14 <fungot> 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 <Phantom_Hoover> fungot, what about enla?
17:19:10 <fungot> 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 <fizzie> Ooh, you met a bug.
17:19:57 <Phantom_Hoover> fizzie, no, that's my true name
17:20:11 <fizzie> Oh, okay; then it's just the usual clairvoyancy thing.
17:20:14 <Phantom_Hoover> It isn't part of any mortal character encoding.
17:22:27 <fizzie> "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 <Phantom_Hoover> fungot, so, what else do you know?
17:23:57 <fungot> 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 <fizzie> All hail Mr. Blokland; sounds like a LEGO thing.
17:25:56 <oerjan> another danish scheme
17:26:29 <oerjan> financing asian social and economic difficulties
17:27:55 -!- Phantom_Hoover_ has joined.
17:27:58 -!- cpressey has joined.
17:27:59 <Phantom_Hoover_> fungot, what are Denmark planning?
17:28:00 <fungot> 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 <oerjan> i note that the fnords are not visible in this style - clearly this shows that this _is_ an illuminati plot
17:30:16 <oerjan> or well, several
17:30:53 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
17:31:07 <cpressey> A confluence of illuminati ploti?
17:47:02 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover.
17:47:37 <Phantom_Hoover> oerjan, isn't -orum singular genitive?
17:47:48 <Phantom_Hoover> Or perhaps dative...
17:47:59 <oerjan> no, plural
17:49:36 <Phantom_Hoover> 'k
17:55:52 -!- Gregor-P has joined.
18:04:16 <cpressey> 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 <Phantom_Hoover> CPS is very similar to the standard x86 calling convention...
18:09:51 -!- Gregor-P has quit (Ping timeout: 240 seconds).
18:09:55 <cpressey> Phantom_Hoover: ? The standard x86 calling convention uses the stack IIRC...
18:10:59 <Phantom_Hoover> Well, it uses an address rather than a continuation, of course.
18:11:55 <coppro> cactus stack obv
18:12:31 <pikhq> Phantom_Hoover: Actually, it's more that *call stacks* are very similar to CPS.
18:12:34 <pikhq> :)
18:12:49 <Phantom_Hoover> pikhq, "similar" is commutative, isn't it?
18:12:56 <cpressey> Call stacks are crippled continuations
18:13:04 <Phantom_Hoover> cpressey, that was my point.
18:15:10 <pikhq> cpressey: Except when you add stronger stack manipulation.
18:15:45 <pikhq> (in particular things like stack-swapping coroutines...)
18:17:23 -!- Gregor-P has joined.
18:23:47 <cpressey> 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 <pikhq> cpressey: Not really. One can use each stack as a continuation. :P
18:29:11 <pikhq> (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 <cpressey> pikhq: OK, fine. Two stacks and you have a Turing tape anyway, right.
18:30:10 <pikhq> Correct.
18:30:16 -!- nooga has quit (Ping timeout: 240 seconds).
18:31:14 <cpressey> 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 <pikhq> :P
18:36:33 -!- cal153 has quit (Ping timeout: 240 seconds).
18:36:42 <Gregor-P> Moo
18:56:21 <cpressey> I see the Python debugger is just as much a debugger as all other debuggers.
18:56:25 <cpressey> (Bugger!)
19:01:42 <Phantom_Hoover> How do you do the empty set in TeX?
19:01:50 <Phantom_Hoover> Or union, for that matter.
19:03:25 <oerjan> \emptyset, \cup or \bigcup . iirc.
19:04:22 -!- zzo38 has joined.
19:04:35 <zzo38> I think it is $\emptyset$ for empty set symbol in TeX?
19:05:05 <zzo38> (I don't know if it is different for LaTeX, or for AMS-LaTeX)
19:05:46 <zzo38> I checked now, it is $\emptyset$
19:08:30 <Sgeo_> Wait, what's the difference between $\emptyset$ and \emptyset ?
19:08:43 <zzo38> If you are not in math mode you have to enter math mode first
19:09:14 <zzo38> 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 <oerjan> "many people prefer the look of AMS's \varnothing ... to that of LaTeX's \emptyset.
19:11:18 <oerjan> "
19:11:36 <zzo38> I suppose if you are using AMS you can use \varnothing instead
19:11:57 <oerjan> (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 <zzo38> I have idea to add a few additional commands into TeX \rawread \rawwrite \boxpush \boxpop \boxenqueue \boxdequeue \tokpush \tokpop \tokenqueue \tokdequeue
19:15:05 <oerjan> that document seems to use LaTeX2e as the lowest common denominator, so nothing about just TeX specified
19:16:36 <cpressey> AMSTeX is the only TeX that matters
19:16:42 <cpressey> (Just trying to start a fight)
19:17:05 <zzo38> cpressey: I don't think so, there are many kinds that are used, they all matter
19:17:41 <cpressey> I don't care about TeX - I just want a sed that handles UTF-8 properly
19:18:03 <zzo38> cpressey: O, perhaps you can modify sed to do that, if you want it like that?
19:18:26 <cpressey> I'd sooner write a Perl script to do the replacements for me
19:18:54 <cpressey> Or Python, considering I have an idea of how Python's Unicode support works, but know nothing about Perl;s.
19:20:23 <cpressey> Wait, it does. I was just writing a bad regexp previously. Heheh.
19:20:42 <oerjan> Phantom_Hoover: http://omega.albany.edu:8008/Symbols.html is a bit more maintainable :D
19:20:55 <Phantom_Hoover> Why the :8008?
19:21:03 <Phantom_Hoover> Could they not get 80
19:21:09 <Phantom_Hoover> s/$/?/
19:21:20 <fizzie> 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 <oerjan> how the heck should i know, i just googled "tex symbols"
19:22:41 <fizzie> 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 <oerjan> Phantom_Hoover: the date "11 Jan 95" _could_ be a hint
19:23:29 <fizzie> "echo ä | sed -e 's/./x/'" => "x"; "echo ä | LC_CTYPE=C sed -e 's/./x/'" => "x¤". It certainly does locale-specificity.
19:23:38 <Phantom_Hoover> The union of any set with the empty set is equal to the original set, isn't it?
19:23:50 <oerjan> yes
19:24:46 <cpressey> love the favicon on that page
19:24:51 <oerjan> 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 <zzo38> More addition commands into TeX \pushmode \popmode \undefhandler
19:25:24 <oerjan> it's like + vs. \sum
19:28:34 -!- nooga has quit (Ping timeout: 252 seconds).
19:29:53 -!- nooga has joined.
19:30:28 <oerjan> 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 <zzo38> Even more additional commands into TeX \foreach \alltolerate \readglue \readmuglue \processglue \processmuglue
19:31:51 <cpressey> glue?
19:32:12 <Gregor-P> \notolerate \krystalnacht \myhead
19:32:18 <zzo38> cpressey: Do you use TeX?
19:32:34 <oerjan> or you could use \left( and \right) as parentheses if your formula is so big the usual ones become awkward
19:32:34 <zzo38> Gregor-P: And what would \krystalnacht and \myhead mean?
19:32:54 <cpressey> zzo38: I tried using LaTeX, once, years ago. Safe to say I've forgotten almost everything about it.
19:33:22 <oerjan> *kristallnacht
19:34:04 <Gregor-P> oerjan: Thanks, I knew that was all wrong but can't check on my phone :P
19:34:16 <zzo38> 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 <cpressey> This must be why I've never "progressed beyond" HTML.
19:35:00 -!- jcp has joined.
19:35:44 <oerjan> zzo38: LaTeX has various length designations, some expandable, some not
19:36:02 -!- cal153 has joined.
19:36:20 <zzo38> cpressey: Perhaps you could try using TeX for some thing one time, I use it and it works.
19:36:48 <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)
19:37:14 -!- jcp has quit (Client Quit).
19:37:45 <cpressey> Um,
19:38:01 -!- jcp has joined.
19:38:30 <zzo38> (Although I prefer Plain TeX, but different people might prefer LaTeX or other packages)
19:38:43 <cpressey> zzo38's wikipedia user page just ate my brain
19:39:04 <oerjan> zzo38: i suspect most non-programmers will find TeX to require too much handling of details
19:39:12 <zzo38> cpressey: O NO I DIDN'T KNOW WIKIPEDIA PAGES HAS TO EAT!!
19:39:13 <oerjan> *plain TeX
19:39:22 <zzo38> Wikipedia pages don't have to eat
19:39:43 <zzo38> Only the people that write it has to eat. (But not necessarily eating the pages!)
19:41:21 <zzo38> 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 <cpressey> zzo38: You are so totally one of those grey aliens pretending to be a human, aren't you?
19:42:03 <zzo38> cpressey: No, I don't think so, not as far as I know, anyways.
19:42:28 * cpressey wants to believe
19:42:33 <cpressey> >_>
19:42:51 <zzo38> 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 <zzo38> But this is also doubtful.
19:43:10 <zzo38> cpressey: OK, believe what you want to believe either way
19:43:21 <zzo38> (But I am warning you!)
19:43:44 <cpressey> Warning duly noted. Constraining belief systems, please wait...
19:44:07 <oerjan> oh ye of little faith
19:50:17 <zzo38> 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 <Phantom_Hoover> cpressey, zzo38 is another result of the Device.
19:50:34 <zzo38> Because is simple and uses less component of others
19:50:57 <zzo38> Phantom_Hoover: Sorry, what Device do you mean? I don't know.
19:51:09 <Phantom_Hoover> zzo38, yes, the Device tends to cause that.
19:51:14 <Phantom_Hoover> Don't worry about it.
19:51:25 <cpressey> Really surprised that there are any phone companies in NA that still support pulse dialing.
19:51:36 <Phantom_Hoover> NA?
19:51:47 <cpressey> Was just reading an article about technologies going "obsolete", by concidence
19:51:49 <ais523> north america, presumably
19:52:25 <cpressey> One of the technologies on this list is the "Computer Mouse"
19:52:27 <zzo38> I think everyone should still continue to support pulse dialing
19:53:07 <zzo38> So that anyone can build a telephone from just a few wires and it will work
19:53:14 <ais523> zzo38: do you think everyone should continue to support unsliced bread?
19:54:46 <zzo38> 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 <cpressey> 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 <zzo38> cpressey: I think both DIP packaging and surface-mount should be remain available.
19:56:29 <cpressey> Also, facetiousness should be punishable by being beaten with a sausage.
19:56:49 <zzo38> cpressey: What is the purpose of that?
19:57:13 <ais523> my first degree was in electronic engineering
19:57:21 <ais523> and surface mount is entirely possible to handle, just more annoying
19:57:38 <ais523> besides, call me back when you invent surface mount wire
19:57:46 <zzo38> ais523: Which is why both ways should remain available.
20:04:02 <cpressey> 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 <cpressey> Sure, it are!
20:05:01 <cpressey> 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 <Phantom_Hoover> Sgeo_, why?
20:18:27 <Sgeo_> I had a problem. Google had the solution
20:18:40 <Sgeo_> 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 <Sgeo> Well, now I'm having a different
20:34:29 <Sgeo> different problem
20:34:34 <Sgeo> And finding no solutions :(
20:38:30 <Sgeo> There's RDP support in Ubuntu, right?
20:41:38 <Phantom_Hoover> RDP?
20:41:47 -!- zzo38 has quit (Remote host closed the connection).
20:42:07 <Phantom_Hoover> Remote Desktop Protocol?
20:42:39 <Phantom_Hoover> System>Preferences>Remote Desktop
20:43:37 <Phantom_Hoover> Applications>Internet>Remote Desktop Viewer?
20:44:20 <Sgeo> I'm not in Ubuntu right now
20:44:23 <Sgeo> I'm on Windows
20:46:57 -!- Sgeo has quit (Read error: Connection reset by peer).
20:50:25 <cpressey> There has to be a better way
20:50:44 -!- oerjan has quit (Quit: Raptor Defense Protocol).
20:51:19 <Phantom_Hoover> RAPTORS!
20:51:24 <Phantom_Hoover> 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 <cpressey> Googling for Icoruma is an adventure!
21:34:31 -!- jcp has joined.
21:37:22 <cpressey> http://jyte.com/cl/i-have-used-at-least-10-different-programming-languages
21:38:16 <cpressey> 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 <cpressey> I can't count, like, Forth or Prolog, because I've just never gotten very serious with them.
21:44:09 <Phantom_Hoover> I have used 0 programming languages, then.
21:45:05 <cpressey> 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 <cpressey> It was kind of meh though.
21:45:42 <Phantom_Hoover> cpressey, I have whined endlessly about how terrible my school's computing course was.
21:45:46 <cpressey> Prolog is an excellent tool for expressing logical relations. A programming language -- not so much.
21:45:59 <cpressey> Phantom_Hoover: OK, ok.
21:46:15 <Phantom_Hoover> I like Prolog, though.
21:48:19 <cpressey> Phantom_Hoover: Write something you care about in it, and you could raise that 0 to a 1. (Just sayin'.)
21:48:42 <Phantom_Hoover> Oh, I've written things I care about before.
21:48:58 <cpressey> But not in a way that you'd consider "for serious"?
21:49:08 <Phantom_Hoover> Well, they were all for my own amusement.
21:50:03 <AnMaster> <cpressey> http://jyte.com/cl/i-have-used-at-least-10-different-programming-languages <-- what is jyte?
21:50:08 <cpressey> 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 <cpressey> AnMaster: It came up during my google search for Icoruma.
21:50:39 <AnMaster> cpressey, what is icoruma?
21:51:08 <cpressey> (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 <AnMaster> cpressey, define serious btw.
21:51:37 <cpressey> AnMaster: No.
21:51:41 <AnMaster> cpressey, oh go to zzo's website. He is NIH
21:51:46 <cpressey> It's intentionally vague
21:52:21 <Phantom_Hoover> AnMaster, really? I was strongly under the impression that zzo was invented here.
21:52:41 <AnMaster> Phantom_Hoover, har har
21:53:03 <Phantom_Hoover> zzo38: fungot 2.0
21:53:04 <fungot> 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 <Phantom_Hoover> fungot, AHA, so 2012 is involved too?
21:53:21 <fungot> 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 <Phantom_Hoover> Of course!
21:54:04 <Phantom_Hoover> The UN are going to destroy the world in 2012 with European orbital weapons!
21:54:08 <Phantom_Hoover> IT ALL MAKES SENSE
21:58:14 <coppro> AHA
22:01:16 -!- calamari has joined.
22:01:19 <calamari> hi
22:02:11 <cpressey> Helloooooo calamari.
22:03:15 <calamari> hi cpressey
22:07:24 -!- Sgeo has joined.
22:14:40 -!- Mathnerd314 has joined.
22:17:20 -!- GreaseMonkey has joined.
22:19:59 <Phantom_Hoover> It's the whole gang!
22:22:07 <Sgeo> Hm
22:22:16 <Sgeo> That's one eBook I can find only in the Kindle store :(
22:29:12 <Phantom_Hoover> "It's the whole gang"?
22:39:07 <cpressey> 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 <coppro> Can someone please do a /me in a few seconds?
22:51:30 * cpressey refuses to cooperate with coppro
22:51:39 <coppro> thanks
22:54:52 <Phantom_Hoover> coppro, what nefarious deeds are you up to???
22:55:23 <coppro> testing my client
22:56:51 <AnMaster> Phantom_Hoover, plans for 2012 clearly
←2010-08-02 2010-08-03 2010-08-04→ ↑2010 ↑all