00:08:45 -!- Gregor has quit (Ping timeout: 252 seconds). 00:30:24 Heh... From wisdom of crowds stuff: Task 1k random people to develop new nutrional guidelines and then do study of what those do to health. Wheither one would or would not want to see that depends on relative priorities of caring for others vs. how much one wants to see train wrecks... :-) 00:33:43 Because those recomendations would probably be total garbage (difficult to say better or worse than current official ones)... 00:39:11 What's wrong with current guidelines? 00:40:46 Some would say 'too much carbohydrates', but I won't... 00:43:10 Worst part: They are almost impossible to follow without snacking on garbage... 00:46:15 Also that the recomendations do not seem to be based on reality... 00:47:25 Did you know that US nutrional recomendations are published by USDA (agriculture) and not by HHS (Health)? 00:49:05 (well, latest ones are in co-operation with HHS, but one can still tell where the priorities lie...) 00:49:45 The old recommendations were, what, 11 servings of grains each day? 00:50:19 The really difficult questions: What causes metabolic syndrome? There are some suspect causes, some known not to be cause. But no unified model. 00:50:31 Yup, 6-11 servings. 00:51:19 I cannot fathom eating that much grain. 00:52:22 "Eat 5 times as much grain as meat, poultry, fish, beans, eggs, or nuts!" 00:53:08 Hmm. What was it, 1 slice of bread = serving? "Eat a loaf of bread each day!" 00:53:36 Fun "paradoxes" ("paradox" in food & health really means "we have the wrong model"): Whole milk is less fattening than skim milk. Epidemilogical studies pick association, animal studies pick causation. 00:54:49 Yeah, you need to eat lots of grains, since grains are nutrient-poor (that's for white grains, whole grains can be even worse). 00:55:41 It's also comical that they stuck pretty much everything with protein together... 00:56:05 Because apparently tofu and a steak are nutritionally equivalent. 00:57:43 Fun... Its impossible to satisfy both nutrional guidelines and what I think are healty macronutrient ratios (based on what has been observed in hunter-gatherers). Actually, only fundamental conflict is in saturated fat sector... 00:58:24 Not to say that the average US diet is any saner, but the government recommendations are fucking nuts. 00:58:34 Tofu. Yuck. 00:58:44 (and I didn't refer to its taste). 00:58:49 "Now, eat a loaf of bread, but heaven forbid that you eat more than two pieces of fruit a day." 00:59:19 Tofu is not bad when prepared well. (which it almost never is on this continent) 01:00:27 (flavor-wise, that is. Nutritionally, you're looking at protein and not much else.) 01:00:31 Errr... Weren't fruits the second overhyped food group? Those tend to be quite high in sugar (of the apparently harmful kind)... 01:00:46 They said "2 a day". 01:01:16 Same as meats. And dairy products. 01:01:27 Vegetables were 3-5 a day. 01:01:55 They also said "use sparingly" on... All fats. *All* fats. 01:02:16 Oh, at least new recomendations have all sugar <10E%. Here sugar is <25E% (insane). 01:02:32 What's serving in dairy products? 01:03:16 1 cup of milk. (the measurement "cup") 01:05:12 Ah, I would exceed that by quite a margin... :-) 01:05:44 -!- BeholdMyGlory has quit (Remote host closed the connection). 01:07:10 Meats are good proein sources... 01:11:43 Where does that fear of cholesterol come from? Not even Keys (who IIRC started the whole 'saturated fat is bad'/'high cholesterol causes heart disease' crock) thought that dietary colesterol is important (unless you happen to be rabbit or hamster)... :-/ 01:18:56 Heh... One (legendary) doctor had 4 patients that wanted to gain weight. So he had them drink 100g of olive oil a day... Didn't work... 01:21:44 One with wrong model of things would call this "paradox"... :-) 01:23:58 http://bash.org/?925050 01:28:33 -!- coppro has quit (Ping timeout: 240 seconds). 01:37:08 -!- coppro has joined. 01:39:44 -!- Mathnerd314 has joined. 01:47:10 Ilari, what makes you qualified to talk about nutrition, and others unqualified? Just asking.. 01:49:30 Knuth has proposed a successor to TeX. 01:49:34 The syntax is XML. 01:49:39 reportedly 01:49:52 WHAT THE HELL 01:49:52 Not that I'm qualified... There are others way more qualified than me. But there are also others (includin "experts") that are way less qualified. 01:50:11 XML is NOT a human-usable syntax. 01:50:15 pikhq: Obviously it should be full SML 01:50:20 neither is pure TeX 01:50:27 TeX is more so than XML. 01:50:38 Which is not to say that it's very usable, but... Ugh. 01:55:56 okay, it's pretty obvious by now that was a joke 01:56:28 Yes. 01:56:33 Thank God. 02:08:10 -!- Gregor-L has joined. 02:09:09 -!- oerjan has joined. 02:09:16 is there some website where you can bet on how far Knuth will get on TAOCP before he croaks? 02:09:38 it's quick on the way to being the greatest unfinished work of computer science 02:10:16 And still the greatest work. 02:11:07 (I mean, yes, it is currently the greatest unfinished work, but you know what I mean) 02:13:18 11:43:05 i wish oerjan was here 02:13:18 11:43:31 are you talking about receiving head 02:13:22 YOU DON'T SAY 02:23:41 -!- Gregor-L has changed nick to Gregor. 02:26:28 I like wyde 02:27:12 wyde is better than tyght 02:51:41 -!- cal153 has quit (Ping timeout: 240 seconds). 03:08:30 Does sideways add serve any direct arithmetic use or something? 03:09:21 what's sideways add? 03:10:00 an instruction on some architectures that takes two operands; the result has each bit set iff the first operand had it set and the second did not 03:10:33 so AND NOT, really? 03:10:51 Half AND NOOT 03:10:52 err, sorry 03:10:55 it's not that 03:11:05 -!- cal153 has joined. 03:11:09 it's count the number of bits that meet those conditions 03:11:28 pikhq: er, i feel a draft over my head 03:12:05 in MMIX (the spec for which I'm reading), it could serve to count bits set because there's no direct operation for that (just put it against an all-0 second operatnd) 03:13:07 Uh, isn't that with 0x0 on the second operand the identity function? 03:13:39 like I said; I misspoke earlier 03:13:45 it's a bit-counting instruction 03:13:56 AND NOT against 0 is the identity operation, yes 03:14:03 it's "count the bits in X AND NOT Y" 03:15:21 * oerjan doesn't know why one would want that particular combination often enough not to just construct it from simpler parts 03:16:08 oerjan: Blame Knuth. 03:16:15 oh? 03:16:25 His architecture. 03:16:28 it's not just Knuth; I researched it and it's existed physically before 03:17:07 well, must be useful then :D 03:17:14 Well, he *did* try to make MMIX a CPU ISA that one could actually use. 03:17:35 I imagine he has some use in mind 03:18:19 http://cryptome.org/jya/sadd.htm 03:18:36 yeah, saw that 03:18:42 so it's _very_ old 03:20:28 hm that page so far doesn't really imply that it did any AND NOT stuff before counting 03:25:31 whoa, the matrix operations are cool 03:27:02 that string search use of sideways add looks interesting 03:27:12 (but uses AND, not AND NOT) 03:29:03 Population count unit... Geez... 03:29:51 Very exotic instruction and optimized to ridiculous degree... 03:32:00 Haha: "Seriously, the milk section includes transparent cheese. Is that a new Kraft product?". 03:33:04 WTF? 03:33:40 (referring to proposed 2010 dietary guidelines). 03:39:02 I like how Knuth's fake architecture is designed with several instructions that no one would really want on a computer used only for educational purposes 03:41:14 It's not intended only for educational purposes. 03:41:43 Well, it is, but it's intended to be real-world usable so you actually learn something other than a bizarre educational subset of things. 03:41:59 well, yes 03:42:09 but one instruction is described as "reserved for operating systems only" 03:42:17 Very nice touch. 03:42:38 "details are in MMIXware", which is not part of TAOCP 03:43:31 Fake architecture? 03:45:52 Sgeo_: in that it has no hardware implementations 03:46:30 * Sgeo_ wants to see an arcitecture that can only be simulated 03:46:36 Though it certainly could. 03:46:48 It's actually a quite reasonable RISC architecture. 03:47:06 From Knuth and the guys responsible MIPS and Alpha. 03:47:43 yeah, he basically designed it so that you could put Linux on it 03:47:45 nice: http://www-cs-faculty.stanford.edu/~knuth/diamondsigns/CP6.html 03:48:00 (note: I don't mean that he actually made that a design goal, merely that it is sufficiently comprehensive to allow that) 03:48:45 In other words: he didn't want it to be a toy. 03:49:08 yeah (unlike MIX) 03:49:14 it even has compare-and-swap 03:50:28 Well, Compare-and-swap is absolute basic operation of multi-CPU operation. 03:51:04 IIRC, from that one can construct all manner of atomic operations and all basic multithread synchroninzation primitives. 03:51:37 yes 03:51:42 What kind of odd instructions? 03:52:02 what? 03:52:40 coppro: What instructions no one would really want on real computer? 03:52:40 DIVIDE-AND-CONQUER 03:52:52 KILL-THEN-ASK (for handling zombie processes) 03:53:07 Ilari: uh, the sideways add is a bit weird 03:53:26 SIDE-SPLIT 03:53:43 coppro: Sideways add? You mean population count? 03:54:05 Ilari: it is defined of "the number of bits that are 1 in $Y and 0 in $Z" 03:54:39 Well, that's somewhat odd. 03:55:06 Well, one can use that as population count. Especially if MMIX has RISC-style zero register. 03:56:00 Every operation has a form taking a constant as the third operand $Z, so yes, you can use it against 0 in one instruction 03:56:55 also, internal interrupts involve jumps to low addresses 03:57:07 (internal being within a program; not an OS-level interrupt) 03:57:13 No IDTR? 03:57:18 IDTR? 03:57:41 What kind of interrupts there are within programs? 03:58:33 conditions like integer overflow, divide by zero, or the like. Whether they are interrupts or just set flags is controllable, but if they are set as interrupts they all jump into the first few bytes of memory 03:58:55 also, the TRIP instruction, which causes a manual interrupt, seems weird 03:59:10 for starters, it involves a jump to address 0 03:59:36 (TRAP, which is an external interrupt, is by contrast quite useful and normal) 03:59:42 I would want first page not to be mapped... 03:59:54 Yeah well screw you. 04:00:14 Ilari: it does not have paging AFAICT 04:00:31 coppro: It does, but you're running in userspace so YOU CAN'T TELL. 04:00:41 pikhq: Well, a kernel could implement it on top of the OS 04:00:45 err 04:00:48 on top of the architecture 04:00:52 but there's no architecture support 04:01:30 Someone made an MMIX simulator that ran unhosted code for the sole purpose of running Linux on it. 04:01:35 That sucker's got virtual memory. 04:01:59 hmm... actually, it may 04:02:05 there are some features left undescribed 04:02:08 I don't think so though 04:02:13 there isn't enough room in the instruction table 04:03:24 oh wait, yes it does 04:03:31 stop hiding features in sideways comments, Knuth! 04:03:31 What all is segment descriptor in X86 is pretty crazy. There are ordinary code and data segments, but there's also TSSes, task gates, interrupt gates, exception gates, LDTs, etc... 04:03:55 x86 is insane 04:04:07 there's a reason CISCs are going out of styles 04:04:23 TSSes: Hardware-assisted task swapping... 04:04:32 hahaha 04:04:34 Arguably, CISC is dead outside of 8-bit and 16-bit CPUs. 04:05:06 After all, modern x86 implementations are not CISC. They are RISC chips running a very fast x86 emulator. 04:05:07 the no-op for MMIX is entitled "SWYM", or "sympathize with your machinery" 04:05:20 Yes, LDT is segment descriptor you stick into GDT. And some segment selectors reference entries in LDT. 04:06:06 pikhq: yeah, you know things suck when... 04:07:02 Oh, and of course call gates. 04:08:45 I'd have to look into MMIXware to see if TRIP has a real use 04:17:32 Oh, and x86 has expand-down segments, where segment limit is minimum address and not maximum address. As for why Linux/x86 doesn't set kernel CS to be expand-down: Expand-down code segments are not supported! 04:20:16 Oh, x86's segmentation. 04:20:33 If you were crazy enough, you could use it *and* paging for virtual memory. 04:20:35 * pikhq shudders 04:24:25 System segment types: TSS (16 and 32 bit, available and busy variants of course), Call gates, Interrupt gates and trap gates (all with 16- and 32-bit variants). 05:46:18 -!- augur has quit (Remote host closed the connection). 05:46:49 -!- augur has joined. 06:01:24 "If you value your independence and creativity, you should be aware that Apple doesn't. Take your computing elsewhere." -- FSF 06:02:03 maybe if we get the FSF and Apple into a major battle, they'll destroy each other and the world will be a better place 06:02:54 coppro, are you sure that equivalent organizations (or company or so) won't arise after them? ;) 06:03:15 lifthrasiir: there will be a Calm 06:03:25 great. 06:04:23 -!- SgeoN1 has joined. 06:07:40 -!- clog has quit (Ping timeout: 245 seconds). 06:07:40 -!- clog has quit (ended). 06:07:43 -!- clog has joined. 06:07:43 -!- clog has joined. 06:19:13 coppro: So, you are proposing the plot of FFX as a solution. 06:19:34 pikhq: yeah 06:19:42 seems good to me! 06:20:49 All fun and games until some punk decides to kill off everything to spare people pain. 06:21:37 uh, I think you're confusing games 06:22:21 Seymour? 06:22:30 Ending the spiral of death? 06:23:05 oh sure. I thought you were talking about Yu Yevon 06:23:25 Nah, Yu Yevon's a different kind of crazy. 06:23:51 All fun and games until some punk decides to turn people in statues to run a massive summoning. 06:23:56 There, happy no? 06:23:58 Now? 06:24:26 and kill off everything 06:24:29 there, now I'm happy 06:25:02 -!- oerjan has quit (Quit: leaving). 07:01:02 Happy Canada Day! 07:14:29 -!- SgeoN1 has quit (Quit: Bye). 07:27:49 -!- BeholdMyGlory has joined. 07:29:10 -!- coppro has quit (Read error: Connection reset by peer). 07:29:36 -!- coppro has joined. 07:45:16 -!- Phantom_Hoover has joined. 07:55:19 Knuth announced yet? 07:56:01 The twitterverse seems to say that it was a jokey thing "announcing" TeX's successor with XML syntax. 07:56:22 iTeX 07:57:10 And then something about ringing a bell when you say the name. 07:57:19 -!- Phantom_Hoover has quit (Quit: Leaving). 07:57:32 -!- Phantom_Hoover has joined. 07:57:56 It ended up in Wikipedia for ~2 hours, too: http://en.wikipedia.org/w/index.php?title=Itex&oldid=371122107 07:58:00 Then again, everything does. 07:58:33 it features 3-d printing and VP8 07:58:47 BORING. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:07 -!- Phantom_Hoover has quit (Client Quit). 08:02:07 -!- Phantom_Hoover has joined. 08:02:39 -!- pikhq has quit (*.net *.split). 08:02:39 -!- lifthrasiir has quit (*.net *.split). 08:02:58 Gah, if I tell mutt to search for a string in message bodies on this 1776-email IMAP inbox, it will fetch all message bodies. Wasn't there some sort of search functionality in IMAP? (Come to think of it, it's probably just that it wouldn't support regexps that way.) 08:04:59 -!- pikhq has joined. 08:04:59 -!- lifthrasiir has joined. 08:05:43 (And I didn't even find what I was looking for.) 08:07:09 -!- olsner has quit (Ping timeout: 265 seconds). 08:07:11 fizzie, so Knuth's announcement was a joke? 08:07:26 -!- Phantom_Hoover has quit (Quit: Leaving). 08:07:32 -!- olsner has joined. 08:07:42 -!- Phantom_Hoover has joined. 08:08:22 AnMaster: So it appears. 08:08:25 "Don Knuth" sounds strange. 08:08:51 Phantom_Hoover, ...? 08:08:54 fizzie, ah 08:08:55 he didnt actually make an announcement, did he 08:09:11 augur, yes. 08:09:17 yes what 08:09:43 He made a joke at the end of a conference; it's not so uncommon, though usually the jokes don't come with this much pre-excitement. 08:09:55 what was the joke? 08:10:24 That there'll be a TeX successor called iTeX with XML syntax. It's just a dozen comments backwards on this channel, you know. 08:10:35 haha 08:10:57 oh that knuth 08:11:12 hes a bit weird tho 08:11:32 i mean, hes quite smart and knowledgable, but at the same time he seems to have a weird view of how numbers work mathematicall 08:11:33 y 08:12:07 ? 08:12:12 how? 08:12:20 tho he might be a strict formalist, in that regard 08:13:20 well, in one of his books, he made some comments regarding natural numbers and integers and so on and so forth and i wrote him saying that mathematically speaking, these two things were identical in some relevant fashion 08:13:38 er, well, natural numbers/integers and reals 08:13:46 eh? 08:13:46 basically involving the naturals/integers being a subset of the reals 08:13:51 * Phantom_Hoover wonders why one could possibly want an enum larger than an int 08:13:55 well yes they are 08:14:14 and he replied that you'd have to define an equivalency between them in order to make such and such blah blah blah 08:14:30 Phantom_Hoover: With 16-bit ints, you might only have room for puny 65k named constants. 08:14:31 no binary dollar for you :P 08:14:41 yeah, i was saddened 08:14:57 Heh... There's Damn Vulernable Linux... Linux distro stuffed with outdated software, exploitable software and ill-configured software... The list of default services is probably impressive. 08:15:01 especially that it wasn't a simple enough error 08:15:30 like, if it were an error that could be made by simply forgetting to copy some symbol or other, or whatever, ok sure fine whatever 08:15:40 whoops, typo, so to speak 08:15:52 but this was kind of crucial to the point he was making 08:15:52 fizzie, this was from the x86-64 ABI spec; it uses 32-bit ints. 08:16:11 Why would you want 4 billion named constants? 08:16:32 When you want to name each and every memory location with a descriptive name? 08:17:09 fizzie, 64-bit ABI. 08:17:25 Yes, so you need more than 32 bits for it. 08:18:11 Wouldn't the compiler die of overwork trying to keep track of them? 08:19:03 Well, if you have a limited amount of cases but they're represented by bit-patterns wider than int, maybe? 08:19:36 A 64-bit register with few flags up high, and you want the values in an enum so that you can say "blah | bleh" to get a proper value. 08:19:40 Or something like that. 08:19:59 fungot: blah | bleh 08:20:00 Deewiant: i guess i 08:20:20 After all, it's allowed for the values of enum constants to be non-arbitrary integers. 08:20:27 fungot: You guess you what? 08:20:28 fizzie: something like that, change the environment properties/ colors/ positions once a while back he snagged a bit of plot creativity, they could be 08:20:35 "Aha." 08:22:48 ^style 08:22:48 Available: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 08:23:27 Where do you have wider-than-int enums, though? 08:24:46 fizzie, it was in the x86-64 ABI spec. 08:24:47 C++ and some implementations of C permit enums larger than an int. The underlying 08:24:47 type is bumped to an unsigned int, long int or unsigned long int, in that order. 08:25:58 Ilari: my first actions if I heard someone was running it: ssh root@box 08:27:32 coppro: You mean 'telnet box'? :-> 08:27:56 if that doesn't work, I'd try mysql 08:28:22 Actually, ssh might be better target, but there's no telling what they have used as in.telnetd (probably something really vulernable). 08:30:11 And not only vulernable, but misconfigured to create additional vulernabilities. 08:30:23 Oh, and the SSH probably has SSH1 enabled... 08:31:07 yeah, but if root is passwordless or has a weak password, SSH wins (assuming it allows root logins at all, which is always a bad idea) 08:31:41 Hey, guess twice if it allows direct root logins? :-) 08:32:21 does it? 08:32:44 Well, judging from goals, it very probably does. 08:34:07 I could see an instructor running that and giving bonus marks for every different way someone students came up with to root it. 08:35:19 -!- coppro has quit (Remote host closed the connection). 08:50:46 -!- MigoMipo has joined. 09:26:34 -!- MizardX has joined. 09:38:38 -!- BeholdMyGlory has quit (Ping timeout: 240 seconds). 09:43:18 -!- sebbu has quit (Ping timeout: 240 seconds). 09:43:29 -!- BeholdMyGlory has joined. 09:43:29 -!- BeholdMyGlory has quit (Changing host). 09:43:29 -!- BeholdMyGlory has joined. 09:45:10 -!- sebbu has joined. 10:14:38 -!- tombom has joined. 10:35:20 -!- GreaseMonkey has quit (Quit: I'm using NO SCRIPT WHATSOEVER - Download it at file:///dev/null). 10:46:29 -!- pikhq has quit (Read error: Connection reset by peer). 10:53:16 -!- pikhq has joined. 11:11:46 AAGH the number 168 is stuck in my head and I don't know why. 11:23:55 -!- hiato has joined. 11:35:56 hm I wonder if linux is smart enough when dealing with reading from software RAID1 that it uses the disk that happens to have the read head closest to what it needs to read? 11:37:22 Where is software RAID1 handled? 11:38:00 kernel 11:41:51 Phantom_Hoover, or did you mean which command line tool you use to set it up? 11:42:07 No, I meant kernel or userspace. 11:42:18 right, kernel then 11:52:10 It sounds somewhat tricky to arrange it completely optimally; preferrably you'd start reading with the drive that has the least seek time to the target region, and then read in parallel from all drives as soon as they have reached the proper place. 11:53:10 I'm not even sure if you can get precise enough geometry information from disk controllers nowadays. And there's sector remapping and all that fluff. 11:55:59 -!- yiyus has quit (Ping timeout: 240 seconds). 12:04:59 hm true 12:11:05 From the "this howto is deprecated" Linux Software-RAID HOWTO, on the topic of RAID-1: "Read performance is good, especially if you have multiple readers or seek-intensive workloads. The RAID code employs a rather good read-balancing algorithm, that will simply let the disk whose heads are closest to the wanted disk position perform the read operation. Since seek operations are relatively expensive on modern disks (a seek time of 6 ms equals a read of 123 kB at 12:11:05 20 MB/sec), picking the disk that will have the shortest seek time does actually give a noticeable performance improvement." 12:11:22 So at least at some point it has attempted to handle that cleverly. 12:11:37 -!- yiyus has joined. 12:15:27 The same phraseology (with updated numbers: 8 ms, 640 kB at 80 MB/sec) appears in raid.wiki.kernel.org, but on the other hand in the "Performance" page the benchmarks don't show very much read-speed differences between non-raid and RAID-1 access. (The benchmarks look somewhat haphazard, though.) 12:35:30 -!- pikhq has quit (Read error: Connection reset by peer). 12:40:26 -!- rodgort has quit (Quit: Coyote finally caught me). 12:40:34 -!- rodgort has joined. 12:43:28 -!- oerjan has joined. 12:45:28 oerjan! 12:45:41 so it would appear 12:45:48 but can you _truly_ be sure? 12:46:26 No, but for all I know you could just be an emergent phenomenon of the intenet itself. 12:46:35 That there'll be a TeX successor called iTeX with XML syntax. It's just a dozen comments backwards on this channel, you know. 12:46:40 Which would explain why you are so elusive on Google. 12:47:35 the very name of that + the preannouncements would seem to imply knuth was deliberately making a joke on apple hype 12:48:00 well except apple doesn't make preannouncements, do they 12:48:44 -!- hiato has quit (Quit: Lost terminal). 12:50:53 -!- hiato has joined. 12:52:09 They just do strictly controlled leaks with both correct and incorrect information, to keep the hype going. 12:52:16 (Disclaimer: guesswork and speculation.) 12:53:25 AAGH the number 168 is stuck in my head and I don't know why. <-- it's your serial number, duh 12:53:46 168? Out of ~7 billion? 12:54:02 I feel honoured. 12:54:16 no, out of 666 12:54:22 I strongly suspect it's an SCP, but I really don't want to find out which. 12:56:42 Few more bits of trivia that Knuth said about iTeX: no escape sequences, menu-driven, speech-recognition something. (From a random tweet.) 12:56:53 Heh, "knuth announcement: 27th most popular search in the past hour." 12:57:18 168 is an SCP, but not one I'd previously read about. 12:57:24 Curiouser and curiouser. 12:57:34 http://www.google.com/trends/hottrends?q=knuth+announcement 13:29:34 -!- pikhq has joined. 13:53:17 I was thinking about XML in TeX, sometime in the past year... I'm pretty certain it could work (use instead of \begin{document}, for example) 13:56:09 -!- hiato_ has joined. 13:57:04 -!- hiato has quit (Ping timeout: 260 seconds). 13:58:12 -!- hiato_ has quit (Client Quit). 13:58:20 -!- cpressey has joined. 13:58:32 -!- hiato has joined. 14:00:01 So I want to spider a site, but I also want to spider a version of it from a few years ago from www.archive.org. 14:00:22 I don't suppose a tool exists that does exactly that, so 14:00:43 Any suggestions for a spidering tool that is comfortably hackable? 14:02:14 cpressey: yourself? 14:03:13 :/ 14:05:46 wget -r plus some perl goo, it is, then. 14:07:44 Yes, there is already a XML syntax for TeX (TeXML). It's mostly intended for people who programmatically generate TeX code, though. 14:08:50 I don't have any clue how good/sensible it is. 14:10:09 It seems to do instead of \begin{x} for example, so it's perhaps not that human-friendly to type directly. 14:16:03 -!- Quadrescence has quit (Ping timeout: 245 seconds). 14:21:55 -!- cpressey1 has joined. 14:22:33 -!- cpressey has quit (Quit: leaving). 14:22:47 -!- cpressey1 has changed nick to cpressey. 14:28:19 -!- MigoMipo has quit (Read error: Connection reset by peer). 14:29:10 -!- Quadrescence has joined. 14:32:59 This Knuth thing is an April Fool's joke, right? Just 3 months late? 14:33:09 We think so. 14:35:07 Or nine months early, maybe. 14:37:27 presumably there's only one yearly tex conference... 14:37:53 top-level one, that is 14:41:13 -!- ais523 has joined. 14:48:12 Hi ais523 14:48:19 hi 14:48:31 hmm, I proved both Reversible Brainfuck and DoFuck TC in my head last night 14:48:38 although, as usual with proofs done mentally, there may be bugs 14:49:12 Indeed -- from the sound of it, Reversible Brainfuck would not be too hard to prove? Or is it weirder than its name suggests? 14:49:24 Not sure what I'm saying 14:49:30 (they're both BF with different definitions of the [ command; DoFuck has it enter the loop unconditionally, Reversible Brainfuck has it enter the loop if the current cell /is/ 0, rather than if it /isn't/ 0) 14:49:33 Given how hard Burro was 14:49:57 I was thinking I might actually implement my idea for Goldbach... was making some notes last night 14:50:03 it's not trivial to prove; the issue is trying to make sure you can enter a loop the good-old-fashioned BF way 14:50:07 It will turn out to be very un-exciting, though 14:50:10 which requires somehow ignoring the value when you enter it 14:50:22 I see. 14:52:21 My Goldbach idea just degrades into "Loop over pairs of primes until you find two that sum to the next larger even number you need", and if you can't do that, you can't perform a top-level loop. So if the Goldbach conjecture is false, there is a limit to the number of useful iterations you can do. 14:52:45 ha! 14:52:59 next larger even number -> first you have to goto -2, then -4, then -6 ... which all basicallly are gotos back to the first instruction of the program 14:53:07 I remember asking bits of the mathematical community about the goldbach conjecture, though; they all believe it's true, just have no proof 14:53:11 Very contrived. :/ 14:53:26 I have a hard time fantasizing about it *not* being true. 14:53:46 Would there be just one "non-Goldbach" even number? 14:53:49 There could be 14:54:00 Nothing would seem to imply there would be more than one, if there were one. 14:54:01 arguably 2, but that doesn't count 14:58:17 Am I supposed to fall in love with Lua? 14:58:47 Sgeo_: it's good for some things, not for others 14:58:55 Heh... catseye.tc's front page looks pretty spectacular in FF when the canvas is only 23-or-so pixels high 14:59:15 * Sgeo_ is thinking of rewriting some of the C# stuff in Lua so it can be easily unloaded, changed, and loaded without restarting the bot 14:59:42 Sgeo_: Never a good idea to fall in love with a language. It can only lead to hurt when the summer's over. 15:00:25 Seriously, Lua's OK. In many respects, for me, it beats both Python and Ruby. 15:01:08 In others, well, nothing's perfect. 15:02:02 In what ways is Lua imperfect? 15:02:40 Er, well. There is no "standard" way to do object-orientation. So, if you mix and match two libraries which use different styles, it can be ugly. 15:03:05 I also something think they went too far, when they merged dictionaries and arrays into one thing. 15:03:15 s/something/sometimes/ 15:04:12 Most of my other gripes are about the implementation and things like availability of libraries, which aren't really core language issues. 15:05:13 -!- Gracenotes has quit (Ping timeout: 264 seconds). 15:05:42 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 15:05:53 -!- pikhq has quit (Read error: Connection reset by peer). 15:06:21 Where it beats Python: Lua doesn't make a distinction between attributes and dictionary entries. a['foo'] is the same as a.foo. The division in Python is artificial at this point, and in the code base I work on at least, extremely annoying. 15:06:55 cpressey: JavaScript works like that too 15:07:07 come to think of it, JS and Lua are surprisingly similar languages 15:07:26 Yes, JS is actually a lot better than I usually give it credit for. And yes, similar to Lua in many ways. 15:07:53 JS has mostly been held back by being mostly trapped inside a web browser 15:08:35 Web browsers with generally lousy debugging/interaction capabilities, especially. 15:08:59 I think it's not a coincidence that much of the JS I write has the same feel as much of the Assembly I write. 15:09:07 both Firebug and the Epiphany/Safari/Chrome web inspector are pretty good for debugging 15:09:31 Well yes, I didn't mean to imply such tools weren't available. 15:10:19 -!- relet has joined. 15:32:40 -!- pikhq has joined. 15:46:26 -!- hiato has quit (Quit: Lost terminal). 15:47:41 -!- hiato has joined. 15:50:45 -!- hiato has quit (Client Quit). 15:51:08 -!- Quadrescence has quit (Ping timeout: 265 seconds). 15:52:47 -!- hiato has joined. 15:55:29 -!- Quadrescence has joined. 16:05:10 -!- KingOfKarlsruhe has joined. 16:06:32 -!- ais523 has quit (Read error: Operation timed out). 16:06:57 -!- ais523 has joined. 16:25:56 -!- Quadrescence has quit (Ping timeout: 265 seconds). 16:26:35 -!- hiato has quit (Quit: underflow). 16:27:09 -!- ais523 has quit (Ping timeout: 240 seconds). 16:30:30 -!- hiato has joined. 16:30:49 -!- hiato has quit (Client Quit). 16:31:15 -!- hiato has joined. 16:31:19 -!- Quadrescence has joined. 16:31:22 -!- hiato has quit (Client Quit). 16:34:06 -!- hiato has joined. 16:38:09 -!- augur has quit (Remote host closed the connection). 16:42:07 -!- pikhq has quit (Quit: New kernel; back in a bit.). 16:42:44 -!- KingOfKarlsruhe has quit (Remote host closed the connection). 16:43:27 -!- kar8nga has joined. 16:45:02 -!- pikhq has joined. 16:59:25 -!- oerjan has quit (Quit: leaving). 17:04:02 -!- kar8nga has quit (Remote host closed the connection). 17:11:46 -!- hiato has quit (Quit: underflow). 17:12:27 -!- hiato has joined. 17:13:37 -!- hiato has quit (Client Quit). 17:14:10 -!- hiato has joined. 17:22:58 -!- KINGZ has joined. 17:39:03 -!- KINGZ has left (?). 17:43:18 -!- ais523 has joined. 18:01:38 -!- Quadrescence has quit (Ping timeout: 265 seconds). 18:08:05 -!- augur has joined. 18:23:40 -!- ipatrol has joined. 18:23:52 -!- ipatrol has left (?). 18:30:24 -!- kar8nga has joined. 18:30:26 -!- kar8nga has quit (Read error: Connection reset by peer). 18:40:47 -!- Geekthras has quit (Ping timeout: 265 seconds). 18:53:23 -!- Geekthras has joined. 19:05:30 -!- coppro has joined. 19:10:13 -!- BeholdMyGlory has quit (Ping timeout: 260 seconds). 19:10:38 -!- Gracenotes has joined. 19:17:34 -!- Quadrescence has joined. 19:22:52 -!- ais523 has quit (Remote host closed the connection). 19:23:14 -!- ais523 has joined. 19:26:22 -!- Geekthras has quit (Ping timeout: 276 seconds). 19:34:25 -!- Geekthras has joined. 19:45:46 -!- coppro has quit (Quit: Reconnecting…). 19:47:41 -!- Gracenotes has quit (Ping timeout: 276 seconds). 19:51:09 -!- poiuy_qwert has joined. 19:54:09 -!- coppro has joined. 19:57:21 -!- ghostwriter42 has joined. 19:58:16 quick i need a someone to pick a *even* number between 50 and 100 that has two different digits! 20:00:04 68 20:00:29 interesting 20:00:35 thank you 20:00:40 hm? 20:00:41 -!- ghostwriter42 has left (?). 20:00:47 -!- ghostwriter42 has joined. 20:00:59 Is 68 a common response or something? 20:01:29 http://mindcontrol101.blogspot.com/ read the paragraph that says "pick a number" 20:02:17 ... 20:02:27 i guess you win 20:03:04 -!- ghostwriter42 has left (?). 20:07:10 -!- coppro has quit (Ping timeout: 252 seconds). 20:07:32 -!- pikhq has quit (Read error: Connection reset by peer). 20:11:21 -!- coppro has joined. 20:15:21 -!- Geekthras has quit (Ping timeout: 240 seconds). 20:16:23 -!- pikhq has joined. 20:18:02 -!- impomatic has joined. 20:18:05 Hi :-) 20:20:13 Can anyone think of a cool name for a website specialising in programming games? 20:21:13 no, but I am interested 20:21:45 -!- BeholdMyGlory has joined. 20:21:45 -!- BeholdMyGlory has quit (Changing host). 20:21:45 -!- BeholdMyGlory has joined. 20:24:13 It's a shame programming.com, programming.net and programming.co.uk are wasted :-( 20:27:43 proggames? 20:28:55 impomatic: btw, there was a bit of movement on the BF Joust leaderboard recently 20:28:57 so it isn't /quite/ dead 20:29:13 Thanks, I'll take a look :-) 20:32:38 * pikhq can has decent headphones! And stuff for curry, reubens, and such! 20:32:43 Glee! 20:32:53 <3 Glee 20:33:08 -!- Gracenotes has joined. 20:35:34 -!- Gracenotes has quit (Excess Flood). 20:35:52 XD 20:38:34 -!- CakeProphet has joined. 20:52:20 -!- MizardX- has joined. 20:56:43 -!- MizardX has quit (Ping timeout: 276 seconds). 20:56:45 -!- MizardX- has changed nick to MizardX. 20:56:52 -!- Behold has joined. 20:57:09 -!- BeholdMyGlory has quit (Disconnected by services). 20:57:14 -!- Behold has changed nick to BeholdMyGlory. 21:00:31 -!- Gracenotes has joined. 21:04:51 -!- Geekthras has joined. 21:21:21 -!- Geekthras has quit (Ping timeout: 260 seconds). 21:36:34 -!- impomatic has quit (Quit: ChatZilla 0.9.86 [Firefox 3.5.10/20100504093643]). 22:06:55 -!- coppro has quit (Remote host closed the connection). 22:39:57 -!- ehirdiphone has joined. 22:40:00 Knuth? 22:40:15 Announced what? 22:40:35 good point, I haven't heard any followup on that 22:40:40 I don't know, is the answer 22:40:47 which surprises me, I thought it would have at least hit Slashdot 22:41:07 T'was yesterday night, late. 22:41:13 pikhq will know. 22:41:32 just checked a search: it seems he was joking 22:41:45 he announced an XML-based TeX, called iTex 22:41:47 ehirdiphone: It was a joke. 22:41:53 ais523: Guess (stolen from Hacker News): a typo was found in a comment in METAFONT 22:42:00 pikhq: Bah! :P 22:42:29 iTeX features Unicode, XML syntax, 3D printing, stereophonic sound, and a menu-driven interface. 22:42:36 only places the actual announcement seems to have hit are Twitter and ycombinator.com 22:42:54 Yeah, Unicode in TeX. Hahaha, what a silly idea. 22:43:40 Remind me to eat after leaving. I'm starving. 22:43:56 Have to scavenge something from my room... 22:45:03