00:00:50 -!- bb010g has quit (Quit: Connection closed for inactivity). 00:07:25 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 00:08:18 does tokenising gs2 with regexes make nooodl a bad person 00:08:25 i can never remember all these programming rules 00:09:58 what's gs2? 00:10:31 also, I doubt it's "wantonly creates BF derivatives and posts them to the wiki" levels of beign a bad person 00:10:46 god no 00:10:52 http://esolangs.org/wiki/Gs2 00:12:16 Phantom_Hoover: that tokenising regex is something within the power of regexes, basically because there's no nesting involved 00:12:34 so I'd say it's within the technical realms of what regex can do 00:19:47 -!- vyv has quit (Ping timeout: 245 seconds). 00:21:41 -!- vyv has joined. 00:37:06 [wiki] [[Special:Log/block]] block * Abuse filter * blocked [[User:SilkeEberly]] with an expiry time of indefinite (account creation disabled): Automatically blocked by abuse filter. Description of matched rule: first edit is to user page and contains spambot-like use of br tag 00:38:12 ooh, it started working 00:38:43 let me go and manually confirm what the account was up to, given that it's the first automatic spambot block /ever/ 00:39:28 "I'm Ludie and I live in a seaside city in northern Switzerland, Tossriederen. I'm 27 and I'm will soon finish my study at Religious Studies.

