←2010-11-11 2010-11-12 2010-11-13→ ↑2010 ↑all
00:00:16 <elliott> <olsner> you need: memcpy, strlen, addition
00:00:19 <elliott> shaddap :P
00:00:26 <elliott> I decided that
00:00:29 <elliott> char start[PATHLEN + LEN("run")] = SV "/";
00:00:29 <elliott> strcpy(start, s);
00:00:29 <elliott> strcpy(start, "/run");
00:00:34 <elliott> is probably not going to be a performance problem.
00:00:53 <elliott> olsner: WIMP = Weakly Interacting Massive Particle. The naming coincidence cannot be coincidental, as it is all too apropriate...
00:00:55 <elliott> *appropriate
00:01:28 <olsner> if appropriate means nonsensical, then yes
00:01:45 <elliott> olsner: WIMP applications (i.e. "GUI applications") don't interact well with each other -- there's no pipes for GUIs, no easy moving of objects around -- and they tend to have many more interface aspects than they need or should have.
00:02:02 <olsner> massive and weakly interacting
00:02:03 <elliott> olsner: So, yes, WIMP programs are weakly-interacting massive particles.
00:02:18 <elliott> <olsner> massive and weakly interacting <-- ?
00:02:26 <Sgeo> elliott is designing a computer that uses the weak nuclear force as a substitute for electricity (yes, I know that somehow in some way I don't understand they're the same thing)
00:02:59 <Sgeo> Or um.. connected..ish?
00:03:33 <elliott> olsner: still think it's nonsensical? :p
00:04:49 <olsner> I'm actually not thinking at all at the moment, just writing code
00:07:29 <Sgeo> How does one "shield" against the weak interaction?
00:08:09 <Sgeo> Or maybe I'm reading too much into this
00:10:16 <elliott> Sgeo: I have no idea what you're talking about.
00:10:34 <Sgeo> " Gravitation:"
00:10:40 <Sgeo> "cannot be absorbed, transformed, or shielded against"
00:10:55 <Sgeo> I sort of read that as implying that the other interactions can
00:10:59 <Sgeo> :/
00:11:06 <Sgeo> http://en.wikipedia.org/wiki/Fundamental_interaction
00:13:46 <elliott> $ ./sv
00:13:46 <elliott> usage: ./sv {u|d} service
00:13:48 <elliott> now to make it do useful things
00:14:54 <Sgeo> Why does the unlimited range of the graviton imply masslessness?
00:17:13 <Sgeo> "For example, a detector with the mass of Jupiter and 100% efficiency, placed in close orbit around a neutron star, would only be expected to observe one graviton every 10 years, even under the most favorable conditions."
00:19:15 <elliott> "A cheat: To prevent people from criticizing your magic numbers, make them deep magic numbers instead. Using the nearest power of 2 (1,2,4,8,16,32,64,128...) as your magical number makes people think there is some deeper magic going on, and they'll be less likely to criticize. *innocent look*
00:19:15 <elliott> As an added bonus, they'll probably spend hours trying to figure out what that deeper magic is. :-)
00:19:15 <elliott> That is the opposite of a trick that works. The most suspicious magic numbers of all are the round ones, in any base, but especially base 2 and base 10. PrimeNumbers, on the other hand, are essential for many algorithms to work correctly (e.g. many forms of hashing, with a prime table size). So use numbers like 131 and 6983 :-)"
00:20:37 <elliott> Vorpal: Yellow: "Polynomial!"
00:20:44 <Sgeo> base 10 is much more suspicious than base 2
00:21:32 <Sgeo> Active Worlds has a ... really weird magic number
00:22:09 <Sgeo> 32764 is the highest coordinate
00:22:35 <Sgeo> Which, at first glance, makes sense, because it's 3 coords away from 32767, which looks like it should make sense
00:22:45 <Sgeo> But the units are dekameters, and AW does things in centimeters...
00:24:18 <Sgeo> Hmm. Maybe internally, some int that has units of dekameters IS being stored in the client
00:24:20 <Sgeo> As a signed int
00:24:36 <Sgeo> Weird, but whatever
00:29:42 <olsner> it could be using some bits for tags (e.g. unit = centimeters or dekameters)
00:30:09 <olsner> hmm, that doesn't necessarily make sense
00:40:57 <elliott> olsner: can i pay you to write a compiler to machine code in x86-64 assembly
00:41:24 <olsner> I don't know how your finances are, so it's really impossible for me to tell
00:41:45 <elliott> olsner: ok, what if i didn't pay you?
00:41:50 * elliott LOGIC KING
00:42:02 <elliott> olsner: also the code is freestanding, so no libc
00:42:02 <elliott> HAVE FUN
00:42:13 <olsner> btw, my console driver can output single characters and newlines now
00:42:46 <olsner> as in clear the current line and move to the next line *or the upper-left corner of the screen*
00:44:04 <olsner> and I have programmed the APIC to give timer interrupts
00:47:46 <elliott> olsner: scrolling is easy, even i did scrolling :P
00:47:49 <elliott> admittedly in C, but c'mon!
00:48:06 <olsner> I didn't bother implementing scrolling :)
00:48:08 <olsner> just wrapping!
00:50:28 <olsner> although haskell is my language of choice for writing compilers, it does seem interesting to write one in assembly
00:51:35 * olsner looks at topic: GREGOR HAS NOT WASHED HIS BEARD!? FILTHY GREGOR!
00:51:43 <olsner> and good night :D
00:51:48 * Gregor strokes his bald chin.
00:53:26 <elliott> olsner: well in this case
00:53:35 <elliott> olsner: it'd be high-level-language to x86-64 machine code, written in x86-64 assembly
00:53:40 <elliott> olsner: so lawl
00:53:48 <elliott> olsner: (in OS-level code)
01:03:41 <elliott> http://i.imgur.com/vIIc1.png Google: "Fuck you Facebook"
01:05:49 <Sgeo> Someone's going to think that that means the contacts would be deleted from Gmail
01:08:49 <elliott> No.
01:08:52 <elliott> No they aren't.
01:09:21 <Sgeo> elliott, you have an amazing amount of faith in computer users
01:09:37 <elliott> Sgeo: No, I don't; I have a decent amount of faith in Google's writing team.
01:10:17 <Sgeo> s/decent/amazing/
01:10:18 <elliott> I think the intersection of "people who are savvy enough to (1) use gmail and (2) put it into facebook to import contacts" and "people who manage to read that as 'we delete u conversations'" is very small.
01:10:30 <elliott> Gmail isn't exactly ubiquitous.
01:10:57 <Sgeo> Hmm, good point, I guess
01:11:02 <elliott> Gregor: [[Q: GPL sucks! Now I can't compile my BSD programs with the diet libc!
01:11:02 <elliott> A: Wrong. You can compile them, and you can use them. You just can't
01:11:02 <elliott> redistribute the binaries. That said: I will not be sueing anybody
01:11:02 <elliott> for distributing binaries of BSD programs linked against dietlibc, as
01:11:02 <elliott> long as the source code is available somewhere publicly.]]
01:11:06 <elliott> Gregor: That's new, I think X-P
01:11:19 <elliott> Gregor: (Discuss now whether "I will not be sueing anybody [...]" counts as a license to do that.)
01:11:25 <Gregor> Argh.
01:11:32 <Gregor> It's irrelevant whether it is or not, he's still wrong.
01:12:49 <coppro> lol dietlibc
01:13:43 <elliott> coppro: why lol
01:13:53 <pikhq> The GPL is really really stupid for libraries.
01:13:59 <pikhq> *Especially* statically linked ones.
01:14:21 <coppro> elliott: lolgpllol
01:14:23 <elliott> Gregor: Yeah, he is. I'm torn between "hell, developers can go fuck themselves anyway" and "WOULDN'T IT BE SAFER TO SUFFER THROUGH THE QUAGMIRE OF CONFIGURATION AND COMPILATION THAT IS UCLIBC ON A REGULAR BASIS"
01:14:50 <coppro> elliott: I should just write you a libv
01:14:52 <coppro> *libc
01:14:57 <elliott> coppro: yeah, yeah. at least he's wrong about that and it is legal to redistribute dietlibc-linked binaries, as long as you also offer the source to the program "under the GPL" (i.e. you can offer it under the BSD too, since that can be used as GPL)
01:15:01 <elliott> coppro: sure, that'd be great
01:15:05 <elliott> coppro: when will it be done
01:15:34 <coppro> elliott: when you convince my university to let me take that instead of retarded 2nd-year courses
01:15:44 <elliott> coppro: i'll pay you 3p a week
01:15:45 <elliott> brb
01:16:06 <coppro> elliott: not likely
01:20:21 <pikhq> coppro: That's a few thousand USD, though.
01:20:47 <coppro> :P
01:21:02 <coppro> pikhq: yeah, but that money is worthless here
01:22:49 <pikhq> coppro: Sadly.
01:31:51 <elliott> pikhq: I'll pay you $7,000/week to do it.
01:31:53 <elliott> (That's 6p!)
01:34:09 -!- augur has quit (Remote host closed the connection).
01:36:00 <elliott> coppro: To be honest, coreutils would be more useful than a libc.
01:37:54 <coppro> elliott: noted!
01:38:37 <elliott> coppro: I'm gonna go crazy here. $8,000/week. That's 6.86p!
01:38:55 <elliott> coppro: And I'll pay by the SECOND.
01:42:49 -!- jkenj999 has quit (Remote host closed the connection).
01:48:58 <coppro> elliott: I told you
01:49:02 <coppro> that money is worthless here
01:49:12 <elliott> coppro: the CAD is next
01:49:20 <elliott> coppro: besides, it has our Queen on it
01:49:25 <coppro> elliott: 6.86p is only worth like $10
01:49:33 <elliott> coppro: no, $4,000CAD
01:49:42 <elliott> coppro: it's law; any piece of metal with the Queen's face on it is legal tender throughout the commonweahlth
01:49:58 <elliott> coppro: heh i read that as $1
01:50:00 <elliott> sneaky sneaky
01:53:06 <pikhq> elliott: I highly doubt that.
01:53:24 <elliott> pikhq: Treasonerist.
01:53:32 <coppro> elliott: rebel
01:53:39 <elliott> coppro: Treasonerist.
01:56:01 <elliott> comex: congratulations, Hillary Rodham Clinton!
01:56:24 <pikhq> elliott: Well, I am in a country formed by treason against the Crown.
01:57:07 <elliott> pikhq: And look where that's got you!
01:57:34 <Sgeo> It got us free of ridiculous libel laws?
01:57:50 <coppro> elliott: Idea
01:58:00 <coppro> I will make coreutils under the Forwardspace banner
01:58:06 <Sgeo> (Just learned about the SPEECH Act of 2010)
01:58:09 <coppro> Forwardspace is like the opposite of Backspace
01:58:13 <elliott> coppro: Do I want to know what that is?
01:58:20 <coppro> so you can also omit the name and also the character afterwards
01:58:30 <pikhq> elliott: BTW, your currency is freaking mad.
01:58:44 <coppro> that way, Linux distributions that use Forwardspace coreutils should be referred to as "Forwardspace/Linux" or just "Linux"
01:58:47 <pikhq> There are 14 completely different entities that make it.
01:58:53 <elliott> pikhq: "1 UK£ = 1.6121 U.S. dollars" --Google
01:59:05 <elliott> coppro: Or how about just calling it "minimalist core utilities for Linux" :-P
01:59:09 <elliott> Minutils!
01:59:12 <elliott> pikhq: Decentralisation, bitch.
01:59:47 <Sgeo> elliott, when did Hillary Rodham Clinton _call_ a CFJ?
01:59:54 <coppro> elliott: Minutils/Linux sounds awful
01:59:56 <Sgeo> She's been the SUBJECT of one, yes
02:00:11 <elliott> Sgeo: In my imaginary version of the game, Hillary Rodham Clinton punched you to death.
02:00:15 <pikhq> elliott: With different currency designs from each entity.
02:00:17 <elliott> Sgeo: Q.E.D.
02:00:24 <elliott> pikhq: I think they're basically unified...
02:00:28 <elliott> coppro: So don't call it that :P
02:00:36 <elliott> coppro: The coreutils used is no more important than the libc, the httpd, the package manager.
02:00:46 <elliott> coppro: Hell, the kernel -- it's pointless to call anything an "X distribution" really.
02:01:03 <elliott> All "Linux distribution" means nowadays is "GNU, oh and some of that Torvalds stuff too".
02:01:23 <pikhq> elliott: No, they're radically different designs for the banknotes.
02:01:31 <elliott> pikhq: oh the notes. kay
02:01:37 <elliott> pikhq: at least our currency is strong :P
02:01:45 <pikhq> elliott: We'll fix that yet.
02:01:46 <Gregor> http://js.codu.org/wiki/
02:01:51 * pikhq exports Bush
02:02:03 <elliott> pikhq: Dude, we wouldn't let him in.
02:02:10 <elliott> Gregor: Oh how Web 2.0.
02:02:24 <Gregor> Dude this shit's so Web 2.0 it's Web 2.2
02:02:40 * Sgeo is waiting for Web Gingerbread to come out
02:02:46 <elliott> Gregor: When I look at that logo, I see someone trying to sell me something.
02:02:52 <elliott> Gregor: Make it Comic Sans or something so I know you don't give a shit.
02:02:52 <pikhq> elliott: Oh, we'll export him alright.
02:03:02 <pikhq> elliott: And make him all the Lords.
02:03:11 <Gregor> elliott: I don't do aesthetics, I get other people to :P
02:03:44 * Sgeo WTFs at the OpenID he just put in
02:03:53 <elliott> Gregor: <span style="font-family: 'Comic Sans MS', cursive; color: pink">hurf durf codu js</span>
02:03:59 * Sgeo WTFs even more at it working
02:04:07 <pikhq> o.O'
02:04:17 <elliott> Sgeo: ?
02:04:21 <pikhq> Scotland and Ireland have no legal tender.
02:04:26 <pikhq> Erm, Northern Ireland.
02:04:30 <Sgeo> I tiredly put in sgeoster@myopenid.com
02:04:32 <pikhq> Ireland, of course, uses the Euro.
02:04:38 <Sgeo> I got directed to myopenid.com
02:05:01 <elliott> pikhq: "Repeal the 26th Amendment!" --Ann Coulter
02:05:07 <elliott> Sgeo: foo@yahoo.com is a valid OpenID too.
02:05:11 <Gregor> pikhq: I DO BELIEVE that they use GBP in Scotland and Northern Ireland, they're not on the barter system :P
02:05:14 <elliott> It's a Feature, it appears.
02:05:22 <elliott> Gregor: Yes they are.
02:05:23 <pikhq> Gregor: It's not legal tender.
02:05:25 <elliott> Gregor: They're also unwashed.
02:05:32 <pikhq> Gregor: It's the *de facto* currency.
02:05:34 <elliott> pikhq: THE MARKET IS THE BLACK MARKET
02:05:43 <Sgeo> elliott, that just translates to http://foo.yahoo.com ? That's what happened here. Or is that a MyOpenID thing?
02:05:51 <Gregor> pikhq: THE SCOTTISH BANK PRINTS SCOTTISH VERSIONS OF GBP
02:06:02 <elliott> Sgeo: Both do that, clearly.
02:06:06 <pikhq> Gregor: BANKS
02:06:08 <elliott> Gregor: I'll scot your version.
02:06:10 <pikhq> Gregor: NOT BANK, BANKS.
02:06:16 <pikhq> Gregor: ALSO, THOSE ARE PROMISSORY NOTES.
02:06:25 <Sgeo> Banksy
02:06:45 <Gregor> pikhq: Last I checked, your mom is a promissory note.
02:08:01 <elliott> I LOVE HOW SLOWLY UBUNTU 7.10 INSTALLS UNDER SOFTWARE EMULATION OF X86-64
02:10:51 <elliott> "fgetty is actually a mingetty stripped of the printfs. Why would anyone do that? Because it can be linked against dietlibc then, yielding a 7k binary with a much smaller memory footprint."
02:10:53 <elliott> I love crazy people.
02:11:22 <elliott> Bah! It prints out /etc/issue.
02:11:24 <elliott> This is unacceptable.
02:12:12 <Gregor> Gaaaaaaaawd this dietlibc guy's license incompetence irks me.
02:12:26 <elliott> Gregor: It's one single mistake :P
02:12:35 <Gregor> UNACCEPTABLE.
02:12:44 * Sgeo angers at a rumor he was sure wasn't true not coming true
02:12:51 <elliott> Gregor: I'm not entirely sure that FAQ section *is* new. Besides, he hasn't replied to the second email I sent him -- probably sick of my whining.
02:12:56 <Sgeo> Although my reason for doubting the rumor turned out to be a bad reason
02:13:01 * Sgeo whargarbles
02:14:24 <elliott> Gregor: It does irk me too a bit though but only because I'm planning to actually put it into practice.
02:14:50 <elliott> Gregor: On one hand, of course in court both the truth and his statement that he won't sue would end it immediately. On the other, I don't want to be on the bad side of developers...
02:16:40 * Sgeo wonders how much memory Jolicloud requires
02:20:27 <elliott> I'm going to try and redo my pcc toolchain with dietlibc.
02:24:16 <elliott> Gregor: How come CVS isn't dead?
02:24:23 <elliott> Seriously, I've used CVS SO MUCH in the past days.
02:24:28 <Gregor> Same 'ere, actually :P
02:24:29 <elliott> *past few days.
02:24:43 <elliott> Gregor: I thought svn had taken over for all the clods who won't use anything distributed.
02:25:05 <elliott> endif
02:25:05 <elliott> endif
02:25:05 <elliott> endif
02:25:05 <elliott> endif
02:25:05 <elliott> endif
02:25:06 <elliott> endif
02:25:08 <elliott> ...
02:25:09 <elliott> -- dietlibc/Makefile
02:25:17 <elliott> (17 lines)
02:25:23 <elliott> Apparently gmake can't do elseif :P
02:27:17 <Gregor> Tastes like lisp :P
02:27:33 <elliott> Gregor: Good luck finding a Lisper who does
02:27:33 <elliott> )
02:27:33 <elliott> )
02:27:34 <elliott> )
02:27:36 <elliott> Gregor: Rather than ))) :P
02:27:52 <Gregor> Trufe.
02:27:59 <elliott> Gregor: Truse?
02:28:10 <elliott> Haa, dietlibc almost compiles with pcc.
02:28:35 <elliott> $ make CC="$K/stage1/bin/pcc -D__restrict__= -D__regparm__(x)="
02:28:45 <elliott> Oops, needs more escaping, of course.
02:29:02 <elliott> Hmm, that doesn't apply inside __attribute__.
02:29:04 <elliott> Oh well, /me patches
02:29:33 <elliott> Gregor: Using a BSD compiler to compile something with GPL-related semi-controversy; do I get a medal?
02:29:35 <elliott> Or a slap?
02:29:38 <elliott> /home/elliott/kitten/stage1/bin/pcc -D__restrict__= -I. -isystem include -Os -fstrict-aliasing -momit-leaf-frame-pointer -mfancy-math-387 -W -Wall -Wextra -Wchar-subscripts -Wmissing-prototypes -Wmissing-declarations -Wno-switch -Wno-unused -Wredundant-decls -c lib/qsort.c -o bin-x86_64/qsort.o -D__dietlibc__
02:29:38 <elliott> major internal compiler error: lib/qsort.c, line 34
02:29:49 <elliott> I think a medal.
02:30:01 <elliott> The evil, evil line 34:
02:30:02 <elliott> quicksort(base,size,l,j,compar);
02:31:32 <elliott> I have no idea what it thinks is wrong with quicksort :P
02:31:43 <coppro> elliott: stop being such a ricer
02:31:57 <elliott> coppro: Uhh, because of the flags? Not my flags kthx.
02:32:03 <elliott> coppro: Also, uhh, -Wanything != ricer
02:32:07 <elliott> The only optimisation flags there are
02:32:14 <elliott> -Os -fstrict-aliasing -momit-leaf-frame-pointer -mfancy-math-387
02:32:17 <elliott> Which are hardly "ricer".
02:32:27 <coppro> elliott: your pedantic obssession with tiny libraries and compilers is
02:32:34 <elliott> In fact, is -fstrict-aliasing strictly an optimisation? (Pun, etc.)
02:32:51 <comex> but they're certainly nicer
02:32:56 <elliott> coppro: I could respond to that seriously, or I could just roll my eyes and proclaim that, yes, you have successfully deduced my motive from IRC compile logs.
02:33:26 <elliott> coppro: If you pointed me to the BEST LIBC EVER and it just happened to be gigantic, fine. I'd consider it.
02:33:50 <elliott> But as smallness *is* a virtue -- a strong virtue, even -- of software, and those who excel in one software virtue tend to excel in the others (and contrariwise)...
02:33:51 <coppro> -fstrict-aliasing is not directly an optimization
02:34:12 <elliott> Besides, smaller code is prettier. And to hell with any system I can't look at and say is pretty in some way, even if it is Unix.
02:34:26 <coppro> -fstrict-aliasing won't do squat at -O0
02:34:31 <elliott> It's not like I'm wasting time doing this that I could be spending doing valuable things, this whole thing is an exercise in wheel-polishing^Wreinventing.
02:34:33 <elliott> coppro: -Os != -O0
02:34:38 <coppro> elliott: I know
02:34:43 <coppro> but you asked if it was an optimization
02:34:45 <coppro> and I answered
02:34:52 <coppro> (also, I /do/ agree with -Os)
02:34:53 <elliott> coppro: oh, okay
02:35:05 <elliott> -Os is usually faster than -O3 these days, I'd wager.
02:35:13 <elliott> (Also, y'know, small.)
02:35:19 <coppro> yeah
02:35:24 <coppro> also it generates correct code, etc.
02:35:44 <coppro> (-ftree-vectorize produces some of the dumbest things ever)
02:35:57 <coppro> a friend works a lot on ffmpeg
02:36:06 <coppro> and they get to find all of GCC's wonderful compiler bugs
02:36:10 <coppro> favorite:
02:36:12 <elliott> coppro: Can you use your amazing powers of deduction to figure out what "major internal compiler error: lib/qsort.c, line 34" is telling me, other than "don't use pcc to compile dietlibc"? :P
02:36:15 <coppro> int c = i;
02:36:15 <elliott> Yeah, gcc is buggy software.
02:36:16 <coppro> c--;
02:36:17 <elliott> Possibly the buggiest.
02:36:18 <coppro> int d = i;
02:36:19 <comex> wow
02:36:19 <elliott> Ever.
02:36:22 <coppro> assert(c != d);
02:36:24 <coppro> ASSERTION FAILED
02:36:35 <elliott> coppro: ...you're kidding me
02:36:38 <elliott> BEST THING EVER
02:36:40 <coppro> elliott: no
02:36:43 <coppro> I wish I was
02:36:45 <elliott> coppro: just with heavy optimisation, presumably?
02:36:49 <coppro> yeah
02:37:04 <elliott> coppro: i can *sort* of forgive that because heavy optimisation + assert = why, but on the other hand... gcc fails at basic comparisons WHOO
02:37:14 <comex> B's ruleset is surreal
02:37:16 <elliott> at least when pcc fails, it just says "major internal compiler error" and gives up
02:37:20 * coppro <3 bugpoint
02:37:25 <coppro> comex: linky
02:37:26 <elliott> comex: B stopped being boring as soon as Era 5 ended!
02:37:27 <coppro> also wrong channel
02:37:28 <elliott> erm
02:37:31 <elliott> comex: B stopped being interesting as soon as Era 5 ended!
02:37:41 <elliott> That was the most fun bit of chaos EVER and I'm totally not biased.
02:37:56 <comex> it's like Japanese, where Chinese is the Agoran ruleset.
02:37:58 <comex> :<
02:38:52 <elliott> comex: ALLOW ME LINK YOU TO THE SUPERIOR, ERA 5 RULESET (AS SOON AS THE WIKI LOADS)
02:39:08 <coppro> elliott: which was Era 5?
02:39:14 <coppro> also WHERE IS MY LINK
02:39:18 * comex searches for DimShips and is disappointed
02:39:21 <elliott> coppro: The one me and teucer wrote that CHANGED EVERYTHING.
02:39:25 <Sgeo> Era 5 came and went without my noticing?
02:39:34 <elliott> Sgeo: ...era 5, the Agoran Era, and countless crises.
02:39:38 <elliott> Era 5 was, like, 2008.
02:39:53 <Sgeo> I think I gave up on B around the Agoran Era
02:40:00 <elliott> Sgeo: Era 5 was BEFORE that >_<K
02:40:01 <elliott> *>_<
02:40:04 <comex> Rule 50 would be fun to scam
02:40:13 <Sgeo> Which was the Era with the Ring of 4E13?
02:40:15 <elliott> coppro: Everyone then spent the whole time whining at me for making it SO BROKEN on a few weeks' notice (it was in an Emergency), spent the rest of the era fixing it up and generally having much fun in chaos without realising it, and then wiping it saying it was AWFUL.
02:40:17 <Sgeo> I was around then
02:40:20 <elliott> coppro: The game then promptly died.
02:40:22 <Sgeo> ...Era 5 is the obvious answer
02:40:23 <elliott> Sgeo: "4E13"
02:40:27 <pikhq> Huh.
02:40:34 <Sgeo> elliott, _RING OF_
02:40:35 <elliott> Sgeo: 4E = Fourth Era, but yes, I think that was 5.
02:40:36 <elliott> Sgeo: Right.
02:40:40 <coppro> elliott: ah, right
02:40:43 <pikhq> In order to be an EU member state, the state must be European.
02:40:44 <coppro> Bgoran era, you mean
02:40:50 <comex> 5. MAY, PERMITTED: Performing the described action does not violate the rule in question. Where there is no more specific indication to the contrary, this also implies that the action is POSSIBLE.
02:40:53 <comex> *Bn
02:40:56 <elliott> coppro: Err, no.
02:40:59 <pikhq> Where European means "European, as judged by the European Council".
02:41:00 <coppro> elliott: LIES
02:41:04 <elliott> coppro: Bgoran era was after that.
02:41:04 <coppro> comex: WHERE IS MY LINK
02:41:17 <Sgeo> I wanted to take people with me on a journey to retrieve the ring
02:41:21 <pikhq> Which allows for EU members to not exist geographically in Europe.
02:41:25 <Sgeo> I had it all planned out
02:41:29 <Sgeo> It would take real-world months
02:41:32 <Sgeo> iirc
02:41:43 <elliott> coppro: comex: Found it, second while Firefox unfreezes.
02:41:51 <pikhq> (and there is precedent on this: Cyprus, which joined the EU in 2008, is geographically in Asia)
02:41:52 <elliott> coppro: comex: http://b.nomic.net/index.php?title=Rules&oldid=9553
02:41:56 <elliott> coppro: comex: Behold the AWESOME.
02:42:13 <comex> I was around around then
02:42:14 <Sgeo> elliott, you don't remember my plans?
02:42:15 <comex> vaguely
02:42:44 <coppro> pikhq: that is far less dumb than it sounds, in my opinion
02:42:45 <Sgeo> I think, sadly, Marr965 was involved
02:43:04 <Sgeo> I wanted to negotiate with him for.. transportation to our departure point, I think
02:43:41 <comex> what is "Antient"?
02:43:57 <elliott> coppro: Unbelievably, that Game Objects rule was MORE legalistic and programmerish than before E5.
02:44:00 <comex> why is 4E considered imaginary?
02:44:03 <elliott> coppro: I actually TONED DOWN the crazy legalisticness.
02:44:08 <elliott> comex: canon crisis
02:44:15 <comex> wasn't there some crisis about comments
02:44:19 <elliott> comex: turns out $huge_swathes_of_history never happened for $trivial_ancient_reason
02:44:20 <comex> that applied way back to the original ruleset?
02:44:29 <elliott> comex: yes, but i think it was after that
02:44:36 <elliott> the comment crisis was what brought era 5 down I think
02:44:47 <elliott> If you ask me, the Grid game was AWESOME.
02:45:13 * Sgeo decides to check his archives
02:45:16 <elliott> Oh, I also refactored the proposal passing logic... BUT WHAT DO I GET FOR IT?
02:45:17 <elliott> NOTHING!
02:45:32 <elliott> # If it is Won, it Passes.
02:45:32 <elliott> # Otherwise, it Fails.
02:46:09 <elliott> [[Prize: A T-Shirt reading "I won B Nomic via at least three different Victory Conditions during an nweek, and had not won by the Win By Having Won condition during that nweek, and all I got was this stupid T-Shirt".]]
02:46:43 <Sgeo> "Marr965, would you like to help Teucer, Warrigal, and myself shave 17
02:46:43 <Sgeo> ndays off of what would be a 67 nday journey?"
02:46:59 <Sgeo> Did the era even last 67, or even 50, ndays?
02:47:29 <elliott> It lasted like 7 at the most :P
02:48:04 <elliott> I would love to have a month-or-more-long era that lasts an nday or less.
02:48:19 <Sgeo> "(Discussion
02:48:19 <Sgeo> including whether a 50 nday journey is even worth it.)"
02:49:51 <elliott> coppro: how to get past the major compiler error: compile just that file with gcc
02:50:50 <Sgeo> http://freefall.purrsia.com/
02:50:53 <Sgeo> I AM OFFENDED
02:51:03 <Sgeo> (Note: not really)
02:53:32 <elliott> libpthread/pthread_internal.c:397: error: If-less else
02:53:33 <elliott> SO NOT REASSURING
02:53:53 <elliott> Notably, there's a mess of cpp here, so I don't know WHERE line 397 is :P
02:54:02 * comex registers
02:54:04 <elliott> :q
02:54:06 <elliott> whoops
02:54:12 <elliott> comex: for C Nomic?
02:54:26 <elliott> if (__likely(__modern_linux==1))
02:54:31 * comex hates how :wq writes and quits, but :w!q writes to the file 'q'
02:54:44 <elliott> comex: :wq! :p
02:54:56 <coppro> elliott: you should help us destroy Agora
02:55:00 <comex> why does that code include a runtime optimization for something that should fold to a constant
02:55:06 <elliott> coppro: that ... why
02:55:08 <elliott> comex: i don't know
02:55:18 <elliott> comex: it's pthreads, all bets are off
02:55:53 <elliott> oh well, time-honoured trick; s/pcc/gcc/, carry on
02:56:05 <elliott> :D that fails
02:56:57 * Sgeo will not stop attempts to destroy Agora unless they require the cooperation of more than 20 people
02:57:06 <Sgeo> </failed-joke>
02:58:28 <coppro> it succeeded
02:58:35 <coppro> but it was just a sad truth
02:58:39 <coppro> not actually funny
02:59:43 <Sgeo> Maybe I could work on attempting to scam-proof the ruleset
03:00:05 <Sgeo> Not as in, "impossible"
03:00:20 <coppro> it's pretty scam-proof as is
03:00:27 <coppro> you can escalate from 1->3 easily
03:00:30 <coppro> but getting 1 is hard
03:00:49 <elliott> Sgeo: have you considered doing /other/ things
03:00:55 <comex> yeah, except I think it's now scammable
03:01:01 <elliott> maybe you could make activeworlds a partnership, and we could fine it a billion fucking dollars.
03:01:11 <Sgeo> I thought partnerships were dead
03:01:31 * Sgeo still wants to revive Framework Nomic
03:01:33 <Sgeo> Hmm
03:01:38 <Sgeo> Is that like reviving a fetus?
03:03:35 * Sgeo has been fantasizing about MMONomic
03:04:14 <elliott> Sgeo: You are banned from saying these words, indefinitely:
03:04:16 <elliott> Sgeo: - nostalgia
03:04:18 <elliott> Sgeo: - revive
03:04:25 <elliott> Sgeo: - fantasise (and all derivative words).
03:04:29 <elliott> Sgeo: Thank you and have a nice day.
03:04:47 <elliott> - fantasy and derivatives too, to stop you loopholing that.
03:05:56 <Sgeo> So, I'm not allowed to express my nostalgia for the days that I was more activie reviving a dead game that I've fantasized about playing again for years?
03:06:31 <elliott> Sgeo: You do realise I'm an op?
03:07:40 <Sgeo> No you're not.
03:07:53 <elliott> Sgeo: You don't know that.
03:07:58 <Sgeo> Yes I do
03:08:22 <elliott> Sgeo: Wrong.
03:08:25 <Sgeo> Unless you're secretly andreou or Aardappel
03:08:59 <Sgeo> Or lament or oerjan or fizzie, for that matter
03:09:10 <elliott> Sgeo: Or it's just hidden in the access list.
03:10:08 <Sgeo> I don't see why I should believe that that's possible
03:10:30 <elliott> Sgeo: Are you *sure* you want a demonstration...?
03:10:38 <Sgeo> Yes
03:11:26 <elliott> Sgeo: Are you sure you know how unreliable my memory is at making me remember to reverse things?
03:11:35 <elliott> Not doing it. :P
03:11:50 <Sgeo> Bannation isn't the only way to demonstrate oppness
03:12:11 <Sgeo> But let's pretend it is.
03:12:45 <elliott> Sgeo: Well, considering I don't have make-op privileges, only ChanServ privileges...
03:12:58 -!- RandSgeo has joined.
03:13:09 <RandSgeo> Hello
03:13:23 <RandSgeo> Surely you can ban just my nick+web ness
03:13:48 <elliott> RandSgeo: Well, yes, but I don't particularly care to.
03:14:08 <Sgeo> If only I could offer something of value :/
03:14:23 <Sgeo> I don't exactly have a million dollars on me
03:14:41 <elliott> Sgeo: You could never say the words I listed ever again >__>
03:15:24 <Sgeo> How about for the period of a month
03:15:41 <elliott> Sgeo: Or forever.
03:16:19 * Sgeo 's confidence should not be wavering
03:16:30 <elliott> Confidence in what?
03:16:41 <elliott> You're the one offering me things so you can *get banned*.
03:17:02 <Sgeo> Confidence in the idea that you have no capacity to ban me
03:17:28 <elliott> I have lost track of your layers of thought. Now why is the Ubuntu installation only at 31%? Could it go slower, theoretically? (No.)
03:18:14 <Sgeo> Fine. I'll keep on assuming that you have no bannination powers
03:18:45 -!- RandSgeo has quit (Quit: Page closed).
03:18:54 <Sgeo> *fake gasp*
03:27:08 <elliott> $ CC="$K/stage1/bin/pcc -nostdlib -nostdinc -nostartfiles -static -isystem $K/stage1/include -D__dietlibc__ -Os -L$K/stage1/lib-x86_64 $K/stage1/lib-x86_64/start.o $K/stage1/lib-x86_64/libc.a" ./configure --prefix=$K/stage2
03:27:10 <elliott> Dear god.
03:47:28 <elliott> elliott@dinky:~/kitten$ du -sh --exclude=include --exclude=lib-x86_64 stage1
03:47:29 <elliott> 572Kstage1
03:47:29 <elliott> elliott@dinky:~/kitten$ du -sh --exclude=include --exclude=lib-x86_64 stage2
03:47:29 <elliott> 556Kstage2
03:47:35 <elliott> Static linking, it's what plants crave.
03:47:45 <elliott> Now let's see if I can compile dietlibc with pcc. :p
03:52:08 <Gregor> My guess: No.
03:52:15 <elliott> Gregor: Actually... pretty damn close.
03:52:27 <elliott> Gregor: I've even managed to fix the "major internal compiler error" that made me have to compile a certain file with gcc before.
03:53:07 <elliott> Also, damn, pcc is fast.
03:53:18 <elliott> Gregor: Mostly what I have to fix is removing unsupported __attribute__s.
03:53:25 <elliott> Such as the format(printf,x,y) stuff.
03:54:56 <elliott> Gregor: Oh, there is this utterly queer issue though:
03:54:59 <elliott> /home/elliott/kitten/stage2/bin/pcc -D__restrict__= -I. -isystem include -Os -fstrict-aliasing -momit-leaf-frame-pointer -mfancy-math-387 -W -Wall -Wextra -Wchar-subscripts -Wmissing-prototypes -Wmissing-declarations -Wno-switch -Wno-unused -Wredundant-decls -c libpthread/pthread_internal.c -o bin-x86_64/pthread_internal.o
03:54:59 <elliott> libpthread/pthread_internal.c:397: error: If-less else
03:55:02 <elliott> Note: No if-less elses in the file.
03:55:26 <elliott> #define INTR_RETRY(e) ({ long ret; do ret=(long)(e); while ((ret==-1)&&(_errno_==EINTR)); ret; })
03:55:26 <elliott> #define __NO_ASYNC_CANCEL_STOP }
03:55:30 <elliott> I am already inspired with confidence at this file.
03:55:53 <elliott> if (__likely(__modern_linux==1))
03:55:55 <elliott> Still love this.
03:56:03 <elliott> Just the way it reads.
03:59:30 <elliott> Oh.
03:59:34 <elliott> That's the C preprocessor complaining.
03:59:37 <elliott> REAL UNAMBIGUOUS THERE
04:00:11 <Sgeo> The way it reads isn't what it means
04:00:13 <elliott> Haa, pcc can't count.
04:00:14 <Sgeo> Can't say I love that
04:00:26 <elliott> Sgeo: It's called amusement.
04:00:59 * Sgeo should learn how microprocessors work
04:03:14 <elliott> /home/elliott/kitten/stage2/bin/pcc -D__restrict__= -I. -isystem include -Os -fstrict-aliasing -momit-leaf-frame-pointer -mfancy-math-387 -W -Wall -Wextra -Wchar-subscripts -Wmissing-prototypes -Wmissing-declarations -Wno-switch -Wno-unused -Wredundant-decls -c libpthread/pthread_sys_close.c -o bin-x86_64/pthread_sys_close.o
04:03:14 <elliott> libpthread/pthread_sys_close.c:7: error: expdef: out of mem
04:03:29 <elliott> The file is 9 lines long.
04:09:11 <elliott> Gregor: Ha ha, it worked. Pay up. Whoops, look at that error.
04:10:48 <elliott> Now it really did work.
04:11:55 <elliott> configure:2642: /home/elliott/kitten/stage3/bin/diet -V >&5
04:11:55 <elliott> execvp() failed!
04:12:01 <elliott> Oh, whoops.
04:12:19 <elliott> /home/elliott/kitten/stage3/include/dietref.h:-21: error: __PCC__ redefined
04:13:51 <elliott> #if (__WORDSIZE == 64)
04:13:51 <elliott> .quad __you_tried_to_link_a_dietlibc_object_against_glibc
04:13:52 <elliott> #else
04:13:52 <elliott> .long __you_tried_to_link_a_dietlibc_object_against_glibc
04:13:52 <elliott> #endif
04:14:46 <elliott> I wonder where exactly line -21 of that file is.
04:21:42 <elliott> /home/elliott/kitten/stage3/include/dietref.h:-21: error: __PCC__ redefined
04:21:43 <elliott> previous define: x.c:-21
04:21:44 <elliott> i...
04:25:52 <elliott> yay, fixed it
04:26:32 <elliott> $ CC="$K/stage3/bin/diet -Os $K/stage2/bin/pcc" CFLAGS="-Os" ./configure --prefix=$K/stage3
04:26:51 <elliott> actually CFLAGS="", diet adds -Os itself
04:35:05 <Sgeo> WAIT WHAT
04:35:22 <Sgeo> Or not
04:36:13 <elliott> Sgeo: ?
04:36:45 <Sgeo> Tried some Facebook thing that attempted to automatically import Google Contacts
04:36:47 <Sgeo> No fuss
04:37:00 <Sgeo> But it's clear that no contacts got exported
04:37:10 <Sgeo> It claimed that everyone's already on FB or got an invite
04:37:21 <Sgeo> And somehow, I doubt that Agora got a Facebook invite
04:39:31 <Ilari> Oh: "Today's IANA depletion date estimate:2011-02-21". That's months earlier than anything recent I have seen.
04:40:04 <elliott> pikhq: I have a meta-compiled-to-the-N dietlibc/pcc toolchain working except for one... minor... detail.
04:40:06 <elliott> Ilari: Nice.
04:40:25 <elliott> Ilari: We should hold a party on IPv4 Doomsday (defined as: the day when the last allocation *really* gets made, ever, no delegation).
04:41:10 <Ilari> Based on this model: 2012-08-29 IANA ANNOUNCE ALL DEPLETED
04:42:14 <elliott> pikhq: Specifically: Calling a macro like MACRO() doesn't work. Seriously: zero-argument macros don't work. I looked at the pcc code. malloc is failing. ?!
04:42:34 <elliott> Ilari: Got any links to that model? Also, that's amusingly close to December 21, 2012.
04:43:29 <Sgeo> elliott, Kitten is obviously having difficulty with more than a few bytes of memory
04:43:32 <Ilari> http://www.ipv4depletion.com/?page_id=77
04:44:04 <elliott> Ilari: Thank you.
04:44:21 <elliott> Ilari: I really need to switch to an IPv6 provider.
04:48:04 <elliott> pikhq: gcc - 5.0K, pcc - 4.6K
04:48:06 <elliott> 0.3K BETTER
04:48:09 <elliott> (pcc that is)
04:48:55 <pikhq> elliott: So, pcc produces smaller code.
04:49:00 <pikhq> Awesome.
04:49:09 <elliott> pikhq: Well, with diet's -Os, yes.
04:49:22 <elliott> pikhq: Now help me DEBUG:
04:49:24 <elliott> if ((args = malloc(sizeof(usch *) * (narg+ellips))) == NULL)
04:49:24 <elliott> error("expdef: out of mem");
04:49:34 <elliott> pikhq: WHY WOULD THIS (1) EVER HAPPEN (2) ONLY HAPPEN WHEN YOU CALL A ZERO-ARGUMENT MACRO AND NO OTHER TIME
04:49:37 <elliott> WHYYYYYYYYYY
04:49:47 <elliott> pikhq: A-HA.
04:49:54 <elliott> pikhq: Perhaps that number ends up ZERO!
04:49:59 <pikhq> That would do it.
04:50:08 <pikhq> malloc(0) should return NULL...
04:50:10 <elliott> if ((args = malloc(sizeof(usch *) * ((narg+ellips) || 1))) == NULL)
04:50:14 <elliott> pikhq: Right, but glibc's doesn't.
04:50:16 <elliott> And perhaps BSD libc too.
04:50:20 <elliott> Now let's try recompiling.
04:50:28 <pikhq> elliott: Hmm. Actually, that may be undefined behavior.
04:50:37 <pikhq> Regardless. That's plausible.
04:50:43 <elliott> pikhq: IIRC POSIX says that malloc(0) = NULL.
04:51:01 <elliott> pikhq: Hmm, got a nicer way to write my ||1 there?
04:51:09 <elliott> I could just do +1, but that's wasteful! :P
04:51:19 <elliott> Oh, (narg+ellips || 1) should work.
04:52:23 <elliott> $ CC="$K/stage3/bin/diet -Os $K/stage2/bin/pcc" CFLAGS="" ./configure --prefix=$K/stage3
04:52:42 <elliott> pikhq: Ha, wait, I really need to start from scratch, as my *current* compiler can't handle it.
04:52:47 <elliott> pikhq: Still -- I have the build process down, yo.
04:53:43 <elliott> Ilari: Let's try and get the earliest date!
04:53:47 <elliott> 2011-03-22IANAANNOUNCEDEPLETED
04:53:52 <elliott> 2012-08-13IANAANNOUNCEALL DEPLETED
04:55:08 <elliott> 2013-04-24IANAANNOUNCEDEPLETED
04:55:12 <elliott> 2014-09-22IANAANNOUNCEALL DEPLETED
04:55:31 <elliott> 2015-06-15LACNICANNOUNCEDEPLETED
04:55:32 <elliott> 2016-01-24IANAERROR NO MORE DATA
04:56:33 -!- zzo38 has joined.
04:57:47 <elliott> pikhq: Say, do you know what diff format a CVS-using project will like best? "cvs diff" spews an awful lot.
04:58:08 <elliott> (Moreover it is ugly. :P)
05:01:43 <Sgeo> Factor has <<<<< and >>>>> words etc. to raise an error if someone tries using a conflicted Factor file
05:05:56 <Ilari> Keywords that just raise errors and do nothing else?
05:06:28 <elliott> Ilari: probably
05:06:41 <elliott> Ilari: would be amusing if they started up an interactive merge, and then continued loading the file after it was resolved
05:08:36 <Sgeo> http://docs.factorcode.org/content/word-__lt____lt____lt____lt____lt____lt__%2Csyntax.html
05:12:10 -!- augur has joined.
05:15:59 <elliott> $ patch -p0 < ../dietlibc-for-pcc.patch
05:16:01 <elliott> Yay, it works.
05:16:26 <elliott> -if ((args = malloc(sizeof(usch *) * (narg+ellips))) == NULL)
05:16:26 <elliott> +if ((args = malloc(sizeof(usch *) * (narg+ellips || 1))) == NULL)
05:16:33 <elliott> Seriously though, this is ugly. Can anyone think of a better way to write that?
05:17:21 <Ilari> How that does even work?
05:17:52 <elliott> Ilari: Sometimes narg+ellips is 0. pcc, being a naughty boy and defiant of standards, assumes that malloc(0) is a proper pointer, and malloc(N) being NULL for any N just means that we're out of memory.
05:17:59 <elliott> Ilari: glibc has malloc(0) point to memory (!).
05:18:10 <elliott> Ilari: But dietlibc doesn't. So, when narg+ellips = 0, the code is 0 || 1, which is 1.
05:18:17 <Ilari> That 'narg+ellips || 1' thing
05:18:26 <elliott> Ilari: (narg+ellips || 1) = max(narg+ellips, 1)
05:18:33 <elliott> Ilari: (narg+ellips || 1) --> (42 || 1) --> 42
05:18:39 <elliott> Ilari: (narg+ellips || 1) --> (0 || 1) --> 1
05:18:43 <elliott> Taking advantage of the fact that false=0, true=1 in C.
05:19:23 <Ilari> Eh... Where is that || -> max guaranteed?
05:19:35 <elliott> Ilari: Erm, it's not; it only works in this case.
05:19:53 <elliott> Ilari: It's just boolean logic. 0 || X = X. Y || X = Y iff Y>0.
05:20:07 <elliott> Ilari: In this case, X = 1. So if Y=0, Y||X = 1.
05:20:41 <elliott> Ilari: I can try and explain more :)
05:22:50 <Ilari> Lua 'or' operator is whacky: If first argument is "true", return that, otherwise return the second argument. ('and' returns second argument if first is "true", otherwise the first).
05:23:05 <elliott> Ilari: That's actually ubiquitous in dynamic languages.
05:23:12 <elliott> Python and Ruby do that too. I think Perl might.
05:23:26 <elliott> Ilari: Also, I imagine that in Lua, (3 or 5) is 3.
05:23:34 <elliott> Ilari: Since all non-"false" values will be considered true.
05:23:39 <elliott> Rather than it checking for true specifically.
05:23:44 <elliott> (Unless Lua is super-freaky.)
05:24:49 <Ilari> 3 or 5 is indeed 3.
05:25:25 <Ilari> Bit whackier: 0 or 1 is 0. :-)
05:25:43 <elliott> Yeah, most dynamic languages don't treat ints as bools either.
05:25:58 <elliott> Python is an exception; it didn't use to have a bool type, and things like (0 or x) == x and also ([] or x) == x.
05:26:01 <Ilari> Lua has exactly two false values: nil and false.
05:26:07 <elliott> *and, not and things like
05:26:10 <elliott> Ilari: Same in Ruby.
05:26:31 <elliott> Jesus! I just rm'd my patches by mistake. But I saved the big one.
05:31:10 <elliott> 1. Build pcc (stage1).
05:31:10 <elliott> 2. Build pcc-libs (stage1).
05:31:10 <elliott> 3. Build dietlibc with pcc (stage2).
05:31:10 <elliott> 4. Build pcc with dietlibc and stage1 pcc (stage2).
05:31:15 <elliott> pikhq: See any holes in my bootstrapping there?
05:32:11 <pikhq> Not currently.
05:32:31 <elliott> pikhq: Yay. Previously, I had three stages, but then I was playing it by ear.
05:33:05 <pikhq> That appears to be the typical bootstrapping procedure, actually.
05:33:57 <zzo38> I know that in Javascript, using || returns the left side if the left side is a value considered true, while && is the other way around.
05:34:07 <elliott> pikhq: Here's my HOLY FUCKING SHIT CRAZY patch against dietlibc to make it build with pcc: http://sprunge.us/LJaX
05:34:22 <elliott> - tcbhead_t* me=alloca(sizeof(tcbhead_t)
05:34:22 <elliott> -#ifdef WANT_TLS
05:34:22 <elliott> - +__tmemsize);
05:34:22 <elliott> +#ifndef WANT_TLS
05:34:22 <elliott> + tcbhead_t* me=alloca(sizeof(tcbhead_t));
05:34:23 <elliott> +#else
05:34:25 <elliott> + tcbhead_t* me=alloca(sizeof(tcbhead_t)+__tmemsize);
05:34:27 <elliott> pikhq: I cannot believe that is required.
05:34:34 <elliott> pikhq: It makes me very suspicious of pcc's cpp.
05:35:08 <elliott> Hey, those __TEST_CANCEL() changes are totally unneeded, now that I have the fix in pcc.
05:35:09 <elliott> Sweet.
05:36:22 <elliott> pikhq: Let me just say now that building things with dietlibc, even when it's difficult, is so insanely less painful than building them with gcc.
05:36:25 <elliott> erm.
05:36:27 <elliott> pikhq: Let me just say now that building things with dietlibc, even when it's difficult, is so insanely less painful than building them with uClibc.
05:36:34 <elliott> uClibc does some kind of black magic and fuck that.
05:36:46 <elliott> pikhq: Not that dietlibc is perfect... it warns you every single time you use stdio.
05:36:50 <elliott> Well, printf.
05:36:50 <zzo38> When I asked which way you prefer to make GF-Magick work with GraphicsMagick, it is not a good answer to just say you like any ways. A better answer is the advance of one or more ways, and which way you would probably use if you were using this program.
05:37:04 <elliott> zzo38: I am not sure. I would have to use it to see.
05:37:14 <zzo38> elliott: It warns about stdio?
05:37:35 <elliott> Yes; stdio functions are rather big so it warns that they inflate the binary by 7k or so.
05:38:08 <elliott> ./libugly/system.c:link_warning("system","warning: system() is a security risk. Use fork and execvp instead!")
05:38:21 <elliott> pikhq: Gotta love a library that doesn't have system() by default... I am not sure dietlibc will work for the whole system.
05:38:51 <elliott> ./libpthread/pthread_errno.c:link_warning("errno","\e[1;33;41m>>> your multithreaded code uses errno! <<<\e[0m");
05:39:03 <elliott> pikhq: I swear to god it highlights the warning with colour codes.
05:39:22 <elliott> ./libcruft/tempnam.c:link_warning("tempnam","\e[1;33;41m>>> tempnam stinks! NEVER ! NEVER USE IT ! <<<\e[0m");
05:39:31 <zzo38> elliott: Ah many functions such as printf would be large, so, perhaps put printf and stuff in a separate file so that you can link separately, and also have perhaps printf optimizing at compile time??
05:39:44 <elliott> zzo38: It does not include printf unless you use it.
05:40:19 <elliott> pikhq: Aha, I can just disable WANT_LINKER_WARNINGS.
05:40:53 <elliott> * that is realloc-able; means realloc(..,size) gives a NEW object (like a
05:40:53 <elliott> * call to malloc(size)).
05:40:53 <elliott> * WARNING: this violates C99 */
05:40:57 <elliott> erm
05:41:00 <elliott> /* do you want that malloc(0) return a pointer to a "zero-length" object
05:41:01 <elliott> * that is realloc-able; means realloc(..,size) gives a NEW object (like a
05:41:01 <elliott> * call to malloc(size)).
05:41:01 <elliott> * WARNING: this violates C99 */
05:41:04 <zzo38> Even if you do use printf (and sprintf, and fprintf, and so on), that there could be a way of optimizing some uses of printf style functions at compile time
05:41:09 <elliott> pikhq: So yeah, malloc(0) != NULL is invalid C99.
05:42:34 <zzo38> I think that whether malloc(0) == NULL should be up to the implementation, but that if malloc(0) == NULL then realloc(NULL,x) should do like malloc(x). At least this is my opinion of what it should do.
05:44:39 <zzo38> What is your opinion of this?
05:48:52 <Sgeo> One night without a proper dinner shouldn't kill me
05:48:53 <Sgeo> Right?
05:48:59 * Sgeo is too tired to eat
05:49:12 <elliott> $ make CC="$K/stage1/bin/pcc -D__restrict__=" prefix=$K/stage2
05:49:13 <Ilari> Right.
05:49:16 <elliott> The moment of truth.
05:49:34 <elliott> *** glibc detected *** cpp: free(): invalid next size (fast): 0x0000000000de4d30 ***
05:49:47 <elliott> pikhq: I... ???????????????????????
05:50:15 <Sgeo> If I'm dead in the morning I'm blaming Ilari
05:50:37 <elliott> Sgeo: Have you *never* gone a night without dinner before or something?
05:51:05 <Sgeo> Not that I can recall
05:51:09 <elliott> o_O
05:51:25 <Sgeo> Maybe.. once. Or I think I forced myself to eat a sandwich that night
05:51:35 <Sgeo> Of course, when I was a little kid, all bets are off
05:52:08 <Sgeo> Anyways, night all
05:52:50 -!- Sgeo has quit (Read error: Connection reset by peer).
05:54:01 <zzo38> Can you have a program that unpacks only what is used, to have both speed and small?
05:57:02 <fizzie> zzo38: Isn't that already how malloc(0) is specced to work? (Except that realloc(NULL, x) == malloc(x) even if malloc(0) does return an actual, free()able pointer.)
05:57:02 <elliott> zzo38: Only unpacks what?
05:57:13 <elliott> fizzie: malloc(0) is specified to return NULL in C99, I think.
05:57:23 <elliott> fizzie: Or at least, "you're not allowed to use the return value of malloc(0), so STFU".
05:58:05 <elliott> Description
05:58:05 <elliott> 2 The malloc function allocates space for an object whose size is specified by size and
05:58:05 <elliott> whose value is indeterminate.
05:58:05 <elliott> Returns
05:58:05 <elliott> 3 The malloc function returns either a null pointer or a pointer to the allocated space.
05:58:13 <elliott> fizzie: Or let's just go with "the C99 draft is hopelessly vague on this point".
05:58:27 <elliott> fizzie: Aha: " If the size of the space requested is zero, the behavior is implementation-
05:58:28 <elliott> defined: either a null pointer is returned, or the behavior is as if the size were some
05:58:28 <elliott> nonzero value, except that the returned pointer shall not be used to access an object."
05:58:33 <fizzie> elliott: "If size is 0, either a null pointer or a unique pointer that can be successfully passed to free() shall be returned." (Posix 2008, which is supposed to be aligned with C99)
05:58:37 <fizzie> Right.
05:58:40 <elliott> fizzie: tl;dr malloc(0) can be anything, but you can't look at it.
05:59:07 <elliott> fizzie: Anyway, assuming that malloc(0) == NULL means that you're out of memory is definitely wrong, so there. Now rewrite (foo+bar || 1).
05:59:44 <fizzie> Huh? It can't be "anything": it's implementation-definedly (means it has to be documented) either NULL or a real pointer you can free, just not dereference.
06:00:42 <elliott> fizzie: Okay, true.
06:00:45 <elliott> Missed that detail.
06:00:51 <Ilari> Apparently ARIN will grab its two blocks first...
06:00:59 <elliott> fizzie: Now you get to tell me why free(args) would fail after doing:
06:01:01 <elliott> if ((args = malloc(sizeof(usch *) * (narg+ellips || 1))) == NULL)
06:01:05 <elliott> fizzie: where narg+ellips = 0.
06:01:07 <elliott> fizzie: Gogogogogogo.
06:01:16 <elliott> (And no, there are no previous frees.)
06:01:20 <elliott> *** glibc detected *** cpp: free(): invalid next size (fast): 0x0000000000de4d30 ***
06:01:23 <elliott> is the inexplicable error.
06:01:26 <zzo38> elliott: O, that is how the C99 draft works? In my opinion how it should work is that if malloc(0) returns NULL then you can free(NULL) safely and that if malloc(0) returns NULL then realloc(NULL,x) acts like malloc(x), but that if malloc(0) does not return NULL, then its return value must be safely pass to free() but
06:01:53 <zzo38> that in case of malloc(0) != NULL then there is no guarantee that free(NULL) or realloc(NULL,x) has to be meaningful.
06:02:06 <fizzie> zzo38: You can free(NULL) and realloc(NULL,x) safely in all cases, is how it works.
06:02:10 <zzo38> At least this is what makes sense to me.
06:02:17 <elliott> fizzie: SRSLY WHUT ;__;
06:02:55 <coppro> elliott: get some sleep
06:03:28 <elliott> coppro: fuck you fix my bug
06:03:37 <zzo38> fizzie: If you can safely free(NULL) and realloc(NULL,x) safely in all cases, then it should make sense that malloc(0) should return NULL (although the Posix 2008 note above that says "either a null pointer or a unique pointer that can be successfully passed to free() shall be returned" is very sensible)
06:03:42 <fizzie> elliott: Tried valgrinding it yet?-) (Can' see any obvious problems there, except that (nargs+ellips || 1) is always 1.)
06:03:52 <elliott> fizzie: "(Can' see any obvious problems there, except that (nargs+ellips || 1) is always 1.)"
06:03:54 <elliott> fizzie: Gaah, of course.
06:04:06 <elliott> fizzie: Remember when I said "rewrite that"? Rewrite it so that it means max(nargs+ellips, 1) plz :P
06:04:14 <fizzie> It's not a Perl ||. :p
06:04:30 <elliott> fizzie: I suppose I could do nargs+ellips ? nargs+ellips : 1, but, er, ew.
06:05:11 <fizzie> You can do ((nargs+ellips) | 1) if you don't mind that it's sometimes one larger than necessary. :p
06:05:23 <elliott> fizzie: If I didn't mind that, I'd do something called +1.
06:05:51 <fizzie> But then it's one larger always; at least my thing is that only half of the time.
06:05:58 <elliott> fizzie: I want this to be hypothetically accepted into pcc, and I imagine the BSD guys might be a bit CAGEY about wasting sizeof(usch *) bytes like that.
06:07:53 <elliott> fizzie: Factored it out into a conditional like the cool dudes.
06:10:09 <zzo38> Is it possible to make Frama-C to work without the special ACSL but instead by commands that can be inserted anywhere in the C code where a statement is expected: assume(), assert(), assume_portable(), assert_portable(), etc.
06:10:39 <fizzie> ((nargs+ellips)|1)^(((nargs+ellips)&~1) && !((nargs+ellips)&1)) for maximum confusion.
06:10:54 <elliott> fizzie: I am so glad the if statement was invented.
06:10:57 <elliott> SO GLAD
06:11:45 <elliott> fizzie: However, for your ASSISTANCE, you are now an official Kitten developer. Expect drudge work.
06:12:20 <pikhq> elliott: Okay, it's really odd that you would actually *want* an allocation for a malloc(0)...
06:12:33 <elliott> pikhq: Indeed.
06:12:36 <pikhq> elliott: Especially with the reasoning that you might want to pass the result to realloc...
06:12:42 <pikhq> realloc of NULL works just fine.
06:12:47 <elliott> pikhq: I am so tempted to build dietlibc with malloc(0) == pointer turned on, though.
06:12:52 <elliott> pikhq: Just to give me less shit.
06:13:18 <pikhq> Well, it's *permitted* behavior, and apparently some crazy junk relies on it, so I say go for it.
06:13:18 <elliott> pikhq: (Similarly, although I've disabled the GNU program invocation name crap that only util-linux and GNU software uses, I'm tempted not to...)
06:13:29 <elliott> pikhq: But then why use dietlibc :)
06:13:45 <pikhq> Okay, go for it if it ends up actually being problematic.
06:13:59 <pikhq> Say, "HOLY FUCK I NEED TO PATCH EVERY SINGLE PROGRAM".
06:14:19 <zzo38> If realloc of NULL works fine, then the Posix specification that malloc(0) should either return NULL or a pointer passable to free or realloc, works fine. (It says "a unique pointer that can be successfully passed to free()", but it ought to include realloc() as well, or else it isn't very good)
06:14:53 <pikhq> zzo38: That's pretty bizarre specing there.
06:14:57 <elliott> * file support on kernel 2.2 or 2.0 */
06:15:00 <elliott> er
06:15:03 <elliott> /* you need to define this if you want to run your programs with large
06:15:03 <elliott> * file support on kernel 2.2 or 2.0 */
06:15:07 <elliott> dddisable
06:15:25 <pikhq> Disable-tastic.
06:15:39 <elliott> Compile!
06:16:03 <elliott> pikhq: I am shocked to the core that this shit actually works, and in fact all the patches I've made could be made into sane ones that condition on __PCC__ or something rather than just chainsawing up dietlibc.
06:16:15 <elliott> Still, the dietlibc patch is only 200 or so lines; the pcc patches are both tiny.
06:17:37 <zzo38> pikhq: What is bizarre?
06:17:42 <Vorpal> <elliott> Vorpal: night, GENERA LOSER <-- ?
06:17:51 <pikhq> elliott: That's pretty nice.
06:17:54 <Vorpal> <elliott> Vorpal: Yellow: "Polynomial!" <-- heh
06:18:23 <pikhq> elliott: You might want to clean up the patches a bit and send them upstream.
06:18:53 <elliott> <Vorpal> <elliott> Vorpal: night, GENERA LOSER <-- ?
06:18:55 <elliott> I've forgotten :P
06:19:09 <elliott> pikhq: I'm going to send them as-is; they're not *too* messy and I don't know how they'd want to do this stuff, so, leave it to the maintainer!
06:19:21 -!- TLUL has joined.
06:19:21 <elliott> pikhq: The pcc ones need no clean-up and are totally unobjectionable.
06:19:44 <elliott> pikhq: Well, except that the pcc-libs one mentions the name "dietlibc"; sure, it also mentions SunOS in that file, but perhaps mentioning GPL'd software is just TOO FAR for the BSD guys.
06:20:24 <Vorpal> elliott, what are you doing?
06:20:43 <elliott> elliott@dinky:~/kitten$ $K/stage2/bin/diet -Os $K/stage2/bin/pcc hello.c -o hello
06:20:43 <elliott> execvp() failed!
06:20:48 <elliott> Whoopsy.
06:20:51 <elliott> Oh, I neglected to make install.
06:21:14 <elliott> Vorpal: Building the Kitten toolchain.
06:21:19 <Vorpal> elliott, dietlibc? kitten will use dietlibc?
06:21:25 <elliott> Vorpal: I have dietlibc built by pcc, and pcc built by pcc linked with dietlibc.
06:21:29 <elliott> Vorpal: Yes, probably.
06:21:43 <Vorpal> elliott, huh, what is wrong with, say, newlib or uclibc?
06:21:50 <elliott> Vorpal: (It *is* legal to distribute the binaries, as long as I offer source; felix is mistaken about this.)
06:22:01 <Vorpal> elliott, felix?
06:22:08 <elliott> Vorpal: the dietlibc developer
06:22:09 <elliott> Vorpal: newlib's Linux code is just... glibc's. Also it's primarily for standalone environments.
06:22:23 <Vorpal> elliott, and uclibc?
06:22:35 <elliott> Vorpal: uClibc is... well, let's put it this way: They use goddamn menuconfig. And if you don't compile your own gcc, your resulting programs segfault.
06:22:52 <elliott> Vorpal: Also, uClibc doesn't build with pcc. dietlibc does, with some patches that I have written.
06:22:57 <Vorpal> elliott, uh? do they? I used it with my normal system compiler
06:23:00 <elliott> I would not want to patch uClibc. I hear it is very gcc-specific.
06:23:02 <Vorpal> (uclibc that is)
06:23:09 <elliott> Vorpal: Well, it was the issue I had. But whatever.
06:23:13 <Vorpal> right
06:23:27 <elliott> Vorpal: Also, dietlibc tends to produce leaner executables, I think. Admittedly it is less strictly compatible with stuff.
06:23:39 <elliott> I will have to see how much stuff breaks with it. I doubt X.Org will build with anything but gcc.
06:23:47 <Vorpal> elliott, how feature complete is dietlibc wrt posix?
06:24:20 <elliott> Vorpal: Quite; by default, it tells you off for using stdio and other functions (they bloat the binary), but I've disabled that. Some functions like system() are in a separate library because they suck.
06:24:26 <elliott> Vorpal: (But that's just a link to fix.)
06:25:03 <elliott> pikhq: Vorpal: It works! http://sprunge.us/WYFe
06:25:17 <zzo38> What might be good is having a Frama-C that will create reports that can be included into a Enhanced CWEB program. (You first run tangle, and then analysis, and then weave, and you will get the reports included in a new chapter of the program.)
06:25:22 <Vorpal> mhm
06:25:24 <Vorpal> bbiab
06:25:31 <elliott> pikhq: Now I just need a cc(1) wrapper script that works like diet(1), except that it doesn't behave differently depending on where -Os is.
06:25:42 <elliott> pikhq: (diet's -Os switch appends a few extra arguments depending on your arch.0
06:25:44 <elliott> *.)
06:25:58 <Vorpal> actually, make that "bbl, several hours"
06:26:53 <elliott> -rwxr-xr-x 1 elliott elliott 4.4K Nov 12 06:24 hello
06:26:53 <elliott> -rwxr-xr-x 1 elliott elliott 6.5K Nov 12 06:26 hello2
06:26:59 <elliott> pikhq: Second is gcc -Os, dynamically linked to glibc.
06:29:29 <elliott> pikhq: I just had the most perverse idea. Compile plan9port with this.
06:29:43 <fizzie> ((nargs+ellips)+!(nargs+ellips)) also occurs to me, but I think they're all messier than the conditional.
06:30:26 <pikhq> elliott: Please do.
06:31:03 <elliott> pikhq: How depressing: I just realised I'm spending all of this time and effort on Unix. Not even that, Linux.
06:31:09 <elliott> Maybe I'll shoot myself when all's said and done.
06:31:42 <pikhq> elliott: It's at least non-sucky Unix.
06:31:49 <elliott> It's Linux.
06:31:57 <pikhq> ... Okay, except for the kernel.
06:32:06 <elliott> dietlibc is Linux-only :P
06:32:13 <pikhq> Baaah.
06:38:10 <elliott> pikhq: What does irritate me is that I'm going to have to wrap pcc.
06:38:25 <elliott> Why don't compilers support an easy way to compile them to automatically link to a static libc? *sniff*
06:42:16 <elliott> pikhq: LETS FORK PCC
06:59:16 <elliott> pikhq: Haw, plan9port does not like diet pcc :P
07:01:04 <elliott> pikhq: http://www.fefe.de/embutils/ almost coreutils
07:02:31 <elliott> pikhq: Can I poll you about my service manager's interface? Or should I shut up and code :p
07:05:29 -!- TLUL_ has joined.
07:06:50 -!- Zuu has quit (Ping timeout: 260 seconds).
07:07:23 -!- TLUL_ has left (?).
07:16:05 -!- TLUL has changed nick to Teh_Lawl.
07:16:11 -!- Teh_Lawl has changed nick to TLUL.
07:16:31 <elliott> pikhq: BAH
07:33:11 -!- wareya_ has joined.
07:33:12 -!- wareya has quit (Ping timeout: 255 seconds).
07:35:24 -!- TLUL has quit (Quit: *disappears in a puff of purple smoke*).
07:37:35 <elliott> Is && a sequence point?
07:37:38 <elliott> i.e. is
07:37:41 <elliott> *q++ && *q == foo
07:37:41 <elliott> ok?
07:37:43 <elliott> *!=
07:39:14 -!- ttm_ has joined.
07:40:30 <fizzie> It is.
07:41:43 <fizzie> "Unlike the bitwise binary & operator, the && operator guarantees left-to-right evaluation; there is a sequence point after the evaluation of the first operand. If the first operand compares equal to 0, the second operand is not evaluated."
07:42:30 <elliott> Yay.
07:53:59 <zzo38> Can poker be combined with Magic: the Gathering in the following way: That whatever cards you have available to make up a poker hand are the cards you play with in your hand in Magic: the Gathering cards.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:03:11 <zzo38> fizzie: I have used things like (x+!x) in C codes, before (occasionally; not all the time).
08:04:49 <zzo38> Writing (x|!x) should also produce the same answer (I think), also (x^!x), and if you are using GNU C, also (x?:1)
08:05:36 <zzo38> x>>=!y;
08:09:14 -!- zzo38 has quit (Quit: *reappears in a ball of invisible ink*).
08:13:18 <elliott> The slowness of qemu-system-x86_64 is profound.
08:15:15 <elliott> I am staring at one gnome panel while waiting for the other to start.
08:15:15 <elliott> Seriously.
08:16:15 <elliott> WOO THE BACKGROUND IS UP
08:54:22 <elliott> Gregor: http://beesbuzz.biz/art/web/statistically_significant_2.php What an average Dinosaur Comic.
09:57:13 <cheater99> i should just start using ie6 for all my linux web browsing
09:57:18 <cheater99> just to be contrarian
10:10:58 <elliott> Okay, seriously, does anyone know of a faster x86-64 emulator than qemu?
10:20:33 -!- augur has quit (Ping timeout: 276 seconds).
10:21:00 <elliott> pikhq: BE MORE AWAKE
10:25:24 -!- augur has joined.
10:30:10 <elliott> augur: ed is the best editor
10:30:37 <augur> elliott: what
10:30:42 <elliott> it is
10:44:44 -!- ineiros has quit (Ping timeout: 240 seconds).
10:46:34 -!- ineiros has joined.
11:40:01 <elliott> Vorpal: ping
12:03:50 -!- ais523 has joined.
12:04:57 <elliott> hi ais523
12:05:04 <ais523> hi elliott
12:05:16 <ais523> I managed to do a rm * in my home directory last night (thought I was in /tmp...)
12:05:22 <ais523> luckily, I lost hardly anything, maybe about 15 minutes of work
12:05:36 <ais523> (an rm -r * would have been rather more destructive...)
12:06:57 <ais523> (and the reason I was doing an rm * of /tmp is that I'd just tarbombed it)
12:07:11 <ais523> (good thing I forgot the -rf, which would have been needed...)
12:07:53 <elliott> ais523: oh dear...
12:08:18 <ais523> it's at times like this that I'm glad I'm using my crazy Emacs backup system, that's designed specifically to protect against accidental rm *s
12:08:26 <ais523> (it backs up all files I edit in a /different/ directory from the file itself)
12:08:52 <elliott> ais523: err, I do that too
12:08:58 <elliott> ais523: and many, many others
12:09:03 <elliott> ais523: but -- mostly to stop cluttering up directories.
12:09:14 <ais523> indeed, clutter in directories is what causes the rm * ~ typo in the first place
12:09:14 <elliott> ais523: (in fact, i'd say that in the "emacs community", >50% do that)
12:09:25 <ais523> really, it should be the default, backing up to a dotfile somewhere
12:09:34 <elliott> ais523: emacs isn't exactly one for sane defaults
12:09:43 <ais523> indeed (GNU-style indentation?)
12:09:46 <elliott> I've almost got a basic .emacs in muscle memory from reinstalling so many times
12:09:57 <ais523> heh
12:10:09 <elliott> (tool-bar-mode -1) (menu-bar-mode -1) (setq inhibit-splash-screen t) (setq-default indent-tabs-mode nil)
12:10:21 <ais523> anyway, it turns out that the only actually important thing I lost in the rm * of my homedir, as far as I can tell, was the public key for accessing the wireless here
12:10:24 <elliott> *search "amit patel backups emacs", copy snippet in*
12:10:26 <elliott> tada
12:10:36 <elliott> ais523: probably retrievable/regeneratable?
12:10:36 <ais523> and I managed to download that over JANET roaming
12:10:39 <elliott> right
12:10:55 <ais523> indeed, the issue is, I thought I couldn't connect to the Internet to download it without it
12:11:03 <elliott> ais523: uh, care to take bets on whether ubuntu 7.10 will recognise this fancy new ethernet card that supposedly older ubuntus didn't?
12:11:11 <elliott> In fact, it might handle my wifi but not ethernet. Wouldn't that be a thing.
12:11:18 <elliott> (And yes... I need 7.10. For Genera!)
12:11:21 <ais523> 7.10? that's pretty old
12:11:32 <elliott> ais523: every newer version has a too recent X.Org
12:11:38 <ais523> and as a result, I have no idea
12:11:47 <elliott> ais523: which breaks the hideous monstrosity of a hack^W^W^W^W^WOpenGenera port to Linux
12:11:57 <ais523> elliott: use an old X.Org as an application within Wayland!
12:12:00 <elliott> ais523: (it actually replaces the Alpha assembly-generating routines with routines that generate *C*...)
12:12:11 <elliott> ais523: hey now, i support the move to wayland :P
12:12:17 <elliott> why? IT'S NOT X
12:12:30 <ais523> I don't yet oppose it, but I don't have enough data to make up my mind
12:12:34 <elliott> I'd probably prefer Windows Display Server, the Linux port than X.
12:12:45 <elliott> (Also known as "1/3 of the Windows kernel, the Linux port".)
12:13:14 <ais523> Windows keep replacing their display code, though
12:13:19 <ais523> I still remember GDI32.DLL
12:13:25 <ais523> in fact, I still remember the 16-bit version
12:13:32 <ais523> but Microsoft have deprecated not only it, but most of its successors
12:13:40 <ais523> which is a pity, as I actually liked GDI
12:13:43 <elliott> ais523: afraid i have to reboot to get debian to realise i have a usb stick now...
12:13:51 <ais523> ugh
12:13:56 <elliott> ais523: (not sure why it didn't just work, but)
12:14:05 <fizzie> The Global Defense Initiative.
12:14:22 <elliott> ais523: I'm even using my Kitten work partition to install 7.10 on! What blasphemy. (In other Kitten news you don't care about, I got a bootstrapped pcc/dietlibc -- pcc built with pcc, linked with dietlibc -- working today.)
12:14:55 <elliott> for my benefit:
12:14:55 <elliott> http://sprunge.us/ZAWh
12:14:56 <elliott> http://sprunge.us/ZAWh
12:14:56 <elliott> http://sprunge.us/ZAWh
12:14:56 <elliott> http://sprunge.us/ZAWh
12:15:05 -!- elliott has quit (Remote host closed the connection).
12:15:16 <ais523> hmm, why would you paste that four times? to make it easier to see?
12:15:21 <ais523> it's a mystery!
12:17:12 <fizzie> Maybe one of us should paste the output of "banner 'hey elliott here is your paste'" on-channel to make it even more visible.
12:18:11 <ais523> I think elliott uses a proportional-width font for IRC (although I'm not sure), so it'd probably get munged
12:18:13 <fizzie> With -w 30 it's only 207 lines.
12:18:32 <ais523> arguably, though, he or she uses a fixed-width font for the logs
12:18:40 <fizzie> I somehow assumed he'd be looking for it in the logs, which, ... right.
12:19:29 <fizzie> # #
12:19:29 <fizzie> # #
12:19:29 <fizzie> ### ####
12:19:29 <fizzie> ## #######
12:19:29 <fizzie> ## ###### #
12:19:30 <fizzie> ######
12:19:32 <fizzie> #########
12:19:34 <fizzie> # ####### ##
12:19:36 <fizzie> ###### ## #
12:19:38 <fizzie> ### #
12:19:40 <fizzie> # #
12:19:42 <fizzie> The X marks the spot, you see.
12:19:47 <ais523> that's an X?
12:19:58 <fizzie> Banner prints things sideways.
12:20:10 <ais523> it's not an X any direction I look at it
12:20:20 <Vorpal> hi
12:20:20 <fizzie> It has serifs and all.
12:20:28 <Vorpal> <elliott> Vorpal: ping <-- pong
12:20:32 <ais523> ah, serifs + proportional-width font is what's confusing me
12:21:09 <Vorpal> <ais523> it's at times like this that I'm glad I'm using my crazy Emacs backup system, that's designed specifically to protect against accidental rm *s <-- I use rm -I
12:21:20 <Vorpal> also shell function that wraps rm
12:21:25 <ais523> Vorpal: that likely doesn't help, I did rm * deliberately but in the wrong directory
12:21:30 <Vorpal> and examines the arguments for sanity
12:22:16 <fizzie> With -I you'd see the file names, though. Maybe seeing rm: remove regular file `important_stuff'? would help you notice sooner.
12:22:17 <Vorpal> for example it will do nothing if one of the files is a guard file in ~
12:22:26 <Vorpal> which is just to avoid rm * in the wrong dir
12:22:41 <Vorpal> also if an argument is ~ or $HOME
12:22:58 <ais523> -I doesn't show the filenames
12:22:59 <Vorpal> to avoid rm * ~
12:23:00 <Vorpal> or such
12:23:00 <ais523> -i does, but not -I
12:23:16 <Vorpal> ais523, indeed, but -i is annoying when you have multiple files
12:23:34 <ais523> I do like the idea of a guard file which stops rm working; you could design it so you needed to use unlink instead, say
12:23:34 <Vorpal> anyway, the shell wrapper protects against the most common stupid mistakes
12:24:02 <Vorpal> ais523, well, it just examines the arguments. I could bypass it by calling /bin/rm rather than just rm for example
12:24:02 <fizzie> Something like http://www.nilfs.org/en/ would make your file system also mistake-proof.
12:24:11 <fizzie> I still haven't had the occasion to try that out.
12:24:17 <Vorpal> fizzie, I wanted to try it too
12:24:28 <Vorpal> and never got around to it
12:24:35 <Vorpal> fizzie, isn't it in the kernel nowdays?
12:24:40 <Vorpal> as in
12:24:43 <Vorpal> vanilla
12:25:03 <fizzie> Yes, I think it is.
12:25:20 <Vorpal> I wonder how good the performance is
12:25:23 -!- sebbu2 has joined.
12:25:33 -!- sebbu has quit (Ping timeout: 272 seconds).
12:25:35 <fizzie> "NILFS was merged into the Linux kernel 2.6.30. -- NILFS2 is available in Ubuntu 9.10 or later (karmic, lucid)."
12:25:56 -!- sebbu2 has changed nick to sebbu.
12:26:33 <fizzie> There's that one year-old benchmark article.
12:26:54 <Vorpal> fizzie, hm is nilfs2 not in vanilla?
12:27:00 <Vorpal> assuming they are different
12:27:12 <fizzie> They're the same thing in that context.
12:27:15 <Vorpal> ah
12:27:36 <fizzie> Just two different snippets of the page, one talking about where the tools and such are packaged, the other about the file system.
12:28:03 <Vorpal> http://www.nilfs.org/en/current_status.html <-- fsck on todo list
12:28:04 <Vorpal> heh
12:28:49 <Vorpal> I think I'll stay with my mix of ext4 and jfs partitions for now.
12:32:06 <fizzie> Can't seem to find any recent benchmarks. I just like the idea of continuous-snapshotting.
12:34:31 <fizzie> Our work /home share has /home/.snapshot/hourly.0 .. hourly.3, nightly.0 .. nightly.3 and weekly.0, weekly.1 which provide complete snapshots of everyone's ~ at the times you'd expect from the names.
12:35:37 <fizzie> It's not exactly continuous snapshotting, but probably good enough to catch many mistaken deletions, unless you're unlucky enough to have both made and deleted the stuff within the same one-hour period.
12:42:19 -!- FireFly has joined.
12:43:39 -!- Leonidas has quit (Ping timeout: 264 seconds).
12:43:43 -!- Leonidas has joined.
13:08:53 <ais523> a hidden file in /home is an interesting way to violate the FHS
13:08:59 <ais523> shouldn't it technically be in /var?
13:10:48 <fizzie> Possibly, but I think due to technomagical reasons it needs to be in the same NFS share, which is mounted at /home.
13:11:11 <fizzie> And, well; our /home is a symlink to /m/fs/home anyway.
13:11:43 <fizzie> What is even stranger is that /home/.directory is a symlink to /etc/kubuntu-default-settings/directory-home.
13:11:49 <fizzie> I have no clue what that's about.
13:12:31 <fizzie> It contains:
13:12:32 <fizzie> [Desktop Entry]
13:12:32 <fizzie> Icon=user-home
13:12:39 <fizzie> So I guess it's some sort of desktop environment magic.
13:21:42 -!- ais523 has quit (Quit: Page closed).
13:22:55 -!- elliott has joined.
13:22:57 <elliott> 04:28:49 <Vorpal> I think I'll stay with my mix of ext4 and jfs partitions for now.
13:23:00 <elliott> weren't you an xfs user?
13:23:07 <elliott> joined the light side? :)
13:24:20 <elliott> Vorpal: Genera update: qemu-system-x86_64 is slower than you can possibly imagine -- and yes, slower than that. Utterly unworkable; even booting was a five-minute operation and even starting an xterm in a Xephyr on the root machine was way too slow.
13:24:37 <elliott> Vorpal: Then tried doing it as a chroot, ended up changing my system hostname and starting nfs, and on top of that swap4 didn't work so fuck that.
13:24:47 <elliott> Vorpal: Now I'm going to install Ubuntu 7.10 literally onto another partition.
13:25:03 <elliott> brb
13:27:06 -!- elliott has quit (Read error: Connection reset by peer).
13:33:59 -!- sftp has joined.
13:37:02 <Vorpal> <elliott> weren't you an xfs user? <-- I use xfs on some partitions. Those with few, but huge, files. So for the partition with disk images basically
14:14:25 -!- digimunk has joined.
14:24:55 -!- Phantom_Hoover has joined.
14:35:29 -!- elliott has joined.
14:35:35 <elliott> Indeed, the ethernet driver was added in karmic. *sigh*
14:35:57 <elliott> Vorpal: Are you *sure* Genera doesn't work with a more recent X? Anyway, wouldn't it be easier just to install Gutsy's X package onto Maverick?
14:38:43 <cheater99> __████████___ ██
14:38:44 <cheater99> _█▓▓▓▓█░▓▓███▓█
14:38:44 <cheater99> __█▓▓▓█░░▓▓▓█▓█
14:38:44 <cheater99> ___█▓▓█░▓▓▓▓▓▓█
14:38:44 <cheater99> ____█▓▓▓▓▓▓▓▓▓█
14:38:44 <cheater99> ___█▓▓▓▓▓__▓▓▓▓█
14:38:46 <cheater99> __█▓▓▓▓▓___▓▓▓▓█
14:38:50 <cheater99> _█▓▓▓▓▓_░__▓░__█
14:38:52 <cheater99> █▓▓▓▓▓▓_█__▓█__█
14:38:54 <cheater99> █████▓▓_░__▓░__█
14:38:56 <cheater99> ___█▓▓▓░░░░░░███
14:38:58 <cheater99> __█▓▓▓▓░░░░░░░█
14:39:00 <cheater99> _███████░░░░░█
14:39:02 <cheater99> ___██░░░█████
14:39:04 <cheater99> __█░░███░░░█
14:39:05 <elliott> fizzie
14:39:06 <elliott> fizzie
14:39:06 <cheater99> _█░█__█▓░░░██
14:39:06 <elliott> fizzie
14:39:06 <elliott> fizzie
14:39:08 <cheater99> _██____▓░░█__█
14:39:10 <cheater99> __█____▓▓██__█
14:39:11 <elliott> fizzie
14:39:11 <elliott> fizzie
14:39:12 <elliott> fizzie
14:39:12 <elliott> fizzie
14:39:12 <elliott> fizzie
14:39:12 <cheater99> ___█__█▓██__█
14:39:14 <cheater99> ____███▓█▓██
14:39:15 <elliott> fizzie
14:39:16 <cheater99> _______█▓█▓█
14:39:20 <cheater99> _______█▓█▓██
14:39:22 <cheater99> ______█___█__█
14:39:24 <cheater99> ______█▓▓▓█▓▓███
14:39:27 <cheater99> _____█____▓█▓▓_▓▓█
14:39:28 <cheater99> ____█▓▓▓▓_█▓▓_▓▓▓█
14:39:30 <cheater99> ____██████████████
14:39:32 <elliott> fizzie fizzie fizzie fizzie fizzie
14:39:32 <fizzie> Is that... Sonic?
14:39:37 <cheater99> yes
14:39:44 <cheater99> the coolest hedgehog!
14:40:06 <fizzie> The illest hog.
14:44:01 <Ilari> Uh, oh: "I think I’m going to write a post about the fact that Sprint allocated around 4 million v4 addresses yesterday." --ipv4depletion
14:44:16 <elliott> Ilari: Looks like the bank run has begun!
14:44:36 <Ilari> If it begins in APNIC region...
14:45:41 <elliott> Vorpal: I'm going to try this whole wazoo with 10.10 and an old X package.
14:46:10 <fizzie> You could get double the resolution with U+2596..259F, but that'd lose the shading.
14:46:17 <fizzie> ▟▄▟▖
14:46:17 <fizzie> ▟▙█▙█▖
14:46:17 <fizzie> ▌▛▀▀▌▌
14:46:17 <fizzie> ▝ ▝
14:47:25 <yorick> ooh they're playing space invaders
14:47:49 <fizzie> It's a bit elongated with this font: it's not exactly a rectangular block.
14:48:02 <fizzie> Er, square, I mean.
14:48:26 <yorick> is it ment to be?
14:48:54 <fizzie> The pixels should be square-ish, yes, I think. I just copied them directly to the quadrant-blocks, which aren't.
14:49:12 * yorick is implementing printf in c
14:49:46 <elliott> What a strange language to implement printf in.
14:49:59 <yorick> elliott: true, but I'm wondering what else
14:50:11 <elliott> yorick: "what else"?
14:50:15 <Ilari> To change the "endgame" with IANA allocations, ARIN (which will probably request&get 2 blocks soon), APNIC or RIPE would have to allocate so fast that they can get 2x2 blocks before IANA runs out...
14:50:20 <yorick> elliott: yes
14:50:28 <elliott> yorick: no, as in, please restate so i can understand that
14:50:41 <yorick> elliott: I have myself a set of "asm, C, C++"
14:51:05 <elliott> why would you ever touch c++
14:51:06 <yorick> I can pick any (combination) of those to write a printf function
14:51:11 <elliott> yorick: do printf in haskell!
14:51:13 <elliott> and export it to C
14:51:16 <yorick> elliott: templates.
14:51:24 <elliott> yorick: yes, that's a reason not to use C++ ever, correct
14:51:38 <yorick> I rather like templates
14:51:53 <yorick> (especially when they can do the world some good compile-time instead of runtime)
14:52:16 <Ilari> Actually, severe run on the bank scenario on ARIN could force second set of allocations before IANA pool runs out, changing the endgame.
14:52:54 <elliott> yorick: c++ makes the amount of patience and energy you have left to do anything after compiling shoot itself
14:53:56 <yorick> elliott: most of the time, the only thing I actually have to do after compiling is see if it still boots and else fix it
14:54:05 <Phantom_Hoover> What do templates do again?
14:54:27 <yorick> they're like the C preprocessor
14:54:35 <elliott> Phantom_Hoover: You know what a generic is?
14:54:46 <Phantom_Hoover> elliott, in the CLOS?
14:54:46 <yorick> but much more C++-y (and they have recursion :))
14:54:50 <elliott> Phantom_Hoover: No, in e.g. Java.
14:54:54 <elliott> Phantom_Hoover: List<T> is a list of Ts.
14:55:10 <Phantom_Hoover> yorick, ah, so they're trying to solve a problem Lisp solved 50 years ago.
14:55:24 <elliott> Phantom_Hoover: You know what a typeclass is? Imagine a feature that makes doing what generics do (simple parameterised typed) a pain in the ass, and not letting you do any useful typeclass stuff, but *yes* letting you abuse it as the most tarpitty thing ever.
14:55:25 <yorick> http://pastebin.com/UF0Ci5F6
14:55:47 <elliott> Phantom_Hoover: Also it's turing-complete and makes compile times go up faster than ... uh ... a really quickly-erected structure.
14:56:13 <Phantom_Hoover> Than a self-assembling skyscraper?
14:57:03 <elliott> I suppose some people might call it that.
14:57:05 <elliott> <yorick> http://pastebin.com/UF0Ci5F6
14:57:28 <elliott> as we can see by this, templates are a verbose, strangely-arbitrarily-limited functional language, masquerading as a simple generics system.
14:57:41 <elliott> not laughing at this too much produces Boost
14:57:43 <elliott> *enough
14:58:53 <Phantom_Hoover> So it is basically just a crippled, awful and inelegant version of Lisp's macros?
14:59:15 <yorick> crippled...meh
14:59:17 <elliott> Phantom_Hoover: It can't transform code. So no.
14:59:22 <elliott> yorick: Yes crippled (you can't do SKI calculus).
15:00:05 <Phantom_Hoover> elliott, its functionality is entirely a subset of macros, though?
15:00:12 <elliott> umm.
15:00:14 <elliott> that question makes no sense
15:00:57 <Phantom_Hoover> Well, does it do anything in C++ which Lisp can't do with macros?
15:01:12 <Vorpal> <elliott> Vorpal: Are you *sure* Genera doesn't work with a more recent X? Anyway, wouldn't it be easier just to install Gutsy's X package onto Maverick? <-- pretty sure. Could work with some in between the two I tried (that old ubuntu version I mentioned in the "guide" and the X version in the next ubuntu release after that)
15:01:19 -!- augur has quit (Remote host closed the connection).
15:01:25 <Phantom_Hoover> The answer is obviously going to be no, since you can do _everything_ with macros, but anyway...
15:01:26 <elliott> Vorpal: is it the server or the libs that is the issue?
15:02:23 <Vorpal> elliott, unknown. I didn't investigate it further than noticing that googling indicated it was X related, and that fitted with the error message, which was some X message (forgot which)
15:07:05 -!- MigoMipo has joined.
15:09:59 <Phantom_Hoover> elliott, xkcd is hiatusing. I'm not sure whether I'm allowed to be happy.
15:10:28 <elliott> Considering there's a family illness and also nobody's forcing you to read xkcd, I think not.
15:11:10 <Phantom_Hoover> Yeah, I was thinking that.
15:15:23 <elliott> Phantom_Hoover: The xkcdsucks people are all going "THANK GOD NO XKCD", but as is well-established they are all (a) douchebags and (b) morons.
15:18:10 <Phantom_Hoover> Indeed.
15:28:05 <Gregor> Also, (d) fluffy puppies.
15:32:24 <Gregor> (We don't know what (c) is yet)
15:32:46 -!- augur has joined.
15:35:55 -!- Sgeo has joined.
15:37:18 <Sgeo> I was about to confusedly ask something along the lines of "Is the amount of infinite sets of rationals uncountably infinite somehow? Because if not, I don't see how reals defined in terms of Dedekind cuts are uncountably infinite"
15:37:46 <Sgeo> But then, I _think_ the diagonalization thingy says that there is an uncountably infinite amount of those sets
15:37:50 <Sgeo> Which is head-breaking
15:38:53 <Phantom_Hoover> Infinite sets of rationals?
15:39:30 <oklopol> Sgeo: the amount of infinite subsets of rational numbers is uncountable
15:40:03 <Sgeo> That seems ... unintuitive, I guess
15:40:12 <Sgeo> But intuition counts for nothing, really
15:40:19 <oklopol> well there's an uncountable number of subsets of integers
15:41:01 <cheater99> look at all numbers of the form 0\.[0-1]+
15:41:13 <cheater99> suppose they're countable, so line them up
15:41:15 <oklopol> or just do diagonalization right away, it's easier than for reals
15:41:47 <oklopol> in fact in general, it's easy to show that for any set S, there is no surjection S -> 2^S
15:41:52 <cheater99> now, you can define a new number, which flips 0 to 1 and 1 to 0 on the nth digit of the nth number.
15:42:13 <elliott> <oklopol> in fact in general, it's easy to show that for any set S, there is no surjection S -> 2^S
15:42:16 <elliott> either i'm tired or wrong way around
15:42:38 <cheater99> you're tired
15:42:41 <oklopol> hard to say which one
15:42:52 <oklopol> wait
15:42:59 <oklopol> i misunderstood you
15:43:01 <oklopol> you're tired
15:43:07 <cheater99> surjection means the function values are the whole of the codomain
15:43:20 <elliott> oklopol: oh right my brain ignored "surjection"
15:43:25 <elliott> kinda important part of the sentence
15:43:28 <oklopol> :D
15:43:38 <oklopol> well there's a function the other way around too
15:43:42 <Sgeo> According to my flawed understanding of Wikipedia, the left can be larger than the right in a surjection
15:43:45 <elliott> oklopol: what i saw: "set S is no S -> 2^S"
15:43:53 <elliott> oklopol: now you're fucking with me
15:43:55 <elliott> or i just don't understand you
15:43:58 <elliott> or i'm *really* tired
15:44:15 <cheater99> Sgeo: yes. but can't be of smaller cardinality.
15:44:28 <oklopol> elliott: you can take a function that takes everything to s \in S, for some element s in S
15:44:39 <oklopol> maybe you don't know what a function is?
15:44:51 <Phantom_Hoover> Sgeo, a function f : A → B is surjective iff forall x:B, exists y:A, f y = x.
15:45:04 <Phantom_Hoover> So yes, the left can be larger.
15:45:10 <oklopol> a function from X to Y is a subset Z of XxY such that for each x \in X there is exactly one y \in Y such that (x, y) \in Z
15:45:18 <elliott> oklopol: i know what a function is :p
15:45:25 <oklopol> elliott: okay
15:45:29 <elliott> oklopol: but yes, yes
15:45:31 <elliott> i misread you
15:45:32 <elliott> because tired
15:45:36 <cheater99> surjection is >=, injection is =<.
15:45:45 <Sgeo> How does anyone remember all the jections?
15:45:53 <cheater99> study maths
15:45:59 <Phantom_Hoover> Sgeo, surjection is what I just said.
15:46:00 <oklopol> "sur" is french for "on"
15:46:03 <cheater99> there's only surjection, injection, bijection.
15:46:04 <cheater99> that's all.
15:46:08 <Sgeo> Oh
15:46:11 <oklopol> and in english, onto is a synonym for surjection
15:46:15 <cheater99> you call surjections "functions onto"
15:46:20 <cheater99> yes
15:46:33 <Phantom_Hoover> Injection is basically the same as surjection except the other way around.
15:46:43 <oklopol> injections are also called one-to-one
15:46:46 <cheater99> no, it's not.
15:46:49 <oklopol> Phantom_Hoover: no
15:46:56 <cheater99> you're confused.
15:46:58 <oklopol> injection = at most one preimage
15:46:59 <Phantom_Hoover> oklopol, yes, I just realised that.
15:47:03 <oklopol> surjection = at least one preimage
15:47:05 <Phantom_Hoover> No, I know the actual definition.
15:47:15 <oklopol> (per point)
15:47:16 <Phantom_Hoover> I was oversimplifying to the point of incorrectness.
15:47:21 <oklopol> yeah
15:47:22 <Sgeo> Isn't it bijection that's 1 to 1?
15:47:30 <oklopol> Sgeo: it's a confusing name, yes
15:47:43 <oklopol> bijections are often called "one-to-one correspondence"
15:47:48 <oklopol> :D
15:47:57 <Sgeo> So what was "<oklopol> injections are also called one-to-one" about?
15:47:57 <oklopol> but for some reason one-to-one just means injection
15:48:04 <cheater99> injections are 1-1
15:48:04 <Phantom_Hoover> Injection is forall x y:A, x!=y->f x!=f y, yes?
15:48:11 <oklopol> HackEgo: yes
15:48:12 <cheater99> Phantom_Hoover: yes
15:48:15 <oklopol> *phanqpqokiepok
15:48:39 <Sgeo> If something is both a surjection and an injection, is it a bijection?
15:48:44 <oklopol> that's the def
15:48:57 <oklopol> sur = at least one preimage, inj = at most one, bij = one
15:48:58 <Phantom_Hoover> Sgeo, yep.
15:49:50 <cheater99> now once you get to the definition of the continuous function
15:49:53 <cheater99> that gets confusing
15:49:56 <elliott> they should be called heterojections, homojections and bijections really
15:49:58 <elliott> that'd be easier to remember
15:50:11 <cheater99> basically during undergrad you learn 2 new definitions of continuous functions per year
15:50:15 <cheater99> or one per term or so
15:50:21 <oklopol> continuous functions have 1 definition
15:50:49 <Phantom_Hoover> The topological one?
15:50:51 <cheater99> tell that to kuratowski
15:51:03 <oklopol> what are there besides the topological one?
15:51:12 <cheater99> um helloo
15:51:15 <oklopol> maybe i'm just not aware of others
15:51:17 <cheater99> cauchy?
15:51:28 <oklopol> oh there are multiple characterizations, yes
15:51:31 <Phantom_Hoover> I don't know; I know the one for functions and derivatives and stuff is the same.
15:52:04 <oklopol> i don't know what cauchy is tho, do you mean limit's image is images' limit
15:52:08 <cheater99> epsilon-delta, sequence-based, topology, algebraic (element of ...), category theory
15:52:23 <cheater99> cauchy is epsilon delta
15:52:39 <oklopol> yeah i don't know what the category theory definition is
15:52:48 <oklopol> epsilon delta is topological continuity
15:52:50 <cheater99> me either
15:52:52 <cheater99> there are more too
15:52:54 <oklopol> well
15:53:16 <cheater99> it's just the first few i came up with
15:53:28 <oklopol> okay, it's the characterization that uses the base of the topology instead of arbitrary open sets
15:53:40 <Sgeo> Does OpenCourseWare have good math stuff?
15:53:49 <oklopol> what is the algebraic definition? what's the category theoretical one?
15:54:21 <cheater99> the algebraic definition says that a function is continuous if it's an element of ContinuousFunctions
15:54:30 <cheater99> the CT one, i don't care.
15:55:02 <oklopol> haha
15:55:11 <oklopol> well right, that's a different definition :D
15:55:29 <oklopol> "a function is continuous if we call it continuous"
15:55:39 <Sgeo> It occurs to me that math _wouldn't_ be a good universal language for talking to aliens
15:55:49 <Sgeo> They'd almost certainly use different axioms than we do
15:55:53 <cheater99> http://pl.wikipedia.org/wiki/Funkcja_ci%C4%85g%C5%82a#Przestrze.C5.84_funkcji_ci.C4.85g.C5.82ych
15:55:55 <Gregor> lawl, Firefox mobile beta requires 32MB internal storage :P
15:56:19 <cheater99> you can for example define L_n(X, Y) and just go from there to define C(X, Y)
15:56:25 <oklopol> wait, actually the sequence definition is only equivalent in metric spaces
15:56:30 -!- zzo38 has joined.
15:56:38 <cheater99> also there's another definition which talks about that sup f(x) = f(sup x) or something like that
15:56:50 <cheater99> sup f(X) = f(sup X)
15:57:03 <oklopol> those are characterizations, they aren't "different definitions"
15:57:06 <cheater99> for this you just need an order and that's it
15:57:18 <cheater99> they are different definitions which can be shown to be equivalent
15:57:21 <oklopol> yeah f(closure of G) \subset closure of f(G)
15:57:41 <cheater99> historically they were not known to be equivalent
16:00:42 <oklopol> perhaps
16:02:24 <oklopol> so, let S be a set, and consider a surjection f: S -> 2^S, take the set T = {s \in S | s \not\in f(s) }, and let f(t) = T for some t, then t \in T => t \not\in f(t) = T; and t \not\in T => t \in T, so in fact there can't be such an f
16:02:36 <oklopol> a bit confusing linearized like that
16:04:22 <oklopol> cheater99: it's just i prefer to say "different characterizations" once we know they're the same thing, because when new mathematics happens, there will be multiple actually different definitions for the same intuitive concept, until a consistent naming scheme appears (if it ever does)
16:04:50 <oklopol> but, maybe it should've been clear what you meant
16:05:19 <oklopol> it's just it could be that that topological definition was different from the one for metric spaces, or the epsilon delta one, but because it's not, you really don't have to remember but one definition.
16:06:04 <oklopol> i mean, in theory :P
16:06:55 <Phantom_Hoover> elliott, toroidal lightspeed bubbles.
16:06:59 <Phantom_Hoover> ADMIT THE AWESOME
16:07:14 <oklopol> so what about f : 2^S -> S be an injection
16:07:43 <oklopol> i can't say i see it.
16:07:56 <elliott> Phantom_Hoover: k
16:08:58 -!- Zuu has joined.
16:09:52 <oklopol> erm
16:09:57 <oklopol> i'm fucking retarded xD
16:09:59 <oklopol> i'm fucking retarded xD
16:09:59 <oklopol> i'm fucking retarded xD
16:09:59 <oklopol> i'm fucking retarded xD
16:10:00 <oklopol> i'm fucking retarded xD
16:10:00 <oklopol> i'm fucking retarded xD
16:10:17 <oklopol> kebab time ->
16:10:47 <oklopol> actually Phantom_Hoover's "injection is a reversed surjection" is the answer
16:11:41 <Phantom_Hoover> elliott, FWIW, the spherical geometry did exactly what oerjan predicted.
16:12:07 <elliott> Phantom_Hoover: did they listen?
16:12:15 <Phantom_Hoover> elliott, no, they did not.
16:12:16 <Sgeo> What did oerjan predict? And is this spherical geometry of a CA?
16:12:21 <Sgeo> And who is "they"?
16:12:22 <oklopol> anyway how can anyone think continuity is confusing, when there's the roughly as important concept of compactness lying around
16:12:25 <elliott> Phantom_Hoover: what did they say
16:12:31 <Phantom_Hoover> Sgeo, that you can't make a planar CA spherical.
16:12:36 <Phantom_Hoover> elliott, they didn't respond.
16:12:46 <elliott> DKS REPLIED!
16:12:53 <elliott> "A complete 3620 system weighs about 200 lbs when packed for shipping."
16:12:54 <elliott> ha ha ha
16:12:56 <oklopol> can't make a planar CA spherical?
16:13:09 <oklopol> in what sense?
16:13:25 <elliott> Psht, he's trying to sell me the more expensive and Symbolics-keyboard-lacking MacIvory.
16:14:25 <oklopol> well, i don't really care a shit anyway
16:14:31 <Phantom_Hoover> oklopol, in the sense that you need to have a point at which the symmetry breaks down.
16:14:31 <oklopol> ->
16:14:37 <Phantom_Hoover> :(
16:14:40 <oklopol> erm
16:15:00 <oklopol> i'm not smart enough for an explanation that vague
16:15:12 <oklopol> when are two CA's equivalent?
16:15:16 <oklopol> conjucagy?
16:17:17 <oklopol> conjugacy is when you take a homeomorphism between the spaces that commutes with the CA functions on both sides
16:17:29 -!- elliott_ has joined.
16:17:33 <oklopol> highly intuitive definition of sameness don't you think
16:17:36 -!- elliott_ has quit (Client Quit).
16:17:43 <elliott> Now why am I so terrible at talking to salesmen?
16:17:58 <oklopol> do you always end up buying them
16:18:15 <oklopol> erm right the leaving ->
16:21:50 -!- elliott has quit (Ping timeout: 240 seconds).
16:21:52 <Phantom_Hoover> oklopol, when you get back: if you have Life on a sphere, gliders crash at some points; the whole space isn't isotropic.
16:22:37 <zzo38> I do not know what homeomorphism is, though
16:23:58 <Gregor> It's a morphism that likes other morphisms.
16:24:24 <cheater99> oklopol: no, they're different definitions, because their application doesn't overlap
16:24:34 <cheater99> the topological definition doesn't work on ALL ordered sets
16:24:45 <cheater99> and the ordered sets definition doesn't work in ALL topological spaces
16:24:55 <cheater99> there are sets on which those definitions are equivalent
16:25:12 <cheater99> but that intersection is of measure zero
16:37:14 <oklopol> cheater99: oh cool, what's the ordered set definition
16:37:32 <cheater99> i told you already
16:37:33 <cheater99> sup
16:37:35 <oklopol> of course they are different definitions by any definition of definition if they're not equivalent
16:37:52 <oklopol> erm that always works with the order topology, doesn't it?
16:37:59 <oklopol> if it doesn't, okay, you win
16:38:03 <oklopol> 100-0
16:38:32 <oklopol> erm
16:38:54 <oklopol> just sup, not inf? then i'd guess it's continuity w.r.t. half interval topology
16:39:00 * cheater99 looks away from oklopol and toots
16:39:07 <oklopol> :\
16:39:46 <cheater99> look oklopol
16:40:00 <cheater99> everyone's got their talents
16:40:02 <oklopol> if there seriously is a concept of continuity that isn't subsumed by the topological one (and isn't a ridiculous definition like your algebraic one), then my life will change completely.
16:40:03 <cheater99> >_>
16:40:20 <oklopol> for the worse
16:40:36 <cheater99> you just have to find something you're good at, y'know?
16:40:37 <cheater99> >_>
16:41:56 <oklopol> so what's the sup f(X) = f(sup X) def exactly, do we assume sups always exist, do we assume a chain?
16:42:26 <cheater99> you know what i did
16:42:28 <cheater99> i went to wikipedia
16:42:31 <cheater99> it had all the answers
16:42:37 <cheater99> it's full of stars.
16:42:55 <oklopol> good to know, then maybe you'll be able to answer
16:43:13 <cheater99> we assume sup's always exist.
16:43:28 <cheater99> by saying that we have a total order.
16:43:39 <oklopol> that doesn't guarantee it
16:43:42 <oklopol> lol
16:45:36 <cheater99> sez who
16:45:55 <oklopol> are you serious
16:46:03 <oklopol> have you heard of Q
16:47:44 <cheater99> um
16:47:49 <cheater99> X has to be a directed set
16:47:56 <zzo38> Is there a style of static analysis for C programs which is suitable for literate programming?
16:48:02 <cheater99> obviously
16:48:07 <oklopol> doesn't directed just mean the sup of two elements exists?
16:48:43 <oklopol> Q has that property,
16:48:58 <oklopol> *-,
16:49:50 <oklopol> well seems it just requires *an* upper bound, in any case this is trivially true if you have total order
16:52:28 <cheater99> o rite
16:52:35 <cheater99> i mistransratet
16:52:43 <cheater99> we want a complete partial order
16:52:48 <cheater99> there u go
16:52:58 <oklopol> yeah that works
16:53:07 <oklopol> oh you had the wrong definition for total order
16:53:09 <cheater99> a supremum is not "an" upper bound
16:53:14 <cheater99> it's the minimal upper bound
16:53:22 <cheater99> no, i just used the wrong words
16:53:23 <oklopol> yeah but apparently directed sets don't need there to be a minimal one
16:53:29 <oklopol> yeah, that's what i meant
16:53:40 <cheater99> it's not like i care about this conversation >_>
16:53:45 <oklopol> you had the wrong definition = you associated the word total order to something other than what it usually means
16:53:53 <cheater99> j/k
16:53:55 <oklopol> yeah fuck you too
16:53:55 <cheater99> i care.
16:53:59 <cheater99> OMG
16:54:06 <cheater99> I HATE U!!
16:54:21 * cheater99 runs out of the room crying and slamming the door!
16:54:55 <cheater99> i was j/k but u were like, totally unfriendly, man.
16:55:46 * Sgeo sneezes on chat
16:57:17 <Gregor> cheater99: You misinterpreted him.
16:57:22 <Gregor> cheater99: He was propositioning you.
16:57:25 <Gregor> cheater99: Not trying to insult you.
16:57:44 <cheater99> hmmm... that puts a different twist on the whole conversation.
16:58:45 <oklopol> i was insulting cheater99?
16:58:53 <oklopol> sorry, that was not the intention :D
16:59:08 <oklopol> what did he do to get me to insult him?
16:59:36 <oklopol> hmm maybe the wrong definition thing
17:04:28 <zzo38> what I mean is if it can create the reports in a Enhanced CWEB include file (written with TeX codes) and then can be included into your program as an additional chapter (using the @i command).
17:09:58 <oklopol> "<cheater99> i was j/k but u were like, totally unfriendly, man." i don't think i was
17:11:12 <cheater99> u wuz.
17:11:49 <oklopol> well, sorry again then; does it say on wp that the order thing is a different definition?
17:11:58 <oklopol> that sounds like a very hard thing to prove
17:12:15 <oklopol> that there is no topology in which the continuous functions are the order-continuous functions
17:12:48 <oklopol> i couldn't find it
17:13:49 <oklopol> (not that i looked very hard)
17:17:08 <Sgeo> http://www.newscientist.com/blogs/culturelab/2010/11/its-life---only-much-much-bigger.html
17:17:09 <Sgeo> WTF
17:17:13 <Sgeo> Watch it
17:17:37 <Sgeo> From 0:57-1:10
17:17:50 <Sgeo> Am I the only one who sees something blatently impossible happening?
17:18:52 <Phantom_Hoover> Why?
17:19:07 <Sgeo> A block disintegrates for no reason
17:19:57 <Phantom_Hoover> Hmm, yeah.
17:20:02 <Phantom_Hoover> Glitch?
17:21:15 <oklopol> they even say on the vid that occasionally the sensor reads a ghost's presence
17:22:06 <Sgeo> Hmm, good point
17:22:09 <Sgeo> Nevermind then
17:22:21 <Sgeo> well, they said "random mutation"
17:22:31 <Sgeo> DIE SGEO_ DIE
17:22:33 -!- Sgeo_ has joined.
17:23:08 -!- Sgeo_ has quit (Client Quit).
17:23:47 <Sgeo> Oh come on, Freenode doesn't show quit messages?
17:24:22 <oklopol> maybe you need to be identified
17:24:37 <Sgeo> -NickServ- Sgeo_!~Sgeo@ool-18bf618a.dyn.optonline.net has just authenticated as you (SgeoBot)
17:24:42 <oklopol> hmm.
17:28:00 -!- Wamanuz2 has quit (Ping timeout: 245 seconds).
17:30:06 -!- Wamanuz2 has joined.
17:36:12 -!- Wamanuz2 has quit (Ping timeout: 276 seconds).
17:40:15 -!- elliott has joined.
17:40:28 <elliott> Vorpal: now watch as I perform the impossible!
17:40:33 <elliott> X versions be damned.
17:40:56 -!- elliott has left (?).
17:41:11 -!- elliott has joined.
17:41:25 <elliott> also, I am doing it from Ubuntu Netbook Edition (installed with alternative CD), because I defy logic
17:43:16 -!- Wamanuz has joined.
17:49:51 <Phantom_Hoover> elliott, when does Fine Structure get a coherent interchapter narrative?
17:50:00 <elliott> Phantom_Hoover: Soon enough. Bear with it; it's well worth it.
17:50:02 <Phantom_Hoover> I'm at "The Astronomer's Loss".
17:50:24 <elliott> Phantom_Hoover: Believe me that the reason it is not connected at first is not due to his incompetence.
17:50:44 <Phantom_Hoover> I wasn't saying it was; just that it's a bit hard on the brain.
17:50:59 <elliott> Phantom_Hoover: Yeah, it muddled me a bit too. But then it all starts making sense. :P
17:51:36 <Phantom_Hoover> It's like the opening of Banks' novels times 10.
17:51:58 -!- Naamah1 has joined.
17:53:52 <Phantom_Hoover> Naamah1, welcome to the legion on a dam!
17:54:11 <Naamah1> Hey, thanks for the welcome!
17:54:58 <Naamah1> It could be a silly question, but how can I change my username? : )
17:55:07 <elliott> Vorpal: Pingpingping, what is an acceptable date and time format?
17:55:11 <elliott> Naamah1: /nick foo
17:55:29 <Phantom_Hoover> elliott, for what?
17:55:35 -!- Naamah1 has changed nick to Adramelech.
17:55:37 <elliott> Phantom_Hoover: Genera.
17:55:51 <elliott> Phantom_Hoover: That is, the Symbolics Lisp Operating System.
17:56:02 <elliott> Phantom_Hoover: It is currently asking me for a date and time.
17:56:17 -!- Adramelech has changed nick to Baal_Zebel.
17:56:24 <Phantom_Hoover> The best date and time format is objectively YYYY:MM:DD HH:MM:SS
17:56:34 <Phantom_Hoover> Wait!
17:56:44 <Phantom_Hoover> YY:YY:MM:DD:HH:MM:SS!
17:56:58 <elliott> Going to reboot into non-netbook, this is too irritating.
17:57:05 -!- elliott has quit (Remote host closed the connection).
17:57:44 -!- elliott has joined.
17:58:00 * Phantom_Hoover wants to write something TeXy called LoX.
17:58:41 <Sgeo> elliott, what's irritating about it?
17:58:46 <Sgeo> I was considering installing it today
17:59:19 <elliott> Sgeo: The dock at the side likes to move the icons around when you click an icon in any way that's even slightly like a drag. For some reason the icons tilt when the dock fills up in a way that I cannot figure out what it is.
17:59:34 <elliott> Sgeo: Additionally, the bar on the left is so large that screen real estate feels *significantly* reduced.
17:59:47 <elliott> Sgeo: Also, it is difficult to, say, bring a file system browser on /. There is no facility to do this.
17:59:53 <elliott> You have to open a USB stick, say, and go from there.
18:00:01 <Sgeo> WAIT WHAT?
18:00:02 <Phantom_Hoover> elliott, alt-f2?
18:00:05 <Sgeo> That makes... no sense
18:00:07 <elliott> Phantom_Hoover: Well, maybe.
18:00:11 <elliott> Sgeo: The built-in browser looks at ~ only.
18:00:14 <elliott> (~ = home)
18:00:30 <Phantom_Hoover> C-l?
18:00:31 <Sgeo> Ctrl-L doesn't bring up anything useful in the browser?
18:00:39 <elliott> Sgeo: I doubt it. I didn't try.
18:00:44 <elliott> It's very minimal.
18:01:45 <Sgeo> "If you find you need more direct access to your file system, click the folder icon to open that folder in Nautilus."
18:01:47 * Sgeo ponders
18:01:53 * Sgeo still wants to try it
18:01:58 <elliott> Sgeo: That worked in *old* Netbook Edition.
18:02:01 <elliott> Which is fine.
18:02:05 <elliott> It manifestly doesn't in 10.10.
18:02:38 <Sgeo> Unetbootin should be fine, right?
18:02:44 * Sgeo doesn't exactly have a CD burner
18:04:04 <elliott> Okay, seems
18:04:08 <elliott> *that
18:04:21 <elliott> 18:03 Nov 12, 2010
18:04:25 <elliott> Should do the job.
18:04:27 <oklopol> cheater99: i couldn't prove it so checked on wp, the sup definition is subsumed by the topological one according to the article
18:05:00 <oklopol> so guess i can continue living my life for now
18:07:57 <elliott> Vorpal: Eurgh.
18:08:00 <elliott> Vorpal: Have you ever had this time issue>
18:08:04 <elliott> *issue?
18:08:08 <elliott> OH WAIT I need to enable it in inetd don't I
18:09:31 <oklopol> also maybe the reason i couldn't prove it was it's not the [a, b) topology :D
18:09:33 <Sgeo> 21min to download the .iso?
18:09:38 -!- Gregor has set topic: Topic revoked by the Spirit of OER-JAN. | http://tunes.org/~nef/logs/esoteric/?C=M;O=D.
18:09:55 <Sgeo> That's incredibly fast
18:10:05 <elliott> Sgeo: you have a strange definition of fast ...
18:10:11 * Sgeo has a sad Internet connection
18:10:38 * Sgeo vaguely wonders if it's the ISP or the router or the fact that I'm using the wifi
18:10:45 <Sgeo> Instead of wired
18:13:17 * Sgeo o.Os at xPUD
18:13:45 * Sgeo is tempted to try it
18:14:20 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
18:14:47 <Sgeo> It occurs to me that I, for one, don't just restrict myself to web browsing
18:15:48 <Sgeo> Dear Chrome: I DID NOT MEAN TO CLICK CANCEL
18:16:08 -!- Sgeo has quit (Read error: Connection reset by peer).
18:16:57 <Vorpal> <elliott> Vorpal: Have you ever had this time issue> <--- ?
18:17:02 -!- Phantom_Hoover has joined.
18:17:26 <Vorpal> <elliott> OH WAIT I need to enable it in inetd don't I <-- well that is why it was mentioned in the guide iirc?
18:18:21 <elliott> Vorpal: actually no
18:18:25 <elliott> Vorpal: you install xinetd and never mention it again
18:18:37 <Vorpal> elliott, hum, You need to enable daytime and such
18:18:40 <elliott> i did
18:18:44 <elliott> daytime, time, echo (why not)
18:19:05 <elliott> Vorpal: ok, I don't get an XIO error; now I get the big ol' Genera window coming up, but solid white; it POSTs ok, says the log. It traps my keyboard and mouse and all I can do is kill -9 it (kill doesn't work) from a console.
18:19:26 -!- SgeoN1 has joined.
18:19:45 <SgeoN1> Unebootin bootloader is being very broken
18:19:57 <Vorpal> elliott, huh
18:20:02 <Vorpal> never ran into that
18:20:05 <SgeoN1> It counts down the automatic boot... then goes back up to 10
18:20:10 <elliott> Vorpal: still, no trace of XIO or anything
18:20:26 <Vorpal> elliott, well, XIO was in the terminal you ran it from iirc
18:20:30 <elliott> Vorpal: yep
18:20:33 <elliott> Vorpal: I checked
18:20:33 <Vorpal> elliott, wait, are you using new X?
18:20:41 <elliott> Vorpal: yes, that's sort of the point
18:20:52 <Vorpal> then: no clue, you are on your own. Tell me if you manage though
18:20:54 <elliott> Vorpal: The XIO error *definitely* no longer happens. Instead, we get an exciting new problem.
18:21:09 <elliott> Vorpal: HOW-EVER. It *did* manage to bug me for a date and time when I didn't have xinetd.
18:21:17 <elliott> This then dropped me into a debugger and I could evaluate Lisp expressions.
18:21:21 <elliott> This was with the fonts and everything.
18:21:24 <elliott> So it *is* basically working.
18:21:26 <Vorpal> heh
18:21:40 <Vorpal> elliott, well tell me when you get it actually working
18:21:50 <elliott> Vorpal: i expect pay-quality support
18:22:07 <Vorpal> elliott, XD
18:22:21 <elliott> Vorpal: (in return you can have remote access to my 3620 when i get it)
18:22:30 <elliott> Vorpal: (even if DKS is trying to make me buy a macivory instead)
18:22:47 <elliott> Vorpal: fucking thing doesn't even come with a symbolics keyboard
18:22:47 <Vorpal> in other news I implemented a way to prevent my mine carts from running away when I'm exiting them at the stations.
18:23:16 <Vorpal> elliott, well, I have no idea what the issue is...
18:25:17 <SgeoN1> Dear computer: Acknowledge my USB Drive!
18:25:47 <elliott> Vorpal: Well then. Time to transplant Gutsy packages onto Maverick!
18:26:14 <SgeoN1> I think this USB drive is broken. Drive feels like the wrong word
18:27:41 <Phantom_Hoover> elliott, what's so great about the Symbolics keyboards?
18:28:08 <elliott> Phantom_Hoover: http://www.asl.dsl.pipex.com/symbolics/photos/IO/index.html
18:28:17 <elliott> Phantom_Hoover: Hyper Super Meta Shift Control.
18:28:26 <Phantom_Hoover> It had loads of modifiers?
18:28:39 <elliott> Phantom_Hoover: It was and is THE keyboard.
18:29:20 <Phantom_Hoover> elliott, OK, more specifically, what about it is superior to the common or garden European keyboard?
18:29:38 <elliott> Phantom_Hoover: Would you plug a USB keyboard into a Commodore 64? A ZX Spectrum?
18:29:59 <elliott> Phantom_Hoover: Would you, say, plug, into an Amiga from the glory days, into a 30" LCD?
18:29:59 <Phantom_Hoover> So it's nostalgia value or what?
18:30:07 <elliott> Phantom_Hoover: It's *awesome*.
18:30:29 <Phantom_Hoover> elliott, you're being like Sgeo, but with keyboards rather than virtual worlds.
18:30:51 <elliott> Phantom_Hoover: No, you just don't realise how awesome Lisp Machines were.
18:31:12 <elliott> Phantom_Hoover: Even Stanislav, who was trying to get the console hooked up to an LCD and USB mouse (non-trivial), was adamant about keeping the keyboard.
18:31:21 <elliott> The thing was a legend.
18:31:55 <oklopol> that's a stupid keyboard
18:31:55 <Phantom_Hoover> elliott, I have actually heard *reasons* for the Lisp machines being awesome.
18:32:13 <oklopol> yeah unlike you elliott, you stupid noob
18:32:14 <Gregor> For instance, they taste like butterflies.
18:32:37 <Phantom_Hoover> Gregor, well, it's nice, but it's hardly a vital feature.
18:33:28 <SgeoN1> Unetbootin is simply not installing xPUD for some reason
18:36:05 <Phantom_Hoover> It hates you.
18:36:34 <SgeoN1> I think it loves me. It's trying to protect me from xPUD
18:37:40 -!- zzo38 has quit (Remote host closed the connection).
18:37:57 <elliott> Vorpal: [[Your password file needs to use "unix crypt" style passwords instead of the now-common md5 passwords. On Ubuntu with the default installation I use, this is configured in the file /etc/pam.d/common-password by commenting out the string "md5":
18:38:01 <elliott> $ grep md5 /etc/pam.d/common-password password required pam_unix.so nullok obscure min=4 max=8 # md5]]
18:38:03 <elliott> Vorpal: That wasn't in your guide :p
18:38:37 <elliott> 1. The world images that are included in the snap3 and 4 releases won't boot if the system date is after ~2000! y2k thing??
18:39:14 <elliott> # the default is Unix crypt. Prior releases used the option "md5".
18:39:16 <elliott> ah
18:39:23 <SgeoN1> There is something utterly demented about its defaults for the trackpad
18:39:43 -!- poiuy_qwert has quit (Ping timeout: 245 seconds).
18:40:13 <SgeoN1> Why is Facebook app fullscreen on me? How do I get back to the menu?
18:40:33 <elliott> #xpud
18:40:36 <SgeoN1> I am trapped in Facebook
18:41:31 <elliott> Vorpal: http://www.cliki.net/Linux%20VLM%20workarounds genera without root
18:42:05 <SgeoN1> I officially loathe xPUD
18:42:48 <elliott> Now that we know TUN is avaible, grant full local access to the TUN device:
18:42:52 <elliott> $ sudo iptables -A INPUT -i tun+ -j ACCEPT
18:43:32 -!- poiuy_qwert has joined.
18:46:14 <elliott> tx ip: 10.0.0.2 10.0.0.1
18:46:16 <elliott> rx ip: 10.0.0.1 10.0.0.2
18:46:18 <elliott> over and over
18:46:20 <elliott> hmm
18:47:51 <Phantom_Hoover> SgeoN1 is stuck in Facebook.
18:48:00 <Phantom_Hoover> What.
18:48:44 <SgeoN1> xPUD had a list of web apps. I clicked Facebook. It went fullscreen, with no way to get out. I bothered to log in, and it didn't work
18:49:13 * SgeoN1 suddenly wonders if xPUD is an elaborate phishing scheme
18:50:12 <Phantom_Hoover> I wouldn't be surprised.
18:50:15 <Phantom_Hoover> What the hell is it?
18:50:39 <elliott> Phantom_Hoover: a stupid linux-based os built around firefox.
18:50:49 <Phantom_Hoover> Why... why would anyone do that?
18:50:54 <Phantom_Hoover> And why would SgeoN1 install it?
18:50:55 <elliott> bcuz cloud 2.0 web
18:50:58 <elliott> bcuz sgeo
18:51:35 <Phantom_Hoover> Well, I'd guessed that was why Sgeo did it.
18:51:53 <elliott> "why sgeo x?" "bcuz sgeo"
18:52:56 <elliott> Phantom_Hoover: I am so close to this: http://collison.ie/img/genera.png
18:53:01 <elliott> Phantom_Hoover: well, the genera bit.
18:54:02 <Phantom_Hoover> It still boggles me that after well over a decade of effort, noöne has resurrected the Lisp Machines.
18:54:33 <elliott> Phantom_Hoover: because nobody wants lisp machines apart from the people who had lisp machines, and Symbolics, in their arrogance, destroyed the market and then, well, what can you do?
18:54:37 <elliott> and then everyone who used them moved on.
18:54:52 <Phantom_Hoover> I want Lisp machines!
18:54:58 <elliott> Phantom_Hoover: to Unix. And hated it. In fact the UNIX-HATERS list was founded a few days after a Lisp Machine user was forced to switch to a Sun box.
18:55:14 <elliott> Phantom_Hoover: You know what Unixes like SunOS were like in the 80s?
18:55:18 <elliott> Shit, that's what.
18:55:21 <elliott> Genera to that. AWESOME
18:55:28 <Phantom_Hoover> I can imagine.
18:56:32 <Phantom_Hoover> http://conservapedia.com/ConservaMath_Medal
18:56:41 <SgeoN1> Anything like switching from a MOO to a MUSH?
18:56:53 <elliott> Phantom_Hoover: Just seeing that title: read more Hughes to cleanse your brain. Ommmm.
18:57:08 <Phantom_Hoover> 'cos the Fields Medal is Liberal lies!
18:57:21 <elliott> Ben Green apparently earned this award four years ago when it was given for an achievement he helped obtain, but giving the Fields Medal to him now might dim the star of Obama-supporter Terence Tao, making Tao less effective politically.
18:57:23 <elliott> :D
18:57:25 <Phantom_Hoover> elliott, I'm up to the Man Who Can Pass Through Things.
18:57:45 <elliott> Phantom_Hoover: Wow, what a chapter naming opportunity Sam missed there.
18:57:50 <elliott> THE MAN WHO CAN PASS THROUGH THINGS
18:58:04 <elliott> Phantom_Hoover: "Indistinguishable from magic", right?
18:58:28 <SgeoN1> Yes
18:59:33 <Phantom_Hoover> Seth Gold was an ordinary basement dweller, until he was torn about by ActiveWorlds' destruction, when he became.... THE MAN WHO CAN PASS THROUGH THINGS
18:59:44 <elliott> HE CAN PASS THROUGH
18:59:47 <elliott> PURE
18:59:49 <elliott> NOSTALGIA
18:59:55 <Phantom_Hoover> THRILL as he falls through his chair!
19:00:05 <Phantom_Hoover> CRY as he is unable to type!
19:00:29 <Phantom_Hoover> CHEER as he passes through the basement ceiling!
19:02:01 <elliott> I need to ditch this laptop for a real computer.
19:04:33 <elliott> Phantom_Hoover: Tell me. Why are AMD processors terrible?
19:07:10 <SgeoN1> My dad was uneasy about buying this laptop because of AMD
19:07:45 <elliott> SgeoN1: I will never say a bad word about you ever again if you stop listening to every damn thing your dad says even when he clearly has absolutely no idea what he's talking about. Or hell, I'll compromise, just don't mention it.
19:09:44 <elliott> Phantom_Hoover: NOW WATCH ME FLAIL AS I TRY AND FIND AN AMD PROCESSOR THAT (1) HAS DECENT PERFORMANCE AND (2) HAS LOW ENOUGH THERMAL SPECS THAT I CAN GET IT IN A FANLESS SYSTEM
19:10:36 <oklopol> my dad says you shouldn't move the mouse when the computer is starting because... well i don't really know why but you shouldn't.
19:10:44 <oklopol> he was a programmer for like 15 years
19:10:47 <elliott> oklopol: wise words, wise words
19:10:57 <elliott> oklopol: it could disturb the magnetics
19:11:00 <oklopol> :D
19:11:22 <oklopol> or when pretty much anything is happening, like you're installing something, you can't touch the computer
19:11:27 <oklopol> the installation might fuck up
19:11:47 <elliott> oklopol: well if it's processing your mouse movements and rendering to the screen it can't write to the disk at the same time
19:11:56 <elliott> so it might miss out bits, with obvious consequences
19:12:01 <oklopol> :D
19:12:04 <oklopol> yeah
19:12:33 <Phantom_Hoover> elliott, I don't know why AMD processors suck.
19:12:58 <Phantom_Hoover> Perhaps it's because they didn't sell their souls to the devil so he would suck the heat out of the processors.
19:13:17 <elliott> Phantom_Hoover: They're a lot hotter and a lot more power consuming than *faster* Intel processors.
19:14:29 <Phantom_Hoover> Yes, that does suggest that Satan is being used as Intel's cooling system.
19:15:34 <elliott> Indeed.
19:16:31 <Vorpal> <oklopol> or when pretty much anything is happening, like you're installing something, you can't touch the computer <-- that makes no sense
19:16:53 <oklopol> why?
19:17:11 <Vorpal> oklopol, moving the mouse around should be harmless
19:17:24 <oklopol> really?? i'll tell him as soon as i can
19:17:33 <Vorpal> at least on sane systems
19:17:51 <Vorpal> of course, on classic mac os, if you downloaded something then moving your mouse would slow down the download
19:18:04 <Vorpal> that was on a performa
19:18:08 <Vorpal> with 28 kbit modem
19:18:40 <Vorpal> but that hardly applies to a modern computer
19:18:49 <Phantom_Hoover> elliott, Fine Structure blind guess: are Anne Poole and the Man Who Can Pass Through Things both due to superposition of stuff?
19:20:28 -!- kar8nga has joined.
19:21:15 <oklopol> it surprises me greatly that conservapedia has an article on infinity, i was pretty sure they were all finitists
19:21:20 <Phantom_Hoover> The fact that the Man Who Can Pass Through Things can See Through Things as well.
19:21:33 <Phantom_Hoover> *strongly suggests hyperspacy stuff.
19:21:44 <oklopol> 1/0 NO! This isn't allowed! Infinity is not a number, and division by zero is illegal!
19:22:06 <Phantom_Hoover> Well, it is in non-standard analysis.
19:22:35 <oklopol> it's a number if you call it a number, by the mathemtical definition of being something
19:22:56 <elliott> Phantom_Hoover: elliott, Fine Structure blind guess: are Anne Poole and the Man Who Can Pass Through Things both due to superposition of stuff?
19:23:00 <elliott> Not that I know of.
19:23:04 <elliott> Phantom_Hoover: But you should pay more attention to names.
19:23:33 <elliott> Phantom_Hoover: Hint: Crushed Underground.
19:23:33 <oklopol> infinity is a number on the extended real line, i'm not sure nonstandard analysis really has a number called infinity, although the hyperreals have many numbers that are bigger than any real
19:23:43 <elliott> Phantom_Hoover: Just click it, and look for a name.
19:23:44 <Phantom_Hoover> "The Man Who Can Pass Through Things" is far too cool a name to bother correcting.
19:24:06 <Gregor> The Man Who Can Pass Gas Through Things
19:24:15 <elliott> oklopol: it surprises me greatly that conservapedia has an article on infinity, i was pretty sure they were all finitists
19:24:19 <elliott> god is infinity duh
19:24:26 <Phantom_Hoover> Ah.
19:24:51 <oklopol> "In measure theory, one sometimes defines the "extended reals", allowing plus and minus infinity to be considered to be numbers, but this is a special construction, which makes certain arithmetical operations impossible. It can't be done in general"
19:24:55 <oklopol> "it can't be done in general"
19:24:57 <oklopol> :D
19:25:20 <Vorpal> <elliott> Phantom_Hoover: elliott, Fine Structure blind guess: are Anne Poole and the Man Who Can Pass Through Things both due to superposition of stuff? <-- the latter seems a rather awkward name if you have to use it more than once or twice on a single page :P
19:25:24 <oklopol> this may be funnier than finitism
19:25:33 <Vorpal> (book page size block if not in such a format)
19:25:34 <Gregor> http://www.conservapedia.com/Special:Random <-- how to kill yourself
19:25:55 <Phantom_Hoover> SgeoN1 being the Man Who Can See Through Things as well would be too icky to consider.
19:25:57 <elliott> oklopol: finitism is boring cuz they usually accept the naturals imo
19:26:13 <elliott> oklopol: ultrafinitism is great because you can basically deduce that there's only one of anything, if you apply ultrafinitism to ultrafinitism
19:26:37 <Gregor> "The Conservative Bible Project is a project utilizing the "best of the public" to render God's word into modern English without liberal translation distortions." HOW WAS I UNAWARE OF THIS X-D
19:26:48 <elliott> Gregor: Old :P
19:26:54 <Vorpal> Gregor, very old
19:26:56 <elliott> Gregor: They get rid of comrade because it's communist
19:26:57 <Gregor> I didn't claim it wasn't.
19:26:57 <Phantom_Hoover> It was on Colbert, too.
19:27:04 <oklopol> erm wtf
19:27:10 <oklopol> they believe in diagonalization too
19:27:20 <elliott> oklopol: but not relativity
19:27:24 <oklopol> really? :D
19:27:28 <elliott> oklopol: yes, they link it to moral relativity
19:27:37 <elliott> oklopol: seriously
19:27:40 <elliott> oklopol: http://www.conservapedia.com/Counterexamples_to_Relativity
19:27:43 <Phantom_Hoover> elliott, they said that Jesus telling his disciples to cast their nets to the right of the boat is an endorsement of conservatism.
19:27:56 <elliott> oklopol: [[# In Genesis 1:6-8, we are told that one of God's first creations was a firmament in the heavens. This likely refers to the creation of the luminiferous aether.]]
19:28:02 <Phantom_Hoover> oklopol, those counterexamples include Jesus doing action at a distance.
19:28:05 <elliott> oklopol: that's gotta be a troll :)
19:28:10 <oklopol> :D
19:28:11 <oklopol> xD
19:28:17 <elliott> oklopol: "Liberal pseudoscience: Black holes • Dark matter • Moral relativism • Wormholes"
19:28:44 <Phantom_Hoover> Since the writers of the New Testament were clearly carefully checking to see if Jesus' miracles obeyed causality.
19:29:01 <elliott> Phantom_Hoover: of course, god is very careful
19:29:03 <pikhq> Luminiferous æther. Seriously. That's astoundingly retarded.
19:29:12 <elliott> pikhq: It's 101% certain a troll, that one.
19:29:20 * Phantom_Hoover checks.
19:29:45 <elliott> pikhq: Why isn't there a six-core processor with a TDP of around 100W, I ask you.
19:29:46 <SgeoN1> Dear CMOS: Please try to retain settings that I set.
19:29:46 <Vorpal> <elliott> oklopol: ultrafinitism is great because you can basically deduce that there's only one of anything, if you apply ultrafinitism to ultrafinitism <-- hm.... so lets see... that means there are only one "thing". That must be the universe. Which must be an atomic entity (in the sense "can't be divided"). Since if we could divide it, there would be multiple things.
19:29:49 <elliott> Whyyy
19:29:51 <elliott> (x86-64 :P)
19:29:55 <Vorpal> is only*
19:30:04 <elliott> Vorpal: You must be SO HIGH right now.
19:30:14 <elliott> "Duude... what if the universe is only one thing and it can't be divided..."
19:30:15 <oklopol> "7.The universe shortly after its creation, when quantum effects dominated and contradicted Relativity. "
19:30:15 <Vorpal> elliott, ;P
19:30:16 <oklopol> :D
19:30:34 <SgeoN1> [10]
19:30:35 <Vorpal> elliott, well, I didn't sleep well last night
19:30:36 <elliott> oklopol: yeah the quantums became conscious and talked back whenever relativity told them to do shit
19:30:39 <Vorpal> that probably explains it
19:30:45 <elliott> Vorpal: I *didn't* sleep last night.
19:30:52 <elliott> Vorpal: 24.5 hours I've been awake now.
19:30:56 <pikhq> Perhaps we should forbid the mentioning of quantum and relativistic mechanics to people too stupid to comprehend them.
19:31:08 <elliott> Vorpal: I've gone past the "falling asleep in my chair" stage to the "lucid once more" stage.
19:31:11 <SgeoN1> (I think that's how high my CMOS is, which just decided that my USB drive is an fdd
19:31:11 <oklopol> we should try
19:31:17 <oklopol> saying something retarded on there
19:31:22 <oklopol> and adding "because god"
19:31:30 <elliott> oklopol: like "god made the universe in 7 actual days"
19:31:32 <elliott> lol
19:31:34 <elliott> nobody could believe that
19:31:40 <Vorpal> elliott, anyway it can obviously only have one property, which would be it's existence. Which means it that is all we can describe it by.
19:31:54 <elliott> Vorpal: No, man, the property would be another thing.
19:31:57 <elliott> Vorpal: Its only property is ITSELF.
19:31:58 <Vorpal> elliott, oh right
19:31:59 <elliott> Vorpal: WHOA.
19:32:04 <Vorpal> elliott, :D
19:32:14 <pikhq> elliott: Some people actually believe that God made the universe in 7 actual days.
19:32:22 <elliott> pikhq: That was sort of entirely what my joke was based on.
19:32:35 <pikhq> elliott: The same morons can often be found believing that the King James Bible is the only valid Bible.
19:32:53 <Phantom_Hoover> elliott, you haven't seen Schlafly trying to justify the fudge to Newtonian gravity.
19:33:02 <elliott> Phantom_Hoover: JUSTIFY FUDGE TO ME
19:33:13 <elliott> pikhq: The Christian Bible needs a fucking name, I'm sick of it being called "The Bible".
19:33:21 <elliott> pikhq: Torah. Qur'an. ???
19:33:32 <elliott> Erm.
19:33:36 <Vorpal> Phantom_Hoover, what fudge?
19:33:36 <elliott> *Tanakh
19:33:39 <oklopol> if there isn't an article about perfect spaces
19:33:47 <elliott> Vorpal: THE fudge. The single object that exists.
19:33:50 <elliott> Vorpal: The fudge's property is the fudge.
19:33:54 <Vorpal> elliott, you can't name it
19:33:55 <oklopol> maybe we could add one saying only god can create perfect spaces
19:33:56 <elliott> The fudge is made out of a single the fudge.
19:33:59 <Vorpal> because the name is another thing
19:33:59 <elliott> Vorpal: It IS its name.
19:34:02 <Vorpal> elliott, ah
19:34:08 <elliott> Vorpal: The whole universe, when taken together, is the name "the fudge".
19:34:11 <SgeoN1> Ok. Unetbootin isn't working like it should
19:34:24 <Vorpal> elliott, but that consists of separate letters
19:34:24 <oklopol> because man is not perfect
19:34:27 <Vorpal> elliott, brb phone
19:34:40 <oklopol> man will always leave a couple points in every neighborhood
19:35:00 <elliott> Vorpal: no it's all joined together
19:35:03 <elliott> Vorpal: and fractal
19:35:11 <elliott> oklopol: :D
19:35:25 <pikhq> elliott: Biblia sacra.
19:35:31 <Phantom_Hoover> elliott, the fudge is replacing r^2 with r^2.anindecentnumberof0s1 in the gravity formula.
19:35:51 <elliott> Phantom_Hoover: lawl
19:35:59 <elliott> pikhq: Hey, I might have found an acceptable AMD processor.
19:36:04 <pikhq> Oh?
19:36:18 <elliott> pikhq: Phenom II X4 925. 2.8 GHz quad core, 4x512KB L2, 6MB L3, and 95W TDP.
19:36:30 <elliott> Sure, that's still too high... but it's certainly decent.
19:36:36 <Phantom_Hoover> elliott, Schlafly doesn't seem to have realised that that value would imply that space was curved *anyway*.
19:37:02 <elliott> pikhq: Disadvantage: It's $129.99, which is not far away from the $179.99 prices of X6 monstrosities with the newer core architectures.
19:37:52 <Phantom_Hoover> elliott, what do you actually need your megaprocessor for?
19:38:03 <elliott> Phantom_Hoover: Umm, I actually just want... a processor.
19:38:07 <elliott> Phantom_Hoover: Four cores isn't much to ask for these days.
19:38:17 <elliott> Phantom_Hoover: See, I want a decent computer. So I want to assemble one.
19:38:20 <elliott> So I want components.
19:38:23 <Phantom_Hoover> elliott, well, get two.
19:38:27 <oklopol> FUCK YEAH "Christians qualify this statement further by stating that God is infinite, as are all things associated with Him (His Might, His Forgiveness, etc), but our finite minds cannot comprehend them. For this further reason we should not include infinite sets into our mathematical universe. "
19:38:30 <oklopol> FUCK YEAH :D
19:38:33 <Phantom_Hoover> You'll have EIGHT cores!
19:38:37 <elliott> Phantom_Hoover: Which requires a dual-socket motherboard. And also uses more heat.
19:38:49 <elliott> Phantom_Hoover: I'm a freak, so I don't want a single moving part in my computer other than the bulk storage hard disk.
19:38:51 <Phantom_Hoover> elliott, DAMN YOU THERMODYNAMICS
19:39:03 <elliott> Phantom_Hoover: Meaning: I have thermal limits I need to adhere to.
19:39:09 <oklopol> http://conservapedia.com/Axiom_of_Infinity
19:39:10 <Phantom_Hoover> And Intel is evil because?
19:40:12 -!- jcp has quit (Ping timeout: 276 seconds).
19:40:18 <elliott> Phantom_Hoover: Not offering virtualisation in lower-end processors just to make people buy more, illegal demand to a laptop (IIRC) manufacturer that they cannot use AMD processors in more than N models otherwise Intel would break their deal (they got fined SHITLOADS for this), Trusted Computing bullshit, and most recently the "You buy a processor, but we've locked up some of the features. You can pay us online, and we'll software-unlock them. Fuck
19:40:20 <elliott> nd have a nice day."
19:40:48 <elliott> "Not offering virtualisation in lower-end processors just to make people buy more"
19:40:51 <Phantom_Hoover> Right.
19:40:51 <elliott> that is
19:40:55 <elliott> there is no technical reason or cost to disable VT-x in the processors
19:40:58 <elliott> and AMD offers it on all models
19:41:05 <elliott> so it's a scummy marketing technique
19:42:08 <elliott> Phantom_Hoover: So the only problem is that AMD processors suck. :)
19:42:13 <elliott> I know! I'll buy a TRANSMETA PROCESSOR.
19:42:26 <Phantom_Hoover> So AMD sucks and Intel is evil?
19:42:57 <elliott> Phantom_Hoover: Pretty much. Well, AMD don't suck too much.
19:43:21 <elliott> Phantom_Hoover: If you don't mind a dozen or so extra watts on your power bill, and you don't care how loud your computer is, you can run AMD just fine.
19:43:28 <elliott> It's freaks like me that have issues.
19:43:50 <Phantom_Hoover> elliott, move to Siberia?
19:44:13 <elliott> Phantom_Hoover: IIRC someone in Finland did use an external radiator...
19:44:22 <elliott> Phantom_Hoover: But hooking a heatpipe system up to a radiator is not fun. :)
19:44:29 <SgeoN1> There's encryption in the processor for those features?
19:44:45 <elliott> Phantom_Hoover: Much easier if you can just poke holes in your case, and put a GIGANTIC FUCKING HEATSINK on your CPU.
19:44:49 <SgeoN1> To gain access to those features, I mean?
19:44:52 <elliott> Phantom_Hoover: The other option is this: http://www.endpcnoise.com/cgi-bin/e/std/sku=zalman_fanless.html
19:44:55 -!- kar8nga has quit (Remote host closed the connection).
19:44:57 <elliott> Phantom_Hoover: Which I'd just buy, except it's Intel-only.
19:45:16 <elliott> SgeoN1: I think it's just a bit-flip, but I'm not sure.
19:45:17 <fizzie> [htkallas@triton ~]$ salloc -p short grep -c ^processor /proc/cpuinfo 2>/dev/null
19:45:17 <fizzie> 12
19:45:21 <fizzie> You need at least that many cores.
19:45:28 <fizzie> Preferrably a strictly greater number.
19:45:36 <elliott> fizzie: Donate all your computers and I TOTALLY WILL
19:45:42 <SgeoN1> So then why doesn't someone distribute gpld software to do t?
19:45:49 <elliott> fizzie: Hmm, I could just use a qemu emulating a 13-core machine as my main computer.
19:46:04 <pikhq> SgeoN1: Obnoxious lawsuit.
19:46:04 <elliott> SgeoN1: Because you'd have to reverse-engineer it? Also, haha, GPL, more likely some Windows shitsoftware written by a script kiddie.
19:46:10 <elliott> And what pikhq said.
19:46:15 <Phantom_Hoover> Incidentally, have I ever expressed my disdain for Linux's support for my graphics hardware?
19:46:26 <elliott> Phantom_Hoover: It's sort of not Linux's fault, but yes, everyone has that problem.
19:46:30 <elliott> Except for Intel card users.
19:46:36 <elliott> And we have the problem of underpowered GPUs.
19:46:42 <elliott> I think you said you use Intel. Which just means that you're on crack.
19:47:02 <Phantom_Hoover> I have some Intel onboard laptop rubbish.
19:47:08 <Phantom_Hoover> Well, that's unfair.
19:47:26 <elliott> It's what I have and WFM.
19:47:43 <Phantom_Hoover> It actually ran *perfectly* until Ubuntu 10.04 IIRC.
19:47:43 <pikhq> Phantom_Hoover: Intel should just work.
19:48:03 <pikhq> As the official driver for it is part of X...
19:48:07 <Phantom_Hoover> *Now*, the GPU actually hangs upon a number of things.
19:48:16 <Phantom_Hoover> Requiring a complete reboot.
19:48:38 <Phantom_Hoover> So either some solder melted or something is badly wrong.
19:49:15 <elliott> Phantom_Hoover: http://www.silentpcreview.com/forums/viewtopic.php?f=14&t=58457
19:49:32 <elliott> Phantom_Hoover: Gets awesomecrazy a few posts in.
19:50:36 <SgeoN1> Hah. Universal USB Installer uses a temporary copy of 7zip
19:50:52 <elliott> pikhq: Have you ever noticed how awesome mice are?
19:51:07 -!- Baal_Zebel has left (?).
19:51:38 <Phantom_Hoover> [[00:02.0 VGA compatible controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)]] — lspci
19:51:51 <Phantom_Hoover> [[00:02.1 Display controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)]]
19:52:07 <Phantom_Hoover> So it's evil to its core, but it's certainly Intel.
19:52:14 <elliott> Phantom_Hoover: Oh, and here's one of my favourite cases: http://www.silentpcreview.com/files/images/epcn-tnn500/epcn1.jpg
19:52:34 <Phantom_Hoover> Large surface area?
19:52:37 <elliott> Phantom_Hoover: That thing -- case and cooling system -- costs about $1,000.
19:52:44 <elliott> Phantom_Hoover: It is UNBELIEVABLY heavy.
19:52:56 <Gregor> It weighs more than the sun.
19:53:03 <elliott> Phantom_Hoover: It is a case. Inside, you have small heatsinks and the whole thing is wired up with copper pipe like a watercooled system except... solid copper.
19:53:09 <elliott> And then, it's attached to the outer shell of the case.
19:53:15 <elliott> Which is just REALLY THICK, REALLY HEAVY METAL.
19:53:17 <Phantom_Hoover> elliott, stick a Stirling engine somewhere.
19:53:19 <SgeoN1> Oh look. Now that I do what Canonical recommended, and told Unetbootin to fuck off, things work
19:53:20 <Phantom_Hoover> Or a thermocouple.
19:53:26 <elliott> Not only is it an iron maiden, it just dissipates the heat into HELL.
19:53:38 <elliott> (see wut i did thar heavy meatl iron ma)
19:53:44 <elliott> Phantom_Hoover: "# Weighs 26Kg."
19:53:50 <Phantom_Hoover> Madness.
19:53:53 <elliott> I weigh less than double that!
19:53:55 <SgeoN1> Although right now it looks like it's stuck
19:54:00 <SgeoN1> It better not be stuck
19:54:12 <elliott> Phantom_Hoover: http://www.silentpcreview.com/files/images/epcn-tnn500/epcn9.jpg TECHNOLOGY
19:54:16 <elliott> Phantom_Hoover: it was discontinued in 2004 :(
19:55:24 <elliott> I wonder if bsmntbombdood still uses that insane rig I specced out for him.
19:55:31 <elliott> Still can't believe it cost less than $1,600.
19:55:36 <Phantom_Hoover> elliott, how about: you have a radiator array somewhere out-of-the way; you run the pipes to that, and use a Stirling engine to pump it.
19:55:40 <SgeoN1> It looks like it's stuck on NET: Registered protocol family 1
19:56:00 <elliott> Phantom_Hoover: Pumping of any sort is out. Movement of any sort = sound.
19:56:08 <SgeoN1> Why is nothing happening grrrrb
19:56:11 <oklopol> you don't need a cooler if you use a GoL processor
19:56:14 <Phantom_Hoover> elliott, hence "inconspicuous".
19:56:15 <elliott> Phantom_Hoover: The only sound I'll accept is a one terabyte bulk storage drive, and that grudgingly :P
19:56:19 <elliott> oklopol: tru dat
19:56:40 <elliott> Phantom_Hoover: Hell, you can get fans that are literally inaudible in any sane (non-anechoic chamber) environment.
19:56:44 <Phantom_Hoover> The Stirling engine is at the radiator.
19:56:44 <oklopol> well, you do but you can just use gliders to send heat away from the action
19:56:46 <elliott> Phantom_Hoover: But I'm a crazy bastard, you see.
19:56:46 <oklopol> maybe
19:56:49 <elliott> Phantom_Hoover: hmm
19:56:53 <elliott> Phantom_Hoover: well it could work
19:57:00 <elliott> Phantom_Hoover: find me a big ass-radiator that'd work without too much modding :P
19:57:00 <oklopol> information = heat right
19:57:06 <Phantom_Hoover> And it runs from the heat gradient across the radiator.
19:57:12 <elliott> Phantom_Hoover: also surely a regular pump would work
19:57:16 <elliott> oklopol: totally.
19:57:24 <elliott> oklopol: that's why the hotter you get, the smarter you are
19:57:34 <oklopol> hohooo
19:57:35 <Phantom_Hoover> elliott, sure, but it's less cool.
19:57:37 <elliott> http://www.newegg.com/Product/Product.aspx?Item=N82E16820231392 anyone want 48 gigs of ram?
19:57:40 <elliott> includes four ram fans
19:57:44 <Phantom_Hoover> Also inelegant.
19:58:34 <elliott> http://www.newegg.com/Product/Product.aspx?Item=N82E16820226096 Or, much more reasonably, 12 gigs of ram :P
19:58:35 <Phantom_Hoover> Indeed, it would be *best* to have a huge amount of heat with the Stirling system.
19:58:43 <SgeoN1> This isn't working. Why isn't it working?
19:58:58 <Phantom_Hoover> SgeoN1, what are you doing this time?
19:59:22 <SgeoN1> Attempting to get Ubuntu 10.10 Netbook Edition to start off USB
19:59:24 <Phantom_Hoover> Moving the water takes constant power, which comes entirely from the heat.
20:00:00 * Phantom_Hoover ponders.
20:00:29 <Phantom_Hoover> How much force would you expect to need to run a radiator in such a system?
20:02:50 <SgeoN1> Why wont the bloody thing work?
20:02:57 <Phantom_Hoover> I don't know.
20:03:05 <SgeoN1> Maybe there's some CMOS setting that I need?
20:03:11 <Phantom_Hoover> Perhaps if you actually described the problem that would help.
20:03:20 <Phantom_Hoover> Have you got the boot order right?
20:04:38 <SgeoN1> The boot order wont stick, but Ive been using the boot menu
20:04:49 <SgeoN1> It keeps getting stuck at that NET thing
20:04:59 <elliott> That... NET... thing.
20:05:08 <SgeoN1> Which I quoted above
20:07:25 <SgeoN1> Oh fun
20:07:57 <SgeoN1> The CMOS deletes the USB entry from the boot order when there's a boot up without a USB stico
20:09:53 <SgeoN1> http://i.imgur.com/TEVSt.jpg this is where it's stuck
20:11:02 <elliott> SgeoN1: Toshiba T150?
20:11:07 <elliott> Looks very much like my machine.
20:11:19 <SgeoN1> T215
20:11:29 <elliott> *T130
20:11:43 <elliott> SgeoN1: Cool, the retarded brother of my laptop.
20:13:25 <fizzie> For the record, protocol family 1 is Unix domain sockets, and necessarily doesn't have all that much to do with whatever it gets stuck with.
20:14:08 <SgeoN1> So then, why is it getting stuck?
20:14:29 <elliott> SgeoN1: I don't know I'll use my psychic powers
20:14:33 <elliott> OMMMMMMMMMMMMM
20:14:37 <SgeoN1> It occurs to me that I may have downloaded the 32 bit version
20:14:54 <elliott> Irrelevant.
20:14:59 <elliott> It would still boot just fine.
20:15:38 <fizzie> It probably won't help, but my Ubuntu boot-time dmesg looks quite a lot like that, and the immediately following lines are:
20:15:40 <fizzie> [ 0.404185] NET: Registered protocol family 1
20:15:41 <fizzie> [ 0.482223] Freeing initrd memory: 9188k freed
20:15:41 <fizzie> [ 1.430015] pci 0000:00:12.1: OHCI: BIOS handoff failed (BIOS bug?) 00000184
20:15:41 <fizzie> [ 1.521275] pci 0000:01:05.0: Boot video device
20:15:46 <Phantom_Hoover> SgeoN1, what do you have installed right now.
20:16:00 <elliott> Phantom_Hoover: WINDOZ probably
20:16:18 <SgeoN1> Windows 7
20:16:21 <Phantom_Hoover> SgeoN1, have you actually tried AW on Wine?
20:16:34 <elliott> Or better yet NOT tried it?
20:16:34 <fizzie> Tried to use the noapic/nolapic/acpi=off boot parameters with that Ubuntu?
20:16:50 <Phantom_Hoover> elliott, incidentally, WP had, in its comparison of TeX editors, "Compatibility with Windows 7 math panel".
20:17:00 <elliott> Phantom_Hoover: heh
20:17:00 <fizzie> (Those should be there in the boot-time menu.)
20:17:02 <SgeoN1> I was planning on first trying this, and if I liked it, dual-boot
20:17:02 <SgeoN1> I've tried it in the past
20:17:04 <Phantom_Hoover> Exactly one of the editors had anything other than "No" in that column.
20:17:23 <Phantom_Hoover> I say "had" in the past tense because I deleted it.
20:17:39 <elliott> Phantom_Hoover: Information elitist.
20:18:29 <Phantom_Hoover> Gyaah, wait.
20:18:35 <SgeoN1> Fuzzier, hadn't tried it yet
20:18:44 <Phantom_Hoover> WP's table format doesn't allow you to get rid of columns easily.
20:19:49 <Vorpal> elliott, opinion on paternoster lifts?
20:20:14 <SgeoN1> What's the difference between them?
20:20:17 <fizzie> elliott: Opinion on Valery Nikolayevsky?
20:20:27 <Vorpal> fizzie, I have a reason for this seemingly random question!
20:20:31 <elliott> fizzie: Opinion on global warming?
20:20:37 <elliott> Vorpal: You did it with Minecarts.
20:20:47 <Vorpal> elliott, no. with boats. Or I'm going to do so
20:20:49 <Vorpal> elliott, http://www.minecraftforum.net/viewtopic.php?f=35&t=22428
20:20:50 <Vorpal> see that
20:20:53 <Vorpal> very cool
20:20:58 <SgeoN1> Fizzie?
20:20:59 <fizzie> Vorpal: Well, mine was a Wikipedia "Random article", unsurprisingly.
20:21:14 <Vorpal> fizzie, hah
20:22:21 <elliott> fizzie: If you don't spoon-feed SgeoN1 some answers now, he might have to think and where will we be then?
20:22:22 <fizzie> SgeoN1: Uh, they do different things? noapic/nolapic disable some newer sort of programmable interrupt controllers, and acpi=off may help on systems where the ACPI bios stuff is somehow strangey-weirdo.
20:22:35 <SgeoN1> I just tried all of them
20:22:46 <fizzie> Sure, that's reasonable.
20:23:02 <Vorpal> SgeoN1, apic != acpi
20:23:08 <Vorpal> same letters yes
20:23:28 <SgeoN1> ...believe it or not, I realized that
20:23:39 <SgeoN1> Just had no clue what any of them meant
20:23:47 <Vorpal> hm I guess another way to phrase that would be that words are _ordered_ sets of letters.
20:23:47 <fizzie> Vorpal: If only they would've called it Advanced Power and Configuration Interface, instead of Advanced Configuration and Power Interface; then we'd have identical acronyms there.
20:23:58 <Vorpal> fizzie, :D
20:24:30 <fizzie> Erm, or actually APCI is still not APIC. Oh well.
20:24:39 <Vorpal> hah
20:24:55 <fizzie> Maybe call the latter Advanced Programmable Controller of Interrupts instead of ... Interrupt Controller.
20:24:56 <cheater99> oklopol: very good
20:25:34 <elliott> Vorpal: aka lists
20:25:41 <elliott> words can have duplicates
20:25:43 <Vorpal> fizzie, they could have called PCIe APCI too. For Advanced PCI
20:25:47 <elliott> ordered multiset i.e. list :P
20:25:53 <Vorpal> elliott, ah indeed
20:25:58 <SgeoN1> I thought 10.10 Netbook Edition was supposed to use Chromium by default
20:26:30 <Vorpal> elliott, I think "ordered multisets" sounds better than "lists" though. Mainly because it takes slightly longer to parse.
20:26:35 <elliott> SgeoN1: You thought wrong.
20:27:03 <fizzie> SgeoN1: Did you mention what actually happened with those options?
20:27:35 <SgeoN1> It worked
20:27:45 <fizzie> Oh, how strange.
20:27:48 <SgeoN1> I don't know which did it though
20:28:03 <fizzie> My guess would be acpi=off, but that's just from personal "thing that breaks often" experiences.
20:28:04 <oklopol> cheater99: what is, the thing i told you last or the thing i said last?
20:28:13 <oklopol> actually i guess i haven't said anything for a while so
20:28:13 <cheater99> so does anyone here know cobol?
20:28:18 <oklopol> SgeoN1
20:28:31 <cheater99> oklopol: -- You are sitting in a chair. --
20:28:31 <oklopol> knows pretty much everything about it
20:28:50 <Vorpal> <fizzie> My guess would be acpi=off, but that's just from personal "thing that breaks often" experiences. <-- I just hope that is a desktop and not a laptop
20:28:53 <Phantom_Hoover> Well, #intel-gfx is apparently too dead to help me.
20:28:54 -!- SgeoN1 has quit (Remote host closed the connection).
20:29:07 <cheater99> oklopol: i was replying to what you said to me last
20:29:21 <oklopol> cheater99: yeah realized
20:29:29 <cheater99> omg
20:29:33 <cheater99> we can almost like
20:29:36 <oklopol> ;)
20:29:38 <cheater99> read each other's thoughts.
20:29:41 <oklopol> finish each other's...
20:29:43 <oklopol> darn
20:29:51 <oklopol> you ruined it :D
20:30:05 -!- jcp has joined.
20:30:51 <fizzie> Vorpal: It's a laptop, which might make power-management and/or suspendy stuff quite a tricky thing.
20:31:35 <cheater99> i was busy surfing the net
20:31:47 <cheater99> i'm sorry sweetheart :(
20:31:58 <Vorpal> fizzie, indeed it would
20:32:00 <cheater99> oklopol: so does sgeo really know that much about cobol?
20:32:03 <oklopol> no prob
20:32:06 <oklopol> cheater99: well umm
20:32:15 <cheater99> here's the thing
20:32:17 <oklopol> i didn't really read the conversation from which i deduced this
20:32:20 <cheater99> i have a huge codebase
20:32:24 <cheater99> in COBOL
20:32:32 <cheater99> i need to have it translated to php
20:32:40 <oklopol> and i think it was more like sgeo said about cobol that wasn't completely retarded and everyone hated on him
20:32:55 <cheater99> there's already one team working on it, but their approach is crap
20:33:53 <cheater99> so i'm sort of looking for ideas
20:34:02 <oklopol> if you have some sort of real problem, i'm not the guy to talk to
20:34:10 <cheater99> well
20:34:26 <oklopol> if you have an imaginary problem then maybe
20:34:32 <cheater99> the problem is unusual enough that it's highly unlikely someone will actually have experience doing that exactly
20:34:36 <cheater99> ok
20:34:40 <cheater99> imagine i have a cobol codebase
20:34:46 <cheater99> and i need to translate it to php
20:34:48 <oklopol> hmm umm well i can give you all the insight i have:
20:34:50 <cheater99> WHAT DO
20:34:50 <oklopol> your problem
20:34:54 <oklopol> sounds really trivial
20:34:58 <oklopol> get some monkey to do it
20:35:06 <Vorpal> cheater99, cobol... php. Both are very wtf.
20:35:11 <elliott> i didn't think cobol-> could ever be a bad thing
20:35:13 <cheater99> Vorpal: don't ask why
20:35:15 <elliott> but putting php on the end of it
20:35:17 <elliott> yup
20:35:19 <elliott> you succeeded
20:35:20 <oklopol> :D
20:35:27 <elliott> cheater99: #unesoteric
20:35:31 <Vorpal> elliott, :D
20:35:40 <elliott> they can help with all practical questions. especially ones about COBOL and PHP.
20:35:40 <cheater99> elliott: #angst
20:35:54 <elliott> Yes... those messages were so angsty...
20:36:09 <elliott> I'm cutting myself just to let the ANGST out of my body.
20:36:21 <elliott> It can't just be that you never talk about anything interesting or even vaguely on the esoteric side of things, nope.
20:36:24 <Vorpal> + Now talking on #unesoteric
20:36:25 <Vorpal> + Phantom_Hoover (~phantomho@cpc3-sgyl21-0-0-cust116.sgyl.cable.virginmedia.com) has joined #unesoteric
20:36:25 <Vorpal> + oklopol (~oklopol@xdsl-83-150-123-242.nebulazone.fi) has joined #unesoteric
20:36:28 <Vorpal> elliott, ^
20:36:35 <cheater99> anyways..
20:36:35 <elliott> Vorpal: see, a thriving community alraedy
20:36:37 <cheater99> there's some dime involved
20:36:39 <Vorpal> elliott, :D
20:36:50 <cheater99> so if anyone's got good ideas, i'm all ears.
20:37:15 <oklopol> i don't need money i have a joba
20:37:17 <oklopol> *job
20:37:30 <elliott> nobody here does COBOL. nobody here does PHP. nobody wants to. nobody wants to help whatever shitty conversion that is. especially if you won't even justify it.
20:37:42 <oklopol> i think i read a book about cobol once?
20:37:44 <cheater99> is *job just like a virtual idea of where your actual job would be?
20:37:55 <oklopol> no i actually do have a job
20:38:05 <cheater99> i thought it was a job pointer
20:38:06 <oklopol> the joke is i'm not actually getting payed that much
20:38:24 <cheater99> elliott: #AANNGGSSTT
20:38:42 <cheater99> oklopol: ya :-\
20:38:43 <elliott> Vorpal: can I borrow a dictionary? I think cheater99 needs some definitions clarified for him. e.g. "angst"
20:38:59 <elliott> angst (uncountable)
20:39:03 <elliott> 1. A feeling of acute but vague anxiety or apprehension often accompanied by depression, especially philosophical anxiety.
20:39:05 <elliott> 2. More commonly, painful sadness or emotional turmoil, as teen angst.
20:39:06 -!- SgeoN1 has joined.
20:39:22 <Vorpal> elliott, sure you can. Cambridge unabridged
20:39:23 <cheater99> elliott: how is what you're doing not apprehension?
20:39:23 <elliott> i guess he could theoretically think that he manages to induce emotional turmoil in me rather than chronic irritatedness.
20:39:29 <oklopol> haha elliott has an uncountable amount of angst
20:39:44 <cheater99> oklopol: he has 2^angst
20:39:52 <elliott> cheater99: "homophobia (uncountable)
20:39:56 <elliott> 1. (obsolete, individual occurrences) A pathological fear of mankind."
20:39:56 <oklopol> get it, his angst has a subset that has strictly less cardinality than his angst that can still be put in bijection with its proper subset
20:39:58 <elliott> cheater99: ergo homophobia means "fear"
20:40:04 <elliott> i know it's true, because one of the words was in there
20:40:08 <elliott> oklopol: SO TRUE
20:40:35 <SgeoN1> COBOL should be easy to mechanically translate from
20:40:37 <Phantom_Hoover> cheater99, #unesoteric has competent COBOL and PHP experts, FWIW.
20:40:42 <SgeoN1> But it wont produce readable code
20:40:44 <Phantom_Hoover> SgeoN1, don't get involved.
20:40:53 <cheater99> elliott: are you done having your attack?
20:40:55 <Phantom_Hoover> elliott and I will never forget.
20:41:07 <oklopol> SgeoN1: oh? i would've thought it's especially hard to parse
20:41:09 <elliott> cheater99: sorry i will stop this libel and slander
20:41:17 <cheater99> elliott: thx
20:41:23 <elliott> cheater99: i apologise for any losses you may have incurred as a result of my hideous character deformation
20:41:29 <Vorpal> elliott, don't feed the troll
20:41:37 <SgeoN1> I can't even begin to imagine under what circumstances cobol->PHP is even meaningful though
20:41:42 <elliott> cheater99: my only condition is that you administrate #unesoteric for the good of COBOLkind.
20:41:50 <elliott> Vorpal: everyone else does, so obviously it must be fun
20:41:51 <cheater99> SgeoN1: someone's paying, that's meaningful enough :P
20:41:57 <Vorpal> elliott, what about PHP->COBOL?
20:42:06 * elliott considers paying cheater99 to rape babies all day long
20:42:20 <cheater99> elliott: i thought you were done now?
20:42:27 <elliott> cheater99: you didn't agree to my condition
20:42:31 <cheater99> elliott: what are you, 14?
20:42:35 <elliott> 12
20:42:39 <elliott> and a half
20:42:43 <elliott> and three quarters of a half
20:42:49 <SgeoN1> Seriously, do COBOL -> Python or Java or Ruby or somethinf
20:42:57 <elliott> sorry *8
20:43:01 <elliott> 8 and a half and three quarters of a half
20:43:09 <Vorpal> elliott, exactly?
20:43:22 <elliott> Vorpal: yes. i have a time machine set up to ensure this age stays constant
20:43:27 <elliott> like peter pan
20:43:29 <Vorpal> elliott, you need to divide it down to plank time :P
20:43:34 <SgeoN1> COBOL should not be involved with web sites. PHP should not be involved with... well, anything really, but especially not nonwensites
20:43:39 <elliott> Vorpal: is plank time the time it takes for a plank?
20:43:40 <cheater99> SgeoN1: i would love to be doing python, but unfortunately the project's been doing php for years now :p
20:43:50 <oklopol> elliott: you go forward in time all the time you mean?
20:43:59 <elliott> oklopol: yes
20:44:00 <Vorpal> elliott, err did I typo?
20:44:01 <cheater99> SgeoN1: in this case, cobol was involved in websites, and now php is involved in doing websites, and non-websites
20:44:03 <elliott> oklopol: at a rate of 1 second per second!
20:44:07 <elliott> Vorpal: planck
20:44:08 <cheater99> SgeoN1: which is fairly crazy
20:44:10 <Vorpal> elliott, oh right
20:44:27 <cheater99> SgeoN1: how would you do this mechanical translation, anyways?
20:44:46 <elliott> cheater99: kittens and rainbows
20:44:48 <cheater99> cobol doesn't have much in the way of an AST that can be meaningfully used, since it has lots of goto's
20:44:54 <elliott> you put them on a treadmill and put a furnace behind the treadmill
20:44:56 <Vorpal> elliott, actually plank time is the same. But you can check how many rings they have to find out... uh... how many rings they have!
20:45:00 <cheater99> and lots of weird jumps and entry points
20:45:01 <elliott> and make the treadmill go super-fast if they don't type out PHP code
20:45:05 <elliott> problem solved
20:45:06 <SgeoN1> Well, if you want readable PHP, do translation by hand, then spend a few months getting rid of the globalism and Vito's and alters and everything else that makes COBOL so bad
20:45:09 <cheater99> that doesn't really translate to any sane language being used nowadays
20:45:11 <elliott> the rainbows are just there for decoration
20:45:20 <cheater99> SgeoN1: it doesn't have to be readable.. it just has to do the same thing, really
20:45:35 <Vorpal> elliott, Note: do not confuse plank time and tree time. Tree time is when you drink sap.
20:45:46 <Vorpal> at tree o'clock
20:45:57 <SgeoN1> Globalism? Vito's? Fuck you autocorrect
20:46:06 * Gregor stabs Vorpal with a ... wrench.
20:46:15 <elliott> Vorpal: Plank time is when your plank gets hard and then sap comes out of it.
20:46:22 <Vorpal> elliott, XD
20:46:24 <cheater99> yeah, what's the "vitos" supposed to be? :o
20:46:26 <elliott> Gregor: Worst stabbing instrument ever :P
20:46:39 <Gregor> elliott: Yeah, you say that until there's a wrench stickin' out yer kidney.
20:46:46 <cheater99> SgeoN1: ^
20:46:49 <SgeoN1> How difficult can it be to mechanically translate gotos to something... that exists in PHP?
20:46:54 * elliott stabs Vorpal with a cardboard box
20:46:58 <elliott> STAB STAB STAB
20:46:59 <Vorpal> Gregor, why did I just imagine a google results page saying "Did you mean: stab with a wench"
20:47:00 <elliott> STABBY STAB STAB
20:47:02 <SgeoN1> Gotos, I think
20:47:03 <elliott> SgeoN1: php added goto recently
20:47:11 <cheater99> SgeoN1: php has goto's, but it's more about the zillions of entry points, and global references
20:47:28 <SgeoN1> Is there a way to mechanically get rid of alter? I remember seeing it once
20:47:33 <cheater99> SgeoN1: also, php using goto's isn't really recommended
20:47:42 <elliott> php isn't really recommended.
20:47:48 <SgeoN1> I thought you said it has to work, not be readable
20:47:51 <cheater99> elliott: agreed
20:47:52 <Gregor> A nice (read: terrible) way to emulate goto which I think PHP has the equivalent of is with a labeled switch with fallthrough.
20:47:58 * Vorpal stabs elliott with a cardboard fox
20:48:02 <elliott> Gregor: PHP has goto.
20:48:12 <cheater99> SgeoN1: yeah, but goto in php is bad in that it doesn't work too well
20:48:12 <Gregor> GOTO EVIL :P
20:48:19 <elliott> What happened to the days when this channel was about the interesting stuff that people weren't doing just because they were paid to do it?
20:48:24 <cheater99> SgeoN1: also it can't do everything that cobol goto can do
20:48:28 <Gregor> elliott: Yarly
20:48:30 <elliott> Oh right, cheater99 (and others) happened.
20:48:37 * elliott AAAAAANGST
20:48:40 * elliott angus
20:48:58 <Vorpal> elliott, well, /ignore cheater99
20:49:01 <Vorpal> lets all do it
20:49:01 <cheater99> elliott: that's cute
20:49:02 <SgeoN1> Well, have your script mechanically copy and paste so that function calls are used where gotos qere
20:49:06 <cheater99> Vorpal: GO!!
20:49:11 <SgeoN1> Duplication of code, the works
20:49:14 <elliott> Vorpal: been doing that for ages, oklopol will never do it and the beast will get fed :p
20:49:17 <cheater99> SgeoN1: yeah
20:49:20 <elliott> Vorpal: but ok, fine, i'll put it on this partition too
20:49:21 <Phantom_Hoover> elliott, please.
20:49:23 <elliott> SOLIDARITY
20:49:26 <elliott> SgeoN1: you too
20:49:27 <SgeoN1> Should work just fine
20:49:31 <elliott> MAYBE HE'LL CUT HIMSELF TO DEATH ;_;
20:49:32 <Vorpal> elliott, I just added the ignore
20:49:38 <elliott> with the angst he projects onto others
20:49:38 <Phantom_Hoover> cheater99, goes on about his job *once*, and the channel is RUINED FOREVER?
20:49:48 <elliott> Phantom_Hoover: you have terrible memory.
20:49:51 <cheater99> SgeoN1: what does "alter" do actually?
20:49:58 <elliott> cheater99 has never once discussed anything interesting. i don't recall him mentioning esolangs once.
20:49:59 <Phantom_Hoover> elliott, other examples?
20:50:00 <cheater99> SgeoN1: it changes the global state, doesn't it?
20:50:00 <oklopol> elliott: i just ignored him today
20:50:06 <oklopol> but then realized maybe it was my fault
20:50:19 <Gregor> Everything I do is becoming decreasingly esoteric :P
20:50:20 <SgeoN1> Cheater, Google it
20:50:22 <elliott> Phantom_Hoover: every single thing he says is pointless and stupid. and most of it is blatant trolling.
20:50:26 <cheater99> SgeoN1: ok
20:50:27 <elliott> Gregor: Yes, but you're not an irritating fuckwit.
20:50:34 <Gregor> I'm not D-8
20:50:36 <Gregor> NOOOOOOOOOOOOOOES
20:50:44 <cheater99> elliott: awwww
20:50:45 <cheater99> <3
20:51:13 <oklopol> Gregor: no your wit is too ugly to be fucked
20:51:20 <Gregor> Ouch :P
20:51:29 <elliott> Gregor: Try washing your beard sometime.
20:51:35 <elliott> Then you can start working on your wit.
20:52:33 <Phantom_Hoover> Gregor has a beard?
20:52:33 -!- Phantom_Hoover has left (?).
20:52:39 <Gregor> I don't :P
20:52:45 <elliott> He does.
20:52:46 <Gregor> Not even physically capable.
20:52:48 <elliott> It's unwashed.
20:52:52 -!- Phantom_Hoover has joined.
20:52:56 <Phantom_Hoover> Wha...
20:53:18 <cheater99> SgeoN1: so alter is basically like a static var containing a callback
20:53:31 <Phantom_Hoover> Gregor, of course you can't grow a beard.
20:53:39 <Phantom_Hoover> You're a pansy little Englishman!
20:53:46 <Gregor> *Anglo-Jew
20:53:52 <oklopol> yeah let's all call Gregor names and then ignore him and maybe kill him
20:53:56 <oklopol> by the way
20:53:58 <oklopol> after my dream
20:54:03 <oklopol> i so wanna see Gregor
20:54:06 <oklopol> and drink tea with him
20:54:10 <Gregor> I don't drink tea :P
20:54:20 <oklopol> i'll make ya
20:54:24 <oklopol> i don't either tho
20:54:32 <elliott> Gregor has no taste of smell
20:54:35 <elliott> so he just like
20:54:37 <elliott> tastes and smells only dung
20:54:39 <elliott> his entire life
20:54:41 <elliott> i think this is accurate
20:54:45 <oklopol> :o
20:54:54 <elliott> PLEASE EXPAND GREGOR ON THIS TOPIC
20:55:34 <elliott> pikhq: Sheesh, I think AMD actually comes out more expensive overall due to the motherboards and shit.
20:55:46 <Phantom_Hoover> Gregor, you're not a Jew, you're a filthy Englishman!
20:55:54 <elliott> pikhq: Found a nice motherboard for $49.99. All compatible stuff and the like. AM3. But 95W max cpu.
20:55:59 <elliott> pikhq: The others are... more expensive.
20:56:04 <elliott> (ATX.)
20:57:24 <Phantom_Hoover> Gregor, you can't grow facial hair because you didn't eat PORRIDGE.
20:58:35 <cheater99> SgeoN1: i don't see any other way to understand it than that
20:59:10 <SgeoN1> That works, I guess
20:59:59 <cheater99> SgeoN1: have you ever done any translation of cobol to something else?
21:00:04 <cheater99> or automatic refactoring of cobol?
21:00:05 <SgeoN1> Nope
21:00:16 <SgeoN1> And mope
21:00:19 <SgeoN1> N
21:00:22 <cheater99> heheh
21:05:04 <Vorpal> elliott, you MUST try the vertical waterfall with boat thingy, it is super-fast
21:05:05 <Vorpal> wow
21:05:15 <Vorpal> very fun
21:05:32 <cheater99> oklopol: btw, how is this topology based cobnti
21:05:44 <cheater99> oklopol: btw, how is this topology based continuity broader defined than the sup based one?
21:06:23 <cheater99> oklopol: i don't think the hypothesis for the sup based one actually ensures there's a topology, does it?
21:06:34 <oklopol> because if you take a certain topology on the poset, then that sup continuity is actually just the usual continuity
21:06:55 <oklopol> err well you add the topology.
21:07:17 <cheater99> but which topology?
21:07:41 <cheater99> because function continuity isn't an invariant of topology, is it?
21:07:47 <oklopol> a topology where open sets are upper sets that you can't reach with sups of directed sets from their complement......
21:07:51 <oklopol> :P
21:07:57 -!- Phantom_Hoover has quit (Quit: Reboot).
21:08:48 <cheater99> an upper set is (x, oo) ?
21:08:56 <oklopol> well almost
21:09:01 <oklopol> well
21:09:07 <oklopol> that's one, but the definition is
21:09:30 <oklopol> x \in set, y >= x => y in set
21:10:01 <oklopol> if we have infs then yours gives all of these, i think, if you take [x, oo) and (x, oo)
21:10:04 <oklopol> I THINK
21:10:11 <oklopol> nah
21:10:13 <oklopol> i guess it doesn't
21:10:28 <oklopol> even in finite lattices
21:10:42 <cheater99> yah
21:11:08 <oklopol> so anyway i do admit that may not be the most natural topology on an ordered set
21:11:08 <cheater99> it was just a mental shortcut
21:11:17 <cheater99> oh yeah
21:13:34 * cheater99 can't wait till he has all his maths books with him..
21:13:45 <oklopol> mmmmmmm math books
21:14:18 <oklopol> i was just reading about different topologies for CA today
21:14:34 <oklopol> sexy topologies
21:14:50 <cheater99> CA?
21:14:59 <oklopol> cellular automata
21:15:07 <cheater99> oklopol: i've got like 300 maths and physics books..
21:15:21 <cheater99> in about 5 languages :)
21:15:23 <oklopol> i have like 1000 on my computer, but very few irl
21:15:29 <cheater99> no that's irl
21:15:36 <oklopol> :o
21:15:38 <cheater99> on my computer that's like 5 digits
21:15:38 <oklopol> yummy
21:15:47 <oklopol> i'd just lick them all day
21:15:55 <cheater99> that's what i do..
21:15:59 <cheater99> when they're with me :(
21:16:10 <cheater99> hadn't seen most of 'em since i started my moves around europe
21:16:12 <oklopol> why aren't they with you?
21:16:14 <oklopol> ic
21:16:19 <cheater99> moved out of my hometown
21:16:24 <cheater99> to See the World!
21:16:43 <cheater99> in the meantime i acquired some smaller collections :p
21:16:46 <oklopol> do you have kurka's topological and symbolic dynamics
21:16:52 <cheater99> some on britain, some in germany
21:16:58 <cheater99> nope
21:17:05 <cheater99> or do you mean in pdf?
21:17:25 <oklopol> well i meant tree
21:17:35 <cheater99> no
21:17:39 <cheater99> the nearest i have is kuratowski
21:17:44 <cheater99> :D
21:18:07 <oklopol> didn't kuratowski also do some computational stuffs and things?
21:18:15 <cheater99> yeah
21:18:15 <oklopol> maybe he did everything tho
21:18:30 <oklopol> btw
21:18:34 <cheater99> i have a book (not by him) on computable numbers
21:18:50 <oklopol> kurka is actually written with a u with o on top, in case you don't know the guy
21:18:58 <cheater99> kuratowski did mostly stuff around the sets R and N.
21:19:17 <cheater99> don't know him
21:19:27 <cheater99> never heard of that character either
21:19:31 <cheater99> sounds... scandinavian
21:19:40 <cheater99> but kurka means little chicken in polish.
21:19:55 <oklopol> actually i thought it was polish or something
21:20:20 <oklopol> brb tho!
21:22:26 <cheater99> ahh he's czechish
21:22:28 <cheater99> czech.
21:22:51 -!- Sgeo has joined.
21:23:00 <cheater99> www.cts.cuni.cz/~kurka/
21:23:14 <cheater99> when i saw the first name (petr) it was obvious he's czech
21:24:58 <Vorpal> elliott, new screenshots at http://sporksirc.net/~anmaster/minecraft/screenshots/ (2010-11-10_23.45.52.png and onwards). Including a fun attraction
21:25:16 <Vorpal> not the loop system yet
21:25:22 <Vorpal> was testing out the general idea
21:27:08 -!- pikhq has quit (Ping timeout: 240 seconds).
21:39:18 -!- Sasha2 has quit (Read error: Connection reset by peer).
21:40:33 -!- Sasha has joined.
21:55:03 -!- augur has quit (Remote host closed the connection).
22:01:00 * Sgeo stupidly visits a site he knows will give him nightmares tonight
22:01:57 -!- nooga has joined.
22:02:01 <nooga> gaaaah
22:02:06 <nooga> tk looks like motif
22:02:09 <nooga> uglyy
22:06:15 -!- Phantom_Hoover has joined.
22:08:34 * Sgeo decides not to read the scary parts
22:08:54 <cheater99> Sgeo: what site?
22:09:06 <Sgeo> http://exitmundi.nl
22:10:35 <nooga> Tk !!!!!!!!!
22:10:51 <Phantom_Hoover> Sgeo, I have the same problem. I hate you.
22:11:01 * Phantom_Hoover exercises SELF-CONTROL.
22:16:12 <nooga> suddenly i want to make an UI based on boxes and wires
22:16:18 <nooga> and inlets and outlets
22:16:21 <Phantom_Hoover> elliott, is the Mysterious Teleport Hacker the guy with the alien science?
22:16:35 <nooga> but i have no idea for what
22:16:37 <nooga> yet
22:20:49 <nooga> haha
22:20:53 <nooga> 2000kB/s
22:21:01 <nooga> i love my provider
22:35:54 -!- Mathnerd314 has joined.
22:41:23 -!- cheater99 has quit (Ping timeout: 245 seconds).
22:48:22 <olsner> hmm, the grand plan for today was to not drink and instead work on getting my kernel to relocate itself to a safe area of the address space and put user-accessible pages in a different area
22:54:40 <Phantom_Hoover> Lemme guess: you drank a lot and made the kernel do a sum total of nothing.
22:55:05 <Phantom_Hoover> Hey, can we contract you to do OS stuff we can't be bothered to do ourselves?
22:55:31 <olsner> elliott asked yesterday if I could be contracted to write a compiler in assembly
22:55:36 <Sgeo> Why not define "safe area" as "area where the kernel is"?
22:55:56 <olsner> Sgeo: but the kernel is in the *same* area as the other stuff, so that won't fly
22:55:57 <Sgeo> Then again, I guess that could slow down application-level pointer arithmatic
22:56:06 -!- cheater99 has joined.
22:56:25 <olsner> I need them to live in discontiguous pages, at least discontiguous *virtual* pages
22:56:37 <olsner> and I need the user-space to not have write access to any kernel stuff
22:56:44 <Phantom_Hoover> Sgeo, the standard method is IIRC to make the kernel be in the higher-half address space.
22:59:04 <elliott> Phantom_Hoover: elliott, is the Mysterious Teleport Hacker the guy with the alien science?
22:59:07 <elliott> who?
22:59:20 <olsner> and amd64's treatment of addresses (where there's one part growing from the bottom and one growing from the top) pretty much screams "put the kernel HEeeeeEeeRE!" and points to the upper halfspace
22:59:25 <Phantom_Hoover> The guy who's been screwing with all of the teleport experiments.
23:00:02 <olsner> oh, another MTH? you do know there are several of them, right?
23:00:10 <elliott> Phantom_Hoover: name plz
23:00:13 <olsner> you *do* know, right?
23:00:20 <Phantom_Hoover> elliott, there *isn't* a name yet.
23:00:35 * Sgeo knows
23:00:37 <Phantom_Hoover> There's just the two mishaps during the tests of the apparatus.
23:00:41 <elliott> Phantom_Hoover: oh, the Bad Guy? I know no more than you. And what tells you it's a *person*?
23:00:41 <Phantom_Hoover> Sgeo, shut up.
23:00:51 <elliott> Sgeo: If you say anything I will eviscerate your body.
23:00:58 <Phantom_Hoover> elliott, well, that's the theory I was fielding.
23:01:16 <elliott> Phantom_Hoover: Where are you up to?
23:01:23 <elliott> I've read The Story So Far and no further, as it stands.
23:01:25 <Sgeo> http://www.youtube.com/watch?v=TywmpMQYojs
23:01:53 <Phantom_Hoover> elliott, I'm up to 'Two killed in "transporter accident"'.
23:02:00 <Phantom_Hoover> Sgeo, what's that video?
23:02:24 <elliott> I think it's probably the song where all the rhymes seem to point to expletives/sexual references but then THEY DON'T
23:02:30 <Sgeo> elliott, yes
23:02:32 <elliott> (The version I saw is rather amusing, at least.)
23:02:34 <olsner> elliott: THE VERY song
23:02:35 <elliott> (But I don't have Flash.)
23:02:46 <elliott> Phantom_Hoover: Gotta love the BBC "quotes" there.
23:03:01 <Phantom_Hoover> Heh.
23:03:20 <elliott> Phantom_Hoover: I always get the feeling that the BBC is vaguely sceptical about everything that happens ever.
23:03:30 -!- digimunk has quit (Quit: Leaving.).
23:03:34 <Phantom_Hoover> Hah, I knew Mitch was hyperspacing.
23:03:43 <olsner> being sceptical is a very good approach to pretty much everything though
23:03:55 <Sgeo> elliott, except nullity
23:04:10 <elliott> olsner: but not in a condescending way :)
23:04:15 <elliott> Phantom_Hoover: But not superpositioning...
23:04:16 <Phantom_Hoover> I don't think scepticism applies to nullity, really.
23:04:22 <Phantom_Hoover> Just stupidity.
23:05:12 <olsner> elliott: you're saying condescending scepticism is bad?
23:05:22 <elliott> olsner: when applied to everything, yes
23:06:00 <olsner> anything applied to everything is bad, everything should be applied (only) where appropriate
23:06:11 <elliott> olsner: "Recent scientific studies show strong possibility that [thing] can help significantly alleviate Alzheimer's. [well written, factual, sourced article]" "I'll wait to see the reports on the JOURNALIST'S Alzheimer's first, heh."
23:07:26 <olsner> (... then again, we should apply anything where inappropriate too - so that we can know how well it works)
23:07:28 <Phantom_Hoover> elliott, but that's *already* a sceptical headline.
23:07:45 <olsner> elliott: written by a JOURNALIST?
23:07:46 <elliott> Phantom_Hoover: Healthy scepticism != condescending "scepticism".
23:07:55 <elliott> olsner: It takes place in my fantasy world, k.
23:08:01 <olsner> lol, k
23:08:15 <elliott> olsner: Now write the ElliottOSLang compiler.
23:08:24 * olsner has very limited knowledge on elliott's fantasy world
23:08:34 <Phantom_Hoover> olsner, oh, you really must learn.
23:08:35 <elliott> olsner: EVERYONE HAS A PET BEE
23:08:47 <elliott> Yes, everyone who learns of my fantasy world gets to LIVE IN IT
23:08:48 <olsner> Phantom_Hoover: oh, DO I
23:08:50 <Phantom_Hoover> It's like wonderland, except crazier and less conservative.
23:09:14 <elliott> At least I don't believe that ElliottOS will ever get significant adoption at all :P
23:09:25 <elliott> Although I expect Phantom_Hoover to switch, or I'll slit his throat.
23:09:53 <Phantom_Hoover> Well, I wouldn't switch fully.
23:09:58 <olsner> killing your potential users means they become guaranteed non-users
23:10:05 <olsner> IS THIS A GOOD THING???
23:10:06 <Phantom_Hoover> Until people who write software started using it.
23:10:39 <elliott> Phantom_Hoover: It'd have an IRC client and a web browser, what more do you need.
23:10:55 <Phantom_Hoover> Golly, or an equivalent,
23:11:15 <Phantom_Hoover> (For jiggery-pokery.
23:11:17 <Phantom_Hoover> *)
23:11:40 <Phantom_Hoover> Hey, could you make Emacs a cakewalk by writing an ELISP evaluator in CL?
23:11:53 <Phantom_Hoover> Nethack. Can't go without Nethack.
23:12:23 <elliott> Phantom_Hoover: You can play NetHack over VNC or something.
23:12:30 <Phantom_Hoover> VNC?
23:12:36 <elliott> Phantom_Hoover: Okay, fine, NetHack too.
23:12:44 <elliott> VNC = remote display protocol.
23:12:47 <Phantom_Hoover> Oh.
23:12:59 <elliott> Like X11 except you don't use it locally either.
23:12:59 <elliott> Phantom_Hoover: Oh, and a text editor.
23:13:17 <Phantom_Hoover> Yeah, that's what I was rambling about Emacs for.
23:13:19 <elliott> Phantom_Hoover: (The UI will probably be something like a souped-up Emacs with a lesser focus on text.)
23:13:43 <Phantom_Hoover> Add an ELISP interpreter to that, and you basically have Emacs, unless I'm missing something.
23:14:20 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep).
23:14:29 <elliott> Phantom_Hoover: Well, except not nearly as good.
23:14:29 <elliott> Phantom_Hoover: I mean, Emacs doesn't have orthogonal persistence.
23:14:55 <elliott> Or ... any of my OS features.
23:14:55 <elliott> And its UI is a hopelessly inadequate implementation of what it could be.
23:15:05 <Phantom_Hoover> Yes, I know that.
23:15:06 -!- poiuy_qwert has joined.
23:15:44 <Phantom_Hoover> But if you can run ELISP stuff with minimal modification you have a tremendous library of useful stuff.
23:16:07 <elliott> Phantom_Hoover: (I mean, Genera's interface is basically "Emacs on crack" already.)
23:16:19 <elliott> Phantom_Hoover: elisp is possibly the worst Lisp ever thought of ever.
23:16:19 <elliott> Phantom_Hoover: Even disregarding that... they're usually very tied to the idea of "files".
23:16:27 <elliott> I sort of don't have files.
23:16:30 <Sgeo> Simulate files!
23:16:33 <Phantom_Hoover> Yes, I know ELISP is basically stoneage-lisp.
23:16:38 <elliott> Also, it's not like I'm not reimplementing everything myself anyway. Compared to what I already have on my plate, what's a bunch of elisp?
23:16:44 <Phantom_Hoover> It was a crazy idea, remember?
23:16:56 <Phantom_Hoover> Sgeo, yes, and ruin the whole concept.
23:16:59 <Sgeo> What's the oldest lisp?
23:17:07 <elliott> Sgeo: I have one simple word for that.
23:17:07 <elliott> Sgeo: No.
23:17:09 <Phantom_Hoover> LISP, you cretin.
23:17:37 <elliott> What Phantom_Hoover said :P
23:17:37 <elliott> Oldest Lisp is LISP.
23:17:39 * Sgeo feels "dolt" woul have been more appropriate
23:18:15 <elliott> Sgeo: Whatever you say, cretin.
23:18:28 <Phantom_Hoover> Sgeo, that's the wrong kind of tone, although not having the inflection makes it seem harsher.
23:18:35 <Sgeo> "Nixon, you dolt", you dolt!
23:19:08 <elliott> Sgeo: Sure thing, cunt.
23:19:27 <Sgeo> http://www.fark.com/cgi/comments.pl?IDLink=5351459
23:19:39 <olsner> cretins, the whole lot of you
23:20:22 -!- FireFly has quit (Quit: swatted to death).
23:20:37 <olsner> hmm, and I may have cut myself on a potato chip
23:21:03 <Sgeo> papertato cut!
23:21:05 <elliott> ...how
23:21:10 <Phantom_Hoover> I once cut a piece of paper in half with another piece of paper.
23:21:31 * Sgeo vaguely assumes that olsner isn't hemophiliac
23:21:34 <elliott> is the internet down for everyone else
23:21:45 <Phantom_Hoover> elliott, no.
23:21:55 <Sgeo> elliott, yes. We are all hallucinations
23:22:00 <elliott> wat.
23:22:05 <Phantom_Hoover> Sgeo, have you actually read elliott's screeds against filesystems?
23:22:09 <elliott> Phantom_Hoover: Well it's down for me. Get it back up.
23:22:22 <Sgeo> Phantom_Hoover, I ... don't think so
23:22:22 <elliott> oh the internet is sort of working
23:22:24 <elliott> slowly.
23:22:40 <elliott> Phantom_Hoover: Oh, don't make him.
23:22:50 <elliott> That rant wasn't the best rant I've ever done :P
23:22:52 <Sgeo> I want to read it!
23:22:54 <elliott> (It's all true of course, just expressed badly.)
23:22:55 <Phantom_Hoover> elliott, wait, you don't like the one on catseye any more, do you?
23:22:57 <Phantom_Hoover> Ah.
23:23:08 <Sgeo> I'll probably agree with it, tbh
23:23:43 <Phantom_Hoover> http://catseye.tc/ehird/files-suck.html is the essay; but keep in mind what was just said.
23:23:45 <elliott> Sgeo: http://catseye.tc/ehird/files-suck.html
23:23:45 <elliott> I think that's the URL.
23:23:59 <elliott> If you like it, you're as whiny as I was when I wrote that.
23:24:27 <olsner> Sgeo: assumptions, assumptions
23:24:37 <Sgeo> RIP olsner
23:25:12 <Phantom_Hoover> Although the point has been made elsewhere, like on Stanislav's blog.
23:25:18 -!- zzo38 has joined.
23:25:23 <elliott> olsner is haemophiliac; blood turns him on.
23:25:28 <elliott> (SEE ALSO: Twilight.)
23:25:36 <Phantom_Hoover> OTOH "whiny" is not a word from which Stanislav retracts.
23:25:44 <olsner> wouldn't that be a haemosexual?
23:26:00 <elliott> Phantom_Hoover: Ahh, I'd rather my whinging than his incessant pretentious douchebaggery :)
23:26:00 <elliott> Love the guy, but he's the most pompous fucker you'll ever see.
23:26:15 <zzo38> olsner: Maybe it depends if it is sexual or not?
23:26:19 <elliott> olsner: "paedosexual"
23:26:21 <Sgeo> "Of course not that's simply wasteful, isnt it? Why not store it as the rich representation in the first place, and have functions operate on it directly? That saves computing time and is also much simpler."
23:26:21 -!- wareya_ has quit (Read error: Connection reset by peer).
23:26:27 <olsner> elliott: right
23:26:32 <Sgeo> Uhh...
23:26:35 <elliott> I think haemophiliac works.
23:26:35 <elliott> Sgeo: unicode fail
23:26:39 <elliott> ("?")
23:26:45 <olsner> zzo38: getting turned on is by definition sexual, I think
23:26:59 <zzo38> olsner: In that case, I guess it is "haemosexual".
23:27:13 -!- SgeoN1 has quit (Ping timeout: 245 seconds).
23:27:23 -!- wareya has joined.
23:27:25 <Sgeo> Stanislav Pestov?
23:27:34 <zzo38> elliott,Sgeo: Yes it is unicode failure. (I get shaded blocks after "not " and after "isn")
23:27:36 <olsner> zzo38: then again, as elliott pointed out, the terms don't necessarily differentiate between philiacs and sexuals
23:27:36 <elliott> Stanislav Gorgistonnion.
23:27:57 <Sgeo> Wow
23:28:03 <zzo38> olsner: Ah. Well, you select the term according to what is properly meant by the terms in the current context, then.
23:28:04 <Phantom_Hoover> Should I link him to it?
23:28:06 <Sgeo> Utterly wrong person I was trying to think of
23:28:15 <elliott> Sgeo: ?
23:28:23 <Sgeo> I had the Factor guy in mind
23:28:26 <elliott> Phantom_Hoover: What, to the Loper OS blog? Naw. He can find it himself.
23:28:59 <elliott> Sgeo: That's Slava.
23:29:05 <olsner> Sgeo: appropos RIP - "64-bit instruction pointer olsner" makes no sense...
23:33:05 <Phantom_Hoover> elliott, a thing: what would your Lisp OS actually be called once Mitosis came to a sufficiently advanced point?
23:34:52 <olsner> oh, here I go again... open video in fullscreen, press the fullscreen button, expect video to cover entire field of vision
23:34:56 <Phantom_Hoover> Hmm, Stanislav lists Mathematica as a non-broken programming system.
23:35:30 -!- elliott has quit (Ping timeout: 245 seconds).
23:35:32 <Sgeo> olsner, HTML5 on YouTube?
23:35:46 <olsner> the real world is a bad window manager, where moving windows means moving monitors aroudn and you can't resize windows without investing money
23:36:34 <Sgeo> Wouldnt you have to invest money to move wndows?
23:36:42 <Sgeo> Or am I hopelessly lost in your analogy
23:37:06 <olsner> no, normally you press the mouse button down in the right place then move the mouse and release the button later
23:37:26 <olsner> that's completely free once you've invested in the computer, pointing device and your first monitor
23:37:38 <Sgeo> You're talking about an actual window manager named "the real world"?
23:37:55 <olsner> yes, I'm talking about the actual real physical world here
23:38:12 <Sgeo> I think I get it
23:38:18 <olsner> i.e. making the full-screen video larger requires getting a bigger screen
23:38:21 <olsner> which costs money
23:38:22 -!- pikhq has joined.
23:38:26 <Sgeo> O... OH
23:38:31 -!- pikhq has quit (Read error: Connection reset by peer).
23:38:37 <Sgeo> HO2
23:38:55 -!- pikhq has joined.
23:39:08 * Mathnerd314 drinks some dihydrogen monoxide
23:39:18 * Sgeo gives pikhq some hydrogen dioxide
23:39:20 -!- elliott has joined.
23:39:25 <elliott> Internet hiccup.
23:39:37 <elliott> 15:34:56 <Phantom_Hoover> Hmm, Stanislav lists Mathematica as a non-broken programming system.
23:39:37 <olsner> looked like an elliott hiccup from here
23:39:38 <elliott> Indeed.
23:39:49 <elliott> 15:33:05 <Phantom_Hoover> elliott, a thing: what would your Lisp OS actually be called once Mitosis came to a sufficiently advanced point?
23:40:10 <elliott> Phantom_Hoover: The perfect OS must of course have the perfect name. I cannot possibly trust myself with deciding what the perfect name is without extensive thought; therefore, the actual OS is unnamed.
23:40:23 <pikhq> They make hybrid Bluray/VHS players.
23:40:28 <pikhq> Why god why?
23:40:37 <Sgeo> And not DVD?
23:40:38 <Phantom_Hoover> "Fusion" would be the logical name, but it's too boring.
23:40:49 -!- choochter has quit (Quit: lang may yer lum reek..).
23:40:54 <pikhq> Sgeo: I highly doubt there's a Bluray player that can't handle DVDs...
23:40:56 <elliott> Phantom_Hoover: Yeahno.
23:40:56 <Phantom_Hoover> OTOH, it's the only biological term for the phenomenon in question.
23:41:01 <Sgeo> Hydrogen Dioxide is the perfect name!
23:41:11 <Phantom_Hoover> So more cleverness is neaded.
23:41:12 <olsner> pikhq: imagine making an C/amd 64, 64k and 64-bit in the same box!
23:41:33 <Phantom_Hoover> Sgeo, naw, dihydrogen dioxide is where it's at.
23:41:46 <Sgeo> But that actually exists!
23:41:47 <pikhq> Sgeo: I'm a fan of hydric acid.
23:43:04 <Phantom_Hoover> pikhq, is that just H_2?
23:43:11 <pikhq> Phantom_Hoover: H2O.
23:43:18 <elliott> Phantom_Hoover: The phenomenon is NIH.
23:43:26 <zzo38> pikhq: I thought H2O is hydroxic acid, not hydric acid?
23:43:28 <Sgeo> http://www.thefreedictionary.com/Hydrogen+dioxide
23:43:30 <Sgeo> WTF
23:43:42 <Phantom_Hoover> Oh, god.
23:43:46 <Sgeo> Why can hydrogen's di- be omitted?
23:43:48 <Phantom_Hoover> s/neaded/needed/
23:44:40 <Sgeo> Uncorrected typos can cause the end of the world. Do be more careful, Phantom_Hoover.
23:44:40 <Mathnerd314> Sgeo: it's ionic
23:44:53 <zzo38> Sgeo: I don't know why? I don't study chemistry
23:45:11 <Sgeo> God, my jokes are boring
23:45:49 <Mathnerd314> Sgeo: alternately, people just like calling it that
23:46:34 <Sgeo> So what DO you call HO2?
23:46:48 <Sgeo> Which I'm pretty sure can't exist, but whatever
23:47:06 <zzo38> Sgeo: You call it "monohydrogen dioxide"
23:47:38 <elliott> Sgeo: googling suggests HO2 exists
23:48:02 <Mathnerd314> Sgeo: hydroperoxyl? http://en.wikipedia.org/wiki/Hydroperoxyl
23:48:18 <Phantom_Hoover> I'd suppose one of the Hs get taken away when in solution.
23:50:24 -!- augur has joined.
23:55:30 <Ilari> HO2 would be a free radical... And probably quite reactive one at that...
23:57:18 <Ilari> Probably not quite as bad as FO2...
23:59:28 <Phantom_Hoover> elliott, what would be the way you'd write software in Lisp86?
23:59:36 -!- MigoMipo has quit (Read error: Connection reset by peer).
23:59:43 <elliott> Phantom_Hoover: Such an uncouth name for the perfect language!
←2010-11-11 2010-11-12 2010-11-13→ ↑2010 ↑all