00:00:02 to 0x7C00:unprot 00:00:04 because the gdt is still active! 00:00:28 "I/O APIC read at address 0xfec008fe spans 32-bit boundary !" 00:00:29 What 00:00:40 is postscript tc? 00:00:55 IT MAKES NO SENSE 00:01:28 to u 00:02:20 cheater-: um i'm pretty sure it is 00:02:37 i guess postscript is tc 00:02:52 for one thing, i think it has equivalents to all of :()^ 00:04:17 oerjan: what does that mean? 00:04:21 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:04:23 cheater-: see topic 00:04:38 url to proof 00:04:49 and ya 00:04:52 * cheater- opens champagne 00:04:57 did you prove that? 00:05:40 cheater-: you can read the irc logs from yesterday or was it the day before, i haven't finished the wiki markup yet 00:05:57 (also the wiki section on the minsky machine) 00:06:08 i would totally mention something involving the words cheater and feed but it'd be cliche and i'm a conversational hipster 00:06:27 or a conservational hipster. man, I help to save this totally obscure animal, you've probably never heard of it. 00:06:47 *the wiki section in underload 00:07:30 elliott: ok so postscript being tc is pretty obvious, it has many more commands than that 00:07:42 oerjan: err, i was just talking about the fact that cheater- is a troll. 00:07:49 postscript being tc is very obvious 00:07:53 especially as a lot of anagolfers use it :) 00:07:54 ingenious 00:07:55 but it _is_ at base pretty much a concatenative language like underload 00:07:58 well, a few 00:08:07 that must be about some other person using your nick :D 00:08:25 @_@ 00:08:26 yeah oerjan is really stupid obviously. 00:08:28 that's what i know oerjan for. 00:08:32 :D 00:10:02 :D 00:10:14 elliott: well you never know, maybe i do something that puts him in so much awe that he repents and stops trolling 00:10:28 oerjan: uh huh 00:10:35 and starts genetically engineering airborne pork instead 00:10:40 oerjan: you realise saying that will make him not shut up for hours :) 00:11:26 oerjan: it's not obvious to me 00:11:40 oerjan: we were talking in -blah about postscript and i was wondering if it's tc 00:11:58 ok something is very wrong here. 00:11:59 and i thought i remembered it was, but decided to ask here for confirmation and for making conversation 00:12:27 yes, tkae a shower elliott, we can cut the air with a cheese knife :X 00:13:31 oerjan: so how did you have the idea to use the minsky machine? 00:13:43 was it your first approach or just a consecutive one? 00:14:55 oerjan: have fun for the next N hours 00:15:03 i sure won't be, fucking bios :( 00:15:14 nice blog, bro 00:16:56 ~ = exch, ! = pop, : = dup, ! = exec, = = S, those are the commands i find in http://www.math.ubc.ca/~cass/courses/ps.html that correspond to underload. i also think { = ( and } = ). 00:17:44 cheater-: i started with the turing machines, then when i got down to trying !:()^ i realized i didn't have enough to get that but a minsky machine worked 00:17:53 -!- Mathnerd314 has quit (Ping timeout: 252 seconds). 00:18:02 (since it only needs one stack symbol) 00:18:08 -!- poiuy_qwert has quit (Ping timeout: 240 seconds). 00:18:10 *tape 00:18:20 so do you see a minsky machine as a simpler to implement turing machine? 00:19:11 yes. 00:19:15 no! 00:19:17 cool 00:19:18 turing machines are sooo much easier 00:19:20 because they're bigger 00:19:22 and therefore easier 00:19:27 basic application of logic oerjan 00:19:37 no one asked you, chum 00:19:48 we're having a private conversation here 00:19:51 :D 00:20:35 oerjan: now what is the shortest proof that you can come up with? o_o 00:21:28 the "shortest proof"? 00:21:30 stop bullshitting 00:21:35 i think underload a = [ exch ] essentially 00:21:54 well he's come up with the minimal system so far 00:22:04 now he needs the minimal proof of that minimal system :D 00:22:19 one-liner or else! 00:22:40 nah 00:22:47 oerjan: ok :) 00:22:56 oerjan: so what's next? 00:23:21 -!- poiuy_qwert has joined. 00:23:25 i guess implementing a lang based on that? 00:25:02 the implementation is already done, it's called underload. 00:25:10 just don't use four of the commands. 00:25:47 alternatively you can use postscript, joy or FALSE. 00:26:21 those four commands are pretty common in functional concatenative languages 00:26:25 hmm, what's joy's equivalent of a? 00:26:32 no idea 00:26:47 :()^ are dup [] i, though 00:26:50 indeed 00:27:06 oerjan: but what about something that takes a well-supported language and compiles it down to :()^? 00:27:23 like, i dunno, b*ainfuck 00:28:22 . and , are going to be a bitch 00:28:39 not to mention that minsky machines have exponential overhead 00:28:49 a? 00:29:11 -!- azaq23 has joined. 00:29:18 hm... 00:31:39 -!- copumpkin has joined. 00:33:01 elliott: i don't know many joy commands, but it should be doable with map... 00:33:42 oerjan: er you mean list map? 00:33:47 like treating quotations as lists? 00:33:47 yes 00:33:49 not every lang does that 00:33:52 oerjan: if you have that it's just [] cons... 00:34:04 elliott: you were talking about joy 00:34:12 oerjan: if you have that it's just [] cons... 00:34:40 i didn't know joy had cons 00:34:52 -!- Mathnerd314 has joined. 00:35:01 oerjan: what kind of language has lists and no cons? 00:35:31 Hmm 00:35:35 I think maybe I like Fancy 00:40:03 is there any known automaton that, with finite space is known to be weaker than a turing macine with finite space, but thiss distinction magically disappears when there's infinite space? 00:42:42 define weaker than a turing machine with finite space? 00:42:45 well 00:42:46 it's not ambiguous 00:42:47 :P 00:43:54 Oh dear god not again http://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Joy_(programming_language)_(2nd_nomination) 00:46:14 well, turing machines can reject/accept any recursively enumerable language 00:47:01 but for a finite tape we get what's called a decider, no? 00:47:06 * elliott lets oerjan handle this one ;D 00:47:24 it's not ambiguous, it's hideously ambiguous. 00:47:35 you tell him! 00:47:41 * elliott gets popcorn 00:48:15 -!- oerjan has quit (Quit: Good night). 00:48:24 Zwaarddijk: turing machines accept recursively enumerable languages, and loop infinitely on non-examples of the language 00:48:38 yes, they don't reject. 00:48:49 I(necessarily) 00:49:21 so my "reject" there was wrong 00:50:16 kickban! 00:50:26 so anyways, a machine that w/ finite tape accepts context-free grammars (or maybe something inbetween CFG and R, or between R and RE), but with infinite tape accepts RE 00:51:21 can such a thing exist? 00:53:30 With finite tape, it can at most decide (some subset of) regular languages. 00:54:04 And even the weakest language classes above regular can require unbounded memory to recognize. 00:54:21 yes 00:55:20 so ok, is there any machine that accepts CFG or even just a slighlty smaller set of langs than R with finite tape, but RE with infinite tape? 00:56:14 the question doesn't make sense :/ 00:56:37 where doesn't it? 00:56:42 where doesn't it make sense 00:57:06 you're asking about a single TM...designed to recognize two different languages? 00:57:43 turing machines recognize different languages depending on whether they've got finite or infinite tapes 00:58:05 a specific TM will be designed to recognize a particular language 00:58:11 normally 00:58:19 i mean, all you're doing is changing the tape length 00:58:25 yes, so? 00:58:26 you aren't changing the FSM 00:58:35 this still doesn't make the question make no sense 00:58:40 which means you aren't changing the language it is designed to recognize... 00:58:46 . 00:58:49 ... 00:58:55 :| 00:59:01 * Zwaarddijk headdesks 00:59:22 should I rephrase the question like this: 00:59:42 Well, with finite memory and even weakest non-regular languages, you can't even recognize all "yes" cases. 00:59:43 does infinite tape make bigger difference for recognizeable languages for some weaker machine 01:00:20 Or, you could have algorithm that always says "yes" if it belongs to the language, but might say "yes" even if it doesn't. 01:00:45 Ilari: i know such a machine. Algorithm: for all input, accept. 01:01:06 that algorithm has a ratehr fantastic running time 01:01:31 Or actually, machine that could return 3 outputs: Yes, No or Maybe 01:02:17 For some languages, one needs insanely long output to overwhelm even very quite low amount of memor available. 01:02:27 *even quite low 01:02:49 *memory 01:04:18 Just consider a^n b^n and how much string length it takes to overwhelm a counter of given length. 01:06:14 Then there are languages that are recursive but may require insane amounts of memory even for very short strings. 01:10:37 -!- zzo38 has joined. 01:11:03 yes, that's quite obvious 01:11:04 -!- zzo38 has set topic: :()^ is TURING COMPLETE! EVERYBODY PARTY!!!! | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:11:26 isn't that what it already said? 01:11:41 good question 01:12:49 -!- quintopia has set topic: :()^ is TURING COMPLETE! EVERYBODY PARTY!!!!!| http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:13:20 Hey quintopia, wanna debug my assembly! 01:13:37 maybe in a week 01:13:56 how about 01:13:56 now 01:13:57 i'm already late 01:13:59 -!- zzo38 has set topic: :()^ is TURING COMPLETE! EVERYBODY PARTY???? | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 01:14:00 gotta go 01:14:02 you're a late 01:14:17 your face is a late 01:14:49 * elliott cry 01:14:59 why is this all the fucked. it's bads. 01:15:29 _WHAT_ 01:15:32 Adding "int 99" does something. 01:16:19 I feel torn between Fancy and Ruby. Fancy is like a fixed Ruby with keyword-based methods. But Ruby is popular 01:20:07 So's stupid. Your point? 01:20:32 -!- FireFly has quit (Quit: swatted to death). 01:20:54 pikhq: Can we just collectively agree to not feed Sgeo's insane languagebation? 01:20:57 -!- azaq23 has quit (Quit: Leaving.). 01:21:43 Are Fancy's fixes and other niceties worth devoting time into Fancy that I'd otherwise spend in Ruby? 01:23:12 Sgeo: I don't know. 01:23:34 (I did look it up in Wikipedia and still I don't know) 01:26:04 pikhq: X86 ASSEMBLY CODE 01:26:05 DO YOU LOVE IT 01:27:08 elliott: I DESPISE IT 01:27:12 pikhq: DO YOU LIKE DEBUGGING IT 01:27:21 elliott: THATS WHAT I DESPISE ABOUT IT 01:27:35 pikhq: SO YOU WANT TO DEBUG MY 512-BYTE FORTH INTERP'S KEYBOARD HANDLING CODE? 01:27:52 NEIN 01:28:41 pikhq: WHY ARE YOU AN EVIL 01:29:44 Because I'm an atheist. 01:29:50 pikhq: trut 01:29:51 h 01:29:54 Now if you'll excuse me, I need to roast some babies. 01:30:01 mmm 01:30:05 tender baby flesh 01:30:10 Mmm, veal. 01:30:14 make sure to rape them first, it brings out the juice 01:30:27 Of course. 01:30:45 and convert some innocent christians to evil 01:32:36 -!- sftp has quit (Read error: Operation timed out). 01:33:05 -!- sftp has joined. 01:44:04 -!- sftp has quit (Read error: Operation timed out). 01:45:33 -!- sftp has joined. 01:49:11 -!- pikhq has quit (Ping timeout: 240 seconds). 01:49:17 -!- pikhq has joined. 01:55:54 psychoceramics -> study of crackpots :-) 02:01:24 lol 02:04:35 :D 02:08:49 Haha... A typical timeline to 02:09:20 deployment might be: Support in 20% of implementations (open source helps at this stage): X.509: Never 02:34:06 -!- Behold has quit (Remote host closed the connection). 02:52:10 -!- Sgeo has quit (Ping timeout: 252 seconds). 02:54:52 -!- Sgeo has joined. 02:56:39 -!- elliott has quit (Remote host closed the connection). 02:56:44 -!- elliott_ has joined. 03:14:01 -!- pikhq_ has joined. 03:14:10 -!- pikhq has quit (Ping timeout: 252 seconds). 03:19:37 Heh. 03:19:39 I just had an idea. 03:19:45 A programming language who's encoding is an MIDI file. 03:19:58 In essence, a musical programming language. 03:20:44 -!- copumpkin has changed nick to MonadsSuck. 03:21:23 Lymia: that sounds interesting 03:22:45 In it, "syntax" is carried by relative pitch, or something similar, and so, a program can be made musical. 03:23:02 There are a few of that already in esolangs, but you can make up a new one if you want to. 03:23:08 fucking monads, how do they work 03:23:23 If you want to down the evil path, make failure at harmony, etc an compiler error. 03:23:32 MonadsSuck: Did you look it up in Wikipedia? 03:24:33 variable, hmm... 03:24:42 Make useful programs semi-musical. 03:24:50 Make music execute, but in an excessively useless way. 03:24:59 zzo38: fucking adjoint pairs! 03:25:10 too many functors and natural transformations 03:25:14 :P 03:25:19 * MonadsSuck shuts up 03:25:21 -!- MonadsSuck has changed nick to copumpkin. 04:01:03 -!- sftp has quit (Remote host closed the connection). 04:04:00 Heh. 04:04:01 I just had an idea. 04:04:01 A programming language who's encoding is an MIDI file. 04:04:02 see Fugue, Velato 04:08:44 Not /exactly/ what I had in mind. 04:08:59 Less of a programming language with an MIDI encoding, and more of one more directly related to the represented music. 04:09:01 Lymia: OK then make up your own ideas 04:09:04 ....I have no idea how to have this work... 04:13:18 Make one with music that isn't 12-TET.... 04:16:08 Ooooh, microtonal music. 04:16:32 (note: I have never actually heard such music, I merely find the idea interesting in the abstract) 04:17:02 You have not written a program to play such a music? 04:17:22 No, I haven't. 04:18:45 I have made a variant of PPMCK to allow you to make a scale of whatever tones you want to (however it is still up octave doubles frequency, up to ten letter names, and up to sixteen notes per octave; other than that you can have whatever tones you want to) 04:19:03 pikhq_: Then write a music/program! 04:19:40 pikhq_, I'm trying to figure out how to make a program result from features that are already found in music. 04:20:07 Then using ordered combinations of these to create programs. 04:20:34 Lymia: Do you mean number of notes in one bar, or repeat marks, or major/minor/augmented/diminish chord, non-chord note, etc? 04:21:11 No. 04:22:53 At least. 04:22:56 Not the former two. 04:31:36 -!- augur has joined. 04:33:27 Lymia: velato is that 04:33:30 -!- elliott_ has quit (Quit: Leaving). 06:35:15 -!- clog has joined. 06:35:15 -!- clog has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:08:30 -!- pikhq_ has joined. 08:08:39 -!- pikhq has quit (Ping timeout: 272 seconds). 09:38:34 -!- FireFly has joined. 10:30:16 Well, *that* was interesting. The "Machine Learning: Advanced Probabilistic Methods" lecturer called me 08:50am, said he's having a "situation" (I'll not go into details here), and someone needs to go and give the 10:15--12:00 lecture to students. 11:03:20 -!- pikhq_ has quit (Ping timeout: 240 seconds). 11:03:40 -!- pikhq has joined. 11:22:44 -!- copumpkin has quit (Ping timeout: 264 seconds). 11:23:10 -!- copumpkin has joined. 11:23:44 -!- Mannerisky has quit (Ping timeout: 264 seconds). 11:28:32 so...you? 11:28:37 good luck 11:47:12 It was already; it's 14:23pm here. 11:47:23 i figured 11:47:35 but wishing you luck late is better than not at al 11:48:47 I just spoke half an hour about the software blob they need to use for the course assignment (a mixture-of-multivariate-bernoulli-distributions thing for dealing with binary 0/1 matrices) and then showed half an hour of video from the Stanford University "Machine Learning" course they've graciously youtubed with a Creative Commons license. 11:49:39 Approximately 30-40% of the people bothered to stay for the video. 11:49:48 haha 11:49:59 so you were babysitting basically :P 11:51:45 Pretty much, yeah. "Show them a video" was my wife's suggestion, since that's what all the substitute teachers at elementary school used to do. 11:52:43 -!- rodgort has quit (Quit: Coyote finally caught me). 11:52:59 -!- rodgort has joined. 12:06:03 -!- rodgort has quit (Quit: Coyote finally caught me). 12:06:15 -!- rodgort has joined. 12:08:09 -!- Lymia has quit (Ping timeout: 276 seconds). 12:21:02 -!- Phantom_Hoover has joined. 12:28:50 -!- augur has quit (Remote host closed the connection). 12:35:15 -!- Patashu has quit (Ping timeout: 252 seconds). 12:47:21 -!- aloril has quit (Ping timeout: 240 seconds). 12:53:41 http://www.youtube.com/watch_popup?v=XKRj-T4l-e8 12:53:58 Most awesome rendition of Toccata and Fugue in D Minor EVER? 12:57:14 -!- Mathnerd314 has quit (Ping timeout: 252 seconds). 12:57:49 wow, the timbre makes it rather weird 12:59:16 I don't think there's any really consonant triads in that tuning for that instrument 13:01:00 -!- aloril has joined. 13:07:13 -!- augur has joined. 13:19:57 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 13:34:35 -!- Phantom_Hoover has joined. 13:46:44 -!- rodgort has quit (Quit: Coyote finally caught me). 13:46:58 -!- rodgort has joined. 13:50:55 -!- MigoMipo has joined. 13:56:51 -!- BeholdMyGlory has joined. 14:04:59 -!- Alex_Meg1roide has joined. 14:07:32 -!- Alex_Megaroide has quit (Ping timeout: 246 seconds). 14:13:50 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 14:28:48 -!- Behold has joined. 14:29:44 -!- pikhq has quit (*.net *.split). 14:29:47 -!- Vorpal has quit (*.net *.split). 14:29:47 -!- lambdabot has quit (*.net *.split). 14:29:48 -!- Gregor has quit (*.net *.split). 14:32:06 -!- BeholdMyGlory has quit (Ping timeout: 250 seconds). 14:33:50 -!- augur has quit (Ping timeout: 250 seconds). 14:38:00 -!- Slereah has quit (Ping timeout: 264 seconds). 14:38:44 -!- Slereah has joined. 14:39:03 -!- Lymia has joined. 14:39:03 -!- Lymia has quit (Changing host). 14:39:03 -!- Lymia has joined. 14:45:57 -!- javawizard has joined. 14:47:58 -!- jcp has quit (*.net *.split). 14:47:59 -!- javawizard has changed nick to jcp. 14:49:17 -!- Gregor` has joined. 14:49:27 -!- pikhq has joined. 14:51:25 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:52:13 -!- Vorpal has joined. 14:52:50 -!- sftp has joined. 15:02:55 -!- asiekierka has joined. 15:17:21 -!- copumpkin has joined. 15:28:28 -!- pikhq_ has joined. 15:28:36 -!- pikhq has quit (Ping timeout: 264 seconds). 17:51:18 -!- clog has joined. 17:51:18 -!- clog has joined. 17:51:21 I think my last long disconnect was yesterday 17:51:25 FUCK YOU CLOG 17:51:47 Sgeo_: about 2 hours 20 minutes 17:52:04 assuming it hasn't switched time zones again 17:52:06 I was here that entire time.. except for the random minute long disconnects... 17:52:23 it's still in a strange minute, at least 17:53:39 * oerjan recalls writing his first BASIC programs without a computer 17:55:25 oerjan, I don't think mental stability is required for logs. <-- no but not dropping any task the first moment you're bored is. reference: herobrine. 17:55:46 * oerjan does _not_ claim to be any better, mind you 17:56:11 I've been writing MSP430 programs without a chip or emulator to run them on :-) 17:59:48 -!- MigoMipo has quit (*.net *.split). 17:59:48 -!- Alex_Meg1roide has quit (*.net *.split). 17:59:48 -!- rodgort has quit (*.net *.split). 17:59:48 -!- myndzi\ has quit (*.net *.split). 18:01:02 -!- MigoMipo has joined. 18:01:02 -!- Alex_Meg1roide has joined. 18:01:02 -!- rodgort has joined. 18:01:02 -!- myndzi\ has joined. 18:01:10 \o/ 18:01:15 | 18:01:15 /< 18:04:34 oerjan, I thought it was just to provide what logs I happened to have lying around as of clogs recent temporary demise 18:05:54 Sgeo_: oh. i guess you're qualified for that. ;D 18:15:04 -!- zzo38 has joined. 18:15:32 -!- mtve has joined. 18:20:18 Perhaps I might be what? 18:20:32 fizzie: stable enough to log this channel 18:21:00 I do log this channel, but the bouncer log format is rather on the ugly side. 18:21:12 hm 18:22:32 APNIC down 0.27. 2x32k+8k+2x4k+2k+/32 to Japan, 8k to Taiwan, 1M+2x512k+2x128k to China, 2k to Indonesia, 4k+/32 to Papua New Guinea, 4k to India, 2M to Vietnam, 256+/32 to Australia, /32 to Malysia. 18:26:09 Well, at least that included /30 worth of IPv6 space. :-) 18:29:00 > 128-30 18:29:08 ...no lambdabot 18:29:17 D: 18:29:17 HOW CAN I SUBTRACT WITHOUT HER 18:31:26 2^98 IPv6 host addresses, that is. 18:34:02 -!- augur has quit (Remote host closed the connection). 18:36:30 fizzie: Can you modify the program? 18:37:32 -!- jcp has quit (Ping timeout: 250 seconds). 18:38:36 -!- pikhq has quit (Ping timeout: 252 seconds). 18:38:36 -!- pikhq_ has joined. 18:39:16 -!- mtve has quit (Ping timeout: 250 seconds). 18:39:42 -!- olsner has quit (Ping timeout: 250 seconds). 18:39:42 -!- SimonRC has quit (Ping timeout: 250 seconds). 18:40:16 -!- sebbu2 has joined. 18:40:16 -!- sebbu2 has quit (Changing host). 18:40:16 -!- sebbu2 has joined. 18:41:29 -!- SimonRC has joined. 18:42:50 -!- jcp has joined. 18:44:16 -!- sebbu has quit (Ping timeout: 246 seconds). 18:44:16 -!- sebbu2 has changed nick to sebbu. 18:45:18 -!- Sgeo has joined. 18:46:52 -!- Sgeo_ has quit (Ping timeout: 255 seconds). 18:49:03 zzo38: Theoretically, but I already have quite a lot of logs in the old format. I might just convert them for reading. 18:50:18 * oerjan liked elliott's idea of storing as raw irc format and just converting on the fly 18:51:48 -!- olsner has joined. 18:52:08 I invented a IRC log format. 18:52:20 -!- sebbu2 has joined. 18:52:21 -!- sebbu2 has quit (Changing host). 18:52:21 -!- sebbu2 has joined. 18:52:35 oerjan: I like that too; and in fact the bouncer's log format *is* pretty close to timestamps + direction + raw message, except someone's gone and tried to make it a tiny bit human-readable unfortunately. 18:53:20 fizzie: My format is also a bit like that..... 18:55:19 -!- sebbu has quit (Ping timeout: 264 seconds). 18:55:22 Who changed it? 18:57:33 Probably the author of the bouncer. And now that I look at it, it's not really that close to raw after all, except it uses the full nick!user@mask triplets in most places where they are in the IRC messages themselves. 18:57:52 Huh, "squamous" means "scaly". 18:59:44 -!- aloril_ has joined. 19:00:30 fizzie: Do you have an example of a few lines? 19:02:14 zzo38: http://p.zem.fi/wnjr 19:03:22 My format looks like this (note there is a tab after each timestamp, and CRLF is required at the end of each line even in UNIX): http://zzo38computer.cjb.net/irc_log/ADMIN/1291325292 19:04:35 Well, that's quite more rawish. 19:05:09 Yes, it is. 19:08:04 In fact every message which is sent to everyone on the channel is also sent to the log file. (The lines with * are metadata lines and are added before) 19:21:20 -!- aloril has quit (*.net *.split). 19:21:20 -!- ineiros has quit (*.net *.split). 19:21:21 -!- dbc has quit (*.net *.split). 19:29:26 -!- Sgeo has quit (Read error: Connection reset by peer). 19:29:53 -!- Sgeo has joined. 19:34:15 -!- cheater- has quit (Read error: Connection reset by peer). 19:34:34 zzo38: what are you using to generate that log format? 19:34:46 * variable should set up a bouncer at some point 19:34:56 variable: The server is generating the log file. 19:35:27 zzo38: ah, which server is that? Your own? 19:35:33 variable: Yes. 19:35:48 zzo38: you wrote the SW as well? 19:36:07 The SW? 19:36:10 software 19:36:28 -!- cheater- has joined. 19:36:48 I took the software for ngIRCd and made some modifications and called the new one CthulhuIRCd. 19:37:11 What kind of modifications? Just log stuff or other things as well? 19:37:34 Other things too. Such as, adding the SUMMON command. 19:37:46 I also plan to add ! type channels later, too. (Currently it supports #&+ but not !) 19:38:06 And even a few more, too. 19:38:19 I know what ! and # are. 19:38:22 what are the other two ? 19:38:39 Opless and local channels, if I recall correctly. 19:38:45 + is modeless and & is local 19:39:09 -!- ineiros has joined. 19:39:09 -!- dbc has joined. 19:39:19 What's !? 19:39:35 Sgeo: ! is random 19:39:38 well sort of 19:40:13 * variable gets link 19:40:20 ! is a channel that is safe from taking over by netsplit 19:40:33 -!- Sgeo has quit (Read error: Connection reset by peer). 19:40:48 -!- augur has joined. 19:40:53 basically - create it with !! and join with ! + random token IIRC 19:41:07 You can join with just "!foo" if there's only one !xxxxxfoo in the network. 19:41:28 If there happens to be multiple, you have to specify which one you mean by using the "full name". 19:41:50 Normally there shouldn't be multiple, but it can happen during split-time. 19:42:02 fizzie: Yes, it works like that. That is the purpose of ! type channel. 19:42:38 Note that only # is vulnerable to taking over. Types & ! + are all immune to being taking over, but for different reasons. 19:43:16 + because it makes no sense and & cause its local only and thus splits don't matter :-) 19:43:32 * variable prefers services to ! but meh 19:44:06 + because it is modeless, so the state cannot change after or before a split. You are correct about & 19:45:02 O, other thing I added in the IRC server, is a few new configuration settings (to select which channel types are available, and where logs go, and a few other things), and a way to add new commands by a external script. 19:45:16 zzo38: I was correct for both 19:45:28 it makes to sense to take over a modeless channel 19:45:42 variable: O, that is what you mean. OK, then you are correct. 19:45:59 also - please make said changes available to the public :-) 19:56:02 -!- pumpkin has changed nick to copumpkin. 19:59:35 variable: OK, I try 20:04:17 -!- copumpkin has quit (Ping timeout: 264 seconds). 20:05:02 -!- copumpkin has joined. 20:08:41 -!- Sgeo has joined. 20:08:42 -!- Sgeo_ has joined. 20:08:43 -!- Sgeo_ has quit (Client Quit). 20:12:48 -!- ais523 has joined. 20:13:28 -!- pikhq has joined. 20:13:41 -!- pikhq_ has quit (Ping timeout: 255 seconds). 20:26:41 APNIC down total of 1.07 this week. Wow. 20:26:55 in what units? 20:27:05 Blocks (/8) 20:27:19 more than a one /8 in a week? 20:27:26 my mind's having trouble comprehending that 20:27:32 well, more than 1.0 /8 20:29:04 Now there are 2.89 blocks left (excluding setaside block). 20:30:42 -!- elliottx has joined. 20:30:51 09:55:25 oerjan, I don't think mental stability is required for logs. <-- no but not dropping any task the first moment you're bored is. reference: herobrine. 20:30:57 elliott X is elliott FROM THE FUTOOR 20:30:57 um i didn't exactly "give up" on herobrine 20:31:09 it was running fine, it just disconnected due to a situation that it was meant to recover automatically from 20:31:16 and i haven't bothered to restart it because clog still works :) 20:31:27 Gregor: elliott from a time where his computer won't route to freenode 20:31:29 and so uses the webchat 20:31:36 it is in the FUTURE ... of the past\ 20:31:40 INSULT SUCCESSFUL. PROGRESS TO NEXT LEVEL. 20:31:40 AKA: the "present" 20:31:53 oerjan: one day I _will_ find out where you live 20:31:55 bear that in mind. 20:32:04 * oerjan cackles maniacally 20:32:10 so what happened when the logs were offline, gay orgy? 20:32:14 thought so 20:32:17 Well, APNIC also has twice allocated entiere /8 at once. :-/ 20:32:26 -!- pumpkin has joined. 20:32:41 10:50:18 * oerjan liked elliott's idea of storing as raw irc format and just converting on the fly 20:32:42 126/8 and 133/8. 20:32:43 THAT IS THE CORRECT IDEA 20:32:51 oerjan: what was herobrine's ip again 20:32:55 the server has no domain name for me to log in to :D 20:33:02 eek 20:33:26 it's just about slipped off my address bar 20:33:46 herobrine's survival depends on it. 20:33:54 i'm not quite motivated enough to check on the slicehost panel 20:35:14 oerjan, oerjan, oerjan, your blatant disregard for life is showing 20:35:14 haha 20:35:47 ok fine i will 20:35:54 oerjan: ...in return for OPS 20:36:00 or er, +v will be acceptbale. 20:36:01 208.78.103.223 20:36:02 acceptable. 20:36:05 shit 20:36:10 why must you destroy my leverage 20:36:37 elliottx: it took a bit of time because i selected the wrong link in my logs 20:36:40 -!- copumpkin has quit (Ping timeout: 264 seconds). 20:37:02 also i had to guess how long ago it was 20:37:31 what is +v again, anyhow 20:37:34 voice 20:37:42 lets you speak when +m is on, and shows how 1333337 you are 20:37:50 APNIC blocks free (starting from /10): 4, 10, 28, 68, 151, 319. 20:37:50 nobody has ever called me leet *sniff* 20:38:01 ok i have no idea which ruby process is herobrine and which is the web server 20:38:03 so let's kill both 20:38:07 U R SO 1337 20:38:20 oerjan: your words are hollow. 20:38:31 Also overrides some other stuff that would normally prevent sending to channel (like matching +q). 20:38:54 -!- Herobrine has joined. 20:39:00 fuckin' dance party. 20:39:39 \o/ \o/ \m/ \m/ \o| |o/ 20:39:40 | | `\o/´ | | 20:39:40 /| /< | /'\ |\ 20:39:40 /`\ 20:39:40 (_| |_) 20:39:59 FOURTH GUY IS FLASHING US 20:40:02 When there is no longer sufficiently large free blocks, address space starts to become quite fragmented. 20:40:43 Gregor: also first guy 20:40:45 *first guy 20:40:48 Wonder when /10s run out for APNIC. 20:41:27 elliottx: hmm... e111077x? 20:41:35 ais523: yes. 20:41:43 oerjan: btw the lesson here is that insulting me is the best way to get me to do something. 20:42:01 NOTED. 20:42:03 grr, looks like Deewiant improved allegro while I wasn't looking 20:42:08 *NOTED, YOU MORON. 20:42:20 qwebirc is terrible :( 20:42:32 ah, is elliottx like ais523_? 20:42:44 yep 20:42:50 * Looking up irc.freenode.net * Connecting to chat.freenode.net (93.152.160.101) port 6667... * Connection failed. Error: Network is unreachable 20:42:51 --xchat 20:43:00 the internets are falling apart 20:43:03 i blame ipv4 20:43:08 ais523: Not any time recently :-P 20:43:27 well, I've been busy recently 20:43:33