00:02:16 -!- DocHerrings has quit (Quit: ChatZilla 0.9.87 [Firefox 4.0.1/20110413222027]). 00:06:41 -!- clog has quit (Ping timeout: 240 seconds). 00:10:13 -!- Gregor has set topic: This channel rated ή for "You are Only Allowed to Use ήis Channel if you Have a Legitimate Keyboard" | Join ##verybadattitude for more intellectual discussions | Logs: http://codu.org/logs/_esoteric/ and http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 00:11:02 * Cannot join ##verybadattitude (You are banned). 00:11:06 :D 00:11:12 is it just me or is everyone banned 00:11:12 me too 00:11:16 oh good 00:11:20 thought i'd have to beat up Gregor there for a minute 00:11:37 right, our attitude is not bad enough to qualify yet 00:11:41 Gregor: you should glogbot it 00:11:46 http://codu.org/logs/_matrixofsolidity/ <-- good use of disk space 00:11:49 elliott_: It has the chanserv +b *!*@* mode, which is slightly distinct from just having the channel mode because in fact the channel will become joinable once a minute, but as soon as you join you'll be kickbanned :P 00:12:04 Gregor: X-D 00:12:15 joinable once a minute? 00:12:18 Gregor: So if you time it right and have discussions REALLY quickly... 00:12:19 -!- FireFly has quit (Quit: swatted to death). 00:12:44 Sgeo: Chanserv joins the channel to kickban you, then parts, but the channel only actually ceases existence (so loses its ban list) after about a minute. 00:13:13 Ah 00:13:26 It's possible to leave ChanServ in there, isn't it? 00:13:32 So it never ceases existence? 00:13:34 hey Gregor do javascript dudes still think writing programs in continuation-passing style manually is the key to WEB SCALE speed 00:13:47 hmm, as soon as *anyone* enters *everyone* get banned? 00:14:15 yes 00:14:38 olsner: AFAIK you can't make chanserv set more restrictive bans ... for everyone :) 00:15:46 :) 00:16:22 What can I say, it has a very bad attitude *shrugs* 00:16:25 YES I GOT IN 00:16:45 * Sgeo ruins it for everyone forever 00:17:04 so basically everyone needs to keep away for >1minute then one person can be in there for like one second? 00:17:08 Sgeo: ... whuh? 00:17:15 Joking about the forever 00:17:29 And getting in doesn't mean staying in ofc 00:17:33 But still 00:17:39 olsner: AFAIK it'll reset whether people are trying to /join or not, so you don't need to keep away :P 00:18:34 hmm, so if you time it *just* right, you could actually have several people in there? 00:19:02 olsner: Not sure, I don't see why not though. 00:19:12 lets set up bots to coordinate conversations in there 00:19:14 really short conversations 00:20:12 hey, this is like the numbers irc! ships meeting in the ocean to exchange "warez" 00:20:23 *numb3rs 00:22:20 hahahaha 00:22:22 yessss 00:23:44 "backtrace them!" "huh, we're banned? how can they have banned us, they don't know which name we're connecting with!" 00:24:38 loldoalfaolaol 00:25:41 lol, do Alf, AOL AOL! 00:26:11 alf do aol! lol aol! 00:28:07 what a lousy palindrome 00:28:44 it's so bad at being a palindrome it fails to be one 00:29:02 -!- CakeProphet has joined. 00:30:02 oerjan: you're not a very good palindrome yourself though 00:30:41 tehporPekaC 00:31:30 >renslo< 00:32:17 you know what really sucks haskell's module system 00:33:54 no I don't 00:33:58 what really sucks haskell's module system 00:35:20 yes 00:38:41 -!- foocraft_ has quit (Quit: Leaving). 00:44:56 I think Factor's is worse 00:46:56 c's module system is awful 00:49:39 -!- foocraft has joined. 00:53:21 Sgeo: how 01:01:31 elliott_: what's bad about it? 01:01:55 As far as I know, there's no room for finding vocabs outside the ... directories where Factor's expecting them. Actually, hmm, not sure about that. But there's no way to deal with two independently developed samely-named vocabs 01:02:01 afaik 01:02:11 CakeProphet: haskell's? 01:02:14 the hiding directive and choosing between qualified and unqualified are pretty sophisticated as far as I can tell. 01:02:14 its not ml's 01:02:17 yes. 01:02:19 ah, dunno about that. 01:02:33 basically there's no way to parameterise a module on another module 01:02:34 and that sucks 01:03:59 Pretty sure Factor's on the same boat there 01:04:28 Unless parameterising modules doesnt madate being able to parameterise on stu.. I'm clueless 01:04:41 An example of parameterising on a module please? 01:05:03 i lost my motivation to explain right after complaining 01:05:09 maybe tomorrow 01:05:21 ill find the augustss post about it 01:06:05 Sgeo: 01:06:07 http://augustss.blogspot.com/2008/12/somewhat-failed-adventure-in-haskell.html 01:06:07 http://augustss.blogspot.com/2008/12/abstraction-continues-i-got-several.html 01:06:09 http://augustss.blogspot.com/2008/12/abstracting-on-suggested-solutions-i.html 01:06:10 http://augustss.blogspot.com/2008/12/ocaml-code-again-im-posting-slight.html 01:07:07 elliott_: parameterise? 01:07:17 is that kind of like Perl's module system...? I doubt it. 01:07:24 CakeProphet: i linked the blog posts for a reason 01:07:28 read chronologically 01:07:38 LOOK I DON'T WANT HOMEWORK. 01:07:42 I HAVE SHIT TO DO. IMPORTANT THINGS. 01:07:47 like playing Risk with friends later. 01:07:51 and eating food. 01:07:57 CAN'T MULTITASK, NOEP. 01:08:01 do you want me to paste in the blog posts 01:08:02 theyre short 01:08:02 ty 01:10:53 uh, I'm not sure if this first one really has a point. 01:11:47 its showing something thats not possible in haskell 01:11:50 the later articles show how you can do it in ML 01:11:54 and how its still not possible to do cleanly in haskell 01:12:47 -!- foocraft has quit (Quit: Leaving). 01:14:35 elliott_: http://www.stefanwehr.de/publications/WehrChakravarty2008.html 01:14:48 BAM! ABSTRACT 01:15:00 irrelevant 01:15:05 typeclasses arent a viable replacement for the module system 01:15:08 because theyre a pain to use in this manner 01:15:22 anyway i linked the blog posts because im not actually interested in discussing this right now so 01:15:44 Good, then you agree that Perl has the best module system. 01:15:54 and will not be discussing further. 01:15:59 shut up 01:16:06 what's so good about perl's 01:16:08 :) 01:16:14 monqy: nothing, actually. I was joking. 01:16:22 :'( 01:16:56 it has some interesting export features. Modules can export different sets of functions based on 'tags' that you pass it. 01:17:30 actually that sounds kind of gross 01:17:31 but otherwise there's nothing special about it. It's a limited subset of other languages module systems. 01:21:00 use Getopt::Long qw(:config no_ignore_case bundling gnu_compat permute) 01:21:31 the big list there is a bunch of config options you can pass that module. 01:22:17 from wikipedia's Did You Know "... that Stephen Fry was an engineer and aspiring jazz pianist before he captained South Africa's rugby team against the British Lions?" 01:23:24 lol 01:23:26 CakeProphet: you'd think that could easily be expanded to something resembling ML functors 01:23:58 I honestly don't know how they work 01:24:16 but since you can have arbitrary code execute as a result of those options, I wouldn't be surprised if it were possible, if a bit tedious. 01:24:37 CakeProphet: well basically you _do_ pass parameters to modules, and get a module instance back 01:24:53 -!- BeholdMyGlory has quit (Remote host closed the connection). 01:24:54 except Perl has no type system really so, and ML functors seemed concerned with typing of things. 01:24:59 CakeProphet: well you'd want to be able to use more than just strings as parameters 01:25:22 hmmm, don't think that's possible actual. 01:25:23 CakeProphet: well yeah but you could get the non-typing part of it 01:26:07 i guess python's module system allows that pretty easily, since modules are more or less just dictionaries 01:26:25 (iiuc) 01:26:36 so you could create one on the fly 01:26:38 yes, they're a special kind of class or whatever. 01:26:47 and yes, you can dynamically make a module that doesn't exist anywhere on file. 01:28:19 but you couldn't pass parameters to immediately effect the runtime loading of a module 01:28:24 *affect 01:28:29 you would have to do something afterwards. 01:29:27 CakeProphet: well i'm not entirely sure about Standard ML, but in Ocaml you cannot pass parameters directly either, instead the functor is a member of the file module which can then apply to parameters 01:29:43 ah okay, yes you could do something like that. 01:30:01 *which you can 01:30:02 it would be like.... calling a function in the module, more or less. 01:30:07 yeah 01:30:34 fancy stuff. xD 01:30:57 iirc Scala identifies modules and functors with classes as well 01:31:26 it's not exactly the same in Python, but I forgot in what ways that applies... 01:31:32 in Ruby however, they're exactly the same thing. 01:32:07 *with objects and classes, perhaps 01:32:36 yeah, essentially a module is an instance of type 'module' 01:32:45 shocking, really. 01:33:27 hm yesterday wikipedia had, for the first time i've seen, a Featured List, but none today 01:33:42 as in, the featured article was a list article? 01:33:51 or there were more than one features? 01:34:00 no, as in there was a specific added feature that was a list article 01:34:14 just above the picture spot 01:35:12 interesting. 01:35:39 well there's this: http://en.wikipedia.org/wiki/Wikipedia:Featured_lists 01:35:56 there's also featured sounds. They must be some pretty impressive sounds. 01:36:32 a lot of the featured sounds appear to be classical music. 01:36:50 further supposing the fact that Wikipedia editors are snooty pricks. :) 01:38:10 :) 01:40:11 once you get into the 1900s and up there's more political/historical speeches/recordings. 01:40:43 but nothing I would classify as a "truly epic sound" 01:41:01 like some kind of rainforest bird with multi-tonal squaks or something. 01:41:02 featured doesnt mean "awesome" 01:41:06 elliott_: shhh 01:41:26 it said "the best sounds on Wikipedia" 01:41:30 these are old people talking. 01:43:23 you realise that there are restrictions on featured stuff 01:43:27 like it cant be a fair use sample 01:43:37 yes I'm aware. 01:45:02 I'm not really talking about how these sounds awesomely fit into the rules. 01:45:20 just that they're not good sounds. Well, okay, the classical music is good. 01:45:36 a different name would be more suitable. 01:47:19 the best sounds on wikipedia in our snooty prick opinions 01:48:15 "the best moments in history, recorded and on Wikipedia. Oh, and some classical music." 01:48:32 -!- Lymia has quit (Ping timeout: 276 seconds). 01:48:49 let's pretend classical music is a best moment in history 01:52:13 yeah, see I was expecting to be blown away by the quality of these sounds. In much the same way that I expect such from articles in featured articles. 01:52:17 NOPE. NOT WHAT THEY MEANT. 01:52:26 I have been mislead. So many previous minutes, expired. 02:01:06 -!- Lymia has joined. 02:02:08 -!- pikhq has joined. 02:02:20 -!- pikhq_ has quit (Ping timeout: 260 seconds). 02:05:56 -!- clog has joined. 02:19:28 -!- Arandur has joined. 02:21:19 -!- Arandur has left. 02:22:03 wb clog 02:24:36 morning 02:50:09 -!- CakeProphet has quit (Ping timeout: 255 seconds). 02:55:35 -!- oerjan has quit (Quit: leaving). 03:08:51 -!- oerjan has joined. 03:09:30 -!- Sgeo has quit (Ping timeout: 255 seconds). 03:11:05 I'm convinced that Manitou Springs (town of about 5,000, ~8 kmΒ², adjacent to Colorado Springs) has managed to suck all the culture out of Colorado Springs (city of ~400,000, ~482 kmΒ²). 03:12:14 That's... Disturbing. 03:14:38 you should know that manitou is all-powerful 03:18:39 Also: *dang* the US has a low average population density. 03:19:00 32 people/kmΒ². 03:20:41 about 12 for norway 03:21:24 Yeah, and it's about 18 for my state. 03:21:51 And 0.46 in Alaska. :P 03:36:34 -!- Sgeo has joined. 03:37:39 -!- azaq23 has quit (Quit: Leaving.). 03:47:25 "i didnt think danes had mathematicians? i just figured danes walked around all day saying 'bjergen schergensensen' and nodding politely to oneanother" 03:51:16 lol that's just ignorant right 03:57:30 -!- pikhq_ has joined. 03:57:53 -!- pikhq has quit (Ping timeout: 276 seconds). 04:54:29 * pikhq_ contemplates build systems further 04:55:11 -!- Kustas has joined. 04:56:56 * pikhq_ wonders if EKOPath does awesome things for x264. Probably not, because the developers are already freakish, but hey. 04:58:48 Bear witness to my awesome new garbage collection idea! 04:58:52 I call it "chaos collection" 04:58:58 -!- Vorpal has joined. 04:59:07 Each page is designated for a particular /type/ (sorry, need static types for this) 04:59:15 You allocate by simply chopping up the page and handing them out. 04:59:27 bah, i've collected chaos for years 04:59:33 When you reach the maximum allotted amount of memory use, you switched to an LRU algorithm. 04:59:37 Gregor: Just parameterise it on N bytes rather than types 04:59:46 Gregor: Then Fythe can use it for objects less than one thousand bytes or so :P 04:59:47 elliott_: Wait for why it's types :P 04:59:55 oh this sounds interesting *checks log for context* 05:00:09 The least recently used page is marked as free, and each element added to the freelist for that type. 05:00:38 They're not modified yet, just marked as free. Later allocations of the same type can reclaim the same space, and use them, creating aliases. 05:00:49 Type safety is preserved! 05:00:53 Problem, correctness? 05:01:02 I'm not even going to try and understand what you're proposing. 05:01:05 (Note: Probably not advisable to use this for recursive types) 05:01:29 -!- Kustas has left. 05:01:30 elliott_: Don't trace reachability of existing pointers. Just mark the LRU page as free. 05:01:31 Gregor, oooh this sounds cool 05:01:38 Gregor: BTW, you actually mean _constructor_-specific 05:01:43 Since the thing is the size 05:01:43 i understand it perfectly. it's completely nuts. 05:01:50 elliott_: No, the thing is NOT the size. 05:01:54 `addquote I'm not even going to try and understand what you're proposing. i understand it perfectly. it's completely nuts. 05:01:54 elliott_: Type safety is crucial here. 05:01:55 456) I'm not even going to try and understand what you're proposing. i understand it perfectly. it's completely nuts. 05:01:59 Gregor: Alright. 05:02:01 Gregor: But what I mean is, 05:02:04 You couldn't have 05:02:08 data List a = Nil | Cons a (List a) 05:02:11 In one pool 05:02:16 It'd need a nil pool and a cons pool 05:02:20 Erm, imagine nil has one element embedded in it 05:02:23 So it actually has objects >_> 05:02:42 elliott_, wait what? Couldn't there be one globally shared Nil value? 05:02:50 Erm, imagine nil has one element embedded in it 05:02:50 So it actually has objects >_> 05:02:51 Null/nil/null/Nil/nool: Ruiner of types. 05:02:54 Amount I hate Vorpal: Thousands. 05:02:56 Gregor: OK, well 05:03:01 data Either a b = Left a | Right b 05:03:06 elliott_, s/value/object/ 05:03:15 I am just saying that you're equating types with constructors, which is only valid in C-like languages :P 05:03:22 Well, with records. 05:03:47 elliott_: Yes, I am, because I'm talking about a fucking garbage collector, and a chaos-inspired one at that >_> 05:04:03 elliott_, hm how does low level representation of something like " data Either a b = Left a | Right b" look like in ghc? 05:04:08 Gregor: Chaos as in the English word or? :P 05:04:08 s/how/what/ 05:04:12 Vorpal: You mean the values? 05:04:23 One word representing which constructor, then one pointer after it, consecutively in memory. 05:04:25 ah 05:05:07 elliott_, and in case of something like Maybe the pointer is null for the Nothing case? 05:05:11 also, a tag on the pointers to Eithers iirc 05:05:38 no pointer at all i'd say 05:05:48 oerjan: So, like my GC then? 05:05:57 Chaos Collection: Best GC? 05:06:09 Gregor: for a certain value of "best" 05:06:23 oerjan, so you mean for "Maybe Int" Nothing has a different size than Just 3? 05:06:39 Vorpal: at least conceptually 05:06:39 yes, constructors can have different sizes 05:07:01 oerjan, yes conceptually, but what about in practise? 05:07:18 elliott_, right 05:07:36 Vorpal: i think the first word or so also includes total length info for the gc 05:07:50 oerjan, hm okay 05:08:11 (or actually if there are unboxed fields it may need to tell where they are and what size, too) 05:08:29 hm, so how many different constructors are possible then? 05:08:46 hm... 05:09:43 Gregor, I think your GC is very interesting. Not sure how well it would actually work though. 05:10:21 Gregor, if each pool is type-specfic it would I guess potentially offer a very fast GC, but with many types in a program you could run into issues. 05:10:31 Vorpal: What's more interesting is if you can argue about its effects on a particular program or class of programs. 05:10:46 Gregor, I think I just did in some broad terms :P 05:11:02 Vorpal: I mean higher level. e.g. for some class the correctness of your final result reduces proportionally with the size of your heap. 05:11:10 ah 05:12:03 hm I just realised, nearly all C coding I have been doing lately has been for embedded systems. 05:12:24 with lately I mean something like the last 6 months or so 05:14:11 Well, that was helpful. 05:14:16 "Floating point exception". 05:14:25 http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects 05:14:30 pikhq_: Stop dividing by zero. 05:14:33 pikhq_: It's not cool. 05:14:35 pikhq_, if you can I would suggest a debugger at this point. It can mean a lot of things. 05:14:48 Gregor, iirc you can get that for other things than div by zero 05:14:48 Vorpal: Compiler bug! 05:14:53 pikhq_, *ouch* 05:14:58 Vorpal: Not GCC, though. 05:15:02 pikhq_, which compiler then? 05:15:07 EKOPath. 05:15:11 pikhq_: lolsy 05:15:13 Which has yet to have a source release. 05:15:14 pikhq_: Is this GGGGC? 05:15:15 In x264. 05:15:16 pikhq_, never heard of it 05:15:19 pikhq_: Ah 05:15:28 Vorpal: In benchmarks, it has 2x performance. 05:15:29 Speaking of, I just finished downloading it! 05:15:36 pikhq_, nice, open source? 05:15:41 Vorpal: Soon to be. 05:15:44 right 05:15:53 Vorpal: Until, oh, now, it cost $2000 per seat. 05:15:55 oh Pathscale?! 05:15:58 Yeah. 05:16:01 this is *highly* interesting 05:16:34 Curiously, the clickthrough license already specifies GPL, although no source is included yet? >_> 05:16:34 I like how the price was enough to clue you in. :P 05:16:38 pikhq_, why is it going to be open source? 05:16:43 Gregor: The news was leaked 05:16:44 pikhq_, no I googled at the same time :P 05:16:45 Gregor: So :P 05:16:57 pikhq_, though yeah I would have guessed it based on the price too. 05:17:08 Gregor: The press release came out before they planned on having source up. 05:17:33 If it's not out in a day or two, *then* you can get upset. 05:17:43 Vorpal: http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects#Pointers-firstlayout 05:17:46 pikhq_, what made them go open source, I don't get it. Are we going to see VxWorks as open source next!? 05:17:49 Their live chat guy told me that 05:18:00 Then I internet married them 05:18:03 For their kindness 05:18:05 GGGGC works with EKOPath 05:18:07 Vorpal: bad sales? 05:18:10 ah 05:18:22 Vorpal: No idea, but I'm not about to complain. 05:18:24 Gregor: Swoot :P 05:18:28 pikhq_, nor me. 05:18:34 "So we now have GHC as the only major compiler which can cause *runtime* crashes depending on what characters are used in a string literal." 05:18:37 pikhq_, targets linux? 05:18:50 Vorpal: Yes. x86_64 only, though. 05:18:57 ah, no problem for me there 05:19:05 Vorpal: Also, *builds* Linux (with a small patch that I can't find yet). 05:19:17 awesome 05:19:17 "So we now have GHC as the only major compiler which can cause *runtime* crashes depending on what characters are used in a string literal." <-- *blink* 05:19:17 No visible change in performance from GCC. 05:19:19 elliott_, how? 05:19:23 Vorpal: OverloadedStrings :P 05:19:24 http://hackage.haskell.org/trac/ghc/ticket/5255 05:20:01 elliott_, ouch 05:20:12 -!- copumpkin has joined. 05:21:00 "GHC bug: people can define Functor instances for things that aren't functors." --dolio 05:21:20 heh 05:21:41 well, I'm off. Practical driving exam. I hate mornings though. Oh well. 05:21:47 mornings are the worst 05:21:50 yes 05:21:50 need banning 05:21:52 outlaw mornings 05:21:56 hah 05:22:02 five am to ten am officially no longer exist 05:22:04 everyone rejoice 05:22:22 But those are sleeping hours! 05:24:24 So, got xz built with it... 05:24:25 -!- CakeProphet has joined. 05:24:35 -!- CakeProphet has quit (Changing host). 05:24:35 -!- CakeProphet has joined. 05:26:01 -!- Vorpal has quit (Ping timeout: 240 seconds). 05:27:00 -!- elliott_ has changed nick to dodifer. 05:28:03 I wonder how many people are named Dodifer. 05:28:08 I estimate: twelve. 05:28:12 just me 05:35:51 Welp, -ipa is a bad bad flag to use. 05:36:04 It makes pathcc trigger a glibc bug. 05:36:13 By God, this is a positive stress test of my system. :P 05:42:16 Hmm. Well, xz is slower with it. 05:43:17 Apparently, it takes *cache size* as one of the optimisation flags, and its defaults are for an Opteron, which has fairly beefy L2. 05:50:38 Oh, and you have to *order* it to handle pointer alias more strictly. 05:51:45 http://en.wikipedia.org/wiki/Florence_Y%27all_Water_Tower 05:51:48 america 05:53:03 Let me just be absurd and give it -LNO:alias=restrict 05:53:05 dodifer: We invent words that the English language was sorely lacking? 05:53:17 Which makes it assume FORTRAN pointer semantics. 05:54:16 Gregor: suuuuuuuure 05:54:20 pikhq_: nice 05:54:26 "The city paid $472 to the W.T. Marx Company[5] of nearby Cincinnati, Ohio to make the changes; whereas a complete repaint would have been nearly three times as much" lol 05:54:56 Which does not help on xz at all. 05:55:06 gregor laughs at poor people, especially when those poor people are governments 05:55:21 It's pretty consistently being a couple seconds slower on decompressing $large_file. 05:55:38 Fortran pointer semantics should never slow anything down :P 05:55:59 dodifer: No, I mean that the compiler's output is consistently doing that no matter what I throw at it. 05:56:12 Only thing that helped notably was telling it my cache size. 05:56:41 i have an important question 05:56:43 does anyone actually use fedora 05:56:45 apart from linus 05:57:24 I get the feeling this is optimised for numerical-heavily workloads. 05:57:53 Lemme try flac. 05:59:48 is kernel three still not out yet 06:00:19 3.0-rc3 just came out. 06:00:28 is it any good 06:00:30 or is it the crap 06:00:39 By "just" I mean "a minute ago". 06:00:40 like is it stable 06:00:52 pikhq_: seven hours ago 06:01:14 BAH 06:01:27 BUT IS IT STABLE 06:01:27 It's not a -rc1, so it should be reasonably stable. 06:01:30 YAY 06:04:31 Kay, so flac -8 on Alive 1997 takes 57 seconds with EKOPath... 06:05:24 your flac is a lot faster than mine 06:06:02 And 62 with Debian's stock package. 06:06:16 flinix is 06:06:17 back 06:06:19 in 06:06:21 bizns 06:06:23 Same version of flac. 06:06:24 this time with linux THREE 06:06:26 all new 06:06:32 excuz me this is exctiging news 06:07:25 Now to see if it handles -ipa. 06:08:26 Nope, segfaults in the assembler. 06:09:24 hey pikhq_ im not sure you actually need tmpfs at all 06:09:26 or the block layer 06:09:29 if you have initramfs support 06:10:21 Indeed, you don't. 06:11:47 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 06:12:16 hmm, I wonder if BFS saves kernel size 06:17:28 Setup is 13132 bytes (padded to 13312 bytes). 06:17:28 System is 358 kB 06:17:29 pikhq_: 06:17:53 dunno if it can actually boot though 06:48:57 From my testing, I conclude that GCC and clang are actually *really* freaking good at optimisation outside of confusing circumstances. 06:49:20 pathcc is better, but it's not blowing the others out of the water. 06:50:02 If pathcc's automatic parallelisation and link-time optimisation *worked* I'd be saying something different, no doubt. 06:50:15 But it doesn't, so I'm not. 06:55:28 gcc? good at optimisation? 06:55:30 lol at your joking 06:55:55 well ok gcc's forte is more breaking programs 06:55:58 than being bad at optimisation 06:57:04 dodifer: In my testing, it's either slightly better or slightly worse than pathcc. 06:57:27 Admittedly, I was not able to get automatic parallelisation to work. 06:57:30 (link error) 06:57:39 Or LTO (SEGFAULT). 07:09:29 -!- oerjan has quit (Quit: leaving). 07:25:26 -!- dodifer has quit (Read error: Connection reset by peer). 07:45:49 -!- monqy has quit (Quit: hello). 08:02:33 -!- elliott has joined. 08:02:43 Gregor what was that really sad video with the rabbit that fell down the well 08:08:10 -!- Vorpal has joined. 08:09:13 you americans will be rather confused by this I bet. I failed the practical driving exam because I was to close to the right side of the road when I was about to turn left from a countryside road. That alone was what I failed on and it was enough to prevent me from passing. 08:09:33 ha ha Vorpal can't drive 08:09:37 * elliott emotional support 08:10:02 elliott, as if you could drive. 08:10:03 :P 08:10:08 Vorpal: i don't see how driving a car can be hard, its like a computer except it only has a few buttons and it doesn't crash 08:10:15 i mean basically 08:10:18 Vorpal: Yeah, US drivers would absolutely *frighten* you. 08:10:26 but like how do you even fail at driving 08:10:29 idgi 08:10:36 "whoops i went left but i wanted to go right, i guess i am stupid" 08:10:42 elliott, except unlike a computer you don 08:10:55 elliott: How do you think the US gets away with a driving test that anyone who can compute 1+1 can pass? 08:10:59 do need* to keep track of everything around you 08:11:06 pikhq_: because driving si easy? 08:11:13 Vorpal: you ignore your windows on a computer? 08:11:23 i mean come ON all you have to do is not bash into things 08:11:26 have you ever played donkey.bas 08:11:28 that's how hard driving is 08:11:33 elliott, no but try keeping track of 40 other computer users around you and what they are doing 08:11:33 don't hit the fucking donkey 08:11:35 the end 08:11:35 at the same time 08:11:39 oh no there's forty donkeys 08:11:40 elliott, then it is like driving 08:11:41 hardest fucking game 08:11:56 come on driving is easier than puzzle bobble 08:11:59 Vorpal: The cars on the road might frighten you more, actually... 08:12:12 i mean come ON all you have to do is not bash into things <-- yeah I'll *love* to see you drive. From behind a barricade preferably. 08:12:24 Vorpal: If it runs, it's probably street legal. 08:12:32 Vorpal: unfortunately im not stupid enough to fail at driving, sorry that it won't be entertaining 08:12:38 but driving is kind of pointless though 08:12:44 elliott, in Sweden you can fail the exam if you don't drive in a environmentally friendly way btw. 08:12:46 it takes hours and you can't do anything while its happening 08:12:48 I bet you can't in US 08:13:01 its like doing a rubiks cube for five hour sand then you arrive at your destination 08:13:05 stupidest way to travel 08:13:08 Vorpal: If you can drive around a couple of blocks you can pass. 08:13:17 Vorpal: lol, "drive in an environmentally friendly way" 08:13:20 but driving isn't intellectual but mostly motor skills? so stupidity should have almost nothing to do with it 08:13:24 GUYS IF WE REDUCE ENERGY USAGE A TINY TINY BIT 08:13:25 elliott, well, reasonably 08:13:27 WE WILL SAVE THE PLANET 08:13:43 SCIENCE PROVES IT ! ! ! ! ! ! 08:13:46 elliott, basically yes. I agree it don't help much. 08:13:54 but driving isn't intellectual but mostly motor skills? so stupidity should have almost nothing to do with it <-- indeed 08:13:59 I had no problems with the theory 08:14:01 i really love the "save the planet" slogan 08:14:01 like 08:14:08 elliott, they don't use that one here 08:14:11 if we dont reduce carbon dioxide 08:14:13 the planet will LITERALLY EXPLODE 08:14:34 elliott, they use the silly slogan "ecodriving", in English. I have no clue why they use that. 08:14:38 yeah, we'll reach explosive levels of co2 and the whole thing goes boom 08:14:38 olsner: its not that much motor skills 08:14:46 i mean there's not much finesse involved in turning a wheel really 08:14:47 Vorpal: Now to scare you more: I can legally drive *on your roads* with a US license. 08:14:52 well i mean 08:14:56 non-fine motor skills maybe 08:14:59 but thats just kind of like... moving your arms 08:15:09 Vorpal: Which you get for driving around a couple of blocks succesfully and answering 7 out of 10 multiple choice questions right. 08:15:18 i dunno, maybe the cars make driving hard, maybe i need to design a car 08:15:19 moving your arms is motor skills :P 08:15:29 -!- pizearke has joined. 08:15:40 although actually id just write the small amount of extra software required to be a better-than-human driver 08:15:48 cars: the worst?? 08:15:54 pikhq_, ugh 08:15:55 elliott: Such NIH, man. 08:15:59 I'm glad I'm not in US 08:16:01 Hmm.... 08:16:08 pikhq_: yeah i know google are already on it 08:16:20 Vorpal: swedish rodes must be really boring 08:16:23 How simple a ruleset would it take for a car to do as well as, or better than a human driver anyways? 08:16:26 if you have to drive you might as well have some excitement 08:16:27 elliott, why? 08:16:31 Lymia: ask google 08:16:32 oh 08:16:33 hah 08:16:36 Vorpal: because all your drivers are good and boring... 08:16:40 with the us its like 08:16:48 elliott, dude, you forgot the winter 08:16:48 what stupid fucks will be on the road today??? 08:16:59 elliott: Yes, that is exactly how it is. 08:17:02 elliott, driving and pathfinding arn't exactly the same problem... 08:17:10 Lymia: um 08:17:11 Lymia: Google has self-driving cars. 08:17:17 pikhq_, ah. 08:17:17 Lymia: google are working on self-driving vehicles 08:17:19 elliott, we get enough excitement during winter that we want a calm summer :P 08:17:20 elliott, I see. 08:17:26 Lymia: thousands of miles of real-world testing in california 08:17:32 Do they drive like non-assholeish drivers? 08:17:37 presumably :P 08:17:49 Yes, and the only accident so far is that a car got rear-ended. 08:18:01 they should try it in sweden without any modifications 08:18:05 WHEEEE SKIDDING 08:18:08 elliott, during winter yeah 08:18:18 pikhq_, which car? 08:18:26 hm are studded tires allowed during winter in US? 08:18:40 Lymia: Google's. 08:18:42 hmm i should reboot back into linux 08:18:48 wanna do some haskela 08:18:55 Vorpal: Depends on the state. 08:19:01 pikhq_, right 08:19:08 pikhq_, heh. I'm not too sure that counts as Google's fault... 08:19:18 Wonder if the program has cases to deal with "omg somebody is going to rear end me" 08:19:28 Lymia: It was at a stop light, too. 08:19:34 Vorpal: they're not even allowed in sweden in some places 08:19:38 pikhq_: lmao 08:19:44 oh wait 08:19:44 olsner, oh true. Mostly central stockholm iirc? 08:19:46 rear-end doesnt mean what ithink 08:19:47 Proof we need more robot cars. 08:19:47 =p 08:19:49 thats a lot less funny now 08:19:50 Vorpal: *Basically*, anywhere with winters that are worth caring about has studded tires legal. 08:19:52 olsner, but who in their right mind would go there. 08:19:55 i thought it meant a car flipping upside down for some reason 08:19:57 so like 08:20:00 pikhq_, right 08:20:02 google car stops orderly at the traffic light 08:20:04 three seconds later 08:20:06 Vorpal: people who live or work there, mostly 08:20:07 spontaneously flips itself over 08:20:12 olsner, yeah 08:20:13 no-one else would suffer the queues 08:20:16 why are you not laughing 08:20:29 olsner, I would never drive unstudded during winter, exception if I moved to some big city probably. 08:20:30 why are you not laughing 08:21:21 olsner, but the municipality I live in has as a stupid policy to never use salt during winter unless in extreme conditions. Just sand. So I need studded to get up the hill from where I live when it is icy :P 08:21:30 I wouldn't drive at all during winter, but that's just me not having bothered to learn how to drive 08:21:49 Vorpal: swedenbeach 08:21:54 elliott, ?? 08:21:59 olsner, you don't have a driving license? 08:22:03 we put sand......on road......now we pretend we are in country we actually like . . . 08:22:08 Vorpal: nope, what would I do with one? 08:22:17 elliott, what? That is far fetched 08:22:24 sand on roads is common during winter... 08:22:34 carpal tunnel syndrme 08:22:34 elliott: they don't use quite enough sand for that effect 08:22:42 olsner: palm trees....on the road....i nwinter... 08:22:49 elliott: Yeah, it's quite common. The idea is to increase the amount of traction. 08:22:55 palm trees 08:22:57 olsner, hm good to have a license still. In case you need to drive during work or such. 08:23:06 tarski was a palm treeΒ±trueΒ±facts 08:23:08 Β± <- tree 08:23:10 Done in the US pretty much anywhere that can expect, oh, an inch of snow in the winter. 08:23:23 Gregor i still need that video 08:23:35 pikhq_, an inch? Come on, they hardly even plow anything but highways for that much. :P 08:23:43 GREGOR I REQUIRE THE SAD RABBIT VIDEO 08:24:12 im going to go on a rampage 08:24:21 http://www.youtube.com/watch?v=VjMsQ_NUOMA no this is not it 08:24:26 jesus what is this 08:24:29 Vorpal: given how hard it is to code while driving, not sure why I'd be asked to drive :P 08:24:33 Vorpal: Well, rather, if they can reasonably expect an inch of snow in the winter *they will actually have the ability to sand roads*. 08:24:33 oh my god the rabbts voice 08:24:35 i mt errified 08:24:42 oh my god the toroises voice 08:24:43 olsner, heh. 08:24:49 YOU ARROGANT RABBIT 08:24:51 To account for somewhat more extreme winters. 08:24:51 olsner, where do you work btw? 08:24:52 YOU ARE LAUGHING AT ME????? 08:24:53 actual quote 08:24:57 pikhq_, right 08:25:01 god this rabbits laugh is terrifying 08:25:17 pikhq_, all of Sweden can expect significantly more than that 08:25:19 is that finish written in neon 08:25:27 dudes you are all mssing out on this video 08:25:31 its the most amazing thing ive ever watched 08:25:40 Cause a place like Houston is not really going to see snow more than once a decade. 08:25:44 HE'LL TAKE LONG TIME TO REACH HERE 08:25:56 man that tortoise is like 08:25:58 dancing over the ground 08:26:00 Vorpal: Yeah, pretty much the northern half of the US sees more significant snowfalls. 08:26:01 wow 08:26:14 oh 08:26:19 the tortoroyse has gone tu far 08:26:23 come on, south Sweden is probably worse than I live. The landscape in SkΓ₯ne is so flat and open.... You get cases of trains getting stuck due to 2 meter high snowdrifts having been blown up against the track. 08:26:32 and SkΓ₯ne is far to the south 08:26:39 And, of course, there's Alaska, which actually is *permafrost* in a lot of it. 08:26:46 does anyone know that sad rabbit video gregor linked once 08:27:02 olsner, didn't they use bandwagons last winter to rescue people from a train that got stuck in SkΓ₯ne iirc? I seem to remember reading about it. 08:27:10 everyone has me on ignore noq 08:27:13 now 08:27:22 Vorpal: I wouldn't have heard about that, I don't read news 08:27:23 elliott, use the logs. See topic. 08:27:27 olsner, oh okay 08:27:32 Vorpal: uh what the fuck would i grep for 08:27:37 olsner, anyway where do you work? 08:27:44 elliott, -i "sad rabit" maybe? 08:27:48 ok fine 08:27:54 -!- elliott has quit (Remote host closed the connection). 08:27:58 what? 08:28:14 well rabbit* 08:29:19 pikhq_, anyway, how many people die in the traffic per year in US? 08:29:42 or maybe per 10000 citizens or such. 08:29:49 since that way it would be easier to compare the numbers 08:29:58 -!- elliott has joined. 08:31:01 elliott: you strike me as sorr of the person who /would/ own multiple sizes of rabbit just to be able to compare them 08:31:07 my secret is out 08:31:32 elliott, hehe 08:31:43 "I want a bigger rabbit so I can compare it to this rabbit and say it's bigger!" 08:32:09 hey i just realised that adding data to something can actually make it more compressible? 08:32:11 i guess thats obvious 08:32:12 but like 08:32:22 printing all strings of length 999999 is really easy 08:32:31 compared to printing one, truly-Kolgomorov-random string of length 999999 08:32:47 Vorpal: Uh, fatalities per 100,000 people was 11.01 in 2009. 08:32:51 isn't it *kolmogorov? 08:33:04 pikhq_, let me check statistics for Sweden 08:33:13 apparently only i fin this interesting 08:33:16 find 08:33:54 olsner: yeah 08:33:56 4.87. 08:34:06 pikhq_, 7,4 (cars) 3,8 (pedestrians) 08:34:10 that is the stats for Sweden 08:34:18 oh wait 08:34:20 no I misread 08:34:32 the former is per 100,000 cars 08:34:43 the latter is per 100,000 citizens 08:34:44 http://hackage.haskell.org/package/sbv this is hot 08:34:49 pikhq_, ^ 08:35:02 pikhq_, now I suggest you get better driving exams 08:35:07 so 7.4 out of 100000 cars die each year, but we don't know how many people were in them? 08:35:22 pikhq_, why are your driving exams so bad? 08:35:32 Vorpal: Per kilometers travelled is a better metric, BTW. 08:35:39 can't find that 08:35:46 * pikhq_ is trying to convert this figure to metric... 08:36:27 wait what, there seems to be statistics per amount of fuel. wtf 08:38:03 pikhq_, I can't find any km travelled figures, so can't compare anyway 08:39:06 pikhq_, this is what I can find basically: http://www.trafikverket.se/Privat/Trafiksakerhet/Olycksstatistik/Vag/Nationell-statistik/Arsdata-fran-1950/ 08:39:16 there is a button for English in the upper corner 08:39:34 not sure if that page exists in English though 08:39:48 they used to have vv.se as the address ... dvbf 08:40:14 olsner, yes but vΓ€gvΓ€rket changed name to trafikverket as you know 08:40:22 olsner, also "dvbf"? 08:40:38 vΓ€gvΓ€rket :P 08:40:44 oops 08:40:50 vΓ€gverket* of course 08:41:03 olsner, anyway what did "dvbf" mean? 08:41:06 what, you don't know about dvbf? 08:41:12 olsner, correct 08:41:22 how can you not? 08:41:30 Lessee. 08:41:32 det var bΓ€ttre fΓΆrr 08:41:40 olsner, aha 08:41:52 olsner, Jag chattar inte mycket pΓ₯ svenska. :P 08:41:59 olsner, faktiskt inget alls. 08:42:10 39.3 accidents per hundred million vehicle miles per year for Sweden, 62.2 for the US. 08:42:20 Yup, we need better driver education. 08:42:25 fast det dΓ€r Γ€r inte en chat-fΓΆrkortning, den kommer faktiskt frΓ₯n verkligheten 08:42:39 pikhq_, And we have the bad weather of the north states (apart from Alaska) in the whole country 08:42:43 (source for both, Wolfram Alpha, and WHY WON'T IT USE METRIC, MILES IS A TERRIBLE UNIT) 08:42:45 Our local "Road Administration" (Tiehallinto; approximate translation) quasi-recently also changed their name to "Destia". There seems to be a trend for picking nonsense names to sound more modern. The post office changed their name to "Itella" too. 08:43:05 they both sound italian 08:43:06 Vorpal: You also have a population density on par with Kansas. 08:43:21 olsner, sΓ€ger folk "dvbf"? Jag har aldrig hΓΆrt nΓ₯gon sΓ€ga det hΓΆgt. Skriva det kanske. 08:43:39 fizzie, trafikverket is not a nonsense name though. 08:43:41 Which you can drive all the way through and count on one hand the number of cars you've seen. 08:43:49 (if you choose the path right, mind) 08:43:55 fizzie, some other ones went for nonsense names though 08:44:10 Vorpal: hmm, fΓΆrkortningen kanske Γ€r text-specifik ja... vanligtvis sΓ€ger man nog alla orden nΓ€r man sΓ€ger det 08:44:15 Which you can drive all the way through and count on one hand the number of cars you've seen. <-- can't do THAT in most of Sweden 08:44:22 pikhq_, Sweden is rather unevenly settled. 08:44:41 pikhq_, an average is not going to give you any useful numbers for most of Sweden. 08:44:53 olsner, exakt. 08:45:10 Kansas has pretty much a single giant glob of population, a handful of smaller ones, and hundreds of miles of corn fields. 08:45:52 To avoid the globs of population, you only really need to keep off of the Interstate bisecting it. 08:46:13 pikhq_, well not like that here. South half of Sweden have quite a lot of cities. In the far northen parts you can go for miles (Swedish ones, 10 km) without even seeing a road. 08:46:23 (that was from a train though) 08:46:56 of course most americans probably don't count 50000 inhabitants as a city... 08:47:19 That's funny, W|A gives me "24.4 accidents per hunderd million vehicle kilometres per year" by default, with a "show non-metric" button available. 08:47:43 fizzie, which non-metric? 08:47:51 fizzie, and what is the funny part? 08:47:52 Didn't for me. 08:47:54 Miles. 08:48:01 ah 08:48:07 but what about furlongs? 08:48:13 Oh, wait, there it is. 08:48:21 "Show metric". 08:48:35 geoip or cookies maybe? 08:48:40 The "funny" (in the "curious") part was that it defaults to non-metric for pikhq. I guess by IP geolocation or some-such. 08:48:56 but what about furlongs? Oh, wait, there it is. "Show metric". 08:49:06 :D 08:49:11 furlongs are now metric :P 08:49:17 hah 08:49:23 -!- CakeProphet has quit (Ping timeout: 250 seconds). 08:49:32 fizzie: Which irks me, because metric is what I usually want, *especially* if comparing official statistics with any other country. 08:50:10 Our figure is 20.8 accidents per hundred million miles per year; but of course this is an even less populated place and so on. 08:50:29 hmm, xor is one-bit addition 08:50:31 what's one-bit subtraction? 08:50:37 oh, just xor on complement, heh 08:50:40 fizzie, yeah 08:50:55 and multiplication is and, right? 08:50:57 pikhq_, do you have those 2+1 roads in US? 08:51:01 yeh 08:51:01 http://en.wikipedia.org/wiki/2%2B1_road 08:51:01 yeah 08:51:33 wait no 08:51:35 it's not 08:51:36 hmm 08:51:37 ah yes you have a handful says wikipedia 08:51:40 what /is/ subtraction 08:51:42 Vorpal: Apparently in a handful of places. 08:51:47 Vorpal: I haven't seen one. 08:52:03 pikhq_, they increase safety a lot I heard. 08:52:38 :| 08:52:41 what is one-bit subtraction 08:52:45 Compared with just having lines on the road indicating when you can go into the oncoming lane to pass? I'm sure. 08:53:24 Wouldn't work as well with US drivers though. Blithering morons seem to not grok the idea of a "passing lane". 08:53:49 We have roads that do short 2+1-style stretches every now and then (alternating the side) with regular 1+1 road in-between the 2+1 sections. 08:53:52 ur all so helpful 08:53:54 pikhq_, hm, well they would have to, since the lane shifts side every now and then 08:54:08 fizzie, yeah that is what a 2+1 road is, isn't it? 08:54:42 Vorpal: I understood from the wiki description that it stays three-lane all the time. 08:54:57 hey fizzie 08:55:00 At least the side-change at the top diagram is like that. 08:55:02 fizzie, oh in total yes. 08:55:02 what logical op corresponds to one-bit subtraction 08:55:10 fizzie, though there can be 1+1 sections sometimes 08:55:16 but usually it is 3 in total 08:55:19 misunderstood you 08:55:28 elliott, XOR? 08:55:33 no 08:55:35 xor is one-bit addition 08:55:39 wait 08:55:39 omg 08:55:40 Right. 08:55:42 its the same thing 08:55:51 thats amazing its like im on DURGZ 08:55:52 The carry bit would have to be different, right? 08:55:54 :c 08:56:07 thats not part of addition or subtraction 08:56:28 It is part of it when you're chaining them for higher bits, right? 08:57:15 Vorpal: Ours always -- well, at least I think so -- just have a one-sided 2+1 section, and then a longer 1+1 gap, and then the same thing for the other side. There's typically signage saying how far the next 2+1 part is. 08:57:27 fizzie, heh, why 08:58:09 elliott, oh, I see. 08:58:15 You can only add and subtract one, right? 08:58:53 One of those operations always rolls over, and the other operation ends up on that value naturally. 08:58:56 Makes sense 08:59:37 Vorpal: Maybe it's cheaper that way when retrofitting old roads, have to widen just parts of it instead of the whole thing. 09:00:01 fizzie, hm right 09:01:25 pikhq_, anyway I don't understand how traffic in US can work at all 09:03:58 "Poorly". 09:05:08 -!- elliott has quit (Remote host closed the connection). 09:05:11 Incidentally, visited the UK National Museum of Computing (in Bletchley Park) last week. There was an http://en.wikipedia.org/wiki/Elliott_803 in there. 09:05:13 I recall an incident with a driver who was texting while driving on the highway. 09:05:17 Aw, he *just* went. 09:05:26 They changed lane unintentionally more than once. 09:05:31 At one point, they were perpendicular to the road...... 09:05:34 -!- elliott has joined. 09:05:35 wtf 09:05:43 what 09:05:57 09:05:11: Incidentally, visited the UK National Museum of Computing (in Bletchley Park) last week. There was an http://en.wikipedia.org/wiki/Elliott_803 in there. 09:06:01 fizzie: yeah thats me 09:06:05 got a problem w/ it???? 09:06:18 they never noticed i was sentient :( 09:07:10 Then I now have a picture of you, "yay". 09:07:26 im the most girly looking retrocomputer 09:09:36 Vorpal: It's a wonder that we still have population: http://upload.wikimedia.org/wikipedia/commons/b/ba/Atlanta_75.85.jpg 09:10:23 Yes, that really is 14 lanes. 09:10:41 -!- MigoMipo has joined. 09:14:21 pikhq_: that's nice and wide 09:14:58 elliott: Not even the widest. 09:16:42 hey elliot. 09:16:57 elliott: http://upload.wikimedia.org/wikipedia/commons/2/2c/RF_-_Houston_Texas_IH10.1.jpeg 09:17:44 elliott: For reasons of not-being-apeshit, the lanes aren't all crammed together. But, that's a 26 lane highway. 09:19:01 Yes, really, that is all the same damned road. 09:19:17 With onramps and offramps to different parts of the road. 09:19:27 -!- CakeProphet has joined. 09:19:32 -!- CakeProphet has quit (Changing host). 09:19:33 -!- CakeProphet has joined. 09:21:18 -!- CakeProphet has quit (Client Quit). 09:21:34 -!- CakeProphet has joined. 09:21:34 -!- CakeProphet has quit (Changing host). 09:21:35 -!- CakeProphet has joined. 09:23:51 Also, that road system requires this: https://secure.wikimedia.org/wikipedia/en/wiki/File:Texas_turnaround.svg 09:23:58 And fuck I should sleep, it's 03:30. 09:24:05 pikhq_: hi its ten am 09:36:41 -!- Miss has joined. 09:38:44 hi Miss 09:38:56 Hi 09:39:10 How r u 09:39:31 do you know what this channel is about 09:39:40 No 09:39:46 programming 09:39:58 About what !! 09:40:09 Miss: programming languages, to be specific 09:40:14 crazy nutso ones 09:40:17 to be even MORE specific! 09:40:17 Aha 09:40:36 Oh 09:40:39 augur, "crazy nutso ones" is a bit of an understatement, don't you think? 09:40:40 :3 09:40:50 this channel is the feather user and appreciation promotion group retroactiavte 09:40:54 Lymia: i dont know how to make it even more true 09:40:59 Im not realy spake english 09:41:05 i spaked english 09:41:13 ;( 09:41:29 augur, see: Malborge 09:41:31 See: Aura 09:42:00 malborge or malbolge 09:42:27 elliott 09:42:34 miss elliott 09:42:45 missy be thrownin down 09:42:49 im the hottest rond 09:42:51 round.. 09:42:52 :| 09:42:59 quality channel 09:43:05 QUALITY 09:43:09 VIP QUALITY 09:43:12 WHERES SLEREAH 09:43:17 :P 09:43:31 Miss: r u the reincarnation of alfred tarski famous kawaii british pyhsicist... 09:43:45 tarski, british? 09:43:52 yes 09:43:58 tarski is the most kawaii british physicist of all time 09:43:59 hardly 09:44:06 hes as british as he is a physicist so shut your mouth 09:44:14 true! 09:44:31 augur, Lymia is channeling her inner Japanese. Yep. 09:44:41 .. 09:44:41 what 09:44:44 wat 09:44:45 ;( 09:44:49 Miss: ;( 09:45:05 this is so confusing T_T 09:45:17 I need sleep 09:45:39 tarski needs sleep 09:46:04 Now im vacation  09:46:12 Now im vacation  09:46:29 O.O 09:47:20 v 09:47:36  09:47:37  09:47:42 ^ It's just like Minecraft! 09:47:57 ξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿξ”Ÿ 09:47:59   09:48:08   09:48:16  S  09:48:18 Yeah. 09:48:21 Too spammy. 09:48:30 ΩΩŠΩ‡ Ψ§Ψ­Ψ― سعودي 09:48:39 Ω‡Ω‡Ω‡Ω‡Ω‡ 09:49:59 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡ 09:50:01 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡ 09:50:02 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡ 09:50:03 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡v 09:50:03 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡ 09:50:04 Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡Ω‡ 09:54:17 SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS 09:54:20 * Lymia explodes 10:00:40 -!- Miss has quit (Quit: Rooms β€’ iPhone IRC Client β€’ http://www.roomsapp.mobi). 10:04:59 -!- Miss has joined. 10:05:02 وش Ψ°Ψ§ 10:05:31 Ω…Ψ§ Ψ΄Ψ§ Ψ§Ω„Ω„Ω‡ Ψ§Ω†Ψͺ سعودي 10:05:42 Ω‚Ψ§ΨΉΨ― ΨͺΨ·Ω‚Ψ·Ω‚ ΨΉΩ„ΩŠ 10:05:50 θ‹±θͺžγ§οΌŸ 10:06:52 Ω„Ω„Ω‡ 10:07:00 ΨΉΨ― ΨͺΩ„Ω‡ Ψ§Ω†Ψͺ 10:07:06 wonder what i just said 10:07:53 Do you anderstand !!! 10:08:13 lol 10:08:21 θ‹±θͺžγ§οΌοΌ 10:08:33 I'm speak arabic 10:08:46 :-! 10:09:03 ;( ;( ;( 10:09:15 でان 10:09:18 Oh. 10:09:33 γˆγ„γ”γ§γ―γͺせてください 10:09:34 There. 10:09:36 Squiggles. 10:09:57 -!- ais523 has joined. 10:10:11 :( 10:10:21 hi ais523 10:10:28 miss is very confused 10:11:15 في hi 10:11:24 ... 10:11:24 :< 10:11:52 No 10:12:38 γͺに? 10:12:49 has anything much been happening while I've been away from the Internet? 10:14:05 -!- Miss has left. 10:14:42 ais523: you've been away? 10:14:58 and thus began ais523's realisation that nobody truly cares about him ;__; 10:15:07 elliott: yes, but it's OK 10:15:10 three days or so is not much 10:22:33 -!- FireFly has joined. 10:38:28 I think the weather confused Sweden and UK as of recently 10:38:31 rain *again* 10:40:10 -!- ais523_ has joined. 10:40:19 -!- ais523 has quit (Disconnected by services). 10:40:20 -!- ais523_ has changed nick to ais523. 10:48:43 ais523: three days is not away 10:48:55 well, it's more than usual for me 10:49:20 hmm, checking Esolang's recent changes implies there's a new lang there that's actually interesting? 10:49:23 I must look at it some time 10:50:41 whats it called? 11:01:49 ?hoogle [a] -> Int -> a -> [a] 11:01:49 Network.CGI.Protocol replace :: Eq a => a -> a -> [a] -> [a] 11:01:49 Prelude enumFromThenTo :: Enum a => a -> a -> a -> [a] 11:01:50 Data.IntMap findWithDefault :: a -> Key -> IntMap a -> a 11:01:51 grr 11:03:15 > (\a i x -> take i a ++ x : drop (i+1) a) [1,2,3,4] 2 5 11:03:17 [1,2,5,4] 11:26:19 -!- ais523 has quit (Read error: Operation timed out). 12:16:32 -!- ais523 has joined. 12:25:40 -!- ais523 has quit (Read error: Connection reset by peer). 12:27:27 -!- ais523 has joined. 12:32:34 -10 points on a reddit comment, awesome 12:32:49 i've finally angered people enough to downvote me rather than just ignore me 12:32:52 elliott: wow 12:32:57 what did you say? 12:33:06 (I don't think Reddit has a search for lowest-rated posts by a particular user) 12:33:13 ais523: http://www.reddit.com/r/programming/comments/hz87n/journalist_writes_programing_is_too_hard_wishes/c1zlub4?context=1 12:33:16 elliott, was it Minecraft related? 12:33:16 also, I don't think I've ever downvoted a post at Reddit 12:33:30 Lymia: no, although that would be a rather efficient way to get downvoted into oblivion 12:33:52 to be fair, you are attacking a strawman there 12:34:03 I am, but the original post was just as idiotic, so I don't really care. 12:34:08 and people on the internet generally hate that 12:34:19 They do? The whole comments are attacking a strawman of the post. 12:34:31 Mostly latching on to the fact that Objective-C is mentioned as "lol blogger wants to make iphone apps". 12:35:01 lol, it's twelve points lower than my comment "my envisiaone powerh boards is more advanced than ur phbb" 12:35:11 good redditting etiquette 12:35:25 and indeed, you can't order comments by bottom, it seems 12:35:26 just top 12:35:35 well, objective-C is a good language for writing iphone apps in 12:35:56 because it has the best library support for that 12:36:35 that's... a non sequitur 12:36:38 I never claimed it wasn't 12:36:42 -!- ais523 has quit (Read error: Connection reset by peer). 12:38:10 -!- ais523 has joined. 12:38:21 [13:36] it's not quite a non sequitur 12:38:23 [13:36] but almost 12:38:24 [13:36] I'm not arguing with you, just commenting on something vaguely related 12:38:55 right 12:39:15 hmm, I can actually delete that karmawhoring /r/programming submission I made two years ago 12:39:20 on the one hand, I'd feel good inside 12:39:25 on the other hand, over one thousand karma :( 12:42:36 is that link karma or comment karma? 12:42:47 also, deleting something removes the karma from it? does that work for downvotes to? 12:42:58 link karma, and hmm, good point 12:54:52 hmm, a case of weird kerning made me see the :// in a URL as a smiley 12:55:05 and now it's hard not to 12:55:51 What was it a link to? 12:55:52 -!- wareya has quit (Read error: Connection reset by peer). 12:56:14 Also, wouldn't that affect discussions about it? 12:56:30 -!- wareya has joined. 12:56:52 Sgeo: it would eradicate all the valuable discussions about the link that were had 12:56:55 i.e., none 12:57:48 The link about iTunes going DRM-free? 12:58:05 yeah 13:00:50 Apple wanted people to pay them to get rid of the DRM on their current collection? 13:01:23 all the drm-free stuff is a separate product, so yeah 13:01:34 i dont think its fully drm free yet even 13:01:46 Wow :/ 13:02:09 -!- BeholdMyGlory has joined. 13:05:14 -!- ais523 has quit (Remote host closed the connection). 13:10:30 -!- BeholdMyGlory has quit (Remote host closed the connection). 13:10:48 -!- BeholdMyGlory has joined. 13:11:32 -!- BeholdMyGlory has quit (Remote host closed the connection). 13:14:36 -!- Deewiant has quit (Ping timeout: 244 seconds). 13:15:29 -!- Deewiant has joined. 13:18:19 -!- copumpkin has joined. 13:24:24 Sgeo: Oh uh, update etc. 13:24:29 IT IS MY DUTY TO NOTIFY THE MUCH LESS VIGILANT 13:24:31 Saw it 13:24:37 I have it in Google Reader 13:24:52 Or DO you 13:46:22 -!- BeholdMyGlory has joined. 13:50:11 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 13:50:32 -!- FIQ has quit (Quit: LΓ€mnar). 13:51:19 now where's oerjan when you need him 13:52:19 probably out partying like always 13:54:32 yeah 13:54:38 he's such a ... party dude 13:54:51 -!- Phantom_Hoover has joined. 13:55:42 yeah oerjan is the "dude" in "partitude" 13:55:42 lambdabot, status report. 13:55:46 :( 13:55:46 Phantom_Hoover: You have 5 new messages. '/msg lambdabot @messages' to read them. 13:55:55 which means partying 13:57:52 "As far as we know, every force weakens with distance. " 13:58:06 I thought strong force between quarks gets stronger? 13:58:41 http://www.badastronomy.com/bad/misc/astrology.html 13:59:17 By the way. 13:59:26 The universe is expanding faster and faster now, right? 13:59:40 And... Einstein's universal constant fits. 14:09:59 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:10:34 I thought strong force between quarks gets stronger? 14:10:41 It's complicated. 14:11:10 you know what they say, what doesn't quark you only makes you stronger 14:11:12 It weakens with distance, but only up to a point; and colour confinement means that realistically you can only get them so far apart. 14:12:51 Lymia, what are you trying to say it doesn't sound sensible. 14:13:26 -!- aloril has quit (Ping timeout: 250 seconds). 14:14:04 Never mind. 14:16:29 Do you mean his cosmological constant? 14:17:00 (The cosmological constant really annoys me because of all the idiots who say "SEE EVEN WHEN EINSTEIN WAS WRONG HE WAS RIGHT".) 14:17:15 (It's science fanboyism, plain and simple.) 14:18:14 Yeah, I think that's it 14:18:22 How simple is the math anyways 14:18:48 For GR? 14:18:53 Crazy complicated. 14:19:15 just math it up and you're done 14:19:43 (OK, so it's not all that complicated, but it's extremely hard to actually use it.) 14:19:56 math. it. up. 14:20:27 don't listen to Phantom_Hoover, he doesn't even have a formal degree in math. so what was GR short for again? 14:20:40 you mean like general relativity? what the fuck is that, always wondered 14:21:35 It's, like, trampolines. 14:21:37 In space. 14:21:45 i love trampolines! 14:21:51 Do you love space. 14:21:54 if there's a safety net of course :\ 14:22:10 That's not a problem in space. 14:22:18 You can't hit anything. 14:22:24 what about all the gravity flying about in there? 14:22:38 what if some of it hits me in the face 14:22:59 Don't worry, it tastes like apples. 14:23:03 I love how the "rubber sheet" explanation for gravity.... relies on gravity to work. 14:23:20 ^ 14:23:24 Recursive metaphors. 14:23:27 Lymia, that is because it is a terrible explanation for it which is wrong in at least 3 ways. 14:24:14 Does the geometry of space change the way the rubber sheet metaphor describes it changed if the rubber sheet was flattened out but the distortions made from a birds-eye view were still there? 14:24:21 That is, is there a way to salvage it? 14:25:24 It's an explanation of gravity that relies on one's intuition about gravity to work, and not in a very direct way. 14:25:31 It's like saying "gravity causes gravity" 14:25:31 So, no. 14:25:53 Plus, you'd need 4 dimensions to extend it to 3d. 14:25:57 *cough* 14:27:16 No, I mean 14:27:32 -!- aloril has joined. 14:27:46 Not as an explanation. But if you look at the rubber sheet from the top, the "straight lines" get distorted 14:28:03 Is that distortion accurate to whatever way gravity gets distorted in actual reality? 14:28:06 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 14:28:09 Dunno. 14:28:41 -!- Phantom_Hoover has joined. 14:29:05 14:25:31: It's like saying "gravity causes gravity" 14:29:09 No, it's not. 14:29:28 It's nothing like the actual reason it happens, but it's not tautological. 14:32:18 (The actual reason it happens is that the geometry of 4D spacetime is altered such that the 4-vector which points 'futurewards' is deflected to have a space component.) 14:33:24 Phantom_Hoover, do you actually understand general relativity? With that I mean, "able to calculate on it" 14:33:47 Vorpal, no, but I understand The Principles. 14:33:58 ah 14:34:15 But I can calculate on a trampoline in space. 14:34:23 Although I can't do it as well as oklofok. 14:34:43 -!- copumpkin has joined. 14:34:50 Phantom_Hoover, err, what do you mean 14:35:49 Vorpal, have you considered that I have more amusing things to do than substitute for your scroll bar. 14:36:09 Phantom_Hoover, oh so "trampoline in space" is mentioned above? 14:36:13 you could have said that 14:36:37 trampo llineeeeeeeeeeeeeeeeeeeeeeeeees :DSDDDDDDDDDDDDDD 14:36:50 IN SPACE 14:39:18 14:27:46: Not as an explanation. But if you look at the rubber sheet from the top, the "straight lines" get distorted 14:39:21 No. 14:40:22 I assume that that no is to the question I aked that you didn't pate, rather than the tatement you pasted? 14:40:37 My s key was being funky 14:41:03 I'm sorry Sgeo I don't know how to pate tatements. 14:41:18 paste statements 14:44:21 Phantom_Hoover, so.... 14:44:27 The flow of time is bent so that it has a direction 14:44:29 Well... 14:44:33 A direction that's not time related. 14:44:36 =w= 14:44:55 Please everyone I am not this magic science man. 14:45:07 I only have a vague grasp on most things. 14:45:16 Shut up magic science man. 14:46:52 magic science NERD :DDDDDDDDDDDDD 14:47:41 Shut up magic maths nerd. 14:47:48 im not nerd :( 14:47:55 You and your pentagrams. 14:48:12 * Lymia draws a hexagram 14:48:29 JEW 14:48:38 Jewish Minecraft nerd. 14:48:47 margaxeh 15:08:02 -!- azaq23 has joined. 15:20:26 Holy SHIT. 15:20:31 That comment is now at -52. 15:20:40 I am lolling. 15:29:55 hm? 15:30:14 elliott, which comment? 15:30:38 oh 15:33:52 Note to self: elliott isn't perfect 15:33:59 Yes I am. 15:46:28 -!- Kustas has joined. 15:52:39 -!- monqy has joined. 16:00:47 Sgeo, you may also wish to note that I am in fact just this random 16-year-old, not some science prodigy. 16:33:23 -!- Kustas has quit (Read error: Connection reset by peer). 17:02:00 Sgeo, you only found that out now? 17:03:25 Sgeo has worryingly delusional beliefs about me most of the time. 17:07:10 -!- BeholdMyGlory has quit (Remote host closed the connection). 17:15:33 -!- BeholdMyGlory has joined. 17:40:01 !perl if ("David" == "David") { print("True"); } else { print("False"); } 17:40:02 True 17:40:08 !perl if ("Nancy" == "Nancy") { print("True"); } else { print("False"); } 17:40:08 False 17:40:17 HAVE FUN WITH THAT ONE GUYS 17:40:35 Does == work in Perl the way you'd expect? 17:40:42 "Da" means yes 17:40:46 "Na" means no 17:40:54 hence true and false :P 17:41:03 Ah. 17:41:15 No, that is not the reason :P 17:41:23 But you guys will NEVER figure out the reason. 17:41:26 but PH believed me :D 17:41:27 Dammit that seemed plausible. 17:41:44 Some kind of localisation thing combined with weird comparison! 17:42:10 Gregor: "NaN" 17:42:14 Gregor: and == is numeric equality 17:42:14 the end 17:42:22 "David" reads as 0, but "Nancy" reads as NaN 17:42:27 and we all know nan isn't equal to itself 17:42:27 elliott: Damn you :( 17:42:27 the end 17:42:33 that was easy 17:42:42 -!- pikhq_ has quit (Ping timeout: 240 seconds). 17:42:50 -!- pikhq has joined. 17:43:22 i figured that's what it was 17:43:38 also why you chose my given name as your "normal" test case, i do not know 17:43:44 you just wanted to puing me i guess 17:43:47 its a conspiracy 17:45:21 -!- oerjan has joined. 17:45:37 -!- TOGoS has joined. 17:46:05 -!- TOGoS has left. 17:52:01 !perl if ("Nancy" == "Nancy") { print("True"); } else { print("False"); } 17:52:01 -!- elliott has quit (Read error: Connection reset by peer). 17:52:02 False 17:52:20 wait oops I messed it up 17:52:45 somehow it worked in private 17:55:02 its a conspiracy 17:55:12 the Dave conspiracy, to be precise 17:57:32 -!- elliott has joined. 17:57:46 19:55 oerjan> its a conspiracy 17:57:46 19:55 oerjan> the Dave conspiracy, to be precise 17:58:13 shut up i'm thinking of a hi-LARIOUS reference to respond with 18:04:25 will you guys miss it if i start typing numbers normally again be honest 18:05:01 !perl if ("Dave" == "Dave") { print("True"); } else { print("False"); } 18:05:01 True 18:05:06 stop that 18:05:49 elliott: we'll be shattered by grief 18:05:57 monqy: wat 18:06:05 `quote wat 18:06:08 71) * oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies \ 87) if you watch jaws backwards it's a movie about a giant shark that throws up so many people they have to open a beach \ 161) cpressey: I have actually done a waterfall-model project that almost worked 18:06:22 `quote \bwat\b 18:06:23 No output. 18:06:33 I should just accept that perl makes no sense 18:06:35 !perl if ("Nancy" === "Nancy") { print("True"); } else { print("False"); } 18:06:36 syntax error at /tmp/input.30620 line 1, near "===" 18:06:55 !perl tell me why perl is so crazy 18:06:55 Can't locate object method "so" via package "crazy" (perhaps you forgot to load "crazy"?) at /tmp/input.30696 line 1. 18:07:14 monqy: um the statement you tried is the one which _does_ make sense 18:08:12 does egobot filter control characters out of its input 18:08:53 some of them 18:09:02 -!- Kustas has joined. 18:09:30 I was secretly putting bolds in there to try to get it to mess up 18:09:31 i sure am shitty at max/msp 18:09:44 !perl if ("Daveq" == "Dave") { print("True"); } else { print("False"); } 18:09:44 True 18:09:48 aaagghhh 18:09:49 monqy: oh hm the _channel_ filters some too 18:09:54 -!- Lymia has quit (Quit: 1... 2... 3... HUGS! :D). 18:09:55 yeah +c 18:10:03 oh that makes sense 18:10:03 that lymia hugs way too much. 18:10:14 monqy: apologise to perl plzkthx 18:10:16 its upset 18:10:21 never 18:10:30 !perl print "\x1b#8" 18:10:30 ​.#8 18:10:54 as if that would work, but it *would* have been fun if it did 18:11:17 I guess that explains why the nancy test worked in private too 18:11:21 :( 18:12:04 perl has secret features in it to not allow people to mock it 18:12:27 -!- Sgeo has changed nick to JokeKiller. 18:13:20 btw, there's a manpage "console_codes" that describes a lot of escape sequences, tried to display my powers of arcane knowledge using ESC#8 the other week but someone just looked it up in the manpage and pasted the description 18:13:30 -!- Lymia has joined. 18:15:31 -!- JokeKiller has changed nick to Sgeo. 18:16:08 -!- foocraft has joined. 18:39:19 -!- copumpkin has changed nick to pumpkin. 18:40:16 -!- pumpkin has changed nick to c0pumpkin. 18:55:31 It occurs to me that I could actually have this thing generate Autocrap. 18:55:37 I'm not *going* to, but I could. 18:56:39 -!- Kustas has quit (Quit: nights). 19:00:42 I bet it could generate intercal code too, maybe you'll make it do that? 19:02:22 -!- pikhq has quit (Ping timeout: 240 seconds). 19:02:34 -!- pikhq has joined. 19:17:37 this channel is now boring 19:18:00 Xom is bored? 19:23:51 BUTBUT DECLARATIVE BUILD SYSTEMS 19:23:54 FORREALZ 19:26:47 -!- oerjan has quit (Quit: Reboot). 19:26:52 pff! build systems are for losers who need to keep changing their code, just write the code until it's done, then compile it and distribute the result 19:29:13 -!- yiyus has quit (Ping timeout: 252 seconds). 19:30:00 -!- c0pumpkin has changed nick to copumpkin. 19:33:10 Xom is bored? 19:33:22 Sgeo, you cannot make references if they don't even show up on Google. 19:33:47 OK, revise after more specific query: 19:34:01 crawl 19:34:20 but would sgeo ever make reference to anything non-crappy enough to show up on google? 19:34:44 Has he ever made Homestuck references. 19:41:22 -!- yiyus has joined. 20:00:11 -!- Sgeo has quit (Read error: Connection reset by peer). 20:00:46 -!- Sgeo has joined. 20:01:18 -!- elliott has quit (Remote host closed the connection). 20:01:24 -!- elliott has joined. 20:02:54 * pikhq can has a proper solver for c99 20:04:31 Solver? 20:05:23 You ask the solver system to look for something. It executes the callback for it and caches the result. 20:06:10 pikhq: [asterisk]executes each callback for it in order (of preference) and caches the result of the first one to succeed. 20:06:15 STOP TAINTING MY DESIGN WITH YOUR SIMPLIFICATIONS 20:06:15 Well, yes. 20:06:23 Can I see the code? 20:07:43 http://sprunge.us/CcVf 20:08:46 elliott: oh my god this time travel is getting out of hand. 20:08:55 CakeProphet: lmao; what page are you on? 20:08:59 4460 20:09:06 Whuh? 20:09:19 elliott suggested you were into A5A1. Anyway. 20:09:23 and these troll romances. WHAT AM I EVEN READING NOW. 20:09:31 Phantom_Hoover: He... is? 20:09:37 4460 20:09:42 Yes? 20:09:47 Note how this is well within act 4. 20:09:51 ... 20:09:52 No? 20:09:59 ...no this is act 5. 20:09:59 Note how you're an idiot? 20:10:04 Oh, right. 20:10:09 Numbers confuse me. 20:10:16 Unless they're on a space trampoline. 20:10:17 elliott: Unlike Autoconf, I refuse to do a comprehensive test for, well, every major C99 feature. 20:10:30 I'm going to need a recap very soon... 20:10:46 elliott: If it claims to be C99 but isn't, well, I'm not cleaning up after the asshole compiler dev. 20:10:53 pikhq: wait, you don't actually support multiple solutions for a single goal? 20:10:57 that's useless then 20:11:08 elliott: Whaddya mean? 20:11:09 as it stands you can't add another separate solution to use the posix c99 command 20:11:17 solutions are a _list_ of functions 20:11:40 Oh, dur, that's a relatively easy fix. 20:12:03 CakeProphet: A recap won't be necessary. 20:12:13 You are very, very close to the end of actfiveactone, btw. 20:14:21 Does CakeProphet know names? 20:14:49 Sgeo: Is CakeProphet Sgeo? 20:14:57 No? Then yes, CakeProphet knows names. 20:15:08 CakeProphet might be Sgeo though. 20:15:09 CakeProphet: are you sgeo 20:15:25 CakeProphet: Be Sgeo 20:17:44 You cannot be Sgeo. Sgeo's dad forbids it. 20:23:05 -!- copumpkin has quit (Ping timeout: 258 seconds). 20:24:29 -!- copumpkin has joined. 20:24:37 -!- copumpkin has quit (Changing host). 20:24:37 -!- copumpkin has joined. 20:24:39 CakeProphet: Hey, remember whining about the pesterlogs in the first few pages? :D 20:24:45 MEMOS SURE ARE GREAT HUH 20:25:10 elliott, I much preferred the memos to the pesterlogs, TbH. 20:25:18 They were hilarious, rather than expository. 20:25:24 Anyone who doesn't like pesterlogs is a bad person and should die. 20:25:35 I will speak no further on the matter. 20:27:47 no I like the pesterlogs, I'm just kind of tired of reading at this point. 20:28:20 I think I enjoyed them more with the humans. Less drama stuff. 20:28:45 Act Five Act One... isn't typical. 20:29:16 But it's a vital part of the story, and you only find out why on the last page, 4524. 20:29:50 Hivebent was planned pretty much as soon as Homestuck began, so it's not like Hussie decided to make the comic all edgy all of a sudden. 20:30:31 no I can definitely tell that it ties in 20:30:46 actually all of this later stuff seems like it was written before the beginning, or at the same time. 20:31:16 because it would be ridiculous if he just tied everything in after-the-fact. 20:31:19 I think pretty much everyone finds Act 5 Act 2 more enjoyable than Hivebent. 20:31:41 it's interesting. 20:32:43 elliott: Kay, so. In theory, you should be able to do any number of solvers now. 20:33:02 pikhq: Wert. 20:33:20 Hrm, wait, minor issue. lappend does an end append, not a front append. 20:33:39 And I at least *presume* that it makes most sense for later solvers to take precedence over earlier ones. 20:34:41 pikhq: Does it? I'd define gcc first because it's preferred, and then c99 as a "last" resort 20:34:48 But I suppose for extensibility, that is preferable 20:36:55 4481 is hilarious 20:37:24 like, that joke was set up age ago. 20:37:28 *ages 20:46:23 bam. end of act 5 act 1 20:48:14 It's a pretty epic ending :P 20:48:49 elliott: I am *rapidly* approaching the point where my tests need to be in a seperate file. :P 21:06:25 "To keep whipping my personal horse, I maintain that TCE changes the language semantics in that it changes the kinds of computation the language can perform. With it a state machine can be built out of mutually recurring functions and run virtually forever instead of crashing, that sounds like a semantic change to me." 21:06:30 let's laugh at this idiot lol 21:10:38 wow who would even think that 21:11:14 TCE? 21:11:41 tail-call elimination 21:13:39 sounds a bit too intellectual to be guido though 21:13:54 they're pro-TCE, so of course they're not guido 21:14:26 oh, pro-TCE? that wasn't too obvious 21:14:37 The _kind it can perform_? 21:15:12 I don't think I'd think to criticise it if it weren't for the criticism in here, but now it's been criticised in here, I easiy see what's wrong with that statement. This is scary. 21:16:12 that's the power of #esoteric empowering you, or something 21:16:47 i like how by their logic, buying more ram changes a language's semantics 21:17:22 "TL;DR: Prefer a DSL over a state machine any day of the week." 21:17:23 r u srs 21:18:53 -!- ralc has joined. 21:19:03 what if the dsl models a state machine 21:19:04 what then 21:19:20 DSL? 21:19:26 YOU GUYS AND YOUR ACRONYMS 21:19:29 domain-specific language 21:19:34 monqy: FSM-DSL-C E P T I O N 21:20:05 olsner: slow clap 21:20:21 olsner, that meme is now over. 21:20:24 I never saw that movie is it any good 21:20:26 You have perfected it. 21:20:33 monqy, it is the beest movie. 21:21:53 -!- foocraft has quit (Quit: if you're going....to san. fran. cisco!!!). 21:26:09 "State machines are like gotos, each transition is a jump. The main difference is that unlike gotos, state machines have no built in language/debugging support which makes it more tedious to figure out what is going on inside them when they break." 21:26:22 state machines are like rube-goldberg machines 21:27:08 Apparently there's language/debugging support built into gotos. 21:27:09 state machines are like gotos except more structured 21:29:37 I would like to know what goes on inside gotos when they break 21:30:19 splinpers 21:30:36 gosomeplaceotherthan 21:30:37 hmm, let's reparse the quote, what was it that broke again? 21:30:45 meh, they're probably wrong whatever it was they were saying 21:30:46 goanywhere 21:31:02 comefromanywherebut 21:32:50 hmm, what if there was a blend of come from and goto, where it had to be a two-way link 21:34:06 I think many compilers actually will set up the two-way link (in a way) while compiling a gotoful program 21:34:27 if it does ssa it'll need to know the come from's 21:34:52 yeah, comefrom would be much more civilised if the line in question had to consent to it 21:35:42 -!- sebbu has quit (Ping timeout: 240 seconds). 21:37:58 error: label raped. 21:38:31 -!- sebbu has joined. 21:38:32 -!- sebbu has quit (Changing host). 21:38:32 -!- sebbu has joined. 21:41:37 and now for some zebra water sports: http://i.imgur.com/q8IYg.png 21:43:17 olsner: O_O 21:46:39 Gregor: maybe you'll know this: do I want pickled herring and schnaps for breakfast on August 27? 21:47:20 olsner, whaat ewww 21:47:27 olsner, for *breakfast* 21:47:28 hell no 21:47:53 Ignore Vorpal, he knows nothing of the wonder of pickled herring and schnapps. 21:48:12 Phantom_Hoover, have you ever eaten that 21:48:18 Vorpal: it'll probably actually be second breakfast though 21:48:25 olsner, ah okay 21:48:25 Vorpal, I can infer that it is awesoe. 21:48:27 a lot better 21:48:29 *awesome 21:49:10 olsner, Jag har vissa dubier angΓ₯ende schnappsen. 21:49:23 Vorpal: nubbe dΓ₯? 21:49:26 olsner, Ska du kΓΆra? 21:49:37 vΓ€nta 21:49:45 du hade inte kΓΆrkort va? 21:49:47 jag har fortfarande inte tagit kΓΆrkort nej 21:49:53 kommer inte ha gjort till dess heller 21:50:00 olsner, va, det har ju gΓ₯tt flera timmar sedan dess!! 21:50:14 sedan slutet av augusti i Γ₯r? nej, det har inte varit Γ€n 21:50:34 nej jag menar sedan du nΓ€mnde det :P 21:51:22 olsner, okej men jag Γ€r absolutist, sΓ₯ jag Γ€r fortfarande emot spritintaget. Men beslutar du dig Γ€ndΓ₯ fΓΆr det sΓ₯ kan jag inte ge nΓ₯gra rΓ₯d om bΓ€sta val. 21:51:35 olsner, varfΓΆr inte surstrΓΆmming? 21:53:04 olsner, ^ 21:53:05 ! 21:53:09 Vorpal: dels fΓΆr att det inte erbjuds, men framfΓΆrallt fΓΆr att jag inte vet hur man Γ€ter det 21:53:13 aha 21:53:19 s t o p 21:53:22 olsner, har du aldrig prΓΆvat det? 21:53:28 Vorpal: nope 21:53:31 ah okay 21:54:04 olsner, jag ΓΆnskar eder en god natt. 21:54:08 night β†’ 22:01:30 Seriously, if you're going to speak to each other in Swedish, do it in a /msg. 22:01:49 It's not very polite to carry out a conversation in front of everyone else that most of us don't understand. 22:01:54 Phantom_Hoover: it's all vorpal's fault 22:02:14 olsner, yes, of course, but only you can stop Vorpal fire. 22:03:15 -!- MigoMipo has quit (Read error: Connection reset by peer). 22:04:36 -!- Gregor has left ("Leaving"). 22:04:40 -!- Gregor has joined. 22:04:46 DID YOU MISS ME? 22:04:53 the short summary is that 1) I haven't gotten a drivers license since this morning when it was last discussed 2) august is in the future 3) vorpal is an absolutist and disapproves of consuming alcohol 22:05:21 Ah, right so Vorpal being Vorpal then. 22:05:37 pretty much 22:05:41 *so, 22:05:46 I used to be more irritated by alcohol 22:05:46 Erm, *right, 22:05:59 "Then I tried drinking it instead." 22:06:22 Sgeo: you're not supposed to put it in your eyes 22:08:46 `addquote I used to be more irritated by alcohol Sgeo: you're not supposed to put it in your eyes 22:08:49 457) I used to be more irritated by alcohol Sgeo: you're not supposed to put it in your eyes 22:09:12 Gregor, hey, I made that joke first! 22:09:39 I DON'T CARE IF OLSNER DID IT BETTER 22:09:48 mwahaha 22:13:13 -!- pikhq has quit (Ping timeout: 240 seconds). 22:13:14 -!- pikhq_ has joined. 22:18:02 -!- pikhq_ has quit (Ping timeout: 240 seconds). 22:18:13 -!- pikhq has joined. 22:19:09 neat: http://c2.com/cgi/wiki?ValuesOfBetaMayGiveRiseToDom 22:19:37 (there's that word again: neat neat neat) 22:20:13 PRINTER ON FIRE 22:20:31 PUT IT OUT! 22:22:16 PRINTER ON FIRE 22:23:12 -!- Vorpal has quit (Ping timeout: 250 seconds). 22:32:55 -!- pikhq_ has joined. 22:33:10 -!- pikhq has quit (Ping timeout: 250 seconds). 22:35:55 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 22:41:03 -!- elliott has quit (Remote host closed the connection). 22:55:33 -!- Behold has joined. 22:56:23 -!- BeholdMyGlory has quit (Ping timeout: 244 seconds). 23:12:25 -!- oerjan has joined. 23:23:41 -!- Patashu has joined. 23:40:44 -!- Behold has quit (Read error: Connection reset by peer). 23:41:04 -!- Behold has joined.