00:00:42 -!- FireFly has quit (Quit: swatted to death). 00:00:47 I tried coding in unlambda once 00:00:52 I got scared :( 00:00:58 :D 00:01:18 Then I just said fuck it and wrote a new language 00:01:20 -!- Mathnerd314 has joined. 00:01:24 And such is the story of Lazy Bird. 00:02:06 you got lazy and gave unlambda the bird 00:02:17 p. much 00:02:30 in summary, unlambda is just another comninatory logic language 00:03:05 I didn't understand all that d and eager interpretation 00:03:14 Well, "just another" is a strange way to put it 00:03:24 It is the one most people think about. 00:03:36 And I guess Lazy K, too 00:04:10 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:04:14 It's like saying brainfuck is just another brainfuck clone 00:05:50 a bit... but probably more like saying brainfuck is just another P'' clone 00:06:34 heh 00:06:48 INTERCAL is just another esolang~ 00:07:36 I think the most awesome thing about INTERCAL is that it was written on punchcards 00:07:45 turing machines are just another turing machine 00:08:00 recursion is just another recursion 00:08:00 Actually, Turing machines are just another Post machine 00:08:04 heheheh 00:18:52 Slereah is just another Slereah 00:21:30 That is troo 00:22:56 -!- cpressey has quit (Quit: Leaving.). 00:37:40 death on a death stick 00:40:00 Faith healing makes Baby Hyppocrates cry. 00:40:05 hello. 00:40:29 * Sgeo bibbles at that supposed to be Hippocrates 00:40:44 Hippocrates wasn't a paragon of science, either 00:40:52 hyppocrates is hypocritical hippocrates, obviously. 00:41:06 But well, it was a few milleuniums ago, so I'll let it slide 00:41:38 Back then people were big on things being true just because it's a nice idea. 00:41:49 stop saying bibbles 00:42:01 teehee bibbles x3 00:45:14 14:04:45 betwixt? 00:45:14 14:07:39 it's weird when you hear it in a pop song 00:45:15 what. 00:45:20 bibble bobble blubble blebble 00:45:26 buble 00:45:34 "OH BABY I WANNA BE BETWIXT YOU AND ANOTHER FEMALE" 00:45:46 betwixt is weird enough in day-to-day conversation, but even weirder in a pop song 00:47:26 oh, and it's way past bedtime 00:49:09 betwixt my buttocks 00:49:47 14:20:19 oerjan: I know I've seen a paper trying to extend CA results to "infinitely small cells" 00:49:52 a continuous discrete automation, you might say 00:51:18 Is it above Turing completeness? 00:51:36 no 00:51:43 maybe! 00:51:46 who knows! 00:52:40 It sounds like the kind of thing that might be. 00:52:58 it almost certainly isnt. 00:53:05 14:51:02 hard-on crime 00:53:07 xD 00:53:23 oklofok: can i commit a hard-on crime against you 00:53:36 augur : Why not 00:54:08 Two things told me it might be 00:54:13 1) it uses the continuum 00:54:20 And 2) you can't actually program it 00:54:22 well for one, such things are usually calculable with differential equations 00:54:30 infact, you have to define it using differential equations, do. 00:54:37 Do you? 00:54:47 You could activate a non-measurable set of cells 00:54:49 well if you define it some other way, you've still defined it 00:55:08 Just because you can define it doesn't mean you can compute it! 00:55:22 if you can define the computational mechanism i think it does 00:55:22 Of course, it might not be, but well 00:55:26 Nah 00:55:31 i think so! 00:55:38 There's many computational mechanisms that are >TC 00:55:40 maybe not, but. 00:55:46 They just can't be built or emulated 00:56:03 i think in this case you can both define the thing and calculate its behavior 00:56:04 so 00:56:44 -!- oerjan has quit (Quit: Good night). 00:56:59 I guess I'd have to see the article to know 01:02:33 ugh... I should go out, but I'm so tired... 01:02:44 oh well. sardines in the upper reaches of the math building should be fun 01:07:06 sardines are NEVER FUN 01:07:11 They are EVIL. 01:07:30 the game 01:07:38 anyway, leaving 01:07:45 it's a 10 minute walk and it starts in 8 minutes 01:20:48 Night. 01:20:49 Bye. 01:20:50 -!- alise has quit (Quit: Leaving). 01:54:41 -!- Hiant has joined. 01:59:48 -!- Hiant has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 02:25:02 -!- Hiant has joined. 02:28:01 Hello everyone, I have come here for some suggestions about this esolang I have been creating. link: http://esoteric.voxelperfect.net/wiki/OTOH 02:28:03 I am curious as to whether adding a clone command, aka copies the value of one hand into another (non-destructively) would render the language too easy to use, rendering it a "bad" esolang. 02:34:39 Fucking motherfucking FUCK YOU SCIFI CHANNEL 02:35:05 "SyFy Channel teaming up with Billy Ray Cyrus for a new show where he investigates UFOs." 02:35:17 Oh my god... 02:37:14 Why would they do that? 02:37:37 Fuck you. 02:43:23 -!- Hiant has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 02:52:50 esolang != turing tarpit 03:02:36 But turing tarpit ? esolang :o 03:02:57 turing tarpit implies esoteric, but esoteric does not imply turing tarpit 03:03:04 ∈. 03:03:24 True, but the most popular ones are the tarpit. 03:04:14 Welcome to #tarpit 03:05:06 At least if we were #tarpit, we wouldn't get so many wouldbe magicians :3 03:06:26 lol 03:15:40 -!- lament has joined. 03:19:48 -!- olsner_ has joined. 03:22:42 -!- olsner has quit (Ping timeout: 240 seconds). 03:26:14 Slereah: No, but we'd get tar-fetishists. 03:33:16 Hawt 04:03:05 -!- Gracenotes has quit (Ping timeout: 276 seconds). 04:18:59 -!- perdito has joined. 04:19:03 hi 04:20:22 Hi perdito 04:20:31 Erm, have you ever been here before? 04:20:41 nope.. hi sgeo 04:20:56 Just to be sure: What do you think this channel is about? 04:21:01 No offense, and you are welcome here 04:21:07 'ello 04:21:11 It's just that some people come here with an incorrect idea 04:21:41 thx 04:22:16 let me check topic infos 04:22:47 oh ok 04:23:33 this channel is about worshipping Isis 04:23:49 sounds good 04:24:02 hail eris 04:24:04 hail isis 04:24:35 what are esoteric programming languages? 04:24:42 Russian 04:24:46 Spanish 04:24:59 perdito: Programming languages with little practical use, like INTERCAL 04:26:08 interesting 04:26:23 i guess i like this place 04:26:28 in practice, we discuess a lot of random stuff in here 04:26:45 about 40% of the time, it's related to computer science 04:26:56 about 50% of the time, it's related to other computer stuff 04:27:00 and most of the rest is politics 04:27:09 Or linguistics. 04:27:45 i hope you'll excuse my poor english then.. but i'd like to stay and listen for a while 04:28:00 and maybe learn something 04:28:25 perdito: Your English doesn't seem poor to me. 04:28:39 oh yes, I forgot about linguistics 04:28:44 that's like 10% all on its own 04:28:47 Of course, that may just be the brutal assault that Japanese has had on my senses of bad English. :P 04:29:07 other than the Internet grammar, it seems fine 04:29:17 thx pikhq, but i think you'll change your mind soon enough 04:29:18 :) 04:29:23 and yours isn't particularly bad, perdito 04:29:34 well thank you 04:29:38 perdito: Believe me, I've seen worse. From native speakers of English. 04:29:44 far, far worse 04:29:50 Indeed. 04:29:51 I've read high school essays 04:29:59 As have I. 04:30:15 (Your English is better than that of the typical high school essay, believe it or not) 04:31:11 k.. so most of you are programmers or sth? 04:31:13 Oh, definitely. The only things that differ from "correct" are just common traits of — what I shall now call — Internet Vernacular English. 04:31:15 -!- wareya_ has changed nick to wareya. 04:31:26 perdito: Pretty much all programmers here. 04:31:49 Not necessarily in a professional capacity, though. 04:32:46 Some of us are students, others are just people in different fields that enjoy bizarre programs. And then there's fungot. 04:32:47 pikhq: right out right outside of philadelphia yeah so am i 04:33:23 Scott Meyer is trying to kill me 04:33:43 Sgeo: Do tell. 04:34:04 If laughter can be fatal... 04:34:09 http://basicinstructions.net/ 04:34:22 Aaaah. Yes. 05:05:08 -!- TheProtomotor has changed nick to comex. 05:07:14 * Sgeo vaguely wonders if there's any languages that have the sort of libraries Factor has 05:07:37 Factor has Erlang-style concurrency, some parser thing, call/cc 05:07:43 Um, a lot of other stuff 05:20:46 * coppro explodes 05:22:58 Hmm. 05:23:27 * pikhq types in 変なコマーシャル (strange commercial) into Youtube to see what comes up 05:24:32 Yeah, that was pretty weird. 05:24:35 http://www.youtube.com/watch?v=y1jKAp9KEUs 05:24:41 Understanding it doesn't help. 05:25:17 -!- poiuy_qwert has joined. 05:30:08 -!- poiuy_qwert has quit (Client Quit). 06:32:18 -!- wareya has quit (Read error: Connection reset by peer). 06:33:20 -!- wareya has joined. 06:40:02 -!- augur has quit (Remote host closed the connection). 06:59:35 -!- oklofok has quit (Ping timeout: 255 seconds). 07:15:20 -!- FireFly has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:01 -!- relet has joined. 08:06:18 -!- cheater00 has joined. 08:10:05 -!- cheater99 has quit (Ping timeout: 276 seconds). 08:10:15 -!- perdito has quit (Ping timeout: 240 seconds). 08:23:11 -!- MigoMipo has joined. 08:24:42 -!- relet has quit (Quit: Leaving.). 08:26:59 -!- wareya has quit (Ping timeout: 276 seconds). 08:36:57 http://golf.shinh.org/p.rb?C+style+constants -- ha, Befunge is objectively a better language than Java. 08:37:43 -!- MigoMipo has quit (Read error: Connection reset by peer). 08:41:03 Night all 09:22:39 -!- atrapado has joined. 09:32:56 -!- relet has joined. 09:36:00 -!- lament has quit (Ping timeout: 252 seconds). 09:37:40 -!- augur has joined. 09:38:10 -!- oerjan has joined. 09:40:37 "SyFy Channel teaming up with Billy Ray Cyrus for a new show where he investigates UFOs." 09:40:47 perfectly good science fiction, that... 09:42:59 "SyFy" is still a silly name. 09:43:32 * oerjan is commenting on nothing but this particular event 09:45:00 -!- tombom has joined. 09:52:18 -!- relet has left (?). 10:16:44 if you don't have cable, does that mean you are... SyFy-less? 10:17:25 ...is there a pun in there somewhere? 10:17:40 it's buried deep, but if you dig you can find it 10:17:46 -!- myndzi\ has changed nick to myndzi. 10:17:53 (syphillis) 10:17:57 argh 10:18:40 lol 10:18:46 at least, that's what comes to mind whenever i read SyFy 10:19:02 ironic seeing as how i use a y in my nick for a long i sound 10:19:14 but i see SyFy and read "siphee" 10:22:19 Officially it's pronounced just like "sci-fi", except that now they can trademark it. 10:22:49 I did catch the syphilis pun, but couldn't come up with a STD counter-pun in time. 10:29:38 i guess you didn't have the right aids 10:39:18 I have to applaud you for that: clap, clap, clap. 10:42:06 * oerjan has a near-whoosh experience 10:48:33 2. gonorrhea, gonorrhoea, clap -- (a common venereal disease caused by the bacterium Neisseria gonorrhoeae; symptoms are painful urination and pain around the urethra) -- just in case it whooshed by someone completely. 10:49:05 Gahh. Stop erroring, you stupid script! 10:50:02 "exception: PreModule: The file has invalid dimension". Graa, why can't you say which file is "the file", and what is this "dimension" it has and what it should have. 10:50:31 what language 10:52:22 The exception came from an ugly C++ blob. 10:52:49 oh dear 10:53:00 those are the worst 10:54:46 The file I think it should be reading does have the right dimension, but since it doesn't bother saying the file name, I can't quite be certain it's reading the right file. 11:00:25 Oh, it's the *other* file that's wrong. 11:00:54 well files contain strings, which is clearly related to string theory, which has extra dimensions. you must have got an invalid one into the mix. 11:02:08 try and see if you can extract it, it might contain the secret to FTL travel 11:06:15 According to the thing, it was supposed to have 21 dimensions, but it had 4290576399 of them instead. 11:07:32 ah 11:12:19 -!- nooga has joined. 11:25:54 -!- oerjan has quit (Quit: Later). 11:27:26 -!- BeholdMyGlory has joined. 12:03:31 -!- relet has joined. 12:13:08 -!- wareya has joined. 12:14:59 -!- Zuu has quit (Read error: Connection reset by peer). 12:17:15 -!- augur has quit (Ping timeout: 272 seconds). 12:18:15 -!- relet has quit (Quit: Leaving.). 12:19:21 -!- Zuu has joined. 12:19:31 -!- Zuu has quit (Changing host). 12:19:31 -!- Zuu has joined. 12:26:02 Zuu 12:26:19 -!- Akash has joined. 12:46:06 -!- augur has joined. 12:50:50 -!- Akash has quit (Ping timeout: 276 seconds). 12:57:36 -!- Akash has joined. 12:58:18 -!- augur has quit (Remote host closed the connection). 12:58:52 -!- sftp has joined. 13:03:11 -!- Akash has quit (Ping timeout: 276 seconds). 13:19:44 -!- MigoMipo has joined. 13:20:57 -!- Akash has joined. 13:30:49 nooga 13:50:22 -!- augur has joined. 14:08:42 -!- Akash has quit (Ping timeout: 240 seconds). 14:21:03 wtf are you? 14:22:40 There are bird-like things called Zuu in many of the Final Fantasy games, but that might be completely irrelevant. 14:27:29 :o 14:28:14 nooga, im certainly not a wtf 14:31:38 -!- MigoMipo has quit (Read error: Connection reset by peer). 14:33:04 -!- sftp has quit (Remote host closed the connection). 14:33:29 -!- sftp has joined. 15:03:38 wtf -> Who the f**k 15:04:57 -!- augur has quit (Remote host closed the connection). 15:04:58 -!- sftp_ has joined. 15:05:06 -!- sftp has quit (Ping timeout: 240 seconds). 15:07:26 -!- augur has joined. 15:08:28 -!- derdon has joined. 15:18:40 -!- cpressey has joined. 15:30:26 -!- relet has joined. 15:35:35 Well, I started writing up my apply/ylppa language, and while the two operations have some nice properties (like (x/y)*y=x, and x/x=1,) I don't think I can make it into one of those "mainstream" algebraic structures (like a group) because both operations are non-associative, and I can't see any way offhand to make them associative. 15:36:53 -!- distant_figure has joined. 15:42:21 "Ylppö" is a Finnish male name (c.f. http://en.wikipedia.org/wiki/Arvo_Ylppö); I can't not think of it every time you say "ylppa". 15:42:28 Sorry, surname, I mean. 15:44:17 -!- augur has quit (Ping timeout: 265 seconds). 15:47:32 kokopk 15:56:36 -!- relet has left (?). 16:00:36 -!- Phantom_Hoover has joined. 16:00:51 Hi, everybody! 16:01:21 Hi Phantom_Hoover! 16:01:37 Close! 16:03:21 15:50:29 unlambda in unlambda 15:51:21 that's just not right <-- Unlambda in Lazy K is even shorter, I think. 16:07:05 Hi, Dr. Nick! 16:10:21 BINGO 16:10:56 Hmm... 16:11:07 \o/ 16:11:08 | 16:11:08 /< 16:11:20 O_O 16:15:39 fizzie: i'm in ur irc channel, makin u think names 16:16:48 -!- Wamanuz2 has quit (Ping timeout: 272 seconds). 16:17:07 -!- Wamanuz2 has joined. 16:23:20 -!- Wamanuz2 has quit (Read error: Connection reset by peer). 16:23:38 -!- Wamanuz2 has joined. 16:29:09 -!- Wamanuz2 has quit (Read error: Connection reset by peer). 16:29:42 -!- Wamanuz2 has joined. 16:34:36 Isn't /tmp kind of an "antipattern" (though I despise that word)? ~/tmp would be better, except for the doesn't-count-for-quota/could-get-deleted-at-any-time rules, but those could be implemented some other way. 16:35:02 symlink into a private subdir of /tmp, for example 16:35:12 but, TOO LATE 16:35:45 What? 16:49:50 Phantom_Hoover: seekurrity 16:49:55 shared /tmp sucks 16:51:01 "TOO LATE" meaning, god only knows how many programs already write to /tmp and use kludgey ways of compenstating for its suckage 16:51:08 *compensating 16:52:55 -!- comex has quit (Ping timeout: 265 seconds). 16:54:06 * Phantom_Hoover wonders how much of the esolangs wiki is Turing tarpits. 16:54:25 And how much is languages with single-character syntax. 16:55:30 Not *too* many "unary languages", I hope 16:55:55 There are a *lot*. 16:56:16 A lot, like 5? 16:56:47 Sorry, unclear. 16:57:19 I mean syntaxes like Brainfuck and Lazy K. 16:58:29 Oh hah, yeah, not what I was thinking. 16:58:44 Program in a single-character language, to me: |||||||||||||||||||||||||||||| 16:59:08 Single-character tokens in syntax, I get ya. 17:01:12 -!- calamari has joined. 17:02:41 I wonder how many of them are like that because the designer had an idea but couldn't be bothered writing a parser? 17:05:58 Isn't /tmp kind of an "antipattern" (though I despise that word)? ~/tmp would be better, except for the doesn't-count-for-quota/could-get-deleted-at-any-time rules, but those could be implemented some other way. <-- what if /home is on, for example, nfs? 17:06:07 while /tmp is then presumably local 17:06:21 cpressey, of course you could make login scripts mount /home/whatever/tmp 17:06:35 still, complicates things 17:06:56 or the symlink thing 17:06:58 that is a good idea 17:07:45 -!- Gracenotes has joined. 17:07:59 Phantom_Hoover, well you need a parser for brainfuck 17:08:25 Phantom_Hoover, while for befunge... you don't 17:08:35 but for brainfuck you need to match up [ and ] 17:08:36 You don't need much of one for BF, though. 17:08:49 Phantom_Hoover, indeed. A simple recursive one works very nicely 17:10:38 (You can write a BF interpreter sans parser, but it's ugly.) 17:13:16 -!- oerjan has joined. 17:14:15 Meanwhile, parsing INTERCAL is rather harder. 17:15:16 -!- cal153 has joined. 17:15:37 15:50:29 unlambda in unlambda 15:51:21 that's just not right <-- Unlambda in Lazy K is even shorter, I think. 17:16:10 i would be surprised if that were the case, after stripping comments and whitespace at least 17:16:33 How long is your one? 17:16:54 lemme check 17:17:55 3K for the Lazy K one. 17:18:32 *4K 17:18:35 Damn rounding! 17:19:53 -!- augur has joined. 17:20:17 It wouldn't even necessarily need a symlink in ~, just something to generate /tmp/foo for each user, and set TMPDIR to that. Though I'm sure there's an uncountable number of apps that have "/tmp" hardcoded. 17:21:19 approx 1928 stripped (approx because it might also strip a few chars from the character table) 17:21:26 (chars) 17:21:50 Ah, well. 17:23:01 8196 unstripped 17:23:24 Stripped? 17:23:35 Of comments etc? 17:23:40 yes 17:23:43 * Phantom_Hoover -> stuff 17:25:03 f*#(*# prolog 17:25:13 i can't figure out how to zip lists 17:25:31 it was easier even in Haskell 17:26:29 (You can write a BF interpreter sans parser, but it's ugly.) <-- one that interprets directly and then seeks on the source to find matching [ and ] ? 17:28:11 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 17:28:17 something like zip([X|XS],[Y|YS],[Z|ZS]) :- tuple(X,Y,Z), zip(XS,YS,ZS). for the main case, assuming i remember syntax right 17:28:45 fizzie, the most straight forward way to find such would be to grep in /usr/bin for the string /tmp and then in that set grep for those that doesn't also contain TMPDIR (in case they check TMPDIR then fall back to /tmp if missing) 17:28:49 zip([], [], []). zip([A|As], [B|Bs], [[A,B]|Cs]) :- zip(As, Bs, Cs). -- if you want to handle just two lists, and want "tuples" made out of two-element lists. 17:29:46 hm environment is rather inefficient, as far as I know it is stored as an unsorted array of char* 17:29:59 would be better if it used some sort of binary search tree 17:30:13 holy shit 17:30:31 it worked 17:30:47 yesterday alise came up with something pretty simmilar but then it didn't work 17:31:11 Isn't /tmp kind of an "antipattern" (though I despise that word)? ~/tmp would be better, except for the doesn't-count-for-quota/could-get-deleted-at-any-time rules, but those could be implemented some other way. 17:31:36 um isn't there an actual function for getting a temp file... 17:31:42 I don't think an implementation is forbidden to maintain some sort of a lookup-helper structure for the environment, but I don't know any that do. 17:31:50 oerjan: Yes, several even. 17:32:26 and don't they look at the $TEMP variable or something, or was it $TMPDIR 17:32:29 mkstemp, mktemp, tempnam, tmpnam and tmpfile, at least. 17:32:41 Many do look for TMPDIR. 17:32:54 so the antipattern would be rolling your own, wouldn't it 17:35:04 fizzie, mkstemp iirc only fills in the Xes at the end of the string? 17:35:27 The functions, or at least those that actually create the file instead of just returning a name for it, also to some degree handle awful race conditions where you choose a nonexisting file name, then try to open it, and meanwhile some other process goes and creates that file. 17:36:04 Yes, I guess mkstemp/mktemp only use a template you provide. 17:36:56 tmpfile() in glibc seems to do this: "[POSIX] does not specify the directory that tmpfile() will use. Glibc will try the path prefix P_tmpdir defined in , and if that fails the directory /tmp." 17:37:06 So it doesn't even look at the environment. 17:37:29 * oerjan finds today's mezzacotta somewhat amusing 17:41:35 -!- calamari has quit (Quit: Bye). 17:42:59 A common (read: seen in more than one place) Linux-demoscene trick to make a "transparently" decompressing "executable" is to put "x=/tmp/Q;tail -n+2 $0|bzcat>$x;chmod +x $x;$x;rm $x;exit" on one line, and concatenate a bzip2'd (or lzcat+lzma, or xzcat+xz) executable after that; then you just hope that the app managed to make a /tmp/Q and execute it. 17:43:47 It's two bytes shorter than the arguably a tiny tiny bit cleaner version which does "x=`mktemp`;tail ..." instead. 17:44:03 hah 17:44:52 Some also leave out the "rm $x" part, that's six more bytes saved. 17:46:47 thus _ensuring_ that running it twice will fail? 17:47:13 Not if you're the only person who keeps running it, which is quite reasonable. 17:47:22 Not so many people run demos on so very multiusery systems. 17:47:29 oh it's > 17:49:04 If you chmod it "a+rx" instead of just "+x", then those other people will end up running your version, also. 17:49:41 I guess with some umasks plain old "+x" is enough for that. 17:50:10 um wouldn't it bail out when trying to write to it 17:50:31 I don't think so, it's just commands separated with ; after all. 17:50:37 crap, i failed discrete maths 17:50:54 fis@eris:~$ false;false;false;echo "ha, I don't mind the failures" 17:50:54 ha, I don't mind the failures 17:51:22 because of goddamn linear algebra 17:51:45 (The tail ...>$x would fail, and the chmod would fail, but the plain "$x;" would still try to run it.) 17:56:18 fizzie, isn't +x enough for a+x with the standard 022 umask? 17:56:58 I don't know how standard 022 is, vs. the 077. 17:57:11 But yes, "with some umasks". 17:57:50 fizzie, I can't remember last seeing 077. Pretty sure stock arch and stock ubuntu at least both use 022 17:58:36 Possibly. I've been setting it consistently to 077 everywhere for myself, I may have just been assuming that other people were also. 17:59:16 Right, /etc/login.defs "# 022 is the "historical" value in Debian for UMASK when it was used" and /etc/profile "umask 022" for this Ubuntu. 18:00:35 fizzie, 077 messes up for public_html 18:00:37 -!- atrapado has quit (Quit: Abandonando). 18:00:56 I prefer to make public only things I explicitly want to make public. 18:01:28 fizzie, yeah but scp file webserver:public_html and you likely end up getting 403 for it 18:01:39 and well, desktop and laptop are single user systems. 18:02:49 I don't do that, though. I have ~/www mounted (with the gvfs nonsense nowadays) over Samba from the webserver, and have set it to override permissions there so that everything copied there goes public. 18:04:38 I may have started the umask 077 habit from my university shell account; though admittedly it's a bit paranoidical, having 0700 for ~ is likely to be enough to keep snooping people out. 18:05:46 Heh, the http://golf.shinh.org/p.rb?big+number+arithmetic problem had a hilariously misleading name. 18:07:36 -!- distant_figure has changed nick to sleg. 18:10:14 fizzie, that is very tricky without cheating 18:10:43 Yes, and based on the lengths everyone *is* cheating, with just three testcases. Still, I liked the... pun, if you can call it that. 18:11:18 fizzie, most are not marked as cheats though 18:11:47 I'm not sure what's the usual way of marking them is. 18:12:10 iirc "(cheat)" or "(embed)" or similar 18:12:36 -!- sftp_ has quit (Remote host closed the connection). 18:12:52 -!- sftp_ has joined. 18:12:53 http://golf.shinh.org/p.rb?big+number+arithmetic this one is hard 18:13:52 nooga, see comments just above 18:14:24 cheating by? 18:14:26 exec? 18:14:45 nooga, ... isn't it obvious? 18:14:54 Cheating by just looking at two characters of the input, and deciding, based on those, whether to output one of three existing constants. 18:15:10 fizzie, 3, unless you mean those actively looked at 18:15:31 (as opposed to those you have to read in) 18:16:02 i thought there are more input datasets 18:16:06 than 3 18:16:36 nooga, um? where? 18:17:07 I meant "actively looked at"; and you have to read in 4, because both the latter ones start with three spaces. 18:17:24 normally they don't use example data shown with the problem to actually test programs 18:17:46 anagolf doesn't have any hidden testsets; it does say it's not serious golfing on the front page, though. 18:18:14 ah 18:19:03 In the interests of promoting cheatingship, I put in a (marked-as-such) Befunge version too, though it's a bit on the long side. 18:23:05 oerjan: you expect programmers to use an *API*? bah! 18:24:25 cpressey, where did he say that? 18:24:49 oerjan: um isn't there an actual function for getting a temp file... 18:25:02 sorry should have been 18:25:05 cpressey, on *nix: several 18:25:24 cpressey: I wasn't asking, I was quoting oerjan. 18:25:28 ah 18:25:51 cpressey, and those doesn't put the file in any sort of $TMPDIR or such afaik 18:25:55 fizzie: I like that "talking to myself" angle of that last comment. 18:26:56 Vorpal: tempnam in glibc uses the $TMPDIR directory as its first priority, if set. 18:26:58 fungot, there? 18:26:58 Vorpal: as a as a religious fnord or not 18:27:25 fizzie, downside: not secure 18:27:56 Vorpal: Meh, it's just not secure if you don't use it right... but I guess that's a reasonable concern. 18:27:58 fungot: let's hope not 18:27:58 oerjan: ah when i was going with you know like 18:28:24 fungot: No, I don't really know. Like what? 18:28:25 fizzie: a lot of mean l._a. it the whole experience you know so 18:28:26 fizzie, well you have to add logic to try again if it fails. 18:28:34 while mkstemp iirc does that for it 18:28:37 for you* 18:28:59 ^style 18:28:59 Available: agora alice c64 ct darwin discworld europarl ff7 fisher* ic irc jargon lovecraft nethack pa speeches ss wp youtube 18:29:08 what was fisher? 18:29:17 It's a conversational telephone speech corpus thing. 18:29:21 ^style fisher 18:29:21 Selected style: fisher (Fisher corpus of transcribed telephone conversations) 18:29:21 aha 18:29:31 http://www.ldc.upenn.edu/Catalog/CatalogEntry.jsp?catalogId=LDC2004T19 18:29:50 (I'm not exactly sure if it's that particular set.) 18:30:21 I suppose if I really cared, I could make a distro without a /tmp dir, which complains when you try to make a dir called /tmp, and which wires up all the API's/defaults/env vars sanely, and which says "oh boo hoo" if your script breaks trying to get at /tmp... 18:31:27 You're a really careful person if you really care that much. 18:32:41 -!- sleg has changed nick to hiato. 18:33:31 And yes, I forgot to actually reply, but mktemp/mkstemp/tmpfile all handle the actual file creation for you, but none of them -- in glibc -- look at the environment for the directory. (Okay, mktemp/mkstemp can't very well, since they just use a template with substituted characters, but tmpfile could.) 18:34:24 cpressey, issue: breaks X11 amongst other things 18:34:25 GNU coreutils "mktemp" binary does use $TMPDIR, though. 18:34:56 /tmp.X11-unix /tmp.X0-lock and /tmp.ICE-unix 18:35:02 all have very good reasons for /tmp 18:35:07 err 18:35:14 /tmp/.X11-unix /tmp/.X0-lock and /tmp/.ICE-unix 18:35:17 obviously 18:36:46 If you're rolling your own distro, I'm sure those *can* be moved, it might just be bit of work. 18:38:44 hm 18:39:08 fizzie, and it will be quite a pain for users who wish to compile programs you haven't made a package for 18:39:36 -!- kar8nga has joined. 18:40:04 cpressey, an alternative idea that I seen in some hardened kernel patch is to add support for uid-dependant symlinks. So you make /tmp such a symlink and then it ends up pointing to different directories for different users 18:40:37 How does *that* work with X's root-owned /tmp/ socket-dirs? 18:41:00 fizzie, not sure. 18:41:42 fizzie, maybe symlink those into the tmp dir for each user? 18:42:48 fizzie, this would be easy to do on linux if only /proc/self/ had some magic $HOME symlink or such 18:43:57 /proc/self/cwd/proc/self/cwd $ 18:44:00 is my current prompt 18:44:14 only works by starting from / obviously 18:44:29 -!- hiato has quit (Ping timeout: 276 seconds). 18:44:58 and it is just a trick "confusing" bash, I think the symlinks are actually resolved when changing directory 18:45:33 /proc/self/root/proc/self/root would always work, but it's perhaps less confusing-looking. 18:45:50 -!- hiato has joined. 18:45:54 fizzie, well yes 18:46:12 fizzie, with cwd you have to remember that cd affects it 18:46:35 and thus introduces a element of confusion that the root pointer doesn't 18:46:46 fizzie, now, chrooting to /proc/self/root/proc/self/root might do the trick 18:47:13 In most cases bash's symlink-handling works reasonably well, but it's sometimes annoying how "cd .." moves "logically" how the path-in-the-prompt would suggest, while "cp blah .." or "ls .." of course won't. 18:47:53 fizzie, indeed 18:50:07 speaking of annoyance with paths: rsync on two directories (recursively) 18:50:17 iirc, if one ends with / and the other argument doesn't 18:50:20 you get strange results 18:50:47 I tend to add it on both sides thus 18:52:32 iirc the issue was that with something like rsync -r foo/ bar, it would actually sync foo/ to bar/foo/ 18:52:34 or something like that 18:52:53 Yes, it had some sort of logic in it that wasn't exactly obvious. 18:53:10 fizzie, had? 18:53:31 "Had" meaning I ran into rsync directory-creation strangeness too before. 18:53:37 I'm sure it technically speaking still has it. 18:53:43 fizzie, ah, not as in "they fixed it" then 18:54:00 Well, it's not *broken*, it's just different. 18:54:58 fizzie, I seem to remember that cp(1) on openbsd or netbsd or something such had some rule that cp -r foo/ bar would do cp -r foo/* bar/ 18:55:06 -!- oklofok has joined. 18:55:18 fizzie, might not have been that exact way to write it, as in it could have been / on the other argument or such 18:55:28 but yeah, some strangeness on one of the *bsds 18:55:39 it might even have been mv 18:55:41 not sure 18:55:41 indeed, completely fucked up 18:56:00 The man page says that "rsync -av /src/foo /dest" and "rsync -av /src/foo/ /dest/foo" do the same thing; i.e. copy /src/foo's contents into /dest/foo. 18:56:02 oklofok, XD 18:56:18 oklofok: even the rabbits? 18:56:28 oerjan, rabbits always are 18:56:30 fucked I mean 18:56:39 hmm yes 18:56:41 fizzie, so / on second argument? 18:56:46 Also, they have some sort of a mnemonic that a trailing slash in the source means "copy the contents of the directory", as opposed to "copy the directory itself". 18:57:28 fizzie, yeah I tend to do trailing on both ends 18:57:32 It doesn't mention (in this section I'm reading) how (or if) a trailing slash on the second argument would change the behaviour. 18:58:10 The man page says that "rsync -av /src/foo /dest" and "rsync -av /src/foo/ /dest/foo" do the same thing; i.e. copy /src/foo's contents into /dest/foo. 18:58:11 -!- kar8nga has quit (Remote host closed the connection). 18:58:12 Also, they have some sort of a mnemonic that a trailing slash in the source means "copy the contents of the directory", as opposed to "copy the directory itself". 18:58:14 aren't those 18:58:19 contradicting each other? 18:58:36 oh wait no 18:58:39 misread the first one 19:01:06 * Sgeo sneezes bullets 19:01:44 hm how does moulting work? I mean, shouldn't it get smaller over time? Like Russian dolls. Rather than larger? 19:03:00 I mean for snakes and such 19:03:29 In contrast, shouldn't all non-moulting species always say the exact same size? 19:05:36 fizzie, well no, the issue with moulting to me is that the reason for doing it, seems to be that they can't expand the old skin? Right? So how can they store a larger one underneath the smaller old one? For snakes you could presumably make it elastic or fold it or such. But for some insects the exoskeleton that they shed is rigid 19:05:48 which makes it a lot trickier 19:06:06 -!- Ilari_an1rcomp has changed nick to Ilari_antrcomp. 19:06:26 oh wikipedia claims the new one hardens over time 19:08:36 fizzie: I like that "talking to myself" angle of that last comment. 19:09:08 i am one dangerously confused mofo! 19:09:37 bopomofo 19:10:22 cpressey, issue: breaks X11 amongst other things 19:10:25 oh boo hoo 19:10:28 (as i said) 19:11:12 cpressey, well, as a distro maintainer you would presumably have to patch the most popular packages 19:11:51 Or at least pay some alimony. 19:11:55 cpressey, an alternative idea that I seen in some hardened kernel patch is to add support for uid-dependant symlinks. <-- yeah, DragonFlyBSD has "varsyms" that do this sort of thing 19:12:39 cpressey, hm haven't used that one 19:13:01 cpressey, how is it done though? Must be out of band data for it to work 19:13:20 out of band wrt file name it points to 19:13:38 there's a context of substitions, like env vars, but only substituted inside link destinations, which look like: /usr/${var}/etc/whatever 19:13:39 which would incur a checking overhead 19:13:43 iirc 19:13:45 no clue how large that overhead would be 19:14:08 and you as a user can always alter the varsym vars, I think, so it might not even work well for this 19:14:13 cpressey, what if I created a file named ${blargh} and wanted to symlink to it? 19:14:40 there's no var expansion in filenames, only in symbolic link destinations 19:15:12 cpressey, well yes but consider: touch '${HOME}' && ln -s './${HOME}' ./foo 19:15:17 a file named ${blargh} is just like a file named ${blargh} on any other unixoid 19:15:35 cpressey, see the issue here? 19:15:44 Vorpal: then ./foo can point to different things...? no, i don't see the issue 19:16:16 set varsym var HOME to '${HOME}' and it'll point to the file you just touched 19:16:19 cpressey, well it could in theory break some programs that create a symlink to a file path containing such a file or directory. Unlikely yes 19:16:22 but could happen 19:16:37 yes i'm sure it could 19:16:52 cpressey, I *think* this might make it non-POSIX compliant :P 19:16:59 if you are creating files named './${HOME}' you're getting what you pay for 19:17:03 not completely sure but likely 19:17:14 Vorpal: OMG NO SOMEONE PROTECT THE GEESE QUICKLY 19:17:21 * cpressey leaves for lunch 19:17:28 cpressey, which geese? *looks around* 19:17:35 wait, why did cpressey turn into a goose? 19:17:54 and why would he need protection? 19:22:09 -!- Gracenotes has quit (Quit: ...). 19:24:08 he just wanted to send you on a wild goose chase, is all 19:25:53 oerjan, hah 19:45:02 -!- augur has quit (Ping timeout: 255 seconds). 19:48:17 The thing with X11, IIUC, is that it is following a *different* antipattern (Man! I can't stand that word! Why do I keep using it?): it is exploiting the fact that /tmp is shared. It should instead be creating those things in /shared. Which should exist. 19:48:48 alise will probably read all this in scrollback and say, cpressey: Plan 9! 19:49:07 cpressey, stuck in the antipattern of using "antipattern" 19:49:34 antipattern is just another antipattern 19:49:40 ACH GET IT OFF GET IT OFF 19:50:37 s/scrollback/log/ 19:51:12 cpressey: Windows 3.11 for Workgroups! (It doesn't put sockets in /tmp, I'm pretty sure.) 19:54:04 * cpressey sends his thoughts on that to fizzie using DDE 19:57:02 actually, I thought DDE was a heck of a lot more coherent as an IPC mechanism than OLE was 19:57:21 or is? what do they use now? i don't want to know. 19:57:37 -!- Hiant has joined. 19:57:54 -!- Hiant has quit (Client Quit). 19:57:57 TIL DDE TLA 19:58:10 I think it is (or was) something COM-based now. 19:59:59 just because they have COM (and used to have .COM) and .NET doesn't mean microsoft is the internet 20:00:23 Yes, because org-mode still holds court at .org files. 20:01:08 Actually I think now-now you're supposed to use some sort of .NET IPC channels, in fact. 20:02:02 Wait, no. 20:02:22 .NET Framework 2 IPC channels have been deprecated in .NET Framework 4, in favour of using Windows Communication Foundation (WCF). 20:02:40 "Windows Communication Foundation (WCF) is Microsoft’s unified programming model for building service-oriented applications. It enables developers to build secure, reliable, transacted solutions that integrate across platforms and interoperate with existing investments." 20:02:50 See there, interoperate with existing investments. 20:05:01 -!- augur has joined. 20:05:48 Incidentally, I have that Linux-based minimal module player code, and its stakeholder (ha, I've heard of these terms too!) wanted a Windows executable, so I quick-and-dirty ported it to use winapi "waveOutFoo" functions and linked with cross-mingw's binutils' linker; it works fine in Wine, but apparently no longer in Windows 7. 20:06:22 I tried to take a look at how audio should be done nowadays (the multimedia functions are from the 16-bit era, after all) but haven't yet bothered to find out how to call through COM interfaces from assembly. 20:09:55 I guess it's just about fetching a vtable and calling via it, but gah. 20:35:21 hey, can someone explain to me when I would write a monad in Haskell? 20:36:33 coppro: When you realise that you have already written >>=. 20:37:55 hah 20:43:38 * Sgeo wonders if he should learn orn 20:45:21 The thing with X11, IIUC, is that it is following a *different* antipattern (Man! I can't stand that word! Why do I keep using it?): it is exploiting the fact that /tmp is shared. It should instead be creating those things in /shared. Which should exist. 20:45:22 hm 20:45:30 /var/run or similar probably 20:46:04 cpressey, I think that would probably be best 20:46:18 /var/run/X/ or such 20:48:50 fizzie, "stakeholder"? 20:49:01 I have not heard of that word. Or if I have, I forgot about it 20:52:03 welcome to #unix_and_tarpits 20:52:36 wareya, what? We discuss befunge here too. Very non-tarpitty 20:52:49 and also about everything else 20:52:49 :P 20:52:52 Is it? 20:53:00 How many commands does befunge have? 20:53:03 Slereah, yes, especially befunge98 20:53:38 Slereah, not sure about 93. But 98 has all printable chars in ASCII mapped. A-Z are mapped to loadable extensions. Of which there exist many 20:53:44 Befunge is... 20:53:49 A reverse tarpit. 20:53:54 93 has a subset of these. But even it has a pretty large instruction set 20:53:57 wareya, indeed! 20:54:27 It's rediculously easy to do simple things in X ways; lim(x->inf) 20:54:33 ridiculously* 20:54:37 hm? 20:54:40 Damned american school failed me again! 20:54:45 oh wait, I read that as C first XD 20:54:48 lol 20:55:25 Slereah, consider the fingerprint (loadable extension) SOCK for example. IIRC CLC-INTERCAL has some networking support, but only to other CLC-INTERCAL implementations. fungot uses SOCK to connect to IRC 20:55:26 Vorpal: ( ( this is)) did we look at historical things or did we look at each other no i'm right laughter you know so 20:55:40 and FILE to treat a file as an open stream 20:56:00 (befunge98 has built in load/write for files, FILE is however more advanced) 20:58:21 brb 21:03:32 ^styke 21:03:33 ^style 21:03:33 Available: agora alice c64 ct darwin discworld europarl ff7 fisher* ic irc jargon lovecraft nethack pa speeches ss wp youtube 21:03:42 ^style darwin 21:03:42 Selected style: darwin (Books by Charles Darwin -- you know, that evilution guy) 21:03:45 fungot, hi there 21:03:46 Vorpal:/ second volume/ causes and means :) temperature for corresponding times in other years. 21:03:56 fungot, right... 21:03:56 Vorpal: pebbles :), strewed over patagonia. --of patagonia, formation :). 21:05:46 Vorpal: "A corporate stakeholder is a party that can affect or be affected by the actions of the business as a whole." 21:06:26 ("The term has been broadened to include anyone who has an interest in a matter.") 21:06:39 /var/run or similar probably <--- yeah, that would be appropriate 21:12:04 fizzie: transacted solutions that interoperate. imagine that! the stakeholders will be well pleased 21:12:34 hey, can someone explain to me when I would write a monad in Haskell? 21:12:41 coppro: AT ANY AND ALL OCCASIONS 21:12:41 -!- Phantom_Hoover has joined. 21:14:41 coppro, I would suggest "never: if you need a monad you are probably doing something practical" 21:15:08 coppro, try instead staying completely pure. 21:16:44 there's a certain satisfaction one can get out of writing completely monadless code, but, monads have a place. and i wouldn't call them impure. 21:18:19 What's this about monads? 21:18:29 Vorpal thinks they're impure 21:18:29 Phantom_Hoover, see log? 21:18:34 Phantom_Hoover: hey, can someone explain to me when I would write a monad in Haskell? 21:18:58 Vorpal, I thought you understood monads? 21:19:00 -!- comex has joined. 21:19:17 At least, enough to tell that they're not "impure". 21:19:47 Well, maybe I mischaracterized what Vorpal said. I hope I mischaracterized what Vorpal said 21:19:56 Nope. 21:20:00 alise's habits are rubbing off on me :( 21:20:02 Phantom_Hoover, of course. I was making a *joke* 21:20:13 ... 21:20:21 About *what*? 21:21:28 -!- nooga has quit (Quit: Lost terminal). 21:22:11 coppro, for an answer, you could look at the use cases for most of the standard monads on the Haskell wiki. 21:25:07 Phantom_Hoover, about mathematicians being too theoretical I think 21:25:32 -!- augur has quit (Ping timeout: 245 seconds). 21:25:43 Vorpal, it fails hugely because noöne who understands monads whatsoever thinks they are "impure". 21:26:02 Theoretically or not. 21:29:40 OK, general question: I have a copy of "Gödel, Escher, Bach" lying around. Do I read it? 21:31:18 Phantom_Hoover, isn't that one of those book that have a low ratio of readers to owners? 21:31:35 Phantom_Hoover, so it is up to you I guess 21:31:38 I didn't say I *owned* it. 21:31:45 Phantom_Hoover, hm 21:31:46 I borrowed it without intent to return. 21:31:52 Phantom_Hoover, that's nasty 21:32:04 Phantom_Hoover, stealing in other words 21:32:07 No, the person it belongs to didn't need it any more. 21:32:15 Phantom_Hoover, he gave it to you? 21:32:18 or she 21:32:30 Basically, yes/ 21:32:57 mhm 21:33:02 then you own it? no? 21:33:26 I have no idea. 21:33:57 Phantom_Hoover: Do not read it. 21:34:18 Is it actually the Necronomicon in disguise? 21:34:46 No. I have respect for the Necronomicon. 21:34:58 What's wrong with GEB, then? 21:35:10 GEB is not evil, it's just... spinny. 21:35:27 WOW MATHEMATICS IS SUCH A TRIP 21:35:37 Spinny? 21:36:27 Phantom_Hoover: How do I explain "spinny"? 21:36:41 By analogy? 21:37:42 Trippy? 21:38:08 Phantom_Hoover: I changed my mind. Read it. I think your system will reject it, like mine did. I mean, I can only hope. 21:38:21 Reject? 21:38:23 Reject it like a donor's kidney. 21:38:27 What was actually the *issue*? 21:38:34 Issue? Naw. 21:38:54 What was the reason your mental immune system rejected it? 21:39:22 Phantom_Hoover: I think it's because I don't consider mathematics to be a religious experience. 21:39:34 Ah. 21:39:43 cpressey, with the right dose of LSD and some luck that would probably change? 21:39:46 And Hofstader does? 21:39:47 s/ / / 21:39:53 Vorpal: *Bad* luck, I hope you mean 21:40:02 Phantom_Hoover: Well, not explicitly AFAIR. 21:40:06 cpressey, "some" does not indicate which direction 21:40:12 Phantom_Hoover: But... well, read it. 21:40:14 cpressey, well it does in everyday speech 21:40:21 cpressey, but not if you actually look at what the words say 21:40:39 Phantom_Hoover: Or don't. 21:41:05 My only interest is that you'll become far more obnoxious in this channel if you become one of ... *them*. 21:41:06 cpressey, it's too big to embark upon without serious and irrefutable reason to do so. 21:41:43 Phantom_Hoover: Well, I only mean the preface, or first chapter, or whatnot. (The one where he explains to the reader what a "strange loop" is.) 21:42:14 That's Hofstaderese for recursion, isn't it? 21:42:21 -!- iGO has joined. 21:42:31 That's Hofstaderese for OMG RECURSION BLEW MY MIND 21:43:09 * Phantom_Hoover managed to get the nats coinductively defined in Coq. 21:43:18 He is rather proud of this fact. 21:43:38 Note that I tend to be rather anti-Pop-Mathematics, and anti-Pop-Science, and anti-Pop-* in general. 21:43:52 Phantom_Hoover: That's quite nice. 21:43:59 So you don't approve of Ian Stewart? 21:44:05 *gasp* 21:44:29 Phantom_Hoover: There are a few small exceptions -- I said "in general". I may or may not know Ian Stewart 21:45:10 Have you read "The Science of Discworld"? 21:45:40 No, nor have I read Discworld anything. 21:45:47 *gasp 21:46:19 anyone have an oxygen cannister? PH seems to be... subventilating 21:46:35 Oxygen.... 21:46:41 (But not Oxygene) 21:46:45 Oxygen_Hoover. 21:46:55 oerjan, there? A question about Norwegian. What does "Faen" mean? 21:47:03 oerjan, I guess "the devil" based on sv:fan 21:47:08 Vorpal: yep 21:47:29 Is that related to "faun"? 21:47:33 oerjan, google translate claims it means "fuck" for some strange reason 21:47:45 cuz google's fucked 21:47:47 oerjan, and it also does sv:fan -> no:fuck which seems completely broken 21:47:53 it's a contraction of "fanden", i don't think it's anything to do with fauns 21:48:39 Vorpal: well in modern norwegian it's mainly a swearword 21:49:02 oerjan, hm 21:49:11 oerjan, "damn" seems more relevant 21:49:39 you'd use "djevelen" or "satan" if you wanted to talk about the religious matters. of course those _are_ also swearwords :) 21:50:08 well, "dæven" rather than "djevelen" as a swearword, mostly 21:50:33 and "damn" is pretty close in meaning, yeah 21:50:44 djävulen hm 21:50:59 "dæven" I can't think of anything like in Swedish 21:52:00 oerjan: However, Google translate no:faen -> fi gives "naida", which is the first infinitive form of the verb, "to fuck", and is not really something that's be very commonly used as a swearword. (It's a bit on the crude side, but not actually really swearwordy.) 21:52:21 jäkel? 21:52:34 (not the same for swearing, though) 21:52:42 fizzie, yeah google fails 21:52:55 -!- Fuzz3r has joined. 21:52:58 at translating that is 21:53:26 "fuck" is a perfectly valid swearword in colloquial norwegian, me thinks 21:54:10 I think it is that here too. It can't be used in the English non-swearword sense though in Swedish. 21:54:52 while the norwegian translation "pule" would be extremely crude in comparison 21:54:52 hm I wonder what sort of maximal tarpit you could make 21:54:53 that is 21:55:13 get as many instructions as possible in a language while making sure removing any single one would make it non-TC 21:56:01 Google does correctly translate en:"fuck you" to the probably closest-in-sense Finnish all-purpose swearword, even though it has a different literal meaning (female genitalia, basically). 21:59:32 hm "Jäkel" would appear to be a german surname 21:59:32 oerjan, Jäkel and Mr Hyde? 21:59:32 * Vorpal runs 21:59:32 yeah run and hyde, you 21:59:32 :D 21:59:32 I used to live on "Jääkärinkatu" (Jäger street). 21:59:32 (Which is also a German surname.) 21:59:32 fizzie, is Jäger related to jägare? That is en:hunter 21:59:32 Vorpal: hm i imagine a language in which the command to increment a value depends on the value and you need to use all of them to avoid all cells ending up with the value you left out the increment for 21:59:32 hm where have I heard "jäger" spelled like that. Somewhere the last few months. And no I don't speak German... 21:59:32 It's German for hunter, but among English speakers the military meaning might be more well-known. 21:59:32 oerjan, err what? 22:04:35 Vorpal: for your maximal tarpit 22:04:35 oerjan, yes 22:04:35 oerjan, but I don't see what you mean with "to avoid all cells ending up with the value you left out the increment for" 22:04:35 oerjan, or why you would need all to do that 22:04:35 (Or possibly the drink that starts with the word.) 22:04:35 well if you left out the command to increment a 42, and there was no way to get back down without it - i'm assuming the largest value wraps here, and no decrement command 22:04:35 then every cell that got incremented enough would end up stuck as 42 22:04:36 oerjan, hm. Doesn't sound terribly interesting 22:04:36 -!- Fuzz3r has quit (Client Quit). 22:04:36 oerjan, also I suspect you could just keep moving along the tape forever 22:04:36 to copy your data to a few range, at a lower value 22:04:36 a subtlety i see is how do you avoid just ignoring those cells and moving along the tape (assuming it's bf inspired in other respects) 22:04:36 oerjan, hah beat you to it! 22:04:36 bah 22:04:36 oerjan, anyway, it doesn't need to be bf based 22:04:36 could be lambda calculus based 22:04:36 or whatever 22:04:36 oerjan, but your suggestion is a good start 22:04:36 Huh, the Pope is parading in Edinburgh. 22:04:36 * Phantom_Hoover wonders whether to Do Something 22:04:36 Oh, it's a Thursday. 22:04:36 * Phantom_Hoover can't be bothered 22:04:36 -!- hiato_ has joined. 22:04:36 -!- Jonty_ has joined. 22:04:36 Phantom_Hoover, why does Thursday matter here? 22:04:40 Because I have to do other things and I'm not going to use free time protesting 22:04:50 Phantom_Hoover, ah 22:05:23 -!- GreaseMonkey has joined. 22:05:23 -!- hiato has quit (Ping timeout: 276 seconds). 22:05:23 -!- GreaseMonkey has quit (Changing host). 22:05:23 -!- GreaseMonkey has joined. 22:05:29 -!- Jonty has quit (Ping timeout: 276 seconds). 22:06:07 Phantom_Hoover: But is he going to be wearing the pope hat? 22:06:41 and what about the popemobile 22:06:42 I assume so. 22:06:47 Speaking of pope hats: http://www.craigslist.org/about/best/phx/1258405496.html (a very old thing, but still) 22:06:52 I could always try to steal one. 22:07:05 "I have pope hats in every closet, pope hats under the sing, pope hats full of other pope hats." 22:07:15 (I suspect that was supposed to be "sink".) 22:10:22 fizzie, wtf XD 22:11:08 Well, I shall have the Pope's REAL hat! 22:12:39 Phantom_Hoover, grapnel? 22:13:02 -!- Dionisia has joined. 22:13:10 It's a big target, easy to hit. 22:14:06 -!- madbrain has joined. 22:14:08 hey 22:14:19 hello 22:14:21 would a 12 bit computer be intersting :D 22:14:24 ahoy 22:15:13 is this a channel about drawing? 22:15:41 -!- Dionisia has changed nick to dionisia. 22:15:46 http://ed-thelen.org/comp-hist/pdp-5.html 22:16:09 dionisia: definitely not 22:16:25 ohhhhhhh ok, thank youu :) 22:16:35 oerjan: except that's a poring computer for banks and governments 22:16:38 boring 22:16:59 -!- dionisia has left (?). 22:19:02 poring over money 22:20:28 * Phantom_Hoover wonders why he thought that 22:21:00 madbrain, pretty much any number of bits can be interesting 22:21:15 Ignore the post before last, BtW. 22:22:10 drawing, huh 22:22:41 Oh, wait, I get it now 22:22:49 Why I said that. 22:30:52 phantom: yeah... but what about on a game console-like system? 22:32:23 Define "interesting", then? 22:32:38 well, ever seen demoscene demos? 22:33:41 Ah, yes.. 22:34:44 something that's not underpowered so that you can do realtime gfx 22:34:53 Well, 12-bit doesn't seem to have any particular advantages.; 22:34:57 hmm 22:35:44 Bitness doeesn't really do very much. 22:36:28 well, 6-bit or 12-bit color modes could be interesting 22:36:38 or 12-bit sound 22:37:02 Perhaps. 22:37:25 I avoid display and sound things. 22:37:31 madbrain, I seem to remember some PIC (SoC thingy) that has a 12-bit memory for program 22:37:35 but they're the best things :/ 22:37:44 it being a Harvard architecture 22:37:57 it had 8-bit words for data iirc 22:38:02 -!- derdon has quit (Ping timeout: 245 seconds). 22:38:11 vorpal: ah... cool but if I do harvard I'll need some data mem->cpu mem transfer instruction 22:38:15 -!- Gregor has changed nick to Gregor-L. 22:38:32 -!- Gregor-L has changed nick to Gregor. 22:38:36 I'm not sure separate data and instruction buses are cool 22:39:08 madbrain, note a PIC12F629 (I think it was that one I coded for, and it had 12 or 14 bits for the program memory) has is an 8 leg DIP thingy. 1024 words flash for program 22:39:10 The C64 graphics chip, VIC-II, is 12-bit (but not a CPU, of course) in a data-bus-width sense; the low bits are to the cpu/memory bus, and the four high ones are to the vic-only color RAM. 22:39:41 and iirc 64 bytes SRAM + 128 bytes data EEPROM 22:39:46 or something like that 22:39:49 very limited anyway 22:40:03 yeah I'm really more like thinking about a dram based system 22:40:08 madbrain, PIC12* are accumulator machines iirc 22:40:19 madbrain, making them painful to program for 22:40:34 ideally 1 bus shared by cpu and gfx and sfx 22:40:47 and good for making screwy c64 style effects 22:40:55 -!- tombom has quit (Quit: Leaving). 22:41:01 madbrain, boring. 22:41:13 you're boring 22:41:16 madbrain, and I too avoid sound and display 22:41:47 madbrain, the most interesting thing in programming for that PIC12F629 was writing the interrupt handler for the serial port communication 22:42:36 At least 12 divides equally by 3, which might be nice for packed-pixel RGB444 pushing, but that sounds a bit memory-intensive. 22:42:56 fizzie, RGB444 ? 22:43:13 3x4 bits, presumably. 22:43:23 ah 22:43:32 serial ports are boring 22:43:42 16 bits per channel at least. Or even better: 32-bit floating point per channeö 22:43:44 channel* 22:44:04 444 is a good tradeoff yes 22:44:21 but it's presumably something you'd do on a 24bit computer with 12 bit words 22:44:40 madbrain, how many different colours can you get hm... 64? 22:44:41 bah 22:44:45 too limited to be interesting 22:44:56 12bits gives you 4096 22:45:12 ie you can do photos and shit 22:45:23 madbrain, well 4*4*4 is 64 22:45:28 6bit is 64 colors, ie probably paletted and amiga 22:45:38 4 bits, not 4 colors. 22:45:43 vorpal: that's 6 bits 22:45:44 oh right 22:45:49 fizzie, doh 22:46:02 yeah 4096 22:46:08 still extremely limited 22:46:19 I seem to recall a 4k color screen in some handheld. 22:46:23 photos certainly won't look very nice 22:46:38 especially any gradients in them 22:46:42 vorpal: just dither them 22:47:01 madbrain, dithering looks horrible on all but extremely high-DPI monitors 22:47:18 madbrain, well I guess it looks okay on CRTs, but only because they are naturally blurry 22:47:28 used a CRT today. UGH I hate that 22:47:40 You and your "horribles"; earlier we had 16-color palettes and that was plenty. 22:47:41 flickering, blurry crap 22:47:53 that's what CRTs are 22:48:04 yeah, 256 colors is plenty from a 2d game pov 22:48:07 even at a refresh rate of 75 Hz 22:48:22 and of course it didn't have any auto adjust button 22:48:42 I had to move the image about with the buttons when I changed to 75 Hz 22:48:48 for refresh 22:49:42 gave me a headache that monitor 22:49:58 Anyway, full-"byte" pixels (whether 8 or 12 bits; I guess for a 12-bit arch you'd make the memory bus wider) in something that has a framebuffer in a slow-ish main memory shared by graphics and CPU doesn't sound like it'd necessarily work. 22:50:19 like, compare ega (16 colors with a fixed bad palette) with vga (256 color with variable palette) 22:50:33 vga just looks incredibly better 22:50:44 -!- Mathnerd314 has left (?). 22:50:51 cga is fixed pal, ega is (mildly) variable pal 22:51:10 is that cable? Or something else? 22:51:12 yeah but I've almost never seen games using ega's variable colors 22:51:22 nowdays VGA, SVGA and so on seem pretty meaningless 22:51:42 I'm referring to specific pc hardware 22:52:01 madbrain, right. today most people think "the blue cable" when you say VGA 22:52:09 heck I do too 22:52:12 at first 22:52:13 EGA monitor connector is a 4-bit digital RGBI thing, I don't see how you get anything else than the 16 specified colors out of it. (Or did it actually have a six-bit digital thing?) 22:52:23 fizzie, I? 22:52:29 Intensity. 22:52:32 fizzie: I think that's cga 22:52:32 ah 22:52:46 wait.... 22:52:50 No, EGA definitely is a digital thing. 22:52:54 cga is fixed pal, ega is (mildly) variable pal <-- so... interlacing? 22:52:58 since PAL uses interlacing 22:52:59 afaik 22:53:09 "Palette". 22:53:11 fizzie: dunno how ega connected, probably 6bit digital yeah, also it had incredibly weird timing (22khz vertical retrace???????) 22:53:13 ah 22:53:26 uh, i don't think they interlace or something 22:53:47 CGA apparently had digital: r,g,b,i 22:53:48 madbrain, why is 22 khz so bad? 22:53:49 yeah that's short for palette, not the tv standard 22:53:50 "EGA produces a display of 16 simultaneous colors from a palette of 64 --" 22:54:02 vorpal: It's just weird 22:54:07 madbrain, why? 22:54:13 vorpal: also good luck getting anything to sync to it 22:54:25 madbrain, besides... khz? which direction is it drawing in? 22:54:28 Right, a palette of 64 does sound like the six-bit digital one, where there's RGB, and then another set of "brighter" RGB ones. 22:54:58 vorpal: well, ega has different horiz refresh in 200 line 70hz, and 350 line 70hz modes 22:55:17 madbrain, 70 hz doesn't seem too bad 22:55:31 madbrain, even though you need 75 hz for reasonably low flickering 22:55:38 Anyway, you can hook up 4-bit RGBI (like the C128 VDC) into a EGA monitor by wiring all three "intensity" pins to the I. 22:55:49 90 hz or above is to be preferred to make a CRT even remotely usable for more than a short duration 22:56:14 but yeah you'll probably never get a pic out of a computer with an EGA or CGA unless you specifically have an EGA or CGA monitor 22:56:24 since anything you'll find is VGA 22:56:29 madbrain, couldn't you build a capture device? 22:56:31 which converts it 22:56:46 vorpal: dunno if that exists for CGA or EGA 22:56:53 madbrain, home built? 22:57:03 vorpal: yeah, that could do it 22:57:15 fizzie, also did you say ega was digital? Unlike vga? 22:57:18 i think 72Hz is the mark, maybe 70Hz 22:57:21 vorpal: still a lot more easy to use a computer with a VGA 22:57:22 Anyway, you can hook up 4-bit RGBI (like the C128 VDC) into a EGA monitor by wiring all three "intensity" pins to the I. 22:57:31 Gah, duplicatey. 22:57:31 madbrain, I prefer a DPI 22:57:32 err 22:57:36 since VGA is well supported 22:57:39 typo 22:57:47 DP 22:57:51 "I think I've seen some schematics. They were pretty hacky." is what I was supposed to say. 22:57:51 (displayport) 22:57:53 either that 22:57:55 or DVI 22:58:05 For an EGA-VGA box, that is. 22:58:22 hm 22:59:05 vorpal: use analog DVI 22:59:15 madbrain, why on earth? 22:59:28 madbrain, absolutely no one uses analog for anything new 22:59:29 secret: analog DVI is actually just VGA remapped to a different connector :D 22:59:40 what monitor interface did the old lisp machines use? 22:59:56 vorpal: they switched to analog for VGA! 23:00:03 madbrain, how silly 23:00:05 anyway 23:00:06 what monitor interface did the old lisp machines use? 23:00:12 CGA and EGA had digital cables, VGA had analog 23:00:19 [irony!] 23:00:28 and VGA was standard for like over 10 years 23:00:48 madbrain, again: what monitor interface did the old lisp machines use? 23:01:07 nobody has hardware that will interface old lisp machines 23:01:17 but vga is still really common 23:01:19 madbrain, unless you have a monitor still left 23:01:34 LCDs using VGA or analog DVI 23:01:36 madbrain, but presumably you could construct a conversion box 23:01:39 which is why I ask 23:01:44 what monitor interface they used 23:01:57 "they"? 23:02:05 madbrain, lisp machines... 23:02:12 why knows, who cares 23:02:12 symbolics ones 23:02:25 madbrain, well it is much more interesting than IBM PC history 23:02:34 so thus I care. 23:02:39 and I know I'm not alone in that 23:02:41 it's not like you'll actually output something neat to look at out of a lisp machine 23:02:51 .... 23:03:01 The Sun box I have in the basement has Sun's own extremely silly 13W3 connector; it's shaped like the usual n-pin D connector, but inside there's three tiny coaxial-type connectors in addition to 13 regular pins. 23:03:04 madbrain, you are trolling now 23:03:08 no 23:03:14 * Phantom_Hoover needs to write that x86-64 Lisp OS 23:03:34 fizzie: is that the one that's actually exactly like VGA but with sync on green? :D 23:04:10 madbrain, of course you can output neat stuff with it 23:04:15 madbrain: No, it's like VGA but there's a combined H/V sync. (Instead of VGA's separate.) 23:04:20 such as lisp code. Or drawing stuff on screen 23:04:36 madbrain: SGI's boxes, I think, mostly did sync-on-green. 23:04:47 right 23:05:02 why on earth you only care about graphics demos I can't fathom 23:05:20 % typos 23:05:24 Well, I'm a composer 23:05:33 -!- Hiant has joined. 23:05:36 I have a 13W3/(4xBNC) cable that worked in a CRT with the usual 5xBNC inputs; according to the monitor manuals it would've done sync-on-green too. 23:05:38 I like computer music 23:05:40 madbrain, so is Gregor? And? 23:05:54 computers that don't output music bore me 23:05:59 madbrain, there is more to computing than graphics demos. Especially in this channels 23:06:04 this channel* 23:06:12 Pianos that don't output music bore me. Computers that don't output music are useful for computational tasks. 23:06:34 Also, http://codu.org/tmp/existentialism.png 23:06:37 vorpal: yes 23:06:59 vorpal: but I have to admit that sound and gfx are my personal favorite topics 23:07:25 Gregor, XD 23:07:37 Gregor, pokemon joke right? 23:07:52 Via someone else, but yes :P 23:08:01 Gregor, heh 23:08:04 :D 23:08:28 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 23:08:33 Gregor, it is Super Effective of course 23:09:31 Gregor, what exactly _is_ existentialism? 23:09:31 Cropped from http://a.imageshack.us/img843/9525/confusion.png 23:09:38 I can never remember 23:10:04 -!- FireFly has quit (Quit: swatted to death). 23:10:11 Gregor, "huh" 23:10:33 madbrain: i think you should have a relatively powerful co-processor to do the gfx and/or sound 23:10:55 Or: just pour more resources into the CPU 23:10:57 that works too 23:11:12 not as cool... you don't get to worry about bus contention that way! 23:11:21 * cpressey goes all Hi-Z 23:11:25 cpressey, touche 23:11:55 -!- Hiant has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 23:12:06 cpressey, iirc there exists dual-access-port-thingy RAM? 23:12:19 not sure if that allows concurrent access 23:13:12 cpressey, anyway I programmed on a thing recently where the CPU (a SoC) had a 1 bit serial databus to the LCD controller 23:13:16 vorpal: more cpu probably translates into at least having CPU cache 23:13:16 You can get dual-access memory; some boards based on that TI DSP I keep talking about have some. Then you can do two reads/clock. 23:13:25 cpu cache is complicated 23:13:31 madbrain, and fun! 23:13:46 plus that sort of architecture makes everything look like 1996 pc demos :D 23:14:06 fizzie, couldn't you do different devices doing the different reads/writes? 23:14:14 at the same time 23:14:18 well maybe not writes 23:14:20 could be tricky 23:14:40 madbrain, need to add an advanced GPU then 23:14:49 madbrain, then you get an interesting 3D demo 23:15:04 that's called a playstation 1 23:15:07 hm 23:15:17 there needs to be an FPGA demo scene 23:15:29 -!- GreaseMonkey has quit (Quit: Welcome honored guest. I got the key you want! would you like onderves. of Yourself). 23:15:30 now that would be cool 23:15:33 it's a great platform and they did tons of stuff on the psx but it's also kinda complicated 23:15:42 vorpal: yeah it would be cool 23:15:49 madbrain, I was thinking along the lines of PS3 rather 23:15:49 :P 23:16:13 vorpal: too bad there's not enough overlap between the demoscene and hardware people 23:16:36 madbrain, hardware people probably find it more interesting to do other stuff than demoscene 23:16:44 I completely understand them 23:16:48 if that is the reason 23:17:25 dunno, one guy I know in this audio dsp channel complained that the hw guy projects were usually nothing except interfacing mp3 player chips 23:17:26 madbrain, ASIC demoscene would be even better 23:17:33 too bad it would cost a fortune 23:17:51 Last year's altparty had a Cray competition -- Cray bought one of their tiny "desktop supercomputers" there -- but the participation was pretty low, and the results not so fancy. And anyway, the box was mostly unremarkable; it was just a cluster of 8 multicore Linix nodes, with a faster-than-usual network in-between. 23:17:56 CPU cache and dual-port RAM sound waaay too sophisticated for an 8(12?)-bit-esque gaming machine 23:18:18 s/bought/brought/ 23:18:23 haha dual-port ram? 23:18:24 dud 23:18:24 e 23:18:26 cpressey, yes we moved onto a more interesting topic 23:18:33 (1) no cache. cache is too complicated 23:18:41 madbrain, read the scrollback 23:18:42 (2) using DRAM. 23:18:47 fizzie, awesome idea though 23:18:52 madbrain: the computer I built couldn't play music. It only had 8 LEDs with which to impress the world of its powers. In my defense, though, the next output device I was going to build was going to be a sound-output-thingy 23:19:00 dram = cannot do multiple operations on same cycle 23:19:03 then i gave the computer away to a friend... 23:19:13 cpressey: hmm :/ 23:19:29 SRAM >>>>> DRAM 23:19:38 cpressey: I'm more like working on a project where I'll do an emulator but it has to be implementable IRL 23:19:40 Vorpal: I suspect madbrain is still on the topic of their project 23:19:43 sram is a gadget 23:19:48 uh 23:19:55 madbrain, use drum memory then 23:20:01 Vorpal: There was one demo with a nice-ish fluid-simulation flowy thing; that's sort of a natural match to the environment. 23:20:01 then you get back to cool 23:20:12 fizzie, heh 23:20:22 naah I want to do the job of the guy who designed the atari jaguar 23:20:37 or amiga 23:20:42 boring 23:20:46 in other words 23:20:55 or most 80s/90s computer or console systems really 23:21:04 they're ALL designed around DRAM access cycles 23:21:17 I prefer more exotic systems 23:21:40 custom amiga coppers back when routing was done *by humans*... sweet 23:22:05 like, I could design a nice system around 4mb of 32bit or 64bit fast page DRAM 23:22:12 cpressey, err, I'm pretty sure routing been done my machines longer than amiga existed 23:22:13 probably 3d even 23:22:17 madbrain: well, around DRAM access cycles and/or some convenient multiple of the video signal :) 23:22:25 cpressey, I read about machines doing wire routing 23:22:31 for wire-wrapping 23:22:38 Vorpal: the custom amiga chips were routed by humans. 23:22:42 cpressey, okay 23:22:57 cressey: yeah, what they did is round dram access time to nearest multiple of the NTSC color carrier :D 23:23:02 cpressey, but mechanical wire-wrapping-and-routing tools existed for longer 23:23:14 that's why the same clock rates appear in the NES, SNES and amiga 23:23:19 there's a whole story about how HAM mode was on the chopping block, but if they took it out, there'd just be a big hole in the middle of the chip where it was anyway! 23:23:47 cpressey, HAM? 23:23:50 Vorpal: I'm not sure what this has to do with wire-wrapping... I'm talking about the chip itself 23:23:55 ok, bye 23:24:04 bye madbrain 23:24:05 cpressey, oh on the IC level? 23:25:00 cpressey, still what is HAM mode? 23:25:13 Vorpal: google "ham mode" 23:25:14 Vorpal: I refer you to wikipedia page about the amiga computer 23:25:39 cpressey, will do later then. I'd hate to do it in w3m 23:25:46 and I don't have X running atm 23:26:26 HAM's very uniqueness makes it awesome; I'm not very sure I'd like to be writing code for it though. 23:28:19 -!- madbrain has quit (Ping timeout: 252 seconds). 23:30:35 If you want a short summary: it's a mode where the the pixels either select a color from a palette (as usual), but alternatively they can also mean "set only R (or G/B) value and keep the others from the previous pixel", so that you get sort-of n-bit color in something like n/2 bits per pixel. At the expense of making abrupt color-changes a bit messy. 23:31:12 HAM being short for "hold-and-modify". 23:35:52 mhm 23:35:53 night 23:40:53 " Note that I tend to be rather anti-Pop-Mathematics, and anti-Pop-Science, and anti-Pop-* in general." <<< pop = bullshit 23:42:06 " "fuck" is a perfectly valid swearword in colloquial norwegian, me thinks" <<< i tend to use it a lot, was a bit more embarrassing when i went to scotland 23:42:58 -!- nooga has joined. 23:43:08 anyone played such thing as Colobot? :D 23:45:07 " anyone played such thing as Colobot? :D" <<< no 23:46:08 Colonbot? 23:47:27 colon is where your ass comes from right 23:48:09 bots are automatical humans 23:52:51 * oerjan read that as bots are automatically humans 23:54:42 `addquote colon is where your ass comes from right 23:54:59 219| colon is where your ass comes from right 23:55:50 -!- cheater00 has quit (Ping timeout: 276 seconds). 23:56:31 -!- cheater00 has joined.