00:00:03 nock? 00:00:46 oerjan: http://moronlab.blogspot.com/2010/01/nock-maxwells-equations-of-software.html, continued in http://moronlab.blogspot.com/2010/01/urbit-functional-programming-from.html; relevantly, http://moronlab.blogspot.com/2010/01/decrement-in-reck.html 00:00:52 the first and the last are all you are likely to be interested in 00:02:52 -!- SimonRC has quit (Ping timeout: 265 seconds). 00:03:02 eek 00:04:14 Blah at Nu being a very much non-Windows thing 00:05:20 oerjan: why eek :) 00:05:51 that's the sound of my brain going "too much work" 00:06:25 oerjan: well i think decrement is quite simple 00:07:03 if you can get a conditional going, and recursion 00:07:21 also you have to construct the f such that *[s f] does it, not anything simpler :P 00:07:24 i think the language is postfix kinda 00:13:28 12:51:02 also -fpic NOT -fPIC 00:13:28 12:51:15 the lower case version is better on some platforms iirc 00:13:29 _what_ 00:13:55 -!- copumpkin has joined. 00:14:05 -!- augur has quit (Remote host closed the connection). 00:14:17 12:56:11 pikhq, well the difference is slight 00:14:17 12:56:18 also x86-64 is the norm nowdyas 00:14:18 12:56:21 days* 00:14:18 12:56:25 for linux 00:14:18 maybe in Vorpal-land... 00:14:44 when was this? 00:15:07 10.02.01 00:15:38 13:04:06 At any rate, it's built. best not to think any more about it, right? :) <-- wrong. You always try to figure out *why* something unexpected happened 00:15:39 maybe in Vorpal-land... 00:21:04 -!- BeholdMyGlory has quit (Read error: Operation timed out). 00:21:47 -!- BeholdMyGlory has joined. 00:22:02 09:27:44 FP is STUPID!!!!!! 00:22:03 09:28:02 anyone that wants to do functional programming without LAMBDA has lots his MARBLES 00:22:03 09:28:19 it's no coindicendec that LAMBDA is an anagram of MARBLES 00:22:20 oerjan: you know, i don't think j-invariant is coming back... 00:23:39 -!- augur has joined. 00:27:42 elliott: I have lots my MARBLES 00:29:33 quintopia, fun game 00:29:53 sgeo: no 00:30:08 http://www.youtube.com/watch?v=xSJBeV2hNUE 00:31:38 -!- pingveno has quit (Ping timeout: 276 seconds). 00:31:55 The music in that video is unfamiliar to me 00:32:53 A closed door 00:32:53 is a rather obvious obstacle to any adventurer, but there are several 00:32:53 ways to deal with one. Probably the most obvious method of getting 00:32:53 past a door is to try to open it; to do that, just try to walk into it 00:32:57 OKAY 00:33:03 -!- pingveno has joined. 00:33:03 I FIND NETHACK IS NOT VERY REALISTIC 00:34:06 THAT'S JUST BECAUSE YOU HAVEN'T TESTED THAT METHOD ON SUFFICIENTLY MANY _REAL_ DOORS 00:34:12 i find *insert video game* not very realistic 00:34:19 oerjan: i have. 00:34:25 oerjan: usually doesn't work :( 00:34:56 yes, but if you do it _enough_ times, head first, i'm sure your sense of reality will start adjusting. 00:35:28 the door might need some new hinges too 00:36:00 -!- SimonRC has joined. 00:36:50 oerjan: if it works in nethack, it works on the first try 00:37:15 conclusion: nethack adventurer is THE JUGGERNAUT, BITCH 00:38:08 -!- elliott has quit (Ping timeout: 265 seconds). 00:38:09 it works on the first try in reality too. it's the repetitions that are a bitch. 00:38:20 ^ deep truth 00:38:35 "Will you please stop saying you're sorry?" "Sorry" 00:38:40 I can imagine doing that myself 00:40:24 -!- poiuy_qwert has joined. 00:41:20 sgeo: are you watching M*A*S*H? 00:41:26 * oerjan guesses today's square root of minus garfield was also inevitable. 00:41:57 ... \sqrt{-garfield}? 00:42:06 yes. 00:42:12 http://www.mezzacotta.net/garfield/ 00:42:24 quintopia, DS9 00:43:05 summary of dwarf fortress after having played it for an afternoon: kind of like minecraft but with the micromanagement of widelands and the difficulty and GUI of nethack 00:43:07 oerjan: do they frequently feature bad puns? 00:43:23 or should I say UI rather than GUI perhaps 00:43:27 Oh my goodness. 00:43:39 quintopia: they have an overly long gag based on the format you see there 00:43:45 so yes. 00:43:51 and other puns too, probably 00:43:52 pikhq, you never heard of \sqrt{-garfield} before? 00:43:58 -!- cheater00 has joined. 00:44:17 If I tell pikhq to read the entire Mezzacotta archive, will he do it? 00:44:35 no. he might _try_, perhaps. 00:45:25 http://www.mezzacotta.net/garfield/?comic=9 *grin* 00:45:29 Sgeo: Not only no but fuck no. 00:45:48 Sgeo: I am not infinitely prolonged. 00:45:57 * Sgeo hears his dad shouting on the phone at his step-mom 00:46:04 Vorpal: Nope. 00:47:05 -!- cheater- has quit (Ping timeout: 240 seconds). 00:48:26 pikhq, huh. I was pretty sure you took part of discussions mentioning it before... 00:48:51 Nope. 00:50:16 -!- azaq23 has quit (Quit: Leaving.). 01:02:02 -!- cal153 has quit (Ping timeout: 246 seconds). 01:06:13 -!- BeholdMyGlory has quit (Ping timeout: 240 seconds). 01:08:54 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 01:10:31 -!- poiuy_qwert has joined. 01:27:01 -!- augur has quit (Remote host closed the connection). 01:31:25 -!- cal153 has joined. 01:38:54 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 01:40:01 Can I make fun of coppro now? 01:40:32 -!- poiuy_qwert has joined. 01:47:06 "On a clear disk, you can seek forever." -- HP-UX manual, circa 1985 01:50:17 http://cacm.acm.org/magazines/2011/2/104395-puzzled-parsing-partitions 01:50:22 interesting article 01:54:28 -!- augur has joined. 01:58:52 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 02:00:30 -!- poiuy_qwert has joined. 02:06:47 -!- tswett has joined. 02:06:52 How do I ask this question in Finnish? 02:07:12 `translatefromto en fi How do I ask this question in Finnish? 02:07:12 (Heimo, Herobrine. Even though "heimo" isn't a greeting.) 02:07:32 Miten kysyä tätä kysymystä suomeksi? 02:08:11 LOOKS PLAUSIBLE 02:09:00 Hm, I like what "mys" means in Swedish. What's the equivalent Norwegian word? 02:09:17 `translatefromto sv en mys 02:09:19 mys 02:09:31 Because it apparently means "coziness". 02:09:40 oh. 02:09:54 "kos", i suppose 02:11:07 `translatefromto sv no mysigt 02:11:08 koselig 02:11:16 That doesn't look like a cognate, but then again, the English word "do" doesn't look like the Spanish word "hacer" even though they are cognates. 02:11:33 um it's a cognate to "cozy", surely 02:11:36 This channel is full of natrual language geeks too? 02:11:36 :V 02:11:44 finnish is soo different 02:11:56 Lymia: there's even a real linguist here (hi augur) 02:11:58 It doesn't look like one to "mys", though. 02:12:03 like from an other planet 02:12:06 But yeah, it's almost certainly a cognate to "cozy". 02:12:10 oerjan: ohai 02:12:13 I thought people usually said that about Japanese. 02:12:17 Not Finnish. 02:12:26 augur: hi! Are you one of those one-language linguists? Not that there's anything wrong with that, I'm just wondering. 02:12:39 Lymia: people also say that Finnish is just a cipher of Japanese. 02:12:49 Lymia: there's a certain similarity between them, syllable structure and agglutination 02:13:00 tswett: what do you mean one language linguists 02:13:09 augur: THAT YOU ONLY SPEAK ENGLISH 02:13:12 Monolingual linguists. 02:13:14 What oerjan said. 02:13:23 oh, do i only speak one language? yes. 02:13:33 tswett, well. 02:13:35 I can say this. 02:13:40 I've never heard of that one before. 02:13:41 =p 02:13:55 It seems... wise for a linguist to know multiple languages. 02:13:58 Then again, the non-computer science related communities I go to are usually anime related. 02:14:26 But eh, if just knowing English works out for you. 02:14:39 (An if-only sentence. There is no then, only an if.) 02:14:42 augur: i mean you blather on about syntactic typed calculi and stuff, but do you _ever_ discuss in japanese like the real geeks here? nope. 02:14:55 tswett: knowing another language isnt terribly important. 02:15:04 oerjan: no what 02:15:11 why would i discuss japanese 02:15:14 whats to discuss 02:15:21 augur: THAT'S A JOKE 02:15:41 sou ka 02:15:57 augur: although this outsider _does_ feel it's somewhat suspicious to call yourself a linguist without any _actual_ breadth of language experience 02:16:14 which outsider 02:16:19 <- this one 02:16:20 Linguistics sure isn't *about* knowing lots of languages. 02:16:21 oh 02:16:26 The one to oerjan's left. 02:16:29 :P 02:16:35 well its not like i dont have experience with other languages 02:16:38 * oerjan swats tswett -----### 02:16:39 linguists are assholes 02:16:44 THAT ALMOST ALLITERATES 02:16:48 i just dont speak any well enough to say i speak them at all 02:16:59 hagb4rd: you mean they're talking out their asses? 02:17:22 they're talking out of anything they can 02:17:33 but theres no music in it 02:18:04 But knowing only English for a linguist is like knowing only about cats for a biologist. Sure, lots of facts that are true of cats are true of life in general. But many are not; if you only study cats, you never know what might be present in other animals. 02:18:09 augur: good, good. i guess. 02:18:26 maybe i exaggerate a lil 02:18:30 tswett: whoa whoa you're making the wrong analogy 02:18:41 knowing only english for a linguist is like BEING only a human for a biologist 02:18:53 I imagine I am; I'm not the linguist here. 02:19:01 i can tell you lots of things about other languages' grammars 02:19:18 more than most speakers know about the grammars 02:19:25 i just cant speak them 02:19:54 Ah, then you do know other languages well, for the purposes that you use them for. 02:20:09 no, i dont _know_ them in any real sense 02:20:17 i know facts about them 02:20:23 Right. 02:20:55 * oerjan is reminded of The Mathematician's Lament 02:21:01 Lockhart's Lament? 02:21:02 just like lots of people know facts about caesar and brutus 02:21:08 but noone _knows_ caesar or brutus 02:21:15 *A 02:21:18 tswett: yes 02:21:22 sweez 02:21:26 -z+t 02:21:32 analogy 02:21:36 I met Caesar once. I put him on my salad. He was delicious. 02:21:43 hehe 02:21:44 hagb4rd: are you making an analogy out of my surname? 02:21:49 tswett: how brutal 02:21:56 should i? 02:22:04 Yes, you should. 02:22:37 hehe 02:30:52 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 02:32:30 -!- poiuy_qwert has joined. 02:50:51 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 02:52:28 http://manageddreams.com/osmpbb/ 02:52:30 I have a sad. 02:53:03 sgeo: is it blue with a gold stripe across the head? 02:53:14 i lost my sad a little while back, been looking all over for it 02:54:01 ^ul (:::***)(~(~(:a~*):^))~(a)~^^SS 02:54:02 ((((~(~(:a~*):^))))) ...out of stack! 02:57:02 -!- Lymia_ has joined. 02:57:08 -!- Lymia has quit (Disconnected by services). 02:57:09 -!- Lymia_ has changed nick to Lymia. 02:57:10 -!- Lymia has quit (Changing host). 02:57:10 -!- Lymia has joined. 03:14:07 ^ul ((:::***)(~(~(:a~*):^))~(a)~^^())((:^(:)~*(*)*a~a~*(((T)(F))~*^(^)~^^^S!)~a*^)~:a~**^):^ 03:14:07 ((~(~(:a~*):^)))(~(~(:a~*):^))~(~(:a~*):^)~(:a~*):^(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a~*):a~*(:a ...too much output! 03:14:27 ^ul ((:::***)(~(~(:a~*):^))~(a)~^^())((:^(:)~*(*)*a~a~*(((T)(F))~*^(^)~^^^!S!)~a*^)~:a~**^):^ 03:14:28 FFFTFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF ...out of time! 03:53:58 `-` 03:53:59 No output. 03:56:27 you need to stop it with the ugly-ass backtick "face" or at least put a space in front of it 03:58:16 -!- augur has quit (Remote host closed the connection). 04:09:45 [00:33:42] afaik we don't have any indians or chinese here, though 04:09:45 [00:34:26] hm wait that was during european day wasn't it 04:09:58 Uhm yeah it was night for east and south Asia by that time already 04:12:46 -!- Lymia has quit (Ping timeout: 240 seconds). 04:13:55 i think my mind triggered on the mention of "2 billions" --> china + india 04:15:15 It was supposed to be Europe + Africa + west Asia :p 04:28:14 -!- augur has joined. 04:52:38 -!- poiuy_qwert has joined. 05:26:25 "The enzo" wtf 05:26:36 http://www.wrapanap.com/order.html 05:29:18 same color as the car? 05:30:46 * pikhq is too good at procrastination. 05:30:59 I have been home for 8 hours. I have done nothing so far. 05:31:07 8. Fucking. Hours. 05:32:06 pikhq: you could get outraged over sony's lawsuits a bit more 05:32:17 that's a fairly productive pastime 05:32:27 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 05:34:17 -!- poiuy_qwert has joined. 05:36:07 copumpkin: Nothing new on that front, so *shrug* 05:36:18 Why is there a car named after the Active Worlds CEO? 05:37:27 http://wiki.activeworlds.com/index.php?title=User:E_N_Z_O&oldid=18626 05:37:55 Ah, Anki, how you make it so easy for a having-done-nothing day to have actual accomplishments in it. 05:38:29 Anki? 05:38:46 flashcards? 05:39:30 Anki is a fairly good SRS (spaced repetition system) program... 05:39:35 I use it for studying Japanese. 05:40:06 Yes, flashcards with an algorithm that prevents you from wasting too much time. 05:40:49 Basically, it attempts to model when you're likely to forget a card, so that it only shows up when seeing the card will actually be helpful. 05:41:02 Rather than, say, showing the same damned cards every day. 05:45:44 I find it almost *necessary* for learning kanji. 05:48:43 Well 05:48:50 I'm not going to be a double red cell donor 05:49:17 -!- benmoreassynt has joined. 05:50:36 -!- benmoreassynt has left (?). 05:54:26 copumpkin: BTW, thank you so much for cluing me in on Heisig. It's been about a year since, and, well, it's been amazing. 05:54:34 Heisig? 05:54:45 Sgeo: Heisig's "Remembering the Kanji". 05:54:50 oh 05:54:54 Sgeo: Also essential. 05:55:17 Sgeo: Learn (roughly) the meaning and (exactly) the writing of the commonly used kanji! 05:55:56 pikhq: no problem :) glad you made it through it! that's more than I did :P 05:56:11 Sgeo: I've gone from struggling to understand stuff for 2nd graders to struggling to understand ja.wikipedia.org courtesy of that. 05:56:47 And I read untranslated manga for pleasure now. Yay. 05:57:03 how's verbal? 05:57:15 spoken japanese and grammar are actually pretty easy 05:57:31 well, in some ways, anyway 05:57:36 copumpkin: Quite a bit below my reading comprehension, but it's improved by leaps and bounds. 06:02:45 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 06:04:20 -!- poiuy_qwert has joined. 06:18:14 Why am I shocked by Moove still existing? 06:24:19 http://www.youtube.com/watch?v=J5uptErhetY how did this embed itself into my subconsious so quickly that when I found it on YouTube, I was certain it was a different song 06:24:53 No 06:24:55 Hmm 06:25:15 I meant I thought that I thought what was playing in my head when I f... argh 06:32:44 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 06:34:33 -!- poiuy_qwert has joined. 06:40:57 -!- asiekierka has joined. 06:45:23 -!- Zuu has quit (Read error: Connection reset by peer). 06:45:26 -!- Zuu_ has joined. 06:52:43 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 06:54:33 -!- poiuy_qwert has joined. 07:02:05 -!- hagb4rd has quit (Ping timeout: 240 seconds). 07:06:10 -!- FireFly has joined. 07:08:12 -!- hagb4rd has joined. 07:12:43 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 07:14:34 -!- poiuy_qwert has joined. 07:14:51 -!- hi2u has joined. 07:15:30 -!- hi2u has left (?). 07:22:35 -!- Zuu_ has quit (Read error: Connection reset by peer). 07:27:12 -!- Zuu has joined. 07:32:42 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 07:34:31 -!- poiuy_qwert has joined. 07:43:13 -!- evincar has joined. 07:43:56 Well, here I am, more than twelve hours later than I planned. 07:45:00 that's relatively lousy timing for this channel 07:45:36 wait, do you mean you've been traveling or something? 07:49:56 * pikhq shall go to sleep. 07:52:06 ^ul (()~:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)(::**)~^ 07:52:27 ^ul (()~:a(~^)*~(()(~(~(:a~*):^))(a))~*^^)(::**)~^(~aS:^):^ 07:52:27 ((((~(~(:a~*):^)))))()((::**)~^)() ...out of stack! 07:52:51 -!- FireFly has quit (Quit: swatted to death). 07:54:55 oerjan: No, I mean I told elliott to look at something I was talking about earlier with ais523, and that I'd be back in a couple hours after a nap. Twelve hours later... 07:55:03 heh 07:55:08 ...though not nearly all of that time was sleeping. 07:58:34 -!- poiuy_qwert has quit (Read error: Operation timed out). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:01 -!- poiuy_qwert has joined. 08:04:32 ^ul (aS:):((:*)~^(::**)~^(:*)~^)^ 08:04:32 (:*)(::**)(:*) 08:05:24 ^ul (aS:):((:*)~^(::**)~^(:*)~^)^S 08:05:24 (:*)(::**)(:*)aS: 08:05:46 ^ul (aS:):((:*)~^(::**)~^(:*)~^)^(aS:^):^ 08:05:46 (:*)(::**)(:*)(aS:^)(aS:) 08:06:06 ^ul (aS:):((:*)~^(::**)~^(:*)~^)^(~aS:^):^ 08:06:06 (:*)(::**)(:*)(aS:)(aS:) ...out of stack! 08:09:32 Poor, poor fungot. 08:09:33 evincar: it can say " make this a bit and watch it toast? or decide the project is quite quixotic. that being said, it comes to mobile code it has good parts and bad parts. the dynamic environment 08:09:53 Thanks. 08:09:58 Goodnight. 08:10:05 -!- evincar has quit (Quit: Toast...). 08:12:23 -!- aloril_ has quit (Read error: Connection reset by peer). 08:21:22 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 08:23:01 -!- poiuy_qwert has joined. 08:24:04 -!- aloril has joined. 08:25:26 -!- cheater00 has quit (Ping timeout: 240 seconds). 08:26:28 -!- cheater00 has joined. 08:29:14 ^ul (aS:):(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!Sa(~^)*~a*(:)*^)((:*)~^(::**)~^(:*)~^)^(~aS:^):^ 08:29:14 2(:*) ...out of stack! 08:30:09 ^ul (aS:):(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!Sa(~^)*~a*(:)*^):((:*)~^(::**)~^(:*)~^)^(~aS:^):^ 08:30:09 2(:*)3(::**)2(:*)(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!Sa(~^)*~a*(:)*^)(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!Sa(~^)*~a*(:)*^)(aS:)(aS:) ...out of stack! 08:32:18 ^ul (aS:):(:((0)(!(1)(!(2)(!(3)(_))))(^))~*^^!Sa(~^)*~a*(:)*^):((:*)~^(!())~^(:*:*)~^)^(~aS:^):^ 08:32:18 2(:*)0(!()) ...bad insn! 08:41:21 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 08:43:00 -!- poiuy_qwert has joined. 09:01:21 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 09:02:59 -!- poiuy_qwert has joined. 09:21:20 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 09:21:25 -!- cheater00 has quit (Ping timeout: 240 seconds). 09:22:59 -!- poiuy_qwert has joined. 09:23:33 -!- cheater00 has joined. 09:31:33 -!- oerjan has quit (Quit: leaving). 09:37:21 -!- poiuy_qwert has quit (Read error: Operation timed out). 09:40:12 -!- Tritonio has joined. 09:42:59 -!- poiuy_qwert has joined. 09:53:00 -!- hagb4rd has quit (Ping timeout: 240 seconds). 10:01:20 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 10:02:59 -!- poiuy_qwert has joined. 10:15:12 -!- Phantom_Hoover has joined. 10:18:32 -!- poiuy_qwert has quit (Read error: Operation timed out). 10:21:45 -!- poiuy_qwert has joined. 10:29:15 00:37:53 oerjan: you know, i don't think j-invariant is coming back... ← we didn't think he was coming back when he was fax either. 10:29:51 I know him from #haskell, was he a great contributor to this channel? 10:33:59 That's a long story which I a) don't know the entirety of and b) can't be bothered recounting. 10:39:37 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 10:41:13 -!- poiuy_qwert has joined. 10:47:45 -!- cheater- has joined. 10:48:51 -!- cheater00 has quit (Ping timeout: 272 seconds). 10:52:20 -!- Tritonio has quit (Read error: Connection reset by peer). 10:59:37 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 11:01:13 -!- poiuy_qwert has joined. 11:19:37 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 11:21:13 -!- poiuy_qwert has joined. 11:29:56 -!- asiekierka has quit (Ping timeout: 276 seconds). 11:39:36 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 11:40:43 -!- copumpkin has quit (Ping timeout: 260 seconds). 11:41:10 -!- copumpkin has joined. 11:41:13 -!- poiuy_qwert has joined. 11:59:36 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 12:01:12 -!- poiuy_qwert has joined. 12:09:54 Haha... Lagerhom apparently tried to make countdown to first RIR depletion but apparently the code is quite buggy... 12:19:38 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 12:21:12 -!- poiuy_qwert has joined. 12:39:35 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 12:41:14 -!- poiuy_qwert has joined. 12:45:39 -!- sebbu2 has quit (Read error: Operation timed out). 12:46:06 -!- sebbu has joined. 12:54:51 -!- Deewiant has quit (Ping timeout: 255 seconds). 12:55:18 -!- Deewiant has joined. 12:59:01 -!- augur has quit (Remote host closed the connection). 12:59:35 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 13:01:14 -!- poiuy_qwert has joined. 13:07:45 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 13:19:35 -!- poiuy_qwert has quit (Read error: Connection reset by peer). 13:21:16 -!- poiuy_qwert has joined. 13:23:59 -!- asiekierka has joined. 13:25:33 -!- poiuy_qwert has quit (Read error: Operation timed out). 13:29:42 -!- FireFly has joined. 13:39:13 -!- augur has joined. 13:46:02 -!- elliott has joined. 13:47:56 00:58:38 summary of dwarf fortress after having played it for an afternoon: kind of like minecraft but with the micromanagement of widelands and the difficulty and GUI of nethack 13:48:05 Vorpal: Er, DF is *much* more difficult than NetHack. 13:49:15 -!- ais523 has joined. 13:50:23 02:22:49 (Heimo, Herobrine. Even though "heimo" isn't a greeting.) 13:50:25 tswett: it's a bot 13:51:07 02:28:02 augur: hi! Are you one of those one-language linguists? Not that there's anything wrong with that, I'm just wondering. 13:51:08 and how many diseases do you have, resident doctor? 13:51:12 hi ais523 13:51:17 hi 13:51:30 hmm, you know when I couldn't access anything? 13:51:51 when the system started working again, programs were working but Gnome was frozen (the shell, that is) 13:51:51 yes 13:51:53 heh 13:51:59 ais523: don't say Gnome and shell in the same sentence 13:52:01 so I had to log out via control-alt-backspace to get anything done 13:52:25 02:31:34 augur: although this outsider _does_ feel it's somewhat suspicious to call yourself a linguist without any _actual_ breadth of language experience 13:52:30 it seems that that didn't work properly, I just got an automated email to tell me that I'd left gnome-panel running for over two days and it was killed automatically 13:52:42 again... "Asking a linguist how many languages they know is like asking a doctor how many diseases they have." 13:53:13 (OK, it's a fairly stupid aphorism) 13:53:16 (but it's amusing) 13:54:37 hmm, with "linguist" there, the analogy does actually hold up 13:54:50 except that a doctor would be trying to get rid of diseases they had 13:55:00 and a linguist wouldn't have any motive to forget languages they happened to know 13:55:17 (although they wouldn't have a massive motive to learn new ones either) 13:55:18 ais523: linguist != someone who knows languages 13:55:30 meanwhile, off-topically, http://www.digitalspy.co.uk/odd/news/a300850/diddy-sued-for-causing-911-attack.html 13:55:40 well, I suppose it's rather esoteric 13:56:18 ais523: linguist != someone who knows languages <--- I know, what about my comment would have given a different impression? 13:56:32 hmm, that URL is pretty freakish as it is 13:56:42 and not just because of the random string of hex (or possibly, letter+decimal) 13:56:46 "A woman named Valerie Turks filed the suit against Diddy, whose real name is Sean Combs, alleging that he was the cause behind the collapse of the World Trade Centre in 2001 and stole a poker chip from her worth "100 zillions of dollars"." 13:57:02 "[Diddy] went through Kim Porter and Rodney King and knocked down the WTC and then they all came and knocked my children down. Set me up to be on disability and disabled my baby. He put my baby in a wheelchair," Billboard quotes Turks as saying in her legal papers. 13:57:15 elliott: you get lawsuits that silly once in a while 13:57:25 there was one during the SCO vs. Novell case 13:57:29 "- -and then for lunch, I knocked down the World Trade Centre -- but anyway, how was your day?" 13:57:31 *-- and 13:57:43 (debate: is World Trade Centre a correct spelling?) 13:57:59 (not SCO vs. Novell itself, although that was pretty silly as it was; someone who was in prison at the time decided to try to intervene in the case) 13:58:15 "It all started with tarsorrhaphy. Really." --Google 13:58:27 ais523: heh, on which side? 13:58:34 I saw something on Fark saying that Wikipedia had a redirect... 13:58:38 "Turks, who is asking for $900 billion dollars in child support and $100 billion dollars for 'loss of income', --" -- well, that sounds eminently reasonable! You can hardly raise a child with less. 13:58:50 [[We created about 100 “synthetic queries”—queries that you would never expect a user to type, such as [hiybbprqag]. As a one-time experiment, for each synthetic query we inserted as Google’s top result a unique (real) webpage which had nothing to do with the query. Below is an example:]] 13:58:51 omg 13:58:59 imagine finding those before they revealed it :D 13:59:00 elliott: they wanted to replace SCO in the case, on the basis that they were being incompetent 13:59:06 heh: http://www.google.com/search?q=hiybbprqag 13:59:19 elliott: it returns genuine results now 13:59:20 hiybbprqag.com goes to a Google job site now 13:59:23 mostly talking about the story in question 13:59:40 -!- elliott has set topic: For the discussion of hiybbprqag and mbzrxpgjys | http://208.78.103.223/esoteric/ | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 14:00:21 -!- augur has quit (Remote host closed the connection). 14:00:33 delhipublicschool40 chdjob! 14:00:48 hmm, apparently Comcast have moved some of their customers to IPv4/IPv6 dual stack 14:00:50 what would happen if some poor sap really wanted to find information about these things?! 14:01:01 the Slashdot comments say it's because they ran out of space in 10/8 14:01:08 ais523: aren't Comcast terrible in every other aspect, though? 14:01:24 elliott: I think so 14:01:27 They did run out of space in 10/8 for their "control plane" network, and had to register public addresses for it. 14:01:32 so, reddit has "joined" the Free Software Foundation, but I'm not sure what they mean 14:01:33 oh, FSF associate 14:01:41 I also vaguely recall Comcast doing a largeish trial of 6rd. 14:01:49 it feels odd 14:01:51 running out of space in a class A for your own control network is pretty impressive 14:01:52 even though reddit is mostly open 14:02:05 Isn't reddit full of ads? 14:02:14 Games are ads! 14:02:43 ooh, I got an advert for a Windows registry scanner 14:02:50 I'm tempted to actually click on it just to see what will happen 14:03:03 my theory is that it'll load in Wine, and scan the Wine registry, if I do 14:03:10 lol 14:03:10 Ugh. 14:03:12 [[By the way, your replies in this thread strongly suggest to me that you're trying to adjust your definition of "generalisation" to fit the responses, rather than taking them into account.]] <-- probability of them taking this seriously: 0 14:03:19 I have to go to school, don't I? 14:03:19 ais523: Erm, usually they don't actually scan the registry. 14:03:24 "This is a tremendous milestone for Comcast, cable operators, and the Internet community at large, and it is a critical milestone in our many years of work to prepare IPv6 to work seamlessly in a residential broadband Internet network. Each user has been delegated a /64 block of [--]." 14:03:25 ais523: I would hide the Z: drive first. :p 14:03:27 Maybe a chroot. 14:03:37 fizzie: BROUGHT TO YOU BY WOLFRAM RESEARCH 14:03:41 yep, I'm unlikely to actually /do/ it 14:03:49 I might also make a user for the purpose 14:04:03 Blah blah your "tremendous milestone for -- the Internet community at large"; there's a whole pile of ISPs that have been doing that for who knows how long. 14:04:13 fizzie: lol, not in the US 14:04:22 when I run closed-source Windows programs that I suspect are either a) potentially malware, or b) have ridiculous DRM, I use a separate user without write access to anywhere but /tmp, /var/tmp, and its own home dir 14:04:26 even in the UK, it's non-trivial to find an IPv6 ISP 14:04:30 they're all small 14:04:38 They're not smaller than the Comcast trial. :p 14:04:45 Well, tru. 14:04:50 "On January 11th, 2011, our first 25 IPv6-enabled users came online in the Littleton, Colorado area." 14:05:03 (Okay, so they've expanded now to an unspecified, larger number, but still.) 14:05:05 btw, MPLAB C30 definitely counts as ridiculous DRM 14:05:06 Not even BE have IPv6, which is kind of annoying. 14:05:10 mostly because it's GPLed 14:05:13 http://my.opera.com/chooseopera/blog/2011/02/02/egypt-is-back-online-2 14:05:13 ais523: all DRM counts as ridiculous DRM 14:05:20 so patching the DRM out was surprisingly simple 14:05:38 ais523: hmm, theory: GPLv4 will prohibit obfuscating the source 14:05:44 so that DRM is always easy to remove 14:05:45 elliott: GPLv2 did that 14:05:50 ais523: really? :D 14:06:07 yep, their definition of source excludes obfuscated source 14:06:18 elliott, so idiots won't be allowed to program anymore? 14:06:36 ais523: OK, new theory, taking into account the fact that the GPL is already crazy: GPLv4 will prohibit writing unreadable code 14:06:39 * Sgeo needs to go put clothing on and go to school 14:06:47 GPLv5, then, will mandate the GNU coding standards be used, and that the code is eminently readable 14:07:02 GPLv6 will specify which fonts you are allowed to use when editing the code. 14:07:07 GPLv6 will just be a requirement to hand your project over to the FSF> 14:07:07 hmm... Ubuntu wants to upgrade the kernel from 2.6.32.28.31 to 2.6.32.28.32 14:07:13 apparently as a security update 14:07:25 Nice, that kernel is from like 2009 14:07:27 Pretty recent 14:07:29 that's the most minor version number bump I've ever seen for that sort of update 14:07:30 * elliott doesn't even see his updates 14:07:35 they just go automatically 14:07:43 The duck go. 14:07:45 ais523: that sounds like a local patch version 14:07:51 I don't think kernel.org kernels come in such versions 14:07:55 My router is still running .33 but it's been running for quite a while now so it's excusable 14:07:55 2.6.32.28 was released in 2011-01-07. 14:08:00 That's not exactly "like 2009". 14:08:13 *The pig go 14:08:14 Dammit 14:08:15 kfr: well, I reboot every time I go home or to work 14:08:15 "Not all updates can be installed" uh oh 14:08:19 because it's fast enough anyway 14:08:33 I need strong AI in my IRC client. 14:08:39 And the fifth number is Ubuntu-specific there. 14:08:53 wait, is there a new major Ubuntu release? 14:08:57 elliott: normally that's because two or more clash, and is relatively common in -proposed versions of Ubuntu, at least 14:08:59 no 14:09:05 so why is it showing me the distribution upgrade screen? 14:09:06 and no, those happen in April and October 14:09:18 elliott: because the distribution updater is the only one that knows how to handle that sort of clash 14:09:22 oops 14:09:23 the regular one can't 14:09:24 i just cancelled it 14:09:27 and now the regular one pops up 14:09:31 how do i get it back :D 14:09:44 sudo aptitude dist-upgrade from the terminal 14:09:51 I'm not sure what the synaptic equivalent is 14:09:55 ais523: ouch! 14:09:57 dist-upgrade is NOT the same 14:10:10 well 14:10:14 full-upgrade 14:10:14 Upgrades installed packages to their most recent version, removing 14:10:14 or installing packages as necessary. This command is less 14:10:14 conservative than safe-upgrade and thus more likely to perform 14:10:14 unwanted actions. However, it is capable of upgrading packages that 14:10:15 safe-upgrade cannot upgrade. 14:10:18 (it isn't actually called dist-upgrade) 14:10:26 OK, it was renamed slightly 14:10:55 aha 14:10:57 update-manager --dist-upgrade 14:10:58 I think 14:11:08 yep 14:11:20 Isn't it easier to use a rolling release distro? I always found this whole staged distro stuff somewhat irritating 14:11:38 hmm, it wants to install ttf-droid 14:11:57 i should really finish up kitten 14:12:00 kfr: it depends on what you want to do; staged lets you control when your system is most likely to randomly break, which helps if you're using it for something important 14:12:00 to avoid this ubuntu mayhem 14:12:11 wait, what did kfr say? 14:12:39 elliott: he or she asked why people would use a staged distro over a rolling release distro 14:12:43 but I used Debian for quite a while 14:13:08 because staged distros are often less hassle to manage, obviously... a rolling release distro with someone sane and conservative enough in charge works fine 14:13:27 but e.g. Arch is run by crackheaded monkeys running off the cliff of stability into a gigantic pit of lava marked "THE FUTURE" 14:13:43 I use Arch on my servers, the router and the notebook :D 14:14:00 I run yes | pacman -Syu in a daily cronjob 14:14:03 My good luck charm 14:14:55 (it repeatedly broke stuff with PostgreSQL and Apache) 14:15:02 (sites were down for days until I noticed that) 14:15:13 of course what everyone should use is Kitten. 14:15:32 because it's the only Linux distro that manages to say with its very existence, "get off my lawn" 14:15:32 What is Kitten? 14:15:40 Oh I have never heard of it before 14:15:44 elliott's vaporware Linux distro 14:15:44 I shall google it 14:15:49 Vaporware? :D 14:15:51 ais523: not vapourware, just too-busy-for-it-ware 14:15:52 googling it probably wouldn't work very well 14:16:07 http://kittenlinux.com/index.shtml 14:16:11 The same? 14:16:22 ais523: I could assemble a system that I'd call "Kitten" right now, but I'd prefer to get a package manager going first 14:16:30 it's kind of nice to have 14:16:32 sometimes :P 14:16:37 elliott: according to kfr's link, you probably have a naming clash 14:16:42 because I'm pretty sure you don't own kittenlinux.com 14:16:43 Oh. 14:16:54 what, they stole my fucking logo 14:16:56 almost 14:17:08 well...who cares about some Fedora user :D 14:17:23 ais523: I'm sure I can usurp it, since when is first-come first-serve a reasonable policy? 14:17:28 KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD KITTEN LINUX EHIRD 14:17:53 ais523: also, it's just as vapourware as mine, except it has a vaguely self-congratulatory website with way too many italics 14:17:54 so bah 14:18:08 at least, all it has is the top google spot; the rest of the results are false positives 14:18:16 well, apart from: 8 Dec 2008 ... Kitten is based on Linux in part, but makes different design choices that are targeted at scalability (low noise, deterministic behavior) ... 14:18:23 -!- cheater- has quit (Ping timeout: 240 seconds). 14:18:25 but that's hardly relevant: https://software.sandia.gov/trac/kitten 14:18:36 ais523: btw, i never consciously named it Kitten 14:18:49 I had some name ideas, but called it Kitten as a joke until I decided on one, and then I forgot them 14:18:49 the name just happened? 14:18:55 so it just kept being called Kitten 14:19:09 ais523: it was originally a joke a la "and a pony!" 14:19:14 ah 14:20:58 -!- cheater- has joined. 14:21:08 -!- asiekierka has quit (Read error: Operation timed out). 14:21:28 -!- impomatic has joined. 14:21:32 Hi :-) 14:21:35 -!- BeholdMyGlory has joined. 14:21:55 hi impomatic 14:24:10 ais523: you need to make a patch that does undo! 14:24:11 :D 14:24:36 Today I met somebody in ##asm who had written an assembler in Prolog, I was very impressed by that 14:24:49 cheater-: err, wrong channel? 14:24:51 I still haven't really tried Prolog but I'm told it's very interesting 14:24:57 Food for thought 14:25:01 ais523: i don't want to talk there :) 14:25:03 (we're both in both #esoteric and #nethack, and your comment would make sense in #nethack but not #esoteric) 14:25:15 ais523: yes! it's for secrecy 14:25:29 oh, you don't want to admit you're a savescummer? 14:25:39 ais523: :troll-feeding: 14:25:50 everything can be expressed with a fake emoticon name; that's my theory of life 14:25:52 elliott: meh, it can be amusing sometimes 14:26:03 ais523: well, ok, but very annoying for everyone else 14:26:11 especially in #esoteric, isn't our typical response to trolls to countertroll them until they give up? 14:26:24 ais523: why are you refering to me as a troll? 14:26:29 also, I can't figure out if it's cheater- trolling, or me 14:26:33 cheater-: I'm not, I'm responding to elliott 14:26:49 ais523: elliott is an idiot. never mind him. 14:26:56 well, cheater- is either very idiotic or a troll, but it's irrelevant because what he does is the same 14:27:14 iddiott: sorry, i reserved the idiot insult first! 14:28:59 ais523: returning to what we were talking about before we were so rudely interrupted, an undo feature would be fun to learn the different outcomes from a single situation 14:29:08 and for newbies definitely a fun way to play the game 14:29:26 arguably, wizmode is more useful in the first case 14:29:49 and NetHack tends to be kind-of unsatisfactory with savescumming, especially to a new player 14:30:00 it's not as bad when you're experienced and know the sort of things it would be interesting to test 14:30:04 yes, but wizard mode gives you abilities beyond what you normally would be able to do 14:30:09 that's the point? 14:30:10 therefore it's not as useful for learning 14:30:19 it lets you set the situations you want to test up 14:30:24 rather than have to have them happen naturally 14:30:24 because when learning you want to be confronted with situations that normally come up 14:30:30 and no, you don't 14:30:32 savescumming to learning? 14:30:33 i want them to happen naturally 14:30:34 *learn? 14:30:36 sheesh 14:30:50 you want to use wizmode precisely to test things that only come up once in a blue moon 14:30:50 that's a great way to become someone who gives up every time they die, i guess 14:31:04 because the stuff that comes up all the time comes up all the time, so you learn it quickly enough 14:31:07 ais523: yes. i want to use undo to test things that come up naturally. 14:31:14 ais523: not quickly enough for me 14:31:36 hmm, I think NetHack is possibly the wrong game for you 14:32:03 -!- Behold has joined. 14:32:08 hey guys, i want to learn dwarf fortress 14:32:09 except 14:32:11 ais523: i think you're trying to patronize me by following the general beaten path way of playing nethack as opposed to being creative and finding fun new ways to enjoy it. 14:32:12 i want to be able to go back in time 14:32:15 so that whenever i fuck up 14:32:20 i don't have to lose my precious fortress 14:32:29 can |_| plz hax0r it 4 me ais523? 14:32:35 ;;)) 14:33:01 elliott: as Dwarf Fortress is a sandbox game in a way, I can see more reason to savescum it than I can to savescum NetHack 14:33:14 NetHack's a sandbox game in wizmode too, but it doesn't make for a very /good/ sandbox game 14:33:18 ais523: http://df.magmawiki.com/index.php/DF2010:Fun 14:33:21 (redirect to http://df.magmawiki.com/index.php/DF2010:Losing) 14:33:27 [[Losing is fun! 14:33:27 Either way, it keeps you busy. 14:33:27 There is no internal end point, single goal, final Easter egg or "You Win!" announcement in Dwarf Fortress. Therefore, eventually, almost every fortress will fall. The only ones that don't tend to be very conservative and very boring—and what fun is that? Therefore, DF = losing /\ DF = fun => losing = fun, and that's okay! It's a game philosophy, so embrace it, own it, and have fun with it! 14:33:29 Most new players will lose their first few forts sooner rather than later; when you lose a fortress, don't feel like you don't understand the game. Dwarf Fortress has a steep learning curve, and part of the process (and fun!) is discovering things for yourself. However, this Wiki serves as an excellent place to speed up the learning process. 14:33:32 ais523: is it so unimaginable to play nethack in a way that it's not played normally? 14:33:33 If you lose, you can always reclaim fortress or go visit it in adventurer mode. 14:33:35 If you're looking for more ways to test yourself, try either the mega construction or the Challenges articles.]] 14:33:38 ais523: if Dwarf Fortress didn't have losing, it wouldn't be a game 14:33:54 (Minecraft is a game on a technicality -- you can die by being killed, which counts as losing) 14:33:59 -!- BeholdMyGlory has quit (Ping timeout: 264 seconds). 14:34:00 You can't lose in WoW 14:34:04 cheater-: http://www.youtube.com/watch?v=g-1hk-whXJI 14:34:26 (sorry, that's close to the perfect comeback but I had to look up the link) 14:34:49 ais523: oh, you guys actually released the TAS? 14:34:53 elliott: no 14:34:53 or is the project still ongoing? 14:34:56 still ongoing 14:35:00 that's just the start 14:35:05 what the fuck is happening :D 14:35:07 I like how you're called F 14:35:32 ais523: please get hallu at some point 14:35:34 or wait, are you? 14:35:40 ais523: say what? 14:35:44 hallu would cause a desync the way we're doing things 14:35:50 cheater-: ais523: is it so unimaginable to play nethack in a way that it's not played normally? 14:36:10 put it this way, if you're going to savescum, you want to do it /properly/ 14:36:15 cheater-: you could always code your own cheating code rather than telling ais523 to do something he obviously isn't going to do 14:36:28 that would also have the side-effect of not polluting #esoteric with lines both idiotic and offtopic 14:36:29 iddiott: you could always just /ignore me 14:36:35 (that's _my_ job) 14:37:14 what the fuck is happening :D <-- http://gitorious.org/nethack-tas-tools/mainline/blobs/raw/master/turnbyturn.txt 14:37:25 that's over ten thousand words now, and I felt the need to write it just to explain what was happening 14:37:27 ais523: you think that will answer my question? 14:37:37 ais523: I'm not a very good NetHack player :) 14:37:46 elliott: it's designed to be understood by people who don't know about NetHack much 14:37:54 it's that long partly because it explains all the relevant mechanics 14:37:55 ais523: will you do another TAS on the most favourable day? 14:38:17 admittedly, most of the relevant mechanics are ones that never come up in "real" games, so I need to explain them to veterans too 14:38:24 and no, because it would look basically the same 14:38:48 aww 14:39:12 it turns out that there have been 14:39:12 none at all since the release of NetHack 3.4.3, 14:39:17 ais523: can you not play a release on a day before it was released? 14:39:17 heh 14:39:28 elliott: obviously not, that would be unrealistic! 14:39:36 ah. unlike minecraft! 14:39:38 erm 14:39:40 ah. unlike nethack! 14:39:43 (I tend to take the "theoretically possible" bit rather pedantically) 14:39:52 oh, so the game doesn't actually stop you :) 14:39:57 ais523: it's theoretically possible to set your clock back! 14:40:11 well, yes 14:40:19 but that would be illegally modified hardware 14:40:28 (well, probably not, I'm just being excessively pedantic) 14:40:36 (and there's no reason /not/ to pick a date after the release of 3.4.3) 14:40:51 it would be theoretically possible to be someone who has left earth at light speed and used the twin effect to result in them being in the most favourable day 14:41:20 I did something similar in the Pokémon World Championships, using a more difficult method to control the RNG to produce perfect Pokémon just in order to leave them with possible timestamps 14:41:28 in fact, I left the timestamp as close to the actual time as I could 14:41:39 but I made sure it was neither before I bought the game, nor in the future 14:42:29 haha 14:42:51 "Amusingly, this dependence on the moon phase can 14:42:51 cause desyncs on occasion; this is likely the only TAS that will have 14:42:51 been desynced by running a script on a full moon by mistake." 14:42:51 :D 14:42:55 i want to make a roguelike now 14:43:02 and devote 20 pages to the RNG 14:43:13 this might theoretically have practical advantages, in that I was vaguely expecting them to ban Pokémon caught with impossible dates in order to exclude the majority of RNG controllers in a way that wasn't clearly impossible to enforce 14:43:25 which will take into account the phase of the moon, the stock market (using the Internet) and its difference from predictions of the stock market, 14:43:37 heh 14:43:38 the day on which Easter falls in that year, ... 14:43:51 this might theoretically have practical advantages, in that I was vaguely expecting them to ban Pokémon caught with impossible dates in order to exclude the majority of RNG controllers in a way that wasn't clearly impossible to enforce 14:43:52 I translated an Easter-finding algorithm from Algol-68 into C once 14:43:56 so that I could actually run it 14:43:59 hmm, you cheated in a way people didn't want you to? :) 14:44:00 how un-ais523 14:44:05 elliott: it was completely legal 14:44:14 well, yes, just against the spirit 14:44:23 someone actually asked the people in charge of the tournament, and said that they didn't like it but couldn't think up a way to ban it, so it was legal 14:44:54 * elliott decides ais523 is Lawful Neutral 14:45:01 in a really insidious way 14:45:15 (OK, Lawful isn't referring to following the letter strictly) 14:45:37 elliott: normally I wouldn't act like that, but it was a world championship qualifier 14:45:40 so I'm going to do the best I can within the rules 14:46:05 "This means that there's a hard 14:46:05 limit of 46 minutes 58 seconds for the run, because at 1am, the game 14:46:05 would become slightly less difficult as undead damage reverted to 14:46:05 normal, so we would no longer be playing at highest difficulty." 14:46:06 :D 14:46:09 you're crazy 14:46:12 elliott: yep. 14:46:18 I agree with that thing you said earlier. 14:46:24 tswett: WELL I DON'T 14:46:55 -!- Vonlebio_ has joined. 14:47:19 a _gnome+? :D 14:47:22 *_gnome_ 14:47:38 Well, then, I don't agree with it either. 14:47:47 wow, that's a good starting inventory, ais523 14:52:20 -!- Sgeo has quit (Ping timeout: 240 seconds). 14:57:52 -!- poiuy_qwert has joined. 15:02:06 -!- poiuy_qwert has quit (Client Quit). 15:04:32 elliott: what? 15:04:40 Vonlebio_: ...what? 15:04:44 Argh, comma pings. 15:04:53 Why are you going on about gnomes? 15:05:05 Why... do you have gnome... on ping. 15:05:11 Vonlebio_: See logs. 15:06:05 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:06:06 Waitwhat 15:07:19 elliott: no mention that lets that make sense in today's logs. 15:07:26 The .txt. 15:10:30 Ah, right. 15:19:28 Vonlebio_: -minecraft 15:22:19 -!- Mathnerd314 has joined. 15:23:11 ~47 minute time limit vs. one WIP (apparently almost the latest I found) being 25 seconds long... I'll check what the final turn number is... 15:25:49 -!- ais523 has quit (Ping timeout: 246 seconds). 15:27:57 Ilari: http://www.youtube.com/watch?v=g-1hk-whXJI is rather longer than 20 seconds 15:30:47 elliott: I found a input movie file dated 2011-01-09. According to emulator's computation of length, it is 24997ms long (rounded down)... 15:31:58 I don't know how up to date it is (I'm checking that now). 15:34:55 -!- elliott has quit (Ping timeout: 240 seconds). 15:35:30 -!- copumpkin has joined. 15:37:18 Conclusion: elliott == copumpkin. 15:37:45 ? 15:38:11 [ Quit ] elliott (~elliott@unaffiliated/elliott): Ping timeout: 240 seconds 15:38:11 [ Join ] copumpkin (~pumpkin@unaffiliated/pumpkingod) 15:38:23 omg 15:38:26 you're right 15:45:27 -!- asiekierka has joined. 15:47:03 -!- ais523 has joined. 15:48:33 how does one get an unaffiliated hostname? 15:48:43 quintopia: by asking in #freenode 15:49:05 just go there, identify to nickserv if you haven't already, and ask for an unaffilated cloak 15:49:11 and wait for one of the Freenode staff to notice 15:49:11 they just hand them out? 15:49:13 yep 15:49:13 nifty 15:49:47 so why do they do that instead of traditional hash cloaking? 15:51:05 I'm not sure 15:51:12 perhaps in case someone bruteforces the hash 15:51:23 no matter how secure the hash, that would be pretty easy due to the limited space in IPv4 15:51:36 -!- elliott has joined. 15:51:44 aha 15:51:46 not to mention, dynamic IPs would hash to completely different strings, thus defeating the point 15:52:33 -!- Sgeo has joined. 15:53:07 -!- nddrylliog has joined. 15:53:07 ais523: hmm, autopickup doesn't waste a turn? 15:53:10 that seems like a bug to me 15:53:23 ohai! 15:53:29 it makes the game go better 15:53:30 ais523: wouldn't that actually make you more secure? 15:53:30 hi nddrylliog 15:53:38 quintopia: well, there's a balance 15:53:44 why does it show that part of the name anyway? 15:53:48 it's so you can ban trolls 15:53:51 ais523: well, then pickups should take 0 turns 15:53:58 elliott: I've been wondering about it 15:54:17 here's another fun one: while blind, : takes 1 turn, m, takes 0 turns if you cancel it and gives basically the same information 15:54:18 ais523: trolls aren't asking for unaffiliated cloaks. and they already benefit from dynamic IP allocation :P 15:54:28 elliott, I've done 1 year worth of research in two days 15:54:32 quintopia: well, dynamic IPs tend to stay within the same block 15:54:40 nddrylliog: that's entirely possible 15:54:46 nddrylliog: wat 15:54:50 were they the first 2 days of the year? or the last 2? 15:55:19 nope, I just have extra wikipedia+paper-reading skillz 15:55:26 0.05 from APNIC today. 15:55:56 I have the feeling that the Curry-Howard correspondence has been *way* under-exploited 15:56:36 nddrylliog: it really hasn't :) 15:56:41 Coq and Agda use it to fullest effect 15:56:56 nddrylliog: you'd like j-invariant. if e was still here. 15:56:56 mmm 15:57:01 Ilari: is that, that APNIC allocated 5% of a /8 today? 15:57:05 yeah.. two, maybe three languages. that's not what I call properly exploited 15:57:07 elliott: he still posts on reddit 15:57:31 copumpkin: hm. last time he got banned from here, he left the internet entirely for months. 15:57:32 seriously, there are only a handful of teams that work on it. that's insane 15:57:37 nddrylliog: I've exploited it in haskell too 15:57:40 :P 15:57:43 elliott: he got banned in here? 15:57:47 elliott: why did he get banned? 15:57:48 I thought he just left cause I'm a twat 15:57:52 nddrylliog: but the teams are really big 15:58:06 ais523: j-invariant = soupdragon = fax = MissPiggy = quantumEd = infinite number of nicknames 15:58:08 = faxathisia 15:58:12 copumpkin: e got banned /months/ ago in 2010 15:58:16 don't forget vixey 15:58:17 copumpkin: and then came back recently 15:58:30 elliott: was the huge number of nicks against some rule? if not, you didn't answer my question 15:58:32 j-invariant was the first one I've come across that actually used a new nickserv 15:58:39 ais523: for spamming "FUCK YOU" in-channel 15:58:41 0.05x/8 that is... So 5%... 15:58:44 elliott: ah 15:58:49 copumpkin, what did you do in haskell regarding curry-howard ? 15:58:55 Ilari: it's not going to last more than a couple of months at that rate 15:59:00 ais523: after Vonlebio_ (Phantom_Hoover) said "You fail at Life", where life there means the /Game/ of Life 15:59:20 it was more a straw-camel-back type situation though, e'd been going a bit crazy before that 15:59:31 3.16x/8 left before phase 3... 15:59:33 nddrylliog: I did some trivial "proofs" (you have to trust that I didn't put any bottoms in) of properties of the naturals 16:00:08 copumpkin, I see. Well proofs are fancy and all but I'm more interested in carrying computations from proofs than the other way around 16:00:11 haskell as a theorem prover 16:00:13 xD 16:00:20 nddrylliog: that doesn't really happen 16:00:26 proofs are usually erased at compilation time 16:00:32 I don't think you could get much useful computation out of them 16:00:40 or if you can, it's likely that they're actually more functions than proofs 16:00:44 just, they happen to prove something too 16:01:17 nddrylliog: does that even make sense? 16:01:28 elliott, well my thinking is that if you 1) express properties 2) hint on how to develop algorithms the compiler should be able to do wonders. But I still have to prove that (with, like, a proof-of-concept, not a proof) 16:01:35 well 16:01:42 I sort of agree with nddrylliog 16:01:42 Vonlebio_, I'm not sure, apparently I'll find out in 9 years 16:01:45 Proofs in a Curry-Howard setup tend to just be some function whose final result is a proposition. 16:01:45 nddrylliog: uh huh :) 16:01:51 nddrylliog: well yes I kind of agree 16:01:55 nddrylliog: but 16:02:08 I'll call my language "kindof" 16:02:13 so, does "kindof" works? 16:02:15 the more invariants you can specify in your inductive types (à la GADT) the easier it is to prove properties about your programs, without writing explicit proofs for most of it, because your algorithms are carrying proofs with them 16:02:17 nddrylliog: the way you talk reminds me more of the overly-optimistic side of visionary :P 16:02:23 a bit like conor's sort algorithm in epigram 16:02:34 that provably sorts the list, but has no real proof in it 16:02:51 well the really optimistic way would be to forget about the "hint" part 16:03:16 the whole challenge is how to express hints that aren't too overly-verbose (otherwise you could just as well go imperative and be done with it) nor too hard on the compiler / too implicit 16:03:30 and I'm only using "compiler" because I have no better term right now and that "proof assistant" gives me chills 16:04:12 nddrylliog: why are you interested in this stuff? 16:05:04 Vonlebio_, well, I've already exhausted the whole Java/C++/C#/whatever object-oriented fraud there is universe by re-implementing mine and being unhappy with it as well. So I'm trying something new 16:05:25 Finally, some option values were chosen 16:05:25 in order to make the game look visually better and to remove 16:05:25 timeconsuming animations: 16:05:29 ais523: visuals? setting that option takes time!!! 16:06:00 nddrylliog: you should get interested in ursala! instant guaranteed obscurity 16:06:06 nddrylliog: my brain cannot cope with that statement. 16:06:26 Vonlebio_, would you like me to rewrite it to normal form? 16:06:29 https://github.com/nddrylliog/fe2/blob/master/array-second.fe2 I demand royalties, nddrylliog. 16:06:33 elliott, is there *any* kind of doc? 16:06:33 I demand endless fucking royalties. 16:06:35 nddrylliog: yes. 16:06:44 elliott, I'll give you candy 16:06:44 nddrylliog: there's a whole book-manual 16:06:49 nddrylliog: http://www.basis.netii.net/ursala/manual.pdf 16:06:53 prepare for insanity! 16:07:00 ais523 is our resident Ursala know-it-all* fan* 16:07:03 *know-it-nothing 16:07:04 *not fan 16:07:19 elliott, 2.6Mb? are you trying to make my mobile subscription explode? 16:07:38 nddrylliog: you're in Switzerland, surely you are rich! 16:07:58 YOUR ARGUMENT IS INFALLIBLE 16:08:03 elliott, I'm also in a train. 16:08:07 they seem to be completely ignoring my request >_> 16:08:11 nddrylliog: what's .ooc? 16:08:21 Vonlebio_: http://ooc-lang.org/ 16:08:24 nddrylliog's regret. 16:08:25 Vonlebio_, I'd rather not talk about it 16:08:26 here, can anyone here think of a remotely sane way of automatically testing Linux kernel-mode keyloggers? 16:08:29 quintopia: ? 16:08:30 Vonlebio_, go ask on #ooc-lang 16:08:45 ais523: give it to someone evil, wait to see if security advisories trickle in 16:08:59 nddrylliog: omg i want to troll them 16:09:07 nddrylliog: "so hey, this nddrylliog guy says ooc sucks, is he right?" 16:09:08 err, assume I have a great number of them, most of which will probably lock up the kernel 16:09:10 can i troll them 16:09:14 elliott, haha, try 16:09:16 ais523: give them to LOTS of evil people 16:09:29 nddrylliog: Fe2 looks very cool, but also very academic (i.e. I don't understand a nugget of it) 16:09:30 elliott: i asked in #freenode for an unaffiliated cloak and the +v's are saying stuff like i never asked... 16:09:43 quintopia: you just have to keep asking every three hours 16:09:51 xD 16:09:59 elliott: That movie is the latest. Ends on turn 426. And as said, the length is bit less than 25 seconds. 16:10:02 elliott: how many tries should i expect it to take? 16:10:07 Ilari: cool 16:10:12 quintopia: 2-3 is typical for #freenode 16:10:56 elliott: The one in youtube is slowed down a lot (to avoid dropping frames). 16:11:03 quintopia: it depends on if any staffers are paying attention 16:11:10 -!- elliott has set topic: DISCUSSION OF GOATS | HTTP://GOAT.ORG/ | NO NON-GOAT-RELATED TALK | http://208.78.103.223/esoteric/ | NO. 16:11:15 RED ALERT 16:11:19 -!- locks has joined. 16:11:28 locks: GOATS 16:11:30 * locks hides beneath the bleachers 16:11:37 O GOD IT HAS STARTED 16:11:45 BATTEN DOWN THE HATCHES 16:11:46 I think you'll handle the influx 16:11:48 err, I don't like that topic 16:11:49 MAN THE LIFEBOATS! 16:11:50 wot? discussion of goatse? 16:11:55 ais523: ssssh! 16:11:57 ais523: nddrylliog mentioned us in #ooc-lang! 16:12:00 it's our only hope! 16:12:03 secure secure secure shell! 16:12:09 it's a REALLY secure shell 16:13:06 -!- ais523 has quit (Read error: Connection reset by peer). 16:13:17 not much is happening so far... 16:13:32 told ya 16:13:33 -!- ais523 has joined. 16:13:44 That level of security must obviously involve X.509 and PKI up the wazoo... No matter if those working with X.509 wouldn't trust it for access control to beer fridge... 16:14:05 apparently they're too boring 16:14:24 -!- elliott has set topic: For the discussion of hiybbprqag and mbzrxpgjys | http://208.78.103.223/esoteric/ | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 16:14:53 -!- nddrylliog has quit (Quit: Ex-Chat). 16:15:05 nddrylliog's nick would not be out of place in the topic 16:15:22 this place bombs 16:15:30 locks: It totally bombs. 16:15:41 locks: http://esolangs.org/ may be enlightening. 16:15:52 nddrylliog is in here because ooc is so bad it counts as an esolang HAHA 16:16:54 don't diss ndd, poor fellow 16:17:37 locks: we love him, it's just that he gets unhappy if we mention ooc 16:17:38 all that regret 16:17:56 Vonlebio_, well, I've already exhausted the whole Java/C++/C#/whatever object-oriented fraud there is universe by re-implementing mine and being unhappy with it as well. So I'm trying something new <-- maybe I'll put that in the #ooc-lang topic 16:17:59 elliott: now I'm trying to figure out just who you're trolling 16:18:01 i wonder if it's +t 16:18:05 ais523: EVERY OOC USER 16:18:09 all 3 of them 16:19:46 ISTR having a pleasant conversation with nddrylliog once, but I can't remember what it was for the life of me. 16:20:17 Vonlebio_: http://i.imgur.com/KEujW.jpg 16:20:23 What you say to becoming invisible and killing everyone? 16:20:23 -!- azaq23 has joined. 16:20:25 hmm, offtopic #esoteric has really shifted 16:20:26 (Sorry, -minecraft ->) 16:20:31 it seems to be all about trolling nowadays 16:20:37 it does? 16:20:57 "all 3 of them", I laughed 16:21:12 elliott: well, more today specifically, than nowadays 16:22:14 elliott: you are a funny bastard 16:22:20 no i'm not 16:22:21 at least so far 16:22:33 hmm, does that mean i have expectations to keep up? 16:22:38 worrying 16:22:51 normally people just accept that I'm irritating and I go about my day 16:23:00 -!- elliott has changed nick to noone. 16:23:06 -!- noone has changed nick to elliott. 16:23:33 ais523: paste your self-uudecoder again? 16:23:57 which version specifically? 16:23:58 the C code that generates it? 16:24:02 You mean uudecoding it produces itself? 16:24:04 no, the actual machine code 16:24:04 the executable that does the encoding? 16:24:10 The eigenstring for uudecoding? 16:24:14 Vonlebio_: no, it's a printable x86 executable 16:24:17 that uudecodes things 16:24:20 I'm not sure why it's self- 16:24:20 the executable that prints out the C code that does the encoding? 16:24:26 elliott: it doesn't uudecode 16:24:31 ais523: I just want the thing that's x86 machine code. :p 16:24:33 And printable. 16:24:42 We need to find eigenvalues for EVERYTHING. 16:24:44 it's basically a program that generates printable executables that print arbitrary binary 16:25:09 ais523: an executable that prints the C code, then 16:26:42 XP_W^VH%35%DCPYXPH%=5%=CP[]UM#(UX%??t&* * * * ZR 1() !GFF=\ouU0_0<0^3L1L0^292L1^1Q1L2Y1D1\3R3P0A3B2D0<1p3p3o11131p3>2D0<3:0<18253<2:170D021p3D0>0A0D0<183<3:1:1D0432041p24143o031p2D0p331o0A2D0B2A3I1J2I1J2D321124310o13031D0=0p3o0302113A220=2I1J2I1J22112o0D011412112B02112o0D042A0D0432041p2B2B2D0o2B1I1J2n3I1J2p231o0o1p212D0B042=0?0B1B2B042B242A142B1B2B042A1@2B1=342B3@1m0m032p0o1o0p3B0D2<2@090@061@1;0@15050@382@380@0D2A0B0o2132130B2B1@263o251B1A042A1@ 16:26:44 3=342B3@3=3I1J2B0B2B02112o0B2B1B2o2=1323331o043B0B0o2132130B2B1@163o251B1B1A1;193;2=311412112B011412112B0A1@3A0o2B1A0o2B1>2@1>2A132p0p22112o032B0B0o2132130B2B1@263o251A0I1J2D2C143C143D2A0C380C3B3C3=0C3A1B2B02112o0B2B1B2o2A3?0A1B0B2B02112o0B2B1B2o2=0C3p0C3B1B2C3<0C3A0C3@0C3B3B2B02112o0B2B1B2o2C1?0B1>2D1B0B0@163o251=1B0o2132130I1J2B2B13213p03112B0B0o2132130B2B1@163o251A0D2p242D2B1B1C2C2B0@263o251=1B0o2132130B2B13213p03112B0B0o2132130B2B1@ 16:26:46 263o251A0D2o3B342D2B1B1C2C2@2@2B332p0o1o0p3B0I1J2D2608053735272:0C1@3?1C1;0<380616080:0C1=1?1C1=1<38063517191D3B07160C1=350=3o0C2B2D0B2D0B2D0B2D06282D0@1B0B1D0D1;3;2;2=1505013o171@053@0=0@052@390@1D2I1J2D290@052@2>1@290@152@1D2A0B0o2132130B2B1@263o251B1C2C211412112B0A1@1A0o2B1C2C232p0o1o0p3B0D2<0<0<1?1D2A0B0o2132130B2B1@263o251B1C2C2B0C3m2C3B332p3313123B0I1J2B0o2132130B2B1@263o251A0>0@1A0@0B1A0@ 16:26:47 1B1C2C2B0B0B2B02112o0B2B1B2o2=132o0311010B0B0o2132130B2B1@163o251B1C1@2?1?2B1A011412112B0A1@3A0o2B1A0B0B2B02112o0B2B1I1J2B2o2=132o0311010B0B0o2132130B2B1@163o251B1A3?0A3?2?0B1A011412112B0A1@3A0o2B1A032431013p331B0B0o2132130B2B1@163o251B1A032431013p331B0B0o2132130B2B1@263o251I1J2B1B2@0B1B1>2@1>3I1J2m1I1J2@@A5 16:26:56 (there is no whitespace past the end of the first line) 16:27:01 did all four lines arrive? 16:27:11 ais523: yikes, don't you have something shorter? 16:27:16 I mean the one that ended with "AIS" 16:27:18 let me get a hello world 16:27:21 and they all end @@A5 16:27:25 where A5 are my initials 16:27:48 XP_W^VH%35%DCPYXPH%=5%=CP[]UM#(UX%??t&* * * * ZR 1() !GFF=\ouU0_0<0^3L1L0^292L1^1I2L0Y1D1\3R3P0:031101013A0D0o313p21030D1J2@@A 16:27:50 there, that's a hello world 16:28:04 although I think it ends with a UNIX newline 16:28:15 yep, it does 16:28:45 ais523: you forgot the last 5 16:28:50 err, yes, copy/paste fail 16:28:59 ais523: works as a COM, right? 16:29:01 not that it actually matters 16:29:03 and yes, .com 16:29:18 ais523: does the newline matter? 16:29:29 the A5 at the end is to cause the loading to fail noisily rather than silently if there's enough space to load the executable, but not enough stack space to run it 16:29:38 which only happens if your memory below 640K is almost exhausted 16:29:42 haha 16:29:45 ais523: does the newline matter, though? 16:29:48 and probably not, but it feels weird printing a UNIX newline on a DOS system 16:30:32 -!- nddrylliog has joined. 16:30:47 -!- nddrylliog has quit (Read error: Connection reset by peer). 16:30:50 ais523: did you actually assemble that, or? 16:30:58 XP_W^VH%35%DCPYXPH%=5%=CP[]UM#(UX%??t&* * * * ZR 1() !GFF=\ouU0_0<0^3L1L0^292L1^1I3L0Y1D1\3R3P0:031101013A0D0o313p21030D1I1J2@@A5 16:31:00 there, that's better 16:31:04 Vonlebio_: no, I wrote the machine code by hand 16:31:21 it turns out that there aren't any control flow instructions made entirely out of printable characters 16:31:32 so instead, you have to construct them at runtime using instructions that are 16:31:57 ais523: wait, is that second one functioning? 16:32:05 Vonlebio_: ? 16:32:07 it works in DOSBox, IIRC 16:32:15 Wow. 16:32:27 If you're interested in Eigenratios, this blog is pretty interesting http://eigenratios.blogspot.com 16:32:27 it doesn't work on wineconsole, though 16:32:50 -!- nddrylliog has joined. 16:32:56 it also exploits a few features of DOS which were there for backwards compatibility even in DOS 1 16:33:07 and are incredibly obsolete nowadays, but preserved just in case anyone still cares about them 16:33:19 backwards compatibility in DOS 1? O_o 16:33:41 in particular, it misinterprets the CP/M compatibility return address as a character in order to initialise registers 16:33:59 the very first instruction, the X, is actually a pop instruction 16:34:34 impomatic: very unupdated though 16:35:12 and then the P is a push that puts the 0 back onto the stack so I can use it for other things 16:35:22 hmm, I should disassemble that sometime, although the disassembly goes crazy after a while 16:36:26 nddrylliog: There's quite a few oddities in DOS because of its odd history... 16:36:49 pikhq: btw, which DOS are we talking about? There was a few different flavours, IIRC 16:37:23 I used the MS-DOS 3 manual to write suuda, although I wouldn't be be surprised if it worked on other DOS flavours too 16:37:24 MS-DOS and related OSes.\ 16:37:43 (yes, MS-DOS 3 was massively obsolete when I wrote it) 16:38:02 MS-DOS 1 didn't even have directories 16:38:16 ais523: Yeah, but MS-DOS 3 had pretty much all the features that you'd care about. 16:38:47 ais523: And it ought to be compatible with everything that you'd find called "DOS"... 16:42:38 IIRC, \ and / are both valid path seperators on DOS. 16:42:46 As a *UNIX* "compatibility" feature. 16:44:19 -!- Slereah has quit (Ping timeout: 276 seconds). 16:47:19 -!- augur has joined. 16:49:24 -!- Slereah has joined. 16:50:33 ais523: I care... Obsolete stuff needs to be preserved :-) 16:50:54 there probably is a "your mom" joke hiding in there 16:51:00 impomatic: about what? 16:51:06 oh, those features in DOS 16:51:10 well, I care too, because I used them 16:51:25 hmm, I wonder if nowadays, CP/M executables /still/ run correctly in NTVDM? 16:52:14 ais523: meanwhile, in #ooc-lang, somebody is arguing that you can store Chaitin's constant in a number variable, "with enough laziness" 16:52:20 -!- Vonlebio_ has quit (Quit: Page closed). 16:52:27 nddrylliog why don't you like disown these people and go on a pilgrimage ... a pilgrimage of fire 16:52:33 elliott: it's even worse than merely stupid to ask a linguist those questions 16:52:42 augur: it's RACISM 16:52:54 elliott: heh, that's hilarious; it'd work up to a point, and I'm not even sure it's decidable where that point is 16:53:00 wandernauta: I suggest you look up "computable number" on WP. 16:53:00 WordPress? 16:53:05 if we expect humans to have any sort of insight into their language, we expect only native speakers to have such insights 16:53:07 goddamn nddrylliog, don't you have ops in this thing so you can ban everyone :( 16:53:10 oh wait locks is in here 16:53:15 HEY OERJAN WE NEED BANS 16:53:15 ais523: about CP/M compatible file i/o. 16:53:17 :D 16:53:25 so, let's recap 1) I'm not responsible of whatever is on ooc-lang.org 2) I'm not responsible of whoever is on #ooc-lang 3) I'm not responsible. EOL 16:53:37 almost by necessity, since the object of study in linguistics is naturally acquired language 16:53:54 nddrylliog: then who do i blame :( 16:53:55 god? 16:54:28 elliott: ask your mirror 16:54:28 blame yourself, fool 16:54:42 hey I _erase_ stupidity from this world. with knives. 16:54:46 :} 16:54:50 everytime I come back to IRC, I wonder why I left 16:54:55 then eventually I remember 16:54:57 now I remember 16:55:05 nddrylliog: don't worry 16:55:07 we're all nice in here 16:55:12 just stay here, forever 16:55:24 elliott: are you kidding? you're horrible, horrible people. That's why I feel at home here. 16:55:35 `addquote elliott: are you kidding? you're horrible, horrible people. That's why I feel at home here. 16:55:40 dammit 16:55:42 to be fair, some of us are more horrible than others 16:55:47 285) elliott: are you kidding? you're horrible, horrible people. That's why I feel at home here. 16:55:55 we're really nice horrible people 16:56:01 I already have several quotes in there 16:56:04 best way to erase stupidity is to educate 16:56:05 how do you search? 16:56:18 well, up to a certain point. then it's time for knives 16:56:39 educating people is hard. they say stupid things and it hurts. 16:56:43 nddrylliog: `quote foo 16:56:48 searches with spaces don't work because i don't know why 16:56:56 nddrylliog: `pastequotes foo links you to all the results for that 16:57:01 i wrote this system, it's totally expert. 16:57:02 elliott: probably screwed up your shell escaping 16:57:05 `quote elliott 16:57:06 208) elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. \ 211) elliott: it's hard to debug havoc on your mirror if you accidentally hit r, then a character could be multiple words long, depending on the task. \ 220) elliott: My university has 16:57:13 ais523: i didn't 16:57:15 `url bin/quote 16:57:16 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/quote 16:57:17 `quote nddrylliog 16:57:19 276) are you always careful to have a small enough margin so that it can't contain the proof? nddrylliog: i usually use latex, and make sure my hd is almost full \ 277) I went to chat with him after his talk at the ELC and he was like "hum, right - humans. How do they work again... oh, hi!" \ 278) 16:57:21 ais523: see for yourself 16:57:31 ais523: note that in hackego, $1 contains the whole argument line 16:57:43 `pastequotes nddrylliog 16:57:43 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21628 16:58:02 he doesn't know what rationals are :( 16:58:28 oh, the "heavy liquor" one is good. 16:58:39 unfortunately 277 lacks context :/ I was talking about Walter Bright 16:58:46 nddrylliog: we just remember context 16:58:51 it's easier than stuffing it all into one irc line :P 16:58:59 I probably should have put [on Walter Bright] before, though 16:59:06 elliott: can you edit? 16:59:11 nddrylliog: well technically yes. 16:59:16 elliott: will you edit? 16:59:16 `run grep humans. quotes 16:59:18 I went to chat with him after his talk at the ELC and he was like "hum, right - humans. How do they work again... oh, hi!" 16:59:26 who's walter bright and why is he so bright 16:59:39 locks: he's to D what I'm to ooc 16:59:40 locks: guilty 16:59:45 nddrylliog: [about Walter Bright] or [on Walter Bright] 16:59:56 elliott: I prefer "on", it can be mis-interpreted 17:00:00 `run sed -i 's/\(.*humans\..*\)/[on Walter Bright] \1/' quotes 17:00:00 on 17:00:03 No output. 17:00:03 `quote 277 17:00:04 277) [on Walter Bright] I went to chat with him after his talk at the ELC and he was like "hum, right - humans. How do they work again... oh, hi!" 17:00:09 you're welcome 17:00:10 EXPERT SED 17:00:12 elliott: thanks a lot 17:00:16 `addquote who's walter bright and why is he so bright locks: he's to D what I'm to ooc locks: guilty 17:00:17 286) who's walter bright and why is he so bright locks: he's to D what I'm to ooc locks: guilty 17:00:20 elliott: also, subtitle "ELC" as "Emerging Languages Conference" 17:00:25 nddrylliog: no, fuck you 17:00:28 :D 17:00:32 elliott: \o/ 17:00:32 | 17:00:32 /`\ 17:00:37 maybe we need a substring-based annotation system 17:00:38 and comments 17:00:42 and folksonomic tags 17:00:49 coded in Ruby 17:00:53 for hipsters 17:00:54 why Ruby? 17:00:58 working only on OS X 17:00:58 for hipsters 17:00:58 I should stopwait wtf @ myndzi 17:01:00 ag 17:01:01 *ah 17:01:09 ais523: because it /was/ hip, but then it wasn't 17:01:09 RUBY IS AWESOME SUKER 17:01:10 myndzi is tabbig wrong :/ 17:01:13 now it's hip again, because it's retro 17:01:14 \o 17:01:15 \o/ 17:01:15 | 17:01:15 >\ 17:01:17 nddrylliog: it's for mirc users 17:01:18 \o 17:01:21 ,o, 17:01:24 \m/ 17:01:26 grr 17:01:26 what \o/ 17:01:26 | 17:01:26 |\ 17:01:28 i forget what triggers it 17:01:31 \o/ 17:01:31 | 17:01:31 >\ 17:01:32 nddrylliog: they fail at spaces 17:01:35 \o/\o/\o/ 17:01:35 | | | 17:01:35 /´\ >\/| 17:01:36 I thiought /o/ triggered it too 17:01:36 | 17:01:36 /| 17:01:36 yeah. 17:01:39 oooh 17:01:43 myndzi sucks 17:01:43 /o/ \o/ \o\ 17:01:43 ¦ ¦ | 17:01:43 ´¸¨ ´¸¨ >\ 17:01:44 let's try this again /o/ 17:01:44 | 17:01:44 /| 17:01:47 augh. 17:01:50 i use a proportional font :D 17:01:50 I'M GONAN /o/ OUT OF HERE 17:01:50 | 17:01:51 |\ 17:01:56 elliott: so do I 17:02:05 IRC has no inherent reason to line up in columns 17:05:24 Just tradition. 17:05:35 -!- Phantom_Hoover has joined. 17:06:20 Phantom_Hoover: you here? 17:06:39 nddrylliog: you here? 17:07:07 elliott: let's talk about hiybbprqag. 17:07:41 yes. 17:07:41 very. 17:07:52 about what? 17:08:05 I prefer mbzrxpgjys myself. 17:08:12 locks: we could talk about mbzrxpgjys if you prefer 17:08:28 both, at the same time 17:08:53 ijoijioj 17:09:22 quintopia, get out of here, you pervert. 17:09:37 qwljqw 17:09:41 pedohiybbprqag. 17:09:45 that sounds dirty 17:10:13 Phantom_Hoover: ssadasdsn!!! 17:10:38 Pedo hi! Why BB... prqag? 17:11:20 you could have done something more interesting with the prqag. poor qag :( 17:11:20 *public relation gag. 17:12:03 * pikhq likes having a "fuck it's cold" day. 17:12:13 Should have had one yesterday, but oh well.. 17:14:14 I don't get it. Are you speaking some kind of esoteric human language? 17:14:52 CLEARLY 17:15:42 motirontà'tehàyo! 17:15:44 -!- addyf3 has joined. 17:15:55 my name is iniguo montoya 17:15:57 you've killed my father 17:15:59 prepare to die 17:16:04 Oooo 17:16:07 addyf3: c 17:16:09 nddrylliog: ouch, you screwed up that quote badly 17:16:12 -!- quintopia has quit (Changing host). 17:16:12 -!- quintopia has joined. 17:16:17 burn the witch 17:16:18 ais523: bahh. my cloudy brain doesn't care 17:16:23 quintopia: TADA 17:16:27 -!- addyf3 has left (?). 17:16:28 * quintopia has quit (Changing host) 17:16:28 * quintopia (~quintopia@unaffiliated/quintopia) has joined #esoteric 17:16:36 okay, it's inigo, not iniguo 17:16:38 My name is Inigo Montoya. You killed my father. Prepare to die. 17:16:38 yay, someone useful appeared! 17:16:41 nddrylliog: you scared addyf3 away quickly! 17:16:43 and it's you, not you'ved. 17:16:44 (i had to ask again) 17:16:53 7yaukdjlflsd/fadsf 17:17:16 nddrylliog: Well, yes. Given that he is exacting revenge *decades* later... 17:17:30 jgs v fgvyy qba'g trg vg :-( 17:17:47 pikhq: well, regardless, I didn't say *you've _just_ killed my father*. 17:17:56 pikhq: ssddfdfwew3 17:18:04 nddrylliog: "You've killed my father" kinda suggests that it just happened. 17:18:13 oh Inigo Montoya isn't the protagonist? maybe i should actually watch the films :D 17:18:23 elliott: s/films/film/ 17:18:23 oh wait 17:18:24 wtf 17:18:24 he is A protagonist 17:18:25 all this time 17:18:27 elliott: Or read the book. 17:18:29 there are several 17:18:32 i thought Inigo Montoya was from Kill Bill ... I swear to god 17:18:35 now i'm really confused 17:18:39 lol i'm not kidding 17:18:41 how did i even 17:18:41 elliott: The Princess Bride. 17:18:44 .......... 17:18:47 Princess Bride FAIL you are terrible person 17:18:48 ok i'm gonna crawl up into a hole now and wonder what happened to my life 17:18:49 elliott: It is one of the best movies ever. 17:18:52 elliott: Watch it now. 17:18:52 i know, i'm just 17:18:54 how did i 17:18:58 -> 17:18:58 -!- elliott has left (?). 17:19:04 good boy 17:19:29 I want a "My name is Inigo Montoya" t-shirt 17:19:45 I want to remember where I put my copy of that book. 17:19:47 The Princess Bride is famous for all sorts of things 17:19:48 i went into #irssi and was like "are there any experts here?" and they're all "ask your real question" and i'm like "here's my real question:" and they're all "" 17:20:04 i'm gonna take that as a no, no experts today 17:20:14 lmao 17:20:30 is everyone in here a bitch? 17:20:38 ask your real question, locks 17:20:44 locks: I doubt there's any female dogs on IRC. 17:21:01 there are on twitter 17:21:04 Phantom_Hoover: nothing if you're not an idiot. i do it all the time. 17:21:11 i thought Inigo Montoya was from Kill Bill ... I swear to god ← CURL UP IN A HOLE AND DIE 17:21:29 pikhq: is your copy the one with red/black text? 17:21:31 -!- elliott has joined. 17:21:34 have you all forgotten yet 17:21:40 impomatic: I don't think so. 17:21:45 oh that kid who didn't know where inigo montoya was from is back 17:21:48 -!- elliott has left (?). 17:22:10 -!- locks has left (?). 17:25:50 -!- elliott has joined. 17:25:55 -!- elliott has left (?). 17:28:54 Hmm... A graph predicting APNIC exhaustion end-May... Then RIPE in end-August and ARIN in end-September... 17:31:57 ARIN's more likely than the others to get /8s handed back to it, I think 17:32:07 when's the press conference happening? 17:32:28 Tomorrow at ? 17:33:26 where ? is a metasyntactic variable, rather than a punctuation mark? 17:34:12 AFAIK, 1430Z or something like that... 17:34:28 ais523: Yes. 17:35:02 hmm, at least there's /no way/ IPv4 will last out until 20123 17:35:04 *2102 17:35:05 *2012 17:35:21 and thus, won't lead to the end of the world 17:35:57 This graph would show depletion of 3 of 5 RIRs before this year is over... 17:36:11 Ilari: That's crazy. 17:37:21 AfriNIC will likely start depleting a lot faster when people who need IPv4s get a colo in Africa just so they can get at them 17:39:36 Also, LACNIC... LACNIC also includes the caribean (which should have better connectivity than Africa...) 17:40:49 -!- elliott has joined. 17:40:57 ais523: please tell me the TAS run will end up killing Ischak 17:41:04 hmm, is that how you spell it? 17:41:15 "Izchak", and we never meet him 17:41:17 *Izchak 17:41:22 ais523: how far along are you? 17:41:23 he's in an optional part of the game, and we have no reason to go there 17:41:26 Hmm... Do requests for