My webpage: [http://example.com http://example.com]" (I changed the URL) 00:40:12 it's not as obviously spam as normal, but it has many indicators (

, and the crazy URL duplication) of being generated by a spambot framework 00:40:17 that, and the clickthrough warning 00:41:00 brr brr 00:41:11 haha, also, the same user had tried to make a similar edit yesterday 00:41:16 but a different URL 00:41:38 different name, too 00:41:56 must be human then, certainly no bot would show such flexibility ;-) 00:43:56 my main regret is that I can't tweak it to reduce the block lengths to 24 years 00:44:16 oh well, if a spambot actually gets past the filter and I have to block them manually, 24 years it is 00:44:23 that way, we can identify fast filter breaches more easily 00:45:08 huh, actually it's the third such block 00:45:13 http://esolangs.org/wiki/Special:Log/Abuse_filter 00:46:39 fwiw, the discrepancy between SilkeEberly and "I'm Ludie" would be enough to convince me. 00:49:32 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 00:58:27 I wrote this code for multiplication in 6502 codes http://sprunge.us/GDBJ How can I fix it please? 01:06:33 ais523: I'm not sure the blocks are actually good. 01:06:36 they clutter up recent changes 01:07:03 I was thinking, let's leave it like this for a while and see if we like it better or worse 01:07:15 they're likely to make the abuse filter less spammy, at least 01:08:18 -!- vyv has quit (Read error: Connection reset by peer). 01:09:29 yeah, but only you look at that :) 01:10:44 -!- Sprocklem has quit (Ping timeout: 250 seconds). 01:11:08 elliott_: more seriously, these blocks are autoblock enabled 01:11:14 so they'll also stop the IP doing anything for 24 horus 01:11:16 *hours 01:11:20 fair enough 01:11:22 that could be helpful 01:11:29 -!- Sprocklem has joined. 01:11:50 and for another 24 hours if the bot attempts to use the account again 01:11:53 which many of these spambots do 01:24:06 -!- callforjudgement has joined. 01:24:08 -!- ais523 has quit (Disconnected by services). 01:24:11 nick ais523 01:27:42 is that your full name? 01:31:15 -!- callforjudgement has changed nick to ais523. 01:31:26 elliott_: context? 01:31:29 oh, right 01:31:31 I forgot the slash 01:31:40 whatever you say, nick 01:31:58 I'm tempted to answer "there's actually a middle name between the ais and the 523" 01:32:55 ais callforjudgement 523 01:33:30 names are pretty flexible anyway 01:33:49 e.g. see the various oklopol spellings, or omd at Agora 01:34:09 I'm disappointed that the mandatory signatures rule got repealed, it was hilarious 01:55:29 -!- ais523 has quit (Remote host closed the connection). 01:55:35 -!- ais523 has joined. 02:01:26 -!- Sprocklem has quit (Ping timeout: 250 seconds). 02:01:44 -!- Sprocklem has joined. 02:09:55 -!- kcm1700 has quit (Read error: Connection reset by peer). 02:10:02 -!- kcm1700 has joined. 02:34:13 Mandatory signatures rule? 02:43:16 Sgeo: a rule that every email to a-b/a-o/backup had to have a signature that identified the person sending it 02:47:47 -!- Sprocklem has quit (Ping timeout: 245 seconds). 02:54:43 -!- Sprocklem has joined. 02:56:49 sj47d1.atom: points -46.00, score 0.00, rank 47/47 (-18) 03:01:56 -!- shikhin has quit (Ping timeout: 260 seconds). 03:03:48 -!- tromp__ has joined. 03:05:23 -!- Sprocklem has quit (Ping timeout: 244 seconds). 03:05:50 -!- shikhin has joined. 03:06:23 -!- tromp_ has quit (Ping timeout: 258 seconds). 03:07:12 I don't like the definition of pi (or tau) having to do with circles 03:08:14 zzo38, what definition would you prefer? 03:08:53 it doesn't 03:08:58 I prefer tau is the smallest positive solution of x for e^ix=0 which I think is the case 03:09:12 -!- ais523 has quit. 03:09:25 I thought e^i*tau = 1? 03:09:28 -!- ais523 has joined. 03:09:30 (Is it? I think it is a mistake...) 03:09:38 Yes, 1 is it should be; thank you 03:09:45 I made a mistake which I realized right away 03:10:29 I thought e^itau = e^0i = 1 03:10:58 Yes you are correct 03:11:17 I made a mistake which I had realized right away after sending the line 03:11:53 zzo38, I think your definition and the circle definition are equivalent 03:12:15 Complex exponentiation seems more complicated than circles. But circles might be misleadingly complicated. 03:12:23 Taneb: they are 03:12:31 Taneb: but one is more rigorous and beautiful 03:12:57 shachaf: Well, I wanted to use numerical solutions rather than geometrical 03:13:04 By "equivalent" do you mean anything more than "they're both equal to pi"? 03:13:36 well, if you take exponentiation to be defined by circles or vice versa 03:14:07 -!- tromp_ has joined. 03:14:09 Real numbers are so complicated anyway. 03:15:43 shachaf, Taylor series suggest e^ix = cos x + i sin x 03:15:51 -!- tromp__ has quit (Ping timeout: 246 seconds). 03:15:54 don't need your spooky maths up in this 03:15:56 And cos and sin are generally defined in terms of geometry? 03:16:00 Also you have e^x you can have the infinite series to work it 03:16:20 cos and sin are generally defined by their power series 03:16:31 where are you from 03:17:01 At the very least, they can be defined in terms of geometry 03:17:04 Jafet: Yes and if you use complex number it is even like e^x series too 03:17:48 i think of cos as the triangle thing, or if i'm feeling more """advanced""", the gizmo that shows up in the inner product 03:18:52 Well, triangles are one of their uses (and is the reason it is called "trigonometry"), but there can be other things too 03:19:43 and i think of complexes in polar coordinates, because i like spinning and it makes branch cuts seem sensible 03:20:42 I like the e^itau=1 definition for tau though, do you prefer this one rather than ones involving geometry? 03:20:54 whatever your definition of pi is it should work constructively 03:21:16 O, you want a constructive definition. 03:21:34 obviously define it as the ideal of the something something something 03:21:48 i think of exp(i*tau) as geometric so it's fine w/me either way i guess 03:22:10 -!- Sprocklem has joined. 03:22:28 The positive real number whose digits are given by pi_10 03:22:40 why not use e^itau = 1 as a definition of /e/? 03:22:55 why not both 03:22:58 all three! 03:23:03 all four, define tau, e, i, and 1 03:23:44 Bike, I define them all equal to 1 03:23:48 and sure, some haters might say that also works for e = 2, i = 7, tau = -39, and 1 = 1/15177100720513508366558296147058741458143803430094840009779784451085189728165691392, but we don't need that negativity in our lives 03:24:38 That interpretation of your definition was obviously wrong 03:25:11 Bike: I'm more amused you had a bignum calculator to hand to calculate that definition of 1 03:25:17 ais523: I don't think so; you can better e define as the series, I think (just put 1 in place of x for the series of e^x) 03:25:23 i'm being a mathematician, i can only say something is "obvious" if it's a special case of stokes's theorem. defining 1, now that's hard 03:25:38 ais523: i have a lisp repl open usually 03:25:41 lambdabot is on everyone's hand 03:25:45 as you can see, it's incredibly practical 03:26:00 shachaf: yeah but lol like i have the attention span to remember haskell's exponentiation operators 03:26:08 > 2 ** (7 * -39) 03:26:09 Precedence parsing error 03:26:09 cannot mix ‘GHC.Num.*’ [infixl 7] and prefix `-' [infixl 6] in the same ... 03:26:10 don't worry it has three 03:26:13 nailed it 03:26:20 > 2^(7*39) 03:26:22 1517710072051350836655829614705874145814380343009484000977978445108518972816... 03:26:35 oh and it truncates the answer when you're not using /msg 03:26:37 > 2 ** (0 - 7*39) 03:26:37 shachaf, lambdabot is not without her issues 03:26:38 6.588873714519077e-83 03:26:40 which is probably a good thing 03:26:42 perfect 03:27:02 -!- AndoDaan has joined. 03:27:08 i don't even remember what the other one is 03:27:11 > exp 7 03:27:12 1096.6331584284585 03:27:23 :t (^^) 03:27:24 (Integral b, Fractional a) => a -> b -> a 03:27:27 > exp (0 - 7 * 39 * log 2) 03:27:27 Bike: oh are you a stokes' theorem expert 03:27:28 6.588873714519095e-83 03:27:36 > let e = exp (-1); τ = 8*atan 1; i = 0 :+ 1 in e**(i*τ) 03:27:38 1.0000000000000009 :+ 2.4492935982947084e-16 03:27:42 shachaf: i've been reading differential geometry on and off 03:27:44 Bike: now you're reminding me of Chebyshev's sum inequality 03:27:49 > let e = exp (-1); τ = 8*atan 1; i = 0 :+ 1 in (1/e)**(i*τ) 03:27:50 0.9999999999999991 :+ (-2.4492935982947044e-16) 03:27:57 Bike: i was doing that recently 03:27:59 not being able to memorize it is one of the reasons I wasn't really all that good at the high-level maths competitions 03:28:01 but a lot of it wasn't making sense 03:28:01 it's pretty hard 03:28:03 what should i read 03:28:11 have you been reading spivak 03:28:15 no 03:28:17 wait, no 03:28:20 _Calculus on Manifolds_? 03:28:22 that one's the special case I could remember 03:28:22 ok well that's the usual one, calculus on manifolds 03:28:25 it's notoriously hard though 03:28:30 I can't remember the one I couldn't remember 03:28:32 possibly unsurprisingly 03:28:34 the other one i like is um, lemme find it again 03:28:45 What am I doing awake 03:28:53 listening to me talk about 3-forms 03:29:11 so what are n-forms anyway 03:29:12 right, Applied Differential Geometry by Burke 03:29:16 you might hate it though 03:29:18 the book i was reading was p. handwavy about it 03:29:28 they're like... repeated wedge products of something 03:29:33 maybe it gets less handwavy later 03:30:46 anyway i said the stokes theorem thing because early on in spivak he says "anyway, green's theorem and the cauchy riemann equations and gauss's theorem are boring trivial consequences of stokes's theorem, but you need to read a hundred pages of this book to know what the hell that means" 03:30:51 in total seriousness 03:31:01 yes 03:31:17 also it's a sort of adjunction 03:31:26 and adjunctions are the best?? 03:31:45 i just made the mistake of asking my physics prof how magnetism would work in four dimensions 03:31:48 Oh, I was thinking about the Black-Scholes equation 03:31:49 it involves signed areas 03:31:53 Which is completely different 03:31:56 -!- AndoDaan has quit (Client Quit). 03:32:22 Well, I guess they're similar in that I don't understand either 03:32:30 Bike: oh i was reading http://www.math.boun.edu.tr/instructors/ozturk/eskiders/fall04math488/bachman.pdf and it was a little less handwavy 03:32:32 like 60% of basic electrodynamics is basically stokes's theorem, which is kind of hilarious 03:32:37 david_werecat.atom: points -3.00, score 17.69, rank 31/47 03:32:46 well, electrostatics i guess 03:33:02 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:33:19 all i wanted to know was what "dy" actually means :'( 03:33:22 shachaf: applied differential forms is nice enough that i think i have a pretty good handle on what a tensor is 03:33:27 and tensor products etc 03:33:42 i kind of assumed you knew this stuff though 03:33:46 aren't "pullbacks" a cat theory thing 03:33:59 i don't even know anything about analysis hth 03:34:01 it's all bla bla fiber bundles bla bla 03:34:13 http://en.wikipedia.org/wiki/Pullback_%28category_theory%29 03:34:29 i can't read any of this shit 03:34:30 yes and someone in another channel tried to explain to me how the differential geometry pullbacks were a special case of the category pullbacks 03:34:40 This term I have an "Introduction to Group Theory" module. 03:34:44 but it was 05:00 and i didn't understand anything 03:34:51 life is suffering 03:34:52 I have been introduced to group theory at least twice before 03:34:56 Taneb: is it a Z-module? 03:34:58 [heh heh heh] 03:35:05 i guess that would be abelian group theory 03:35:30 i wonder if i should take a class in this sometime, the last math class i took was vector calculus, which i've forgotten everything of which is why i grabbed spivak 03:35:46 "de Rham cohomology" sounds like something i can shout if i'm on a spaceship that's going to sink and i need to fix it 03:35:57 "We need to reroute the cohomological dampeners!" or something 03:36:23 i've p. much never taken a math class :'( 03:36:29 not sure why you assume i know any of these things 03:36:30 they suck 03:37:06 http://31.media.tumblr.com/00dc7596f0c1d1936d02fc1407a91214/tumblr_ncbvooAB7C1r7tprao1_1280.png behold 03:37:29 anyway is the conclusion that i should read spivak 03:37:48 whoa is that your thing 03:37:53 i think spivak is the canonical text on it, that's all i'm sayin 03:38:12 i've been using burke more, but he was a physicist and says things like "this works for normal functions, look at something else if you want proofs" 03:38:16 A category with more than one object has more monads than how many final objects it has. Is it correct? How do you call such a thing? 03:38:26 ...the module, which is called "Introduction to Group Theory", assumes knowledge of group theory 03:38:34 zzo38: Why? 03:38:56 shachaf: Why of what? 03:39:02 Taneb: maybe they just want you to be familiar with the basic "it's a thing where you can do multiplication" and the class is more like ok here's the residue of seven mod a billion 03:39:05 The thing you said. 03:39:28 or maybe they'll teach you about monstrous moonshine 03:39:29 I still don't understand your question 03:39:30 imo get hype 03:39:30 Bike, looking at the syllabus it seems a lot more detailed 03:39:38 (that what I have done previously) 03:39:58 you don't sound sufficiently hype 03:40:13 zzo38: Why is the thing you said true? 03:40:25 Bike, it's 4:40 am, cut me some slack 03:40:32 ok sorry 03:40:42 i guess you can get ye hype at a later time 03:40:48 why are you awake at five am reading syllabuses 03:40:55 I don't know 03:41:01 yeah 03:41:10 Taneb: whoa, sounds like the perfect time to ask why pullbacks are called that 03:41:20 I woke up accidentally an hour and a half ago I thik 03:41:37 oh so you've gotten some sleep 03:41:40 Bike: also why do category people call them pushouts and other people call them pushforwards?? 03:42:00 shachaf, I never figured out an intuition for pullbacks 03:42:12 i'm sure there's some amazingly stupid reason borne of history 03:42:17 geographic pullbacks seem reasonably easy 03:42:27 something about compositions between maps or whatever 03:42:28 shachaf: O, now I understand you. Because there has to be a identity monad, and a final object also causes a monad (the functor maps everything to the final object) 03:42:57 zzo38: What about the category with one arrow? That one has one monad and one terminal object. 03:43:35 also those monads are isomorphic "do they even count" 03:43:39 shachaf: Yes but it has only one object, not two. 03:43:45 zzo38, what if there are two final objects and nothing else? 03:43:52 No, nevermind 03:44:18 Oh, you said "with more than one object". 03:44:53 http://i.imgur.com/kHf69Dg.png blammo, pullbacks 03:45:08 Bike, if this is a longbow or something... 03:45:18 no it's a pullback 03:45:20 shachaf: Yes, I did say that. 03:45:21 with bonus pushforward 03:45:37 How do you call this theorem? Is there a better one? 03:46:22 i literally did not understand what a dual was before this book, i'm a fucking moron & also great 03:46:30 zzo38: Black's Theorem 03:46:34 there, you're stuck with it 03:46:44 zzo38, what about a category with no final objects? 03:46:51 matrix more like (1 1) tensor 03:46:53 Taneb: It still has the identity monad. 03:46:58 Bike: wait, what's a dual 03:47:02 Taneb: Then it still has identity monad. 03:47:06 shachaf, the theorem was > 03:47:34 So it must have more monads by the theorem? 03:47:43 the dual of a linear space L is the linear space you get from fucking with "linear functionals" which are linear functions L -> R in the obvious ways 03:47:44 1 > 0 hth 03:47:46 "so easy" 03:48:00 then also some other stuff. 03:48:09 oh that kind of dual 03:48:12 Oh, I misread it 03:48:18 i was just reading about cotangent spaces today 03:48:33 yeah that's in burke too 03:48:36 got about a 40% handle on them 03:48:44 Aaaaaah what's a complete set of residues 03:49:18 it's where you walk into a chemistry lab and mix everything up and scrape some samples off the wall after you get the fuck out of there 03:49:46 Bike, last time that happened here, we're not allowed to touch the lake any more 03:50:00 i should hope not, do you know what they keep in those places 03:50:29 here let me just reduce YOUR EYES 03:50:40 I think even an empty category has an identity monad (the definition of such a monad is also empty though; it doesn't have to be defined as an identity monad, as long as it is empty) 03:50:44 i guess they probably don't keep, like, dimethylmercury. 03:51:06 which is proooooobably the deadliest nonbiological chemical i can think of, not sure 03:51:34 what if you represent a vector space as a chu space 03:51:37 is the dual the dual 03:51:59 zzo38: I don't think empty categories have a nonempty anything? 03:52:00 i have enough trouble with the nine layers of topological spaces without generalizing them 03:52:27 oh this is a perfect closed uncompleted degloved Hausdorff space 03:52:40 ais523: Yes, it doesn't have a nonempty. 03:53:29 I was always scared of even the relatively benign chemicals in school 03:53:32 such as distilled water 03:53:42 Wow, really? 03:53:43 once I spilled distilled water on my hands, and immediately went to wash it off 03:53:48 which probably technically made my hands dirtier 03:53:51 ais523, you can do a lot of damage with distilled water 03:54:03 Deionized must've made you really frightened. 03:54:09 at the time I thought it was irrational; in retrospect, not sure how well humans cope with osmotic potentials /that/ out of range 03:54:19 i gotta admit "deionized" sounds pretty nasty 03:54:22 (probably quite well because it's not very out of range, and becomes less so upon contact with a human) 03:54:25 esp. deionized #esoteric 03:54:32 pikhq: I think it was technically deionized rather than distilled 03:54:39 ais523: yes, if you injected water into your bloodstream you would die, but that goes for other materials, such as undeionized water, or air 03:54:50 is there much chemical difference? or is it just to do with manufacturing methods? 03:55:11 ais523: IIRC drinking distilled water isn't really dangerous or anything 03:55:22 in small quantities, I mean 03:55:23 oh, drinking it is fine. 03:55:27 shachaf, he's still here, we're safe 03:55:41 i don't know if you know this, but your stomach already has a pH difference of like, four, some fucking water ain't gonna do shit 03:55:41 I think the fearmongering about it is basically "you don't get the minerals that you get in less pure water"? 03:55:47 elliott_: yes; technically it could be dangerous because human cell membranes can't cope with that sort of osmotic potential 03:56:00 On the topic of drinking water, I'm thirsty 03:56:01 but it's not going to rupture many cells before it becomes normal water due to being inside a human 03:56:07 who is full of soluble chemicals 03:56:07 DI water is a different manufacturing process, but for purposes of chemistry basically the same. 03:56:08 But the water here is harder than I'm used to :( 03:56:11 I need to get a filter 03:56:27 is water hardness tasteable? 03:56:32 Yes. 03:56:32 yes... 03:56:37 very much so 03:56:40 i wanna get this across man, if regular cells were exposed to /regular/ water they would also explode, why do you think medfucks use saline 03:56:46 I've noticed a difference in taste between different water suppliers, but thought it was due to other factors 03:56:51 Bike: yep, indeed 03:56:55 between hard water suppliers? 03:57:03 although I assume things like the inside of the mouth have protection against that 03:57:11 Bike: not sure 03:57:23 yes, your outsides are already dead, as per usual 03:57:51 i should really be doing homework but i enjoy saying stupid bullshit much more 03:57:53 It seems the main health issues of distilled water is that you're likely to need somewhat more minerals in your diet. 03:58:17 Bike: it makes a huge amount of sense to make as many of the outside-world-facing parts of the body out of dead cells as possible 03:58:18 But is otherwise utterly mundane, as you'd expect. 03:58:24 yes it does 03:58:32 did you know that vanadium has a biological role 03:58:37 i don't even know what vanadium is, do you? 03:58:38 I kind of want to try drinking distilled water just to see what it tastes like 03:58:41 like, it's an element 03:58:43 they're in plentiful supply, can be designed to cope with the expected stresses, and you don't have to keep them in working order much beyond physical integrity 03:58:48 elliott_: it tastes like nothing 03:58:56 Bike: yeah, but so does normal water 03:58:59 it's hard to imagine an even more boring taste 03:59:02 some labs also have "industrial water" though, and you shouldn't drink that, even if it's on a bet 03:59:14 normal water has all sorts of taste 03:59:15 is that heavy water? 03:59:25 I was told that the way the "distilled"/deionized water at school was purified made it unsafe to drink 03:59:31 Why is "Mathematical Universe Hypothesis" called that? I don't think it is a hypothesis (or a theory or anything), just a kind of philosophical idea I suppose 03:59:32 not sure if that was actually true, or just to prevent students drinking it 03:59:35 heavy water isn't very dangerous either, iirc 03:59:41 elliott_: there's some debate AFAIK 03:59:45 ais523: Might hypothetically be true of deionized? 03:59:49 nah industrial water is just nonpotable runoff that's still useful for a few things 03:59:51 the basic issue is that D has a larger mass than H 03:59:52 Deionized is somewhat less pure apparently. 03:59:57 it's like... you know... yellowish 04:00:02 Chemical processes are used to remove salts. 04:00:03 ais523: well, "Because it would take a very large amount of heavy water to replace 25% to 50% of a human being's body water (water being in turn 50% - 75% of body weight[31]) with heavy water, accidental or intentional poisoning with heavy water is unlikely to the point of practical disregard." 04:00:09 But distilled water? Eh. 04:00:11 which makes reactions run at a different speed to normal 04:00:18 or, more generally, https://en.wikipedia.org/wiki/Heavy_water#Effect_on_biological_systems 04:00:28 wanna feed some tunicates heavy ocean now 04:00:33 watch em suck out the vanadium 04:00:36 ais523: Yes, but the effect of drinking a small quantity of heavy water probably is nil. 04:00:38 chromagen that shit 04:00:40 elliott_: yes, what I'd heard is that there are known mechanism via which it could be a problem, but nobody was entirely sure if the dose you'd need was massively large 04:00:41 iirc it tastes identical to water though 04:00:45 Given that some of the water you drink is heavy *anyways*. 04:00:47 so it's probably not worth it except to be able to say you've done it 04:01:00 ais523: They've done experiments with rats. 04:01:01 it would be cool if heavy water tasted different, i mean think of what that implies 04:01:03 Bike: is there a good irc channel to ask about some of these things in? ##math didn't work, surprisingly enough 04:01:09 probably the answer is no 04:01:15 Rats die at about 50%. 04:01:17 shachaf: i don't know. i just have a physics buddy who's happy to throw thousands of books at m 04:01:20 e 04:01:22 pikhq: this reminds me of when some people were trying to convince me aluminium was dangerous, and Wikipedia makes the point that it's one of the most abundant elements in the crust and you have a tendency to inhale largish quantities of it over your lifetime 04:01:26 if you find one that sounds good though 04:01:27 Hexham had 27 mg/l, York has 93.5 mg/l ish 04:01:28 Bike: it's like how heavy metal tastes different to normal metals 04:01:32 I incidentally was talking with my girlfriend about this like a couple hours ago. 04:01:36 (Calcium in the water) 04:01:38 and grindcore is just a different experience altogether 04:01:44 i don't need this 04:02:16 THAT'S THREE TIMES AS HARD 04:02:22 (it probably doesn't work like that) 04:02:42 taste (well, smell more like) is basically a chemical classification, being able to taste heavy water would mean either you have some mechanism for distinguishing isotopes, which would be insane, or that even small amounts of the stuff react noticeably differently in a way we can pick up on 04:02:42 now I'm wondering if water hardness is defined wrt calcium specifically or if other ions also count 04:02:54 you'd need calcium (+ carbonate) to make limescale, so perhaps it is calcium specifically 04:03:06 grindcore is actually lighter than regular metal since it's all ground up so there's more air 04:03:15 hence the name 04:03:20 elliott_: is this protest surrealism again? 04:03:21 makes sense 04:03:28 ais523: no, just the regular kind 04:03:29 i think it's metal surrealism 04:03:30 ais523, Northumbria Water is measuring it in mg Ca/l 04:04:18 But York water is defining it as Calcium + Magnesium 04:04:34 now I wonder if magnesium carbonate is a problem 04:04:45 (with the unit mg Ca/l, so maybe I'm misunderstanding Northumbria Water's) 04:05:40 mg as in magnesium or milligrams? 04:05:47 Milligrams 04:05:48 this sounds like a possible typo/misunderstanding 04:06:12 The Magnesium-only measurement is mg Mg/l 04:06:38 it's gonna suck when that turns out to mean megagrams per lux 04:06:50 oh lux is lx, oops 04:07:31 oh right gauss is also a unit, so you've got milligrams (mg), megagrams (Mg), milligauss (mG), megagauss (MG) 04:07:44 no, wait gauss is cgs, nevermind, crisis averted 04:07:47 Maybe it's megagauss per lumens. 04:07:50 you also have omg, milligrams of oxygen 04:07:53 Aaaaw. 04:07:56 ok it should be OMG 04:08:00 megagausses of oxygen 04:08:03 this reminds me of the interpretation of "MB" as "megabel", which is the technically correct interpretation 04:08:32 i can't imagine ever writing the substance name before the unit 04:08:37 kind of wish it did work like that now, tho 04:08:46 MGO isn't much interesting 04:08:52 i know :( 04:08:56 Magic the Gathering Online? 04:09:02 also it would be O2MG unless you're dealing with free radicals i guess 04:09:07 -!- callforjudgement has joined. 04:09:08 pikhq: is that a bitcoin 04:09:12 this is a unit so large that possibly even Randall Munroe could fail to visualise quite how big it is 04:09:14 -!- ais523 has quit. 04:09:18 elliott_: No, but it may be a buttcoin. 04:09:23 -!- callforjudgement has changed nick to ais523. 04:09:23 megabel is? 04:09:26 OK, that's stupid 04:09:28 I got disconnected 04:09:28 that would be, uh... 04:09:30 reconnected 04:09:32 ten million dB, huh? 04:09:38 Glorious. 04:09:44 and saw /myself/ say " this is a unit so large that possibly even Randall Munroe could fail to visualise quite how big it is" and then quit 04:09:48 Bike: and dB are a log scale 04:10:01 oh does that mean ten million orders of magnitude 04:10:04 i'm no good with those units :( 04:10:06 ais523, maybe we should email him and ask how much damage it'd do 04:10:10 one million orders of magnitude 04:10:14 ok uh 04:10:19 yeah i can't imagine that coming up outside of maths 04:10:40 Taneb: if it was dB SPL, i.e. the usual "sound" interpretation of dB, that would probably be near planck pressure 04:10:47 U2 on the other hand is a radiation hazard, they're just that bad. okay these jokes are just, fucking terrible 04:10:55 Taneb: Well, a nuclear bomb is about 210 dB. 04:10:59 see it's uranium but 04:11:08 you can use dB for things other than sound 04:11:15 but i can't think of any physical application at all... 04:11:17 maybe mols? 04:11:41 Signal to noise ratio on a radio signal. 04:11:58 that's gotta be far below measurable, hasn't it 04:12:20 235 dB is approximately the ratio between 12g of carbon and a single atom of carbon 04:12:34 (or a gram of hydrogen and a single atom of hydrogen) 04:12:38 yeah, so now try a galaxy or something. i guess. 04:12:48 Exponents are nuts. 04:12:50 but the problem is, you're just adding, not multiplying 04:13:03 yeah... 04:13:43 the Sun has a mass of about 2e30 kilograms, or 2e33 grams 04:13:51 that's 333 dB away from one gram 04:13:53 According to Wolfram Alpha, Milky Way is 6*10^42 kg 04:14:05 6e45 grams? 04:14:12 so there's a ratio of about 570 fB between the sun and a single atom 04:14:21 6e45 would be 455 dB away from a gram 04:14:29 or 690 dB from an atom 04:14:35 we're still so far away from a million 04:15:05 david_werecat.pheonix: points 7.12, score 27.61, rank 9/47 04:15:16 Observable universe, 3.4e57 grams 04:15:18 well, anyway 1 MB SPL would be uh, somewhere around 10^9999993 pascals or something 04:15:23 so actually rather larger than the planck pressure 04:15:29 wait, I'm confused 04:15:36 6 isn't 5db, it's more than that 04:15:55 more like 8dB 04:15:58 > logBase 10 6 * 10 04:16:00 7.781512503836435 04:16:10 [wiki] [[Special:Log/newusers]] create * DeidreNBSbpdvb * New user account 04:16:16 haha, wikipedia's largest example of pressure magnitude is still seventy orders of magnitude less than the planck pressure 04:16:16 [wiki] [[Special:Log/block]] block * Abuse filter * blocked [[User:DeidreNBSbpdvb]] with an expiry time of indefinite (account creation disabled): Automatically blocked by abuse filter. Description of matched rule: first edit is to user page and contains spambot-like use of br tag 04:16:19 NATURAL UNITS 04:16:26 Bike: what is that example? 04:16:32 inside of a neutron star 04:16:49 next most is twenty less, inside of uranium 04:17:08 i like stars, they make physical units seem so meaningless 04:17:17 Ooooh, I know. The MB applies to numbers used in proofs. 04:17:21 did you know there are possibly stars with strong enough magnetic fields to turn your atoms to spindles from Au away 04:17:24 AU* 04:17:33 pikhq: yeah that's why i said "physical", it works with graham or some shit i imagine 04:17:35 Let's make it easy, and go with positive integers used in proofs. 04:17:38 incidentally, this latest spew of spambots are all advertising sites with URLs that are different but similar (they all follow the same pattern), and that I don't remember seeing before 04:17:51 The ratio of 1 and graham's number in dB is probably absurd. 04:18:01 pikhq: now we face the issue that it's much /smaller/ than Graham's number, yes 04:18:03 turns out to be exactly ten million 04:18:06 v convenient 04:18:15 ais523: :D 04:19:14 basically, the way to visualise Graham's number is, any method of describing it that doesn't first involve inventing a notation specifically for the purpose of describing it is going to fall far short 04:19:31 I read that as "inventing a nation" 04:19:38 well, i think i've seen numbers like 10^10^100 a time or two in maths, i'm sure there's something 04:19:46 "if we give it about the population of china, and the inflation of zimbabwe..." 04:19:57 lowest prime number to something something 04:20:00 elliott_: doesn't B Nomic technically own a small raft on a lake somewhere? 04:20:06 I hope so 04:20:17 it should be that one lake in europe with no borders 04:20:39 lake constance apparently 04:20:39 what does "lake with no borders" mean? 04:20:59 it covers the entire globe 04:21:00 it's between switzerland, germany, and austria, but they don't have any agreement about where the borders are 04:21:18 "Switzerland holds the view that the border runs through the middle of the lake, Austria is of the opinion that the contentious area belongs to all the states on its banks, and Germany holds an ambiguous opinion. Legal questions pertaining to ship transport and fishing are regulated in separate treaties." 04:21:30 ah right 04:21:47 ais523: Aware, and pleased, that graham's number is that absurd. 04:22:08 how are the bounds on that problem doing, btw 04:22:40 they got it down to 2 ^^ 2 ^^ 2 ^^ 9 apparently 04:22:44 "The last ten digits of Graham's number are ...2464195387" 04:22:44 tiny. 04:22:51 I love that someone has calculated them 04:23:00 presumably using modular arithmetic optimizations 04:23:18 yeah, the final digits of anything under repeated exponentiation become constant after a while. 04:23:43 actually wikipedia explains it. i mentioned this somewhere a few days back... 04:24:06 anyway so the bounds are 13 <= answer <= 2 ^^ 2 ^^ 2 ^^ 9. 04:24:13 oh, huh; I remember the book that introduced me to Graham's Number conjectured that the actual answer was 6, but that's apparently been disproved 04:24:25 in 2003 04:24:45 the 13 bound is on arxiv if you want to "check that shit out" http://arxiv.org/abs/0811.1055 04:25:14 i have no idea why they mention graham's number though, since it was the known bound for like two seconds 04:25:29 now, of course, the harder problem is knowing the first few digits of Graham's number 04:25:40 I conjecture that the very first digit is a 1 04:25:52 (statistically, this should have around a 40% chance of being correct) 04:25:54 ais523, I reckon it's 7 04:26:09 i forget, don't you need some assumptions for benford's law 04:26:29 ais523, that statistic terrifies me 04:26:43 benford's law is pretty weird yeah. 04:26:52 Taneb: well think about it this way, in binary, all numbers start with 1, except for 0 04:27:13 now I wonder what the proportion of numbers that start with 1 in ternary is 04:27:22 Bike: Log of the numbers must be uniformly and randomly distributed, basically. 04:27:36 i'm not sure how you'd pick a distribution... 04:27:43 and what it is in base infinity, the limit (wouldn't surprise me if it were 1/e or something like that) 04:27:47 ais523, naively, 1/2 04:28:00 Taneb: it's way higher than 1/2 04:28:02 someone write some incomprehensible haskell fragment to get the first digits of repeated exponentiations 04:28:05 And in base infinity, 0? 04:28:19 oh, 30.1%, I think 04:28:40 Taneb: well base infinity doesn't actually exist in most concepts of infinities 04:28:51 but presumably the limit of benford's law does 04:29:26 "The discovery of Benford's Law goes back to 1881, when the American astronomer Simon Newcomb noticed that in logarithm tables (used at that time to perform calculations) the earlier pages (which contained numbers that started with 1) were much more worn than the other pages." 04:29:31 pity you can't do proofs like that 04:30:34 wonder if that works with other tables 04:30:47 from what little i know of ship navigation i dunno if that would happen with trig tables 04:32:38 "The 1974 Vancouver, Canada telephone book violates Benford's law because regulations require that telephone numbers have a fixed number of digits and do not begin with 1." 04:32:42 that is an oddly specific example 04:33:00 easy to find if you're looking for benford counterexamples, though 04:33:14 in the UK, it's hard to say what telephone numbers start with 04:33:21 is it +44, 0, or "any digit except 0"? 04:33:22 + 04:33:23 ais523, 0 or +44 04:33:40 yeah in the US i'm never sure whether to dial 1 or what 04:34:16 figuring out how to dial externally on hotel phones is "fun" 04:34:20 Bike: in the UK, if you know the number of the phone you're calling from, it's easy to know how many digits of the target phone number to use 04:34:30 elliott_: huh, "leading 9" isn't standard? 04:34:43 it's standard enough to be in the US, and yet, still confusing 04:34:46 ais523: maybe in the UK 04:34:50 not everywhere 04:35:40 if you were in europe you should have visited my hot pad in liechtenstein 04:35:51 if you were in antarctica, you should have caught a penguin 04:35:55 Maaan, problems that I'm not used to. 04:36:19 I just put in the full number in my cell phone. 04:36:24 you know the uk is in europe right 04:36:33 i mean like 04:36:36 the "continent" 04:36:38 !!! 04:36:52 +1 533 555 2133 TADA dialing happens 04:37:02 if you were in africa you should have gotten a weltwischia and given it to me 04:37:12 how have phone numbers survived into 2014? 04:37:33 probably because telephony is the weird infrastructural basis of all the stuff we actually use 04:37:51 Same way Ireland's managed to somehow survive with ambiguous mailing addresses. 04:38:05 i bet if i looked it up calling you would involve a protocol invented by shannon in 1833 04:39:05 Seriously, the address scheme is "Name, Townland, Town, County". 04:39:18 also phone people probably get mocked by internet people, and then they reply by asking them how ipv6 is going 04:39:55 pikhq, Townland? 04:40:13 Taneb: Weird geographical subdivision. 04:40:18 Bike: at least we don't use IPs as UI, much 04:40:34 Basically, if two guys with the same name are neighbors Irish mail breaks. 04:40:35 well nowadays we don'ot do that with phones much either, as pikhq said 04:40:36 If you're in a hotel in an emergency, is it 9911 or 911? 04:40:49 Sgeo: It's 911. 04:41:01 What if it's not in the US? 04:41:02 ah, but what if you're in algeria 04:41:22 then it's +1911 04:41:22 and you're on a crashing plane with hitler and leopold ii, and you have only a single bullet? 04:41:24 The North American dialing plan is actually rigged so that "dial 9 for an outside line" can special case 911. 04:41:39 Bike, I'd shoot myself. 04:41:44 rememeber to tell them you're in algeria so they can dispatch cops quickly 04:41:47 pikhq: what happens if someone doesn't realize that and attempts 9911? 04:41:48 If I was in such a bad riddle, there's no point living 04:41:53 i don't see how that accomplishes dialing the phone 04:42:00 Sgeo: Probably just works? 04:42:19 maybe if you shot yourself in such a way that you fell onto the typing pad 04:42:25 so let's say it's also a rotary phone 04:42:28 Numbers don't otherwise start with 9 in the US. 04:42:57 actually i guess i just said you had a bullet, not a gun 04:43:05 you could like, choke yourself with it, depending on the size of the bullet 04:43:29 or just get hitler to strangle you... 04:43:53 leppy would probably refuse to touch you 04:44:17 shoot the window and jump out and land on top of a phone 04:44:25 oh, no gun 04:44:26 -!- ais523 has quit. 04:44:32 get hitler to spit the bullet really hard 04:44:37 -!- ais523 has joined. 04:45:03 many UK phones recognise 911 as an emergency number even though it isn't actually meant to have a special meaning in the UK 04:45:15 because it's too short to be a regular number, and some people grow up on US TV shows 04:45:23 ais523, what about 50 04:45:35 (the actual emergency number in the UK is 112, per the rest of Europe; also 999 for backward compatibility) 04:46:08 Hang on, that isn't actually an emergency number 04:46:12 What a world 04:46:18 I don't know if there are any meaningful numbers shorter than three digits, except on mobile 04:46:28 ais523: does anyone really remember it as 112 04:46:40 even the number you dial when you want a human at the switchboards to do the switching manually was changed from 0 to 100 04:46:41 double hockey sticks to (the max) 04:46:42 IIRC GSM phones actually map all the emergency numbers to the local one. 04:46:45 iirc 112 works in Australia 04:46:58 elliott_: well I do, but I use 999 when talking to other people to not confuse them 04:47:05 people being confused in an emergency is generally a bad idea 04:47:14 dracula, dracula 04:47:17 I didn't know about 112 until now (I've only dialed 999 once in my life though) 04:47:54 i think the last time i called 911 was to see if the police would come by to unlock someone's car for them (they wouldn't) 04:47:57 I've known about 112 for a few years 04:48:07 all the instances I've needed to do an emergency call, either a) I had someone else actually make the call because they had phone access, or b) I was at work, which has a separate emergency number because they have their own local emergency services 04:48:19 Never done an emergency phone 04:48:30 i have called emergency services later, but it was a regular phone number, and also i think privatised 04:48:36 elliott_: I believe all the payphones have an "Emergency: 999 or 112" in the instructions; and I /think/ it's in that order 04:48:43 wow why did i spell that with an s 04:48:46 I've only ever experienced my phone randomly deciding to dial 911 of its own accord. 04:48:49 Which was awkward. 04:49:01 999 was useless the one time I did call so I don't plan to call again 04:49:11 elliott's just going to shout really loudly 04:49:12 they added a new semi-emergency number for the NHS recently, whose intended semantics are "I think this is an emergency but I'm not sure" 04:49:33 Bike: it would be about as useful, yeah 04:49:38 spitting up blood and pieces of liver atm is this normal 04:49:44 yes? ok later 04:49:49 can't remember what it is, but it's the same digit three times, so there are only eight possibilities 04:50:30 111, iirc 04:50:34 presumably 000 is reserved for if you need to make interplanetary calls 04:50:43 or just shout into the void 04:50:46 (given that 0 is the national dialing prefix, and 00 international) 04:50:57 101 is non-emergency police 04:51:07 And Earth is probably +000. 04:51:12 the 'can you come by with a slim jim' number 04:51:20 +00017193529351 oh yeah 04:51:44 Taneb: huh, they have a short number for that now? 04:51:52 ais523, they have for a few years 04:51:53 last I checked it was seven digits, like most numbers 04:52:00 Northumberland was one of the trial areas 04:52:06 (eight in london, six if you live somewhere small enough you don't need seven) 04:52:30 * pikhq wonders if he's going to randomly get a call now 04:53:17 pikhq, I was tempted, but I don't think I get cheap calls to wherever you are 04:53:27 Alas. 04:53:48 US, incidentally 04:53:53 Taneb: the cheapest way to call the US from the UK is to use a reseller who just VoIPs to the US, then uses the US phone system for the "last mile" 04:53:55 OK, then, I don't 04:54:05 are you satisfied with your current long distance provider 04:54:07 Skype are the most reputable company doing this, there are tons of smaller ones 04:54:17 (I get free calls from the EU to the UK, and possibly to the EU) 04:54:38 I remember calling the UK from Hungary, it had a pretty reasonable cost 04:54:43 I also attempted to call the UK from Canada, once 04:54:56 from a payphone 04:55:01 oh yeah, i was gonna keep skype on nowadays. 04:55:09 anyone who's attempted to use a payphone in Canada will probably have a good idea what happened next 04:55:13 or maybe not 04:55:17 Ah 04:55:28 I don't get UK -> Rest of Europe for free 04:55:33 But I do get ROE -> ROE 04:55:37 anyway, it took about five to ten minutes to calculate how much the call would cost 04:55:49 Funny enough, I'd just have to pay $10 this month and I'd get US->UK unlimited. Spiffy. 04:55:50 and the result was a) quite large, b) you had to pay it entirely in coins 04:56:01 I didn't physically have enough Canadian currency to be able to pay it without using notes 04:56:17 ...I owe one of my lecturers 20p 04:56:35 (incidentally, I recently discovered a US dime in my wallet, together with all the random euros; I have no good reason to have one, so I assume someone gave it to me assuming it was a UK five pence coin) 04:56:56 ... probably helps that my phone company's corporate overlords are in Germany. 04:57:03 a dime is smaller, but not by so much that you'd necessarily notice making change at a shop 04:57:09 ais523, a vending machine gave me a mysterious coin with a star-and-crescent in place of a fivepence 04:57:26 muslims taking over britain, oh no 04:57:58 Taneb: Maybe someone put in that coin, on accident and happen to accept anyways, or on purpose since the coin is a similar size enough that it can fit anyways. Do you know how much such a coin is worth? 04:58:12 Taneb: Alas, it's probably more sensible to randomly send me mail. 04:58:44 oh, rupees have star and crescent on em 04:58:59 pikhq, what's your address (not really serious, I wouldn't know what to send) 04:59:07 Taneb: $ whois pikhq.com 04:59:24 http://www.chiefacoins.com/Database/Countries/Pak-50Rupees_1997Cu.jpg rollin' in (extremely common) ca$h monie$ 04:59:28 .ca offers free personal info hiding on domains 04:59:29 it's a nice touch 04:59:53 loads of registrars do that nowadays, some registries too 04:59:53 I've not exactly ever been secretive about my personal info. 04:59:56 I think .uk also does 05:00:12 pikhq, your city is listed the same as your street name 05:00:25 Taneb: Weird. 05:01:07 Well, the info that's in there would actually get routed correctly. The USPS would probably scribble something about an incorrect address format though. 05:01:33 I could probably get the city from the zip code? 05:01:36 pikhq: I assume they do that just to avoid having to deliver your mail 05:01:36 Yeah. 05:02:03 Street address + ZIP is sufficient, it's just not correct. 05:02:05 ais523: reputable but maybe not worthy of that reputation. 05:02:16 coppro: Nah. USPS is crazy-awesome about mail delivery. 05:02:33 elliott_: well, the others are even shadier AFAICT 05:02:52 What's with the US and their absurdly high house numbers 05:02:56 they mostly advertise via: posters in downmarket corner shops; or fliers inexpertly stuck to the walls of payphone booths (mostly at an angle) 05:03:09 Taneb: could just be absurdly long roads? 05:03:15 ais523: I think there are plenty of reasonable VoIP type providers? 05:03:18 Taneb: We don't like house numbers that don't end in 0. 05:03:27 -!- AndoDaan has joined. 05:03:43 there's a few roads near where I live which have house numbers over 1000, and it's quite easy to verify that it's as a result of having more than 1000 houses 05:03:45 The highest street number I've lived in was (depending how you count it), 6-18 or 10 05:04:00 well, near in the relative sense 05:04:02 House numbers here are as a rule at least 3 digits. 05:04:08 Period. 05:04:15 here, they generally have 3 05:04:20 Currently I'm at number 7 05:04:27 but that's because it's typical to jump to the next 100 every time you get to a cross street 05:04:33 house numbers in the UK are pretty standardised; start from 1 on one side of the road and 2 on the other, increase by 2 for each house on each side 05:04:34 I know US house numbers that don't end with 0... 05:04:35 Street with 2 houses? They're called 100 and 200. 05:04:45 so that you can figure out which block a property is on by looking at the number 05:04:47 if you build new houses later append letters 05:04:49 ais523, my street doesn't have any even numbers 05:04:49 elliott_: Yeah, but such aren't the norm. 05:04:59 Taneb: it has houses only on one side? 05:05:03 Yeah 05:05:06 usually they go up as described by ais523 05:05:20 sometimes by larger increments though where the city might subdivide 05:05:22 Also, numbering in the US is not generally systematically organized. 05:05:24 one of my friends lives on a road that disobeys this rule, apparently people get very confused when visiting 05:05:27 (especially in urban areas with large properties) 05:05:29 And some streets with houses on one side they have all the numbers 05:05:40 An individual city or region will generally have a rule, but it's unlikely to be the same rule across areas. 05:05:40 (such as my holiday-time address) 05:05:40 in very rural areas sometimes they don't number at all and just use names 05:05:44 IIRC there's even a general rule about which side of the road gets which number 05:05:47 ais523: same here 05:05:55 ais523: though I think for posting, you need to use the number 05:06:25 the post service are quite good at figuring out addresses, generally 05:06:33 Some areas, like Utah, actually give addresses in the form of coordinates on a Cartesian grid overlaid on the city. 05:06:42 (which is really nice once you get used to it) 05:06:54 -!- ais523 has quit (Read error: Connection reset by peer). 05:07:02 i read once about somebody in england who lost his house number (4) because the road got expande. In england you can name your house, so he called his hous Four. 05:07:03 (here the other side of the road is a very narrow piece of woodland, then a sports field or part of my uni beyond that) 05:07:14 -!- ais523 has joined. 05:07:27 good news! it wasn't my connection that time 05:07:30 rather, my client segfaulted 05:07:32 AndoDaan, heh 05:07:36 ais523, also heh 05:08:42 (for those of you who really wanna give me mail or knock on my door, but are too lazy to look up what my ZIP code maps to, I live in St Louis!) 05:09:11 (and please don't be creepy, or I shall be forced to answer the door in the nude) 05:09:33 damn, and i already bought the plane ticket 05:12:39 AndoDaan: Are you sure it is allowed to be called the same as numbers? Can't it become confusing then? 05:13:27 -!- ais523 has quit (Read error: Connection reset by peer). 05:13:51 i guess the council never thought about that, just that people would always want to their house normal house name. like 'the crumudgide' 05:13:52 -!- ais523 has joined. 05:14:55 and it was only until somebody "needed' a reason to call their house a number (eventhough four is a series of letter) that they did. 05:15:30 but thats my reasoning, just a funny anecdote somebody put online. 05:15:57 -!- callforjudgement has joined. 05:16:42 http://nethack4.org/pastebin/12.txt 05:16:47 problem's at my end, unsurprisingly 05:16:52 but wow is that a bad ping output 05:17:48 What I think is if they need to change house numbers, then they should change the name of the street too, so that if it is referred by the number, you can still not confuse mail already in transit 05:18:12 -!- ais523 has quit (Ping timeout: 245 seconds). 05:19:13 that's what i like about programmers, they're always looking for the worst edge case. 05:20:48 -!- callforjudgement has changed nick to ais523. 05:21:06 but thinking about it, they number roads that change each, what, week on a national level must be considerable. 05:21:38 mail is amazing. 05:22:42 now with electonic mail and soon 3d car downloading, that amazing system willl be obsolete. 05:28:54 I'm gonna try and get some more sleep 05:32:51 AndoDaan: right ... until you shop online and have the goods delivered to your home. oops. 05:33:34 3d car download covers that, just mark it "not a car though". it's very well though out. 05:35:10 I still sometimes use postal mail though 05:35:51 are you, like, a crazy person? 05:36:25 i kid. i think being able to write proper letter is a great skill. 05:36:28 What do *you* think????????????????????????????????????????? 05:36:50 wow, 3 too many '?' definitely a nutjob. 05:37:11 zzo38: Well, you being here tilts the balance towards "crazy" already. 05:37:32 Did you see what it says on Wikipedia? 05:37:54 About? Question marks???!1? 05:38:03 I mean on my user page 05:40:28 I'm not wading through all those banners... 05:41:00 (Though I find the "STOP GLOBAL BLOATING" one kind of ironic in context.) 05:41:43 I see. "This user needs more userboxes. MORE, I tell you, more!!! Muhahaha!" 05:44:23 Yes, it is kind of ironic in context 05:59:25 * Sgeo decides zzo38 is CR-schrodinger 05:59:56 Sgeo: Which means what? 06:00:07 CR-0 - CR-5 06:00:16 O, OK 06:00:36 see see see 06:10:53 -!- AndoDaan has quit (Ping timeout: 240 seconds). 06:21:38 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 06:28:29 -!- callforjudgement has joined. 06:32:16 -!- ais523 has quit (Ping timeout: 250 seconds). 06:39:47 david_werecat.pheonix: points 7.38, score 27.86, rank 9/47 (--) 07:42:19 -!- callforjudgement has quit (Ping timeout: 244 seconds). 07:45:06 -!- callforjudgement has joined. 07:59:36 -!- scarf has joined. 07:59:40 -!- callforjudgement has quit (Ping timeout: 260 seconds). 08:21:14 [wiki] [[Pyth]] http://esolangs.org/w/index.php?diff=40575&oldid=40309 * Quincunx * (+0) /* Documentation */ 08:40:47 -!- conehead has quit (Quit: Computer has gone to sleep). 08:49:05 -!- scarf has quit (Read error: Connection reset by peer). 08:49:20 -!- scarf has joined. 08:59:22 -!- shikhout has joined. 09:02:38 -!- shikhin has quit (Ping timeout: 250 seconds). 09:21:37 -!- AndoDaan has joined. 09:38:52 -!- AndoDaan_ has joined. 09:39:53 -!- AndoDaan has quit (Ping timeout: 240 seconds). 09:39:53 -!- AndoDaan_ has changed nick to AndoDaan. 09:43:00 [wiki] [[Special:Log/newusers]] create * MillieDCVO * New user account 09:43:03 [wiki] [[Special:Log/block]] block * Abuse filter * blocked [[User:MillieDCVO]] with an expiry time of indefinite (account creation disabled): Automatically blocked by abuse filter. Description of matched rule: first edit is to user page and contains spambot-like use of br tag 09:44:16 that was fast 09:44:56 too fast. the bots are in kahoots, one making the other look good. to gain our trust. 09:45:19 same spam pattern as the other bots today 09:45:21 but different URL 09:45:46 this one appears to be trying to manipulate search results for the phrase "remove flouride from tap water" 09:46:01 which is a) misspelt, b) reminiscent of a conspiracy theory 09:46:07 and ruin my teeth? no thank you. evil bot. 09:47:55 the spam filter can't recognize conspiracy looking stuff, can it? 09:48:04 no, just terrible use of newlines 09:48:12 or, well, if a /specific/ conspiracy is spammed a lot 09:48:15 we could tweak the filter to block it 09:48:19 just the same as a specific anything else 09:48:26 it can if the

