00:07:47 -!- FireFly has quit (Remote host closed the connection). 00:16:49 cheater99: It is not allowed to jump. 00:17:01 ok 00:25:12 * Phantom_Hoover → sleep 00:26:04 -!- augur has quit (Remote host closed the connection). 00:27:23 -!- augur has joined. 00:29:57 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 00:47:33 -!- variable has quit (Quit: Daemon escaped from pentagram). 00:48:06 -!- variable has joined. 01:14:31 * pikhq wonders why nether minecart systems aren't popular 01:16:22 -!- augur has quit (Remote host closed the connection). 01:17:35 Did you read the article about scoring in computer games? 01:18:28 You *cannot* use a single scoring system for all games; you have to change it. 01:25:40 Probably be nicer if you could ride a minecart in and out of the nether, though. 01:25:43 -!- augur has joined. 01:45:52 well damnit I got the sockets in befunge working but I can't connect anywhere :( 01:51:14 Aaah, Colorado. Land of snow the day before Easter. 01:51:21 -!- iconmaster has quit (Ping timeout: 240 seconds). 01:51:28 Seriously, it's April 23rd and it's fucking snowing. 01:53:08 It doesn't snow today, in here. 01:53:36 And you're in Canada. 02:02:16 -!- Fuco has quit (Quit: Quit). 02:05:13 -!- BeholdMyGlory has quit (Remote host closed the connection). 02:26:35 Yes, I am in Canada. 02:30:40 -!- Lymia has quit (Read error: Connection reset by peer). 02:34:54 -!- Lymia has joined. 02:39:25 -!- augur has quit (Remote host closed the connection). 02:40:22 -!- augur has joined. 02:45:23 -!- pikhq has quit (Quit: Lost terminal). 03:01:37 -!- poiuy_qwert has quit (Ping timeout: 250 seconds). 03:01:57 -!- augur has quit (Remote host closed the connection). 03:06:38 -!- poiuy_qwert has joined. 03:08:41 -!- augur has joined. 03:12:46 http://en.wikipedia.org/wiki/Template:Str_len/core wouldn't it have been easier just to add a magic thing for this... 03:22:56 -!- augur has quit (Remote host closed the connection). 03:23:04 elliott's little toe is made of magic 03:23:13 what. 03:23:32 shut the fuck up, birds outside. shut the fuck up. 03:23:50 You've never seen/heard Magical Trevor? 03:24:16 i don't recall that line. 03:25:05 fuck. 03:25:07 fuck X for breaking like that. 03:25:10 -!- elliott has quit (Quit: Leaving). 03:42:57 -!- pikhq has joined. 03:45:58 -!- augur has joined. 03:53:29 -!- azaq23 has quit (Quit: Leaving.). 03:54:52 -!- lament has joined. 04:02:30 Woot! I found a paper discussing my game of war question 04:05:22 -!- sebbu has quit (Read error: Connection reset by peer). 04:05:48 -!- sebbu has joined. 04:05:49 -!- sebbu has quit (Changing host). 04:05:49 -!- sebbu has joined. 04:07:59 -!- augur has quit (Remote host closed the connection). 04:08:54 -!- pikhq_ has joined. 04:10:10 -!- augur has joined. 04:10:48 -!- pikhq has quit (Ping timeout: 248 seconds). 04:11:23 variable: You found paper? What is the answer? 04:11:49 zzo38: reading it now. It discussed a few things - I'm trying to find average case complexity 04:14:37 zzo38: darnit. It doesn't talk about complexity; I found one about its finiteness (which it claims can be made finite) and one about its limiting probability of a winning straegy 04:15:20 zzo38: http://arxiv.org/abs/1007.1371 04:15:23 -!- augur has quit (Remote host closed the connection). 04:15:54 -!- poiuy_qwert has quit (Quit: Leaving). 04:28:35 -!- wareya_ has joined. 04:31:22 -!- wareya has quit (Ping timeout: 240 seconds). 04:36:46 -!- augur has joined. 04:36:48 -!- augur has quit (Remote host closed the connection). 04:36:51 -!- augur has joined. 05:08:58 -!- augur has quit (Ping timeout: 240 seconds). 05:31:30 -!- pikhq_ has quit (Ping timeout: 252 seconds). 05:33:33 -!- pikhq has joined. 05:42:26 -!- pingveno has quit (Ping timeout: 240 seconds). 05:45:14 -!- monqy has joined. 06:03:55 -!- augur has joined. 06:05:17 -!- pingveno has joined. 06:07:06 -!- pingveno_ has joined. 06:11:29 -!- augur has quit (Read error: Connection reset by peer). 06:13:30 -!- augur has joined. 06:28:58 -!- asiekierka has joined. 06:32:55 -!- augur has quit (Remote host closed the connection). 06:55:34 ... There's a distinction between "w" and "wh" in English? 06:55:40 This is complete and utter news to me. 06:55:56 pikhq: Depend on kind of pronounce. But, yes, it is. 07:05:14 Ah, apparently the large majority of American accents have merged the two. 07:06:42 That *does* explain why "white" gets transliterated as "howaito" in Japanese... 07:16:25 -!- cads has quit (Remote host closed the connection). 07:25:11 pikhq: Yes, of course that isn't the Japanese word for white, it is the Japanese word for the English word for white, sometimes used in compounds of loan words and stuff like that. I have seen it used, so I can confirm that it is the correct transliteration. 07:30:25 -!- lament has quit (Ping timeout: 276 seconds). 07:30:25 zzo38: I did specify "transliterated", so. :) 07:30:47 Of course, the Japanese word for white is 白い (しろい) [shiroi]. 07:32:14 Yes, I know. OK 07:32:26 (Both) 07:32:50 Well, yeah, you do seem to know at least a bit of Japanese. But not all who read the chat do. 07:33:18 OK 07:38:07 "Bishops agree sex abuse rules" As a speaker of American English, there is no way for this headline to parse as anything *but* comical. 07:38:50 Apparently in UK English, "agree" is transitive, allowing that to also be interpreted as "Bishops agree on sex abuse rules". But that interpretation does not come out of the parser-in-my-head at all. 07:45:15 -!- monqy has quit (Quit: hello). 07:55:14 What the *fuck*. 07:55:35 Gibraltar Airport has a runway with a *road intersecting it*. 07:56:12 They literally stop traffic on a 4-lane road so planes can take off. 07:59:11 Said runway is also the Spain/Gibraltar border. 08:00:54 -!- jix has quit (Read error: Connection reset by peer). 08:07:40 Need to get to work on homework. At 4:06 AM. After having an entire week of no school to do everything. 08:08:56 Why, you almost sound like a college student there. 08:08:56 :P 08:09:23 Hmm. 08:09:26 2:08. 08:09:33 Sleep may be a good idea. 08:09:42 Indeed, 'twould seem to be a great idea. 08:09:54 -!- pikhq has quit (Quit: 寝る!). 08:13:36 -!- zzo38 has quit (Remote host closed the connection). 08:14:41 -!- Sgeo has quit (Quit: Homework time). 08:22:48 -!- oerjan has joined. 08:23:50 -!- oerjan has quit (Client Quit). 08:43:31 yeah, gibraltar is crazy 08:46:00 -!- hiato has joined. 08:46:16 -!- hiato has left. 08:47:05 -!- augur has joined. 09:22:11 -!- Lymia_ has joined. 09:22:14 -!- Lymia has quit (Disconnected by services). 09:22:16 -!- Lymia_ has changed nick to Lymia. 09:22:18 -!- Lymia has quit (Changing host). 09:22:18 -!- Lymia has joined. 09:25:00 pikhq (for log reading): yes the intersection at http://upload.wikimedia.org/wikipedia/commons/2/20/Gibraltar_Airport_panorama.jpg is pure awesome 09:25:08 maybe they should build a tunnel though 09:30:15 oh and nice how the same aicraft appears so many times in there 09:35:23 -!- jix has joined. 09:35:24 -!- jix has quit (Client Quit). 09:35:42 -!- jix has joined. 09:40:11 -!- MigoMipo has joined. 09:53:53 -!- zzo38 has joined. 09:54:41 Have you ever wanted to have any of the INTERCAL commands/operators in any circumstances in other programming languages? 09:58:46 hello 09:58:58 Hello 09:59:10 why would wikipedia cite the same paper twice? 09:59:21 http://en.wikipedia.org/wiki/Parallel_computing 41 == 4 09:59:34 Probably it is a mistake. 10:00:53 should separate citations refer to the same number? 10:01:00 cheater99, same page number? 10:01:25 oh right, they are citing separate parts of the paper 10:01:28 thanks Vorpal 10:04:51 Yes, that is it. I did not look at the article so I obviously did not notice 10:08:15 the citation notes actually mention that too 10:08:28 * cheater99 has not noticed, skipping over the contrived body of the text 10:11:32 hah one of the authors on this one other paper is Viral Shah 10:11:39 guess he's not a meme yet huh 10:26:40 -!- augur has quit (Remote host closed the connection). 10:27:06 -!- Phantom_Hoover has joined. 10:35:47 -!- MigoMipo has quit (Remote host closed the connection). 10:47:34 -!- augur has joined. 10:54:34 " Is there a language that doesn't let you name arguments to a function, forcing you to go pointfree?" <<< unlambda! 10:55:04 oklopol: Yes, I mentioned Unlambda, too. 10:57:10 -!- augur has quit (Remote host closed the connection). 10:57:17 " who want (f . g)(x) to be f (g x)" <<< some books do use postfix notation 10:58:15 -!- FireFly has joined. 11:05:52 zzo38: yeah i noticed just after saying 11:06:43 zzo38: there's something called curry-howard-lambek correspondence for connecting types, logic and categories i think 11:07:07 you asked something like this i seem to recall 11:10:18 copumpkin: so far, no theorems proven on ##categorytheory 11:11:20 -!- greenguy has joined. 11:15:27 -!- augur has joined. 11:15:45 hi augur 11:16:00 hey oklopol 11:16:04 do you know how to respond to disk-sectors being unable to be read? 11:16:32 yes! 11:16:39 i have a perfect response 11:16:45 buy a new computer 11:17:07 be sure they install all the programs at the shop because that shit can be complicated 11:22:03 -!- augur has quit (Remote host closed the connection). 11:26:42 http://publishing.cdlib.org/ucpressebooks/view?docId=ft0f59n73z&chunk.id=d0e6438&toc.depth=1&toc.id=d0e6438&brand=ucpress 11:26:51 hello, lopolko 11:28:07 Finally, my tsumeshogi program will find all the moves that give check. But now it has to find the moves to get out of check, too. 11:32:41 zzo38: how many states are there in chess? 11:33:02 at least 64 11:33:04 cheater99: I don't know. There are a lot, though. 11:33:10 zzo38: why don't you know? 11:34:04 I have never tried to calculate it. 11:34:08 ok 11:34:41 Shogi has more, though. And Go has a lot more. 11:35:21 i think it's choose(32, 96) / number of cases where the different pieces can be swapped 11:35:48 oh well, back to my research 11:36:21 I think you have failed to take into account many of the other rules of chess, such as promotion, castling, en passant, and so on. 11:36:59 And that is not all! 11:37:46 yeah i have :p 11:37:51 but i know nothing of chess :p 11:38:32 Then you must learn. 11:39:27 actually choose(32, 96) is 0 :P 11:39:40 # the capture can only be made at its first opportunity. 11:39:46 wow that totally messes up 11:39:52 oklopol: :P 11:40:00 cheater99: You are refering to en passan? 11:40:05 cheater99: YOU MUST REALLY SUCK AT MATH! 11:40:18 zzo38: yes, this "at first opportunity" thing totally creates zillions of states 11:40:30 oklopol: no, i suck at using non-mathematical notation for mathematics. 11:40:49 oklopol: i wouldn't know which mathematic that would refer to. 11:41:02 i don't think there's significant knowledge of what chess positions are reachable past just counting all the possible board contentses 11:41:02 oklopol: which mathematic were you talking about? 11:41:33 cheater99: i was referring to the one where choose(32, 96) is 0. in the one where choose(32, 96) is, umm, a lot, i'm sure you're very good 11:42:08 cheater99: LOL zillion is not a number :D 11:42:13 oklopol: ok, i don't think i have used your mathematic a lot, i guess i have spent most of my time using other mathematics 11:42:26 oklopol: it totally is! 11:42:44 it's the square root of a jillion. 11:42:45 cheater99: that's kind of a shame, this means if we ever want to discuss maths, we will have to relearn everything :\ 11:42:54 oklopol: :-\ 11:43:02 oklopol: let's just talk about category theory then. 11:43:12 :D 11:43:12 and i'm not sure i can live with choose(32, 96) being a lot! 11:43:28 you have no choice. 11:43:31 i don't understand how it can be 11:43:32 -!- BeholdMyGlory has joined. 11:43:41 cheater99: oh wow it has implications that deep? 11:43:58 for you choose(32, 96) = 0 therefore you have no choice! 11:43:59 i would never have guessed it contradicts choice 11:44:10 you have 0 choices. 11:44:13 MAYBE the axiom of foundation 11:44:24 i totally founded you with you mom 11:44:39 i actually just talked about how i was born with my mom today 11:45:17 did you mention things like "endofunctor"? 11:45:30 oh get a room 11:45:58 :p 11:47:11 ok, i'm doing a collection of notes on parallel computation and algorithms.. 11:47:19 i think i'll soon have to do notes-of-notes :-\ 11:47:32 i'm not sure if this action will ever halt, though. 11:47:59 list of lists of lists 11:48:12 parallel algos are kinda gay aren't they 11:48:53 if by that you mean that one parallel algo will put its penis in the anus of another parallel algo of the same kind, then yes. 11:50:28 that's exactly what i mean 11:54:31 cool... i've just summarized the same book twice, without realizing. 11:54:38 fortunately enough i have summarized different parts of it. 11:56:48 -!- siracusa has quit (Ping timeout: 250 seconds). 11:56:52 why are you summarizing 11:57:03 when you could be productarizing?` 11:57:10 *-` 11:58:20 -!- siracusa has joined. 12:02:16 you totally blew my mind, dude. 12:23:33 sorry i mean 12:23:38 you totally blowed my mind! 12:29:40 wow nice 12:29:41 http://www.qwiki.com/q/#!/FROSTBURG 12:29:56 i like the fact of what it's talking about. 12:34:17 -!- copumpkin has quit (Ping timeout: 260 seconds). 12:34:44 -!- copumpkin has joined. 12:58:51 Hmm... RIPE NCC burnrate seems to be about 110.5k addresses per day.. 13:00:46 -!- oerjan has joined. 13:02:19 APNIC in the end days burned through their pools at over ten times that rate (1.2M or so makes RIPE's 110.5k seem pretty small usage). 13:02:27 (per day that is). 13:05:53 i think it's choose(32, 96) / number of cases where the different pieces can be swapped 13:06:15 as oklopol said that's backwards, also don't you mean 64 rather than 96 13:06:27 + that extra state others mentioned 13:06:39 i define choose(x, y) as "choose x items from y items". 13:06:39 hm wait 13:06:53 do you realize why it's 96? 13:06:56 the usual order is the other way 13:07:05 i am an anarchist. 13:07:16 no, that's what i was asking 13:07:52 oh hm 13:08:00 64+32... 13:08:24 i realized you need something for captured pieces, and 96 _might_ work for that 13:09:03 'zactly. 13:09:21 of course, this approach has countless problems. 13:09:29 as in, the whole approach altogether :D 13:09:39 oh also choose is usually assuming you consider all pieces swappable 13:10:13 yet another discrepancy 13:10:38 i'm pretty bad with specifics when it comes to it, i'm usually good at general ideas and stuff like that 13:10:49 at/with 13:11:54 i've seen the other version with no swapping called "permutations" 13:11:58 http://cowichanp.wordpress.com/2010/10/21/lease-framework-for-embarrassingly-parallel-problems/ < heh, i like this 13:12:26 oerjan: yes, but permutations of a set have the same amount of items as the set 13:12:31 but in any case to _really_ count chess positions you probably need an ungodly mess of swapping and non-swapping stuff 13:12:33 Number of blocks burned this year: APNIC: 6.229. RIPE NCC: 1.025. ARIN: 0.741. LACNIC: 0.304. AfriNIC: 0.162. Number of /32s handed out this year: RIPE NCC: 1 364. ARIN: 803. LACNIC: 296. APNIC: 192. AfriNIC: 63. 13:12:47 -!- iconmaster has joined. 13:13:20 cheater99: um obviously you interpret the order of items as something specific depending on the problem's needs 13:13:48 i have not understood that last statement. 13:14:58 what i mean is the function that counts how many ways to pick k elements from n, with the order of choosing actually mattering, unlike for the usual meaning of choose 13:15:28 elliott (for log reading): talking about size of inferno source code, being huge: 13:15:29 n(n-1)...(n-k+1) 13:15:33 72Mlinux-2.6.38.4.tar.bz2 13:15:33 52Minferno-20100120.tgz 13:15:36 WELL! 13:16:10 elliott: and that includes the user space for inferno. Not so for the linux case 13:16:48 Totals: 8.461 blocks burnt, 2 718 /32s handed out. 13:17:06 cheater99: oh and promotions make things even more complicated since a pawn can potentially become 4 different pieces 13:17:17 i know right 13:17:19 Ilari, ipv6? 13:17:32 but we're only talking about states 13:17:35 IPv4 blocks, IPv6 /32s. 13:17:36 not transitions between states 13:17:44 Ilari, what is the relative allocation rates for ipv6 between the RIRs? 13:17:52 cheater99: well the problem there is you can get more that two bishops, say 13:18:06 Ilari, and how much did it speed up for them after APNIC ran out ov ipv4? 13:18:07 of* 13:18:08 i know 13:20:25 Total IPv6 allocations since APNIC ran out (a week): 102 /32 + 4324 /48s. 13:20:42 zzo38: yes, this "at first opportunity" thing totally creates zillions of states 13:21:26 not really, you only need 9 options for whether a pawn moved in that particular way last time and if so which 13:21:42 Ilari, huge increase then? 13:21:51 Ilari, did it affect the other RIRs rate too? 13:21:59 Well, this stuff is fourth quadrant to the max. 13:22:53 IPv4 blocks since then: 0.081 13:34:31 -!- Lymia has quit (Ping timeout: 260 seconds). 13:35:15 -!- Lymia has joined. 13:38:43 -!- TeruFSX2 has joined. 13:42:10 Global IPv6 depletion: 0.027644% 13:44:33 RIR IPv6 depletion: 2.801% 13:49:05 9 726 455 456 /48s allocated. 13:49:34 Heh, wonder how long it takes to break 10 billion /48s... 13:52:03 One super-large ISP and one large ISP and it is there. 13:53:43 Yes, Some ISPs have gotten /20s. 13:55:46 how many addresses is a /20? 13:57:47 I know exactly what is wrong with the program; however, I cannot think of the way to correct it. 13:59:22 Well, this stuff is fourth quadrant to the max. <-- btw, why is it called "fourth quadrant"? 14:02:25 um if this is a complex number or xy plane, then the quadrants are customarily numbered counterclockwise starting at the x > 0, y > 0 one 14:02:35 oerjan, this is about statistics 14:02:40 huh 14:02:43 oerjan, ipv6 allocation rate. 14:03:20 maybe it's a star trek reference, they have those galaxy quadrants 14:03:31 maaybe 14:03:39 lets wait for Ilari to explain it 14:03:54 * Vorpal waits while new kernel builds 14:04:10 no let us speculate widely and then ban him for trolling when he disagrees with what we come up with 14:05:57 I like that one 14:06:06 oerjan, or maybe we could *gasp* google? 14:06:16 oh dear 14:06:23 bringing out the big guns, are we? 14:06:48 oerjan, yes, *looks for link* 14:06:55 deer are hunted using big guns 14:07:34 Ilari is a deer? that explains so much 14:07:38 oerjan, this gun: http://upload.wikimedia.org/wikipedia/commons/f/f5/GAU-8_meets_VW_Type_1.jpg 14:07:46 the gun is the object behind the car 14:07:59 it is one some sort of trolley 14:08:11 yeah i wasn't sure whether it was the car or the huge gun that's the gun so thanks for explaining 14:08:29 oklopol, you are welcome 14:12:12 -!- Tritonio has joined. 14:12:58 -!- ais523 has joined. 14:14:52 -!- variable has quit (Read error: Operation timed out). 14:16:37 -!- variable has joined. 14:20:21 -!- TeruFSX2 has quit (Remote host closed the connection). 14:30:26 -!- zzo38 has quit (Remote host closed the connection). 14:32:18 -!- impomatic has joined. 14:40:29 -!- Tritonio has quit (Quit: Bye). 15:02:37 -!- Tritonio has joined. 15:15:30 -!- zzo38 has joined. 15:15:44 I want to cast "Break Into Debugger" spell. 15:18:03 bbl kernel upgrade 15:18:14 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 15:18:56 zzo38: that reminds me of the ed stories 15:19:40 oerjan: ? 15:20:00 they managed to hack into the underlying implementation of reality 15:20:40 s/they/ed/ 15:21:33 causing cosmic disaster 15:22:01 Other spell I want to cast is "Fourier Transform" and "Circling the Square" and "This is Not a Pipe". 15:23:10 fourier transform needs to be cast with some frequency 15:25:03 http://www.youtube.com/watch?v=UlZq3ZDLkak&NR=1&feature=fvwp 15:28:51 But I also want to cast "Feign Visibility" and "Merciful to Gibbering Mouthers" and "Detect Detections" and "Fire to Water". 15:29:51 Do you know about any of these spells? 15:31:03 -!- KingOfKarlsruhe has joined. 15:31:33 well fire to water is fairly simple 15:31:35 I want a magic ring that changes its color to whatever you want it to be but has no other effects. 15:31:38 dunno about the other ones 15:31:48 I'm trying to figure out what "Feign Visibility" would do, but it sounds like a great spell 15:31:50 hm detect detections... maybe one could have a self-application spell that could be applied to any other 15:32:07 oerjan: so it, umm, heals healing spells? 15:32:15 oerjan: I mean, like other spell in D&D game such as "Detect Evil", "Detect Lawful", and so on. 15:32:18 perhaps 15:32:22 It detects those. 15:32:40 oerjan: I think a diagonal argument proves that combined with pretty much any other metaspell, that spell can't exist 15:32:48 i am making a list of (embarassingly) parallel problems 15:32:53 anyone want to take a look at my notes? 15:33:10 ais523: hey you just need to disallow any function without a fixpoint (such as negation) :D 15:33:11 cheater99: Can you type a few examples here? 15:33:27 (well i assume) 15:33:42 oerjan: good point, although I can't think of any metaspells that have non-degenerate fixed points 15:33:47 -!- Vorpal has joined. 15:34:28 i wondered a long time ago if you could make a pure lambda calculus for something resembling logic if you did that... 15:34:34 zzo38: can't you detect detection spells with a simple detect magic, combined with enough Spellcraft ranks to determine that the detections are level 1 divination spells? 15:34:59 zzo38: sure but they're about 6 print pages. can i paste in 6 print pages? 15:35:12 cheater99: No, just a few short examples. 15:35:12 cheater99: you could use a pastebin 15:35:28 ais523: Yes, but this would be different, it can last longer and can see if they are such detection spells, whether or not they detect you, and so on. 15:35:28 ais523: i know 15:35:39 are you including problems that parallelise to map+fold, i.e. become O(log n) when parallelised rather than O(1)? 15:35:50 I'm not sure if that counts as embarassingly parallel or not 15:36:09 and there are other situations, like matrix multiplication, which is O(n) when parallelised (and O(n^2) sequentially) 15:36:29 http://pastebin.com/gkdDF0fE 15:36:36 ais523: i was just pasting as you typed that. 15:36:49 ais523: yes, i guess i do 15:37:06 ais523: i recall i had this strange idea (a bit unmotivated but...) that you could have an LC model in which every function was uniquely determined by its set of fixed points 15:37:23 (i didn't prove you could, it was just an idea) 15:37:24 that's... bizarre 15:37:52 you guys enjoy reading that 15:37:57 there's links to papers and books and stuff 15:38:15 -!- elliott has joined. 15:38:25 oerjan: it works if the only type you have is the boolean 15:38:28 ?seen Phantom_Hoover 15:38:28 Unknown command, try @list 15:38:28 it's very unorderly, a lot of the stuff is just applications (i need real world applications a lot), in the end i'll sort applications by underlying problem 15:38:29 at least at first order 15:38:31 huh 15:38:31 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 15:38:34 it was based on noticing that it seemed to work for things like `kx and i 15:38:34 i thought \bot had seen 15:38:46 ais523: um this was untyped, definitely 15:38:50 if anyone has any other applications (especially in biotech research) i'm all ears 15:38:54 oerjan: ah, OK, that's a little saner 15:39:07 hm 15:39:17 -!- elliott has quit (Client Quit). 15:39:27 if you mean the Unlambda sense of purely functional where the only thing functions can operate on are different functions 15:39:53 zzo38: what do you think so far? 15:40:39 @seen 15:40:39 Unknown command, try @list 15:41:02 cheater99: I think the list is good enough so far. I also think, could some cellular automata such as game of life, be computed using convolution and lookup 15:41:04 elliott: they must have removed it 15:41:18 zzo38: keep em coming, any other ideas? 15:41:29 ais523: yes that was the idea 15:41:36 cheater99: Not at this time. 15:41:37 oerjan: he's quit 15:41:42 ais523: what do you think? 15:41:44 oerjan: if that works, that's completely insane but beautiful 15:41:57 cheater99: I haven't looked at it 15:41:59 cheater99: i know i'm just assuming he logreads 15:42:54 Gregor: insane feature suggestion for glogbot: let stalker mode send as well as read, so there'd be no reason to ever log onto IRC at all 15:43:13 oerjan: Restate my assumptions: One, Mathematics is the language of nature. Two, Everything around us can be represented and understood through numbers. Three: If you graph the numbers of any system, patterns emerge. 15:43:17 cue banning glogbot in 3,2,... 15:43:47 cheater99: wat 15:44:04 ais523: elliott already suggested that :P 15:44:05 just a movie quote which you reminded me of. 15:44:12 Or else +q'ing glogbot instead of +b is also one way 15:44:31 let's pro-actively +q glogbot before elliott does it 15:44:42 :p 15:44:42 zzo38: good point 15:45:10 cheater99: a bit early if they add something actually _useful_ for it to say... 15:45:30 probability->0 as t->inf 15:49:35 -!- variable has quit (Ping timeout: 240 seconds). 15:51:46 -!- elliott has joined. 15:53:31 elliott: they must have removed it 15:54:08 -!- elliott_ has joined. 15:56:35 -!- elliott has quit (Ping timeout: 260 seconds). 15:59:32 ais523: for that matter i haven't proved that the usual lambda calculus beta-eta-equivalence doesn't have this property, either 16:00:30 hm ideally you should only need to look at the expressions composed from s and k 16:02:27 I wrote a program, I know exactly what is wrong with it but not sure the best way to correct it. Do you know how to do it? 16:02:48 -!- Lymia has quit (Ping timeout: 248 seconds). 16:03:18 zzo38, surely you realise you have to provide more details than that for us to be able to have any opinion on it 16:03:39 Vorpal: Yes. OK. 16:03:55 elliott_, there are some things for you to log read. 16:04:04 http://sprunge.us/LATI 16:04:05 i think i saw one thing. what are the others. 16:04:26 elliott_, uh? a highlight about linux kernel size vs. inferno 16:04:33 nothing else? 16:04:39 nothing else from me at least 16:04:42 k 16:04:43 seen 16:05:01 elliott_, I wonder how compressed linux kernel source can be a frigging 77 MB! 16:05:29 Vorpal: there's a lot of it... 16:05:49 ais523, yes but even so. It seems absurd 16:06:04 Vorpal: What is the size vs inferno? And what is the speed vs? etc? 16:06:31 sorry, 72, not 77 16:06:41 72Mlinux-2.6.38.4.tar.bz2 16:06:41 52Minferno-20100120.tgz 16:06:52 and inferno tarball includes user space too 16:06:55 not just the kernel 16:07:14 besides it is gzip, which on average doesn't compress as well as bzip2 16:07:27 zzo38, speed of what? 16:08:03 Do you know how to correct my program? And then I can learn, and can do it myself too. 16:08:12 zzo38, I can't read that program. 16:08:37 it looks like tex, yet not 16:08:57 there is so much info you need to provide 16:09:00 what is wrong with it, and where 16:09:03 for example 16:09:59 What is wrong, is that of the move sequences are wrong not all scores are equal, yet it will display anyways, it needs to somehow keep the list of only the correct sequences so that it can ignore the others. 16:10:27 mhm, no idea 16:11:21 I was wonder if anyone knows how to program these kind of thing, so that I can learn, too, and correct it. 16:11:40 -!- KingOfKarlsruhe has quit (Remote host closed the connection). 16:12:26 Vorpal: If you do not know, do you know if someone else knows? 16:12:35 no clue 16:12:42 or maybe try elliott_ ;) 16:12:49 no 16:12:52 try ais523 16:12:58 he knows 16:13:03 elliott_, XD 16:13:24 ais523: Do you know? 16:13:40 zzo38: let me look at hte program 16:14:06 -!- elliott_ has quit (Quit: Leaving). 16:14:12 -!- elliott_ has joined. 16:14:23 WHY NOT MY NORMAL NAME 16:15:30 zzo38: that code's a bit long for me to find a problem in 16:15:47 ais523: I described what is wrong already. 16:16:02 yep, but knowing what a problem is and finding it in the program are two different things 16:16:30 OK, it is the |analysis| subroutine that is causing this problem. 16:17:26 Does that help? 16:18:12 zzo38: I think you might need to add in penalties for time-wasting, so to speak 16:18:30 because that sort of analysis works best if you have scores in between the maximum and minimum, as well as the maximum and minimum themselves 16:18:53 also, "if(score==checkmate) score=mv" looks wrong to me, although I'm not sure as I can't follow the code too well 16:20:14 No, it seems to work. The problem is what I described before, that some sequences of moves do not always contain the correct score for all moves in the sequence, which should not be considered valid and not be displayed. Then it will display only some moves in the sequence, when it should display none of them. 16:21:58 wouldn't it be simplest to just not display such sequences, then, rather than trying to remove them earlier? 16:22:01 The chunk titled "Deal with recording after the move" makes those decisions but it should need help a bit... 16:22:21 ais523: It displays one move at a time, is why. 16:24:33 The paragraph starting "After every move, ..." should explain what "if(score==checkmate) score=mv" is for, hopefully. 16:26:21 Can you understand a bit better now? Or do you still don't know? 16:27:10 oh, I didn't realise the chunks were actual code, I thought it was just things-you-hadn't-written-yet pseudocode 16:28:07 Cool, computer in ><> http://esolangs.org/wiki/Fish#Computus :-) 16:29:53 Now you know when is Easter Sunday? I think it is today. 16:30:31 Today? Why haven't I received any eggs? 16:31:36 impomatic: I don't know why. 16:35:19 ais523: Now does it help that you know about that? 16:35:28 it is today 16:37:36 absolutely today, the neighborhood café was closed :( 16:38:04 :( 16:39:40 -!- Tritonio has quit (Quit: Bye). 17:07:53 -!- greenguy has quit (Ping timeout: 240 seconds). 17:09:03 ais523: have you perhaps had time to have a look yet? 17:09:10 -MemoServ- You are not logged in. 17:09:13 someone ghost elliott plz 17:09:17 if not, could you? 17:09:21 oh he is already gon 17:09:22 e 17:09:38 elliott_: how do I ghost someone without knowing their password? 17:09:43 * oerjan has no idea how to ghost another person's nick 17:09:53 oerjan: /msg nickserv ghost username password 17:09:55 ais523: well someone very helpfully did it for me a few days ago 17:09:57 /ns ghost nick password 17:10:02 ais523: _another_ person 17:10:07 oerjan: thus the password at the end 17:10:08 oerjan: yes, another person 17:10:13 if you're ghosting your own nick, you don't need the password 17:10:14 oerjan: you just need the password. 17:10:15 well duh 17:10:17 so long as you're identified 17:10:56 obviously i was asking an equivalent question to "without the password" 17:11:33 elliott_: are you _sure_ that event was not just a coincidence? 17:11:35 well, obviously you shouldn't be able to do that 17:11:54 an oper could k-line someone, which would have much the same effect 17:11:59 but k-lining ghosts seems like overkill 17:12:02 actually i sort of recall seeing "nick collision" then 17:12:04 oerjan: it said killed by services, and as I can't type my password without my number keys, it couldn't possibly have been me! 17:12:14 well it wasn't me! 17:12:32 well i guess someone may know a hack 17:12:38 elliott_: could you change your password? 17:12:43 -!- lament has joined. 17:12:49 ais523: not without typing my current one 17:12:53 and 0123456789 you can copy-paste from that to type your current one 17:13:19 & as I've said, I *can't* do that! (#1 thing I can't do) 17:13:27 you can't copy-paste? 17:13:32 100% undoable ^_^ 17:13:33 elliott_: this is obviously your karma for using a password written only using the number row >:D 17:13:40 not even if i put $999 towards it 17:13:53 and, hmm, there are numbers in your last few comments 17:14:04 :trollface: 17:14:20 ais523 is a bit slow 17:14:48 oerjan: there are numbers in your comment too! 17:15:02 NUMBERS, NUMBERS EVERYWHERE 17:15:17 ais523: if you haven't realised by now, I used all number-row punctuation there :) 17:15:32 elliott_: I see 17:15:38 I misse the punctuation 17:15:44 I misse it too. 17:15:50 but then, I didn't know for certain that the keys didn't work shifted 17:16:52 -!- azaq23 has joined. 17:17:36 i am now going to suspect elliott of having done the ghosting himself, back when 17:18:13 hey guys, general question, if i want to write a bijective function and have the language be able to automatically find the inverse, what do i need to do? what does the language need to be? 17:18:26 and having made up the whole keyboard thing from the start 17:18:35 just lightly suspect, mind you 17:18:57 or _maybe_ I'm not /that/ devious and just used a virtual keyboard 17:19:08 cheater99: well a reversible language might be nice for it... 17:19:13 after all, I've been painstakingly typing out numbers in private messages, I'm not that much of a chump for a prank ;D 17:19:18 oerjan: good idea 17:19:23 "That is an absolutely preposterous amount of Daves." 17:19:29 but then, I didn't know for certain that the keys didn't work shifted 17:19:35 if they did, it would be a software problem 17:19:41 since shift is a separate scancode thing 17:19:54 oerjan: you mean like befunge or something? 17:19:57 `quote 17:19:57 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 17:19:58 elliott_: not necessarily, the mistake could be in the keyboard controller somewhere 17:19:59 or ><>? 17:20:00 148) what's the data of? [...] Locations in a now deceased game called Mutation I have no problems with you being interested in online games but the necrophilia is disturbing 17:20:02 cheater99: that isn't reversible 17:20:10 yeah, but something *like* it 17:20:13 cheater99: befunge isn't reversible, but the wiki has a category for reversible computing 17:20:50 I think Befreak is meant to be based on Befunge but reversible, there are also other 2-D reversible program languages 17:21:35 mind you this essentially amounts to having to write the function in such a way that it is easily reversible, so it might not actually help you if you have a _genuine_ function inversion problem 17:21:53 in which case probably try a computer algebra system 17:22:09 more like a pomcuter salgebra ystem 17:22:30 * oerjan gets not the reference 17:22:38 Including: 2D-Reverse BackFlip Befreak Reversible-2D Ora Memfractal 17:22:47 mour yum goesn't det re theference 17:23:18 I forget, did oerjan ever decide if a language where reverse(P) = P caret -one was possible or not? 17:23:29 I think I decided it was, with two-character commands 17:23:51 you're wrong 17:23:55 what's caret 17:23:58 oh 17:24:03 duh 17:24:04 yeah elliott_, try answering that 17:24:51 I forget, did oerjan ever decide if a language where reverse(P) = P caret -one was possible or not? 17:24:52 Yes. 17:24:54 Trivially. 17:25:00 aaanyways 17:25:01 Everything is a nop. QED. 17:25:09 Phantom_Hoover: shut up 17:25:12 here's a usecase: say i have something that parses xml and turns it into json 17:25:18 elliott_: i still think you could select single self-inverse command characters as a basis for that 17:25:24 i want to automatically get something that takes that json and parses it back to xml 17:25:28 oerjan: right 17:25:32 what do i do? 17:26:08 if we have valid function decl syntaxes as "foo { ... } oof" and "foo } ... { oof"... 17:26:12 cheater99: be interested in more interesting things 17:26:16 is my suggestion 17:26:33 elliott_: it would be a variant of cpressey's language that i forget the name of 17:26:35 oklopol: that is very interesting, you suck 17:26:37 burro 17:26:47 oh hm he had nesting which was a bit of a problem 17:27:16 cheater99: noooooo 17:27:31 although nesting itself doesn't prevent the reverse(P)=P^-1 property, just making it out of single commands 17:27:33 oklopol: mwahahahahah! 17:28:48 cheater99: i once saw a post somewhere about someone making bidirectional parsers, i think in haskell 17:29:10 oerjan: but i don't think a bidirectional parser is what we're looking for here 17:29:16 i talked with someone about that in hash-haskell. 17:29:19 i don't think it's enough to just play the source backwards. 17:29:23 it turns out that the kind of parsers that can do that are pretty limited. 17:29:31 cheater99: your xml -> json case would be one... 17:29:38 so basically it's a waste of time. 17:29:48 oerjan: oh, i thought what you mean was this source code reversal thing 17:30:10 no, i meant genuinely writing parsers that could transform both ways 17:30:20 ok 17:30:21 maybe you could use prolog 17:30:34 prolog is also nice for that yeah 17:30:37 because prolog backwards is golorp 17:30:54 strong reason 17:30:57 oklopol: i'm sorry, talking to oerjan who finds my parser idea interesting 17:31:23 although neither of these methods relieve you having to write the original parser in a way that makes it at least somewhat easily reversed 17:31:29 *you from 17:31:39 elliott_: # is shift-3 for you, not to the right of '? 17:31:41 oerjan: i think it would be necessary to build a language that uses inherently symmetrical constructs 17:31:50 for example, instead of replacement of strings, swapping of strings 17:31:51 yes 17:31:56 cheater99: prolog does that 17:31:57 and shift-two is at too 17:32:01 the UK layout sucks :) 17:32:11 oerjan: can you elaborate? 17:32:31 cheater99: oerjan is doing it sarcastically though 17:33:07 oklopol: only if sarcasm === true interest 17:33:39 yes, "true" interest 17:34:10 cheater99: in prolog you write predicates instead of functions, and they don't need to distinguish which argument is input and which is output. 17:34:58 if written right you can go either way. unfortunately sometimes you need to sacrifice that for efficiency. 17:35:35 oerjan: i was wondering if haskell's approach where you define computation by saying what things are, as opposed to how to compute them, could be good enough 17:35:58 say if i have f x = 2*x it's obviously trivial to invert 17:36:56 cheater99: prolog's fits better i think, because in haskell you cannot treat argument and result equally 17:37:10 if i have f :: [Char] -> String, f x:xs = "" ++ x ++ f xs, i wonder how that's inversible 17:37:33 (this type def might be wrong, i'm still not that good with hs) 17:37:36 cheater99: you're missing parentheses around x:xs 17:37:58 also "" ++ is a nop 17:38:41 thx 17:38:44 but you know what i mean 17:38:57 now if i wanted to write that in prolog, how would i do that? 17:39:06 cheater99: that f is either concat (if the type is wrong) or id (if the ++ f xs should be : f xs) 17:39:23 (ignoring the missing empty set case) 17:39:31 and concat isn't invertible 17:39:39 oh, wait, in haskell strings are list of characters 17:39:42 right, i forgot 17:39:44 yes 17:39:53 let's try again 17:40:27 f :: [Char] -> [Char], f (x:xs) = x:'_':(f xs) 17:41:07 and obviously f [] = "" 17:41:20 so this is a bijection from strings to s_t_r_i_n_g_s_. 17:42:17 > intersperse '_' "strings" 17:42:18 "s_t_r_i_n_g_s" 17:42:35 um 17:42:41 yeah, but that's not intersperse. 17:43:01 > (:"_")=<<"strings" 17:43:01 "s_t_r_i_n_g_s_" 17:43:15 yeah 17:43:20 so how do i express this in prolog? 17:43:25 hm... 17:44:39 something like f([],[]). f([X|Xs],[X|['_'|Ys]]) :- f(Xs,Ys). 17:44:47 intersperse(_,[],[]). intersperse(C,[H|T],[H,C|T2]) :- intersperse(C, T, T2). 17:44:49 i don't recall the character syntax 17:45:01 ah 17:45:36 or that you could put more than one item before the | 17:46:11 also it wasn't intersperse, he said :D 17:48:57 and that prolog predicate would allow you to go either way. if you fed it intersperse(x, X, [s,x,t,x,r,x,i,x,n,x,g,x]) as a question it would give X = [s,t,r,i,n,g] out 17:50:57 or even intersperse(C, X, [s,x,t,x,r,x,i,x,n,x,g,x]) should give C=x, X=[s,t,r,i,n,g] 17:51:45 while intersperse(C, X, [s,x,t,y]) would respond "No." for no answer. 18:00:53 -!- zzo38 has quit (Quit: zzo38). 18:02:26 does this mean that prolog is the ultimate language for form validation? 18:04:49 well it should work well enough... 18:05:36 actually this style might not be very good for giving good error messages when the form _isn't_ valid 18:08:28 hmm 18:12:17 -!- monqy has joined. 18:31:09 -!- oklofok has joined. 18:32:52 -!- oklopol has quit (Ping timeout: 252 seconds). 18:40:54 elliott_: OpenWatcom has its own clib on Linux :P 18:41:01 100% GNU-free 18:41:06 Is that a really retarded way of saying libc? 18:41:23 Oh yeah, sorry, it's the DOS/Watcom/lolthiscompilerisolde way of saying that >_> 18:41:53 Mind you, this compiler is garbagetastic, but hey, it's got its own non-GNU libc :P 18:44:58 Gregor: How terrible is the libc? :P 18:45:37 Well, it has malloc, but it doesn't have MAP_ANON ... 18:46:02 Which isn't a particularly broad measurement, but it's what I figured out :P 18:46:13 Oh, and before you ask, of COURSE it's 32-bit only. 18:46:59 Gregor: How's it compare to musl X-D 18:47:32 Donno, haven't tried musl. 18:48:09 Gregor: It's like every non-GNU libc ever, except ten times better :P http://www.etalabs.net/compare_libcs.html 18:48:29 In that it's actually pretty objectively superior to glibc in both performance /and/ size. 18:49:01 I would be pretty surprised if OpenWatcom's was better :P 18:49:10 License? And yeah, it's almost assuredly better than OpenWatcom's :P 18:49:46 But number one reason to mention it was this trololol: 18:49:47 $ file rel2/lib386/linux/clib3r.lib 18:49:47 rel2/lib386/linux/clib3r.lib: Microsoft Visual C library 18:50:16 Gregor: License is on that page, LGPL two point one plus :P 18:50:32 i.e. perfectly reasonable. 18:50:45 Good enough. 18:50:59 Not GPL+lol_I_dont_get_licenses like dietlibc at least. 18:51:19 X-D 18:51:36 And it has things like threads and locales (although just C.UTF-[eight] for now). 18:51:45 And a faster stdio than glibc. 18:52:08 GPL_lol_I_dont_get_licenses: Worst license ever? 18:52:20 *GPL+lol... 18:53:52 Gregor: Apart from the Microsoft Sperm-Ownership Communal Source Redistribution License, yes. 18:54:46 That's an Apple license. 18:55:14 Gregor: Your denial is palatable, ex-shill. 18:55:18 (Can you even be an EX-shill???????) 18:55:43 Do I mean palatable :P 18:55:45 Or do I mean palpable. 18:56:30 Your lexical failure is palatable. 18:57:38 i thought we had established that to Gregor, nothing is palatable 18:58:16 No, but plenty is fnarfable. 18:58:25 -!- Sgeo has joined. 18:58:40 I made an online purchase WITHOUT MY DAD'S INVOLVEMENT! 18:58:41 * Sgeo happies 18:58:49 Oh god. 18:58:51 OMGWTFBBQ 18:58:51 Was it Minecraft. 18:59:05 I AM SCARED OF THIS BURGEONING NEW AGE OF SGEO NOT BEING A COMPLETE SLAVE 18:59:08 I don't get the acronym OMGWTFBBQ 18:59:20 as in, I understand why it stands for, just not why what it stands for is useful 18:59:20 ais523: oh my god what the fuck barbecue 18:59:22 does that help? 18:59:25 ais523: Oh my God, what the??? Fuck a barbeque! 18:59:26 Just the latest humble bundle 18:59:33 I don't have much money in my PayPal account 18:59:35 elliott_: no, as that isn't what I was having trouble with 18:59:40 ais523: it's a meta-joke on acronyms duh 18:59:44 And I'm still having difficulty transfering Second Life funds to it 18:59:45 ais523: Do you also not get XXXXXXX99XX9XX9eleventyoneXX999? Where X is an exclamation mark and 9 is one. 18:59:50 Because it's basically the same thing. 18:59:54 elliott_: it's funnier the way you wrote it 18:59:58 but ah, I see 19:00:02 it's a parody of acronyms 19:00:14 It's a ridiculously over-the-top expression of surprise :P 19:00:22 OFTEN USED SARCASTICALLY 19:01:08 elliott_: I CONSIDER IT ENTIRELY APPROPRIATE IN THIS CIRCUMSTANCE 19:01:19 ais523: bingo 19:01:30 If it's used sarcastically, why have I been wasting my time fucking all these barbeques! 19:01:36 * oerjan checks cheater99's bingo sheet 19:01:44 IT'S EMPTY 19:01:46 Gregor: 'cuz it's soooo goooood. 19:01:47 WHERE IS YOUR GOD NOW 19:01:59 FALSE ALARM 19:02:07 Well, actually, my dad was indirectly involved 19:02:07 Gregor: I don't think that can ever be described as a total waste of time... 19:02:16 Sgeo: FIAL 19:02:29 ais523: Because it's... worthwhile? 19:02:34 He did give me money for the mall, and I bought the Amex gift card at the mall 19:02:57 But now I can use PayPal for stuff! 19:03:07 Gregor: what i want to ask is whether they were in use at the time 19:03:25 The Trine trailer's music is beautiful 19:09:27 Gregor: what i want to ask is whether they were in use at the time // one could say I was "using" them. 19:09:45 I was "cooking" a "sausage" at the OK I'm done, no more of this. 19:09:47 -!- calamari has joined. 19:12:59 Smallest static C program 0.4k 19:13:00 O_O 19:13:26 Mind, dietlibc is smaller, but I didn't realize anything could make GCC spit out a <1K binary :P 19:14:01 Gregor: dietlibc is smaller by way of sucking at everything :P 19:14:14 Quicksort? Linear stack usage hurp durp that sounds sane and reasonable 19:15:40 Both are smaller than a disk block :P 19:16:44 you can do a decent amount in 512 bytes 19:17:30 I wonderi f they still do those 512b demos (among other sizes) 19:17:31 Yeah, like exit without doing anything in C :P 19:19:38 elliott_: were' you writing another 512 byte os? 19:19:45 *weren't 19:19:51 well that forth almost has a compiler now :D 19:19:58 it gets worked on approximately once per week :P 19:27:55 There's supposed to be a legit MC trial, right? 19:28:01 I can't seem to get it to work 19:28:04 There's a shitty demo, but you're better off pirating. 19:28:08 It's just the game limited to 90 minutes. 19:28:36 elliott_, I just want to double-check that the thing with the mouse will be ok in the legit version 19:28:45 I'll probably buy it 5 minutes after I see that 19:34:40 -!- Sgeo has quit (Ping timeout: 246 seconds). 19:36:32 -!- Sgeo has joined. 19:40:54 -!- Sgeo has quit (Ping timeout: 250 seconds). 19:41:30 -!- Sgeo has joined. 19:41:48 Whyn must Minecraft make my computer a bitch? 19:41:50 * Sgeo cries 19:43:35 ITYM "Minecraft Y U *hit by falling anvil* 19:44:12 copumpkin: Have you seen this: Oh no! I was the original author of data-accessor, and then I passed it over to Henning and stopped paying attention. The a -> r -> (a,r) representation also makes me uncomfortable, and my original implementation was just like your Lens type. Heeennnninngg!! – luqui 51 mins ago 19:44:14 I lol'd 19:50:10 Sgeo, Optimine. Memory flags. 19:50:12 Use both. 19:50:18 Also: -minecraft 19:54:28 -!- oklopol has joined. 19:56:52 -!- oklofok has quit (Ping timeout: 240 seconds). 20:01:24 -!- azaq231 has joined. 20:02:34 -!- azaq23 has quit (Ping timeout: 250 seconds). 20:27:16 -!- Sgeo has quit (Ping timeout: 250 seconds). 20:27:47 -!- Sgeo has joined. 20:29:48 -!- Phantom_Hoover has changed nick to PH______________. 20:30:43 -!- PH______________ has changed nick to Phantom_Hoover. 20:44:21 elliott_, hey the automatic transparent huge page stuff in 2.6.38 makes a difference for minecraft performance 20:44:29 as in less jerks 20:44:29 Uh huh :P 20:44:39 elliott_, I'm somewhat surprised it is noticable 20:44:55 elliott_, I guess that indicates that java has *really* poor locality of reference 20:45:05 elliott_, oh and that the TLB cache on this CPU is tiny 20:45:48 elliott_, what kernel are you on? 20:51:06 -!- azaq231 has quit (Ping timeout: 250 seconds). 20:51:48 -!- azaq23 has joined. 20:53:17 Whatever Unbuntu has. 20:53:30 Unbuntu? 20:53:36 elliott_: where's that from? 20:53:56 copumpkin: http://stackoverflow.com/questions/5767129/lenses-fclabels-data-accessor-which-library-for-structure-access-and-mutation 20:54:49 -!- azaq231 has joined. 20:55:59 -!- azaq23 has quit (Ping timeout: 240 seconds). 20:59:16 Has anyone made a scratch hologram? 20:59:41 That sounds far more awesome in my mind than what you actually mean. 21:00:25 Like this http://www.youtube.com/watch?v=UtmGgmhWBAc 21:00:50 Some of these are pretty good http://www.youtube.com/watch?v=XUy8lELWhJg 21:01:04 I guess that person id 21:01:07 did 21:02:04 scratch and fnarf-o-gram 21:08:55 impomatic, impressive 21:09:38 Looks impressive... I'm planning to try it this week. 21:13:46 -!- impomatic has quit (Quit: ChatZilla 0.9.86.1 [Firefox 3.5.18/20110319140258]). 21:19:55 -!- KingOfKarlsruhe has joined. 21:20:40 -!- BeholdMyGlory has quit (Remote host closed the connection). 21:21:41 -!- BeholdMyGlory has joined. 21:26:54 -!- azaq231 has quit (Read error: Connection reset by peer). 21:27:00 -!- azaq23 has joined. 21:28:56 -!- iconmaster has quit (Quit: Pardon me, but I have to go die in NetHack again.). 21:29:40 A difficult task. 21:35:51 -!- asiekierka has quit (Ping timeout: 252 seconds). 21:44:16 yeah, i always had problems with the 'dying' conduct 21:44:30 I keep ascending. It's soooo annoying. 21:46:47 that was my problem with nethack and the reason i stopped playing 22:04:18 -!- atrapado has joined. 22:17:28 -!- atrapado has quit (Quit: Abandonando). 22:20:57 -!- atrapado has joined. 22:30:13 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.86.1 [Firefox 3.6.16/20110319135224]). 22:32:14 -!- gateway has joined. 22:35:13 -!- gateway has left ("Verlassend"). 22:46:20 elliott_, lament XD 23:11:02 -!- oerjan has quit (Quit: Good night). 23:16:34 -!- Lymia has joined. 23:16:55 -!- elliott_ has quit (Quit: Leaving). 23:17:29 -!- lament has quit (Ping timeout: 248 seconds). 23:40:57 -!- calamari has left ("Leaving").