00:10:06 -!- jcp has joined. 00:14:34 in ruby, "test".succ.succ.succ (or whatever the term is in ruby; next? whatever) would be tesw 00:16:47 !haskell instance Enum String where succ s = init s ++ [succ (last s)]; main = print . succ . succ . succ $ "test" 00:16:59 grmbl 00:17:12 !haskell instance Enum String where {succ s = init s ++ [succ (last s)]}; main = print . succ . succ . succ $ "test" 00:17:51 !haskell {-# LANGUAGE TypeSynonymInstances #-}instance Enum String where {succ s = init s ++ [succ (last s)]}; main = print . succ . succ . succ $ "test" 00:18:44 *sigh* i guess there is no way to turn off warnings about undefined methods without defining them all :( 00:19:30 !haskell {-# LANGUAGE TypeSynonymInstances #-}instance Enum String where {succ s = init s ++ [succ (last s)]; fromEnum = undefined; toEnum = undefined}; main = print . succ . succ . succ $ "test" 00:19:33 "tesw" 00:23:41 succ ['a','b',succ maxBound] 00:23:44 you need wrapping son 00:24:15 i'd think that should give a carry, actually 00:25:00 What does succ a_list supposed to mean? 00:25:19 Grammar fail 00:25:50 Sgeo_: i think version strings is one of the intended cases 00:26:00 *use cases 00:26:35 ruby may do something more complicated than just looking at the last character for all i know 00:27:00 like, what is "test9".succ ? 00:27:35 I think tryruby.com has a ruby interpreter 00:27:42 Or some similar URL 00:27:55 no, that's why's 00:27:58 and why killed himself 00:28:07 alise, WHAT? 00:28:16 Sgeo_: person-behind why killed the-persona why. 00:28:22 Oh, ok 00:28:23 (deleted all online accounts, code and websites) 00:28:36 hm 00:28:46 Sgeo_: i don't find it any less sad, it's not like person-behind-why will be exactly like why, a lot of it will be an act of sorts - or at least a costume 00:28:52 and we'll never contact them anyway 00:28:54 irb(main):001:0> "test9".succ 00:28:54 => "tesu0" 00:28:57 tesu tesu tesu 00:29:20 alise, but it means the person isn't dead. 00:29:39 ;_; 00:29:48 Although it is upsetting that we'll never speak to Why again, probably [and even that isn't definite, unlike RL death] 00:29:51 it's so useless being ill because even though i'm not at school I can't work on my own stuff 00:30:03 MissPiggy: just lie in bed and chill 00:30:10 Sgeo_: he's not coming back 00:30:11 MissPiggy, severely ill, or known-to-be-temporarily-ill? 00:30:23 alise, how do we know this? 00:30:24 and, do you care about some random person dying that you don't know? don't lie, you don't 00:30:30 the sad event is that persona why is gone 00:30:39 just a bit ill 00:30:42 Sgeo_: well, the probability is almost 0 00:30:54 he completely wiped out everything, he had been a bit pessimistic about programming on his twitter just before 00:31:01 and it was an /utter/ wipeout of EVERYTHING 00:31:04 MissPiggy: famous last words 00:31:11 * oerjan whistles innocently 00:31:33 It's a little bit of cancer. 00:31:34 alise, what's that "a bit pessimistic" 00:31:35 ? 00:31:39 would love to read what it was 00:32:23 MissPiggy: wasn't much interesting "blah blah programming is ephemeral the only things that truly survive are games; people will do anything to keep games running; if you want your stuff to last make it a game" which seems... false, but whatever 00:32:43 which means esolangs will outlive all other languages 00:32:44 later 00:32:46 -!- cpressey has left (?). 00:33:12 alise huh. well i guess it's lost forever/ 00:33:12 ? 00:33:32 not quite 00:33:41 There are games, good games, that don't survive 00:34:14 can't find it. but there is a mirror of most stuff 00:34:15 Although that's mostly online games 00:34:26 http://github.com/whymirror is code, can't remember where the writing stuff is 00:35:22 HE LOOKS LIKE JACK BLACK 00:35:40 he does 00:37:17 wugh 00:37:24 zed shaws opinions can fuck off 00:38:11 yeah he's a dick 00:38:18 -!- dev_squid has quit (Ping timeout: 265 seconds). 00:42:34 -!- Azstal has joined. 00:42:42 -!- Asztal has quit (Ping timeout: 268 seconds). 00:48:41 MissPiggy: join #usys :| 00:49:03 -!- Azstal has quit (Quit: .). 00:50:59 -!- jcp has changed nick to devmarlen. 00:51:23 -!- devmarlen has quit (Changing host). 00:51:23 -!- devmarlen has joined. 00:52:01 -!- devmarlen has quit (Changing host). 00:52:01 -!- devmarlen has joined. 00:52:39 -!- devmarlen has changed nick to multimarlen. 00:52:51 -!- multimarlen has quit (Changing host). 00:52:51 -!- multimarlen has joined. 00:53:21 -!- multimarlen has quit (Changing host). 00:53:22 -!- multimarlen has joined. 00:53:26 -!- multimarlen has changed nick to jcp. 00:57:02 http://www.stationv3.com/d/20080319.html 00:58:29 :D 00:59:10 http://www.stationv3.com/d/20080322.html 00:59:15 he stole my alternative universe syntax :( 00:59:16 (almost) 01:00:06 straight men are so unreliable 01:00:13 ^ 01:01:26 ... 01:04:42 -!- augur has changed nick to OriginalSyntax. 01:05:33 OriginalSyntax: I can't decide if that nick is clever and hilarious or just stupid. 01:05:46 someone in ##proggit is OriginalSyn 01:05:49 so i figured 01:05:51 lets up the ante 01:05:54 -!- OriginalSyntax has changed nick to augur. 01:06:10 See, now OriginalSyn is clever and hilarious. 01:06:18 Because it's meaningful in both senses. 01:06:32 (If not a particularly useful meaning) 01:06:40 hows it meaningful in both senses? 01:06:41 hello 01:06:44 i find all this Syn a little taxing 01:07:37 augur: In a TCP session, there will be a first (and so "original") SYN. 01:08:07 i see! 01:08:40 I have to go now. I may or may not be on tomorrow; if not, probably tomorrow; if not, probably the next day... otherwise on the weekend, maybe, or even later depending. 01:08:42 But probably not never. 01:08:43 Bye! 01:08:45 -!- alise has quit (Quit: alise). 01:16:29 -!- dev_squid has joined. 01:34:16 Egobot's o'er here. 01:35:11 Uhhh, yes? 01:35:22 !c printf("Isn't 'e?"); 01:35:27 Isn't 'e? 01:36:13 EgoBot is just a bot anyway :P 01:39:48 http://filmdrunk.uproxx.com/2010/03/forgotten-classics-white-dog-the-racist-dog 01:39:51 i have no words 01:40:29 そう。 01:40:48 esu 01:41:10 MissPiggy: もっとです? 01:42:49 -!- adu has joined. 01:49:15 I think APL should be considered an esoteric language. At first, that's what I thought it was. 01:49:30 ok 01:49:31 What paradigm does APL use anyway? 01:49:36 array programming 01:49:39 vector programming 01:49:41 Thought so. 01:49:44 Like Lisp? 01:49:50 you can do it in lisp 01:50:17 I never got around to learning Lisp, but it looks hella fun. 01:50:42 Structurally, I think the language is genious. 01:50:48 you should learn it 01:51:32 I should! 01:51:36 That's my next project. :) 01:51:42 good D 01:52:12 Is it practical for software development? 01:54:02 I suggest Haskell. 01:54:03 its tits 01:54:18 You will then realise that Haskell is fairly mundane. :P 01:54:21 Erm. 01:54:23 Lisp. 01:54:28 *Lisp* is fairly mundane. 01:54:28 haskell is tits 01:54:34 Farking thinkos. 01:59:00 pikhq: lisp is genius 01:59:17 Haskell is mundane comparatively 01:59:32 Haskell is a very different sort of genius 01:59:41 No, Haskell isn't genius at all 01:59:47 It plays off of the work of previous languages 01:59:53 namely Miranda and SML 02:00:07 It's like saying that I'm a genius if I write E=mc^2 02:00:22 SML gets my genius points 02:00:45 haskell is difficult enough that most people who learn it think it's god 02:00:57 And what MissPiggy said 02:06:58 Originality and genius are not necessarily connected 02:08:22 the tits, or just tits? 02:08:23 In this case they're the same 02:08:46 But I appreciate your insight coppro :) 02:09:07 Quadrescence: in Lisp's case, I completely agree; it was both genius and original 02:09:10 haskell is obviously standing on the shoulders of giants 02:09:15 right 02:09:38 you mean both genius and unreadable 02:09:51 lament: It's very readable 02:10:03 Admittedly, it's more acquired though 02:10:13 It's not like python where lol N E 1 CAN REED 02:10:19 NO LEARNING REQUIRED 02:10:26 Quadrescence: if you're repeatedly fucked in the eye socket for years, eventually you learn to tolerate it 02:10:47 !haskell (.)(.) (++) "What" (' ':) "tits?" 02:10:49 "What tits?" 02:10:49 lisp pisses me off more than chardonnay 02:10:54 and chardonnay fucking pisses me off 02:11:02 lament: No, honestly, if it's properly indented, it's not bad 02:11:08 Also I mean lisps in general, NOT common lisp 02:11:20 For the language implementer it's great, the end user just hands you an AST :P 02:11:23 Common lisp is a mess 02:12:16 Quadrescence: i don't believe you. I looked at Scheme code. I can certainly see that it gets better with practice, but so does everything else, and Lisp after X time spent on practice will still be less pleasant than non-Lisp after X time 02:12:35 humans work in a certain way which is very much the opposite of what Lisp tries to do. 02:12:49 Even if non-lisp is, in particular, Brainfuck? 02:12:59 Gregor: be practical jeez 02:13:03 :P 02:13:51 lament: I know what you're saying. I guess I should put it this way: lisp syntax is perfectly suitable for the style of programming it promotes, and trying to replicate this style in other languages would be impossible without sexps 02:14:39 Quadrescence: duh, obviously. To me this just says the whole style is crap. 02:15:04 alan perlis, etc. 02:15:12 I prefer Haskell syntax. It actively rewards those who learn it. 02:15:20 pikhq: with tits. 02:15:26 lamentits 02:15:32 lament: Heheh. 02:15:56 lament: I think it needs some work. But the style is remarkable. The point is that you can make your own syntax constructs at any time. Programs writing programs writing programs, data is code, etc etc 02:16:06 MissPiggy: I apologize if my obsession with tits offends you. 02:16:15 Quadrescence: Plof does it better. 02:16:18 :P 02:16:24 Quadrescence: yeah, it sounds great especially when you just learn about it :D 02:16:30 pikhq: I knew you were going to say that :P 02:16:35 HOLY SHIT MIND BLOWN 02:16:38 kind of thing 02:16:39 Gregor: Is true, though. 02:16:45 But of course! 02:17:10 Granted, Plof doesn't have the backing of tons of crazy compilation research to make it efficient. 02:17:12 Quadrescence: although forth blew my mind more than lisp, even though i learned lisp first 02:17:25 Really? Weird 02:17:51 lament: The entire compiler setup *is* mind-blowing, yeah. 02:18:04 Forth compilers are really neat, tru dat 02:18:07 Quadrescence: prolly because lisp is still a language 02:18:09 lament forth blew my mind too "How can ANYONE program in this" 02:18:13 Especially when you realise how bloody *simple* it is to do, even in assembly. 02:18:23 forth is an environment or something 02:18:33 MissPiggy: Same way they do in any other language: abstraction. 02:18:36 abstraction-creating environment 02:18:47 bare metal, drunk with power, etc 02:18:51 tits 02:18:59 obligatory http://i.imgur.com/k9YEP.jpg 02:19:04 Forth makes abstraction cheap. 02:19:20 yes exactly 02:19:22 If you're willing to make the abstraction, of course. 02:19:23 -!- FireFly has quit (Quit: Leaving). 02:19:24 that picture says all really 02:20:00 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 02:20:16 FORTRAN makes abstraction cheap L O L 02:20:41 I do wish I could have made Plof taste a bit more like Forth in some ways. 02:20:45 Not too much though. 02:20:53 Sort of a "Forth with syntax" would be nice :P 02:21:05 (Except not) 02:21:16 Gregor: Well, you did get part of the way there already. 02:21:36 Gregor: i don't know anything about plawf plz link me 02:21:41 Still, there is rather a lot of work going into the PUL, compared with Forth. 02:21:44 http://plof.codu.org/ 02:21:47 Quadrescence: http://plof.codu.org 02:23:16 this LaTeX for the standard needs some work 02:23:17 ^______________^ 02:23:44 Yes, it does, it was nastily converted from OpenOffice at some point :P 02:24:16 Besides, it changes too often for me to focus on the spec rather than the actual design. 02:24:19 lament is a latexpert 02:24:28 I've been too lazy to do it right. 02:24:35 * pikhq <3 \latex 02:24:54 Amazingly, the LaTeX still looks somewhat good 02:25:25 coppro: actually it looks pretty bad but whatever :( 02:25:56 Quadrescence: it's bad for LaTeX 02:26:06 period, end of story 02:26:16 Which is still better than everything else. :P 02:26:25 but LaTeX starts on top of the heap 02:26:40 So... 02:26:48 I converted it to LaTeX to have room to expand upwards in quality, I just haven't really done that yet :P 02:26:50 Just because you're better than the entire retarded population, doesn't mean you're good 02:26:51 :) 02:27:22 Gregor: Oh, please don't take my comments about the latex negatively. I realize it can get better. I am just saying it's mediocre at the moment 02:27:24 -!- supperrfreek has joined. 02:27:29 Maybe I'll be so nice and make the latex beautiful 02:27:47 Quadrescence: I realize it is, I just don't care that much because my focus isn't the code of the spec, it's the language itself :P 02:28:07 I guess I care but that's just because I'm weird and like typography 02:29:34 Anyway, I would appreciate comments on Plof the language more than comments on Plof's specification :P 02:29:36 Most of us do -- note that we learn LaTeX. 02:29:42 :P 02:30:06 Gregor: Maybe I'll go through the spec thoroughly. 02:30:19 I have been known to be an expert in language design and implementation. 02:30:24 -!- supperrfreek has left (?). 02:33:34 * Sgeo_ is an expert at giving up because no one else cares. 02:33:41 He's a supper freak, supper freak, he's supper freaky. 02:34:05 Sgeo_: Hoot. 02:37:36 http://www.stationv3.com/d/20090313.html 02:40:02 Does Station V3 run on Unix V3? 02:41:44 If Unix V3 is obsolete junk made by incompetents that tends to cause the generator to fail and the security system to grab everyone and throw them out, probably 02:50:51 -!- MissPiggy has quit (Quit: Lost terminal). 02:56:19 "Today's guest strip is from my left hand" 03:19:17 -!- dev_squid has quit (Ping timeout: 246 seconds). 03:38:29 -!- dev_squid has joined. 03:44:07 * Sgeo_ still can't get used to Neap and Morty talking. 03:46:18 (Neap and Morty being Sgeo_'s pet gerbils) 03:46:29 lol 03:55:32 -!- coppro has quit (Read error: Connection reset by peer). 03:55:51 * Sgeo_ wants to see Floyd's body again 03:58:21 -!- coppro has joined. 03:58:29 wb 04:14:44 (Floyd being Sgeo_'s on-again-off-again gay lover) 04:15:17 Floyd being the robot in http://www.stationv3.com/d/20091202.html 04:16:01 * oerjan sees no contradiction in those two statements 04:16:26 oerjan: Sgeo_ was just further clarifying. 04:16:41 ah. 04:37:31 Sgeo_: Floyd died? 04:37:44 No 04:37:49 He's just bodyless 04:38:06 Whew. I was hoping this would actually make sense. 04:38:10 Although the universe did end. 04:38:19 Yeah, I kinda remember that, slightly. 04:38:27 I saw the most recent strip recently. 04:38:38 Hmm. I suddenly want to reread El Goonish Shive. 04:38:44 * Sgeo_ is now in February of this year 04:38:45 Because rereading the whole thing is the best way to catch up. 04:39:01 Unfortunately, that would take a really long time, and I don't have much time. 04:39:04 I'm a very busy man! 04:39:08 * Sgeo_ will soon have read the entire archive, not counting the bonus strips, of Station V3 04:39:09 Or so I've declared myself. 04:39:26 Instead of studying, working on an important project, writing a rebuttal 04:39:29 Or anything else 04:39:45 uorygl: not to mention that you will realize how bad the art was originally and try to stab your eyes out 04:40:01 See, Sgeo_, this is why we take only one class per semester. 04:40:12 It gives us time to do the important things. 04:40:23 coppro: I already want to stab my eyes out just thinking about it. 04:40:25 Studying's the only thing in the list that has to do with college 04:40:35 Oh, whew. 04:40:40 What's your important project? 04:41:01 It's "classified" 04:41:05 Oh. 04:41:13 Which means I've been talking about it here incessantly 04:41:46 lol 04:41:50 If it's Normish-related, abandon it and join #sxmc so you can help me with my... also classified project. 04:49:10 So, Sgeo_, as you were saying... 04:49:53 uorygl, look up mentions that I may have made about C# 05:23:54 -!- oerjan has quit (Quit: leaving). 06:00:28 -!- adu has quit (Read error: Connection reset by peer). 06:00:53 -!- adu has joined. 06:16:50 -!- uorygl has quit (Read error: Connection reset by peer). 06:17:10 -!- uorygl has joined. 06:18:38 -!- uorygl has quit (Read error: Connection reset by peer). 06:20:25 Guys. 06:20:27 Anyone here? 06:20:45 Never. 06:21:11 Okay, well I came up with an idea for an ugly esolang called Nibble. 06:21:27 Here are my notes: http://pastie.org/849378 06:21:29 :| 06:22:09 -!- uorygl has joined. 06:23:25 -!- uorygl has quit (Read error: Connection reset by peer). 06:24:11 There's a few things I forgot to mention in there so it's okay if it makes no sense whatsoever. 06:27:09 -!- uorygl has joined. 06:30:02 Whatcha think? 06:40:19 -!- adu has quit (Quit: adu). 06:42:44 -!- adu has joined. 06:42:46 -!- adu has quit (Client Quit). 06:46:50 Eh? 06:47:52 This channel is dead. Please cast a resurrection spell/reboot the server/pray to the gods/start the daemon/plug the channel in/start the devil. 06:49:59 -!- angstrom has quit (Quit: leaving). 06:55:25 Nice. 06:57:44 -!- jcp has quit (Quit: I will do anything (almost) for a new router.). 07:00:56 -!- tombom has joined. 07:03:08 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 07:29:07 Question. 07:29:21 Is CoreWar still around? 07:29:27 i.e. popular? 07:52:21 -!- coppro has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:54:21 I have a question. 09:00:33 -!- scarf has joined. 09:13:29 wow, the Chile earthquake actually made a measurable change to the Earth's rotation 09:13:44 days are now 1.26 µs shorter than they were before 09:14:42 And that tsunami quake few years ago shortened them by 6.8 µs. (I happened to be reading the same bit of news at the same time.) 09:16:04 all of these just to reduce angular momentum by itself? 09:16:22 shorter days implies a faster angular momentum 09:16:33 although it could also happen due to a change in rotation speed around the sun 09:17:53 i mean reduce moment of inertia 09:18:04 ah, apparently it sped up because the Earth became denser towards the centre and less dense towards the crust as a result 09:19:05 The news article I happened to be reading does note something vague about there being regular larger changes in day-length "due to other causes, such as atmospheric mass moving around on Earth". 09:19:35 tidal forces apparently have the largest day-to-day effect 09:19:52 it apparently takes 100 days of the Moon going round in circles to produce a similarly-sized change to the earthquake 09:20:22 Yes. That's clearly bad design. A responsible Intelligent Designer would've made things much more orderly. 09:23:19 The word-pair "combat-wombat" keeps going round my head. 09:30:08 Ohai, gaiz. 09:30:34 How do you like my idea for a universal brainfuck entension? (http://pastie.org/849477) 09:32:30 It mimics ideas from pbrain, brainstack, fukyorbrane and some others, but I came up with the data indirection and thought it was pretty neat. 09:32:37 But it's centralized. 09:35:16 -!- lereah_ has joined. 09:35:28 * scarf looks 09:35:58 :;@ work as in fukyourbrane? 09:36:10 actually, looks like @ terminates a procedure if it's in one, or a thread if it isn't 09:36:37 also, -126 to 127 is a weird range, you probably meant -128 to 127 09:37:46 -!- MissPiggy has joined. 09:42:07 Yep. 09:42:13 I sure did. Meh. 09:43:23 I'd love to implement C-style functions, especially if it had stack support. :) 09:48:02 So do you like it? 09:51:12 it seems reasonable; we get a lot of BF variants of that sort 09:51:20 if you can create a compiler from that to regular BF, it would be even more interesting 09:52:41 Fixed it up. (http://pastie.org/849497) 09:52:45 Sure would. 09:54:55 Yerp. I've just never seen one that implemented basic features like this without going overboard. I believe it's still minimal, yet powerful. 09:57:12 have you seen Modular SNUSP? 09:58:02 http://esolangs.org/wiki/SNUSP 09:58:07 it might be interesting to look at for ideas 09:58:13 we should just compile LLVM bitcode to BF; at that point you're golden 10:01:11 Interesting. 10:02:19 You know what? I've yet to see a BF derivative implement C-compliant functions with stack support. 10:02:23 Maybe Crainfuck. 10:03:11 I have seen that 10:03:26 you just host brainfuck inside C 10:03:42 I think LLVM -> BF would be the crowning moment in esoteric glory. 10:03:44 then you can use whichever is most appropriate for the task 10:07:16 -!- dev_squid has quit (Ping timeout: 276 seconds). 10:27:46 jesus fucking christ 10:27:54 hi augur 10:27:55 wipeout fusion's tethys league is impossible 10:28:07 are you feeling wiped out by it? 10:28:29 im feeling pissed is what im feeling 10:28:38 i feel like the computer is cheating 10:30:13 you have turned me into jesus 10:40:21 what XD 10:41:53 :) 10:44:01 -!- Gregor has quit (Ping timeout: 264 seconds). 11:08:37 -!- alise has joined. 11:10:36 Bleh. I'm all uncomfortable. 11:11:12 scarf: "If it's Normish-related, abandon it" -- uorygl 11:11:24 sure am glad I didn't rely on it for anything serious :^) 11:11:26 ugh 11:11:45 01:13:44 days are now 1.26 µs shorter than they were before 11:11:45 01:14:42 And that tsunami quake few years ago shortened them by 6.8 µs. (I happened to be reading the same bit of news at the same time.) 11:11:45 wow 11:11:47 and I operate under the assumption that Normish is likely to go offline at any moment 11:11:58 20:40:40 What's your important project? 11:11:58 20:41:01 It's "classified" 11:11:58 20:41:05 Oh. 11:11:59 20:41:13 Which means I've been talking about it here incessantly 11:11:59 20:41:46 lol 11:11:59 20:41:50 If it's Normish-related, abandon it and join #sxmc so you can help me with my... also classified project. 11:12:02 So it's not quite Normish-is-over. 11:12:08 But it's obviously I-have-a-shiny-new-project-now-Normish-sux. 11:12:29 normish, in the end, effectively became a server for helping with nomic things 11:12:36 it hosts loggic and blognomicbot, for instance 11:12:54 over ten years the difference in earth's rotation 11:12:57 we'll have lost 0.08ms 11:13:24 blognomicbot? 11:13:38 alise: a bot that hangs out in BlogNomic's IRC channel 11:13:43 Doing? 11:13:58 mostly for doing ChanServ duties when ChanServ goes insane, but it also counts votes, and copies the topic and user list to the blognomic server 11:14:36 also, prevents the channel being dropped due to lack of active ops) 11:14:39 s/\)// 11:15:07 counts votes on what? like !voteon Excellence mogriband? 11:15:30 also, as you know the entirety of my current situation - do you think it's irresponsible to reregister for Agora? As in, for who-knows-what-will-happen reasons. 11:15:45 I find it quite likely that the unit is not over yet. 11:16:10 alise: once a week should probably be enough, although it's not quick enough to catch without-objection 11:16:25 however, given that contracts were repealed, you can normally rely on someone else to object for you 11:16:39 Ah, I just meant as in neglecting any obligations or whatever 11:16:52 you can avoid taking on obligations that you can't fulfil easily enough 11:17:09 I don't particularly want to play if I'm still fighting the unit, so I'd probably inactivate if it starts again. 11:17:12 Is the point. 11:17:57 it's pretty quiet atm 11:18:16 we repealed most of the interesting rules, presumably this would be a good time to create more 11:18:31 although there's been an intriguing discussion about whether the IBA still exists, given that contracts have been repealed 11:18:44 Well, if there's nothing interesting to do... 11:19:09 What's RtRW? 11:19:46 read the ruleset week, first week of february 11:20:19 ah 11:20:25 * alise sees a genius idea on reddit 11:20:34 if a government has national debt, they should just bail themselves out 11:20:44 o_o 11:20:51 :D 11:21:35 and charge interest! 11:25:09 has agora been without contracts before? 11:25:14 I'm pretty sure they've been around for almost all time... 11:25:20 (that is, after their first introduction) 11:26:34 no idea; I wonder if they were continuously there between the whole SLC mess (years ago) and modern contracts? 11:29:48 SLC mess? Haven't heard of that one. 11:29:58 scarf: Regardless, I doubt it's been without them for more than weeks before. 11:30:04 They've been the backbone of Agora for how long? 11:30:20 the power system has been the backbone ever since it was invented 11:30:30 contracts have just been a fun thing to mess around with 11:30:33 Nah, that's just a safeguard. 11:30:41 The actual non-nomic gameplay, I mean. 11:30:46 (Most people like that stuff.) 11:38:07 scarf: Logicnomic! 11:38:14 You win if you prove a contradiction. 11:38:34 Formallogicnomic, I should say. 11:38:48 thus proving the entire ruleset inconsistent? 11:39:05 exactly (but there's a metaruleset that says that the game restarts in a certain way after) 11:39:15 presumably with the contradiction eliminated somehow 11:41:22 meh, just have it end after someone wins 11:41:26 some nomics have actually ended like that 11:41:31 then you can start a new one 11:41:43 hmm... /me wonders at lea being used for addition 11:41:46 but everyone would be trying to subtly introduce contradictions all the time 11:41:50 it makes sense on some level, but not on another level 11:41:52 so i imagine the turnover would be quite high 11:48:18 Given that x86's add (and so many other ops) have the target register fixed to be one of the operands, the popularity of some lea-trickery is not very surprising. 11:48:57 it's more a case of, why have two addition instructions which use utterly different syntax? 11:50:10 Yes, I guess it only makes sense if you think about it on the implementation level. (Where you have this pile of logic ready for all kinds of addressing modes, and it's easy to make an instruction that just reads the computed address into a register.) 11:53:42 gcc-bf, incidentally, uses lea for pointer computations and add for integer computations 11:53:52 pointers and integers are stored utterly different ways, so it makes sense to have two commands 11:54:57 Your "hardware" there is a bit on the strange side, though. 11:58:09 On x86-64 you "need" lea to turn IP-relative offsets into real pointers (if you need to pass it to somewhere, for example), since you can't add the RIP register normally -- it's not general-purpose enough -- but you can LEA reg, [rel offset]. 12:03:08 alise 12:03:11 http://www.inc.com/magazine/20100301/lets-take-this-offline.html 12:03:44 Joel Spolsky? My bullshit filter just turned up to maximum while the page is loading. 12:04:36 503 Service Temporarily Unavailable 12:05:06 Loaded now. 12:05:18 Blogging is holding you back? Excellent! Less shit for me to ignore. 12:06:05 wow, I've never seen a picture of Joel Spolsky before 12:06:09 I didn't realise he looked so smug 12:06:12 Blog blog you startup masturbate you rock blog huh??? you're WRONGGG nobody cares (oh the irony) BLOG PROPER SHITTERS not worth it lol too much work it's the OVERRRRRRRRRRRR 12:06:21 ^ summary 12:06:42 The only thing worse than a Joel Spolsky is a Joel Spolsky & Jeff Atwood. 12:06:49 (Which is also the only thing worse than a Jeff Atwood.) 12:06:58 Okay, okay, maybe Spolsky is /marginally/ better than Atwood. 12:06:59 which of spolsky & attwood is the one that's at least half-competent? 12:07:06 Spolsky. Atwood is the codinghorror dude. 12:08:01 lol wut, apparently north and south korea are still technically at war and have been since 1950 12:08:56 he looks retarded 12:09:16 I don't mean that in a nasty way just that normal people don't smile in that way 12:10:01 alise: they still have weapons pointed at each other 12:10:05 I thought it was amusing that he blogged about quitting blogging, and that he gave some tips on how to write a good blog, one of which was: Give tips on how to do X rather than just announcing some event/product/whatever 12:10:11 the issue is, neither dares fire, because then the other would fire and they'd both be wiped out 12:10:14 wow MissPiggy u r mean 12:10:33 scarf: yeah but i mean they never actually got around to ending the korean war after stopping all those killing dealies :P 12:10:53 they're still at war, it's just a cold war now 12:11:06 Is it the same war as the Korean War, though? 12:11:14 apparently, the south koreans have been dropping informative pamphlets over north korea 12:11:32 and the north koreans mostly don't pick them up because the propaganda machine has convinced many of them their hands will drop off if they try 12:12:05 :-D 12:12:11 Joel Spolsky is the Nickelback of computing. 12:12:19 Kim Jong-il is hilarious 12:12:35 (If I didn't consider it the best comedy ever created I'd just be depressed) 12:12:42 I am /convinced/ they are filming all this 12:12:48 For surveillance? No, for syndication! 12:13:04 There's a bit related but not the same extended-war list at http://en.wikipedia.org/wiki/List_of_wars_extended_by_diplomatic_irregularity 12:13:20 431 BC404 BC1994 12:13:22 now /that/ is impressive 12:13:33 1994? This. Is. SPARTA! 12:14:22 that first one is ridiculous 12:14:26 and possibly not even true 12:14:48 Shut up! I want to believe it! 12:15:10 335 years for the Dutch Republic vs. the Isles of Scilly is still impressive, though 12:15:14 and presumably that one's verifiable 12:15:32 The second one is almost equally ridiculous and even has a citation -- did not check what sort of. 12:15:45 ^ Saudi Aramco World, (bottom of page) 12:15:48 http://www.saudiaramcoworld.com/issue/198503/delenda.est.carthago.htm 12:15:50 Some magazine 12:15:56 When Carthage and Rome finally signed a peace treaty - in February 1985 - Ugo Vetere, the mayor of Rome, seemed deeply moved by the still existing traces of the catastrophe at Carthage - which he described as "blackened by fire." The catastrophe, he said, "... should be regarded, not just with curiosity, or with a love for archeology, but... with the eyes of those who wish for and... work for peace today." 12:16:15 Furthermore, it is my opinion that Carthage must be destroyed. 12:16:27 also, allegedly one of the peace treaties for the World War was typed backwards 12:16:32 what 12:16:33 due to an accident with putting in carbon paper in the dark 12:16:36 and nobody noticed at the time 12:16:43 didn't they ... read it? 12:16:47 so it ended up being typed on the back of the sheet of paper 12:16:52 alise: I'm not sure I believe it myself 12:16:54 :D 12:17:05 the urban legend goes that it was dark at the time, and so nobody saw it until later 12:17:25 "At the time World War II was declared over, there was no single German state that all occupying powers accepted as being the sole representative of the former Reich. Therefore the war technically did not finish until the country was reunified." 12:18:11 Andorra vs German EmpireWorld War I191419181958[6]Andorra was not invited to the Treaty of Versailles. 12:18:14 Fuck you, Andorra 12:18:26 "Montenegro declared war in support of Russia but this was merely a gesture as Montenegro lacked a navy or any other means to engage Japan." 12:18:28 -!- FireFly has joined. 12:19:22 [[Nevertheless, reportedly in 1966 a Soviet official waited upon the Mayor of Berwick, Councillor Robert Knox, and a peace treaty was formally signed. Knox is reputed to have said "Please tell the Russian people that they can sleep peacefully in their beds."]] 12:19:40 alise: that's also apparently a rumour; at least, snopes.com tried to find evidence of that but couldn't 12:19:43 it's a fun story though 12:19:45 [[To complicate the issue, some have noted that Knox did not have any authority with regard to foreign relations, and thus may have exceeded his powers as mayor in concluding a peace treaty.]] 12:19:46 AAAAAAAAAAAAAAAAAAAAAAAAA 12:19:56 scarf: the whole signing, or the saying? 12:20:14 both, IIRC 12:21:45 -!- augur has quit (Ping timeout: 248 seconds). 12:21:52 aw 12:26:27 I can't find any references to that backwards-treaty thing on Wikipedia or Snopes, not even as debunked rumours 12:26:32 so I have no idea where I heard it from 12:28:38 hey i have an idea for an esolang 12:29:12 here it is: basically everything you type is either pushed onto a stack or applied to a stack, so 1 1 + would push 1 then 1 then apply + and everything follows these rules 12:29:16 IS THIS A GOOD IDEA? 12:30:15 Quadrescence: concatenative langs! 12:30:20 yes, it is 12:30:28 http://esolangs.org/wiki/Underload is a bit like that 12:30:40 which was my attempt to reduce concatenativeness to a tarpit 12:30:51 and there are some "real" languages which work like that too 12:31:05 See: Joy, Factor, ("almost" Forth) Cat, Underload, ... 12:31:24 Congratulations: you're intelligent enough to independently invent concatenative languages. 12:31:40 -!- BeholdMyGlory has joined. 12:32:18 http://en.wikipedia.org/wiki/Kim_Il-sung_University I'm surprised this even _exists_ 12:32:41 and wtf do they teach in history? Or philosophy? Government? Economics? Law? :P 12:32:52 I wonder how much of their sciences just happen to /conveniently/ tie in with Juche... 12:33:01 scarf: I was kidding 12:33:07 it's pretty much the worst idea ever 12:33:16 why? 12:33:19 idk 12:33:27 you can even do control flow like that 12:33:30 Strong intellectual bent in this one I see 12:33:37 Only if you have quotations 12:33:44 well, yes 12:33:45 like fagtor does 12:33:50 "Fagtor". 12:33:53 Wow, just go away now. 12:33:55 Factor* 12:34:02 Oh come on, that was clearly intentional 12:34:03 actually, I think alise invented a variation which didn't need them directly 12:34:09 scarf: Well, with your help. 12:34:17 alise: Hey, I've been to slava's house before 12:34:20 I formulated the language, you proved that it was equivalent (ignoring IO). 12:34:26 and did some bignum stuff for factor 12:34:29 so don't be hatin' 12:34:38 then he moved to NZ 12:35:07 with his gigantic pile of profit from Factor 12:35:27 ^ul (!())(~(:)~*(*)*:(*)~^S~(/)S:^):^ 12:35:27 */**/***/****/*****/******/*******/********/*********/**********/***********/************/*************/**************/***************/****************/*****************/******************/*******************/********************/*********************/**********************/***********************/************************/ ...too much output! 12:35:35 and I just wrote that off the top of my head 12:35:51 alise: His profit seemed to be spent on large mac displays and stuff 12:35:59 Don't forget the Mac Pro. 12:36:00 and macbooks 12:36:05 yeah 12:36:11 I doubt he actually profits from Factor though :P 12:36:16 I doubt it too 12:36:21 his place was pretty dumpy 12:36:40 but he makes good блины 12:36:46 wonder what his day jorb is 12:37:05 Quadrescence: you could have just said "pancakes" 12:37:15 even though I can type google.com/translate_t in about 0.5 seconds by now 12:37:38 alise: No 12:37:42 They are not the same 12:38:01 It is a rough /American/ translation but they are not at all the same 12:39:27 Quadrescence: have you been here before under another nick? 12:40:13 alise: No 12:40:20 ok, under the same nick? 12:40:22 I vaguely recognise you 12:41:18 Same nick 12:41:28 You might have seen me in other channels 12:41:33 scarf: it's 6:30 AM 12:41:34 hmm... maybe... how long ago? 12:41:39 alise: I don't know. 12:41:43 no, it's 12:41 am 12:41:49 [06:38.01] * Received a CTCP TIME from scarf 12:42:11 your clock is 3 minutes slow, unless you're in a UTC-6:03 timezone 12:42:20 :-D 12:42:54 It is indeed 3 minutes slow 12:49:24 -!- augur has joined. 12:50:07 good morning augur 12:50:15 moin 12:51:25 Technical discussion about antelopes. 13:09:43 The ant elopes with his fellow queen. 13:31:59 #usys sure is lonely 13:32:05 <_< >_> 13:33:34 -!- asiekierka has joined. 13:33:35 hi alise 13:33:40 hmm, what should i destroy today 13:33:40 Hi. 13:33:40 `ls 13:33:45 Yourself. 13:33:45 :P 13:33:46 i said 13:33:47 `run ls 13:33:47 bin \ cube2.base64 \ cube2.jpg \ help.txt \ huh \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.15927 13:33:49 bin \ cube2.base64 \ cube2.jpg \ help.txt \ huh \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.15957 13:33:51 there we go 13:33:57 `./test.sh 13:33:58 No output. 13:34:13 `ls 13:34:14 bin \ cube2.base64 \ cube2.jpg \ help.txt \ huh \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.16082 13:34:33 `cd / && ls 13:34:34 No output. 13:34:40 `run cd / && ls 13:34:40 bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr 13:34:49 `run cd /etc && ls 13:34:50 alternatives 13:34:58 `cd /lib && ls 13:34:59 No output. 13:35:04 `run cd /lib && ls 13:35:05 cpp \ firmware \ init \ ld-2.9.so \ ld-linux-x86-64.so.2 \ libBrokenLocale-2.9.so \ libBrokenLocale.so.1 \ libSegFault.so \ libacl.so.1 \ libacl.so.1.1.0 \ libanl-2.9.so \ libanl.so.1 \ libattr.so.1 \ libattr.so.1.1.0 \ libblkid.so.1 \ libblkid.so.1.1.0 \ libbsd.so.0 \ libbsd.so.0.1.6 \ libbz2.so.1 \ libbz2.so.1.0 13:35:22 hmm, is it so sure that this is actually secure 13:35:28 It is absolutely secure. 13:35:39 Even if I do `run rm -rf / 13:35:46 If you break out of the plash sandbox, which overrides every single system call, you will find yourself within an empty chroot. 13:35:56 From which you then must find a vulnerability in the Linux kernel to escape. 13:36:00 Good luck. 13:36:16 asiekierka: One, all changes are revisioned. Two, you can't delete anything that isn't yours. 13:36:18 `ls 13:36:18 bin \ cube2.base64 \ cube2.jpg \ help.txt \ huh \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.16399 13:36:26 That stuff's ours. 13:36:31 If you remove it, we'll put it back in one command. 13:36:32 `help 13:36:33 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 13:36:36 `run cd .. && ls 13:36:37 hackenv.16464 13:36:41 `run cd ../.. && ls 13:36:42 bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr 13:36:47 `run cd /tmp && ls 13:36:48 hackenv.16547 13:36:51 okay... 13:37:00 `id 13:37:01 uid=1856920 gid=1856920 13:37:02 `id 13:37:03 uid=1642345 gid=1642345 13:37:05 `run mkdir /home 13:37:05 New user each time. 13:37:06 No output. 13:37:15 `run cd / && ls 13:37:16 bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr 13:37:22 wait, it already existed 13:37:25 gah, i'm stupid 13:37:28 `run cd /home && ls 13:37:29 hackbot 13:37:42 `mkdir /home/asiekierka && cd /home && ls /home 13:37:43 No output. 13:37:48 `run mkdir /home/asiekierka && cd /home && ls 13:37:49 No output. 13:37:55 `run mkdir /home/asiekierka 13:37:56 No output. 13:37:58 `run cd /home && ls 13:37:59 hackbot 13:38:03 ...I don't like you. 13:38:06 `run cd /home/hackbot && ls 13:38:07 hackbot.hg 13:38:38 `run cd $PWD && ls 13:38:39 bin \ cube2.base64 \ cube2.jpg \ help.txt \ huh \ paste \ poetry.txt \ quotes \ share \ test.sh \ tmpdir.17038 13:38:44 Oooooookaay... 13:38:45 cd $PWD; how pointless. 13:38:51 You're angering me, HackEgo 13:39:08 try 2>&1 after each command 13:39:10 to see errors 13:39:17 `run mkdir /home/asiekierka 2>&1 && cd /home && ls 13:39:18 /bin/mkdir: cannot create directory `/home/asiekierka': Permission denied 13:39:22 Oooooh 13:39:26 not shiny. 13:39:29 sh <( cat 'cd $PWD' ) 13:39:35 `run cd /lib && ls 13:39:36 cpp \ firmware \ init \ ld-2.9.so \ ld-linux-x86-64.so.2 \ libBrokenLocale-2.9.so \ libBrokenLocale.so.1 \ libSegFault.so \ libacl.so.1 \ libacl.so.1.1.0 \ libanl-2.9.so \ libanl.so.1 \ libattr.so.1 \ libattr.so.1.1.0 \ libblkid.so.1 \ libblkid.so.1.1.0 \ libbsd.so.0 \ libbsd.so.0.1.6 \ libbz2.so.1 \ libbz2.so.1.0 13:39:42 MissPiggy: a file called cd $PWD? 13:40:07 `run cd / && ls 13:40:08 bin \ dev \ etc \ home \ lib \ lib64 \ proc \ tmp \ usr 13:40:09 alise, http://simple.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic 13:40:11 `run cd /lib64 && ls 13:40:12 cpp \ firmware \ init \ ld-2.9.so \ ld-linux-x86-64.so.2 \ libBrokenLocale-2.9.so \ libBrokenLocale.so.1 \ libSegFault.so \ libacl.so.1 \ libacl.so.1.1.0 \ libanl-2.9.so \ libanl.so.1 \ libattr.so.1 \ libattr.so.1.1.0 \ libblkid.so.1 \ libblkid.so.1.1.0 \ libbsd.so.0 \ libbsd.so.0.1.6 \ libbz2.so.1 \ libbz2.so.1.0 13:40:34 "The Fundamental theorem of arithmethic (also called the unique factorization theorem) is a theorem of number theory. The theorem says that every positive integer greater than 1 can be written as a product of prime numbers (or the integer is itself a prime number)." 13:40:39 yes, that's absolutely simple english /rolleyes 13:41:58 `run uname -r 13:41:59 2.6.26-1-xen-amd64 13:42:09 Yay, old linux kernel versions! 13:42:22 libBrokenLocale and libSegFault, the best libraries evar. It's too bad they're not exactly what it says on the tin (tvtropes ref); libBrokenLocale (as far as I can tell) doesn't break locales, and libSegFault doesn't cause segfaults. 13:43:42 http://pastie.org/849736.txt?key=mp48bw1mgnnh2sbcrtayq an actually simple rewrite of the start of that article 13:44:05 I guess it depends whether the audience is someone who knows Simple English and no english maths terminology or someone who knows Simple English and english maths terminology 13:44:05 Guys, a theoretical question 13:44:09 but I imagine the latter is quite rare 13:44:26 If I would in fact find a working linux kernel vulnerability (the chance being 1:infinity in our current reality), what would happen? 13:44:34 (I mean, and used it on HackEgo) 13:44:38 Well, you can't. 13:44:45 First you'd have to escape the plash sandbox (VERY hard). 13:44:48 Then you'd have to use the exploit. 13:45:06 what if it theoretically happened? 13:45:10 So you'd need to find a serious vulnerability in Plash (very unlikely), and then a serious vulnerability in Linux's chroot code (almost impossible). 13:45:25 asiekierka: Then you would find yourself on Gregor's system, as a user with no privileges. All you could do would be to delete HackEgo. 13:45:40 If you then found a Linux exploit that let you elevate to root, you would then be able to wipe out Gregor's VPS. He probably has backups. 13:45:52 So nothing would really happen except I'd waste time and get banned? 13:45:59 Yep. 13:46:11 And HackEgo would disappear? 13:46:32 Until the backup was restored; so a few hours. 13:46:37 It'd probably be set to ignore you afterwards. 13:52:41 Bah, why isn't anyone interesting online. :P 13:52:53 I don't think you need a vulnerability exactly in the chroot code, you just need a local privilege escalation so that you get root inside it; that thing's not supposed to hold raptors, after all. Still, a combination of plash and linux vulnerabilities isn't exactly trivial, and really, getting access to someone's virtual server can't be worth the trouble. 13:52:54 Bah, why can't I do anything interesting in Hack(gr)Ego(r) 13:53:54 Linux local privilege escalation: Even three-year-olds can do it 13:54:04 A vulnerability in chroot code is more likely than privilege escalation 13:54:13 But then you'll only be a useless user. But still. It's the outer VPS. 13:54:22 You could use up all his disk space if he hasn't set a quota (he probably has, though). 13:54:35 You could jam his network, though you could do that from HackEgo anyway. Pointless, though. 13:54:36 If he had a Mac, I could run Lose/Lose on it maybe 13:56:26 "The Royal Standard is never flown at half-mast, as the Sovereign never dies (the new monarch immediately succeeds his or her predecessor)." 13:56:45 THE QUEEN: Literally immortal 13:57:19 alise: So could you design a faster-than-light information-transfer system based on killing royalty? 13:57:35 :D 13:58:09 A. The Queen has four Corgis – Linnet, Monty, Holly, Willow. She also has four Dorgis (cross-breed of Dachshund and Corgi) Cider, Berry, Candy, Vulcan. 13:58:12 The Queen has a dog called Vulcan. 13:59:24 anyone knows HackEgo's IP? Just wondering 13:59:29 whois 14:00:13 ugh 14:00:18 i need longer output from HackEgo 14:01:12 Anyone has any fun idea 14:02:09 Wasn't there some DCC thing, or was that a different bot? Do you remember, fungot? 14:02:10 fizzie: an elven cloak: the hitchhiker's guide to the moonlight and the cimmerian. they are found in many places, not surprisingly, are large, dark shape rose from the chaos and gave it to open locked doors. 14:02:30 alise? 14:03:05 that's EgoBot 14:03:10 or maybe HackEgo does it too 14:03:48 HackEgo Seems To Be Failing 14:03:55 HESTOBEF 14:04:16 i'm trying to compile something and ./configure just won't work 14:09:35 alise I just got my highest upvoted comment on reddit ever 14:09:53 MissPiggy: ah, -649 points! 14:09:55 you're improving! :D 14:10:01 What? 14:10:04 what -649 points 14:11:54 http://www.reddit.com/r/math/comments/b81mh/what_is_the_style_of_hat_worn_by_david_hilbert_in/ 14:11:57 this is making me lol 14:12:01 "Hilbert's Epsilon Hat. 14:12:01 " 14:12:34 "My mom wears one when she gardens. I'm sure you could borrow it. 14:12:35 " 14:18:01 http://kr.img.blog.yahoo.com/ybi/1/9d/96/know_blog/folder/3/img_3_211_3?1141364520.jpg 15:11:06 -!- asiekierk has joined. 15:11:43 -!- asiekierka has quit (Ping timeout: 245 seconds). 15:15:23 -!- lifthrasiir has quit (Ping timeout: 246 seconds). 15:17:15 -!- lifthrasiir has joined. 15:25:48 -!- lereah_ has quit (Quit: Leaving). 15:30:34 -!- coppro has quit (Quit: I am leaving. You are about to explode.). 15:31:48 -!- Sgeo__ has joined. 15:33:56 -!- cpressey has joined. 15:35:03 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 15:45:12 -!- kar8nga has joined. 15:49:55 -!- Asztal has joined. 16:02:26 -!- dev_squid has joined. 16:15:59 -!- cpressey has quit (Ping timeout: 276 seconds). 16:20:36 MissPiggy: I'm writing that thing i said i would explaining why files suck 16:21:04 good 16:23:38 -!- oerjan has joined. 16:24:43 it will be long 16:26:09 -!- cpressey has joined. 16:26:23 all of these just to reduce angular momentum by itself? 16:26:30 -!- tombom_ has joined. 16:26:40 angular momentum is a conserved quality. hth. 16:27:20 so an earthquake couldn't change it, since that's just internal to the earth 16:28:33 oh, yes 16:28:36 -!- tombom has quit (Ping timeout: 260 seconds). 16:29:10 what changes iirc is the moment of inertia, determined by the mass distribution. and that combined with angular momentum changing the rotation and axis. 16:29:28 *changes 16:31:58 The word-pair "combat-wombat" keeps going round my head. 16:32:06 that sounds somewhat awkward 16:32:53 -!- scarf has quit (Remote host closed the connection). 16:34:17 Combat Wombat; that could be the latest Pokémon ripoff. 16:34:56 Kombatto Wombatto 16:35:00 *Kombattu Wombatto 16:37:09 You mean Battletoads rip-off 16:39:56 :D 16:40:04 Combat Wombat vs. Battle Toad 16:40:08 vs. Altercation Albatross 16:47:50 MissPiggy: almost finished the article 16:52:28 If you break out of the plash sandbox, which overrides every single system call, you will find yourself within an empty chroot. 16:52:38 it's the matrix! 16:54:30 MissPiggy: okay, it's done 16:54:31 more or less 16:54:55 Sgeo__: ping 17:12:46 oerjan: Pretty much. 17:13:22 コンバット・ウァンバット! 17:13:44 Sgeo__: pingping 17:13:54 pikhq: do you think files are good? 17:13:54 i find your japanese questionable 17:14:03 as in, i just see question marks. 17:15:02 oerjan: Hah. 17:15:22 alise: I think they're a sign of a poor type system in the OS. 17:15:32 Good! 17:15:35 Then you will like my article. 17:15:44 Now if only I had somewhere to put it; I haven't registered usys.org yet. 17:15:50 I mean, really? An associative array of chars? 17:15:54 Erm. 17:15:59 Associative array of char*s. 17:16:36 don't let your characters associate with arrays 17:17:02 >_< 17:18:40 pikhq: Guess the language: 17:18:44 real :: answer = 42 17:18:57 ehird. 17:18:59 Fortran 90. 17:19:02 Seriously. 17:19:21 ... 17:20:03 yeah. 17:21:34 Sooo. 17:42:34 -!- Gregor has joined. 17:43:55 Hi Gregor. 17:48:00 -!- augur has quit (Ping timeout: 256 seconds). 17:49:22 -!- kar8nga has quit (Remote host closed the connection). 17:50:19 -!- augur has joined. 17:50:27 -!- oerjan has quit (Quit: leaving). 17:59:42 -!- jcp has joined. 18:03:33 Hail. 18:09:13 -!- kar8nga has joined. 18:10:31 -!- augur has quit (Ping timeout: 265 seconds). 18:16:29 I started defining an extension of the rationals with n/0, then I ended up having to define 0/n as special too. Now I'm having to define 0 =/= -0. 18:16:36 I have a sneaking suspicion this is turning into something that isn't anything at all. 18:16:51 0/0 IS EVIL 18:17:37 I was going to have 0/0 as a special case, I think. 18:17:53 As a separate weirdtional where 0*(0/0) = 0. 18:19:46 -!- augur has joined. 18:28:35 alise ... why 18:29:03 Because I was going to have a consistent system with 0/n, dammit, no matter what I had to do! 18:33:13 BREAKING NEWS: INCREDIBLE COMPUTER SCIENTIST EHIRD CRACKS TEN MILLION YEAR PROBLEM 18:33:29 18:34:35 Shaddap :) 18:35:50 Hey, "nullity" can be defined in an axiomatic system. 18:35:52 For one, mine has 0*(n/0) = n. 18:36:07 And 0*(0/n) = 1, but that's an entirely separate issue :P 18:36:08 This guy just claims that he had added it to the ordinary one used for arithmetic. 18:36:17 Which is... Bullshit. 18:36:36 Erm. 18:36:41 Not added it, "discovered" it. 18:36:46 By making a symbol up for it. 18:38:36 alise admit it :! 18:39:08 trying to reconsile division by zero is as braindead as these people trying to 'hide from the clutches of godelian incompleteness' it's just fucking stupid 18:39:53 It's also fun. 18:39:56 I'm not doing it seriously. 18:40:07 I'm doing it to see what crazy, crazy things you have to entail to get it working. 18:43:56 -!- kar8nga has quit (Remote host closed the connection). 18:47:09 "mathematical arithmetic is sociologically invalid" —discoverer of Nullity 18:47:22 it's 100% true 18:50:04 Yay NULLITY 18:55:06 -1*-1 = 1 is EVIL and StUPID 19:01:22 Hey guys. 19:01:30 ohiho 19:02:41 -1 * -1 is the TIME CUBE 19:02:59 yes 19:05:22 My cat is being really weird. 19:05:42 She'll sleep on my bed for a while, then get up and meow at me. I look at her, and she goes back to sleep. 19:07:16 0/0 = pi 19:07:17 I want to learn an esolang that's fun and makes programming a challenge. Any suggestions? 19:07:19 :) 19:07:38 BrainFuck then Befunge then 2L then Glass :P 19:07:43 -!- jcp has changed nick to javawizard. 19:07:52 I've been meaning to try befunge. 19:07:52 dev_squid: Give us some desired weights for "fun" and "challenge" 19:08:05 -!- javawizard has changed nick to javawizard2539. 19:08:12 dev_squid: Agda 19:08:13 Befunge, somewhat more fun, somewhat less challenge. 19:08:16 Gregor, I'm pretty don with BF. 19:08:25 cpressey: Self-promotion ey?! 19:08:33 We'll have none of that round 'ese parts! :P 19:08:35 -!- javawizard2539 has changed nick to jcp. 19:08:48 FYB! 19:08:52 alise: Pft, it's "not challenging enough" for most here, I would guess. 19:08:57 cpressey: Well. Yeah. 19:09:02 Glass is a pretty decent language. 19:09:18 Any language with the Gregor Richards stamp of approval! :P 19:09:26 Gregor: Hahah. 19:09:42 Glass is basically the object-lambda calculus. 19:09:51 Yeah, pretty much. 19:09:56 But with classes. 19:09:56 Damn, esolangs've been around for a damn long time. 19:10:00 Sort of 19:10:02 Also, I only mentioned it because dev_squid mentioned it first. 19:10:10 Oh, INTERCAL. :) 19:10:23 cpressey, hey, if Befunge is fun, I'll try it. :) 19:11:02 Also on the "lighter" side is Kipple. 19:11:22 On the "heavier" side, why not try Malbolge? 19:11:24 Oh balls, Befunge looks interesting. :D 19:12:22 Hahah! I actually read about Malbolge before; I'm looking for a challenge, but that's a little outside of the definition. That is, impossible. :) 19:12:44 Don't let cpressey seduce you 19:12:54 He gave us so many ambiguities in the -98 spec we're still suffering :P 19:13:44 TWELVE YEARS LATER 19:15:08 Not my fault that no one on the committee said "this needs to be more rigorously defined". People preferred to complain about things that really matter, like that my HTML was missing

tags. 19:15:37 :-D 19:15:52 Ooh 19:15:54 Homespring 19:16:04 that was the one i couldn't remember the name of. 19:23:19 cpressey. 19:23:35 [[The sequences ‘ . ’ and ‘. .’ are required to cause a causality paradox in all con- 19:23:35 forming implementations. As such, there are no conforming implementations.]] 19:23:54 cpressey, Befunge is awesomesauce. Where'd you get the idea? 19:24:06 Biota; telepathically :P 19:24:50 Hah, no. 19:24:56 AmigaVision 19:24:59 and BASIC 19:25:12 replacing "goto 100" with an ASCII arrow pointing to line 100. 19:25:32 And was exposed to FORTH at the time. 19:26:30 Biota, for all I can tell, is a lot closer to what I'd call a cellular automaton, though not exactly cellular. 19:27:51 cpressey, did you write an interpreter for Befunge, or didja just idealize it? 19:28:56 dev_squid: I wrote an interpreter for the first version (-93). Being not so much into writing specs at the time, it sort of defined the language, alongside some crude documentation. 19:29:31 cpressey, what did you write it in? 19:29:32 For -98 I compiled the spec with input from the Befunge mailing list at the time, and wrote a very buggy implementation based on it. 19:29:42 Oh cool. 19:29:43 dev_squid: C (both of them.) 19:30:02 I write all my interpreter prototypes in assembly. :) 19:30:02 Um, it was compiled with DICE C on an Amiga 500, originally... 19:30:07 It's tedious. :| 19:31:00 Assembly's fun, but I tend not to implement languages in it often. I guess Shelta is one, and I did try to implement Befunge in x86 once. 19:31:17 "Try". LOL. 19:32:05 Yeah, it was an implmentation of Befunge-93 that I *think* *mostly* works, but I remember it failing badly on some example sources. 19:32:33 The executable was only like 4K or something in size though. 19:32:47 Yep. I remember trying to make a simple BF interpreter in x86 Asm but then failing epicly. To this day, I still don't know what I was doing wrong. >:( 19:33:01 Yeah. 19:34:03 Umm...there's this guy that made a 166-byte BF compiler. 19:34:19 For what? 19:34:37 Which is kittenpunchingly smaller than the 256-byte compiler by Meuller. 19:34:42 Brainfuck. 19:34:50 For what /system/ X_X 19:34:57 Linux x86. 19:34:59 TO WHAT END 19:35:14 (http://www.muppetlabs.com/~breadbox/software/tiny/bf.asm.txt) 19:36:42 I'm pretty sure it violates every single ELF standard in existence, but it *is* 166 bytes. 19:37:17 Yeah, ~breadbox is <3. 19:37:22 I love it. 19:37:32 He also wrote the CGI INTERCAL game. 19:37:54 And http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html 19:37:57 the tiniest ELF executable 19:44:47 -!- Asztal has quit (Ping timeout: 252 seconds). 19:47:32 cpressey, Befunge interpreter. Where? 19:48:05 -!- pikhq has quit (Read error: Connection reset by peer). 19:49:04 dev_squid: I dunno, there seem to be lots to choose from. I've heard a lot good about http://sourceforge.net/projects/cfunge/ 19:49:41 You probably have to build it from that tarball, presumably that is not a problem. 19:50:52 -!- pikhq has joined. 19:51:09 Screw you, X. 19:52:00 cpressey, Needs POSIX 19:52:05 (but I assume that is no issue) 19:52:16 (oh and, it doesn't do 93 really, only 98) 19:56:19 -!- Asztal has joined. 19:57:55 -!- MigoMipo has joined. 19:59:32 cpressey, how does Befunge handle negative numbers? 20:00:39 Negative numbers are useless. 20:01:10 dev_squid: They're like any other numbers in the language... except negative. 20:01:26 :-D 20:03:04 They're stored in threes-complement 20:03:51 Gregor, that would be implementation defined 20:04:05 as in, befunge doesn't expose the bit representation like that 20:04:11 (except using some optional fingerprints) 20:04:11 * Gregor bashes AnMaster's head in with a plastic spork 20:04:18 Gregor, hard hat 20:04:19 :P 20:04:43 Doesn't take a particularly hard hat to protect against a plastic spork :P 20:04:48 Gregor, true 20:04:54 *Main> 1 // (0 // 0) 20:04:55 0 % 0 20:04:55 *Main> 1 // (0 // 1) 20:04:55 1 % 0 20:04:55 *Main> 1 // (0 // 2) 20:04:56 2 % 0 20:04:56 wat 20:05:08 alise, is that % as in modulo? 20:05:13 No, % as in fraction 20:05:15 ah 20:05:17 As in x/y 20:05:20 alise, still. that makes no sense 20:05:23 2/0... 20:05:29 It's the weirdtionals, where division by zero is perfectly acceptable because I said it is. 20:05:36 Which also leads to fun things such as all 0/n being unique. 20:05:42 heh 20:05:49 The "real 0" seems to be 0/1, because (n/1)/(0/1) = n/0. 20:06:07 Apparently (1/2)/0 = 1/0 20:06:11 Who'da thunk it 20:06:29 alise, I *somehow* suspect that certain things may break if 0/2 != 0/5 and so on 20:06:34 I mean, mathematically 20:06:49 AnMaster: My way of working is: Define something to work. Find a contradiction. Fudge things so that it's no longer a contradiction. 20:06:57 alise, :D 20:07:01 I'm losing all sorts of properties of course, addition and multiplication don't even distribute over each other 20:07:26 alise, oh that follows from 0/x being allowed? 20:07:28 err 20:07:30 x/0 20:07:42 yeah I was finding out the multiplicative inverse for (x/0)s 20:07:51 1/(x/0) = swap the two sides = 0/x 20:07:55 so (0/x)*x = 1 20:08:00 so we need distinct (0/x) for all x 20:08:07 ouch 20:08:16 alise, what is your goal with this 20:08:25 Make division by zero work. 20:08:32 ah, good luck 20:09:09 if you actually made it work sensibly (and in a rigorous way) then you would probably get the Fields medal at least! 20:09:34 The problem is that the resulting system is not likely to be very usable for anything 20:09:45 Deewiant: Of course. 20:09:48 AnMaster: Unlikely. 20:09:48 -!- BlackOut has joined. 20:09:51 -!- MizardX has quit (Read error: Connection reset by peer). 20:09:52 Distributivity is a rather nice property 20:09:55 alise, well, depends on how you solve it 20:09:58 Of course you can define things but since you do lose properties like distributivity of addition it's not really addition any more 20:09:58 alise, and yes indeed 20:10:09 And hence not very Fields-worthy, it's just another formal system 20:10:11 -!- MizardX has joined. 20:10:36 -!- BlackOut has left (?). 20:10:39 Hey, alise is here. 20:11:07 yeh 20:11:27 Deewiant, hm, don't you lose distributivity somewhere in the Cayley–Dickson construction? 20:11:38 or was that one of the few properties you didn't loose? 20:12:24 Does that mean alise is out of Britain? 20:12:30 cpressey, yay! My first Befunge program...sort of. I modified an example. :) 20:12:34 cpressey, http://pastie.org/850440 20:12:35 The problem here is that you lose distributivity over addition of fractions, not hypercomplex numbers :-P 20:12:49 Deewiant, true 20:12:56 uorygl: No. 20:13:02 alise, oh wait, this isn't even a ring any more is it? 20:13:02 Just that a bigger crisis is overriding atm. 20:13:06 AnMaster: ^_^ 20:13:20 Oh, a bigger crisis. Hmm. 20:14:32 alise, if you managed to solve it without loosing distributivity then you would get the Fields medal I guess ;P 20:14:48 I'd win the Pigs Can Fly medal because it'd be contradictory and we could derive anything. 20:14:51 Unless you also lose associativity etc 20:15:06 I want a Pigs Can Fly medal 20:15:13 Deewiant, me too! 20:15:32 What do I need to do to get one? 20:16:00 The n being irrelevant in (m/n)/0 disturbs me. 20:16:08 heh 20:16:10 Deewiant, do something that over-qualifies you for the Ig Nobel price? 20:16:32 Meh, too much work 20:19:12 cpressey, would you recommend (http://www.ashleymills.com/?q=befunge_applet_lite)? Most programs it's running makes it throw a "memory cell out of range" error when it hits a 'p'. 20:20:00 Are you sure you're p'ing into the 80x25 area? 20:20:02 -!- Azstal has joined. 20:20:19 If you are, then I definitely wouldn't recommend it because it's buggy :-P 20:22:21 *Main> (1//0) 20:22:22 1 % 0 20:22:22 *Main> (1//0)+(0//0) 20:22:22 2 % 0 20:22:28 cpressey, were you aware that there existed such a website as "www.quote-egnufeb-quote-greaterthan-colon-hash-comma-underscore-at.info"? 20:22:48 The worst thing is, I'm not even sure that doesn't make sense. 20:23:06 -!- Asztal has quit (Ping timeout: 265 seconds). 20:23:25 dev_squid, I'm pretty sure he does know as we discussed a program on there recently 20:23:28 It makes sense if and only if it's useful or makes sense. 20:23:35 uorygl, :D 20:25:11 uorygl: without it I can't seem to stick to one multiplicative identity :( 20:25:46 -!- MaXo2 has joined. 20:26:07 -!- increnaisi has joined. 20:26:09 Whenever you're having trouble doing something, try proving its impossibility. 20:26:15 -!- increnaisi has left (?). 20:26:46 AnMaster, I didn't know that...anyway, I still can't find a working Befunge interpreter for Win32. 20:26:56 Might there be an IDE? 20:27:17 WIN32 20:27:18 GET OUT 20:27:19 GET 20:27:19 OUT 20:27:26 We don't want your kind here. 20:27:41 :P 20:27:45 uorygl: But I don't accept the law of the excluded middle! :P 20:27:51 Yeah, yeah...I only keep it for the game. 20:27:51 (Yes, I know, fallacy. Also: Joke.) 20:27:53 *games 20:27:55 dev_squid, for windows? No clue 20:27:59 can't help you there at all 20:27:59 Constructivism ftw, though. 20:28:06 Such a poor excuse :P 20:28:12 dev_squid: Only recently. (I haven't been involved in Befunge in a long time. I've spent much of my recent time designing weirder, less popular languages.) 20:28:19 Nor do I if the law of the excluded middle is "Every statement has either a proof or a disproof." 20:28:24 cpressey, like what? 20:28:35 -!- MissPiggy has quit (Quit: Lost terminal). 20:28:55 dev_squid: If Befunge-98 is fine, my interpreter works on Win32. 20:29:09 uorygl: LEM = p|(p->false) 20:29:12 Which, yes. 20:29:27 Um, it was compiled with DICE C on an Amiga 500, originally... <-- fun. And unexpected. 20:29:44 Deewiant, what's the difference? 20:30:02 If you restrict yourself to the Befunge-93 instruction set: not much. 20:30:20 Deewiant, SGML spaces 20:30:21 Deewiant, so it's just a superset? 20:30:35 Division by zero is defined (gives 0), SGML spaces, bigger funge-space 20:30:45 dev_squid: I said "not much" not "nothing" :-) 20:30:52 alise, hey! ^ 20:31:01 alise, solved your problem there ;) 20:31:05 dev_squid: Everything >= 1998 on this page: http://catseye.tc/cpressey/languages.html 20:31:34 dev_squid: SGML spaces means that "x y" pushes the same three characters as "x y" 20:32:13 And of course, there's the fact that due to more instructions, you can't rely on them reflecting like they did in Befunge-93. 20:32:23 *Main> (5//6)*(0//3) 20:32:23 0 % 18 20:32:52 I am not sure this means anything at all. 20:33:00 dev_squid: Anyway, http://iki.fi/deewiant/befunge/ccbi.html has a binary if you're interested. 20:33:00 Deewiant: Also the stack and fungespace cells have the same size. 20:33:02 Hmm. 20:33:09 Deewiant: '93 had 8-bit fungespace. 20:33:11 Ah yes. 20:33:14 cpressey, btw, what do you think should happen on EOF on stdout? The way I read the spec, the program should not end, but reflect 20:33:32 cpressey, same goes for STDIN 20:33:46 So, (a/b)(c/d) = (ac)/(bd), and a/b + c/d = (ad + bc)/(bd)? 20:33:47 AnMaster: Reflect sounds like saner behaviour that just bombing, for sure. 20:33:52 *than 20:33:56 Frac m1 n1 + Frac m2 0 = ((m1%n1) + (m2%1)) // 0 20:33:56 Frac m1 0 + Frac m2 n2 = Frac m2 n2 + Frac m1 0 20:33:56 Frac m1 n1 + Frac m2 n2 = ((m1*n2)+(n1*m2)) % (n1*n2) 20:34:00 cpressey, this means that ctrl-d doesn't kill the program of course 20:34:01 Frac m1 0 * Frac 0 n2 = m1 % n2 20:34:01 Frac m1 n1 * Frac 0 n2 = 0 // ((n2%1)//(m1%n1)) 20:34:03 (//) :: WT -> WT -> WT 20:34:03 (Frac m1 n1) // (Frac m2 n2) = (m1*n2) % (n1*m2) 20:34:11 In general everything should reflect, not bomb 20:34:13 There's nothing inconsistent about treating 0/0 and its brethren that way. 20:34:13 I'm not done with * 20:34:20 Or is there? 20:34:21 Deewiant: Yeah, then we wouldn't have any wars. 20:34:23 Deewiant, well iirc you didn't catch SIGPIPE? 20:34:28 Deewiant, thanks. 20:34:33 fizzie, augh 20:34:34 fizzie: Exactly! 20:34:46 World peace via Befunge. 20:34:51 Deewiant, hey there 20:34:51 AnMaster: Might be, haven't tested. 20:34:54 Deewiant, wrong url 20:34:57 Deewiant, you meant "http://iki.fi/matti.niemenmaa/befunge/ccbi.html" 20:34:58 :P 20:35:06 uorygl: Who knows? 20:35:16 Deewiant, see, if you forget that yourself, don't complain when I don't use the perma link :P 20:35:19 AnMaster: They're equivalent, but no point in giving both alternatives on t he site. 20:35:25 AnMaster: Both are permalinks. 20:35:27 Well, see if those are associative, commutative, and distributive. 20:35:30 Deewiant, hrrm 20:36:04 uorygl: They are not distributive. 20:36:12 No? 20:36:13 I'm sacrificing that for having "coherent" division-by-zero. 20:36:18 uorygl: Uh, I don't think so... 20:36:20 Deewiant, works perfectly. Thanks. 20:36:25 What does the failure of distributivity look like? 20:36:32 dev_squid: No problem. :-) 20:36:36 I don't actually remember, I've been banging this out for a whole 20:37:08 *Main> 0*(1//(3//0)) 20:37:08 0 % 3 20:37:09 :( 20:37:15 Needs to be 1... or, wait, no. 20:37:16 AnMaster: It's just when I type them by hand, "deewiant" is shorter so I use that. 20:37:23 *Main> (3//0)*(1//(3//0)) 20:37:23 1 % 1 20:37:24 Yay!! 20:37:27 Deewiant, heh 20:37:32 *Main> (3//0)*(2//(3//0)) 20:37:32 1 % 1 20:37:33 Nay!! 20:37:44 uorygl: fixem 20:40:15 Meh 20:43:45 Sgeo__: ping 20:45:54 cpressey, beautiful. (http://pastie.org/850514) 20:46:32 why 00 at the start? Seems pointless 20:46:41 to push zeros on an empty stack 20:46:51 after all popping from empty stack yields zero 20:47:36 AnMaster: does cfunge optimize away pushing zero onto an empty stack? :) 20:47:45 What's with the infinite loop at the bottom 20:47:59 cpressey, that would take too long checking for! 20:48:02 Probably not worth optimizing that 20:48:04 Yeah 20:48:15 BUT THINK OF THE WASTED SPACE etc 20:48:20 cpressey, in an optimising JIT it might be worth it 20:48:28 cpressey, also, the stack size in y wouldn't work out 20:48:39 cpressey, and I just use ip->stack->top for it 20:48:50 (ip->stack points to TOSS) 20:48:59 AnMaster, true. 20:49:02 Ah yes, you can check for that can't you. It means zeros at the bottom of the stack have to be recorded somehow. 20:49:15 Recorded... with LOVE 20:49:24 cpressey, well yes, and that would mean another 8 bytes wasted! 20:49:27 Mycology tests that \ on an empty stack increases the stack size to 2 20:49:36 yes it does 20:49:45 which broke my optimisation of \ 20:49:50 which was peek, push 20:49:51 And mine :-) 20:49:56 instead of pop push push 20:50:39 cpressey, but cfunge does stuff like only shrink the bounds of funge space in case anyone looks 20:50:42 if (empty) push zeroes else peek push - might be faster 20:50:51 Deewiant, it's there because the interpreter doesn't seem to have a pause-at-terminate option. 20:50:57 Deewiant, I actually do that :P 20:51:06 AnMaster: :-) 20:51:20 dev_squid: Well yes, it generally assumes command prompt usage 20:51:29 dev_squid: You can always use ~ before @ 20:51:40 but that is wrong IMO :P 20:51:50 because normal usage is from terminal 20:51:53 Better than an infinite loop IMO 20:51:58 true 20:52:04 Deewiant, true. I just drag and drop. I'm lazy. 20:52:17 that seems like more working than just typing 20:52:21 Whatever floats your boat :-P 20:52:24 since you have the terminal open anyway all the time 20:52:36 I doubt he does 20:52:40 oh yeah windows 20:52:47 forgot windows terminal sucks 20:53:01 AnMaster: Please blow your predictable hot air elsewhere. 20:53:04 Yes, Windows sucks. We get it. 20:53:09 alise, I didn't say that. 20:53:12 But it's really not interesting, that it sucks. 20:53:12 Deewiant, if you want to get technical, ~ is, itself, and infinite loop. 20:53:17 alise, what I said was that cmd.exe sucks 20:53:26 "since you have the terminal open anyway all the time" is obviously just prelude to "OH LOL WINDOWS SUX" 20:53:43 alise, and if you disagree with that cmd.exe sucks, please explain why 20:53:47 dev_squid: How's that 20:54:02 I'm so oldschool, I don't use a desktop environment on my Linux platform. /flex 20:54:17 AnMaster: command.com is worse 20:54:22 Deewiant, true 20:54:32 -!- asiekierk has quit (Ping timeout: 240 seconds). 20:54:46 heh, like the programming teacher at university. He used twm. I was really surprised first time he hooked up his netbook to the projector.... 20:55:06 What's wrong with twm? :-P 20:55:16 Deewiant, very funny 20:55:22 Deewiant, well, ~ is an infinite loop that breaks when stdin changes. 20:55:23 Deewiant, ask alise instead 20:55:28 dev_squid, what? 20:55:39 dev_squid, ~ just waits, it doesn't busy loop 20:55:43 dev_squid: Well, semantically, I suppose you can say that 20:56:05 It's an argument from convenience, of course 20:56:14 `translate B skal straks se film med C. 20:56:24 B must immediately watch movies with C. 20:56:35 uorygl, if that is Swedish, it is extremely confusing... 20:56:41 Oh? 20:56:44 AnMaster, ~ doesn't halt the program (interpreter). It sends it into a loop that breaks when you input a character. 20:56:57 AnMaster, execution never halts. 20:57:11 `translate Hva de skal se, vites ikke enda! 20:57:13 What to see, is not known yet! 20:57:17 Is "skal" Swedish in that kind of meaning? I think not. 20:57:27 uorygl, "B shall/bark straks view movie with C" 20:57:33 uorygl, where "straks" doesn't exist 20:57:58 From the second example I am convinced that this is Norwegian 20:58:03 uorygl, wait, it isn't shall or bark 20:58:05 uorygl, it is "shell" 20:58:11 uorygl, since there is only one l 20:58:12 Yep, in Swedish 20:58:15 I guess it's not Swedish, then. 20:58:20 It's Norwegian. 20:58:29 Deewiant, probably 20:58:32 or Danish? 20:58:44 I'm pretty sure "hva" is only Norwegian. 20:58:54 `translate Hva de skal se, vites ikke enda! <-- yeah that looks like Norwegian indeed 20:59:35 Jatsu tsappari dikkari dallan tittari tillan titstan dullaa, dipidapi dalaa ruppati rupiran kurikan kukka ja kirikan kuu. 20:59:46 uorygl, I defer to Deewiant on that one 20:59:48 :P 20:59:54 It's from Ievan polkka 21:00:08 Deewiant, and what is that? 21:00:17 It's Finnish that doesn't mean anything, I think. 21:00:19 A song 21:00:23 Deewiant, I see 21:00:27 http://leekspin.com/ 21:00:42 <3 21:00:43 uorygl, ? Missing plugin? 21:00:47 And yes, it's just onomatopoeic, it doesn't mean anything 21:00:59 uorygl: <3 21:01:14 uorygl: Nice subversion :P 21:01:15 LOVEFEST 21:01:19 The leekspin one is a sped-up version of the Loituma one, IIRC 21:01:38 Might not be sped up, can't remember. 21:01:41 Is it sped up? 21:01:54 You want me to check? :-P 21:02:43 It doesn't seem to be sped up. 21:02:45 -!- cmeme has joined. 21:02:51 That one isn't, at least. 21:03:02 I seem to recall a version that was but maybe I'm thinking of something else 21:03:16 Nuapurista kuulu se polokan tahti jalakani pohjii kutkutti. 21:03:32 Ah, I actually think I'm thinking of caramelldansen 21:04:11 "From the neighbour's sounded the polka's beat the bottoms of my feet were tingling" or something to that effect 21:04:46 The translation I saw was something like ". . . and set my feet a-tapping, oh!" 21:05:02 -!- MigoMipo has quit (Read error: Connection reset by peer). 21:05:17 That's less direct a translation but equally valid I suppose 21:05:27 * uorygl nods. 21:07:05 -!- cal has joined. 21:07:05 -!- cal has quit (Client Quit). 21:08:55 Deewiant: you should host an .html file for me. In return, I will grant you: ONE (1) KITTEN UNICORN 21:09:15 Sounds nifty. What .html? 21:09:46 It's called files-suck.html and it is about how files suck. 21:09:57 Yes, I realise that it is itself a file. 21:10:02 I blame society^Woperating systems. 21:10:28 lawl, I'd love to see this :P 21:10:30 You want this permanently hosted or why're you asking me? 21:11:17 Well, because I'm not entirely sure who else to ask. There isn't an htmlpaste.org or anything :P 21:11:29 Gregor: THEN HOST IT 21:11:40 There should be an htmlpaste.org. 21:11:44 Does it lose much in plaintext form, then? :-P 21:11:56 Beautiful typography :| 21:12:05 -!- augur has quit (Read error: Operation timed out). 21:12:13 And ITALICS 21:12:51 I'll host it if I get to put a CSS saying * { font-family: monospace } associated with it 21:13:01 If you do that I verily will cry 21:13:23 How about font-face: Comic Sans 21:13:35 That works too I suppose 21:13:35 "Google is working on strong AI in the same way that NASA is working on interplanetary travel. Not yet, but...someday. They're working on the smaller problems that need solving, and eventually they'll put it all together." —Norvig 21:13:35 I sure hope they know how to make individual components Friendly. 21:13:40 Gregor: HOST IT 21:13:54 uorygl: Host it — in SPACE. 21:14:33 Can I host it at http://codu.org/stupid-nonsense/files-suck.html 21:14:40 Host what? 21:15:01 uorygl: It's an .html file. 21:15:30 Host it on Normish. 21:15:57 But I forgot every single thing about Normish. 21:16:42 Like its IP address? 21:16:48 Well, for one. 21:17:00 Its IP address can be found somewhere in #rootnomic. 21:17:28 -!- dev_squid has quit (Ping timeout: 260 seconds). 21:18:15 why isn't there Comic Sans Mono? 21:18:18 I mean, combine them 21:18:21 X-D 21:18:25 Best worst idea ever. 21:18:31 ow 21:18:40 I ostensibly own normish.org and all, but I can't be bothered trying to figure out who I have it registered with. 21:18:48 Gregor, should be a bitmap font of course 21:18:52 :D 21:19:06 YES. 21:19:36 Gregor, and the official name should he the full old style X font string 21:19:45 -!- dev_squid has joined. 21:19:47 YES. YES YES YES. 21:20:00 AnMaster: You are my temporary hero. :P 21:20:09 Gregor, and we should force alise to actually make this font for us 21:20:14 in return for hosting that thing 21:20:24 (and that thing should be forced to use this font) 21:20:34 of course, it had to be done propertly according to specs 21:20:39 alise: I suggest a data URL. 21:20:40 Because finding a way to host a file is sooooo difficult :P 21:20:41 Befunge question. What's a good tactic to use when you're trying to print a fixed number of ASCII characters from the stack? 21:20:42 Fixed. 21:20:46 pikhq: Way too big 21:20:57 Point a CNAME record at a data URL. 21:21:02 dev_squid, why fixed? But for 98? k 21:21:07 :P 21:21:15 dev_squid: Befunge-98: push the number of characters minus one, then use "k," (without the quotes) 21:21:22 dev_squid, for 93, I would do a 0gnirts instead 21:21:33 alise: Oh, hey. http://pastehtml.com/ 21:21:35 uorygl: CNAMEs don't point at URLs 21:21:48 pikhq: The main person who needs it may technically already have it. 21:21:51 >_> 21:22:08 Hence the :P 21:22:15 AnMaster, 0gnirts? 21:22:26 dev_squid, 0"string goes here" 21:22:29 So, yeah. Pastey? 21:22:29 dev_squid: 0-terminated string stored last-to-first 21:22:38 dev_squid, well that is 0"gnirts" of course 21:22:42 I.e. first character on top, so it's easy to print 21:22:45 Deewiant, then you can use the common idiom for it 21:22:53 AnMaster, yep. Okay. :) 21:22:53 Deerr 21:22:54 err 21:22:55 AnMaster: I know this. 21:22:55 dev_squid, ^ 21:22:57 :-P 21:23:02 De :P 21:23:06 and "last spoke" 21:23:22 dev_squid, anyway: the idiom being >:#,_ 21:23:25 Maybe you should read what you type 21:23:31 (mirrored and vertical versions exist) 21:23:37 AnMaster, oh, I'm so dumb. I was thinking "Crap, if I use >:#,_ then I'll run into my other data" 21:23:45 I just push a 0 before...*facedesk* 21:23:46 Deewiant, no, I read what other people say while I'm typing 21:23:46 :) 21:24:07 AnMaster: Maybe you should glance over your line on occasion 21:24:15 I have no trouble reading both at once 21:24:30 Just point one eye at each thing you want to look at. 21:24:31 Deewiant, well sure, but then you have to disconnect your eyes 21:24:39 uorygl, hah, beat you to it! 21:24:42 by half a second 21:24:45 On the contrary. 21:25:01 AnMaster: You lost from my POV 21:25:05 uorygl, well, lag means we will never know 21:25:14 who was truly first 21:25:20 * Ping reply from uorygl: 1.08 second(s) 21:25:39 I have about a hundred milliseconds of "extra" lag. 21:25:43 More like there is no "truly first" 21:25:53 Deewiant, oh? 21:25:56 Why Files Suck: http://pastehtml.com/view/5tmr7u1.html 21:26:01 Have at it, you gallery of peanuts. 21:26:12 alise, why is it like very narrow 21:26:14 it looks weird 21:26:17 in my browser 21:26:20 -!- cpressey1 has joined. 21:26:26 30em ~= 10 words a line ~= best typographical reading width. 21:26:30 Look at a book's width sometime. 21:26:34 alise, why not center it in the window 21:26:40 rather than have it aligned out at the edge 21:26:50 that way I have to turn my head slightly to read it 21:26:50 Dunno. Didn't feel like it. Would look weird with ragged-right text, anyway. 21:27:02 not comfortable for long sections 21:27:13 alise, why not adjusted margins? 21:27:33 Browsers are really, really bad at justified text. 21:27:36 * AnMaster is forced to un-maximise browser window and move it so the text is near the middle 21:27:45 Oh, the horror. 21:27:46 alise, why don't they just implement the TeX algo? 21:27:51 Because that's hard. 21:28:33 "A superior way to represent [a collection of unordered photos] would be as an unordered bag." 21:28:37 How would that be easier for anyone? 21:28:53 My browser size was already 797x358 or thereabouts 21:28:55 alise, indeed. You know why Hitchcock never made a horror/thriller about unmaximising the browser window? 21:29:02 alise, well, because it was too horrible of course 21:29:05 Just double-checking...if I use a null-terminates string with >:#,_ the 0 will be popped off, right? 21:29:09 Or because they didn't have browsers then :P 21:29:14 alise, well that too 21:29:30 uorygl: No needless arbitrary naming with the disadvantages given; it fundamentally is an unordered bag 21:29:34 dev_squid: No, it won't. 21:29:41 dev_squid, well, yes but also duplicated before that 21:29:43 Append a $ for that 21:29:46 so there will be one zero at the end 21:29:51 uorygl: Anyway, I think I come back to that later. Maybe. 21:29:57 Deewiant, the zero *will* be popped off, just not the last zero 21:30:01 since it was duplicated 21:30:12 AnMaster: "the" zero that was there originally is not popped off 21:30:16 -!- cpressey has quit (Ping timeout: 268 seconds). 21:30:27 alise: so the lack of any way to refer to a specific file using a string makes things easier for the user? 21:30:28 AnMaster, oh I see. 21:30:30 Deewiant, well, depends on how : is implemented 21:30:31 :P 21:30:45 Semantics, not implementation details, please. 21:30:54 uorygl: Meaningless. My proposed system has no "files". 21:31:06 alise: so the lack of any way to refer to a specific photo using a string makes things easier for the user? 21:31:06 Anyway read the rest before making a judgement based on the incomplete impression of the proposed system you have 21:31:14 Sure. 21:31:16 uorygl: I never suggested there was such a lack. 21:31:19 dev_squid, but Deewiant's answer is actually more useful than mine. Mine is just trying to answer to something else by exploiting loopholes in the question :P 21:31:26 Anyway, it does not propose a solution. 21:31:33 It says /why/ we need a solution, and some aspects it should have. 21:32:08 Okay, so to review, the right-to-left version of >:#,_ is _!,#: right? 21:32:13 -!- cpressey1 has changed nick to cpressey. 21:32:15 Nope 21:32:41 alise, photos often have inherent ordering due to "taken before/after" 21:32:49 dev_squid: It's _,#! #:< 21:32:53 That's one particular ordering you can give them. 21:33:00 Not an /inherent/ ordering. 21:33:04 alise, the one the camera gives them and a rather useful one 21:33:10 but sure 21:33:51 Deewiant, yeah, I just found the flaw. :) 21:34:23 alise, also, for many purposes a directory/file name model fits very well 21:34:43 AnMaster: Firstly, no it doesn't. Secondly, that doesn't mean there aren't better structures. 21:34:52 alise, like, "project/{source_data.csv, report.tex}" 21:34:54 or such 21:35:02 Sure. That's just a hierarchy. 21:35:10 of course, the file extension is another matter 21:35:18 Here it is in OOP: project.source_data is-a Table 21:35:23 project.report is-a TypesetDocument 21:35:32 OOP is just one way you could represent that, of course. 21:35:36 alise, typeset with what system 21:35:42 It was an example, dammit. 21:35:45 :P 21:35:59 So, you say that a superior way to represent the collection of photos would be as an unordered bag. 21:36:10 alise, why not Document.Type.TypesetDocument.TeX.LaTeX? :P 21:36:14 A directory full of files *is* an unordered bag, except that each file has a unique label. 21:36:24 -!- augur has joined. 21:36:31 As far as I know, those labels never get in the way of anything. 21:36:42 uorygl: Here is an example path — just one of many possible sort of syntaxes — you could use. 21:36:43 alise, as opposed to Document.Type.TypesetDocument.TeX.ConTeXt or Document.Type.TypesetDocument.roff.nroff 21:36:54 photos.select {takenAt==exactTimestamp} 21:36:56 (or should that last one just be troff?) 21:37:00 Perhaps my example was not the best. 21:37:05 My other points apply regardless, though. 21:37:06 alise, ah, object database 21:37:09 I see what your aim is 21:37:13 AnMaster: No, that's ONE EXAMPLE. 21:37:14 I hate OOP. 21:37:16 I don't want OOP. 21:37:19 ah okay 21:37:21 But most people understand OOP. 21:37:33 Most people wouldn't understand my system without lots of backstory to how it works :P 21:37:34 alise, anyway the file name isn't used to order the files 21:37:45 Never said it was. 21:37:54 I guess programs have a reason for storing stuff in databases rather than directly in files. 21:38:04 In a collection of photos, no photo has an inherent “name” — one must be constructed from some arbitrary properties of the photo. If the properties are not chosen well enough, there might even be conflicts. These are usually resolved by appending a meaningless number to the photo considered later — even though there is no inherent ordering. 21:38:06 The point is 21:38:11 we save photos to disk in a certain arbitrary ordering 21:38:23 we append -1,-2, etc when we've already seen a photo with the same generated name 21:38:28 uorygl, well, ACID is a pretty good reason for some usages 21:38:35 but "which ones have -1" is completely arbitrary and stupid 21:38:37 because there is no ordering 21:38:44 we're exposing an implementation detail of the disk-saver 21:39:00 Hmm, I like the idea of not exposing implementation details. 21:39:17 -!- MigoMipo has joined. 21:39:26 alise, there are good reasons to store images as png rather than raw uncompressed bits 21:39:32 AnMaster: Read on. 21:39:33 Read on. 21:39:37 Read the whole section before commenting! Jesus. 21:39:51 It's not a long article, and it covers that point :P 21:39:55 alise, also, what is the image format you suggest? What about 32 bit floating point numbers per channel? 21:40:01 READ 21:40:01 ON 21:40:16 Reading about Objective-C and how "transparent" it is really made me... 21:40:24 Just one more question. What if I want to subtract a number and an already-pushed number in the reverse order that - does the job? 21:40:25 uorygl: ...ontologise? 21:40:30 Think about C and its pointers and how they're really inconvenient for a certain niche purpose. 21:41:03 Also, although I doubt anyone here will ever want to link to this piece of complete and utter tripe :P, http://catseye.tc/ehird/files-suck.html is now a more permanent home for it. Thanks cpressey! 21:41:40 alise, if I just dumped some of those panoramas I made to disk I would get images half a GB large. That is why you use deflate on them. Even between the programs used to operate on said files. 21:41:49 Okay, I will say this one last time. 21:42:04 I'm at the next section now 21:42:04 Until you read the entire thing /I will not answer anything more you say about it/ because this is /covered/. 21:42:52 "Surely the very fact that we so often forget to save our files should set alarm bells off in the mind of anyone who wants to improve user interfaces."? 21:42:54 that isn't true 21:43:02 I usually save every half minute or such 21:43:13 "We" is not "you" 21:43:36 Deewiant, you forget to save files? 21:43:44 I never met anyone that had that issue mentioned there really 21:43:46 "We" is not "me" either 21:44:14 I've heard of people losing significant amounts of data come power failure or similar 21:45:20 so I read it all 21:45:31 alise, how would this transparent compression/parsing work then? 21:45:56 alise, would it be in the OS? 21:46:00 alise, now I read it all 21:46:03 so you have to answer 21:46:25 alise's wording is so hilariously whiny that it's hard to figure out what parts are the actual arguments and which parts are just whining :P 21:46:32 Gregor, true 21:46:46 and the whole thing breaks down because there aren't common formats for many purposes 21:47:21 would there be a OS level supported document.cas for mathematica and maxima? 21:47:34 (never mind that those aren't compatible in design at all) 21:47:53 and then, png can't be used for HDR images 21:48:04 due to a lack of support for such things as floating point values per channel 21:48:44 and the number of data formats that could be somewhat commonly supported is huge. And should you use lossy or loseless? 21:49:00 Presumably, mathematica has a data structure it stores notebook files in. 21:49:24 alise, also png doesn't support layers for example 21:49:36 would you use xcf or psd? Or something that supported both? 21:49:57 You assume that there is one single type to represent images for everyone. 21:50:01 alise, no 21:50:02 You assume there is only one format per single type. 21:50:03 I don't 21:50:09 Yes you do because your arguments are based on that. 21:50:15 but I point out that apart from common data interchange formats this breaks down 21:50:35 "[21:47] AnMaster: and then, png can't be used for HDR images" 21:50:40 So HDRImage doesn't support the PNG backend. 21:50:51 alise, What exactly is HDRImage? 21:50:55 that sounds like a single thing 21:50:57 which it is not 21:51:03 And if you want to process HDR images in a special way that some standard HDRImage class wouldn't work for, just have your own HDRImage in your thing. 21:51:14 -!- ruhtranayr has joined. 21:52:43 alise, sorry, but that statement doesn't mean anything until you define what you suggest a "standard HDRImage class" would be able to do 21:52:49 Not a class. 21:52:59 alise, I copied that from you 21:53:02 The vector class in a standard library may not be appropriate for all uses of vectors. 21:53:09 indeed 21:53:10 Which is why you make your own if it's not suitable. 21:53:12 Duh. 21:53:35 alise, well, but point is then you need to define your own way to serialise it 21:53:41 No. 21:53:54 All objects have a common serialisation format. If you want to use the standard image backends, call them according to their interface. 21:53:56 because what you don't want to do is store any HDR image raw. 21:54:00 My second Befunge program. :) 21:54:01 http://pastie.org/850663 21:54:05 that 500 MB is *after* deflate 21:54:06 not before 21:54:10 See above. 21:54:14 before is several times larger 21:54:25 alise, then you need to interface with it 21:54:34 AnMaster: Deflate is a piss-poor compression format for most anything. ;) 21:54:48 AnMaster: Trivial. Defining such a custom representation should not be very common, anyway. 21:54:53 There will be a library entirely for it, most likely. 21:54:53 pikhq, you know png uses it? And that works out quite well 21:54:55 dev_squid: Note that if you don't really have a need to head left after printing, you can also use >:#,_v#: which heads down at the v when it's done 21:55:12 AnMaster: Still crap. 21:55:16 pikhq: I take it you, being sane, have mostly no objections to the article :P 21:55:23 pikhq, also, since tiff is the common format here, you have basically packbits, lzw deflate to select from 21:55:30 alise: Eh, it's a bit whiny. But *shrug*. 21:55:31 pikhq, and there, deflate beats the other ones 21:55:41 I meant the contents, not the whininess. 21:55:48 Mmm. 21:55:52 Not especially. 21:56:25 I didn't write it to be whiny, anyway. Maybe it's just because I'm almost certain I'm right :P 21:56:30 alise, I always found file systems a very nice way to organise data though. *shrug* 21:56:34 Either that or I'm inherently whiny. 21:56:39 alise, the latter! 21:56:57 AnMaster: 1, you don't know any better systems. 2, we've established that you're basically designed for using Unix. 21:56:58 alise, also, go implement it 21:57:02 AnMaster: I find that file systems work very well for organising very specific forms of data. 21:57:03 That just makes /you/ faulty. :-) 21:57:04 AnMaster: I am. 21:57:11 alise, I do like plan9 though 21:57:12 Anything inherently hierarchical, basically. 21:57:14 I have to write the principles to create a design to implement it. 21:57:27 pikhq: Which is no reason to make everything a tree, of course. 21:57:33 alise, I just don't want to use it for daily use due to the lack for certain things, like supporting my disk controller 21:57:39 I find that hierarchical file systems fail where hierarchies fail. 21:57:40 alise: Yes. Just saying they work very well when a tree is natural. ;) 21:57:45 (at least last I checked) 21:57:50 Trees: Good for representing trees. 21:57:54 pikhq, yes 21:58:00 alise: Yes. 21:58:09 Yes. 21:58:48 * pikhq would like to see an OS where you just stick values in data structures when you want them to be organised somehow. 21:59:16 pikhq, that is scheduled to be invented right after the "do what I mean" operation 21:59:19 What if I "p" a null or non-printable ASCII character to a position? Will the rest of the line shift left? 21:59:19 Hi, my OS here. I'd ask you to purchase me, but it's free. 21:59:26 AnMaster: What? You believe serialising data structures is hard? 21:59:28 pikhq, still a few years off sadly :P 21:59:33 Uh. 21:59:35 alise, no... 21:59:39 Orthogonal persistence: Yeah, serialise objects to disk. Easy. 21:59:44 I'm asking for freaking Smalltalk. 21:59:48 A user interface where you create a data structure: That's what ... most UIs are. 21:59:55 pikhq, ah, then I misunderstood you 22:00:18 I just want to say "I want these images organised into a single group. I'll stick them into a bag." 22:00:31 pikhq, I thought you meant like "here are some data structures with values, organise them in a sensible way" 22:00:49 Nope. I want "Here are some values, stick them into this data structure." 22:00:50 my os is #usys btw, in case i haven't said that enough already 22:01:11 pikhq, well, try mov ;P (intentional misinterpreting) 22:01:38 "Saving"? Bah. That's sync. 22:01:54 Saving? Bah. That's done quicker than you can even notice. 22:01:58 actually saving makes sense sometimes 22:02:02 By the computer. 22:02:04 consider a database transaction 22:02:10 you want things either complete or not done at all 22:02:13 "Saving" is an action derived from my level of interest in the data. 22:02:15 of course, that isn't the common case 22:02:27 Incidentally, such an "auto-saving" system of course requires revision history. 22:02:32 What if I "p" a null or non-printable ASCII character to a position? Will the rest of the line shift left, potentially changing program flow? o.o 22:02:39 Or just deleting the entire contents of a document would permanently erase it; obviously untenable. 22:02:43 alise: I'm saying "Saving? Isn't that just making 100% sure it's on disk? ... So, sync()." 22:02:46 So we have everything versioned! 22:02:46 alise, you know how long saving a 700 MB image in RAM to disk takes? 22:02:47 Woo hoo 22:02:54 dev_squid: No, you just get a weird character at that location. 22:03:03 alise, even with no compression 22:03:07 AnMaster: One, deduplicative storage (plan 9 already does basically what i'm saying and it uses deduplicative storage 22:03:08 ) 22:03:10 Two, background tasks 22:03:16 Three, compression if it would work well 22:03:16 dev_squid: You can read it back with "g", or try to execute it (at your peril) :) 22:03:27 AnMaster: More than it takes to record a 10k modification transaction to that image on disk. :P 22:03:41 alise, 1) doesn't really work well when the data moved inside a block (and you can't do it per byte for obvious reason) 22:03:51 AnMaster: Yes it does. 22:03:57 Log storage. 22:04:02 Four, it's stored in the cloud anyway. 22:04:08 These are solved problems. :) 22:04:13 * alise stabs cpressey to death. Fatally! 22:04:17 Argh! 22:04:29 pikhq, well sure... that would take long to rerun! That switch from one colour space to another 22:04:33 changing all the values 22:04:36 pikhq, :P 22:04:54 I think it's safe to just assume that for anything even remotely in this vicinity, "AnMaster doesn't get it" is pretty axiomatic 22:05:02 * cpressey tries to regain credibility by explaining it's an actual cloud 22:05:22 cpressey: I like your thinking. 22:05:23 alise, I do see how it works for some cases. I just think the problems it solves are less than the new problems it introduces 22:05:26 You're promoted 22:05:32 AnMaster: So clearly if you want fast access, you then have (in the background) a write of the switched-colour-space file. 22:05:45 AnMaster: The existence of Plan 9 and its use by people for actual work using venti/fossil prove that this is a solved problem. 22:05:53 Because it does exactly this method of deduplicative storage. 22:06:03 alise, I never said venti was bad. On the contrary 22:06:05 I love venti 22:06:06 Solved problem. Seriously. Not interesting. No point discussing, because it's solved. 22:06:11 AnMaster: IT DOES EXACTLY WHAT I'M SAYING! 22:06:13 I just think there are good and bad usages for it 22:06:17 And if you wish to save space somehow, then you make the previous modification into a modification transaction that undoes that. 22:06:22 You haven't even used it for serious stuff 22:06:28 you just read about it on wikipedia, anyway 22:06:38 cpressey, cool, cool. A VERY neat thing would be being able to "p" a some char to a line, shifting the rest of the line left. That'd make for some very cool SMC. :) 22:06:39 alise, I have used it in qemu 22:06:45 and I liked it 22:06:47 Yeah, to create a hello world file 22:07:01 alise, ... why do you love making up shit? 22:07:01 dev_squid: The TOYS fingerprint has instructions for shifting lines and columns 22:07:29 AnMaster: Because I realised this conversation was fruitless some years ago 22:07:55 alise, maybe you would get more people interested if you wrote it in a less whiny style 22:08:02 it shouldn't be hard 22:08:39 It's only whiny insofar as I've thought about these concepts for ages and ages now so my presentation isn't very gentle 22:08:51 If I wanted to be a describer I wouldn't be a programmer 22:09:21 alise, further, yes I agree on *some* points, but far from all. Most importantly that while I agree file systems are suboptimal, they are better than the alternatives I have seen so far (venti is nice for some purposes, but have fun using it a partition with scratch data, like /tmp) 22:09:29 How are the coordinates calculated for "g" and "p"? 0,0 | 0,1 // 1,0 | 1,1 ? 22:09:32 :) 22:09:44 That being the first line, first character. :| 22:09:55 AnMaster: Of course existing solutions suck, that's why I'm building a better one 22:10:02 If there was an OS that didn't suck I wouldn't be making one 22:10:04 alise, describe it 22:10:16 on a concrete level 22:10:25 I haven't fully formulated it yet, only several outline designs, some concrete details, and some plans to combine them. 22:10:37 okay, that's a good start I guess 22:10:43 So what the fuck am I meant to do, ignore the problem just because I'm not some magician who can pull a fully concrete solution out of thin air? No 22:10:45 but can you provide the outline 22:10:56 alise: There's a difference between blunt and whiny. 22:10:58 I do wonder if I'm patient enough but I could explain one. 22:11:02 Gregor: Yeah, well, I'm whiny. 22:11:04 Gregor, agreed 22:11:11 Deal with it. :p 22:11:25 well, we can whine about you being whiny, can't we? 22:11:29 that way it evens out at least 22:11:42 alise: If you want our opinion, it is not our job to conform to you, it is your job to conform to us. And if you don't want our opinion, then why did you publish that file in here? 22:11:53 I wrote it for one person actually per their request 22:11:57 I posted it because I felt like it. 22:12:13 Perhaps somebody would be converted. 22:12:17 AnMaster: Sure. 22:12:57 I'll only explain the design in #usys because it'll be bad enough dealing with one set of stupid questions (I am a lovely and compassionate person) 22:12:58 If you have any desire to convert anybody, you'll have to write something a hell of a lot more compelling. I have no idea if the actual concepts you espouse are flawed, because I can't find them, I can only find your complaints about files, most of which seem to me to be unfounded and shortsighted. 22:13:15 Gregor: Just like your mom 22:13:23 "Author does not appear to have defined a reduction for *[a b], which appears to render much of the post meaningless. Too much raw pork & opium?" 22:15:00 alise, and, most data I need to store tends to form a tree. Even photos. It goes like panoramas//{output/final.tiff,{raw,intermediate}//} 22:15:16 so store it in an ordered list 22:15:26 alise, the last part, sure, that could work for it 22:15:33 the previous parts form a neat tree 22:15:35 and so store it as a tree-like structure 22:15:50 but if trees containing strings are so good, why don't you program in them? 22:15:57 Why do you use data structures, types, depending on the need? 22:16:04 alise, but then, why should I have to bother about data types. Which way is fastest for me to do it in? 22:16:21 So, what, you don't like C and Erlang? They have data structures, you know. 22:16:36 alise, I don't feel a need to program my file system 22:16:43 as in, I don't see it as a programming language 22:16:56 Your data structures in your program are the exact same kind of data as on a filesystem. 22:17:04 in some ways yes 22:17:10 In fact I really should heed my realisation that this is fruitless and stop talking. 22:17:11 alise, but what about taking notes on paper 22:17:18 do you organise it in data types there? 22:17:24 or do you just write it down 22:17:24 >_< 22:17:25 You're an idiot. 22:17:41 alise, no, the analogy is just as bad as your one 22:17:46 well, okay, it is a parody of your 22:17:50 so somewhat worse 22:17:53 If writing to paper involved taking all the things you're going to talk about and organising them into one, single-d alphabet with little relation to the actual semantics... sure. 22:17:54 not much though 22:18:07 Do you convert a mathematical formula before writing it down? No, you just write it down. 22:18:08 alise, no I meant, writing down notes during a lecture 22:18:10 It is structured. 22:19:23 alise, yes, but hardly in the way you suggest 22:19:29 now I'm going to sleep 22:19:31 night → 22:19:41 Thank god, the tedium is over. 22:19:59 I should have stuck to keeping everything about the OS private, but that just resulted in "hur where's your os mr project b slo". 22:20:12 alise: Eh, just write some code. :P 22:20:54 To do what? Until I can answer that question it is hopeless. 22:25:17 I do have a general idea how the system should be structured 22:25:24 s/ $/, though./ 22:26:05 -!- Oranjer has joined. 22:43:53 -!- MizardX has quit (Ping timeout: 260 seconds). 22:46:33 Maybe I need to write Why Files Suck 2: Electric Boogaloo^W^WThe Better System 22:48:02 -!- MigoMipo has quit (Remote host closed the connection). 22:48:50 do it 22:48:59 no, too much work. 22:50:01 -!- coppro has joined. 22:50:35 well, don't write it, just sketch it out 22:51:08 -!- tombom_ has quit (Quit: Leaving). 22:54:48 Meh. I'd prefer to work on the actual system. 22:55:46 then do that 22:57:28 -!- Asztal has joined. 22:58:39 I am. Sort of. 22:59:12 yay 22:59:13 -!- Azstal has quit (Ping timeout: 265 seconds). 23:02:30 -!- Azstal has joined. 23:04:37 -!- Asztal has quit (Ping timeout: 268 seconds). 23:08:57 -!- oerjan has joined. 23:10:11 -!- Gracenotes has joined. 23:10:23 I started defining an extension of the rationals with n/0, then I ended up having to define 0/n as special too. Now I'm having to define 0 =/= -0. 23:10:37 have you looked at wp:Wheel Theory ? 23:10:39 NULLITY 23:10:55 (essentially the same as nullity, but sane) 23:11:46 iirc about that nullity thing and it's 0/0 != 0/0 23:11:51 *its 23:12:33 although i _think_ it has only 0/0 and 1/0 for the rationals 23:14:31 s/it/wheel theory/ 23:16:29 I assume they satisfy 0*(n/0) = n. 23:16:42 I want to learn an esolang that's fun and makes programming a challenge. Any suggestions? 23:16:53 no one seems to have mentioned unlambda yet 23:17:31 alise: i guess it's all in what algebraic properties you preserve and which you discard 23:19:49 yours is going to break at least one of associativity and commutativity i think 23:20:46 0*0 = 0 => n = 0*(n/0) = 0*0*(n/0) = 0*n = 0 23:21:10 0*n =/= 0 in general 23:21:25 even for n an ordinary rational? 23:21:28 in fact there is no real one "0" 23:21:35 although 0/1 is usually what you think of 23:21:37 there's 0/n for all n 23:21:40 oh well 23:21:47 0/0 is special though... and behaves rather erratically 23:22:47 well something's going to be 23:23:10 oh, and 0/n != 0 23:23:28 because (n/0)^-1 = 1/(n/0) = 0/n and so (0/n)*(n/0) = 1 23:23:30 hm i guess that's obvious 23:24:00 I determined, I think using regular rational addition, that (m/0)+n = (m+n)/0, also 23:24:24 When you start doing things like (3/0)/(0/0)*(0/3), though, I have no fucking clue what the result is 23:24:45 that sounds like one of the wheel theory axioms 23:25:23 I derived it :P 23:25:48 hm not quite 23:26:46 if (x/0) exists then (x/0)^-1 exists. n^-1 = 1/n. 1/(x/y) = y/x. x*(1/x) = 1. therefore (x/0)^-1 = 0/x, and (0/x)*(x/0) = 1 23:27:36 what is this about (x/0) existing? 23:27:56 if that's associative and commutative, then everything having an inverse forms a group 23:27:58 hahah 23:28:27 Gracenotes: Step 1. Define x/0 to work. Step 2. Find a contradiction. Step 3. Mess with shit until it works. Step 4. Go to step 2. 23:28:53 Oh, and if you ever end up messing with shit so that 0 =/= -0, you lose. Mess with some other shit. 23:29:02 so what is the shit you've messed with 23:29:23 Well... 23:29:28 ℝ \ {0} is a group btw :o 23:29:29 We'll do it in terms of multiplicative inverse. 23:29:49 0^-1 = 1/0 23:30:00 (1/0)*0 = 1 23:30:13 (n/0)^-1 = 1/(n/0) = 0/n 23:30:19 (0/n)*(n/0) = 1 23:30:34 ((use the definition of rational addition here to derive:)) 23:30:45 (m/0)+n = (m+n)/0 23:30:53 And so on. 23:33:08 I'll leave oerjan to find the next contradiction :P 23:33:28 Oh, and n*(0/n) = 0. Obviously. 23:33:39 Otherwise it wouldn't be division, would it? :P 23:34:13 n*(0/n) = 0, 0*(n/0) = n. Plugging in n=0, we get overwhelming support in favour of 0*(0/0) = 0. 23:34:26 Since we have 0/n for every other n, we have 0/0 too. 23:34:30 I forget exactly how it's special. 23:34:51 i cannot deduce contradictions without axioms 23:34:52 (0/0)^-1 = 1/(0/0) = 0/0 23:34:57 so (0/0)*(0/0) = 1 23:35:05 oerjan: Infer them sucka :P 23:35:27 i am going to assume that multiplication is an abelian group 23:35:37 Hey, that gives you 0/0 = 1, pretty trivially. 23:35:44 hm yeah 23:35:45 But that breaks things so ssssh 23:35:49 oh 23:35:50 (I think it does, at least.) 23:35:57 I haven't found any breakage 23:36:01 so feel free to assume 0/0 = 1 :P 23:36:01 well then i found one didn't i >:) 23:36:19 Also when I say an integer I mean n/1. 23:36:25 Obviously. Anything else would be ridiculous. 23:37:03 is 0 + x = x ? 23:37:19 Which 0 do you mean? 0/1? 23:37:27 0/n>1? 23:37:32 hm 23:37:38 The 0/ns aren't really 0, though. 23:38:02 (0/n)*(n/0) = 1, whereas (0/1)*(1/0) = 1... er... okay. 23:38:08 But they aren't 0, so there. 23:38:13 They're some weird fractional 0. 23:38:19 x/y = x*(1/y) ? 23:38:22 0 + x = x, sure. 23:38:31 oerjan: Yes; I've defined all this in terms of multiplicative inverse. 23:38:45 Also, no additive inverse. Too Complicated For My Poor Brain. 23:38:55 (You get 0 =/= -0 pretty easily) 23:38:56 0/0 = everything, obviously 23:39:07 0/0 = 1, actually. Has to be in this system. 23:39:25 1/(n/0) = 0/n, (0/n)*(n/0) = 1 23:39:36 so 1/(0/0) = 0/0, and (0/0)*(0/0) = 1 23:39:39 and 0*(0/0) = 0 23:39:43 so it's 1 23:39:50 coppro: remember, 0*x =/= 0 all the time in this 23:40:26 except for x = 1, i assume 23:40:46 (0/1)*(1/1) = 0, yes. 23:40:52 But (0/0)*(1/1) = no fucking clue. 23:41:02 er, wait 23:41:04 that's 1*1 23:41:13 (0/0)*(1/1) = (1/1)*(1/1) = 1/1 23:41:20 (0/2)*(1/1) = beats me 23:41:34 i've seen nothing so far to disprove that multiplication is an abelian group (with 1 as identity) 23:41:49 i ended up having multiple multiplicative or additive identities iirc at one point 23:41:53 which means the latter is 0/2 23:41:55 and broke stuff trying to fix that 23:42:10 oerjan: it's an abelian group on ℝ\{0} 23:42:18 Gracenotes: shut up :D 23:42:52 also this is based on the rationals not the reals just so i have convenient notation 23:43:02 and as soon as my brain sees 0/pi it freezes up 23:43:20 continued fractions, man 23:43:29 man, man 23:43:30 ℚ\{0} too 23:43:58 (1/0)/(((0/2)+(3/0))*(1/3)) 23:44:01 that x/0 + y = (x+y)/0 looks weird, though 23:44:28 yeah, especially if you multiply by 0. oh wait 23:44:29 i'll repeat my derivation 23:45:11 (a/1)+(c/0)=(a0 + 1c)/(1*0) 23:45:19 (a/1)+(c/0)=(0 + c)/0 23:45:21 wait what? 23:46:11 ok only the denominator matters 23:46:19 (_/x)+(y/0) = (x*y)/0 23:46:30 no idea what +(0/n) does for n>1 23:46:41 Who pinged me? 23:46:45 me doesn't matter now 23:47:02 (a/b)+(0/d) = (ad + b0)/bd 23:47:07 (a/b)+(0/d) = ad/bd 23:47:15 * Sgeo__ is going to try tryruby again 23:47:23 it's down 23:47:25 why is gone 23:47:47 Sgeo__: it's a squatted domain afaict 23:47:54 so (1/2)+(0/3) = 3/6 23:48:00 Unless it's on a delayed disappearance scheme that triggered hours ago, it should be around 23:48:03 = 1/2 23:48:04 I was on it hours ago 23:48:09 huh? 23:48:14 Sgeo__: ? no you weren't 23:48:15 tryruby.org 23:48:18 tryruby died along with why 23:48:24 oh i see, a mirror 23:48:43 no 23:48:46 recreated from the ground up apparently 23:48:56 reusing the design strikes me as bad taste 23:49:00 With a strangely working backspace 23:49:05 ruby sucks anyway 23:49:17 oerjan: so I think x+(0/n) = x 23:49:29 for all n apart from 0, in which case it's x+(1/1) 23:49:45 alise: that sounds correc 23:49:48 *correct 23:49:48 Howso? 23:49:59 alise: hm that may mean i remembered correctly that someone from tryruby wanted to consolidate things with tryhaskell when the latter was announced 23:49:59 Of course, when I'm deriving all this I'm assuming the other party isn't a weird 0-fraction monster. 23:50:03 now go work out what (m/0)+(0/n) is 23:51:28 alise: if m is not 0, it's undefined still 23:51:51 No undefined, coppro. 23:51:55 We don't accept undefined. 23:52:20 Well you haven't defined m/0 where m != 0 yet 23:52:27 Yes, I have. 23:52:41 [23:29] alise: 0^-1 = 1/0 23:52:42 [23:29] alise: (1/0)*0 = 1 23:52:42 [23:29] alise: (n/0)^-1 = 1/(n/0) = 0/n 23:52:42 [23:29] alise: (0/n)*(n/0) = 1 23:52:52 m/0 is the fraction m/0. Rationals. 23:52:59 none of those provides an actual definition though 23:53:02 merely an identity 23:53:12 what is the definition of the rational 1/2? 23:53:21 things are their properties and relations 23:53:33 if you accept m/0 as a number in and of itself 23:53:47 if you accept 1/2 as a number in and of itself 23:53:54 0.5 23:54:01 that's a decimal representation of the rational 1/2 23:54:04 he doesn't need to define stuff. just take the free algebra of his operations and quotient by whatever equations still hold 23:54:04 then m/0 + 0/n is m/0 for non-zero n, and m/0 + 1 for n=0 23:54:05 you fail 23:54:05 alise, how does Ruby suck? 23:54:20 Sgeo__: "Let me count the ways. Uh, I've run out of tendrils." 23:54:40 to alise, every language sucks in too many ways 23:54:44 I can count ways that the current tryruby sucks 23:55:39 -!- Asztal has joined. 23:55:57 1) Wonky backspace. 2) Incorrectly interpreted a test as me completing the lesson 23:55:58 coppro: you do know what the rationals are right? 23:56:19 alise: Yes. 23:56:36 then you accept 1/2 as a number in and of itself, as opposed to "evaluating to 0.5" 23:56:37 alise: is m*n the usual value for every nonzero integer m, n ? 23:56:51 alise: I do. 23:56:51 similarly, n/0 for all n>0 and 0/n for all n>0. 23:56:59 n/0 is not a rational 23:57:04 -!- Azstal has quit (Ping timeout: 265 seconds). 23:57:09 coppro: It's a weirdtional. I'm defining an extension of the rationals. 23:57:21 oerjan: Rephrase please? 23:57:22 ok. In that case, I answered your question 23:57:25 [16:53:40]then m/0 + 0/n is m/0 for non-zero n, and m/0 + 1 for n=0 23:57:45 coppro: you are completely failing to understand the spirit of this thing. it may be a stupid thing but that is no reason for interpreting it even more stupidly than intended 23:57:51 Guys. 23:58:15 of course it is stupid ;) 23:58:16 *:) 23:58:25 alise: is (m/1)*(n/1) = (mn/1) for m, n ordinary nonzero integers? 23:58:28 I just made a cool program in Befunge. :) 23:58:28 http://pastie.org/850853 23:58:40 oerjan: Yes, purely rational calculations are still rational. 23:58:42 where the mn multiplication is ordinary integer multiplication 23:58:53 Ones involving 0-fractions are surely irrational and insane to the highest degree. 23:58:54 actually, I just realized something 23:59:03 alise: except multiplication by 0 23:59:17 division of 0 cannot be considered to equal 0 in all cases 23:59:19 Only if you involve a 0-fraction 23:59:26 (0/1)*normal = 0/1 23:59:31 0/2 too I think 23:59:34 except = 0/2 23:59:34 you have to have separate zeroes for each 0/n 23:59:39 er wait has to be 0/1 23:59:48 no it doesn't 23:59:48 0/2 23:59:50 Who likes it?