00:00:04 I mean, they take floppy disks. But apart from that, they are not obsolete! 00:00:12 sounds like obsolescence to me! 00:00:54 -!- osaunders has quit. 00:01:20 I guess one of those player pianos was actually an electronic piano. 00:02:04 ive been tempted on numerous occasions to build an electromechanical computer 00:02:07 Which is pretty much the same thing as a keyboard, except it's actually fashioned to look like a piano and doesn't have as many features. 00:02:25 uorygl, my piano takes an usb cable 00:02:28 Ah yes, electromechanical computers. Have you ever designed one? 00:02:34 anmaster: "an usb cable"? 00:02:35 :| 00:02:39 augur, yes? 00:02:43 midi usb? 00:02:45 augur, it's called MIDI over usb 00:02:45 yes 00:02:48 AnMaster: its "a usb cable" 00:02:51 augur, why 00:02:54 AnMaster: is it a player piano, an electronic piano, or a keyboard? :-D 00:02:58 because it doesnt start with a vowel. 00:03:05 augur, you pronounce it "U S B" 00:03:07 not "usb" 00:03:10 you-ess-bee 00:03:18 augur, yes indeed 00:03:20 the name for the letter "u" does not start with a vowel. 00:03:27 augur, what about pronouncing it "usb" though 00:03:33 then "an" would be correct 00:03:38 yes. 00:04:01 augur, well then I pronounce it that way ;P 00:04:05 uorygl: partially. my idea was to try and imagine what a computer wouldve looked like if you took a morse-code like device and extended that model 00:04:21 My ideas have involved creating a computer using only relays. 00:04:22 -!- augur has quit (Read error: 104 (Connection reset by peer)). 00:04:27 * uorygl blinks. 00:04:33 -!- augur has joined. 00:04:36 My ideas have involved creating a computer using only relays. 00:04:44 yeah 00:04:48 uorygl, also, no one uses a player piano these days 00:04:50 it always seemed odd to me that we didnt have electromechanical computers 150 years ago given that we had morse code back then 00:04:51 long live midi 00:04:59 and hardware midi to be specific 00:05:01 AnMaster: I have heard of MIDI player pianos. 00:05:03 AnMaster: noone uses midi these days. long live mp3. 00:05:32 MP3 is inferior to MIDI when it comes to things MP3 is incapable of doing and MIDI is capable of doing. 00:05:38 augur, no one uses mp3, Long live flac 00:05:44 :P 00:05:46 and what uorygl said 00:05:53 the converse is true too ofcourse. 00:06:04 i think we should build an electromechanical computer. 00:06:05 I agree that we ought to have had electromechanical computers since 1835. 00:06:25 oh? 00:06:26 you know that the morse code machines were originally like type writers 00:06:27 ? 00:06:32 midi is the shit you use to make mp3 00:06:34 I think I had some idea. 00:06:39 madbrain, no 00:06:40 but some douchebag convinced morse to use a push-level machine instead 00:06:42 not quite 00:07:00 I think we should build an electromechanical router. Then we could make an Internet using only 19th century technology. 00:07:01 were it not for that, we'd probably have had the internet in 1850. 00:07:04 midi is a transport protocol 00:07:14 like IP, right? 00:07:21 think of it, an electromechanical type writer that could connect to a tape store remotely 00:07:29 unless you do music with straight musicians or something 00:07:31 lament, and a file format 00:07:42 i only do music with gay musicians 00:07:51 ? 00:07:55 the tape would store bits directly rather than as letters so it'd just feed right into the line 00:08:16 So, augur, let's figure out an error correction scheme that can be implemented using relays. 00:08:29 ECC? 00:08:32 well you wouldnt have error correction initially, right 00:08:35 you'd just have hard connections 00:08:49 augur, reed Solomon? 00:08:52 and it wouldnt matter much either, because the signals are pretty strong, comparatively speaking 00:08:53 Reed* 00:08:59 Isn't error correction pretty necessary? 00:09:00 AnMaster: whats that 00:09:03 augur, iirc 00:09:14 augur, http://en.wikipedia.org/wiki/Reed–Solomon_error_correction 00:09:16 uorygl: only when youre signals are weak 00:09:16 uorygl: depends on the noise levels and such 00:09:19 augur, used on CDs and such 00:09:31 Well, the signals are going to get corrupted every time you do something to them. 00:09:47 sure but an electromechanical computer is going to emply pretty strong signals anyway 00:09:48 augur, works by oversampling a polynomial, thus being able to reconstruct the missing data points if some are gone 00:09:55 so the signal degredation isnt going to be significant 00:10:02 If a signal goes 1,000 miles and passes through 10 routers, I think there's going to be quite a bit of signal degradation. 00:10:16 maybe maybe not, uorygle 00:10:22 ah, but that's transmission, not computation 00:10:26 Even worse if a signal is circulated for an indefinite length of time. 00:10:35 Besides, error correction is easy to implement, is it not? 00:10:47 -!- osaunders has joined. 00:11:14 i mean, they had routers back then for these signals 00:11:23 they already had transatlantic telegraphs 00:11:29 True. 00:11:31 by like 1850 or 1880 or whatever 00:11:37 so i dont think thats an issue 00:12:45 brb pizza :D 00:14:20 Okay, so we don't need error correction. 00:15:05 So, what sort of signals do we want to support? Packet switching? Circuit switching with in-band signaling? 00:15:19 How would packets be delimited? Time? Number of bits? 00:15:54 in band is bad 00:16:08 * AnMaster whistles 00:16:13 :-) 00:16:39 In-band is good! It means you only need one band. 00:16:50 The phone guys came up with filters that prevented the whistling stuff, no? 00:17:18 uorygl, so some freqs were forbidden? Would break said data 00:17:25 you need to *escape* it instead then 00:17:39 Now, let me read a bit about how relays work. 00:18:01 uorygl, well if you were going to build a computer with that you could do it high level anyway 00:24:20 It looks like in an ordinary relay, the switch is thrown by passing current in either direction. 00:24:26 o hai 00:25:17 So you could say that a packet ends whenever the voltage drops below the threshold. 00:25:25 * AnMaster locates a boot cd with gparted 00:26:16 Or you could use a latching relay, and say that the packet ends whenever the voltage becomes negative; then the data can include both positive and zero voltages. 00:26:20 uorygle, lets not try to rebuild TCP/IP on aethernet just yet 00:26:27 TEEHEE AETHERNET 8D 00:26:32 -!- anmaster_l has joined. 00:26:49 Well, the thing about routers is that they route data. I'm just pondering how that data could be delimited. 00:27:19 special bit patterns, obviously 00:27:37 That won't do if you're transmitting analog data. 00:27:53 special tone patterns, obviously 00:28:10 That requires something other than relays. :-P 00:28:26 analog data would in general! 00:28:28 uorygl, what about a fixed packet size? 00:28:48 x milliseconds before switching 00:29:04 I don't know if that's a good idea. 00:29:13 i think we should get our system up and running locally first before trying to get a transatlantic system up 00:29:22 I think the packet overhead could potentially be several seconds. 00:29:39 uorygl, also what about bouncing with relays 00:29:48 wouldn't it be a rather severe issue 00:29:57 We can compensate for bouncing by using error correction. >.> 00:30:07 uorygl, or Hg relays 00:30:09 read about that 00:30:13 no bouncing in them 00:30:17 of course they are toxic 00:30:24 which is a rather large downside 00:30:30 guys we should really build one of these 00:30:36 we could make it all steampunkish 00:30:45 and show it off on one of the steampunk blogs 00:30:47 augur, it will eat more power than my old p4, and it will also be slower 00:30:50 Let's each build our own and then figure out how to connect them. :-P 00:30:55 anmaster: EXACTLY! :D 00:30:58 itll be AWESOME 00:31:06 congrats, you get promoted to Intel Chief Engineer some years ago 00:31:16 HOORAY 00:31:30 augur, then you were fired when they decided to produce core 2 00:31:49 : 00:31:51 :( 00:31:52 :? 00:31:54 ah 00:32:05 btw, going to go offline with this connection for a while 00:32:07 parted time 00:32:18 parted time? 00:32:26 augur, yeah parted 00:32:30 what 00:32:34 augur, try it's man page 00:32:40 man parted 00:32:44 you type that in your shell 00:32:50 i'd part a man 00:32:53 IF YOU KNOW WHAT I MEAN 00:32:54 ;D 00:32:58 no I don't 00:33:02 oh 00:33:03 ok 00:33:07 Hmm. Packet switching and circuit switching aren't really that different when packets can go on for long periods of time. 00:33:19 GNU Parted - a partition manipulation program 00:33:20 augur, 00:33:22 was that so hard 00:33:27 read your damn man pages 00:33:30 AnMaster: i didnt care :D 00:33:35 uorygl, have you seen those little calculators 00:33:38 * coppro goes to play more engineer of the people 00:33:40 theyre like little black drums with a crank? 00:33:50 Now I'm thinking that everything should be digital and packet-switched, and then we can just use special bit patterns. 00:33:54 I don't think I have seen those. 00:34:40 http://www.vintagecalculators.com/html/curta_i.html 00:35:11 What do you call that code where every 0 is encoded as 01 and every 1 is encoded as 10? 00:35:20 dunno 00:35:29 weirdonary? 00:36:38 There's a name for it. 00:40:30 Aha. The Manchester code. 00:42:48 What's the poin.. oh, error detection 00:42:49 can we not use crazy coding schemes for this? :| 00:43:02 I wonder what a binary version of the L&S sequence would look like 00:43:09 L&S? 00:43:14 look and say 00:43:15 I guess crazy coding schemes aren't strictly necessary. 00:43:37 1, 11, 101, 111011, 11110101, 100110111011 00:43:37 We could just transmit at a constant rate. 00:44:07 coppro: that's kind of an irreversible sequence. 00:44:20 it is 00:44:31 I wonder at which base it becomes reversible 00:44:38 Try this: 1, 011, 010101, 010011010011010011, . . . 00:44:41 actually, no I don't 00:44:45 that's easy 00:46:05 I guess the thing about not using any code is that timing errors can happen. 00:46:20 Suppose they transmit 010101010101010000000000000000000000000000000000000000000000001010101010101010. 00:46:33 You're going to have to time all those zeros in the middle in order to know how many there are. 00:46:48 0 -> 01, 1 -> 10... NRZ? 00:46:51 Then again, we probably could use an error correction scheme wherein that can't happen. 00:47:00 Ilari: congratulations, you've invented the Manchester code. 00:47:37 now if you iterate it, you can invent the thue-morse sequence too :) 00:48:13 Well, the point of coding that mangles symbols is usually to avoid long runs of same symbol, as that tends to mess up timing... 00:48:21 Right. 00:49:00 Well, Manchester coding is one way to do things. Using it, I think we can pretty much correct for every sort of error we need to correct for. 00:49:11 i recall someone (ais523?) saying something about using 01 and 10 to ensure there were equal number of 0s as 1s to have no net charge 00:51:03 uorygl: um you cannot correct for an actual switching of neighbor bits :D 00:51:23 Bits don't just spontaneously get switched. 00:51:40 no, but you could have two neighboring errors 00:52:01 oerjan, hi 00:52:06 AnMaster: hi 00:52:15 oerjan, in a bit, once this CD is burned, you could say I parted to use parted 00:52:20 One of the routers could also spontaneously explode, causing a very large number of errors. Though that's less likely. 00:52:49 The thing is, Manchester at least has some error correction capability for every likely type of error. 00:53:08 oerjan, hey it's supposed to be a bad pun 00:53:19 AnMaster: yeah, yeah 00:53:29 oerjan, you know what parted is? 00:53:32 There are sequences over four symbols that never have any subsequence followed by any permutation (including identity) of that subsequence. Keränen's sequence is one of those (has recursive structure with generator of length 85). 00:53:39 yay done 00:53:54 i have heard the name, and can guess it's a partition editor 00:53:58 Ilari: I assume that means "immediately followed". 00:54:07 uorygl: Oops, right. 00:54:12 oerjan, indeed 00:55:05 -!- AnMaster has quit ("ZNC - http://znc.sourceforge.net"). 00:55:23 Ilari: um subsequences must have at least length 2, i take 00:55:31 Any sequence with recursive structure has to start with "identity" symbol. 00:56:13 oh wait fours symbols duh 00:56:18 *four 00:58:37 Let G be some group. Finite sequence a1 = e, a2, ... an can be expanded into infinite one by a1, a2, .. an, a2 + a1, a2 + a2, ... a2 + an, a3 + a1, ... an + an, a2 + a1 + a1, ... 00:59:04 Ilari: Keranen's sequence has "abc" at the start, and "bac" later on... or do I misunderstand? 00:59:15 coppro: Immediately followed 00:59:22 oh 00:59:31 (that was mistakenly left out). 00:59:43 ok, makes more sense 00:59:43 where did ais go 00:59:47 hm 00:59:57 There is no sequence over finite such that no subsequence eventually repeats. 01:00:19 *finite alphabet 01:00:28 right 01:00:36 I realized that about 2 seconds after I said that 01:00:43 Counterexample: "a" 01:00:44 :-P 01:00:57 Also *infinite sequence 01:01:08 uorygl: hah wrong, epsilon is both at start and end 01:01:20 Aww, you're right. 01:03:33 In Z2, using generator 011 would yield 011100100100011011100011011100011011011100100011100100100011011011100100011100100... or something like that. 01:04:14 Here, let me generate an infinite sequence. 01:04:36 ...hmm. 01:05:03 Yeah, I can do that. 01:06:02 Using elliptic-curve-type group with large amount of points could probably make some whacky sequences. 01:06:03 Using Thue, an excellent infinite sequence generator. 01:06:41 And of course there is: Monster group! 01:06:57 Aww, fudge. This Thue interpreter doesn't seem to be working. 01:07:23 Except that monster group isn't abelian, and thus one would need to define order to do the additions in. 01:08:17 Okay, here is an awesome sequence: 11011011101101101110110111011011011101101110110111011011011101101110110110111011011101101101# 01:09:08 Put all generators of monster group as generator of sequence and eventually the infinite sequence resulting would contain all elements of monster group. 01:09:22 That sequence consists of strings of 1s separated by 0s. Those strings have the following lengths: 2, 2, 3, 2, 2, 3, 2, 3, 2, 2, 3, 2, 3, 2, 3, 2, 2, 3, 2, 3, 2, 2, 3, 2, 3, 2, 2, 1 01:10:08 Ignoring the 1 on the end, that sequence consists of strings of 2s separated by 3s. Those strings have the following lengths: 2, 2, 1, 2, 1, 1, 2, 1, 2, 1, 2 01:10:23 And so on. 01:11:42 Unfortunately, my Thue program simply produces what is effectively an arbitrary finite piece of a random infinite sequence. It cannot generate a continuation of that sequence. 01:11:44 Of course, monster group has 808017424794512875886459904961710757005754368000000000 elements and duplicates probably exist before last element is found. Not to mention that computing group addition for moster group is quite slow. 01:12:24 -!- soupdragon has joined. 01:12:52 At least it can generate sequences of arbitrary length. 01:13:57 Monster group has generator of size 2. And interestingly monster group is isomorphic with subset of 196882x196882 matrices over Z2 with matrix multiplication as addition operator. 01:15:08 isn't every finite group isomorphic to such a subset, really 01:16:05 i suppose the interesting part is that 196882 is rather small 01:16:41 Of course, 38 762 521 924 elements total... 01:17:38 although the full matrix group is probably enormous compared to the monster 01:18:31 Well, the full group of that size would be all matrices of that size over Z2 with determinant 1. 01:18:50 so, unless there is only a tiny minority of determinant 1 elements 01:19:58 hm you can do it by choosing independent vectors 01:20:26 Well, there are already 2^19381162521 upper triangular (and same amount of lower triangular) such determinant 1 matrices. 01:20:28 first vector anything non-zero, so 2^196882-1 elements. that's already anormous 01:20:47 right, so enormous 01:20:53 *e 01:24:02 Hmm... Is Z3 isomorphic to some multiplicative matrix subset over Z2? Its equivalent to question if there is matrix over Z2 (and if there is, what's the smallest one) that has nontrivial cube root of identity matrix. 01:24:04 -!- coppro has quit (Remote closed the connection). 01:24:31 -!- coppro has joined. 01:24:33 every permutation group Sn is trivially embeddable into n x n matrix 01:24:45 *matrices 01:24:47 trivially ? 01:25:42 a permutation s is mapped to the matrix with M_ij = 1 is s_j = i, 0 otherwise 01:26:26 or is that s_i = j 01:26:34 -!- lament has quit. 01:26:54 -!- osaunders has quit. 01:27:54 well they're even called permutation matrices iirc 01:28:35 http://en.wikipedia.org/wiki/Permutation_matrix 01:28:38 Actually, any permutation cycle of length n can be used to find subset of matrices over Z2 that are isomorphic to Zn. 01:30:36 ah my confusion of whether to do s_i = j or s_j = i seems to have confused other before, because the standard definition is _wrong_ :D 01:30:43 *others 01:32:27 Actually, it seems that for any Zn, there is isomorphic nxn matrix subset over Z2 with multiplication. 01:32:44 yeah 01:32:58 every group is a subset of a permutation 01:33:07 and if you can matrixify permutations then you can matrixify any group 01:33:41 -!- MizardX has quit ("zzz"). 01:34:56 i think when n is a prime and using permutation matrices, that may be minimal 01:35:23 since p does not divide (p-1)! 01:36:05 may ask if it is still minimal if not using permutations... 01:36:47 (order of S_n is n!, and subgroup orders always divide total group order) 01:41:47 And if isn't minimal, fun question is what is smallest n where it isn't and what would be generator matrices for that? 01:41:52 if it is not a prime power then it is not minimal, because n = n1*n2 with n1, n2 coprime means Zn = Zn1 x Zn2 which can be embedded in S_(n1+n2) by using blocks 01:42:18 That would give n=6... 01:43:09 -!- adam_d has quit (Read error: 60 (Operation timed out)). 01:43:37 i'm not sure S5 is minimal for Z6, though 01:44:01 [[0,1,0,0,0][1,0,0,0,0][0,0,0,0,1][0,0,1,0,0][0,0,0,1,0]]? 01:44:16 S3 is too small, only 6 elements that _don't_ commute 01:44:18 -!- lament has joined. 01:44:32 i meant i was not sure S4 doesn't work 01:45:24 come to think of it there's probably a sequence in that sequence encyclopedia for this :D 01:45:37 If you have program that can calculate that, try calculating 2nd, 3rd and 6th powers of matrix I gave (over Z2)... 01:46:57 um i can see perfectly well it's using the block method i suggested, no need to use a program 01:51:11 Current methods would give 2, 3, 4, 5, 5, 7, 8, 9, 7, 11, 7, 13, 9, 8, 16, ... 01:52:09 hm wait of course the generator must be a _single_ permutation... 01:52:10 Oops, that should be 11, 8, 13... 01:52:41 hm that means this actually is optimal, i think 01:53:21 dividing that permutation into cycles is the same as dividing the matrix into blocks, and the resulting order is lcm of cycle length 01:53:35 so *lengths 01:53:59 Oops, 11, 7, 13... 01:54:06 so indeed dividing n into prime powers and adding them is the best you can do 01:55:05 "a(n) is the minimal number m such that the symmetric group S_m has an element of order n - Ahmed Fares (ahmedfares(AT)my-deja.com), Jun 26 2001". 01:58:03 And indeed element of order n means subset is isomorphic to Zn. 01:58:10 naturally 02:00:07 Hmm... I guess I should write my own raytracer to properly trace this fractal pattern. Pov-Ray can't do it properly because of 255 reflections limit. 02:00:34 YafRay? 02:01:55 Nah. Fairly simple to write raytracer that can just deal with it. 02:02:16 can you write a 'ray tracer' based on quantum physics? 02:05:04 so that it renders refraction and stuff 02:05:50 http://en.wikipedia.org/wiki/Field_with_one_element O_O 02:11:30 When I walked around at school, I couldn't help thinking that the tiles on some of the walls looked ray-traced 02:12:55 Why can't the additive identity and the multiplicitive identity be the same? 02:13:07 one of the axioms is 0 <> 1 02:13:17 Oh 02:14:21 -!- lament has quit. 02:50:33 It it particularly useful to say that there is no field with one element? 02:55:52 "For technical reasons, the additive identity and the multiplicative identity are required to be distinct." 02:56:10 * oerjan looks for actual reasons... 03:00:40 Once ReactOS is released and fully stable, would there be any real advantage to using it? I mean, it will be prone to Windows viruses, presumably 03:01:28 Although it would be nice that in 10 years after release, if ReactOS is still alive, it would still be considered modern, without having to pay money, unlike with Windows 03:02:31 * oerjan didn't really find any 03:02:54 Well, ReactOS will be free. We could extend it in ways that we can't extend Windows. 03:03:53 oerjan, because then it's not what the mathematical community decided is a "field"? 03:04:49 that is _not_ an improvement to "for technical reasons" 03:07:08 it's probably something to do with homomorphism 03:08:54 well it would be a terminal object... while other fields only have homomorphisms at all if their characteristics match. or wait, are there homomorphisms from Q to F_n? 03:09:28 *if at minimum their characteristics match 03:09:36 maybe it's for divide by zero 03:10:00 um wait no, obviously not 03:10:11 the characteristics must match 03:10:30 I don't know the characteristic ;/ 03:10:53 smallest integer n with n*1 equal to 0, or 0 otherwise 03:11:03 oh right 03:11:05 *positive integer 03:11:19 how is n*1 ever not n :S 03:11:57 well i just wanted to point out that n is not a field element 03:12:05 should it be n+1? 03:12:19 n*1 = sum of n 1's 03:12:27 oh!!! 03:12:32 so n is a natural number 03:12:34 it's "intuitively obvious" 03:12:54 it's not an element of the field 03:13:05 and in characteristic 0, there is no harm in identifying them, since the rationals are always embedded 03:15:58 n is always a prime or 0, btw 03:17:58 and for each characteristic n, there is a unique prime field, those are Z_n and the rationals 03:18:33 and the prime field would be an initial object in that subcategory, since it embeds uniquely in every other 03:19:10 the field of size 1 ruins all that 03:19:45 it would be of characteristic 1, i guess, but still have a homomorphism to it from everything else 03:21:17 myth busted! 04:13:49 Hey, now. I'm not following all that well, but it seems like you have certain objects associated with p^n where p is prime, and letting n be 0 ruins stuff because p^0 is a factor of everything. 04:19:36 on the other hand i think that may actually fit _because_ you always have a homomorphism to the 1 element field 04:20:18 and you may in general have homomorphisms from F_p^n to F_p_m when n divides m, or something like that (let me check) 04:20:24 *F_p^m 04:21:31 well you would _need_ n dividing m, at least, since then F_p^m is a vector space over F_p^n 04:22:00 if of dimension d, then p^m = p^(nd) => m = nd 04:27:29 * oerjan doesn't find an easy reference 04:37:11 -!- Asztal has quit (Read error: 110 (Connection timed out)). 04:55:02 -!- zzo38 has joined. 04:55:18 What should I name this class: http://www.dandwiki.com/wiki/User:Zzo38/untitled_class_1_(3.5e_Class) 04:57:00 ceci_n_est_pas_un_classe 04:57:35 heh 04:58:26 sorry, *_une_ 04:59:22 I like this joke but don't want to call it that. 04:59:43 i take it the improbability drive is the important aspect 05:00:19 It is one of the important aspects, but probably not the most important one 05:00:36 "dand"? 05:00:57 That's the domain name, I didn't write it 05:00:58 D&D 05:01:10 "it" is the domain name. 05:01:38 I guess it's better than "dandd". 05:01:38 well rephrase that: the name "improbability drive" was the only part i got any gist from 05:01:47 But is it better than "dnd"? 05:02:16 OK. But can you understand how all the class features works, however? 05:07:05 there is something called complex abilities. however i do not know d&d sufficiently well to understand how this is any different from what any spellcasting/psionics character can usually do 05:07:53 it's okay, oerjan 05:07:59 D&D 3.5 is not meant to be understood 05:08:03 heh 05:08:32 well let me leave it to the experts then 05:11:20 The "Complex Abilities" collectively refers to the spells, powers, and potentially others. 05:12:30 maneuvers? 05:13:45 "Complex Abilities" does refer to maneuvers, but whether or not I add that to this class is different 05:17:37 <3 LoZ music 05:23:16 One of the types of complex abilities that I might add, though, is warlock invocations, if I can figure out the cost that should be applied to them 05:37:40 just add them all 05:41:33 But what C.A.P cost? I want it to be not too low, and not zero like a actual warlock's invocations 05:41:49 And anyways, what should I name this class 05:50:38 -!- Pthing has joined. 06:02:41 zzo38: no, add all complex abilities 06:02:55 invocations, spells, powers, maneuvers, infusions, and anything else you can think of 06:03:06 except you randomly get certain kinds 06:03:22 so you never have access to all of them 06:04:23 hmm... I want a blank white cards bot 06:04:34 I don't think I will put the "randomly get certain kinds" but I could figure it out if (and only if) I can assign reasonable C.A.P costs to each of them, of course, you have a limited number of complex abilities known and a limited number of C.A.P/day so you can't possibly use all of them in one day 06:06:07 I don't know if I really want to add all of them though, if some kinds are more powerful it might require a feat to provide access to them 06:06:13 I was kidding 06:06:28 then again, I don't do much else with 3.5 06:06:35 except add templates to random creatures 06:07:03 * coppro still contemplates purchasing GR's book that's 100% templates, just for the lulz 06:07:45 -!- oerjan has quit ("Good night"). 06:09:10 OK 06:19:08 zzo38: ever played 1000 blank white cards? 06:19:17 No, I never have done so 06:19:29 But I have seen descriptions and rules 06:24:19 sounds retarded 06:25:09 it's awesome 06:26:34 hi!!! 06:27:00 a tad late, but otherwise well played 06:36:04 "Brad Cox and Tom Love create Objective-C, announcing "this language has all the memory safety of C combined with all the blazing speed of Smalltalk." Modern historians suspect the two were dyslexic." 06:36:17 I may have pasted that in here verbatim before 06:38:10 I haven't seen it before 06:38:13 and I lold 06:38:44 coppro, http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html 06:39:08 Well, what I know, is, my ideas for improvement of C is not Objective C or C++, but is differently 06:39:11 Like, 06:39:54 I would have a few new preprocessor directives is one thing: #xmacro #calc #string 06:41:25 -!- HackEgo has quit (Read error: 60 (Operation timed out)). 06:41:38 Sgeo: I like the line about Java and lambdas 06:41:41 xmacro? 06:41:48 #local #endlocal 06:42:05 actually, I want explanations of all of those 06:42:31 And also, when using #include to be able to specify after the filename any number of names, which will be defined as blank macros while including the file and reverted afterward. 06:42:52 Example: #include EXTRA_DOS_PROGRAM EXTRA_1 06:43:03 zzo38: write those in a patch to the GNU preprocessor, propose to the C++ committee and the C committee, in that order 06:43:07 or to clang's 06:43:11 which will be easier 06:43:19 and I still want to know what your 5 macros do 06:43:51 #xmacro creates a macro that does an include. Example: #xmacro Xmacro1(_1,_2) "extra.h" __Xmacro1 06:44:43 #calc does like #define but calculates all values when the #calc line is evaluated, instead of afterward. Example: #calc FooBar FooBar+1 06:45:35 I'm confused about xmacro... 06:45:44 #string acts like #calc but does an unstringize of the result 06:45:46 calc is sort of not really needed 06:46:08 okay, that I could see as more useful 06:46:09 Example of #string: #string CHAR(x) "'" #x "'" 06:46:20 ah 06:46:23 yeah 06:46:25 I don 06:46:52 *I don't understand what Xmacro adds, and I really don't understand what #calc adds 06:47:07 Still? I thought I explained it. 06:47:17 I know how they work 06:47:22 I don't know what they add 06:48:00 With the example of #xmacro given: When Xmacro(a,b) is found, it works like #define _1 a #define _2 b #define __Xmacro1 #include "extra.h" and then it can revert the _1 _2 __Xmacro1 because those are local to the macro 06:49:18 I think I get it 06:49:28 why not just use #include 06:49:42 why does it need to be a macro? 06:49:50 also, a macro expanding to a directive is truly horrible 06:49:55 and should never be allowed to happen 06:51:02 anyone know where I can find some news about hormones? Ideally on a science- or medicine-oriented site 06:51:03 stupid homework 06:51:12 needs to be sort of recent 06:54:02 Does anyone actually use Eiffel? 06:54:11 -!- EgoBot has quit (Read error: 110 (Connection timed out)). 06:54:27 Sgeo: not as far as I know, which is a shame 06:55:23 Hold on, isn't there overloaded .NET stuff? And isn't there a .NET version of Eiffel? And doesn't Eiffel not allow overloading? 06:57:47 Most .NET languages do not support all of its capabilities 06:58:21 and adding overloading to Eiffel doesn't seem too difficult, particularly when you have additional limitations inherited from .NET 07:06:02 Are there a lot of jobs for C# programmers? 07:06:08 yes 07:06:14 unfortunately 07:06:18 So, a good language to learn, then 07:06:19 ? 07:06:25 if you're in it for employment, yes 07:07:21 * coppro needs a haircut 07:07:30 What's wrong with it, other than the .NET legal issues and the whole type thing 07:13:22 And also #trap #mark #unmark 07:15:45 #trap is used to trap compiler errors. If it is trapped, it will stop, and preprocess again with a different macro set or something, and then recompile. If ? is used it traps within the marked area. Example: #trap error ?section1 define section1_error 07:16:17 You have to indicate the types of errors or other stuff too, possibly with parameters in parentheses, if you put "error" it means any error 07:18:15 that scares me 07:19:17 Is it really scary? 07:27:51 When will MS come up with ORG? 07:27:55 -!- madbrain has quit ("Radiateur"). 07:28:13 I don't know, maybe never 07:28:27 It's just that with "COM", then ".NET" 07:28:36 07:28:40 I know 07:28:58 I know why you asked 07:29:06 ok, sorry 07:29:49 Although it can show time of received messages, it won't currently show the time of sent messages, therefore I ought to fix that 07:30:52 Since the message is already typed, it has to show the time *after* the sent message, instead of *before*, even though it is slightly inconvenient 07:34:47 Sometimes I try to play pinball and watch the IRC both at the same time. 07:35:13 -!- zzo38 has quit (Remote closed the connection). 07:45:50 I must admit, the whole explicit typing thing makes autocomplete actually work, so C# has that going for it 07:46:32 clang will bring awesome autocomplete to C++ 07:46:38 (not kidding here) 07:46:41 As opposed to PythonWin's "Oh, I see you typed .x sometime in the past, and you just typed a .. Do you want me to put .x?" 07:46:48 haha 07:46:58 kate's default code complete is like that :( 07:53:25 Good night 07:57:08 -!- Sgeo has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:14:06 -!- Warriphone has quit (Read error: 110 (Connection timed out)). 08:26:47 -!- ehirdiphone has joined. 08:26:55 Relay only computer has been done. 08:27:14 Bah, no interesting people are here right now. 08:27:29 -!- ehirdiphone has quit (Client Quit). 08:27:34 :( 08:53:50 -!- Slereah_ has joined. 09:04:31 -!- Slereah has quit (Read error: 110 (Connection timed out)). 09:12:27 -!- Warriphone has joined. 09:23:30 -!- jpc has quit (Read error: 110 (Connection timed out)). 09:27:28 -!- ehirdiphone has joined. 09:27:38 soupdragon: sorry! I didn't notice you. 09:28:22 haha 09:28:46 Well, you weren't talking or anything. 09:29:48 I might read Three Worlds Collide today 09:44:48 c 09:50:24 -!- lament has joined. 09:59:51 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 10:09:41 -!- ais523 has joined. 10:28:02 I have done two euler problems in IRP!! 10:30:23 nice! 10:30:33 which ones? 10:30:47 how many lines did your programs have? 10:30:54 one line each 10:31:23 although there's usually a few extra lines buttering them up 10:31:45 since if you just come out with the algoorithm they tell you to piss off :( 10:37:20 -!- ehirdiphone has joined. 10:37:22 FISSION 10:41:39 So if fuse:fusion, I guess fiss:fission. 10:42:13 -!- MizardX has joined. 10:42:41 my lexicon thinks fission is a root morpheme 10:42:47 so there is no 'fiss' 10:43:13 poo on your lexicon 10:43:17 :( 10:44:19 fuse :: a -> b -> (a,b) 10:44:32 PC-KIMMO>generate fuse+ion 10:44:32 fusion 10:44:32 PC-KIMMO>generate fish+ion 10:44:32 fishion 10:45:39 fiss :: (-> :: a -> b -> c) => (a,b) -> c 10:45:45 (continuation type syntax obvs) 10:46:00 not to me :/ 10:46:27 :P 10:47:11 fiss (a,b) ->k = k a b 10:48:08 -!- MigoMipo has joined. 10:48:27 soupdragon: generate fiss+ion 10:48:35 fission 10:48:48 it's just that fiss isn't a word 10:49:35 should be 10:49:46 PC-KIMMO>RECOGNIZE fiss 10:49:46 *** NONE *** 10:50:29 DEFINE fiss the act of fission 10:50:47 brb 10:50:55 why not make it fizz 10:51:01 fizz+ion = fission 10:51:12 (that's not actually true... YET) 10:56:33 It would be cool if you could depend on the result of the continuation 10:57:14 foo = True:$ 10:57:20 False:foo 10:57:25 -> 10:57:53 True:False:True:False:... 10:57:54 erm 10:58:07 False:True:False:True:False:... 10:58:11 that is 11:01:08 foo | $ > 1 = 1 11:01:27 | $ < 1 = 0 11:01:59 foo + 1 -- always 1 11:02:07 foo - 1 -- always 0 11:02:31 -!- |MigoMipo| has joined. 11:03:29 (if foo is 1 then it's 1+1; since 2>1 foo must be 1. So actually it's 2 in that case) 11:03:35 -!- lament has quit. 11:04:09 (if foo is 0 then it's 0+1; the conditition should be >= 1. So it's 1) 11:05:03 the latter is actually always -1 11:06:43 if foo = 1 then it's 1-1 = 0; foo is only 1 when $ >= 1 so contradiction 11:06:47 therefore it's 0-1 = -1 11:07:21 so foo+1 is ambiguously 1 or 2 11:07:25 and foo-1 is always -1 11:09:15 case foo of 0 -> 1; 1 -> 0 is _|_ 11:10:41 soupdragon: are there any languages with bigo notation in the types? 11:12:15 that would be cool 11:13:07 -!- MigoMipo has quit (Nick collision from services.). 11:13:18 -!- |MigoMipo| has changed nick to MigoMipo. 11:18:41 -!- ehirdiphone has quit (Remote closed the connection). 11:18:56 -!- ehirdiphone has joined. 11:28:47 I don't know of any 11:29:02 of course there's languages whre everything takes polytime or whatever 11:29:26 yeah but I mean 11:29:55 the type inferrer would actually work out the big os 11:30:30 so you could enforce the time complexity of functions; write a function and see what complexity it has; etc. 11:31:11 hi ais523 11:31:24 hi 11:31:37 ehirdiphone: I like that idea 11:32:08 I think it's impossible in the general case; take: 11:32:13 a = a 11:32:28 a :: O(?) a 11:32:45 but it could just require you to specify the type there 11:32:59 and let you do O(inf), I guess 11:33:12 but: 11:33:32 error : str -> O(inf) 'a 11:33:35 and 11:33:59 fact n = if n<0 then error "argh" else ... 11:34:24 is fact n O(n!) or O(inf)? 11:34:42 I guess you just have to return a maybe 11:34:45 instead 11:35:06 also, fib(n) is O(fib(n)), naively 11:35:16 so we need compile time functions 11:35:24 To allow for things like that 11:35:56 er fact is O(n) PFC 11:35:59 IFC 11:36:02 Ofc 11:36:06 Not n! 11:40:13 to be honest, O-analysis is so difficult I can't imagine programming a computer to do it 11:51:55 ehirdiphone: what did you think of End of Time? 11:52:09 augur: ? 11:52:34 doctor who 11:52:35 Oh 11:52:50 I've only seen the first; don't spoil the second please 11:52:52 more like doctor fail 11:53:01 It's repeated today, might catch it 11:53:07 soupdragon: die 11:53:42 augur: I'm psyched that Moffat is taking over 11:53:49 indeed 11:54:44 I don't even watch it, but it's trendy enough to be complete shit 11:56:23 soupdragon: stfu; doctor who is excellent 11:56:37 im talking about hte new series obviously 11:56:52 stfu regardless 11:57:04 there's nothing wrong with the revival 12:02:00 soupdragon: also water is pretty trendy 12:02:09 was unaware it was in fact faeces 12:02:24 wut 12:03:38 waters not trendly, smirnoff frosty frootz is trendy 12:04:41 ok then being alive is trendy. if you ignore all the suicide 12:04:45 hmm well 12:04:55 Being alive is arguably complete shut 12:04:57 Shit 12:05:17 oh, fuck it 12:05:43 string theory: trendy 12:05:54 there's counter-examples of course 12:05:59 I just don't know any 12:07:15 sex? 12:07:23 sex is pretty trendy 12:09:08 speaking of sex, ehird 12:11:20 there seems to be this idea like "a million people watch it onec a week it must be brilliant" about whatever new sitcom replaced friends or lost, but in reality it's dumbed down to the LCM so people have a common language to say nothing in -- like talking about the weather except 'cool' 12:12:08 apparently in hot parts of US they talk about the traffic because the weather doesn't fluctuate enough 12:17:13 yeah I know I'm too cynical for my own good 12:38:01 So what. Doctor Who is awesome. 12:38:07 It is also popular. 12:38:19 I don't give a shit about popularity. 12:39:04 augur: I do not want to know what follows. 12:39:07 :P 12:39:27 nothing follows i just wanted to say that to make you think that ;D 12:52:25 -!- osaunders has joined. 13:04:22 -!- Asztal has joined. 13:13:29 -!- soupdragon has quit ("Leaving"). 13:25:15 -!- soupdragon has joined. 13:32:25 this is stupid :P 13:32:32 Three Worlds Collide 13:33:30 ? 13:36:10 soupdragon: it's a good story 13:36:26 it gets better btw 13:36:30 just the 4chan and 'internet is for porn' references make me baulk 13:36:43 lighten up 13:36:44 yeah I'm only half way 13:37:02 yeah I just said it's stupid, I have nothing against stupid 13:37:07 lol 13:37:24 just think, all the amazing resources we have on the Internet are a byproduct of people wanting porn 13:49:05 -!- osaunders has quit. 13:57:40 ais523: pretty much! 13:57:49 but porn killed Betamax! 14:09:04 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 14:14:44 -!- uorygl has quit (Read error: 54 (Connection reset by peer)). 14:14:48 -!- uorygl has joined. 14:16:05 -!- osaunders has joined. 14:43:26 -!- oerjan has joined. 14:45:34 question: I have an idea for a website, but I have no experience in any of the necessary skills to build it myself. What do I do? 14:45:41 answer: I have an idea for a faster-than-light spacecraft which would accelerate space exploration exponentially. I have no idea how to build it. Suggestions? 14:47:10 indeed, with a faster-than-light spacecraft you could travel backwards in time with a copy of your website 14:47:18 XD 14:49:14 there is however a significant danger things will get messed up and you have to be saved by an anthropomorphic/stuffed tiger 14:50:39 ahh that was one fo the most fun ones 14:51:48 yes (not that i've read them all) 15:01:50 So if fuse:fusion, I guess fiss:fission. 15:02:07 apparently fission comes from the latin verb "findo" 15:02:32 which probably wasn't borrowed because it resembles "find"... 15:03:40 latin 3rd conjugation verbs to all sort of consonant merging and stuff 15:03:43 *do 15:32:07 -!- osaunders has quit ("Bye"). 16:14:32 -!- oerjan has quit ("leaving"). 16:43:36 Vinge has said [1] that the "important" sequel to Bookworm would have featured the first human with amplified intelligence; however, when he attempted to sell such a story to John W. Campbell, Campbell rejected it with the explanation "You can't write this story. Neither can anyone else." 16:43:46 I don't get this, why can't anyone write this story? 16:46:46 soupdragon: no clue if this is what campbell was thinking, but you can claim that you cant accurately simulate an intelligence greater than your own and that would be necessary for such a story 16:47:02 i dont think thats a very good argument though personally 16:47:15 me neither 16:47:29 infact I don't even think it is true 16:47:30 given that we generally assume that art can meaningfully portrary/refer/represent things even without actually possessing those qualities 16:52:18 -!- |MigoMipo| has joined. 16:52:26 -!- ehirdiphone has joined. 16:52:48 a crypt of misunderstanderment! 16:54:51 -!- |MigoMipo| has quit (Client Quit). 16:56:10 C opinion poll: typedef struct _Foo Foo; struct _Foo {...}; 16:56:12 or 16:56:27 typedef struct _Foo {...} Foo; 16:56:36 the former 16:56:40 typedef struct { ... } Foo; 16:56:58 I prefer the former; it doesn't have the strange dangling name and lets you use the alias in the strict itself 16:57:19 Deewiant: Inconsistent when you also define recursive structures. 16:57:24 yes, especially the latter point 16:57:40 *struct 16:57:41 ehirdiphone: No, self-documenting when I do. 16:57:58 Deewiant: What aspect does it document? 16:58:11 "This struct is self-recursive." 16:58:26 Anyway, it still has the freaky- dangling name. 16:58:33 *freaky-deaky 16:58:43 Deewiant: *self*recursive? 16:58:55 Anyway that is self evident from the definition. 16:58:57 As in, not mutually recursive with something else. 16:58:58 auto-self-recursive 16:59:11 I admit though struct type names are a c wart 16:59:20 C++ actually gets this right, 16:59:30 struct foo {...} defines type foo 16:59:43 Underscores followed by a capital letter are reserved identifiers, you shouldn't be using them :-P 16:59:50 Can't remember if that was only POSIX though. 17:00:31 I would actually use: 17:00:50 typedef struct widget Widget; 17:00:56 struct widget 17:00:58 { 17:01:02 ... 17:01:06 }; 17:01:28 No need to adorn names in the struct namespace. 17:05:33 I wish Plan 9 C's struct inheritance was widely supported. 17:06:15 Sure, the standard lets you do struct foo { struct bar *parent; ... } 17:06:20 Deewiant: C99 7.1.3 Reserved identifiers: "All identifiers that begin with an underscore and either an uppercase letter or another underscore are always reserved for any use. All identifiers that begin with an underscore are always reserved for use as identifiers with file scope in both the ordinary and tag name spaces." 17:06:27 and explicitly lets you cast it like that 17:06:37 But it's ugly 17:06:56 fizzie: Cheers 17:07:47 I wonder; does C99 let you use Unicode in identifiers? I guess not. 17:08:08 Yes, it does. 17:08:17 Sweet. 17:08:51 •(f,g) 17:09:07 €(1000) 17:09:17 MWAHAHAHaha 17:09:25 ehirdiphone: Not arbitrary Unicode. 17:09:25 MWAHAHahaha 17:09:30 There's a restricted set. 17:09:35 And it's not even all letters. 17:09:39 Feckless. 17:09:51 -!- |MigoMipo| has joined. 17:10:05 Feckless is my new favourite autocorrection of feck. 17:10:19 You'll find the list in ISO/IEC 9899:1999(E) Annex D. 17:10:29 * anmaster_l wonders why there is no package for znc in arch 17:10:33 -!- MigoMipo has quit (Read error: 110 (Connection timed out)). 17:10:34 well, in aur there is 17:10:49 "ehird, read the C spec on your iPhone." 17:10:54 "No." 17:12:39 #define if(x) if(__builtin_constant_p(x) ? (x) : !(x)) 17:12:53 ehirdiphone: http://pastebin.com/m4406d890 17:12:56 I am become WTF, destroyer of programmers' minds. 17:13:31 fizzie: Thank you for that entirely useless list. :P 17:13:38 ehirdiphone: You're welcome! 17:13:46 After a while you don't see the codepoints. 17:14:03 All I see is blonde, brunette, redhead... 17:14:18 Blonde, brunette, redhead, bopomofo. 17:15:13 I think you can do currying in cpp... 17:15:29 ehirdiphone, so I'm dual booting gentoo and arch atm. In the process of switching over 17:15:35 #define apply(f,x) f(x) 17:15:37 may take a bit before I drop gentoo completely 17:15:39 then eg 17:16:08 #define _1(f) _1_,f 17:16:29 #define _1_(f,x) f(x) 17:16:34 Usage: 17:17:15 apply3(##apply(_1,func), someval) 17:17:18 Given 17:17:24 *apply2 17:17:39 #define apply2(f,x,y) f(x,y) 17:17:43 No? 17:18:09 I don't get it 17:18:18 anmaster_l: Abandoning source distros? You? Thought I'd never see the day 17:18:30 soupdragon: What bit confuses you? 17:18:40 none of it seems to make any sense 17:18:51 Do you know cpp? 17:18:56 not realyl 17:19:03 I've written some programs in it 17:19:03 Well then :P 17:19:14 cpp. The preprocessor 17:19:18 Not C++ 17:19:21 oh 17:19:26 right well I know cpp better than c++ 17:19:37 :D 17:20:08 I didn't know you could paste like that 17:20:18 to get apply3(_1_,func,someval) 17:20:32 I think you need a ## after the call too 17:20:39 soupdragon: apply2 actually 17:20:46 apply3(##apply2(_1,func)##, someval) ? 17:21:08 I know cpp has a specific rule forbidding , interpolation but surely ## overrides it 17:21:16 soupdragon: apply3->2 17:21:26 2 args to func 17:21:26 apply2(##apply(_1,func)##, someval) 17:21:26 ? 17:21:31 yeah 17:21:34 I think 17:21:42 error: macro "apply2" requires 3 arguments, but only 2 given 17:21:42 anmaster_l: Abandoning source distros? You? Thought I'd never see the day <-- actually I use freebsd on another system 17:21:55 ehirdiphone, using ports 17:22:05 "distros" 17:22:18 the ## doesn't do anything 17:22:59 eh? 17:23:28 Ok then how about 17:23:32 it needs to be inside a #define 17:23:37 Yes 17:23:38 Duh 17:23:50 Put it onside one 17:23:53 *inside 17:24:52 this idea seems vaguely relevant at the moment, ehird might like it: in a purely source based environment, why not build static binaries with no use of libraries at all, just a preprocessing step where every function needed (and no others) is inlined 17:25:09 I don't think this is possible ehird 17:25:38 to paste f(x,u,z) into f(x,a,b,c,z) 17:25:40 soupdragon: :( 17:26:33 soupdragon: ok then, different cpp idea 17:27:46 cpp is repeatedly executed on its output until there is no change. there is a special define as if #define NL (newline) 17:27:54 so eg you could do 17:28:27 #define foo(x) #include #x NL #define included_##x 17:28:48 usage foo(blah.h) 17:28:55 Task: prove tc or not 17:29:02 I've thought about it a bit 17:29:06 Pretty sure it's tc 17:29:22 "distros" 17:29:23 yes? 17:29:27 you didn't say "linux distro" 17:29:35 one could argue freebsd is a freebsd distro 17:29:49 and isn't pc-bsd based on freebsd? 17:29:51 it's not valid :( 17:30:00 so there are two freebsd distros then 17:30:01 I can imagine it though 17:30:04 freebsd and pc-bsd 17:30:07 unless I misremember 17:30:45 soupdragon: nit valid how 17:30:49 *not 17:31:03 the #define 17:31:27 anmaster_l: in that case *bsd are just 386bsd (aka jolix) distros 17:31:29 -->NL #define inc<-- 17:31:38 soupdragon: read the lines above 17:31:50 Just run cpp in a loop 17:31:59 yeah cpp in a loop is TC 17:32:02 With s/NL/\n/ in between 17:34:06 ehirdiphone, indeed 17:34:50 I actually considered forking 386BSD... 17:34:56 But that's too much work. 17:35:06 I'm more familiar with Linux, anyway. 17:36:27 ehirdiphone, os x? 17:36:32 doesn't it count 17:36:39 that's *bsd userland anyway 17:36:59 What about it? 17:37:24 btw, the kernel is essentially BSD-on-Mach 17:39:42 Linux pre-2.4 isn't even updated for security, is it? 17:44:35 -!- madbr has joined. 17:55:26 http://www.iro.umontreal.ca/~felipe/IFT2030-Automne2002/Complements/tinyc.c wow this code is tight 17:55:30 and pretty 17:59:55 That doesn't look like a compiler 18:00:17 Looks like an interpreter that prints out every variable's value at termination 18:01:24 It compiles to VM instructions. 18:01:33 Look at the code generator section. 18:01:59 Regardless, it's under 300 lines of code and very readable. 18:02:06 Which is impressive. 18:02:09 Ah, okay. 18:02:58 Well, line count is easily reduced by having 5 statements per line :-P 18:04:07 $ indent < tinyc.c | wc -l 18:04:07 549 18:04:20 that's very impressivle 18:05:31 Deewiant: Strip the comments 18:05:35 No fair 18:06:00 Still 500. 18:07:04 How about with sloccount? 18:07:32 Whitespace, lines with just } and similar aren't really active lines of code. 18:07:49 447 18:08:49 indent -kr puts it at 397 18:08:53 (sloccount skips whitespace tight?) 18:08:59 Tight. 18:09:10 397 is very good IMO :P 18:09:46 Sure. 18:11:40 -!- MigoMipo has joined. 18:17:19 -!- |MigoMipo| has quit (Read error: 60 (Operation timed out)). 18:32:35 -!- AnMaster has joined. 18:35:56 Hi AnMaster. 18:36:18 -!- soupdragon has quit ("Leaving"). 18:49:35 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 19:31:17 -!- lament has joined. 19:41:51 -!- harriman has joined. 19:42:36 whee 19:43:03 hmm... doesn't have the command I need 19:43:05 time to add it I guess 19:43:58 what the heck is harriman 19:45:06 it's a long story 19:45:51 @games 19:46:09 note that none of those work 19:47:44 oh good 19:47:48 coppro, how is it esolang related? 19:47:55 AnMaster: It really isn't 19:47:59 mhm 19:48:02 I'm trying to add a command to move it out of here 19:48:35 -!- harriman has left (?). 19:48:38 there we go 19:48:40 <3 Erlang 19:49:12 "CONFIG_PARPORT_PC_FIFO: 19:49:12 Many parallel port chipsets provide hardware that can speed up 19:49:12 printing. Say Y here if you want to take advantage of that." 19:49:18 the bot's actually modular; the games module is the only one with any real development though 19:49:38 since when would you need DMA for a parallel printer XD 19:49:42 parallel port* 19:49:58 well maybe a better question would be "since when wouldn't you" 19:50:18 -!- augur has quit (Read error: 110 (Connection timed out)). 19:51:17 hm... that's an issue 19:52:34 coppro, what is? 19:52:52 something to do with my bot 19:52:57 just the way it parses some commands 19:56:05 wewt, crash... 20:01:11 man, looking at chip-8 20:01:16 interesting design 20:01:42 sorely lacking in "easy shit that looks pretty" stuff tho :D 20:05:42 hmm... pretty sure that isn't supposed to happen 20:05:45 oh well... homework to do 20:30:50 -!- osaunders has joined. 20:44:00 -!- Azstal has joined. 20:44:50 -!- Aszstal has joined. 20:51:25 -!- nooga has joined. 20:51:31 hello 20:59:38 OGC 20:59:54 -!- Asztal has quit (Read error: 110 (Connection timed out)). 21:00:40 -!- Azstal has quit (Read error: 110 (Connection timed out)). 21:14:24 -!- osaunders has quit. 21:15:24 -!- lament has quit. 21:16:01 -!- ehirdiphone has joined. 21:16:23 diphone 21:17:03 I love how R5RS seems pretty benign and then you get to call-with-current-continuation. A few minutes later, it bludgeons you with dynamic-wind. 21:17:17 Oh no, it's nooga. 21:17:29 cheers 21:17:57 hmm, how could something like chip-8 be modernized 21:18:06 With magic. L 21:18:07 http://en.wikipedia.org/wiki/CHIP-8 21:18:07 ehirdiphone, 21:18:15 / L/d 21:18:16 while configuring a 2.6.32 kernel: 21:18:18 "This option will be removed in 2.6.29." 21:18:39 AnMaster: GNU-quality engineering! 21:19:10 Bah, I'm turning into a grumpy old bastard who hates everything modern. 21:19:20 and uses an iphone 21:19:32 Well, there is that. 21:19:35 and is uh 14 years old 21:19:41 And that. 21:19:43 or "young" 21:19:44 rather 21:19:46 But apart from that. 21:19:53 you should say "14 years young" 21:20:41 Gimme my libc4, my Linux 2.0, my a.out, my XFree86, my BSD userland. My X terminals! 21:21:01 ehirdiphone, what file system 21:21:41 ehirdiphone, know that Linux 2.0 definitely didn't have any journaling fs 21:21:44 Um. I don't know. How about ext's little-known and nonexistent predecessor, whose name is the null string. 21:21:52 It's ext without the ext. 21:21:53 also what the crap is up with the spell checking on here 21:21:55 on arch 21:22:17 it is abysmal, in fact it doesn't even know the word "abysmal" 21:22:38 That's because you've spelt it wrong. 21:22:42 on gentoo I had one that knew everything, even stuff no one used any more 21:22:50 ehirdiphone, well it had no suggestions for it either 21:22:57 Absymal. 21:23:11 ehirdiphone, it doesn't accept Absymal either 21:23:16 Just pirate Webster's, the old one 21:23:18 s/ / / 21:23:21 It's public domain 21:23:27 So not really pirate 21:23:28 I'm not sure what this one uses... 21:23:36 it doesn't seem to be aspell 21:23:41 since that isn't even installed !? 21:23:49 You won't get things like "blog" though 21:23:56 AnMaster: Ispell? 21:24:28 damn R5RS is still such a nice language 21:24:42 I forget that every so often then look at the spec again 21:24:43 ehirdiphone, about "blog", won't make a difference here. It doesn't know it either. 21:25:03 also it thinks that "doesn't" are two words, doesn and t, t being a valid word, doesn is not 21:25:10 Webster's is from the 1910s though :P 21:25:11 complete and utter failure 21:26:15 I should write yet another R5RS compiler. 21:27:00 Continuation-passing style transformation and Cheney on the MTA garbage collection are good for you. 21:27:30 how does it look in practise? 21:27:59 R5RS is the last true Scheme, if you don't know it by that moniker. 21:28:25 lies 21:28:26 * AnMaster wonders why xchat has --enable-mmx 21:28:41 it seems so out of place for an irc client 21:28:46 (actually, I don't know enough about Scheme to know why people hate R6RS and I don't particularly care) 21:28:46 (R6RS, the latest report, defines a language superficially similar but a complete miscarriage of Scheme's philosophy in actuality.) 21:29:04 ehirdiphone: is there a good link on this? 21:30:06 isn't Scheme just grotesque Lisp dialect? 21:30:10 coppro: The R6RS votes page. Note the lack of reasoning for almost all yes votes. Note the in depth objections from experienced Schemers on the no votes. Note how it only passed by a small majority. 21:30:22 nooga: It is VERY ungrotesque. 21:30:24 link? 21:30:35 coppro: r6rs.org. 21:30:40 no, to the votes page 21:30:42 Some link there. 21:31:23 coppro: Also note that the vast majority of implementers said they would not adopt R6RS and indeed haven't. 21:31:31 * AnMaster recompiles xchat to use gtkspell so he can get that language selection pop-up menu. 21:31:37 It has... not been a hit. 21:31:53 also what the crap is up with not knowing "recompiles" but knowing "recompile" 21:31:57 that is just so very very broken 21:32:00 I cannot find this page you speak of 21:32:04 link or it didn't happen 21:32:20 Not on the iPhone. Just RTF page 21:32:43 did 21:33:17 -!- Pthing has quit (Remote closed the connection). 21:33:41 Re my earlier remarks about implementing R5RS being good for you: ...but figuring out how DYNAMIC-WIND interacts with everything else is like shooting 5,000 bags of heroin a day for 1,000 years, except instead of getting high your face is stomped on by a burning poker. 21:33:48 coppro: Sec. I'll look. L 21:33:57 / L/d 21:34:36 ehirdiphone: is it enough ungrotesque to make you want to design hardware r6rs scheme processor and write very sophisticated OS for that in r6rs scheme? 21:34:41 urgh 21:35:46 ehirdiphone, what is DYNAMIC-WIND? 21:35:55 AnMsater: http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-9.html#%_idx_576 21:35:56 coppro: Ugh, they removed the ratification results. 21:36:02 I don't remember that from r5rs? or would it be some r6rs thing? 21:36:04 Still have a broken link to it. 21:36:08 looks pretty straightforward, actually 21:36:16 nooga: you're a fool 21:36:33 coppro: It interacts with callcc 21:36:34 ehirdiphone: that's not an answer 21:36:36 Very horribly 21:36:38 ehirdiphone: yes, I see 21:36:48 nooga: I don't talk to trolls 21:37:07 nooga, what has r6rs got to do with being ungrotesque? 21:37:20 ehirdiphone, I think he must have misinterpreted you 21:37:29 ehirdiphone said that it's VERY ungrotesque 21:37:35 nooga, ehirdiphone meant that r5rs was ungrotesque... Not r6rs 21:37:43 AnMaster: Shh 21:37:44 nvm 21:37:49 You're feeding the idiot 21:38:07 yay, food! 21:38:11 ehirdiphone, maybe he will someday turn less idiotic by the osmosis? 21:38:15 He's just making fun of my OS/hardware tendencies 21:38:28 erm 21:38:30 no 21:38:32 AnMaster: we did try that for months... 21:38:38 ehirdiphone, oh okay then 21:38:43 test -z "/etc/gconf/schemas" || /bin/mkdir -p "/home/arvid/src/system/xchat/pkg/etc/gconf/schemas" 21:38:43 ../../../0 -m 644 'apps_xchat_url_handler.schemas' '/home/arvid/src/system/xchat/pkg/etc/gconf/schemas/apps_xchat_url_handler.schemas' 21:38:43 /bin/sh: line 4: ../../../0: No such file or directory 21:38:48 VERY strange build error 21:39:15 ehirdiphone: I was not making fun 21:41:08 "urgh" immediately otherwise and you referring to it as r6rs when it was r5rs I praised, plus historical evidence, suggests otherwise. But whatever 21:41:14 I'm tired 21:41:32 ehirdiphone, I believe he must simply have misunderstood you 21:41:35 naaah, that urgh was about my weird grammar 21:41:53 and i thought we were talking about r6rs 21:42:00 nvm, i'm a fool and troll 21:42:10 ehirdiphone, maybe it worked after all ^ 21:42:33 i'll better shut up 21:42:50 ehirdiphone, isn't it said that realising your own faults is the first step towards getting rid of those? 21:42:57 -!- dbc has quit (Read error: 110 (Connection timed out)). 21:43:06 AnMaster: this is his self hate mode 21:43:08 (no offence meant to anyone here) 21:43:16 Hes done it before 21:43:19 oh 21:43:50 because I LIKE watching how my behaviour infuriates ehird, it's amusing : 21:43:52 :D 21:44:34 but it's over, I promise 21:44:59 UNROLL drivers/md/raid6altivec1.c 21:44:59 CC [M] drivers/md/raid6altivec1.o 21:44:59 UNROLL drivers/md/raid6altivec2.c 21:44:59 hm 21:45:06 I wonder why it is compiling that 21:45:09 on x86_64 21:45:19 ehirdiphone, ^ XD 21:45:29 also how the heck does it even succeed in compiling it 21:45:47 -!- adam_d has joined. 21:47:23 http://sisc-scheme.org/r5rs_pitfall.php I love the MAP caveat 21:47:33 Such an unexpected language quirk 21:50:05 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 21:50:29 -!- ehirdiphone has joined. 21:51:14 ehirdiphone: ever tried xmonad? 21:51:20 Yes. 21:51:26 and how was it? 21:51:42 Configuration system sucks, generally not as good as dwm or wmii. 21:52:49 how about awesome? 21:53:11 awesome is dwm with a lot of stuff, mostly superfluous, added to it. 21:54:42 I asked about xmonad because Wadler inspired me to play with haskell again 21:54:59 last month I went to Edinburgh to visit my friend from UoE and accidentally met Phil Wadler after his lecture 21:55:10 -!- dbc has joined. 21:55:11 Haskell is great. 21:55:55 uhm 21:55:59 L 21:56:02 shiretoko, hard to remember name for arch linux's firefox 21:56:02 Oops 21:56:21 AnMaster: Mozilla's fault. 21:56:31 yeah :( 21:56:37 Blame their fucking idiotic trademark policies. 21:56:39 ehirdiphone, you mean the branding thing, well yes 21:56:47 but why call it "shiretoko" instead 21:56:48 Mozilla are as bad as Sun and IBM. 21:56:49 it 21:56:55 it's* a hard to remember name 21:57:00 Once a corporation always a corporation. 21:57:11 AnMaster: Its the official codename 21:57:14 Of 3.5 21:57:24 At least Debian is consistent about there 21:57:27 *theirs 21:57:29 hah 21:57:30 It will change for the next version, etc. 21:57:31 aha* 21:57:37 ehirdiphone, gentoo can actually work around it, since you can compile it for personal use with official logo iirc 21:57:41 so they offer a useflag for it 21:57:44 Yes. 21:57:58 ehirdiphone, source based distros are better at some stuff :P 21:58:09 of course it is stupid this is required 21:58:23 I read the debian thread that kicked it all off 21:58:32 Mozilla guys were jerks 21:58:40 yep :( 21:58:51 Debian were like "Fuck you guys, we can't call firefox firefox now" 21:59:13 I can see the rationale behind blocking one user from using a trademark 21:59:15 if they're bad about it 21:59:19 but blanket policies = :( 21:59:43 Good thing firefox is shit 22:00:06 most applications are shit 22:00:33 Firefox is a bad browser, though. There are better. 22:00:41 Depends on the purpose 22:00:59 ehirdiphone, "works on most web pages"? I think firefox manages very well there 22:01:08 If your purpose isn't "experience hell", firefox is probably the wrong choice 22:01:21 Firefox is pretty usuable 22:01:23 -!- ais523 has quit (Remote closed the connection). 22:01:26 AnMaster: Webkit + presto (operas engine) do that perfectly well 22:01:35 coppro: *unusable 22:01:36 but 22:01:39 Agreed! 22:01:40 ehirdiphone, presto is open source? 22:01:45 AnMaster: No. 22:01:50 but but 22:01:54 ehirdiphone, not relevant to me then 22:01:58 ehirdiphone: how, in your mind, is it unusable? 22:02:06 AnMaster: I never asked for your opinion. 22:02:19 ehirdiphone, webkit might be worth a try 22:02:47 coppro: Crufty, slow ui; slow performance; requires extensions to just be not retarded 22:03:00 webkit? don't be riddiculous, just look at Slowfari 22:03:01 Memory hog too 22:03:13 nooga: Webkit is the fastest engine. 22:03:19 ehirdiphone, if it supports features I use. Like adblock, noscript, firebug (script debugger and live editor for css/html plus more). And I'm not interested in your opinion on those add-ons 22:03:21 Apart from maybe Opera's 22:03:34 ehirdiphone: It's not slow to the point of unusability unless you're doing something stupid; the bit about extensions is part of its appeal 22:03:41 AnMaster: Stop using me as a soapbox. 22:03:49 ehirdiphone, hm? 22:03:55 what? :D 22:03:58 "ehird:" should preferably be relevant to me... 22:04:17 (not that the complaints about speed/memory are not valid, because they are) 22:04:33 coppro: You have to download third party stuff to make it not terrible == it is shit 22:05:04 ehirdiphone: what exactly? 22:05:06 ehirdiphone, well since you were recommending them to me 22:05:15 AnMaster: You asked. 22:05:19 Ima go sleep now 22:05:22 Tired. 22:05:26 ehirdiphone, I thought you were suggesting ones that would fit me 22:05:29 before or after you back up your assertions? 22:05:42 coppro, before, wouldn't be ehird otherwise 22:05:45 coppro: Its all a conspiracy to avoid answering you! 22:05:53 xxxxxx 22:05:56 Zzzzzzz 22:05:57 zzzzz? 22:05:59 -!- ehirdiphone has quit ("Get Colloquy for iPhone! http://mobile.colloquy.info"). 22:06:14 uhuh 22:06:25 also, firefox 3.5 seems quite snappy to me, older versions less so 22:06:33 i like ff 22:07:05 nooga, codewise it is horrible 22:07:20 and firebug is irreplaceable 22:07:24 AnMaster: try running a ton of JavaScript 22:07:29 my 3 complaints for Firefox 3.5: 22:07:33 - Memory consumption 22:07:35 coppro, well I do use noscript anyway 22:07:39 - JavaScript speed 22:07:49 coppro, I seldom visit js heavy sites 22:07:53 AnMaster: pretty irrelevant; regular page script isn't what does it 22:07:55 of course firefox itself is js-heavy 22:07:58 -!- augur has joined. 22:08:02 coppro, what does it then? 22:08:09 - JavaScript garbage collection shuts the whole thing down 22:08:16 AnMaster: running a JS application (like ChatZilla) 22:08:19 (or Wave) 22:08:24 coppro, ah, never used them 22:08:36 ChatZilla isn't terrible, but Wave just nukes it 22:08:40 coppro, for irc I tend to prefer a real client 22:08:50 as for wave, well google want people to use chrome, no? 22:08:55 yep :/ 22:09:03 CZ is a real client, if I ever get it running in XULRunner 22:09:07 coppro, why not replace firefox's js engine 22:09:16 AnMaster: because they just got a knew one? 22:09:19 and it still sucks? 22:09:23 knew one? 22:09:27 at least it doesn't leak memory any more 22:09:29 new you mean? 22:09:30 *new one 22:09:47 now the memory leakage is left up to Xorg 22:09:59 coppro, does the new one JIT? 22:09:59 Xorg leaks? 22:10:06 AnMaster: no clue 22:10:29 nooga: I think it's other applications leaking X resources or something, but it's only cured by restarting X 22:10:38 coppro, also there is a solution that google won't be able to do anything about: start using v8d in firefox 22:10:47 then it will be exactly as fast as chrome 22:10:48 ;P 22:10:59 but there are pretty large downsides to that 22:10:59 http://www.v8d.org/? 22:11:12 coppro, whatever the one google used 22:11:17 wasn't it called v8 or such? 22:11:21 I forgot the exact name 22:11:24 oh, you mean the script engine? 22:11:28 coppro, well yes 22:11:45 I don't know; I think Firefox's script engine is pretty married to the rest of it 22:11:48 coppro, v8d sounds like an irc network I was on years ago. long before I was on freenode 22:11:52 not sure though 22:11:54 so I guess I mixed them up 22:12:00 * AnMaster wonders if that irc network still exists 22:12:13 oh seems so 22:12:23 it is the v8 engine 22:12:28 coppro, v8 it was then 22:12:29 right 22:12:29 according to google 22:12:36 I guess they know ;P 22:12:55 coppro, anyway, why so married you meant 22:12:55 oh, I also hate the abysmal set of Linux plugins, but that's not really FF's fault 22:13:04 coppro, what? 22:13:07 AnMaster: difficult to separate 22:13:10 abysmal set of Linux plugins? for what? 22:13:19 coppro, bad design, should be made modular 22:13:27 AnMaster: Linux plugins cause freezes, leaks, etc. especially Flash 22:13:32 with a clean interface 22:13:47 coppro, oh hah, I don't use any plugins. Especially not closed source ones 22:13:50 AnMaster: yes, I agree it's bad design; I'm not 100% sure that's the case though and it's not my problem either way 22:14:01 AnMaster: you really care that much about open source? 22:14:12 coppro, well there is one limit: nvidia drivers 22:14:15 I do need 3D graphics 22:14:33 coppro, apart from that and BIOS, plus possible some firmware. I think I'm clean 22:14:34 isn't the new open-source driver supposed to be better than the closed-source ones? 22:14:42 coppro, isn't that for ATI? 22:14:53 AnMaster: No... what was it called... it was on /. 22:15:03 coppro, on /? 22:15:05 * AnMaster looks 22:15:11 nouveau 22:15:14 $ ls /. 22:15:14 bin boot dev etc home lib lib64 lost+found media mnt opt proc root sbin srv sys tmp usr var 22:15:22 can't see anything about nvidia there 22:15:23 ;P 22:15:32 :P 22:15:49 "3D support is worked on using Gallium3D and can (depending on the Chip generation and the applications) be quite usable. Breakage in the 3D-drivers can (and will) however occur, they are known and are not needed to be reported. When that status change this page will be updated. " 22:15:50 well 22:15:55 sounds like out of question for me 22:15:59 According to the /. article, there's a preloader that's part of the closed-source stuff, but otherwise it's open-source 22:16:02 coppro, I need flight sim and such to work 22:16:06 ah, ok 22:16:15 not sure what chipset I have 22:16:17 of those listed 22:16:22 still, I'm surprised you care that much about open source 22:16:24 01:00.0 VGA compatible controller: nVidia Corporation G73 [GeForce 7600 GS] (rev a2) 22:16:36 I mean, I'm a big fan of it, but I'm not stupid about it 22:16:38 coppro, can you figure out which on http://nouveau.freedesktop.org/wiki/FeatureMatrix that is? 22:16:55 ah found it 22:17:00 NV40 22:17:02 probably 22:17:19 well looks fairly bad 22:17:35 -!- MigoMipo has quit ("When two people dream the same dream, it ceases to be an illusion. KVIrc 3.4.2 Shiny http://www.kvirc.net"). 22:18:55 coppro, probably it might be useful around the time nvidia drops driver support for my card 22:18:58 hopefully 22:19:14 AnMaster: why do you hate closed-source stuff so much 22:19:15 ? 22:19:26 (this is a real question, not an accusation or the like) 22:20:03 coppro, binary blob, you can't fix it if it breaks. for libraries and drivers: you can't easily debug crashes in your own programs if they happen in binary blobs 22:20:04 and so on 22:20:40 AnMaster: those are all reasons against using it when an alternative exists, but if there's no alternative (like with Flash)? 22:20:59 coppro, the security aspect (harder to sneak in malicious code) is another part. Sure, I won't review everything myself for open source, but the fact that any user could means it is much more risky to try it in open source 22:21:17 agreed again 22:21:24 coppro, with flash there is, only flash I care about is youtube videos. Works with youtube-dl + vlc 22:21:55 but you seem to have a rather RMSan aversion from proprietary stuff 22:21:57 coppro, also, even buggy but non-malicious code tends to be more rare in open source in my experience 22:22:44 for any open source project with a sufficiently large user base, there will be someone who does fix bugs he/she encounters 22:22:54 and submits a patch 22:22:59 not counting things I do at work, the only proprietary stuff I use regularly is Flash and various web applications 22:23:11 s/proprietary/closed source/ 22:23:31 coppro, well, there is java mostly at university web portal system thingy 22:23:34 (oh, BIOS too) 22:23:48 I don't like that either but not as bad as flash 22:23:55 Java's open source now :) 22:24:19 coppro, yes but it is still buggy, open source haven't yet had full effect on it 22:24:26 agreed on that point 22:24:36 but so it's more a usability thing than a proprietary thing? 22:24:37 considering how long it took for firefox to get reasonable... 22:24:46 (and it still is fairly bad in part) 22:25:07 coppro, also rolling release distros tend to be least buggy, and most up-to-date 22:25:19 hmm? 22:25:21 least buggy I can explain with "no deadlines". 22:25:25 don't quite understand that 22:25:40 but "most up-to-date" would require deadlines. so well quite a paradox 22:25:54 coppro, consider arch linux vs. ubuntu 22:26:29 ubuntu is buggier than arch I would say. More well integrated, but bugs exist and are often fixed in a "not really fixed" way 22:26:34 ais could tell you more about that 22:27:05 as an Ubuntu user, I agree about the 'not really fixed' bit 22:27:36 coppro, arch on the other hand tends to be 1) more bleeding edge (sometimes uncomfortably so) 2) less buggy 22:27:59 however, not as well integrated, things won't work out of box. But it won't beep at you a lot during shutdown 22:30:11 -!- jpc has joined. 22:41:33 speaking of which 22:41:45 here we go *compiles nvidia for custom kernel* 22:44:02 -!- AnMaster has quit (Nick collision from services.). 22:49:06 yay nice bootchar 22:49:08 chart* 22:49:10 coppro, ^ 22:49:21 ? 22:49:32 coppro, slightly more than 25 seconds boot time 22:49:35 for a lot of services 22:49:54 and I could speed it up I think 22:50:20 to be specific, moving stuff forwards and letting them start concurrently 22:50:22 ah 22:50:58 coppro, almost 5 seconds of that is mostly idling while waiting for dhcp reply 22:52:23 dwm dwm 22:52:25 uh 23:12:07 anyone have a good logic game I can play quickly (like *gasp* Flash?) 23:16:27 http://omploader.org/vMzVnbQ 23:16:39 need to be faster 23:17:13 smartd actually makes it slower before, due to more disk activity making dhclient take longer to load 23:49:50 -!- AnMaster has joined.