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 but just spent a day writing a new program 20:43:40 after I finished bugs it beat all but three existing programs 20:43:48 and I'm busy tweaking constants to complete the set atm 20:43:56 but it seems I was working against old versions of allegro 20:44:02 it's probably a chainlance bug instead ;) 20:44:14 elliottx: this is using egojoust 20:44:19 to be precise, a fixed version 20:44:21 oh, then it's an egojoust bug. 20:44:29 it is too buggy to be fixed 20:44:30 it did have bugs, but I fixed some of them 20:44:33 possibly all of them 20:44:38 although it still has that efficiency on % issue 20:45:16 oh, spookygoth and sexyghoul dropped off? 20:45:22 they were an interesting challenge to beat 20:45:34 and I think my program's better for knowing how to beat their strategy 20:47:52 -!- asiekierka has quit (Ping timeout: 250 seconds). 20:50:58 APNIC Last 30 days: 1.81(!!!) blocks 20:52:15 Oh. I only have 2 BF Joust programs left :-( 20:52:32 elliottx: Did you complete the Forth? 20:52:55 Do I smell panic? :-) 20:53:11 impomatic: >_> Nope :P 20:53:20 I'm working on keyboard input. 20:53:24 impomatic: three, fizzie reposted spookygoth 20:54:28 It'd be neat if Egojoust had an age for programs 20:54:33 it does 20:54:35 Ilari: yes, impomatic is clearly panicking 20:54:53 * oerjan whistles innocently 20:55:18 impomatic: there's a last-modified in the directory listing 20:55:21 No panic. I'll just write something else ;-) 20:55:28 Do you like Japanese chess and/or Chinese chess? 20:55:48 I meant age = number of challenges survived. 20:56:21 Like on the corewar hills http://sal.math.ualberta.ca/hill.php?key=tiny 20:56:33 Last 60 days: 3.19 blocks. Wow. Just Wow. 20:56:44 -!- Mathnerd314 has joined. 20:57:29 That's almost 900k addresses per day. 20:58:14 elliottx: status report on your forth project? 20:58:46 olsner: I'm trying out switching into real mode to do the keyboard, still (dude, I just got on the computer...); I'm not sure it'll end up smaller than manual jiggery, though. 20:58:54 Although storing the first six bits of (ascii-64) is a huge advantag.e 20:58:56 *advantage. 20:59:10 !bfjoust waterfall3 http://sprunge.us/iIZL 20:59:15 does "ascii-64" mean 6-bit ascii here? 20:59:20 it's not quite perfect, but still pretty good 20:59:53 fwiw, when I said that the other day I meant ascii (subtract) 64 21:00:01 the loss against wireless_frownie is based on precise details of timing, if I add or change the number of dots in one place it completely changes the result 21:00:08 elliottx: Did you try to use unreal mode? 21:00:48 zzo38: that's basically what I'm trying 21:00:56 Score for ais523_waterfall3: 31.8 21:01:00 olsner: ascii-64 means take the 8-bit ascii, subtract 64, and store the lower 6 bits 21:01:09 if not that, then I'll use that 5-bit manual packing 21:01:21 elliottx: aight 21:01:35 hmm, that result's different from egojoust's 21:01:49 it's either chainlance bugs or egojoust bugs 21:01:53 lance has no bugs. 21:01:58 Some of the contestants now on the hill won't run on egojoust. 21:02:11 Gregor: ais523 has a """fixed""" egojoust 21:02:42 I fear it might not be fixed enough, though 21:02:55 in this case, I need chainlance or something like that to have any chance of competing 21:03:25 * ais523 asks egojsout for a third opinion 21:03:30 -!- pikhq has quit (Ping timeout: 246 seconds). 21:03:52 Seems like run-on-APNIC scenario has come to pass... Now I'm not sure APNIC pool will make it even to May (which would mean depleting it even faster than APNIC estimates (3-6 months) in early February). 21:04:11 -!- pikhq has joined. 21:04:31 egojsout agrees with egojoust 21:04:33 -!- pumpkin has quit (Ping timeout: 246 seconds). 21:04:39 so either both ego* are buggy, or chainlance is 21:05:01 -!- copumpkin has joined. 21:05:16 -!- impomatic has quit (Read error: Connection reset by peer). 21:12:02 !bfjoust waterfall2 http://sprunge.us/WMEa 21:12:08 Score for ais523_waterfall2: 31.4 21:12:13 anyway, waterfall3 will never top the leaderboard, it tends to win closely 21:12:20 but it does beat almost everything 21:20:45 -!- Alex_Meg1roide has changed nick to wareya. 21:28:25 -!- copumpkin has quit (Ping timeout: 260 seconds). 21:29:10 -!- copumpkin has joined. 21:31:44 ais523: egojsout isn't buggy, chainlance is 21:32:15 ais523: the chances of egojoust and egojsout sharing a bug is very low since their architecture is basically completely different 21:32:25 and chainlance has been buggy before 21:33:27 elliottx: I think I agree with you 21:33:41 anyway, it beats the furry girls and ties with allegro, regardless of what chainlance says 21:33:59 I advise you don't try to look at what it's doing in egojsout, just because it takes far too long 21:34:20 it's been known to timeout on a game it'd win eventually before now, just because it's doing so much 21:34:34 meanwhile, have a look at this: 21:34:42 !bfjoust triplock3 >>>>(-)*3<(+)*5<(+)*100<<(-)*41>(+)*120 [](+)*100>(+)*15[-]<[](+)*100>>(+)*15[-]<< [[](+)*100>>[>]->([-{[<+]}])%12<[<]<] <((++-)*100)*1000 21:34:49 a defence program in one line of IRC 21:34:55 that actually does moderately well 21:35:10 Score for ais523_triplock3: 37.6 21:35:16 -!- pumpkin has joined. 21:35:17 Nice :P 21:35:20 Why *1000 21:35:21 better than waterfall, according to chainlance 21:35:26 Oh, because you have (+)*100 and the like in there 21:35:29 and *100000, which is the cycle limit 21:35:35 [22:12] !bfjoust triplock3 >>>>(-)*3<(+)*5<(+)*100<<(-)*41>(+)*120 [](+)*100>(+)*15[-]<[](+)*100>>(+)*15[-]<< [[](+)*100>>[>]->([-{[<+]}])%12<[<]<] <((++-)*100)*1000 21:35:37 *1000 here 21:35:40 at the end 21:35:43 it's *100 *1000 21:35:48 because egojoust is buggy on *100000 21:38:26 -!- copumpkin has quit (Ping timeout: 264 seconds). 21:39:20 It is? 21:39:31 yep, it interprets it as *10000 21:39:41 that's a trivial fix, but I wasn't sure if I'd have to run it on an unfixed egojoust at some point 21:40:12 anyway, I think it may have been Gregor who invented the triplock (I'm not sure), but I spent ages looking into how to make it work better 21:41:01 no 21:41:03 *-1 = *10000 21:41:11 *100000 = *100000 21:41:14 the code reduces all numbers over 10000 to 10000 21:41:15 including -1 21:41:22 So. I picked up some Don McLean albums, simply because I felt sorry that the only song of his that anybody knows is "American Pie". 21:41:25 no, it's all numbers over 100000 or under 0 21:41:29 to 10000 21:41:35 I believe 21:41:37 I might be wrong 21:41:48 ah, yes 21:41:49 I misread the line 21:42:05 ais523: oh, i was going to ask you something, but forget what 21:42:06 anyway, pre-bugfix egojoust was much faster at running (()*3)*3 than ()*9 21:42:14 for reasons I don't fully understand 21:42:18 ais523: you know how you were going on about call by name being the most general of the calling conventions? 21:42:22 yes? 21:42:24 Feel free to submit more programs that beat FFSPG but not allegro 21:42:34 Deewiant: it draws with allegro 21:42:44 ais523: You may want to read http://www.cs.bham.ac.uk/~pbl/cbpv.html -- hey, *wow*, bham.ac.uk, I never even noticed! (No, seriously) 21:42:44 chainlance is wrong about the result 21:42:59 I, of course, refer only to the actual hill 21:43:07 oh, Paul Levy 21:43:12 Possibly then you already know of call-by-push-value. 21:43:24 he's one of the people who has to approve my interim reports on how I'm doing in the PhD 21:43:36 Get sucking up, then! 21:45:45 -!- copumpkin has joined. 21:47:33 -!- pumpkin has quit (Ping timeout: 276 seconds). 21:48:33 ais523: in call-by-name languages, can foo(v) change the value of v? I'm not very familiar with the convention because it's so fucked-up :) 21:49:36 elliottx: generally things you can assign to and things you can't are different types 21:49:40 but if it's assignable, yes 21:50:02 ais523: right; consider a lazy call-by-name language where everything is assignable :) 21:50:11 the best analogy for call-by-name is that it works like #define macros and can do everything they do, except it's scoped properly 21:50:15 (I forget what else I was thinking of to make things more confusing) 21:50:21 so if you call f(x), you give it your x rather than its x 21:50:44 ais523: Preferably, if f(x) is x = x/2, then f(x+1) is x = (x+1)/2 - 1 21:50:48 you can do things like this too: f(x,x+1) then x assigns 4 to its first argument, now its second argument is 5 21:50:54 elliottx: yep 21:51:00 it's parenthesised properly too 21:51:39 ais523: what, "x+1 := 3" works in call-by-name languages? 21:51:45 what about f(x) := y for arbitrary f? 21:51:48 :-) 21:51:51 no, x+1 isn't assignable 21:52:01 or to be precise, you have to dereference x before you can add 1 to it 21:52:02 ais523: that's what I mean, a language where everything is assignable 21:52:10 everything is assignable in INTERCAL 21:52:17 f(x+1) works where f is f(x) = { x := x/2 } 21:52:21 although the existing impls aren't very good at it 21:52:30 turns into { x+1 := (x+1)/2 } === { x := (x+1)/2 - 1 } 21:52:43 obviously, you just have to define an inverse with every function 21:53:06 C-INTERCAL and CLC-INTERCAL try to calculate it automatically, but often can't 21:53:15 to make it easier, they'll change the value of constants if necessary 21:53:40 analogy: if you do x+1 := 5, and x is 3, it might change 1 to 2 rather than x to 4 21:53:41 hmm, I was about to ask for a language where reverse(x) is x^-1, but iirc oerjan proved that every such language is trivial a while back :) 21:53:54 ais523: haha 21:53:57 Forte! 21:54:03 it's a similar principle 21:54:10 although in INTERCAL, all that changes are the literal constants 21:54:16 and in CLC-INTERCAL, literal line numbers too 21:54:27 it doesn't change things like intermediate results in calculations like Forte does 22:00:54 -!- poiuy_qwert has quit (Quit: This computer has gone to sleep). 22:00:56 SUBROUTINE MUTATE(N) N=3 RETURN After calling MUTATE(2) in some FORTRAN implementations, you find that 2=3 22:02:25 -!- copumpkin has quit (Ping timeout: 264 seconds). 22:02:58 Some - bad ones :P 22:03:13 ais523: hmm, call-by-name is annoying because I'm having a hard time inventing a convention _more_ insane 22:03:19 -!- copumpkin has joined. 22:03:20 -!- copumpkin has quit (Changing host). 22:03:20 -!- copumpkin has joined. 22:03:32 `addquote ais523: hmm, call-by-name is annoying because I'm having a hard time inventing a convention _more_ insane 22:03:33 You should use call-by-telephone, then. 22:03:42 elliottx: yep, you should just have asked zzo38 22:03:49 good point 22:03:54 ais523: what about: variables are named by expressions; every parameter becomes a variable named by its expression, initialised to the same expression's value 22:03:57 ais523: the variable is then passed by reference 22:03:58 for instance 22:04:05 subroutine mutate(n) 22:04:08 n := n + 1 22:04:09 end 22:04:10 then 22:04:12 mutate(42) 22:04:14 print(42) 22:04:15 in fact, I'm going to modify the quote to add zzo38's response, it works pretty well 22:04:17 prints 43 22:04:20 not because 42 was changed 22:04:24 but because "42" means the value of the variable "42" in the current scope 22:04:34 (initially 42) 22:05:09 oh, HackEgo isn't here 22:05:58 ais523: please tell me that's at least as insane as call-by-name... 22:05:59 oh 22:06:03 and the variables are dynamically-scoped 22:06:04 of course 22:06:07 (named after expressions) 22:06:14 well, I think call-by-name is sane, if a little hard to work out mentally 22:06:31 I'm going for IN-sane :P 22:06:47 yep, it's an implication that I might not be the best person to ask for advice 22:07:22 ais523: Fine, is this convention MORE sane than call-by-name :P 22:07:33 I don't think so 22:07:37 In QBASIC we have the default is to pass the pointer in the subroutine unless it is BYVAL or it is not specified as a single variable name. By combining that with VARPTR, I can do a few things with pointers. 22:08:12 zzo38: I tried that once when I was younger, but got confused 22:08:36 after a while I realised that for pointers to SINGLE type values, it was easier to copy them into a new SINGLE type value, rather than try to figure out their value from the individual bytes 22:09:02 ais523: You can use TYPE and LSET to copy bytes from one type to another 22:09:39 05:07:27 --- join: ais523 (n=chatzill@chillingi.eee.bham.ac.uk) joined #esoteric 05:07:45 Sorry about that, I forgot to join #esoteric before I started sending messages to it 22:10:06 was that my first message that ever reached the channel? 22:10:09 Also, what I was doing didn't even do like that, instead, I pass pointers to the subroutine and then check to see if it is pointing to a specific variable, and those things, too. 22:10:13 ais523: no :) 22:10:14 please tell me it was 22:10:16 but i wish it was 22:10:17 oh, boring 22:10:31 It has +n I think you cannot send to a channel you are not joined to. 22:10:44 -!- elliottx has changed nick to elliott. 22:10:49 -!- elliott has quit (Changing host). 22:10:49 -!- elliott has joined. 22:10:49 -!- elliott has quit (Changing host). 22:10:49 -!- elliott has joined. 22:11:05 * elliott makes #esoteric-minecraft -n 22:11:08 for sanity! 22:11:12 +s and -n, the best combination 22:11:21 Do explain that. 22:11:35 What happened now to the gateway/ and unaffiliated/ ?? 22:11:40 Phantom__Hoover: nobody can see it in whois and channel lists unless they're in it, but you can send messages to it without joining 22:11:47 zzo38: it added my cloak 22:11:52 because i identified 22:11:57 zzo38: elliott's cloaked so when he identifies it hides his IP 22:12:05 but you can't hide your IP via web access 22:12:05 ais523: wow, that message worked 22:12:08 perfect! 22:12:15 so Freenode changed it, then overruled itself and changed it again 22:14:23 zzo38: I noticed! 22:14:30 OK 22:15:01 I imagine most people don't even know how to send a message to a channel they aren't in 22:15:13 but I'm completely unsurprised that zzo38 does 22:15:27 ais523: it was actually a notice 22:15:29 not a message! :P 22:15:37 ah 22:15:44 You send the message the same way that you send a message to the channel that you are in! 22:15:46 well, it's much the same 22:16:03 zzo38: yes, just most clients hide the fact 22:16:45 Do most clients hide that too? 22:16:49 There are things called notices? 22:16:57 hmm, why does clog put my hostname in a notice? 22:17:09 zzo38: they put it behind a command /notice, rather than sending a privmsg which has no prefix 22:17:23 Phantom__Hoover: yes, they're meant for automated responses, like bot replies 22:17:29 ais523: "which has no prefix"? 22:17:32 NOTICE is the IRC command to do it 22:17:36 elliott: I mean in the client 22:17:41 I know how it's done "by hand" 22:17:44 ah 22:18:01 Phantom__Hoover: You can send a notice to a channel or user with NOTICE instead of PRIVMSG (some clients will do it in different way) 22:18:34 Phantom__Hoover: yes 22:18:34 Yes 22:18:48 the funny thing is, clients tend to make a big deal out of notices 22:18:57 even though they're specced to be things you shouldn't make a big deal out of 22:19:53 My client doesn't treat notices any different, except that when information is requested, the request must use PRIVMSG and the response must use NOTICE 22:20:13 hmm, triplock3 seems to be doing the best of all my programs 22:20:15 I blame chainlance 22:20:22 ais523: btw, I've been working on a boot-sector Forth 22:20:28 = 510 bytes of code 22:20:31 it turns out this is excruciatingly difficult 22:20:32 also, now I'm curious; /did/ Gregor invent the triplock?Ii can't remember 22:20:39 elliott: that seems doable, although a bit tight 22:21:03 ais523: consider that the absolute minimum to get into flat protected mode is about 54 bytes for me 22:21:04 elliott: You can fit it in the boot sector? I do not think you could fit all of the primitives in there, so it should still require manual initialization? 22:21:06 ais523: including the GDT 22:21:28 ais523: (I overlap the first unused segment with the rest of the program, and only use one actual segment, which I change from read-write to read-execute with a xor right before setting cs) 22:21:37 ais523: (and I only set A20 with the short-but-not-universally-supported BIOS method) 22:22:03 now consider keyboard handling code... bios requires unprotecting and reprotecting, manual handling involves translating scancodes 22:22:08 zzo38: I'm going to use a stripped-down set of primitives 22:22:24 why use the keyboard at all? 22:22:33 ais523: it isn't a Forth without a prompt... 22:22:43 a non-interactive Forth isn't worthy of the name 22:22:49 (actually being able to save your work is much less vital) 22:22:55 (OK, so not really, but as far as the Forth nature goes) 22:23:17 ais523: I'm planning to back word names into a 32-bit dword :) 22:23:29 I can have a 32-long alphabet, enough for letters and some punctuation, and have names of max 6 chars, while still having two bits left over 22:23:36 (names are padded out with 0; in this case, probably "q") 22:23:41 (scancode-order, obviously) 22:23:49 the problem is that i still need to translate to ascii to print to the screen 22:24:06 * Phantom__Hoover wonders why the A20 gate crap hasn't just been replaced with "I'm doing this on AMD64, and if you don't have that you're an idiot and deserve the boot crashing and burning on you". 22:24:10 OK, it makes no sense that triplock3 is doing this well 22:24:14 (that padding has the fun effect that abc = abcq = abcqq) 22:24:22 I should submit triplock2, which is a) marginally better, and b) not a oneliner 22:24:40 I just used unreal mode and used the BIOS calls for keyboard, it will return the ASCII codes so that you can write to the screen 22:24:45 Phantom__Hoover: x86's backwards-compatibility is one of its main selling points 22:24:58 zzo38: Unreal mode still has the overhead of going into protected mode, though 22:24:59 -!- copumpkin has quit (Ping timeout: 260 seconds). 22:25:00 so it's no shorter 22:25:00 !bfjoust triplock2 http://sprunge.us/DcXF 22:25:10 wait 22:25:20 can you lgdt without going into protected mode, and have it work properly? 22:25:22 I would be very surprised if you could 22:25:26 Yes, but you can switch out of protected mode afterward 22:25:26 Score for ais523_triplock2: 42.5 22:25:29 why are you going out of real mode? 22:25:39 -!- Patashu has joined. 22:25:53 If you are writing a system that small you should not ever need to go out of real mode, though. 22:26:00 ais523: because dealing with segment addresses in Forth code is just perverse 22:26:01 If you're talking to zzo38, it's because he's a nutcase and reason just doesn't factor. 22:26:16 @ and ! being indices into a gigantic flat memory space is a vital part of the Forth philosophy 22:27:16 You can make a system that the data area is only 64K and the native code area is another 64K? 22:28:10 If you want to make it on GameBoy too, the one on GameBoy you cannot even address more than 64K memory. 22:28:42 Phantom__Hoover: I don't think he's any less sane than anyone else in this channel 22:28:42 hmm, if I'm never going to get waterfall on top of the leaderboard, how will I get to do a crazily long and detailed explanation of it? 22:28:47 ais523: I suppose I could just say "oh, just use one segment"! 22:28:50 also, ouch, I'm lagged 22:28:51 -!- pikhq has quit (Ping timeout: 246 seconds). 22:28:53 ais523, well... 22:28:57 -!- pikhq_ has joined. 22:29:09 I'll try real mode, I suppose 22:29:15 but still, I'll ping olsner to ask about my insane idea :) 22:29:49 He seems to be incapable of rational thought, at least on the same precepts as everyone else, and he is _incapable_ of dealing with the fact that other people are not exact duplicates of his mind state. 22:30:22 Phantom__Hoover: his thought process is entirely rational, it just starts from different premises to everyone else's 22:31:41 Yay, allegro's on top again 22:32:27 On top of what? 22:32:47 the furry furry girls 22:33:15 if you know what you two mean... 22:33:31 Deewiant: that table is bugged, I don't trust it 22:33:53 allegro does do better than waterfall3 in my local testing, though (over 1200 compared to just under 1100 wins-losses) 22:36:05 :t foldl 22:36:10 wtf 22:36:13 \bot disappeared _again_ 22:36:16 are we not worthy?? 22:36:22 oh, it's offline 22:36:52 foldl :: (a -> b -> a) -> a -> [b] -> a 22:40:06 -!- augur has quit (Remote host closed the connection). 22:41:40 -!- augur has joined. 22:44:17 -!- copumpkin has joined. 22:44:56 -!- zzo38 has quit (Remote host closed the connection). 22:46:01 -!- augur has quit (Remote host closed the connection). 22:47:39 New Underload wiki section up 22:47:48 http://tvtropes.org/pmwiki/pmwiki.php/Main/Scotireland 22:47:55 Do... do people actually do that? 22:48:21 Phantom__Hoover: Yes. 22:48:26 pikhq_, oh dear god. 22:49:09 Remember: Dick Van Dyke's "British" accent sounds legitimately British to many of us. 22:49:32 That's not as extreme to me due to lack of personal experience. 22:50:01 American trying to do Cockney. 22:51:03 I already knew that you all think that Scotland consists entirely of the Highlands, but being the same as Ireland... 22:51:25 "Eh, the accents are both rhotic. Close enough, right?" 22:51:59 But YOUR accents are rhotic! 22:52:14 Yeah, but it's a UK rhotic accent! 22:52:59 Look: we can't even honestly portray regions of our own country consistently. Much less other countries. :P 22:54:22 If it's between the east and west coasts, expect high levels of bullshit. 22:54:58 [[(Note that what is marketed as a Mars bar in the UK more closely resembles the American Milky Way bar than the American Mars bar.)]] 22:54:59 ...what. 22:55:09 iodahucky 22:55:23 I haven't even freaking seen a Mars bar here. 22:55:28 you get Milky Ways in the UK too 22:55:39 and they're vaguely similar to Mars bars, but there are obvious differences 22:55:40 All that time. 22:55:41 Freaking Mars company. 22:58:01 http://static.tvtropes.org/pmwiki/pub/images/the-world-according-to-americans.jpg Any further questions? 22:58:08 sgeo.diagonalfish.net is down until further notice 22:58:54 pikhq_, hey, where's England in the pussies section? 22:59:13 Honestly, that's such a huge oversight I can't even begin to comment. 22:59:16 Sgeo, NOOOOO 22:59:21 You mean that's a seperate landmass? 22:59:21 :P 22:59:24 HOW WILL WE HEAR YOUR KARAOKE NOW 22:59:35 pikhq_, yes, due to the concentration of pussies. 22:59:42 My karaoke may be infected! 22:59:55 Sgeo, I DO NOT CARE 23:00:04 Sgeo, I WANT THAT FILE AND I WANT IT NOW 23:00:31 Retrieve it now, tell me when you're done 23:01:54 Sgeo, *shivers*... yes, I have it. 23:02:05 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:02:17 Ok. 23:04:12 -!- hallvabo has joined. 23:04:19 It's gone undealt with since Oct. 2010 23:04:21 oops 23:05:06 Sgeo, what happened to it? 23:05:21 Malware 23:05:39 ... 23:06:05 Some stress thingy, this time 23:06:15 It's happened before 23:06:15 How... 23:06:35 I don't know 23:09:02 So the stress website points to another 23:09:26 Specifically, to a site that is down 23:09:46 Obviously it listened to the karaoke. 23:10:10 [23:32] you get Milky Ways in the UK too 23:10:13 yep but they're not the same as in the us 23:12:45 how beautifully muddled 23:12:56 It's these minor things... 23:13:03 one thing that surprised me is that McDonald's chips/fries are not the same in the UK and Canad 23:13:04 *Canada 23:13:04 Muddy Bars 23:13:16 ais523: How so? 23:13:21 (the ones in Canada are much better IMO, and are more similar to Burger King chips in the UK than McDonalds chips) 23:13:28 pikhq_: the UK ones are relatively tasteless 23:13:31 apart from the salt 23:13:47 Very, very strange. 23:13:49 damned gourmet canadians 23:13:59 Given that McDonald's has a freaking obsession with consistency. 23:14:02 presumably because they think Brits just don't care 23:14:15 ais523: clearly a sufficient portion of brits don't :) 23:14:17 well, they make a big deal in the UK about selling British food 23:14:20 I'm going to bring everything back online as it gets cleaned 23:14:29 McDonalds, that is 23:14:34 e.g. the Big Macs are made from British beef 23:14:53 ais523: Yes, it's company policy to locally source ingredients, actually. 23:15:21 But aside from that, they try and make it so that for each product that you can get internationally, it is the freaking *same* everywhere. 23:15:30 ais523: *British beef-based product 23:15:42 "100% beef" doesn't mean, you know, 100% actual beef meat. 23:15:49 well, OK 23:15:50 It just means 100% made out of stuff that came from cows. 23:15:53 At one point. 23:16:02 (And yes, McDonalds and other fast food chains do rely on this difference.) 23:18:12 -!- hallvabo has left (?). 23:18:53 elliott: More importantly, they rely on factory farming to make their meat nearly devoid of cost. 23:20:23 -!- Mannerisky has joined. 23:20:51 -!- Phantom__Hoover has quit (Remote host closed the connection). 23:22:57 pikhq_: and flavor 23:23:25 -!- pumpkin has joined. 23:23:35 though so far that's a matter of opinion 23:23:53 salt is a flavour. 23:24:03 right... but it's added 23:24:09 yes, but nobody *doesn't* add it. 23:24:19 so it's part of mcdonalds chips by any reasonable definition 23:24:53 in the UK, McDonalds add the salt themselves before serving 23:25:00 although extra salt is available 23:25:09 and Burger King serve the chips without salt and don't provide salt 23:25:11 -!- copumpkin has quit (Ping timeout: 264 seconds). 23:25:13 but rather, potassium chloride 23:25:17 burg- oh :) 23:25:36 I think I hit upon the trick of taking the extra salt from McDonalds to Burger King once 23:25:41 but I rarely have fast food anyway 23:25:56 ais523: potassium chloride is a salt... can you really taste a difference? 23:26:05 and nowadays, don't add salt to things (although I eat things that contain salt naturally, or had it added by the manufacturer) 23:26:08 Mathnerd314: it's quite an obvious difference 23:26:43 * Mathnerd314 will some HCl and mix it with some potassium to try 23:26:50 *get some 23:27:04 possibly a bad idea, they might not cancel out exactly 23:27:20 also, you want to mix with potassium hydroxide 23:28:33 heh. 23:30:17 -!- Zuu has quit (Ping timeout: 260 seconds). 23:36:26 -!- Zuu has joined. 23:41:09 Is my freaking hard drive dying or something? 23:41:21 THE EVIL HAPPINESS CARTELS 23:41:35 I'd love to test, but EVERYTHING THAT DOES A DISK ACCESS LOCKS UP RIGHT NOW 23:41:46 reboot? :-P 23:41:51 pikhq_: that sounds kind-of bad 23:42:22 ais523: it's fine, just ask Sgeo; if you lose a disk, *don't* take it out of the computer, *don't* try and recover it, instead, just try and boot it a lot so that it gets even worse! 23:42:42 days later, act amazed that recovering data from the disk might be impossible, and then give up when you learn it'll take about a day to run ddrescue 23:42:54 this is a tried-and-tested method of data nonrecovery 23:43:13 I never gave up! 23:43:28 Sgeo: orly? so you have your data now? 23:43:30 The project is just on... hiatus from lack of suitable computer. 23:43:38 the data is permanently gone. 23:43:45 elliott: I had a hard drive break due to the power supply breaking and taking out some things connected to it with it 23:43:46 you had a few days, you blew it. you gave up by not proactively rescuing it in that time. 23:43:55 the data's still on it, but the hard drive can't physically be turned on 23:44:12 I just restored from backups rather than trying to repair it 23:44:13 elliott, it degrades when it's not doing anything? 23:44:13 ais523: in Sgeo's case, it was dropping it. I'm not sure how one drops a hard disk so hard as to badly damage it without covering your fingers with butter, or not living on the same dimensional plane. 23:44:17 It's inside no computer. 23:44:18 Sgeo: X_X 23:44:29 I wish I had my normal client with all my fancy ignores. 23:44:36 it also broke the CD drive, although obviously that didn't damage the CD in it 23:44:39 * pikhq_ install smartmontools 23:44:56 ais523: I'd like to see an optical drive that, if damaged while a disc is inside, damages the disc 23:45:02 say, one that constantly spins the CD incredibly fast? 23:45:06 in a delicate hold 23:47:00 It's too hot. 23:47:33 hmm, what's a good name for the function f : Generator a -> Generator (Int, a)? 23:47:43 i.e. f [a,b,c] == [(0,a), (1,b), (1,c)] 23:47:44 intGenerator 23:47:45 Python calls it "enumerate" 23:48:02 oerjan: that's a terrible name, that would be something like [0, 1, -1, 2, -2, ...] enumerating all the ints 23:48:06 at least, that's what it suggests to me 23:48:19 natGenerator then ! 23:48:39 The drive is currently 56 Celsius, which is covering *severe* lags. 23:48:48 oerjan: but that isn't what it is! 23:48:50 it's zip [0..] 23:48:52 What I'm going to do is shut down and try and identify cooling problems. 23:48:58 -!- pikhq_ has quit (Quit: Here's hoping.). 23:49:12 zipBracketZeroDotDotEndBracket 23:50:12 -!- quintopia has quit (Ping timeout: 250 seconds). 23:51:00 elliott: pairWithIndex? 23:52:27 -!- quintopia has joined. 23:53:08 zipADeeDooDah 23:53:35 enumerate is better than all of these :P 23:56:34 heh I just realised that Haskell lists are isomorphic to generators 23:57:10 newtype Generator a = Generator { next :: Maybe (a, Generator a) } 23:57:20 newtype Generator a = Geberatir (Maybe (a, Generator a)) 23:57:24 Generator a = Maybe (a, Generator a) 23:57:28 Generator a = Maybe (a * Generator a) 23:57:36 Generator a = (a * Generator a) + 1 23:57:41 same as 23:57:48 data List a = Nil | Cons a (List a) 23:57:58 List a = Nil | Cons (a * List a) 23:58:01 List a = (a * List a) + 1