00:00:01 so like the LHC gets like 11 petakelvins 00:00:21 -!- n2liquid has joined. 00:00:21 elliott: I'm roughly 50.5 attoparsecs tall! seeeee 00:00:29 Phantom_Hoover: http://video.google.com/videoplay?docid=-5054356894457127152 00:00:31 shorty 00:00:36 the barn-megaparsec is my favourite stupid unit 00:00:50 because it's actually a completely reasonable unit 00:00:55 "Tonne" is confusing with "ton" so I think "tonne" should not be used. 00:00:58 Fiora: i think this means you may actually be shorter than me 00:01:00 which is a first 00:01:33 Bike: Well, the derived Planck units are often quite reasonable. 00:01:35 heh, the hubble-barn is also a reasonable unit 00:01:50 Bike: For instance, 1 Planck impedence is about 30 ohms. 00:02:15 huh. 00:02:21 elliott: wait how tall are you 00:02:22 the planck pressure, though... 00:02:32 Fiora, like 1.7m iirc 00:02:40 less, even 00:02:45 4.63309e113 Pa? Jesus. 00:02:46 `frink 1 attoparsec -> m 00:02:51 i am like 5 feet 1 inch or something 00:02:57 maybe i grew since the last time i figured that out 00:03:03 oh, I'm 5'1" too 00:03:13 0.030856775813057289536 00:03:28 Another thing you can do other than use metres and so on, is if the other units are wrong size, use other base units. So, such things as lightyear and so on, etc. 00:03:36 planck momentum is reasonable 00:03:40 0.4 petayottayottayottayottapascal? 00:03:57 0.4 PYYYYPa is awesome. 00:03:58 an attoparsec is like 3cm 00:04:11 attoparsec per microfortnight is the best though :3 00:04:23 Bit over an inch? Huh. 00:04:25 about a foot per second or something, right? 00:05:15 the dwarf fortress units are quite silly 00:05:26 they're fahrenheit + 9000 or something 00:05:31 -!- nooodl__ has joined. 00:05:46 it's like a cm/s I think 00:06:01 iirc, a lightnanosecond is about a foot 00:06:27 yeah, it would be 00:08:16 -!- nooodl_ has quit (Ping timeout: 246 seconds). 00:11:48 Huh. Planck charge is also fairly reasonable. About 12 times larger than the elementary charge. 00:12:34 -!- ifnspifn has quit (Read error: Connection reset by peer). 00:12:40 -!- ifnspifn_ has joined. 00:13:03 -!- lambdabot has joined. 00:13:10 pikhq_, you mean the coulomb? 00:13:18 the coulomb is not a reasonable unit 00:13:24 the charge of an electron 00:13:30 Phantom_Hoover: No, the elementary charge is the magnitude of the charge of an electron. 00:13:32 is called the "elementary charge" 00:13:40 that's not even close to a reasonable unit! 00:13:50 It's reasonable in many contexts. 00:14:19 i thought we meant 'macroscopic' 00:14:34 Okay, fine. 00:15:08 It's still more reasonable than most of the Planck units... I mean, shit, there's an SI prefix for that one. :P 00:15:46 It's a mere 1.8 aC. 00:16:57 planck impedance: 29.979 ohms? 00:17:26 Yup. 00:17:31 there's a planck momentum too, it's not big 00:17:38 I wonder what the planck magnetic field is 00:18:17 Magnetic flux density? 00:18:22 2.15 * 10^53 teslas says a quick google? ohgod 00:18:32 "215000 yottayottateslas" 00:18:46 HTK's timestamps are in units of 0.1 microseconds. I've always presumed it's because it's accurate enough for each sample of 16 kHz audio to have an integer time in those units (unlike microseconds; one sample is 62.5 us), but nanoseconds would've resulted in too large numbers. 00:18:54 i think that's above the point where maxwell's equations go to hell and the vacuum becomes polarised 00:19:08 I think that happens at like, about 10^40 times less? XD 00:19:12 polarised, n. really cold (it's cold at the north and south pole) 00:19:20 "megasecond" is my favorite usual unit, i think 00:19:20 Or just make up new prefixes. 00:19:28 not any more *badum-tsh* 00:19:47 Someone once told me, they read they wanted to add another prefix "heva" 00:19:59 fizzie: might also be that they stole their time unit from windows 00:20:01 wasn't there a petition to make "hella" official, or something 00:20:06 * oerjan swats elliott for confusing nouns and adjectives -----### 00:20:21 i liked the proposal for zeppo-, harpo- and groucho- 00:20:27 pfffffff 00:20:32 link? 00:20:54 n., n. separator between dictionary entries and their definitions 00:21:09 I don't want "zeppo" because it is similar to "zepto" 00:21:10 well if we have hella, then clearly the opposite prefix should be heava 00:21:11 it may have been in either the feedback or letters sections of the new scientist 00:21:48 I think they wanted "heva" one above "yotta" although I am unsure. 00:21:51 olsner: I suppose it's possible, though I don't think it's a very Windows-oriented piece of software. 00:22:06 itsymeter. yw. 00:22:14 I've seen at least one "serious-looking" SI extension proposal. 00:22:34 they have to add bitsy too 00:22:38 so then you can have an itsybitsymeter 00:22:38 itsy-, bitsy-, teeny- and weeny- 00:22:44 http://sourceware.org/bugzilla/show_bug.cgi?id=11984 *grin* 00:22:47 oerjan: fuck you i'm a disctionary 00:22:49 an itsybitsy spider would be very small indeed 00:22:50 polkadotmeter 00:22:59 -!- sebbu has joined. 00:23:02 But I am OK if you want to add other prefixes, whether it is "groucho" or whatever else 00:23:17 elliott: is that like a book using discworld spelling conventions? 00:23:44 oerjan: who publsiehs the definitions around here 00:24:08 There is also "myria" not used much anymore, although it is a metric prefix for a myriad (ten thousand). 00:25:30 Be handy for CJK folk. 00:25:50 (CJK all group numbers in myriads.) 00:26:47 Yes, I know that too. 00:27:02 oh, that's probably where knuth got the idea, isn't it. 00:27:34 -!- sebbu has quit (Client Quit). 00:27:36 At least I think so. 00:28:12 "Angstro" has been suggested for 10^(-10). Perhaps to get rid of ångström as a separate unit. (It even has the "m" there.) 00:28:59 I think it would be OK. 00:29:25 angstrometer 00:29:56 (Don't know whether the suggestion kept the diacritics. At least å would be free for abbreviations.) 00:30:13 1 åm. 00:30:27 Yes, and then "angstrom" becomes short for "angstrometer". But yes you should use the lowercase a with ring above for this prefix (uppercase A with ring above is angstrom) 00:31:14 Make a list of these things. 00:31:36 Then you also have 1 åÅ = 10 zm. 00:31:58 :D 00:32:00 I suppose it does allow you to do that although I do not think it would be a good idea. 00:32:23 One ångströångström does sound a bit silly. 00:32:42 * pikhq_ approves of the ångströångström 00:33:35 Though maybe that should be "ö¨å" (can't be bothered to find the combining char) 00:34:19 [[ 00:34:20 > The excuse for not fixing this does not make sense. 00:34:21 What doesn't make sense is you. 00:34:21 ]] 00:34:21 :1:52: parse error (possibly incorrect indentation) 00:34:23 -- ulrich drepper 00:34:33 http://sv.wikipedia.org/wiki/Fat_(m%C3%A5tt) 00:34:34 you mean an å with a diaeresis? 00:35:04 ä you guys are lazy 00:35:09 olsner: Yes. 00:35:11 oh, 1 fat is 480 osmunds ... pretty thin fella this Osmund 00:35:24 ŕ 00:35:25 -!- sebbu has joined. 00:35:33 ĥ 00:35:37 What is the equation for the Railsback curve? 00:35:56 olsner: Needs both, clearly, as otherwise that'd be a diphthong. 00:36:32 not really, since öå doesn't become a diphtong in the first place 00:37:24 olsner: Bah humbug. 00:37:26 olsner: unless you're very drunk 00:37:47 I will diäresisize all vowels that are adjacent! 00:38:21 föå en öål til föår föan 00:39:45 olsner: or from skåne, probably 00:39:52 Which is why it's "oërjan" not "Ørjan". >:D 00:40:10 øærjan 00:40:47 oërhöert 00:41:05 does this: "å̈" look fine to you guys 00:41:16 nooodl__: excellent plain a, there 00:41:18 no, it looks like you have some kind of growth on your head there 00:41:31 it's supposed to be... an a with an ö above it, essentially 00:41:46 a + ° + ¨ 00:42:09 ǟ 00:42:36 nooodl__: That composed poorly. 00:42:39 I blame my renderer. 00:44:13 http://www.google.no/search?hl=no&safe=off&tbo=d&site=&source=hp&q=sk%C3%B6%C3%A5ne&oq=sk%C3%B6%C3%A5ne&gs_l=hp.3...122718.172765.0.173062.7.7.0.0.0.0.219.750.3j2j1.6.0...0.0...1c.1.T-0dj36Ttyc gives a bit of hits 00:49:13 ion: I think he meant rwbarton? 00:50:17 Unless someone like ion wants to do it. 00:50:28 Dunno whom he meant, but i was asking about it in response to that. :-) 00:50:46 "someone like ion" might refer to you 01:02:13 -!- nooodl__ has quit (Ping timeout: 245 seconds). 01:11:37 -!- nooodl__ has joined. 01:22:20 -!- Tod-Autojoined has changed nick to TodPunk. 01:38:53 -!- nooodl__ has quit (Ping timeout: 245 seconds). 01:40:08 Do you guys sometimes discuss about practical (albeit experimental) programming languages? 01:40:25 Like Norwegian? 01:40:39 -!- sebbu has quit (Read error: Connection reset by peer). 01:40:53 -!- augur has quit (Remote host closed the connection). 01:41:19 there's some Finnish too, but opinions differ as to wether that counts as a language at all 01:41:23 -!- sebbu has joined. 01:41:23 -!- sebbu has quit (Changing host). 01:41:23 -!- sebbu has joined. 01:41:39 _programming_, people 01:41:53 ... shachaf started it 01:41:59 lol 01:42:06 if haskell counts, then we do. 01:42:25 Ok, Haskell; what about new programming languages? 01:42:26 also some have had less esoteric projects, i recall Gregor's plof 01:42:29 -!- Sgeo__ has changed nick to Sgeo. 01:42:32 n2liquid: Well, it's not esoteric programming, so *yes*. 01:42:44 Or languages that extrapolate concepts like object orientation 01:43:39 Especially not stuff that's too focused on mathematical concepts 01:43:48 @quote oerjan 01:43:49 oerjan says: i only do impractical things 01:44:06 COUNT ME OUT 01:44:39 oerjan, is plof on the esolang wiki? 01:44:56 no, because it's not esoteric 01:45:02 Glass is OO 01:45:11 well, _maybe_ it's linked from Gregor's user page. 01:45:27 n2liquid: Plof is more a research language than anything else. 01:45:28 Oh, practicaal? 01:45:31 glass is OO, esoteric, and also gregor's :) 01:45:34 Yes. 01:46:56 http://plof.codu.org/wiki/ 01:47:09 Hey, thanks :D 01:51:37 -!- atehwa has joined. 01:52:11 We do discuss experiemental programming and stuff too sometimes 01:53:11 I've been munching some concepts for a programming language for some time now 01:53:28 Although I suppose we also sometimes discuss completely different things too 01:53:28 i recall edwardk had a language project when he came here, although i think he's gravitated towards "everything fits better into haskell"? also everything edwardk is by definition the opposite of "not stuff that's too focused on mathematical concepts". 01:54:17 in the same way, some haskellers seem to go on to agda. 01:54:22 It's nothing bat-crazy like what's often explored in academic research projects or esoteric languages 01:54:26 oerjan, agda? 01:54:45 dependently-typed experimental language 01:55:38 I see 01:55:41 Has there been any work on Plof recently? 01:55:54 Mostly, I just want to read awesome documentation, even if the language isn't well implemented 01:56:05 Why hallo thar, people talking about me >_> 01:56:17 well the fythe VM for it was worked on in february, at least, i see 01:56:33 Fythe was last poked at a few months ago. 01:56:45 It's possible that I'm currently contractually obligated not to touch it, so I'm not :) 01:56:56 ouch 01:57:22 Just for two more weeks now *shrugs* 01:57:47 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:57:50 The Fythe engine works great, and I have some neato ideas for making it work better, I just haven't bothered to finish porting Plof to it yet. 01:58:13 What with my being distracted by silly irrelevant stuff like pursuing a PhD and making money and watching ponies. 01:58:14 any relation to your ioccc entry? :P 01:58:20 OH YOU 01:58:38 sorry, *winning entry 02:00:03 ^^ 02:00:33 Lest it's not obvious, my IOCCC entry has no practical application whatsoever. Anything to make it not suck would also make it unportable, defeating the whole purpose. 02:01:33 obviously. 02:02:30 what entry is this? 02:02:50 What do you guys think about LLVM? 02:02:53 Just curious 02:03:18 Bike: http://www.ioccc.org/years.html#2011_richards 02:05:14 well that's... impressive 02:06:20 I happen to like LLVM, although I also think some things missing, such as supporting bytes other than 8-bits, and supporting ARM2 02:07:50 I know I wouldn't be into programming language design without LLVM 02:07:54 That's a given 02:08:17 is the point of all this preprocessor stuff to make the source resemble dc code 02:11:29 gregor: Is there a description of how the JIT is done somewhere? 02:14:04 ion: The description was in your heart all along. 02:18:39 omg 02:18:51 that JIT is really amazing 02:19:08 it manages to hide the opcodes and stuff too, wow 02:25:33 I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:29:35 `addquote omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:29:38 859) omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:29:51 oerjan: TWO SPACES!!!!! 02:30:12 elliott: Two spaces are the devil. :-( 02:30:18 elliott: i checked with `quote, and the first example that came up had only one 02:30:32 oerjan: two spaces between the first two messages, I mean 02:30:40 kmc: The GHC inliner is annoying me. :-( 02:30:41 Can you fix it? 02:30:53 `quote 02:30:55 I should probably read that one paper, _Secrets of the GHC Inliner_. 02:30:56 683) Here in Scotland we have a rigorous and well-tested theory of brothels. 02:30:59 `quote 02:31:01 `quote 02:31:03 341) How to make a tasty deep-fried treat: 1) Buy ingredients: Large vat of boiling oil, dry ice and a small Filipino boy. 2) Place Filipino boy in dry ice until frozen solid. 3) Shatter now-frozen Filipino boy into boiling oil. 4) Wait fifteen minutes, drain and enjoy! I have the weirdest boner right now. 02:31:27 43) Reality isn't a part of physics 02:31:33 OKAY THEN 02:31:40 `delquote 859 02:31:44 oerjan: Don't give in! 02:31:45 *poof* omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:31:52 `addquote omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:31:55 859) omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can hear the sound of the JIT building ARM functions. 02:32:15 ½ fixed 02:32:16 wait, why did you do that 02:32:40 ion: the rules for [...] are even more complicated. 02:32:50 You should use “　” and see if anyone notices. 02:32:51 -!- augur has joined. 02:33:33 -!- Vorpal has quit (Ping timeout: 276 seconds). 02:34:04 Bike: elliott is a space nazi 02:34:14 we don't want to annoy him 02:34:26 Bike: the formatting rules shall not be broken 02:34:27 Like in Iron Sky? 02:35:03 `addquote bike:the formatting rules shall not be broken 02:35:06 860) bike:the formatting rules shall not be broken 02:35:09 i was just about to do that 02:35:19 i'm so uncreative. 02:35:25 So am I. :-( 02:35:30 `delquote 860 02:35:34 *poof* bike:the formatting rules shall not be broken 02:35:36 broken 02:35:37 what is an appropriate THAT'S THE JOKE link? 02:35:49 the simpson's clip? 02:36:29 i guess that is the top google hit 02:36:36 shachaf: inliner? i hardly know her! 02:36:37 i'm going to pretend that apostrophe was supposed to be there. "The Simpson" is a nickname of a bigfoot-like internet legend, known for posting photographs of firearms with jokes engraved on them. 02:36:49 ion: http://www.youtube.com/watch?v=xECUrlnXCqk 02:37:15 kmc: good point thx 02:37:34 fizzie: ok 02:37:37 fizzie: what was that connect command again 02:39:26 -!- Lumpio_ has changed nick to Lumpio-. 02:44:22 -!- Nisstyre-laptop has quit (Ping timeout: 246 seconds). 02:45:15 -!- aloril has quit (Ping timeout: 276 seconds). 02:47:18 oerjan 02:47:20 go wake fizzie up 02:47:54 fizzie: WAKE UP 02:49:03 oh, it's december o.O late happy new month people o/ 02:49:27 -!- augur has quit (Remote host closed the connection). 02:49:34 oerjan: go to finland 02:50:36 Yes, is December now, and is Advent tomorrow, I think. 02:50:44 Finland isn't real, elliott. 02:50:52 Do you actually know anyone who's ever been there? 02:51:01 Finland is drunk Japan. No more, no less. 02:51:16 Drunk Japan + lakka? 02:51:25 Well, when you're drunk... :P 02:51:28 `? finland 02:51:31 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 02:51:39 I added some commands in my Csound plugin, including "meanfilter", "multiguide", "pairecho", etc 02:52:06 it would appear the bus has got lost 02:52:31 The "pairecho" command makes two delay lines which are allowed to interfere with each other and the amount of interference and output levels can be adjusted at x-rate. 02:52:39 * oerjan tried to read pairecho as something latino 02:52:54 Why? Do you speak Latino? 02:53:05 ladino's cool. 02:53:17 ...it looks vaguely spanish. 02:53:31 monqy, elliott Fiora 02:53:33 Nah, oerjan only speaks onital. 02:53:34 It is meant to be English. 02:54:28 pikhq_: ¡orter edav 02:57:07 -!- jfischoff has joined. 02:58:37 -!- elliott has quit (Quit: leaving). 03:00:19 -!- elliott has joined. 03:00:39 Alright, I got insecure IPv6 working. 03:00:44 -!- elliott has changed nick to Guest55032. 03:00:44 TODO: Get secure IPv6 working. 03:00:56 hi Guest55032 03:00:57 Um. 03:01:04 imo Guest55034 > Guest55032 03:01:19 -!- Guest55032 has changed nick to elliott. 03:12:25 -!- Arc_Koen has quit (Quit: Comment on appelle un mec qui pilote un avion ?). 03:14:26 68060 > 55032 03:14:48 > compare 68060 55032 03:14:50 GT 03:15:39 λ> compare Guest55034 Guest55032 03:15:41 LT 03:15:43 ¡!! 03:16:26 What! 03:17:01 how did that happen? 03:17:08 let compare = flip compare 03:17:14 :P 03:17:29 insidious 03:21:52 data Guest = Guest55034 | Guest55032 deriving (Eq, Ord) 03:23:00 data Comparing = Eq | Ord deriving (Eq, Ord) 03:23:45 note to self do not ask questions 03:24:39 i'd be more impressed if he made it work in lambdabot 03:28:02 oerjan: You should set this channel -n 03:28:09 So elliott can spam it without joining. 03:28:48 i already did once 03:29:18 oerjan: Also, you should kick me for spamming. 03:29:19 If there is Haskell library for defining moves of chess pieces, what should it be called? 03:29:34 zzo38: Hlfdmocp 03:30:16 oerjan: twice 03:30:30 I mean the module name, not the package name, though. 03:32:37 Control.Games.Board.Chess.Moves.Class 03:32:48 hth 03:36:04 oh gosh I got quoted 03:36:21 you've really hit the bigtime now. 03:36:23 @remember Fiora oh gosh I got quoted 03:36:23 Nice! 03:36:36 No, lambdabot is for high-quality quotes. 03:36:38 @forget Fiora oh gosh I got quoted 03:36:38 Done. 03:36:51 @quote fuck 03:36:51 sorear says: [emacs haskell mode] not fucked up, just well documented 03:37:10 @quote duh 03:37:10 copumpkin says: a monad is just a lax functor from a terminal bicategory, duh. fuck that monoid in category of endofunctors shit 03:37:18 so Fiora has gone through two phases of initiation 03:37:30 excessive welcoming and being quoted 03:37:34 is she going to have to write an eodermdrome interpreter too 03:37:38 next up is the goat sacrifice 03:37:49 Bike: no, no one actually managed that yet 03:37:51 Bike: yes but that usually comes later 03:37:51 oh i'm so up for that 03:38:01 how has yours been 03:38:04 oerjan: isn't that the joke 03:38:12 oerjan: oklofok did 03:38:24 she has to spend a few weeks agonizing over how to do it before she fails, though 03:38:28 you mean no *person* 03:38:36 i got bored/frustrated, turns out np-complete problems are annoying, especially when you look at graph rewriting and then look at thue and think "why" 03:38:51 elliott: he just chose a different failure mode, known as "losing the source" 03:39:06 what's an eodermdrome interpreter @_@ 03:39:23 Fiora: http://esolangs.org/wiki/Eodermdrome it's an esoteric language, or "esolang" for short 03:39:37 anyone whose eyes look like @ isn't sane enough to be told! 03:41:08 yes I know what an eslolang is 03:41:20 oh no. it's /that/ one 03:41:21 the graph 03:41:27 the one i was failing at, yes 03:41:42 Fiora: "what is an eslolang" 03:41:44 help 03:41:53 i did write a mascarphone interpreter when arc_koen was talking about it the other day, though. completely untested, as the gods demanded 03:42:16 sorry I'm like randomly being pulled away and things because I'm at my parents' house this weekend 03:42:27 does this mascarphone interpreter have good call rates? 03:42:38 nope 03:42:58 -!- Jafet has quit (Quit: Leaving.). 03:43:13 what does that mean? if it's some subquestion of "is it efficient" the answer is still no 03:43:37 * oerjan notes strong winds above Bike's head 03:44:06 i have congenital joke-blindness, you bigot! 03:44:49 oh. i'm afraid you'll probably not survive in this channel, then. 03:44:56 oh. subgraph isomorphism is the hard one 03:44:59 :( 03:45:01 and graph isomorphism is the almost-hard one 03:45:18 i actually got the subgraph isomorphism bit, but the replacement semantics are not what i assumed 03:47:00 there's the "some vertices need to have no extra edges" bit 03:47:47 yeah, basically i didn't pay enough attention to the description and wrote it wrong, so, frustration when i found out 04:04:06 ion: So do you do the thing where you capitalize your sentences, but not the word "I"? 04:04:18 heh 04:04:39 ? 04:04:51 if a sentence starts with I, do you capitalize the following word instead? 04:04:58 I was wondering whether you do that on purpose or what it is that you do. 04:05:14 olsner: I meant treating "I" as any other word, and capitalizing it like any other word. 04:05:19 Rather than giving it special treatment. 04:05:31 I’d like to learn the reasoning for the special treatment of “I”. You don’t capitalize “You”. 04:05:52 probably something to do with the venerable medieval lack of punctuation or spaces 04:05:52 U don't? 04:05:55 or “a” 04:06:13 ion: So it is a thing you do on purpose? 04:06:32 Bike: Yes I am guessing something like that 04:07:17 -!- david_werecat has joined. 04:07:42 Well, i capitalize “I” in anything more formal, but i find the exception strange. 04:08:03 i AGREE 04:08:10 i ONCE CONSIDERED DOING IT THAT WAY 04:08:22 I agree, but I just got over it 04:08:47 There are enough oddities in my own language to be questioning english 04:08:53 Write All Sentences in Some Kind of Title Case 04:09:04 Kanaya? 04:09:08 I read an article that suggested that the only reason “I” is capitalized is because printers thought “i” looked ugly. 04:09:18 Bah, we should just capitalize all Nouns, as is the historical Practice. 04:09:24 guys 04:09:24 Nowadays printers have no free will. 04:09:32