00:00:00 that looks right 00:00:35 hmm, you remarked exactly at midnight 00:00:44 ais523|sl_busy: hmm... 00:00:46 {{ {{ S1| K | S }} | K }} 00:00:50 that's what it thinks SKSK is 00:00:57 I think I need more {{ }} ing of partially evaluated forms 00:01:07 ais523|sl_busy: S, S1, S2, K, I are my templates 00:01:34 * Sgeo has gotten MW pages to contain text that you can't put in directly, and that resaving with no changes change the page.. 00:02:10 ais523|sl_busy: I definately have a weird bug 00:02:10 Sgeo: I know at least two examples of that, but they're both bugs according to the devs 00:02:11 {{ {{ K | hello }} | world }} 00:02:12 --> 00:02:19 {{ I| hello | world }} 00:02:27 Oh, of course. 00:02:29 that's not a bug 00:02:31 Hmm, wait.. 00:02:35 {{{subst:ns:0}}{some_template}} 00:02:36 that's just MediaWiki marking characters as literal 00:02:41 ais523|sl_busy: Ah. 00:02:42 they don't magically deliteralise 00:02:44 So I need your trick? 00:02:46 erm wait 00:02:48 (What was it, again?) 00:02:55 ehird: I already explained that it doesn't work 00:03:15 ais523|sl_busy: OK. So should I just give up, or is there hope? 00:03:24 well, I just gave up last time I tried 00:03:46 I don't think a simple method will work, because you can't just insert | marks into the middle of templates remotely 00:03:51 ais523|sl_busy: Trying your {{!}} 00:04:05 I think the bug that I used was fixed 00:04:11 or maybe not a bug 00:04:35 {{ {{ {{{1}}} {{!}} {{{3}}} }} {{!}} {{ {{{2}}} {{!}} {{{3}}} }} }} 00:04:51 {{{{{{{1}}}{{!}}{{{3}}}}}{{!}}{{{{{2}}}{{!}}{{{3}}}}}}} funnier without whitespace 00:04:52 Sgeo: you can do it by trying to subst a non-existent page 00:05:18 also note that a user was once banned by Arbcom, partially for setting their signature to ~~~~ (but for other more serious reasons too) 00:06:14 although I admit that it was an ingenious thing to do 00:06:22 wht happens if your sig is ~~~~ ? 00:06:30 SimonRC: when other people edit the page it becomes their sig 00:06:32 think about it 00:06:37 cool 00:06:40 mw substs user->sig on ~~~~ 00:06:46 if user->sig = ~~~~ 00:06:50 it puts ~~~~ on the page 00:06:52 it's not as simple as that 00:06:53 when edited, it sees ~~~~ 00:06:54 but I can't remember why 00:06:55 and substs user->sig 00:07:02 ais523|sl_busy: because sigs are interp'd for wikicode 00:07:04 and I think it may have changed over time 00:07:04 but yeah, basically. 00:07:11 ais523|sl_busy: anyway, I cannot think how to make my templates work 00:07:13 ehird: there are sig filters nowadays 00:07:16 if you have any ideas I'd really like to hear them :) 00:07:48 I don't have enough of one 00:08:13 it may be possible to do clever things using = on Parser_OldPP, but I don't think that's sufficient for this 00:08:59 hmm 00:09:01 what is = 00:09:05 oh 00:09:05 yes 00:09:07 keywording 00:09:09 hey, that's a good idea.. 00:09:14 I mean 00:09:16 it's for named parameters 00:09:21 if we say that we have args x, y, z for S 00:09:21 then 00:09:23 and yes, you can have a param called 1 or 2 if you like 00:09:36 which has interesting interactions with numbered params 00:09:41 S = S1|x{{{1}}}{{{2}}} 00:09:43 and 1 must be = 00:09:49 ais523|sl_busy: actually i have no idea how i could utilize that 00:09:49 heh 00:10:14 I don't either 00:10:23 although I used it for Wiki Cyclic Tag for list parsing 00:10:34 http://esolangs.org/wiki/FURscript if this had a call procedure command I think it would be turing complete 00:10:38 due to lambda calculus hackery 00:12:10 [DIRFORMAT="DIRECTORY","BYPASSSECURITY?"] FORMATS A DRIVE AND ASKS WHETHER TO BYPASS ALL RESTRICTIONS 00:12:34 I like how it formats the drive beforehand 00:12:35 and then asks the user whether it should have done 00:12:58 luckily it doesn't say which drive is formatted, so as long as I have a floppy disk I may be alright 00:14:06 hmm... there are three comments requesting deletion on the talk page of that page 00:14:19 one of them is mine, though, so it would be inappropriate for me to delete it myself 00:14:22 don't delete it 00:14:24 its hilariously bad 00:14:35 btw 00:14:36 write that onwiki, so your opinion is preserved? 00:14:36 http://pastebin.ca/932888 00:14:41 SKI mediawiki thingy 00:14:47 a simple statement of the problem 00:14:51 so it's easier to think about it 00:15:07 ehird: MediaWIki blocks template loops anyway 00:15:18 so... why not just restart by hand, like with my cyclic tag interp? 00:15:32 ais523|sl_busy: Because the more automatic, the cooler. 00:15:36 We want mini programs in MW pages! 00:17:18 ais523|sl_busy: Hmm 00:17:18 {{ {{{1}}} | {{{1}}} }} 00:17:20 called with itself 00:17:23 returns a link to the template 00:17:28 is that how it handles inf loops? 00:17:30 yes 00:17:36 it makes them into links rather than transclusions 00:17:53 if you do it with subst, you get a little HTML comment in the output saying there was a loop 00:18:06 hmm... I wonder if it's visible in view source with the nonsubst version? 00:18:33 {{ subst: {{{1}}} | {{{1}}} }} 00:18:35 how do i make that work 00:18:36 :| 00:18:55 it isn't easy, although I managed it once 00:19:06 it involved editing the template once it had already been set up 00:19:24 I don't get what you're saying 00:19:24 :p 00:19:29 I tried to make /SKI be that 00:19:33 but it just puts that literally. 00:21:13 -!- timotiis has quit ("leaving"). 00:23:01 ehird: do you want me to clean up the mess you've created now, or are you still having fun messing around with it? 00:24:49 ais523|sl_busy: not sure 00:29:25 an interesting PDF I just came across: http://www.tcs.ifi.lmu.de/~gruberh/data/fun07-final.pdf 00:29:32 it's about esoteric sorting algorithms 00:29:43 (that is, ones which are so bad they wouldn't be used in practice, like bogosort) 00:30:29 wasn't there a website about those 00:30:41 like intelligent-design sort? 00:32:51 the paper manages to optimise bozosort (which is itself twice as efficient as bogosort) to O(n^3 log n) running time 00:34:03 odd that it's more efficient 00:37:30 "the number of values a bit can have is small" -> another choice Wikipedia quote 00:37:38 * SimonRC wonders what the correct form of "yours truly" to refer to himself is, when he is talking to himself 00:37:48 "mine truly"? 00:37:54 ais523|sl_busy: not as small as it could be! 00:37:56 ais523|sl_busy: lol 00:38:00 * lament likes halfbits 00:38:15 sqrt(2) values 00:38:26 ISTR they exis in QM 00:38:35 wow, we seem to have been having a lot of TURKEY BOMB discussions later 00:38:41 although this one is in disguise 00:38:43 and probably in other information theories 00:38:45 s/later/lately/ two lines ago 00:39:03 has anyone tried to implement TB? 00:39:14 SimonRC: yes 00:39:21 ais523 and I have a project to do so ongoing 00:39:23 where? 00:39:38 are you implementing it as a programming language or a drinking game? 00:39:42 but finding meaningful values you can stuff into fractions of a bit is hard; you can pad the field to the nearest byte but you can't store anything meaningful in it. 00:40:43 SimonRC: it's ehird's project, but they keep trying to credit me with it 00:41:25 you mean s/credit/smear/? 00:41:27 :-) 00:41:30 (which is incidentally the difference between the BSD and MIT licences; BSD disallows other people crediting you for their work) 00:41:46 BTW, anyone know about DISC profiles? 00:41:49 ais523|sl_busy: nooo 00:41:51 ais523|sl_busy: I meant 00:41:53 you tried to implement it 00:41:56 and I am ongoing 00:42:00 I didn't get all that far 00:42:07 I seem to be the classic high D+C 00:42:15 although I did generate some useful ideas, and the TCness definitions 00:42:26 (at least, it has TC control flow, not sure about data structures) 00:42:28 we need more quantum languages 00:42:46 Quantum INTERCAL turned out to be a cheat; it's actually just a form of multithreading 00:42:48 the usual one seems to be the raw equations 00:42:56 which are an esolang by themselves 00:43:10 we need quantum TwoDucks! 00:46:13 halfbits in particular deserve more attention 00:46:58 is it possible to write numbers in base 1/sqrt(2)? 00:47:02 maybe, any collection that comes to a total of n bits can store a number from 0 to ceil(2^n)-1 ? 00:47:27 ais523|sl_busy: ITYM sqrt(2) 00:47:32 and if so, yes 00:47:53 most numbers have multiple representations 00:48:08 well, why can't I have a number system with a negative number of digits available? 00:48:25 or at least, a number of digits somewhere between 0 and 1 00:49:50 heh, ternary arithmetic: 00:49:51 A base-three system is used in Islam to keep track of counting Tasbih to 99 or to 100 on a single hand for counting prayers (as alternative for the Misbaha). The benefit —apart from allowing a single hand to count up to 99 or to 100— is that counting doesn't distract the mind too much since the counter needs only to divide Tasbihs into groups of three. 00:50:22 wow 01:03:29 -!- ais523|sl_busy has quit ("ehird, if you want those pages deleted, you're going to have to ask onwiki because I really ought to go home"). 01:08:59 -!- faxathisia has joined. 01:39:37 * SimonRC goes to bed. 01:40:47 * ehird doesn't. Ever. 01:41:51 How do I killall sound or killall flash stuff? 01:42:29 This is rather urgent, I'm going batty 01:42:41 -!- Corun has joined. 01:43:03 Sgeo: Speakers. Mute them. 01:43:17 But I want to be able to hear other sound 01:43:27 reboot o_o 01:43:30 Just not this sound that is stuck and I can't seem to kill it 01:43:35 faxathisia, is there any other way? 01:44:34 What's the thing that GNOME uses for sound? 01:45:18 I think it's using HALD 01:45:23 I can't kill that, can I? 01:45:45 killed 01:45:51 And that sound is STILL playing 01:45:53 what is difficult about rebooting..? 01:46:35 * Sgeo will reboot 01:47:38 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 01:51:23 -!- calamari has joined. 01:51:30 -!- Sgeo has joined. 01:51:40 * Sgeo is obviously back 02:01:22 did that work? 02:04:53 yes ofc 02:05:02 But I want to know what process I could have killed to fix it 02:06:00 * Slereah is less obviously back 02:15:39 http://pikhq.nonlogic.org/kernel.tar.bz2 02:16:56 Does it support PSOX? 02:17:38 * Slereah sees the future. 02:17:44 "Would you like it to?" :o 02:20:10 Sgeo: Hardly random. Your self-promotion is deterministic: the constant function true. 02:20:36 "Please be kind to our operators: they may not be very intelligent, but they're all we've got." 02:20:37 Heh. 02:21:01 Slereah, eh? 02:21:11 I'm reading the INTERCAL dow 02:21:13 *dox 02:36:17 Sgeo: It doesn't even have *processes*. ;) 02:36:18 (yet) 02:36:53 -!- ehird has quit ("This computer has gone to sleep"). 02:39:12 -!- olsner has joined. 02:50:00 -!- Corun has quit ("This computer has gone to sleep"). 02:57:09 -!- Corun has joined. 02:59:35 pikhq, will it eventually support Python? 02:59:49 btw PSOX 1.0 spec not finalized, that will come with b1 02:59:52 PSOX 1.0b1 03:12:01 Hahahah, apparently there's a #jesus on FreeNode X-D 03:12:16 Now 100% F/OSS! Download jesus-prealpha-0.1.tar.gz today! 03:12:40 "Turn to Jesus ASAP. It's the only way to escape hell! He's paid the price for your crimes, now come and collect your ticket.." 03:12:42 Lul 03:18:57 Sgeo: Well, it may eventually support POSIX. 03:19:16 By providing enough system calls to support a port of Newlib, of course. 03:31:42 Newlib? 03:40:22 I'm trying to think up of some language based on set theory, but there's the incompleteness theorem posing problems :o 03:50:37 Newlib is a small, simple libc by Red Hat, meant for embedded systems or initrd's. 03:54:30 -!- Corun has quit (Read error: 110 (Connection timed out)). 04:21:30 -!- Judofyr has quit (Read error: 110 (Connection timed out)). 04:32:56 uclibc 04:34:52 err uClibc, sorry :) 04:42:51 calamari: Isn't that harder to port? 04:43:05 probably 04:43:08 Newlib is trivial. 04:43:26 'Provide these functions, and link them with newlib. Voila, you've got newlib working.' 04:45:29 G'night all 04:45:31 http://www.busybox.net/lists/busybox/2005-March/013759.html 04:46:25 :) 04:47:02 -!- Sgeo has quit ("Ex-Chat"). 06:17:44 i missed the orgy :( 06:18:17 Apparently. 06:18:33 -!- pikhq has set topic: bsmntbombdood missed the orgy. | Fe fi fo funge, I smell the brainfuck of an Englishman. | pastebin - http://pb.eso-std.org/. 06:49:49 http://www.erbzine.com/mag17/1744.html 06:49:51 :D 07:25:40 -!- calamari has quit ("Leaving"). 07:48:06 -!- Slereah has quit (Remote closed the connection). 07:52:33 -!- Slereah has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:19:15 -!- oerjan has joined. 08:49:19 -!- Sukoshi has joined. 08:51:35 Hello 08:52:15 Hi. 08:52:48 Hi. 08:53:28 Sukoshi is a cat program :o 08:53:38 I am? 08:53:42 Oh :D 08:53:44 someone in ##c is telling me to cast isupper/toupper and lower :( 08:53:55 I'm like no.. that's not a requirement 08:54:14 Indeed. Your mom is the requirement! 08:54:18 (Hah.) 08:54:21 lol 08:54:25 I'm not saying that... 08:55:06 Situation: 08:55:44 I have admin access to a block of machines behind a Cisco router which I have some access to, but not enough time to explore. Ports may or may not be open to the outside, which ones, I am not sure of yet. 08:56:01 Objective: Create a system backdoor. 08:56:08 Ideas? 08:57:06 Can I save a whole bunch of money by switching to Cisco? 08:57:22 That depends on the state of your finances. 08:57:38 And in which direction the wave function collapses when observing. 08:58:28 -!- Judofyr has joined. 08:59:47 Sukoshi: If you can't serve on any of them (due to nothing forwarded) you could just run deamons on them which ping HTTP connects, POSTing the results of exec`ing whatever was on the page 09:00:15 Yep. Which was the idea I was thinking of. 09:00:17 It's a pretty ugly solution so it fit's whatever you're doing :P 09:00:59 I am fomenting a proletariat revolution. 09:01:18 The means of production shall be robbed from the capitalists and nationalized into the hands of the People. 09:01:20 (Not.) 09:01:36 Can it wait? My Guy Fawkes mask still hasn't arrived. 09:01:41 Nah. 09:01:53 I need more top hats, see. 09:01:58 So the capitalists must fall now. 09:03:19 Sukoshi: alternatively if they run any PHP server just stick a system($_GET['foo']) somewhere, easy to beam a shell though 09:03:23 hah, who shall produce the top hats if not the capitalists? besides everyone knows only capitalists wear top hats 09:03:30 Capitalists don't wear top hats anymore. 09:03:35 Look at Ron Paul! 09:03:44 (that might be wrong .. I probably forgot PHP) 09:03:52 they do in North Korean films. they are the truth, you know! 09:03:57 faxathisia: No PHP here. 09:04:07 Not that I know PHP. 09:04:13 Do they also sport big moustaches? 09:04:26 I can't have a mustache unless I get hormones. 09:04:31 I don't really want hormones :\ 09:04:37 But I still want a top-hat, see. 09:04:48 probably. they are also fat and drink a lot of whisky. 09:04:53 Why, you a girl? 09:04:54 iirc 09:04:57 Yes. 09:05:10 So there are girls on esolangs! 09:05:13 Indeed. 09:05:21 What's your esolang? 09:05:26 BF. 09:05:34 For winz and justicez. 09:06:25 I wish these bloody Congressional amendments were easier to find. 09:06:52 Sukoshi: Are you still using smalltalk? or something else? 09:07:21 faxathisia: I wish I had the *time*, really. 09:07:28 aw.. 09:07:41 But when time does open up (and it will), I will do more of it! 09:09:18 I've been busy with the Calc III. 09:09:40 Well somewhat busy anyway. This weekend my (somewhat self-assigned) homework will start the actual Calculus. 09:09:45 Sukoshi: Have you seen a proof that √2 exists? :D 09:09:50 o_O?! 09:09:54 Link plz !!! 09:09:59 I have it was so awesome 09:10:42 Link! 09:10:45 Wow, that sounds awesome. 09:11:06 Is... this your proof? http://us.metamath.org/mpegif/sqr2re.html 09:11:56 You have to click on each step, and then the steps of the steps for the actual proof from ZFC axioms 09:12:08 ..... 09:12:16 y = x^2 is continuous on [0, 2).. so it has a solution for y = 2, by .... 09:12:30 * faxathisia (tries to find the name of this theorem) 09:13:01 Definition of Continuity? 09:13:09 Oh wait. :P 09:13:12 aha! http://en.wikipedia.org/wiki/Intermediate_value_theorem 09:13:19 IVT? 09:13:25 Bolzano Weierstrass 09:13:28 Ohhhh. 09:13:34 Hah. Interesting. Interesting. 09:13:44 But you can use that for most any irrational number. 09:13:46 It be that the two limits at a point are equal, and equal to the function at this point :o 09:13:47 * faxathisia hisses at Set theory 09:14:25 Ø : THE EMPTY SET DOES NOT APPROVE OF YOUR HISSING 09:14:30 But irrationals are real ... LOL WUT FAILZ 09:14:55 lol 09:15:13 * faxathisia thinks.. (How can I get Sleareah into Type Theory..) 09:15:28 Hell, I got into set theory by type theory! 09:15:35 Because type theory is horrible 09:15:39 At least the PM type theory. 09:15:55 I got into ... electrical engineering ...? :P 09:16:19 But most of the PM is horrible : http://membres.lycos.fr/bewulf/Russell/14.01.jpg 09:16:29 Russell doesn't know dick about making nice notations. 09:16:42 That reminds me of my friend's (whose coursework I'm self-studying) extra-credit problem with 4d spheres. 09:16:50 hmm never heard of PM 09:17:00 Principia Mathematica 09:17:20 Quite the masterpiece, really 09:17:33 But it's really hard to read, with the notation conventions 09:17:42 o_O 09:17:47 Someone who hasn't heard of PM?! 09:17:48 fun fact: if you make a cube length and put a sphere with radius 1 at one the corners.. the center of the cube is not inside the sphere 09:17:59 for some dimension... higher than 3 .. I forgot which 09:20:01 oh 09:20:05 I heard of Principa.. 09:20:12 have not read it yet 09:20:26 You can have it for free! 09:20:27 Hey, anyone here up for a game of Nomic in parallel with an evolving Prolog mirror? 09:20:31 It has 0 copyright! 09:20:55 It has copyright on 0 - it proved it existed 09:21:22 http://membres.lycos.fr/bewulf/Russell/54.jpg <- trhar 09:21:39 (/\ is the old "empty set" notation) 09:21:45 No Nomic/Prolog? Awww :| 09:22:06 Sukoshi: What is your intrest in Prolog? 09:22:09 Forgot what theiota means 09:22:12 the sphere exactly touches the cube center for n=4 09:22:25 Ew. Balls are touching. 09:22:28 sqrt(4*(1/2)^2) = 1 09:22:34 faxathisia: I miss it lots. 09:22:50 I've been programming bare bones stuff for the longest time ... and Prolog is what I crave, heh. 09:23:15 A friend of mine told me that mercury is moar awesome for logic programming. 09:23:21 Never tried though 09:23:57 Well, there are many Prolog implementations out there, and it's widely understood. 09:24:05 So maybe it's more convenient. Depending on what yer after. 09:24:33 I don't know.. 09:24:42 I don't think mercury is that wonderful 09:25:01 Prolog is wonderful. 09:25:13 I haven't given Mercury the nod over though, so I dunno. 09:26:28 * Slereah has some retarded idea for a logical language 09:26:47 But I'm not sure it's even somehow feasable. 09:26:53 wouldn't that be ... illogical? 09:27:18 Only time will tell! 09:28:08 (Only your mom will tell.) 09:28:39 Zing! 09:51:02 -!- sebbu2 has joined. 10:04:50 -!- sebbu has quit (Read error: 110 (Connection timed out)). 10:06:39 -!- Judofyr has changed nick to JudoBot. 10:07:10 -!- JudoBot has changed nick to Judofyr. 10:23:55 -!- Judofyr has quit. 10:24:24 -!- Judofyr has joined. 11:18:44 Was there anything TC between the analytical engine and Schofinkel's combinators? 11:47:54 -!- timotiis has joined. 11:55:04 -!- oerjan has quit ("leaving"). 12:47:41 -!- fizzie has joined. 13:42:19 -!- Corun has joined. 13:53:34 Slereah: you mother, i'm sure 13:53:37 *your 13:53:43 r r brokens. 14:22:18 My mother wasn't born :o* 14:24:15 -!- Corun has quit ("This computer has gone to sleep"). 14:38:41 -!- ihope has joined. 15:05:56 Slereah: What are Schofinkel's combinators 15:06:25 Regular combinators. 15:06:35 like S and K? 15:06:39 And they were created by Schonfinkel 15:06:44 but just any set which are TC? 15:06:50 In 1920. 15:07:03 There was S and K back then, yes 15:08:04 cellular automata aren't turing machines are they? 15:08:42 They're TC. 15:08:52 Well, they can be at least. 15:08:59 Although I think CA are more 60's. 15:09:04 I don't think I get your question 15:09:19 what does it mean to be between e analytical engine and Schofinkel's combinators? 15:09:35 I was wondering if anything happened between 1890 and 1920 15:09:40 Ohhhh 15:09:47 The analytical engine was TC, combinators are. 15:10:07 I was wondering if there's anything between the two 15:10:09 Or if there's a 30 years gap 15:11:13 The analytical engine was 1890? 15:12:26 1842 15:12:45 Or something 15:15:09 What was in 1890, then? 15:16:23 "“The Analytical Engine”, paper by Major-General Henry P. Babbage (Charles Babbage's son), read at Bath on September 12th, 1888; published in the Proceedings of the British Association, 1888" 15:26:05 -!- Tritonio_ has joined. 15:40:40 -!- Corun has joined. 15:50:02 Is there a table for INTERCAL's unary operators? 15:50:15 I don't understand the manual 15:58:27 -!- ehird has joined. 16:09:01 What are its unary operators? 16:10:33 and, or and xor 16:10:36 (yes, unary) 16:15:51 Doesn't it do a bit shift left and then and/or/xor or some such? 16:16:47 From what I understand, it takes the number, uses pairs of 'em and put the result on the first bit of the pair 16:17:23 Although from the examples, I can't tell. 16:33:14 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 16:33:29 -!- Slereah has joined. 16:35:56 hello 16:36:03 Hi 16:36:15 :) 16:47:25 Cheese. 16:47:35 You know Prolog? 17:01:48 Kind of. 17:02:07 (to-derive (append x '() x)) 17:02:07 (to-derive (append (cons x xs) y (cons x zs)) 17:02:07 (append xs y zs)) 17:02:14 acceptable syntax? 17:10:38 -!- Judofyr has quit. 17:11:06 faxathisia: no 17:11:11 verbose. 17:11:14 Try this 17:11:24 (-> append x '() x) 17:11:45 (-> append (| x xs) y (| x zs) (append xs y zs)) 17:12:00 (the extra parens are superflouous, and you really need short names to make prolog readable) 17:12:24 the arrow is the wrong way :P 17:12:36 faxathisia: no 17:12:43 it's a statement -> 17:12:49 -> is pointing to the truth 17:12:58 you're DEFINING what append is 17:13:12 faxathisia: Unicode! 17:13:18 unicode :o 17:13:18 Like this: 17:13:46 (? append x '? x) 17:13:52 omg lol 17:13:56 it's ?'s 17:14:02 arg 17:14:03 err 17:14:03 wait 17:14:04 (? append x '? x) 17:14:12 was using the norweigen oerjan-o instead of the empty set symbol 17:14:12 heh 17:14:16 faxathisia: i'll screeny 17:14:17 can you send it in UTF-8? 17:14:20 oh ok 17:14:25 and no, i don't know how to tell xchat aqua to be undumb 17:14:51 you have to set the option in Server List/Show Details/Connect Options 17:14:58 and then reconnect? 17:15:04 yeah 17:15:22 faxathisia: i'll jsut screeny then 17:15:23 :p 17:15:33 yay for Skitch which makes it all nice 'n quick 17:16:02 faxathisia: http://img.skitch.com/20080308-tabpr4jgrbrx8q85sk8k95yfqi.png 17:17:17 faxathisia: it's awesome 17:17:18 :p 17:17:22 well 17:17:26 You could use the |- unicode symbol 17:17:29 For more pretentiousness 17:17:31 But I like mine 17:17:42 faxathisia: Write a mode for $EDITOR that transforms -> into the right symbols for it! 17:17:50 or just one that has a command to insert a definition 17:18:11 hmm.. yeah .. I should learn to write emacs modes 17:18:22 ?-C ===> (? |name| ) 17:18:29 |...| is overwrited 17:18:30 by typing 17:18:37 then a tab or something goes onto the arglist 17:18:44 () transforms into that O 17:20:08 yeah, I think I steall pretty-lambda from schemem mode to do that 17:21:49 faxathisia: Um, may I suggest you avoid aligning things in this mode.. 17:21:55 Unicode characters are proportional, in most monospace fonts. 17:22:01 E.g. that /O is wider. 17:22:01 yeah that sucks :? 17:22:14 faxathisia: But everyone knows proportional fonts for coding rawk, if the font's good. 17:22:16 BE REVOLUTIONARY 17:31:36 -!- Judofyr has joined. 17:31:42 Judofello. 17:31:52 (Thanks, Judofyr. Thudofyr.) 17:33:24 -!- Judofyr_ has joined. 17:33:25 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 17:34:01 -!- Judofyr_ has changed nick to Judofyr. 17:34:11 ehird: Hello :) 17:41:22 BREAKING NEWS -- IDIOT FOUND ON INTERNET 17:41:24 'Well, I think that a programming language has to be Turing-complete to be considered a programming language.' 17:41:28 UPDATE AT 11 17:41:37 bullshit. 17:41:49 oh 17:41:54 I:D 17:41:59 faxathisia: reddit is such fun 17:42:04 * faxathisia did not notice 'IDIOT" 17:42:16 it was far better before they switched to python 17:42:17 :p 17:42:21 it was like 17:42:33 'Oh cool, it's like a site where - OH MY GOD IT'S LISP I BETTER LEAVE THE INTELLIGENT PEOPLE ALONE' 17:42:42 'Oh, it's written in Python? Am gud with Python! HAY GUYZ' 17:42:46 :D :D lol 17:42:58 It's true 17:44:03 faxathisia: of course the latest iteration of the site sucks a lot less than lispit :) 17:44:23 lisp (good) -> web.py (sucks, because web.py is terrible) -> pylons (awesome) 17:44:31 I don't personally like Pylons but it sure makes reddit nice 17:45:41 not seen reddits code 17:46:09 looks pretty trivial if you know dhtml or whatever they do that stuff with 17:49:07 faxathisia: uhh 17:49:12 reddit is written in dhtml now? 17:49:25 I don't know :P 17:49:33 faxathisia: DHTML is a javascript thingy. 17:49:38 Reddit is a whole site. 17:49:42 I mean you just need some javascript and the rest is trivial 17:49:45 ... 17:49:49 http://reddit.com 17:49:59 the only JS used is optional, and for the fancy reply box thingies. 17:50:56 Anyway, reddit isn't open source, you couldn't look at its source if you wanted to. 17:51:04 :S 17:51:23 faxathisia: do you even.. know what reddit is 17:51:31 why did you imply that reddit is mostly javascript?! 17:51:35 that makes NO SENSE 17:52:03 lol 17:52:16 faxathisia: seriously, WTF 17:52:22 Why does this disuccsion remind me of a train wreck? 17:52:30 I'm not up with the latest web 2.0 17:52:36 highlight what major part of reddit you believe to be javascript?! 17:52:45 fizzie: faxathisia's driving, I guess. 17:52:46 but I could write reddit except for the dynamic HTML stuff 17:52:59 you could write it, but not all its features. 17:53:05 exactly 17:53:08 e.g. the rating algorithm. 17:53:18 which is very finely tuned over years of, you know, loads of traffic. 17:53:39 Theorem: Just because the interface to something is simple, does not mean that the thing itself is simple or easily replicated. 18:01:34 ehird: Does you know what Judofyr means? 18:01:49 Do* 18:04:41 Judofyr: noes. 18:04:45 I was just quoting Look Around You 18:04:58 fyr = guy in norwegian :) 18:05:05 it's sort fo Karate Kid :P 18:05:10 of* 18:05:16 Thanks, ${name}. Th${name[first_vowel(name)..]}. 18:07:47 faxathisia: by the way 18:07:55 I had this crazy crazy idea last night 18:07:56 but it's really long 18:08:02 and i don't wanna flood #esoteric 18:08:08 Thaxathisia? 18:08:10 what's it about? 18:08:18 faxathisia: an esolang 18:08:20 but it's not just a language 18:08:23 :O 18:08:24 it's.. ahrd to explain 18:08:29 try 18:08:32 #nodist, i'll explain there 18:08:34 its long 18:39:27 -!- oerjan has joined. 18:40:33 Hey, oerjan. 18:41:20 Hey, pikhqoerjan. 18:42:36 'evening 18:56:58 -!- calamari has joined. 19:16:10 * SimonRC thinks of a privacy escalation: pty-grabbing. If someone runs sudo from a pty, then sudo usually caches their ability to use sudo there for about 5 mins. There might be a way to exploit this to escalate local to root. 19:19:32 SimonRC: there is 19:19:45 this is why you configure sudos timeout to 0 19:29:43 Deewiant, there? 19:30:14 my funge98 interpreter in bash does get to the end of mycology, with a few BAD though, but it doesn't die 19:31:08 oh and quite a few N/A 19:31:53 (as it does no fingerprints at all, and therefore currently reflect on all fingerprints :/) 19:32:50 * AnMaster is going to write a full Befunge98/08 interpreter in C later 19:34:12 bbiab 19:40:16 * SimonRC admires type theory notation 19:41:00 I don't want readability in my math. I want a hugely complex slightly ugly pile of symbols for maximal intimidation effect. 19:41:18 intimidate the muggles! 19:43:28 SimonRC: Most people would agree, sans the 'type theory' part. 19:43:32 Slereah: what are these "Schofinkel's combinators"? 19:43:39 s///ing it with 'maths' 19:43:47 ah, nm, I just saw 19:44:57 Deewiant, btw a question: in the mycology readme, at each extension is listed a hexdecimal number, what is it for? 19:47:47 AnMaster: its fingerprint code 19:47:55 which is the 4 ascii chars concatted together in hex 19:49:45 yes 19:49:54 that is the algo given in the F98 spec, ISTR 19:50:16 though F98 has some allowance for longer codes, doesn't it? 19:50:21 SimonRC: I just kind of know what the relation to a 32-bit number and a four-character code will be instinctively. 19:50:25 So much stuff uses it. :-) 19:50:32 It's like BCD, except it's ASCII Coded Hex 19:53:26 ehird, ahah 19:53:29 aha* 20:04:05 It's like BCD, except it's ASCII Coded Hex 20:04:12 So, it's the same in that ... it's coded. 20:04:43 GregorR: <_< 20:06:39 * SimonRC is surprised to find out that most of the humanoid furry things on Sesame street are left-handed 20:07:55 SimonRC: It's a conspiracy 20:09:08 obviously they come from a mirror world 20:09:31 they are refugees - the only ones that were not evil and had goatees 20:09:40 oerjan: hahah 20:09:59 #esoteric is great 20:10:01 :p 20:10:08 hmm, one more subdomain I need -- http://qdb.eso-std.org/ 20:11:58 ehird: actually, the theory I was reading was that they originated from an island near India, and were brought to NY by a circus (at the time that such things were popular) which failed and abandonned them, 20:12:05 SimonRC: .. 20:12:12 http://www.erbzine.com/mag17/1744a.html 20:12:16 (part 2 of 3) 20:12:36 read part 1 first, I recommend 20:12:37 thats a parody 20:12:38 yes?? 20:15:42 yes 20:16:00 the style's called "ha ha only serious" 20:16:01 IT'S THE UNTARNISHED TRUTH YOU HEAR 20:16:13 SimonRC: it's incredibly hard to detect 20:16:13 :) 20:16:24 they are taking serious thinking tools to a silly question 20:16:33 speaking of which i need a new fscking mighty mouse, I can't use my current one because the teflon got scratched to hell so it grinds along 20:16:42 but I am *dying* without expose & 3d smooth scrolling 20:17:47 * ehird is a spoilt mac luser 20:18:00 i thought "ha ha only serious" meant a joke that was more serious than it appeared 20:18:05 oerjan: kind of 20:18:23 imagine a post making ridiculously overboard statements about windows 20:18:29 but the basic concept behind them is actually true in windows 20:18:38 not using a serious style to investigate something foolish, but rather the reverse 20:18:46 yes 20:18:54 I think the essence of 'ha ha only serious' is that to truly define it properly, you need to utilize it 20:19:05 so i fail to see how anything about muppets can qualify :D 20:19:07 which creates somewhat of a bootstrapping problem when nobody well-versed in using it proficiently is to hand 20:19:52 clearly it needs to be taught from kindergarten 20:20:02 yes 20:22:14 -!- sebbu2 has changed nick to sebbu. 20:23:38 hehehe "Indeed, if we look at transcripts of Sesame Monsters speech, it is remarkable how transparent it is. Sesame Monsters are almost obsessively focused on the sorts of tasks or skill sets that a frugivore needs to find food - They are fascinated with the difference between one thing and another, with distinguishing objects from groups, they're obsessed with timing, with location, with finding, with counting." 20:24:13 func.func_globals = MiniFluff(func.func_globals) 20:24:13 TypeError: readonly attribute 20:24:17 my hacks are foiled!!!!! 20:28:21 -!- jix has joined. 20:30:43 * oerjan hacks at your foils 20:36:13 ehird: what is that? 20:37:25 SimonRC: me tryingh to do evil 20:37:35 what evil? 20:37:38 Python? 20:37:42 Pythonic evil 20:37:57 specifically, i'm trying to change a function's closure 20:38:13 i have managed to do that now, but am unable to pass arguments to the function I get out 20:42:08 -!- jix has quit (Read error: 54 (Connection reset by peer)). 20:45:53 -!- jix has joined. 21:03:15 -!- jix has quit ("CommandQ"). 21:04:20 -!- jix has joined. 21:23:01 hmm 21:23:06 i think Nodist's operations may be halting-problem 22:37:10 what is Nodist? 22:39:11 SimonRC: someone who has #nodist logs will give you the explanation i gave 22:40:37 the explanation you gave? You didn't explain it to me 22:41:28 IT'S NEKKID PROGRAMMING 22:41:35 hawt 22:41:47 ehird: and why are you trying to modify a function rather than adding __call__ 22:41:50 SimonRC: I did in #nodist 22:41:55 ah, ok 22:41:57 and because the function was given to me 22:42:01 and yes, i know that's horrid 22:42:03 i was just feeling evil 22:42:06 I was evil-golfing the code 22:42:10 ah, ok 22:42:12 (try to add as much evil as possible) 22:42:24 did you get it to work? 22:42:27 nope 22:42:28 :) 22:43:03 ehird has no talent for evil 22:43:06 -!- ehird has left (?). 22:43:10 -!- ehird has joined. 22:43:11 shitcakes 22:43:13 who just asid what 22:43:28 oh and SimonRC http://rafb.net/p/fW8hqI64.html 22:43:47 i was insulting you behind your back 22:44:07 we said, for one time only, the meaning of life 22:44:31 * ehird hits ircbrowse.com 22:48:21 that makes a bit of snese 22:48:31 but it seems some of the conversation is missing 22:49:45 darn, urbandictionary has a definition for snese 22:50:08 the verb, though 23:22:21 -!- jix has quit ("CommandQ"). 23:28:57 -!- oerjan has quit ("Good night"). 23:50:31 -!- Corun has quit ("Leaving").