conspiracy theory is tagged accordingly 09:49:07 http://slbkbs.org/fluids.jpg 09:50:35 yeah, but dihydrogen monoxide does that too. i'm not too woried. 09:51:27 causes apathy about fluoridation 09:51:28 A lot of stuff has been used by Nazis, good luck avoiding it all. 09:51:31 the ultimate conspiracy 09:51:45 shachaf: *flouridation 09:51:48 it's a misspelt conspiracy 09:52:02 that said, who came up with the spelling of "fluoride" anyway 09:52:03 spelt 09:52:05 i get it 09:52:56 Oh and obviously I couldn't care less about all the stuff that causes apathy. 09:53:16 shachaf: On Wednesday and Friday I rode a monorail! A monorail is_a kind of a train! 09:53:37 fizzie: You should inform the folks in #trains of this! 09:53:42 magnetic levitation, or just unicycle-style? 09:53:48 * scarf imagines a unicycle train 09:53:57 . o O ( fizzie has a one-track mind?! ) 09:54:02 scarf: http://en.wikipedia.org/wiki/H-Bahn#D.C3.BCsseldorf_Airport <- this Düsseldorf airport one, so the hanging-from-the-rail style. 09:54:34 that reminds me more of a cable car than a train 09:54:47 although the term "cable car" maybe means something different in US and UK english 09:55:08 in the UK they normally hang below the cable and are used as a fast method to transport people up or between mountains 09:55:21 there aren't many of them because we don't have many mountains, they're basically just there for touristy purposes 09:58:29 They call it a SkyTrain, so it has to be a train. 09:58:37 But sure, it's more like that. 09:58:55 I think one distinction is that it moves under its own power, instead of being dragged by the cable. 09:59:16 pidättekö junat? 09:59:53 That should be "junista", really. If "do you (plural) like trains" is what you were aiming for. 10:00:38 "junista" has a nice sound to it, even if I don't know what it means 10:01:05 I was going for plural-you, though I guess only one Finnish speaker is active right now. 10:01:47 So what are "juna", "junat", "junista", "junalla"? 10:03:31 [wiki] [[Special:Log/newusers]] create * KandaceMQMT * New user account 10:03:47 Noun cases? 10:04:13 i'm sure that's one a bot too. 10:04:14 Yes, but I meant what they mean here. But maybe I can figure it out. 10:04:33 "junista" would be the plural elative case, I guess, but I don't have any idea why it's used as the case for 'like'. 10:04:50 Possibly just for the heck of it. 10:05:13 What would the singular be? 10:05:18 "junalla" would be the singular adessive case, if you were going somewhere *on* a train, which matches the English pronoun. 10:05:31 "pidätkö junasta", if there's a particular single train you might or might not like. 10:05:34 AndoDaan: well it hasn't tried to edit yet 10:05:37 so who knows 10:05:40 Or "pidättekö" if the you is also plural. 10:07:06 And "pidättekö junat" actually would most likely be interpreted as "will you be keeping the trains"; something you could ask after a test drive if you were selling trains, I guess. 10:07:16 (For a different sense of the verb 'pitää'.) 10:07:29 Pidätkö Yunnan-tee? 10:08:05 Hm, OK. 10:10:03 Which case is "junat"? 10:13:14 At least in "pidättekö junat" 'will you keep the trains' I think it's the accusative case. 10:13:51 The singular would be "pidättekö junan". 10:14:05 (Sometimes the accusative is identical to the nominative.) 10:14:43 Opiskelen suomea? 10:14:51 *Opiskelet 10:15:31 https://www.cs.tut.fi/~jkorpela/finnish-cases.html might be a good overview of the Finnish noun cases. 10:15:36 And Korpela's website in general. 10:16:31 J_Arcane2: I think you're at least missing a ko. 10:16:36 It doesn't list accusative as a noun case in the table, but it's mentioned in note #15. 10:16:40 Yeah, you're right. 10:16:50 My brain's a bit mush at the moment. 10:17:21 I'm studying it, but sometimes on the weekends my brain just rebels for the first day after a week of being shouted at in Finnish ... 10:18:03 And informally -- at least when speaking instead of writing -- you could probably "legally" leave the -ko out. 10:18:25 If you otherwise sound interrogative enough. 10:18:45 Yeah. 10:18:52 so many prepositions become cases in other languages 10:19:06 although, English has a genitive, that's a preposition in French 10:19:11 Presumably a bit like "You're studying Finnish?" rather than "Are you studying Finnish?". 10:19:17 That's the trouble with learning Finnish; it's taught in the strictest style possible, while many actual Finns are a lot more loose about things. 10:19:37 shachaf: Yeah. 10:19:48 preposition ←→ case seems like a common transformation between languages 10:20:38 What is the disadvantage of prepositions? 10:20:41 Yes. English has a surplus of prepositions. 10:21:37 "(Even Finns have problems in selecting the correct case when using a less common municipality name. A list of municipality names and their cases has been composed for such purposes.)" 10:21:47 The infinitive "to" form, for instance, doesn't seem to be bothered with in many other languages. Same with "The", which is instead often either implied or just a case. 10:21:47 shachaf: well, there is this thing I was working on called grammartree 10:22:01 prepositions were one of the hardest bits to handle 10:28:06 -!- Phantom_Hoover has joined. 10:28:16 -!- Phantom_Hoover has quit (Changing host). 10:28:16 -!- Phantom_Hoover has joined. 10:37:16 !bfjoust watch (>>>+++)*3>([(+)*9[-].]>)*4 10:37:17 mroman_.watch: points -34.21, score 2.80, rank 47/47 10:37:25 !bfjoust watch (>>>+++)*3>([(+)*9[-].]>)*-1 10:37:25 mroman_.watch: points -18.57, score 8.65, rank 47/47 (--) 10:37:53 !bfjoust watch (>>>+++)*3>([(+)*9[-].]>)*4(<<<--)*3([(+)*9[-].]>)*-1 10:37:55 mroman_.watch: points -27.29, score 4.28, rank 47/47 (--) 10:38:00 This whole "inner/outer case is completely random for place names" thing is silly. 10:38:51 what happens if you intentionally use the wrong one? 10:39:04 An exception is thrown. 10:39:15 !bfjoust slow (>(+)*128)*3(>-)*6>([(-)*10[+]]>)*-1 10:39:16 mroman_.slow: points -26.69, score 5.26, rank 47/47 10:39:19 !bfjoust slow (>(+)*128)*3(>-)*6>([(-)*10[+].]>)*-1 10:39:20 mroman_.slow: points -27.50, score 5.15, rank 47/47 (--) 10:39:22 Okay, in many cases it just "sounds wrong". 10:39:24 !bfjoust slow (>(+)*128)*3(>-)*6>([(-)*8[+]]>)*-1 10:39:25 mroman_.slow: points -26.14, score 5.41, rank 47/47 (--) 10:39:31 !bftest slow (>(+)*128)*3(>-)*6>([(-)*8[+]]>)*-1 10:39:31 mroman_.slow: points -26.14, score 5.41, rank 47/47 (--) 10:39:39 !bftest slow (>(+)*128)*3(>-)*6>>([(-)*8[+]]>)*-1 10:39:39 mroman_.slow: points -25.45, score 5.65, rank 47/47 (--) 10:39:42 !bftest slow (>(+)*128)*3(>-)*6>>>([(-)*8[+]]>)*-1 10:39:42 mroman_.slow: points -24.95, score 5.86, rank 47/47 (--) 10:39:45 !bftest slow (>(+)*128)*3(>-)*6>>>>([(-)*8[+]]>)*-1 10:39:45 mroman_.slow: points -24.33, score 6.17, rank 47/47 (--) 10:39:49 !bftest slow (>(+)*128)*3(>-)*6>>>>>([(-)*8[+]]>)*-1 10:39:49 mroman_.slow: points -22.67, score 6.73, rank 47/47 (--) 10:39:52 !bftest slow (>(+)*128)*3(>-)*6>>>>>>([(-)*8[+]]>)*-1 10:39:52 mroman_.slow: points -21.69, score 7.16, rank 47/47 (--) 10:39:57 !bftest slow (>(+)*128)*3(>-)*6>>>>>>>([(-)*8[+]]>)*-1 10:39:57 mroman_.slow: points -21.60, score 7.26, rank 47/47 (--) 10:40:00 !bftest slow (>(+)*128)*3(>-)*6>>>>>>>>([(-)*8[+]]>)*-1 10:40:01 mroman_.slow: points -21.02, score 7.58, rank 47/47 (--) 10:40:03 wtf 10:40:07 !bftest slow (>(+)*128)*3(>-)*6>>>>>>>>>([(-)*8[+]]>)*-1 10:40:07 mroman_.slow: points -21.12, score 7.54, rank 47/47 (--) 10:40:16 !bftest slow (>(+)*128)*3(>--)*6>>>>>>>>([(-)*8[+]]>)*-1 10:40:16 mroman_.slow: points -21.52, score 7.33, rank 47/47 (--) 10:40:27 !bftest slow (>(+)*128)*3(>-)*6>->->->->->->->([(-)*8[+]]>)*-1 10:40:27 mroman_.slow: points -21.21, score 7.34, rank 47/47 (--) 11:21:02 -!- AndoDaan has quit (Ping timeout: 245 seconds). 11:22:52 -!- scarf has quit (Read error: Connection reset by peer). 11:22:57 -!- ais523 has joined. 11:27:51 -!- AndoDaan has joined. 11:28:51 -!- GeekDude has joined. 11:31:26 -!- shikhout has changed nick to shikhin. 12:05:28 [wiki] [[Special:Log/newusers]] create * BernadeMerz * New user account 12:05:34 [wiki] [[Special:Log/block]] block * Abuse filter * blocked [[User:BernadeMerz]] with an expiry time of indefinite (account creation disabled): Automatically blocked by abuse filter. Description of matched rule: first edit is to user page and contains spambot-like use of br tag 12:11:30 it's hardly spamming recent changes because it normally comes right after a spambot creating an account, which is also a recent changes action 12:12:01 "has lots of interests that include frisbee golf, acne scars removal and collecting" 12:12:09 clearly these are randomly generated profiles 12:12:29 ah no, acne scar removal's what they're advertising, but the link is elsewhere 12:12:54 incidentally, according to Wikipedia, frisbee golf does actually exist 12:13:06 it's pretty cool. 12:13:19 never played it, but if i could i would. 12:13:53 "A disc is considered at rest once it is no longer moving. If the disc breaks into pieces the largest piece establishes position." 12:14:08 ha 12:14:08 I like the way that this rule not only exists, but is actually mentioned in an introductory primer on Wikipedia 12:15:47 oh hmm, it seems that instead of swapping out clubs, the players have specific disks for specific sorts of throw 12:17:58 now I'm wondering what it was that that spambot collected 12:30:40 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 12:37:25 -!- Patashu has quit (Ping timeout: 260 seconds). 12:41:10 Where I went to college we had a frisbee golf course in the woods around the library. 12:46:32 -!- LordCreepity has joined. 12:48:36 -!- Deewiant has quit (Quit: Viivan loppu.). 13:02:38 < fizzie> scarf: http://en.wikipedia.org/wiki/H-Bahn#D.C3.BCsseldorf_Airport <- this Düsseldorf airport one, so the hanging-from-the-rail style. – I live in Wuppertal, where we have such a train system as public transportation, operating since 1901. 13:03:26 -!- boily has joined. 13:15:17 -!- GeekDude has joined. 13:22:24 -!- ais523 has quit. 13:28:15 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 13:28:33 [wiki] [[Special:Log/newusers]] create * DorthyBraswell * New user account 13:28:36 [wiki] [[Special:Log/block]] block * Abuse filter * blocked [[User:DorthyBraswell]] with an expiry time of indefinite (account creation disabled): Automatically blocked by abuse filter. Description of matched rule: first edit is to user page and contains spambot-like use of br tag 13:33:57 -!- AndoDaan has quit (Ping timeout: 245 seconds). 13:38:42 david_werecat.pheonix: points 7.38, score 27.77, rank 9/47 (--) 13:43:47 huh, a bfjoust entry without the person having had entered the code first here? 13:46:41 -!- AndoDaan has joined. 13:54:17 boily: websubmission probably 13:54:28 to reduce channel bandwidth you can submit from outside 13:54:53 [wiki] [[Flow chart]] http://esolangs.org/w/index.php?diff=40576&oldid=40573 * Tastyfish * (+129) 14:04:04 mroman_,: is there a shorter way to get "\n" on the stack in burlesque? 14:04:55 as a string? 14:04:58 or as a character? 14:05:25 for char just use ' followed by a newline 14:05:30 hm, good qustion 14:05:36 for string just do " followed by a newline followed by " 14:05:47 http://codepad.org/ar8wGWsG <- like that 14:06:08 you know, i never thought of using newlines in my burlesque code, i'm dumb 14:07:46 the only thing a string can't contain is " :) 14:07:49 because " ends a string 14:08:04 but other than that you can embed any character directly without using escape sequences 14:08:12 !blsq "\'" 14:08:12 "\"" 14:08:15 !blsq "\'"Q 14:08:15 " 14:08:18 " is \' 14:37:21 !blsq {qu in e.} 14:37:21 {{u } in e.} 14:37:38 !blsq {{u } in e.} 14:37:39 {{u } in e.} 14:46:35 how well does blsq handle infinite lists? 14:48:39 handle them? it creates them! 14:51:08 Is there a way, in a single Python file, with no knowledge of libraries installed other than the standard library, I can do calculation on a GPU? 14:55:51 -!- AndoDaan_ has joined. 14:57:22 -!- AndoDaan has quit (Ping timeout: 272 seconds). 14:57:22 -!- AndoDaan_ has changed nick to AndoDaan. 14:58:04 -!- MoALTz has quit (Quit: Leaving). 14:59:09 -!- shikhout has joined. 15:02:31 -!- shikhin has quit (Ping timeout: 272 seconds). 15:16:50 "no knowledge"? 15:23:23 https://searchcode.com/?q=if%28version%2Cstartswith%28%22windows+9%22 15:36:15 -!- drdanmaku has joined. 15:51:18 @metar CYUL 15:51:18 CYUL 041538Z 15018G25KT 2 1/2SM RA BR BKN006 OVC028 14/12 A2958 RMK SF6SC2 SLP017 DENSITY ALT 300FT 15:53:20 -!- nortti has quit (Ping timeout: 260 seconds). 15:54:09 -!- nortti has joined. 16:15:39 Huh. Haskell is #12 in the new Gartner index: http://blogs.gartner.com/mark_driver/2014/10/02/gartner-programming-language-index-for-2014/ 16:22:32 what does the Gartner measure? is it similar to TIOBE? 16:24:12 -!- FreeFull has quit (Ping timeout: 250 seconds). 16:24:32 Corporate client feedback and use, apparently, as well as public repos and certain popular web sources like stackoverflow. 16:26:33 twelve is a nice spot, then. successful while avoiding success. 16:28:50 :D I was just surprised that it would score so high on a corporate-weighted index: I know Clojure's seen some inroads by piggybacking on the needs of Java programmers desperate to program in anything but Java. 16:40:24 I like Java. 16:40:31 you're weird 16:41:28 the language is nice. it has some built-in idiosyncracies, but otherwise it's quite fine. 16:41:54 it's all the surrounding enterprisiness and ecosystem and overly-dramatic lasagna code I can't stand. 16:43:55 lasagna code? 16:43:56 wat? 16:44:19 It's weird. Back in the day I was curious about Java as a language, but put off by awful performance. Now Java is fast, but the way it's coded makes my brain hurt. 16:45:13 But well, comnig next fall I have to choose between two apprenticeships, one of which is a CS diploma course with a lot of 'cloud' and 'data scaling' buzzwords in it, and the other of which is Java EE ... 16:46:13 LordCreepity: Code that is so unnecessarily layered and refactored that finding any thing specific in it requires better-than-Google search algorithms, let alone debugging anything. 16:46:32 oh god 16:46:36 kill me now 16:47:54 LordCreepity: The archetype parody: https://github.com/EnterpriseQualityCoding/FizzBuzzEnterpriseEdition 16:48:59 nothing surprising there. code has this natural tendency to laminally degenerate. it's when you suddenly find what you were searching for 10-layers deep in the class hierarchy, nested between arbitrary Abstract and Generic Factory Adapters that you remember that as a responsible adult it's a good thing you're not always keeping a fire axe within reach. 16:49:16 -!- FreeFull has joined. 16:49:33 :D 16:49:47 laundry done, time for a nap... 16:49:53 -!- boily has quit (Quit: AERATED CHICKEN). 16:54:05 that code 16:54:07 hurts 16:54:10 my 16:54:11 EYES 17:05:47 -!- variable has quit (Ping timeout: 272 seconds). 17:12:06 -!- variable has joined. 17:15:40 LordCreepity: please don't tell me you didn't wear any protection while approaching that code 17:16:39 kkkkiiiilll.... meeeee.... 17:16:41 is fungot any good ad decontamination? 17:16:41 int-e: ( ( we didn't know how bad it was based on a true life story or something yeah 17:16:53 close enough 17:16:58 my... ...eyes.... are gone... 17:18:08 what about your brain? 17:18:40 fungot, could you fetch the pills, please? 17:18:40 int-e: ( ( mm)) there's an imbalance now um i live in kansas 17:19:37 aww, too bad that oerjan isn't here to marvel at the balanced parentheses right next to the term "imbalance". 17:19:51 fungot outdid itself there 17:19:51 int-e: so it's a big fnord person so i enjoy it and and i think my first attempt at it somehow evaporated into thin air i was a kid 17:19:59 and ... I'm done. 17:21:29 -!- conehead has joined. 17:28:44 fungot: When were you a kid? 17:28:44 fizzie: because if if if you have fnord so i've only this is my 17:28:45 -!- G33kDude has joined. 17:29:47 ^style 17:29:47 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher* fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 17:30:07 fungot: What are you even talking about? 17:30:08 fizzie: oh my first time i saw something like odd on the street market whatever 17:30:20 Whatever. 17:30:45 I cherish fungot's coherent moments, they are so rare. 17:30:45 int-e: it just really sigh improves your perception of things so noise noise 17:31:03 err, did that count? it almost made sense.. 17:31:47 Some styles make them happen more often than others. 17:32:05 ^style europarl 17:32:05 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 17:32:06 fungot: Please give an analysis of the current economic climate, please. 17:32:07 fizzie: mr president, ladies and gentlemen, the commission does not have the support, not only by women, but men, who get to fill the jobs available or by giving them training, recognized in terms of balance between the interests of protection against noise. aware of the consequences of the implementation of the principle of enhanced cooperation. all these proposals should be turned into practical action, i.e. the handicap of r 17:32:49 well done, answered like a true politician 17:32:58 fungot: What are the consequences of the principle of enhanced coöperation? 17:32:59 fizzie: i wish to make three comments at the conclusion of this agreement, they are politicians and, not least towards parliament, because we have implemented a study of the various stages of the production refunds for sugar for european countries from which these desperate people flee. perhaps then, we must respond to the questions that we have today opened a smoking zone behind the hemicycle, i met a group called ' september 17:33:11 (in that by the end of the statement, nothing was said but the question is forgotten) 17:33:34 That last one went to a weird place. 17:33:59 But I like the "sugar for european countries from which these desperate people flee" part. 17:34:25 `addquote fungot we have today opened a smoking zone behind the hemicycle 17:34:26 int-e: mr president, i would say to mrs flemming that the entire policy for the eu, that we can take an overall view of the forthcoming negotiating round of the wto are resumed next year, which would include legislation and information to parliament. 17:34:27 1222) fungot we have today opened a smoking zone behind the hemicycle 17:35:18 hmm. 17:35:20 `quote 1221 17:35:21 1221) GeekDude: there's not much point in addquoting someone doing an addquote 17:35:24 `run sed -i -e '1222s/fungot//' 17:35:25 sed: no input files 17:35:25 fizzie: mr rocard has succeeded in presenting an extremely strong case and managed to table sound amendments. i do not wish to speak at the beginning of the next such situation, and that it must not be increased as it already costs us a bit with the united states 17:35:29 `run sed -i -e '1222s/fungot//' quotes 17:35:29 fizzie: mr president, there are still critics of the eu common position on the first question, demilitarisation, i can only suggest that you reconsider the simplified labelling system. this is why the community should be used to the system would gain the satisfaction that the rapporteur, mrs montfort, has done. 17:35:31 No output. 17:35:32 thanks fizzie 17:36:24 In retrospect, /<&>/ would've been shorter. 17:36:53 ^style enron 17:36:53 Selected style: enron (subset of the Enron email dataset) 17:37:01 That's not preprocessed very well. 17:37:08 fungot: is the enron style as evasive as the euparl one? 17:37:09 int-e: " we charge all and the address for the following will also attend: power demand." gshebleiastate.edu on 10/ 10 to 4 and people want you to know any major complications of a new and ever increasing theft of supplies of various) target accounts that had we, the decision on the number of questions of the over the top. 17:37:28 ^style euparl 17:37:28 Not found. 17:37:44 "euro", not "eu". 17:37:48 ^style europarl 17:37:48 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 17:40:31 I'm a bit unclear as to how reconsidering the simplified labelling system will help in matters related to demilitarisation. 17:41:59 fungot, how many candles do you have on your cake? 17:42:00 b_jonas: mr president, i am very grateful to the commission to say that the matter has been raised as an issue to be raised by the future dutch presidency plans to organise a debate in the convention and that the various parties, instead of being used for maritime transport and fisheries. 17:42:16 i do think fungot is pretty amazing for a bot written in befunge 17:42:18 myname: mr president, a civilised society. when you made the statement and hope we will achieve nothing more than a century old and which has modified their traditional roles. the information in order to conceal our weaknesses. i will say that the external actions of the european ombudsman again, a woman who has spent hours of frustration at airports, which has been one of the spouses to bear all the expenses incurred in financ 17:43:31 hah. a woman who has spent hours of frustration at airports 17:43:39 I can relate to that 17:44:31 Original source comment: "Each one of us who has spent hours of frustration at airports, which has definitely been the case this winter, and in traffic chaos on the roads, which has also been the case, know just how imperative it is to create an efficient rail system linking the whole of Europe." 17:44:36 -!- shikhout has changed nick to shikhin. 17:45:23 And for the earlier half: "What happens to a woman who has spent twenty years with a husband who then leaves her?" 17:45:38 That is marginally more coherent than what fungot made of it. :) 17:45:38 int-e: mr president, i thank mr prodi for the fact that the netherlands, have very effective environmentally friendly treatments which make an environmental impact assessment. we can see, mr president, this is, of course, one of which is " gross national product and support for these products. amendment no 3 17:46:08 hilarity ensues 17:46:51 i wonder what'll happen if we'd feed it with law texts 17:47:54 ^style sms 17:47:55 Selected style: sms (National University of Singapore SMS corpus, 2011-08-20) 17:48:10 fungot, say something funny, please? 17:48:10 int-e: nw i has cum mre frm urself thn frm othrs hav done 17:48:35 fungot: nvm 17:48:36 int-e: cal me ra hun .tm sunao? gud morning andrew. plz giv me one color? 17:48:37 i think he likes you 17:49:02 ^style europarl 17:49:02 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 17:49:10 That sms style hurts so much. 17:50:09 It's very true to life. 17:53:06 .oO( should i make an esolang that looks like sms? ) 17:53:58 629992233 17:54:22 that sounds like a no 17:56:01 "nw i has cum mre frm urself thn frm othrs hav done" is scarily close to coherency 17:56:27 -!- erdic has quit (Quit: leaving). 17:56:40 no way 17:57:46 -!- erdic has joined. 18:01:34 myname: well, there's already the cheeseburger lang, knock out a few more vowels and it wouldn't be far off. 18:02:26 J_Arcane2: the question is: does it annoy int-e? 18:03:05 personally, I think a snake-based lang would be more interesting. ;) 18:03:20 snake-based? 18:03:28 -!- G33kDude has changed nick to GeekDude. 18:03:35 as in the game. 18:04:23 but... how? 18:07:42 Hmm. Well, what if snake sections stored values? 18:13:07 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 18:14:08 elliot_: sounds like LOLCODE 18:17:58 Define snake on a fractal tiling 18:31:03 david_werecat.pheonix: points 8.60, score 29.35, rank 7/47 (+2) 18:32:53 david_werecat.pheonix: points 8.69, score 29.49, rank 7/47 (--) 18:34:28 myname: Pretty well 18:34:50 !blsq 1R@{?i}m[{10.>}f[10.+ 18:34:50 {11 12 13 14 15 16 17 18 19 20} 18:35:11 > take 10 . filter (> 10) . map succ $ [1..] 18:35:14 [11,12,13,14,15,16,17,18,19,20] 18:35:29 mroman_: do you have a highlight on blsq? 18:35:42 myname: It's written in Haskell, so it inherited a lot of laziness. 18:35:46 myname: hm. I think so 18:35:53 !blsq 1Jq.+10C!#s 18:35:54 {144 89 55 34 21 13 8 5 3 2 1 1} 18:35:59 fibonacci 18:36:13 or what else do you mean by highlight 18:38:36 something to ping you when someone says "blsq" 18:38:44 ah 18:38:48 no. I don't. 18:39:46 but I just read the log 18:41:18 !blsq "ABC\nCBA\nBCA"ln)XXtp)><)F:)<]u[/v\[ 18:41:18 "ACC" 18:41:41 That's still my favorite Burlesque program though :) 18:41:51 !blsq "ABC\nCBA\nBCA\nACC"ln)XXtp)><)F:)<]u[/v\[ 18:41:51 "BBA" 18:42:03 whait 18:42:18 !blsq "ABC\nCBA\n"ln)XXtp)><)F:)<]u[/v\[ 18:42:18 "ABA" 18:42:22 wtf 18:42:33 !blsq "ABC"R@ 18:42:33 {"" "A" "B" "AB" "C" "AC" "BC" "ABC"} 18:42:35 !blsq "ABC"r@ 18:42:36 {"ABC" "BAC" "CBA" "BCA" "CAB" "ACB"} 18:42:41 !blsq "ABC"r@u 18:42:41 ERROR: (line 1, column 9): 18:42:42 !blsq "ABC"r@un 18:42:42 "ABC\nBAC\nCBA\nBCA\nCAB\nACB" 18:42:46 !blsq "ABC"r@[-un 18:42:46 "BAC\nCBA\nBCA\nCAB\nACB" 18:42:51 !blsq "ABC"r@[-unln)XXtp)><)F:)<]u[/v\[ 18:42:51 "ABC" 18:43:10 ln)XXtp)><)F:)<]u[/v\[ given a set of permutations returns the missing permutations 18:43:22 that is, if and only if exactly one permutation is missing 18:43:59 how the hell can you memorize that stuff 18:44:17 The commands? 18:45:39 lines . map explode . transpose . map sort . map frequencies . map min . ungroup . swappop . concat 18:45:53 myname: I just know them :) 18:46:01 I mean... I wrote the interpreter and the Documentation 18:46:05 so that helped a lot in learning them 18:46:16 also I golf frequently in it. That' helps memorizing it too 18:47:02 -!- LordCreepity has quit (Quit: Leaving). 18:47:27 -!- LordCreepity has joined. 18:47:34 !blsq 1 2 3 "mark" 4 5 6 7CL{"mark"!=}TW[- 18:47:34 {6 5 4} 18:47:39 !blsq 1 2 3 "mark" 4 5 6 7CL{"mark"!=}TW 18:47:39 {7 6 5 4} 18:48:37 myname: Also I have nothing better to do than working on burlesque 18:49:52 also the commands kinda give a hint to what they do 18:50:05 TW is obviously some sort of TakeWhile 18:50:13 and DW is DropWhile 18:50:37 [- is kinda like 18:50:41 [ is the beginning of the list 18:50:42 mroman_: is (the beginning of the list) 18:50:48 [ hu 18:50:49 mroman_: |value error: hu 18:50:58 [ |. $ 10 18:50:58 mroman_: 18:51:04 [ ?. 5 5 $ 10 18:51:05 mroman_: 4 6 8 6 5 18:51:05 mroman_: 8 6 6 6 9 18:51:05 mroman_: 3 2 3 1 9 18:51:05 mroman_: 2 7 0 9 5 18:51:05 mroman_: 7 7 9 7 4 18:51:12 [ ?. 50 50 $ 10 18:51:12 mroman_: 4 6 8 6 5 8 6 6 6 9 3 2 3 1 9 2 7 0 9 5 7 7 9 7 4 8 7 4 2 1 1 0 4 3 9 3 2 7 4 4 0 3 7 5 9 6 3 2 8 2 18:51:13 mroman_: 0 3 5 4 0 0 3 1 5 0 4 0 2 9 2 4 0 0 7 7 5 7 3 1 6 3 1 5 8 9 8 5 3 9 9 8 9 5 1 1 0 4 1 7 3 2 3 4 0 4 18:51:13 mroman_: 9 4 9 5 9 0 1 9 7 3 5 2 4 8 1 5 6 5 9 5 0 1 8 4 1 5 5 9 1 9 6 6 0 5 5 5 7 2 4 6 0 0 8 2 2 5 1 9 7 8 18:51:13 mroman_: 9 4 9 9 1 2 2 0 7 1 7 0 0 1 5 8 0 6 5 5 8 8 2 4 9 9 6 6 5 6 6 4 9 0 0 3 1 3 5 6 8 6 6 8 4 0 0 4 3 4 18:51:13 mroman_: 7 5 0 2 8 8 3 6 4 4 4 4 0 7 1 2 2 7 2 6 1 2 9 0 3 3 2 2 9 6 1 7 5 0 7 3 9 3 9 2 5 8 2 9 8 9 5 9 8 7 18:51:13 mroman_: ... 18:51:28 `cat botprefixes 18:51:29 cat: botprefixes: No such file or directory 18:52:45 but mostly it's still because I have nothing better to do than working on burlesque 18:53:10 creating esolang's gotten kinda boring 18:53:29 "oh great. another bf derivative." "oh great. another queue thingy" "oh great. another stack based thingy" 18:53:39 "oh great. another thingy with string replacements" 18:54:48 I'm out of new freaky ideas 18:56:20 That's why I went for faux-vintage instead. 18:56:32 I'm more a retrocomputing guy anyway. 18:56:59 i only use computers built on BJTs, the data are smoother that way 18:57:01 J_Arcane2: what? 18:57:39 I should do some z80 sometime 18:57:54 myname: ie. when I wrote an esolang, I was mostly interested in writing something that would feel accurately awful to a certain point in time. 18:59:59 How much do you know z80 stuff? Do you know 6502 too? I do 6502 19:00:55 I don't know anything about z80 so far 19:01:01 but you can golf in it on anagol 19:01:08 so that's sort of a motivation to learn it 19:01:10 mroman_: Yes, I know that already 19:01:39 (Also, there is the NMOS 6502 and CMOS 6502, which have differences. I happen to like the NMOS 6502 instruction set, but it could probably be implemented in CMOS as well) 19:01:41 but all the info links for z80 on anagol are 404 or dead 19:02:39 wp says 6502 has lots of undocumented opcodes 19:02:40 -!- torchwood33 has joined. 19:02:53 why the hell would you not document opcodes for your processor if you're going to sell it 19:02:57 Yes, there are a lot, and I have used many of the stable ones 19:03:14 mroman_: They were unintended, and are also NMOS only 19:03:56 For example, LAX loads data into both the A and X registers. SAX stores the bitwise AND of the A and X registers. 19:05:25 -!- torchwood33 has left. 19:05:36 DCP is "decrement and compare". ANC is like AND immediate but also copies the high bit of the result into the carry flag. AXS and ARR are a bit strange. 19:06:24 mroman_: To elaborate on zzo38's explanation: the undocumented opcodes were just consequences of how the opcode decode circuitry worked. With unintended bit patterns they just activated random parts of the CPU. 19:06:40 Which happened to do things that were a bit weird but useful. 19:07:00 Some are unstable though, and should not be used. 19:07:14 unstable? 19:07:18 they don't work all the time? 19:07:32 As you might expect from "opcode decode circuitry triggering parts of the CPU with no design behind it". 19:07:46 mroman_: Or can get the CPU into odd states. 19:07:51 Yes, they don't work all the time, and/or can cause the CPU to stop sometimes or all of the time. 19:08:13 http://www.6502.org/source/games/uchess/uchess.htm <- impressing 19:08:44 (Many unofficial opcodes just stop the CPU until it is reset; not even IRQ and NMI will work until it is reset.) 19:10:09 http://en.wikipedia.org/w/index.php?title=User:Sgeo/null-edit-detector&action=history 19:11:02 -!- conehead has quit (Ping timeout: 250 seconds). 19:13:44 Sweet 16 19:13:47 wtf 19:13:48 ok 19:20:40 zzo38: so... 19:20:45 there's an A and an X register 19:21:07 Don't forget the Y. 19:21:10 and a Y 19:21:26 Don't forget the P and the S and the PC. 19:21:37 yeah 19:21:37 ok 19:21:41 P? is that the flags/condition code? 19:21:50 I thought that was called F 19:21:56 not unusual for Microprocessors to implicitly use accumulator a lot 19:22:17 b_jonas: I don't know how it's called in the manual, I was just going from the naming of the PLP/PHP instructions. 19:22:24 please 19:22:25 oh 19:22:26 I see 19:22:32 the only correct thing to do with the accumulator is to increment it 19:22:35 I call it F only because of z80 probably 19:22:47 Z80 does call it F. 19:22:59 but z80 has a very different set of flags and use for that register 19:23:09 of course 19:23:17 that's where 8086 has inherited it 19:24:37 Current Intel manuals call it EFLAGS/RFLAGS. 19:24:56 yep 19:25:09 but that's still the same as z80's flags register 19:25:17 only now it has a super useful overflow flag 19:25:29 Well, it's the same as the Intel 8080 flag register. 19:25:47 Z80 is intentionally 8080-ish. 19:26:11 Having been designed by an ex-Intel employee who worked on the 8080. 19:26:27 but 8086 doesn't give you direct access to the flags register 19:26:37 and 8086 is intentionally z80-ish, and x86_32 is intentionally 8086ish, and x86_64 is intentionally x86_32-ish 19:26:40 iirc 19:26:44 what? it sure does 19:26:52 8086 still has pushf and popf instructions 19:26:58 yes 19:27:03 but it's not an "adressable" register 19:27:06 only implicit 19:27:09 also the obsolate SAHF and SALF 19:27:16 well sure 19:27:18 same as z80 19:27:28 why would it have to be "addressable"? it has fixed bits and stuff 19:27:28 which means you need opcodes for that 19:27:29 like CLC 19:27:45 b_jonas: You can't set/clear or read flags nicely 19:27:49 other than 19:27:51 JIC foo 19:27:56 and CLC/STC 19:28:04 you need extra instructions 19:28:09 yes 19:28:14 instead of AND F, 011b 19:28:30 sure, but no cpu has AND F, 011b, right 19:28:45 oh wait, maybe some of ARM does 19:28:56 @tell oerjan here's another 22 characters PATH, slightly modifying your submission: ``cd`c``@k````?:ird`|c 19:28:56 Consider it noted. 19:30:14 mroman_: were you thinking of ARM or what? 19:31:20 mroman_: in z80, the eight addressable registers are A, B, C, D, E, L, H, and [LH] (replacable with [IX] and [IY] with a prefix) I think 19:31:29 for 8-bit instructions 19:31:35 you can't access the flags register directly 19:36:48 I've always seen it denoted (hl). 19:36:55 probably that 19:37:43 And the 16-bit load/arithmetic groups have two-bit encodings for the "registers" bc, de, hl and sp. 19:38:06 I never really programmed z80, I'm only interested because it explains so many things about x86 19:38:18 wait, sp? are you sure 19:38:27 Yes. I have the manual right here. 19:38:31 ok 19:39:53 IIRC, you can also do quite a lot to "IXL"/"IXH" and "IYL"/"IYH" in an undocumented way by using 8-bit instructions that access H/L but prefixing the opcode prefix that the usual IX/IY instructions use. (Another unintended-but-logical consequence of opcode decoding circuitry design.) 19:40:19 whoa 19:40:27 how does that work? does it use the high or the low byte of IX? 19:40:56 oh 19:40:58 I see 19:40:59 If you access H, it'll use the high byte of IX, and if you access L, it'll use the low byte of IX. 19:41:04 coppro: In 6502, incrementing is one of the few things that the accumulator does not do. (You can SEC and ADC #0, but there is no "increment accumulator" instruction.) 19:41:07 but you can't do that on x86 19:41:13 strange 19:41:32 There's no IX/IY on x86, at least ones that'd work like that. 19:41:49 fizzie: I think the SI and DI are the IX and IY on the x86, in some order 19:42:04 Not really, since they have numbers in the GPR encodings. 19:42:10 and the BX of x86 is the LH of z80 19:42:14 sure 19:42:30 but the point about x86 was that any single z80 instruction can be mapped to a single x86 instruction 19:42:33 On Z80, you take something lke "LD HL, nn" and add a prefix byte to make it "LD IX, nn"/"LD IY, nn". 19:42:33 that's how they sold it 19:42:56 So it makes sense that the prefix bytes just pretty much tells the processor to "instead of HL, pipe in IX/IY". 19:43:04 that's why x86 has some of the crazier instructions like LAHF 19:43:13 -!- boily has joined. 19:43:26 yes, I know 19:44:04 So what's the x86 equivalent to LD A, R? :) 19:44:06 and that works for both 16 bit access of HL and for indirect access 19:44:29 fizzie: R? what's R? but the A register is equivalent to AL on x86 19:44:37 R is the memory refresh register. 19:44:44 Also the "random number if you're really lazy" register. 19:44:49 what... 19:45:08 um 19:45:15 is there even such an instruction? 19:45:23 Not on x86, but yes on Z80. 19:45:38 There's a memory refresh counter, it's seven lowest bits are automatically incremented after each instruction fetch. 19:45:41 I mean, z80 can't have undocumented instructions, can it? all of the 256 instructions in its table are full, right? 19:45:59 "LD A, R" is not undocumented. 19:46:04 But I don't think the table is full either. 19:46:09 At least the tables with the prefix bytes. 19:46:15 The single-byte opcode table might be. 19:46:19 the one with prefix bytes isn't, yes 19:46:39 it's the single-byte opcode table that's full, except maybe for one instruction that's in the place of LD [HL], [HL] 19:47:41 "The Z80 CPU contains a memory refresh counter, enabling dynamic memories to be used with the same ease as static memories. Seven bits of this 8-bit register are automatically incremented after each instruction fetch. The eighth bit remains as programmed, resulting from an LD R, A instruction. The data in the refresh counter is sent out on the lower portion of the address bus along with a ... 19:47:47 ... refresh control signal while the CPU is decoding and executing the fetched instruction." 19:48:02 The idea being that if you have some DRAM that needs a refresh signal, you don't have to add any hardware for it, you can get it out of the CPU for free. 19:48:15 ok 19:48:25 makes sense 19:49:01 As a result, you can kinda-sorta use R for random numbers, if you call it at long-enough, unpredictable intervals. 19:49:31 The best TI-86 Befunge interpreter there is uses R to implement its ?, which makes the hunt-the-wumpus game sometimes fail in its maze-building many times in a row. 19:50:06 I'm not entirely sure if it's because of the low-quality ? or just a peculiarity of the game. 19:51:25 ok 19:51:31 well, I don't think x86 has that 19:51:39 at least I haven't heared of such a thing 19:51:43 quintopia: QUINTHELLOPIA! 19:53:30 The Z80 single-byte main instruction table is indeed full of documented instructions. 19:53:47 The one that'd be "ld (hl), (hl)" logically is the "halt" instruction. 19:53:52 ah 19:53:52 ok 19:53:55 I didn't remember that 19:54:23 and which instructions are in the shifted table? the 16 bit ones and the shift/rotates? 19:55:52 There's the "bit instructions" table with the CB prefix; that's shifts, rotates and set-bit instructions, and it's also entirely full except for the "shift left, logical" slot, which contains the undocumented "SLL"/"SL1" instruction that shifts left but fills with 1 instead of 0. 19:56:18 it's.... full? 19:56:19 wtf 19:56:25 I didn't remember that 19:56:25 And there's the "extended instructions" (ED prefix) table, which is a lot less full. 19:56:37 nor that there were two shifts 19:56:42 or maybe 19:56:43 hmm 19:56:48 well, ok 19:57:13 wait, how did they fill the shift/rotate table? 19:57:14 There's also the IX/IY prefixes (DD. FD) and the combined DDCB, FDCB for bit instructions involving IX/IY. 19:57:29 Most of it is full of BIT/RES/SET instructions with different immediates. 19:57:35 It takes 8 opcodes to cover 0..7. 19:57:40 hmm 19:57:41 ok 19:58:07 so that leaves 64, which is 8 kinds of shift times 8 registers? 19:58:35 Yes. rlc, rrc, rl, rr, sla, sra, srl and the "sll". 19:59:03 fizzie: are those all count 1 only? 19:59:16 or are there variable count shifts? 19:59:19 no wait 19:59:25 were they immediate counts? 19:59:27 I don't remember 19:59:32 Yes, I don't think it can shift more than by 1. 19:59:40 Unless you count the rather funny RLD/RRD instructions. 19:59:52 Which rotate a group of three nybbles. 20:00:17 The low nybble of A, and the two nybbles at the byte in memory pointed by hl. 20:00:54 I can understand when a cpu doesn't want to implement variable shifts, but what's the point of an sla instruction that takes two bytes? can't you just add instead? I don't understand why the 6503 has a left shift either, even if it's a one byte encoding there. 20:01:08 is left shift so important to worth an instruction in such small instruction sets? 20:01:25 You can't "add (hl), (hl)", at least. 20:02:11 can't you at least LD A, (HL); ADD A, (HL), LD (HL), A? 20:02:17 I know that's three bytes but still 20:02:31 or is left shift so important if you don't have a multiply instruction? 20:02:32 maybe 20:03:53 Oh, you can't add to anything else than the accumulator, too, of course. So to replace the shift you'd need something like those three instructions even for "SLA r". 20:04:38 Except for "SLA A", which is in fact slower than "ADD A, A". 20:04:39 now I'll have to find a good z80 documentation, or find my own notes 20:04:48 can you point me to one? 20:05:14 I've always just used the official User Manual. 20:05:21 The PDF has a proper index and all. 20:05:27 http://www.zilog.com/manage_directlink.php?filepath=docs/z80/um0080 20:06:02 Though it does have a couple of typos in the instruction encodings, and it doesn't have a good opcode-ordered table. 20:06:10 See http://clrhome.org/table/ for the latter. 20:06:45 I used to have a paper copy of the manual too, but I gave it away as a gift, if I recall correctly. 20:06:58 wait 20:07:20 there's a separate nop instruction encoded as 00? isn't ld b,b supposed to be doing that? 20:08:54 I don't see any obvious differences between "ld b,b", "ld c,c", ..., "ld a,a" and the official "nop". 20:09:10 They all take the same amount of time, too. 20:09:13 yeah 20:09:32 nop instructions are useful, and I like them 20:09:40 but I don't see why there's an extra if ld b,b already works 20:09:53 not that it matters 20:10:39 -!- Sprocklem has quit (Ping timeout: 258 seconds). 20:10:48 The table I linked to has the undocumented-but-"well-known" instructions marked in red. 20:10:58 right 20:11:51 -!- J_Arcane2 has quit (Quit: Nettalk6 - www.ntalk.de). 20:11:56 You can "inc ixl" or so on, which might be useful if you wanted, say, a 256-byte circular buffer that's 256-byte aligned. 20:12:58 -!- J_Arcane has joined. 20:15:15 -!- J_Arcane has quit (Client Quit). 20:18:33 -!- LordCreepity has quit (Ping timeout: 246 seconds). 20:22:16 -!- Sprocklem has joined. 20:22:38 -!- J_Arcane has joined. 20:25:32 -!- conehead has joined. 20:31:38 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 20:37:25 -!- Bicyclidine has joined. 20:40:51 Look at Wolfram Research being "hip" and "with it": https://dl.dropboxusercontent.com/u/113389132/Misc/20141004-ad.png 20:41:41 i'm convinced 20:42:03 a hah aha hah that would've been so cool in 2003 ... 20:42:29 I assume it's "ironic" now. 20:42:33 all your base are belong to us. mathematica now with base conversion support 20:44:35 There's no AYBABTU joke if I do "?BaseForm" in Mathematica 10.0. 20:44:53 But maybe they've added that in 10.0.1, our systems don't seem updated yet. 20:45:00 i think i've literally never seen that initialism ever 20:54:51 wikipédia says it's common. maybe it's another fnord planted by our Evil Fungottian Overlords? 20:55:31 fungot: Any comments? 20:55:32 fizzie: madam president, commissioner, it would seem that the office is part of a political prisoner to die on hunger strike in protest against the government's crackdown on the group. 20:55:46 Sounds radical. 20:56:47 fungot, do you use the undocumented opcodes of z80? how about the R (memory refresh) register? 20:56:48 b_jonas: madam president, my aim is to create a new world order, first envisaged at the moment and its fnord successor to a fundamental system change for the small business has got over the start-up problem and shown some success in this work: the defence of human rights, democratic principles and human rights, and that the ecu 1 billion decrease in the number of those who have made a proposal concerning a special social vat on 20:57:23 fungot: You're not supposed to just come out and *say* you're going to create a new world order. 20:57:23 fizzie: i think that is the only company that we have dealt with there has been much talk in the council. 20:59:55 -!- shikhout has joined. 21:00:29 -!- Bicyclidine has quit (Ping timeout: 260 seconds). 21:02:50 -!- shikhin has quit (Ping timeout: 250 seconds). 21:05:14 -!- Bicyclidine has joined. 21:05:35 -!- augur has quit (Remote host closed the connection). 21:06:03 -!- augur has joined. 21:10:45 -!- augur has quit (Ping timeout: 260 seconds). 21:34:07 helloily 21:34:12 what do on a saturn's day? 21:38:42 It's TOO LATE for that, it's already sun-dae. 21:39:57 sun dae is kim jong's wife? 21:42:58 fizzie: it may be sun-dae in the White City, but here in the land of the free, there's all of saturdy night to go! 21:43:58 -!- AndoDaan has quit (Ping timeout: 244 seconds). 21:46:48 -!- oerjan has joined. 21:50:10 -!- shikhout has changed nick to shikhin. 21:50:33 -!- Patashu has joined. 21:51:17 -!- Phantom_Hoover has quit (Remote host closed the connection). 21:53:28 -!- Phantom_Hoover has joined. 21:53:51 aww, too bad that oerjan isn't here to marvel at the balanced parentheses right next to the term "imbalance". <-- by the powers of LOG i marvel 21:54:50 @messages- 21:54:51 int-e said 2h 25m 54s ago: here's another 22 characters PATH, slightly modifying your submission: ``cd`c``@k````?:ird`|c 22:04:05 -!- boily has quit (Quit: PSEUDOMONAS CHICKEN). 22:08:25 whoa, what language is that in? it looks like unlambda 22:09:12 it is 22:09:35 um, but what does the colon do in unlambda? let me pull up a reference 22:09:49 nothing alone 22:09:54 oh, that's a character quoted by the question mark 22:09:57 for testing the last input 22:09:58 right 22:10:06 unlambda has strange procedural input functions 22:10:23 let me pull up a reference 22:10:58 -!- AndoDaan has joined. 22:11:06 i sent an unlambda answer to http://golf.shinh.org/p.rb?PATH , then int-e beat me. 22:11:10 right, @ reads a character and then ?: tests it 22:11:17 and now he's even improved on my solution. 22:13:13 that problem seems to have a really canonical answer in haskell. all the solutions are minor variations, some are entirely identical. 22:13:51 (and the one i found but didn't bother to submit is identical to int-e's.) 22:14:03 presumably because we both prefer one-liners. 22:14:45 it's funny how much quieter the city is during the night compared to the day 22:14:46 I like it 22:14:53 right 22:22:04 -!- augur has joined. 22:25:51 -!- AndoDaan has quit (Ping timeout: 272 seconds). 22:25:56 -!- LordCreepity has joined. 22:36:24 -!- AndoDaan has joined. 22:38:38 -!- GeekDude has joined. 22:46:20 -!- augur has quit (Read error: Connection reset by peer). 22:47:51 -!- augur has joined. 23:14:32 -!- augur has quit (Remote host closed the connection). 23:43:38 -!- augur has joined.