00:16:40 -!- Sgeo has joined. 00:17:24 -!- nooodl has quit (Ping timeout: 265 seconds). 00:21:47 -!- Phantom_Hoover has joined. 00:50:26 PARSE isn't _quite_ monadic yet 00:51:19 PARSE? 00:52:36 -!- Sprocklem has joined. 00:54:23 -!- tromp has joined. 00:54:30 what's with the word "noetherian" 00:54:42 http://www.red-lang.org/2013/11/041-introducing-parse.html 00:57:17 you got a problem with noether 00:58:11 no 00:58:19 k 00:58:25 but what's wrong with "terminating" 00:58:58 shachaf: um terminating does not indicate _what_ terminates. 01:00:02 if you terminate in the other direction you get artinian instead of noetherian hth (btw i don't remember which is which. or for that matter what that chains are made of.) 01:00:27 *the 01:00:31 help 01:00:35 i was talking about rewriting systems 01:00:46 what. 01:00:57 i was talking about rings. 01:01:34 and possibly modules. as i said, i don't remember exactly what terminates. 01:01:39 "Noetherian rewriting system, an abstract rewriting system that has no infinite chains" huh 01:02:15 hm i have some doubts noether actually investigated those. 01:02:22 but then maybe she did. 01:02:38 ok i guess noetherian means a zillion things 01:02:54 well they mostly have to do with infinite chains, probably. 01:03:02 although not quite as many zillions as eulerian. 01:12:14 -!- EgoBot has quit (Ping timeout: 264 seconds). 01:12:41 -!- EgoBot has joined. 01:22:05 -!- tswett has joined. 01:22:33 All right, all right, I've got it. 01:23:29 The fundamental unit of computing could essentially be a region of memory tied to some pieces of code manipulating it, right? Call this whole assembly an "object". 01:23:42 Programming could consist simply of combining objects in certain ways. 01:24:15 <{C}> the fundamental unit of computing is the symbol. 01:25:01 <{C}> computation is symbols with rules. 01:25:28 the fundamental unit of computation is the string, from which i shall make the ultimate programming language, snobol 01:25:38 <{C}> Bike: thank you, we needed that. 01:25:55 It turns out the fundamental unit of computing is actually the troy pound. 01:25:56 you always do 01:26:08 <{C}> pffthahaha. 01:26:22 this is why computing feathers is harder than computing gold. 01:26:49 wait should it be lead. 01:26:53 So, now I'm thinking. 01:28:03 apparently it can be gold as well. 01:28:13 <{C}> it can. gold is incredibly dense. 01:28:30 Suppose we have a "beep" object. The object must be invoked exactly once. The object has no memory, takes no input and produces no output. When the object is invoked, the system beeps. 01:28:34 * oerjan swats {C} -----### 01:28:34 What is the type of the object? 01:29:01 <{C}> the type of the object is a beep, derived from noise, derived from a call. 01:29:23 (Which system beeps? The Dwight D. Eisenhower National System of Interstate and Defense Highways, obviously.) 01:29:35 <{C}> and you just lost me. 01:30:21 none of you were ever found anyway. 01:31:19 what the hell is a type 01:31:46 "C 01:31:50 help 01:31:52 oh 01:31:53 A type is a property of an abstract object determining the contexts in which it can be meaningfully used. 01:32:02 shachaf: stick a colon in front of each of your messages! 01:32:05 Like this! 01:32:05 what's "abstract" and "context" and "meaning" 01:32:17 what are all these shockingly unfundamental things! 01:32:32 Bike: everything hth 01:32:41 whoa 01:32:50 Bike: consult the Blue Book. 01:32:54 <{C}> zooba wha. 01:33:09 <{C}> blue book? wazzat? 01:33:19 <{C}> what're all of these marvelous things?! 01:33:33 i think that was a touhou fan comic 01:34:04 the fundamental unit of computing is the volt 01:34:11 The Blue Book is also known as "Fundamentals of Philosophy", published by David Zeittler in 2018. 01:34:42 <{C}> fuckin' lol. 01:35:10 He describes a complete philosophical framework within which most major philosophical problems can be solved. 01:35:31 <{C}> I'm fully convinced that tswett is insane. 01:35:31 It's quite the book. You should read it. 01:36:36 `? mad 01:36:42 ​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." 01:37:09 hm never heard of that 01:37:54 So, where were we. I was trying to figure out the type of an object which must be invoked exactly once, and then returns control. 01:38:40 Isn't linear logic supposed to have such a thing... 01:38:49 i think trying to find a fundamental unit of computing always flops. 01:38:53 {C}, sacrifice Linear Interpol: You get an emblem with "Creatures you control get +4/+4 and have double strike and trample." 01:39:01 <{C}> friggin' lol. 01:39:04 what does {C} even mean 01:39:09 <{C}> I don't even know. 01:39:12 Copyright lemon. 01:39:16 <{C}> LOL. 01:39:22 <{C}> I'm keeping that. 01:39:35 no one's buying the act, oklopol 01:41:07 Lessee, one lolly one is bottom par one which, in the waiting state, is... some thing, who the hell knows... 01:41:45 just use chu spaces to figure it out 01:41:46 How the hell is it determined which of the things in a par is... eh, best not to think about it. 01:41:57 The object I mentioned has type Unit -> Unit. 01:41:58 the chu space calculator will even do it 01:42:22 http://chu.stanford.edu/live/ 01:42:23 You invoke it using a Unit as input. It replies with a Unit as output. 01:43:47 Yes, yes. 01:45:16 How about an "int" variable? !((Int -> Unit) & (Unit -> Int)), of course. 01:46:41 But perhaps an int variable is best seen as an object that can be gotten and set an unlimited number of times. 01:46:55 But then I suppose that really, an int variable ought to be destroyed exactly once. 01:49:51 -!- Sprocklem has quit (Ping timeout: 252 seconds). 01:53:12 Someone claimed that Rebol PARSE and Parsec are in the same class 01:53:46 What's Rebol PARSE? 01:54:13 A DSL that Rebol comes with for parsing 01:54:50 http://www.red-lang.org/2013/11/041-introducing-parse.html 02:04:07 Hmm, this is the first time I've heard of Rascal 02:04:33 Or... hmm, looks familiar, just the page I mean 02:08:18 The full BF impl is 404ed 02:08:18 :( 02:09:01 Night, all. 02:09:05 -!- tswett has quit (Quit: Page closed). 02:14:27 -!- SirCmpwn_ has joined. 02:15:00 -!- SirCmpwn has quit (Ping timeout: 272 seconds). 02:16:19 -!- SirCmpwn_ has changed nick to SirCmpwn. 02:19:02 In order to do closures in Rebol you need to specify that the environment you're closing on (if a function) is a closure when you define it 02:19:16 :/ 02:20:15 «@me_irl: i'm going to have a "for dummies" series of technical guides but with names like From Hell's Heart I Stab At... Microsoft SQL» 02:25:14 -!- yorick has quit (Read error: Connection reset by peer). 02:26:43 kmc: http://www.rebol.com/r3/docs/concepts/modules-loading.html 02:26:55 Check out the section "Validating modules with a hash checksum" 02:27:23 Seems more thoughtful than you'd expect from a language that's ok with running code directly from the Internet 02:29:01 cool 02:32:06 Lots of languagesw are fine with that. 02:32:13 I mean, curl | sh is an idiom, right? 02:32:38 well, i for one don't think of shell as "thoughtful" 02:33:14 a thoughtful, minimalist, artisinal shell, done right 02:33:23 a shell that celebrates craftsmanship 02:33:23 hand-crafted 02:33:39 "the slow fourier transform movement" 02:37:21 transforming while you eat carefully prepared food and watch the next norwegian real-time documentary on grass growing. 02:37:42 (no, i don't think that documentary has been made yet, although it's inevitable.) 02:38:07 i'm sick of documentaries about grass growing, i want a gritty antihero drama about grass growing 02:38:12 ...... probably been done fsvo "grass" 02:38:18 developmental biology is cool :< 02:38:55 i mean, just focusing a camera on it isn't going to be any better than focusing a camera on hitler as he goes on and on about music 02:43:01 -!- boily has quit (Ping timeout: 272 seconds). 02:43:02 -!- metasepia has quit (Ping timeout: 240 seconds). 02:44:56 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:51:04 "A function that is used as an infix operator. Examples are +, -, [bad-link:functions/z-gtb-lt.txt] and /." 02:51:52 dee 02:51:52 p 03:09:29 -!- Sprocklem has joined. 03:41:30 -!- {C} has quit (Ping timeout: 252 seconds). 03:53:13 -!- Sorella has quit (Quit: It is tiem!). 04:03:52 -!- conehead has quit (Quit: Computer has gone to sleep.). 04:16:08 are there fullwidth versions of æ and Æ and such? 04:17:30 Doesn't seem to be. 04:17:35 :'( 04:17:44 also they should have them for ☹ and ☺ 04:18:22 Bike: I would buy From Hell's Heart I Stab At Microsoft SQL 04:19:16 So would many of my coworkers. 04:19:31 I've never dealt with microsoft sql ... is it bad? 04:19:33 Bike: also I was confused about the weird way you were quoting yourself, before I figured it out 04:19:38 olsner: it's software, so yes 04:19:44 Yup. 04:19:54 Microsoft somehow is amazing at hardware. 04:20:26 i wasn't quoting myself 04:20:30 pikhq: I think it's because they don't make it themselves 04:20:41 i don't joke 04:20:59 Bike is serious like a heart attack 04:23:28 sneak attack, bike 04:32:20 -!- mauke has quit (Disconnected by services). 04:32:30 -!- mauke has joined. 04:34:36 -!- preflex_ has joined. 04:34:38 -!- preflex has quit (Ping timeout: 240 seconds). 04:35:01 -!- preflex_ has changed nick to preflex. 04:36:06 -!- tromp has quit (Remote host closed the connection). 04:36:38 -!- tromp has joined. 04:41:11 -!- tromp has quit (Ping timeout: 252 seconds). 04:43:31 til there's a band named The Internet 04:55:23 -!- FreeFull has quit (*.net *.split). 04:56:11 but still no Main Page? 04:57:10 -!- FreeFull has joined. 04:57:48 afaik 04:57:55 larry page should have a kid and name them Main Page 04:58:11 -!- FreeFull has changed nick to Guest1649. 04:58:21 itt we recommend people how to get sued by their kids 04:59:32 i know at least one person who named their kid after an anime character, the future is weird 04:59:51 i know siblings named Zarathustra and Galadriel 05:02:36 hm my hands are covered in glitter 05:07:30 -!- myndzi has quit (Ping timeout: 245 seconds). 05:07:38 -!- TodPunk has quit (Read error: Connection reset by peer). 05:08:12 -!- TodPunk has joined. 05:13:21 -!- myndzi has joined. 05:14:46 kmc: i can disconfirm that saying Zarathustra and Galadriel causes this effect in general hth 05:14:54 (darn) 05:25:05 -!- oerjan has quit (Quit: Najt). 05:34:15 -!- Sprocklem has quit (Ping timeout: 252 seconds). 05:39:07 -!- tromp has joined. 06:03:41 -!- oklopol has quit (Read error: Connection reset by peer). 06:04:33 -!- oklopol has joined. 06:05:04 so i switched from xp to linux mint since it's going to explode soon, and since i had some trouble getting internet to work in chile 06:05:22 now every morning starts with 10 minutes of waiting for it to wake up or with a restart 06:06:08 is this a particularly bad linux or is xp just a particularly good os? 06:07:14 (to be fair, apart from the morning sickness, this is much faster than xp) 06:07:47 computers are often tested and made to work with windows, less often with linux 06:10:28 yeah this is not even one of the few linuxes they list on their webpage 06:10:36 i mean the manufacturer or whatevererer 06:11:01 -!- tromp has quit (Ping timeout: 272 seconds). 06:11:04 it's a lenovo thinkpad and i was a bit skeptical how well linux would work because they seemed to have made some hacks on top of windows 06:11:31 thinkpads have pretty good linux support generally 06:11:40 because for example the list of available networks was always empty, and instead you used this magical black thinkpad window to connect 06:11:50 did you check out thinkwiki for your model 06:11:55 nope 06:12:20 holy crap there's a wiki dedicated to this. 06:12:27 why do i ever do anything without asking here first 06:13:03 (or googling) 06:15:29 (although it's a bit hard to google much when the reason you are installing linux is that you cannot access the internet) 06:15:34 (or ask here) 06:15:40 (or fucking live?!?!?) 06:16:28 it's annoyingly common that the first thing you need internet for is downloading network drivers 06:20:19 god, yes. 06:20:33 * Bike spent a whole day doing so gggghggh 06:20:38 good thing we all have backup computers eh 06:26:37 fun fact: Eureka (the tv series) had a cure for the common cold, but allegedly it was simply too expensive to make 06:27:27 whoa, whoa, whoa, new catsters videos 06:27:47 whoa, whoa, whoa! what are catsters videos? 06:28:39 http://www.youtube.com/user/TheCatsters 06:40:49 If "waiting for it to wake up" means some sort of suspend mode, those are often remarkably flaky on Linux. 06:41:15 I don't think I've personally ever had a laptop with an entirely working suspend-resume behavior in Linux. 06:44:44 Do you mean suspend-to-disk or just regular suspend? 06:56:05 -!- tromp has joined. 07:00:16 Either, really. But maybe suspend-to-disk has been slightly more reliable, IME. 07:00:33 regular suspend works fine for me 07:00:48 and also worked fine on N previous laptops 07:00:49 Some people just have all the luck, I guess. 07:02:35 i do keep a rabbit's foot in the same bag i put the computer in 07:03:36 it is connected to a rabbit 07:03:45 the previous two statements are false 07:14:10 -!- pikhq has quit (Ping timeout: 245 seconds). 07:16:06 -!- Guest1649 has quit. 07:28:31 -!- tromp has quit (Ping timeout: 260 seconds). 08:24:43 fizzie: i don't have any suspend mode 08:24:56 not even anything resembling a screensaver 08:37:00 it just gets lonely i guess 08:39:44 -!- pikhq has joined. 08:40:27 -!- rodgort` has quit (Ping timeout: 264 seconds). 08:41:57 -!- rodgort has joined. 09:13:26 -!- MindlessDrone has joined. 09:23:41 -!- {C} has joined. 09:42:24 -!- {C} has quit (Ping timeout: 265 seconds). 10:07:42 -!- Sorella has joined. 10:20:19 -!- impomatic has quit (Ping timeout: 260 seconds). 11:11:35 -!- impomatic has joined. 11:29:04 -!- LinearInterpol has joined. 11:35:31 -!- Taneb has changed nick to Maybe. 11:35:37 -!- Maybe has changed nick to Taneb. 11:55:11 -!- Zerker has joined. 11:55:39 -!- impomatic has quit (Ping timeout: 252 seconds). 11:58:43 -!- conehead has joined. 12:06:09 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 12:06:52 -!- yorick has joined. 12:17:32 -!- conehead has quit (Quit: Computer has gone to sleep.). 12:18:34 -!- Taneb has quit (Read error: Connection reset by peer). 12:19:13 -!- clog has quit (Ping timeout: 246 seconds). 12:20:03 The Awful Games Done Quick part is up. Next up: Attack of the Killer Tomatoes and E.T. http://de.twitch.tv/speeddemosarchivesda 12:25:54 -!- LinearInterpol has quit (Ping timeout: 265 seconds). 12:37:26 -!- pikhq has quit (Ping timeout: 264 seconds). 12:47:48 -!- Taneb has joined. 12:51:54 -!- LinearInterpol has joined. 12:57:46 -!- conehead has joined. 13:01:59 -!- Sgeo has quit (Read error: Connection reset by peer). 13:03:20 -!- boily has joined. 13:05:04 good unidling morning! 13:06:10 What sort of a dling is a uni-dling? 13:07:19 it's the Whole Entire Uni-Versal Dling of Them All. 13:10:51 -!- mtve has joined. 13:13:33 -!- metasepia has joined. 13:39:19 -!- conehead has quit (Quit: Computer has gone to sleep.). 13:41:04 -!- tromp has joined. 13:42:30 -!- tromp has quit (Remote host closed the connection). 13:43:04 -!- tromp has joined. 13:46:58 -!- Sorella has quit (Ping timeout: 265 seconds). 13:47:39 -!- tromp has quit (Ping timeout: 272 seconds). 13:51:55 -!- Sorella has joined. 14:30:21 -!- clog has joined. 14:59:35 -!- nooodl has joined. 15:05:13 -!- mrhmouse has joined. 15:30:09 Shaun! http://youtu.be/0t0uCWjQ6Og 15:30:39 shaun, as in the sheep of the same name? 15:32:09 -!- LinearInterpol has quit (Ping timeout: 272 seconds). 15:39:04 -!- AnotherTest has joined. 15:52:54 -!- HackEgo has quit (Ping timeout: 252 seconds). 15:54:07 -!- esowiki has joined. 15:54:11 -!- esowiki has joined. 15:54:12 -!- esowiki has joined. 16:00:08 -!- esowiki has joined. 16:00:12 -!- esowiki has joined. 16:00:12 -!- esowiki has joined. 16:00:29 -!- glogbot has joined. 16:00:32 -!- HackEgo has joined. 16:06:08 -!- esowiki has joined. 16:06:12 -!- esowiki has joined. 16:06:13 -!- esowiki has joined. 16:06:53 -!- esowiki has joined. 16:06:58 -!- esowiki has joined. 16:06:58 -!- esowiki has joined. 16:07:10 -!- glogbot has joined. 16:08:37 :( 16:08:37 -!- Guest96869 has quit (Ping timeout: 265 seconds). 16:09:45 -!- Phantom__Hoover has joined. 16:10:01 I found a shop that sells typewriter ribbon so I bought some but it isn't compatible with my typewriter 16:11:45 An excellent video in which a professional corrects some common misunderstandings about digital audio. (Those 192 kHz/24 bit music downloads are just a waste of disk space.) http://xiph.org/video/vid2.shtml 16:12:12 -!- Effilry has joined. 16:12:24 -!- LinearInterpol has joined. 16:18:27 -!- mroman_ has changed nick to mroman. 16:20:50 quintopia: I watched it during the holidays. it was an ok movie. 16:21:02 Taneb: buy a new typewriter? 16:23:32 boily: :\ but it's hilarious! 16:25:29 oh, a simon pegg movie I haven't seen 16:29:03 boily, expeeensiiiiibe 16:29:12 *-ve 16:30:24 that much? I don't know what's the average MSRP for a middle-end typewriter? 16:30:42 s?\?$?.? 16:35:50 No idea 16:35:59 But I got this one for £5 at a charity shop 16:37:17 -!- drlemon has quit (Ping timeout: 252 seconds). 16:48:30 -!- Gregor has joined. 16:51:44 -!- Effilry has changed nick to FireFly. 16:57:05 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 17:00:31 -!- SirCmpwn has quit (Max SendQ exceeded). 17:00:42 -!- SirCmpwn has joined. 17:07:10 -!- qlkzy_ has changed nick to qlkzy. 17:10:41 -!- Phantom__Hoover has joined. 17:10:57 -!- Sprocklem has quit (Ping timeout: 258 seconds). 17:28:26 -!- sebbu2 has quit (Read error: Connection reset by peer). 17:28:56 -!- sebbu has joined. 17:29:30 -!- sebbu has quit (Changing host). 17:29:30 -!- sebbu has joined. 17:30:48 I am feeling very stupef now. 17:30:49 Ordered a replacement DVD drive, because the old one had started to make this every-now-and-then-about-once-a-day series of seeking/"bootup" noises (even with no disc), and no longer read anything. 17:30:54 The new drive arrived today; after opening up the box to install it, discovered that the SATA data cable was kinda-sorta half-loose. 17:30:57 After plugging that in, the old drive seems to work just fine. :/ 17:46:26 -!- LinearInterpol has quit (Ping timeout: 264 seconds). 17:54:03 Damn :( Well, now you can watch _two_ DVDs! 17:55:43 Actually I was thinking I'm going to take advantage of the guaranteed 14-day for-free return period for internet shopping. But I'm still a bit ashamed to be wasting the shop's money. 17:56:51 Oh well. I bought my last graphics card from them, let's hope it had enough of a profit margin to cover mailing a small box around a bit. 18:01:31 -!- Phantom__Hoover has quit (Ping timeout: 252 seconds). 18:02:09 this orange juice is enriched with "one of the most studied species of bacteria" 18:02:22 (luckily not e. coli) 18:03:09 "this tea is enriched with one of the most studied species of microscopic flatworm" 18:03:29 -!- tswett has joined. 18:03:35 So what's with Chu spaces? 18:04:14 C h u 18:06:00 *audience laughter* 18:06:19 -!- ais523 has joined. 18:11:15 Whoa, what? This says bottom times bottom is top. 18:13:45 quintopia: I'm not a fussy eater, I'll gladly eat just about anything, and drink stuff that may have been somewhat liquid in its distant past but now evolved to a new phase, but... flatworms??? 18:17:15 oh. you were being biologically sarcastic. 18:17:56 -!- Bike has quit (Ping timeout: 252 seconds). 18:19:31 -!- Bike has joined. 18:19:56 * boily ties Bike to a hopefully stable connection 18:21:48 -!- LinearInterpol has joined. 18:27:01 ~metar CYUL 18:27:01 CYUL 091800Z 26008KT 15SM FEW030 M09/M16 A3059 RMK SC1 SC TR SLP361 18:28:53 ~metar EFHK 18:28:53 EFHK 091820Z 06003KT 9999 FEW015 BKN023 03/02 Q0997 NOSIG 18:29:25 ~metar VHDK 18:29:26 --- Station not found! 18:29:45 ~metar KLHS 18:29:45 --- Station not found! 18:29:56 ~metar LMCP 18:29:57 --- Station not found! 18:30:07 ~metar ICMP 18:30:08 --- Station not found! 18:30:27 ~metar TLHA 18:30:27 --- Station not found! 18:30:34 ~metar OBLC 18:30:34 --- Station not found! 18:30:59 I now have statistically significant evidence that if I ~metar an arbitrary string of four letters, there's less than a 50% chance I'll have hit a real station. 18:31:52 ~metar ZUUU 18:31:52 ZUUU 091800Z 02005MPS 7000 SCT050 06/02 Q1023 NOSIG 18:34:18 -!- impomatic has joined. 18:38:21 Eh? I asked Wolfie for a confidence interval, with a confidence level of 0.95, given a sample size of 5 and a sample proportion of 0. 18:38:43 It says the actual chance of hitting a real station is probably less than 2.2*10 18:38:54 2.2*10^-308. 18:39:13 (The actual chance of hitting a real station is certainly less than 2.2*10.) 18:40:08 > 26^4 18:40:09 456976 18:41:01 boily: also the fact that C. elegans is awesome (or is that a roundworm?) 18:41:58 yes, that's a roundworm 18:43:29 oh, c. elegans caused a nobel prize, that's not bad for a wee roundworm 18:43:48 Okay, Clopper-Pearson gives a more realistic answer. It says the probability is probably at most 0.5218. 18:44:37 Jeffreys says it's probably at most 0.3794. Oddly, it also says it's probably at least 9.342*10^-5. 18:44:38 -!- LinearInterpol has quit (Ping timeout: 264 seconds). 18:46:56 `quote statistics 18:46:58 608) Yeah, statistics with 2 data points is science. Statistics with one data point is crap. You measure a third point if you need an error estimate. \ 1130) everything is either zipf, branford, poisson, gamma, or uniform. outside of that, it's a weird curve invented by sadistic statistics teachers. 18:47:38 Statistics with one data point is mathematics. 18:48:05 If I pick a random person from the world population, and that person is female, I can conclude that there exists at least one female. 18:49:09 I find that conclusion presumptuous, you vile cishet male! check your privileges! 18:51:07 (meanwhile, I received the manga I ordered! :D) 18:52:16 -!- tswett has quit (Quit: Page closed). 18:52:35 boily: dumb 18:52:53 elliott: what am I dumbing? 19:01:53 * boily , undertaking great risks with such a dangerous gesture, mapoles elliott 19:08:59 -!- stuntaneous has joined. 19:12:26 `relcome stuntaneous 19:12:29 ​stuntaneous: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 19:12:52 `ello stuntaneous 19:12:54 hellstuntaneous 19:13:07 sure, close enough 19:21:11 -!- impomatic has quit (Ping timeout: 260 seconds). 19:27:50 -!- LinearInterpol has joined. 19:28:00 is there a shm-script? 19:28:41 like s/([^aeiou]+)(.*)/\1\2 shm\2/ 19:29:33 -!- impomatic has joined. 19:30:58 boily: i find it strange that your list of common continuous distributions did not include normal 19:31:07 `run echo -e '#!/bin/sh\nsed -e \'s/([^aeiou]+)(.*)/\1\2 shm\2/\' "$@"' >bin/shmify 19:31:09 bash: -c: line 0: syntax error near unexpected token `(' \ bash: -c: line 0: `echo -e '#!/bin/sh\nsed -e \'s/([^aeiou]+)(.*)/\1\2 shm\2/\' "$@"' >bin/shmify' 19:31:32 quintopia: it's something that irks me to no end, to have a statistics `quote without that PDF. 19:31:41 also, there needs to be ^ and $ 19:31:43 -!- Sprocklem has joined. 19:32:02 ^([^aeiou]+)(.*)$ 19:32:07 myname: please do it. my '"'"'"'-fu is weak today. 19:32:10 -!- LinearInterpol has quit (Ping timeout: 246 seconds). 19:32:26 erm 19:33:42 boily: \ in ' does nothing, so \' is a literal backslash and the end of the quoted string 19:34:46 fun way to put a literal ' in a '-quoted string: '"'"' 19:34:59 oh dear 19:35:13 that's even worse than what visual basic does 19:36:19 ('\'' might be more readable, but less fun) 19:37:38 `run echo -e '#!/bin/sh\nsed -e '"'"'s/^([^aeiou]+)(.*)$/\1\2 shm\2/'"'"' "$@"' >bin/shmify 19:37:42 `run echo -e '#!/bin/sh\nsed -e '"'"'s/^([^aeiou]+)(.*)$/\1\2 shm\2/'"'"' "$@"' >bin/shmify 19:37:45 No output. 19:38:03 `run shmify baby 19:38:05 bash: /hackenv/bin/shmify: Permission denied 19:38:11 ~~ 19:38:11 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 19:38:27 `shmify baby 19:38:28 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/shmify: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/shmify: cannot execute: Permission denied 19:38:42 `run chmod 0755 bin/shmify 19:38:45 No output. 19:38:51 `shmify mogrify 19:38:52 sed: -e expression #1, char 31: invalid reference \2 on `s' command's RHS 19:39:04 what 19:41:22 -!- impomatic has quit (Ping timeout: 245 seconds). 19:42:22 hmm, "$@" as an argument to sed? did you mean echo | sed, or should it be used like \? "$@" | shmify? 19:47:14 hmm, maybe 19:52:50 -!- impomatic has joined. 19:59:44 Would the regex for all the names of Ghaddafi be ^[^qgk]h?add?h?af?fi$ 20:00:02 there's a stacoverfluw qusetion about that 20:00:05 can't be bothered to spell sorry 20:00:31 http://stackoverflow.com/questions/5365283/regular-expression-to-search-for-gadaffi 20:00:35 Indeed there is 20:01:13 \b[KGQ]h?add?h?af?fi\b 20:01:26 Yesss 20:01:30 Perfect score 20:02:23 but are all combinations for each choice valid, or are there just three or something different transliteration schemes? 20:03:38 I doubt that "Qhaddhaffi" gets much use, but if it ever appeared at all, I expect it would be Gadaffi. 20:03:44 hmm, not that people would follow any given scheme consistently anyway 20:04:02 olsner : http://abcnews.go.com/blogs/headlines/2009/09/how-many-different-ways-can-you-spell-gaddafi/ 20:04:10 Apparently Kaddafi just did not give a fuck 20:04:28 Qadthafi 20:04:30 whaaat 20:05:25 oh, and are there many spellings in arabic too, or is there a single correct original spelling? 20:06:50 -!- stuntaneous has quit (Ping timeout: 264 seconds). 20:07:29 `unidecode القذافي 20:07:31 ​[U+0627 ARABIC LETTER ALEF] [U+0644 ARABIC LETTER LAM] [U+0642 ARABIC LETTER QAF] [U+0630 ARABIC LETTER THAL] [U+0627 ARABIC LETTER ALEF] [U+0641 ARABIC LETTER FEH] [U+064A ARABIC LETTER YEH] 20:08:02 qaf thal? 20:08:11 oh right. vowels. 20:10:02 I think those are the names of the letters, not the pronunciation 20:10:31 so... qthafy? 20:11:04 al-qafthalaleffehyeh. ← I prefer that version. 20:21:52 -!- Bike has quit (Ping timeout: 246 seconds). 20:23:41 -!- Bike has joined. 20:29:44 -!- nortti has changed nick to minirrti. 20:29:56 -!- minirrti has changed nick to nortti. 20:52:37 -!- Sprocklem has quit (Ping timeout: 252 seconds). 21:15:35 -!- AnotherTest has quit (Ping timeout: 252 seconds). 21:25:58 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:30:28 -!- boily has quit (Quit: CHICKEN ALIGNMENT!). 21:30:31 -!- metasepia has quit (Remote host closed the connection). 21:40:31 -!- mrhmouse has quit (Quit: Leaving.). 21:41:57 -!- mrhmouse has joined. 21:42:08 -!- mrhmouse has quit (Client Quit). 21:54:43 Are there any command line tools or python libraries or similar to easily extract data from HTML pages. Lets say, finding new posts on some web site without RSS feeds, that sort of stuff. 21:55:15 I don't particlarly enjoy parsing HTML, and I doubt an XML parser would like this particular HTML either 21:56:23 Beautiful Soup is a good Python library for web scraping 21:57:03 it deals with the kind of terrible HTML found in the wild 21:57:14 the other approach I would suggest is PhantomJS / CasperJS, which runs a real (headless) WebKit browser instance and lets you interrogate it with javascript 21:57:29 that lets you scrape even very dynamic sites 22:04:44 -!- tromp has joined. 22:05:07 kmc, thanks 22:05:50 -!- tromp has quit (Read error: Connection reset by peer). 22:06:05 I'll avoid the js path if possible since I don't really know js all that well 22:06:13 -!- tromp has joined. 22:06:52 looks like you can use PhantomJS from Python as well: http://www.realpython.com/blog/python/headless-selenium-testing-with-python-and-phantomjs/#.Us8db5WVthE 22:07:36 JavaScript is a fairly shitty language but it's also simple, especially if you're just writing "scripts" and not trying to architect a large application 22:08:02 my main advice is to get a program like jslint or jshint and pay attention to its warnings, even if you end up disabling some 22:08:34 Basically I discovered that the feeds provided by youtube behind the scenes (not easy to find) lags behind, and the web site I normally used (youtube video deck) recently started missing a few posted videos. And do not even speak of the subscription list on youtube, it is terrible. I haven't seen the channel pages fail though 22:09:08 So my plan is to scrape them for all my subscriptions and diff the result (plus add in some system to mark videos as watched) 22:09:49 Then I'll probably throw this up on my nginx web server running on my RPi so I can use it from my tablet as well. 22:10:45 Not sure how to best do the page generation on the RPi though... cron script is probably easiest? 22:11:08 if you run nginx on an RPi does it become an ЯPi 22:12:10 good point 22:12:18 thx 22:12:38 I run ssh, nfs, samba, ipv6 tunnel, openvpn tunnel and a few other things on it too 22:12:55 512 MB RAM goes a long way when you don't use a GUI 22:13:57 yep 22:16:01 -!- ^v has joined. 22:18:53 -!- tswett has joined. 22:19:04 Hey guys. 22:20:15 So it seems like first-order logic is a lot more popular than second-order logic. Why is this? Is it because of its simplicity and Gödel's completeness theorem? 22:21:15 -!- Phantom__Hoover has joined. 22:39:04 -!- oerjan has joined. 22:39:24 -!- tromp has quit (Ping timeout: 272 seconds). 22:55:34 -!- ais523 has quit. 22:58:31 kmc, wrt js being for scripts, so is python to quite a large degree 23:04:04 `cat bin/shmify 23:04:05 ​#!/bin/sh \ sed -e 's/^([^aeiou]+)(.*)$/\1\2 shm\2/' "$@" 23:04:34 `shmify maechtig 23:04:35 sed: -e expression #1, char 31: invalid reference \2 on `s' command's RHS 23:04:55 i was wondering about that 23:06:05 `cat bin/thanks 23:06:06 ​#!/usr/bin/perl \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_."; 23:06:20 hm different method. 23:07:13 `run echo sed | sed -e 's/^([^aeiou]+)(.*)$/\1\2 shm\2/' 23:07:14 sed: -e expression #1, char 31: invalid reference \2 on `s' command's RHS 23:07:23 `run echo sed | sed -e 's/^([^aeiou]\+)(.*)$/\1\2 shm\2/' 23:07:25 sed: -e expression #1, char 32: invalid reference \2 on `s' command's RHS 23:07:33 `run echo sed | sed -e 's/^([^aeiou]+)(.*)$/\1\2 shm/' 23:07:34 sed: -e expression #1, char 29: invalid reference \2 on `s' command's RHS 23:07:52 `run echo 's/^([^aeiou]\+)(.*)$/\1\2 shm\2/' 23:07:54 s/^([^aeiou]\+)(.*)$/\1\2 shm\2/ 23:08:47 `run echo sed | sed -e 's/^([^aeiou]+)(.*)$/\1/' 23:08:48 sed: -e expression #1, char 23: invalid reference \1 on `s' command's RHS 23:08:56 `run echo sed | sed -e 's/^\([^aeiou]\+\)\(.*\)$/\1\2 shm\2/' 23:08:58 sed shmed 23:09:27 ah it was all that non-perly syntax 23:09:49 `cat bin/shmify 23:09:50 ​#!/bin/sh \ sed -e 's/^([^aeiou]+)(.*)$/\1\2 shm\2/' "$@" 23:09:51 Vorpal: I didn't say that either is "for scripts" 23:09:58 I said that there's less to learn if you're only using them for scripts 23:10:02 that's probably true of any language 23:10:11 that "$@" is also obviously wrong. 23:10:21 but it's especially true of JavaScript, because the design patterns for large applications are just design patterns and not things built into the language 23:11:30 `run (echo '#!/bin/bash'; echo 'echo "$@" | sed -e '\''s/^\([^aeiou]\+\)\(.*\)$/\1\2 shm\2/'\'' >bin/shmify 23:11:31 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 23:11:35 `run (echo '#!/bin/bash'; echo 'echo "$@" | sed -e '\''s/^\([^aeiou]\+\)\(.*\)$/\1\2 shm\2/'\'') >bin/shmify 23:11:36 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 23:12:00 `run (echo '#!/bin/bash'; echo 'echo "$@" | sed -e '\''s/^\([^aeiou]\+\)\(.*\)$/\1\2 shm\2/'\') >bin/shmify 23:12:04 No output. 23:12:12 `shmify fnord 23:12:13 fnord shmord 23:12:58 `shmify maechtig 23:12:59 maechtig shmaechtig 23:13:22 `shmify oerjan 23:13:23 oerjan 23:13:51 `run (echo '#!/bin/bash'; echo 'echo "$@" | sed -e '\''s/^\([^aeiou]*\)\(.*\)$/\1\2 shm\2/'\') >bin/shmify 23:13:53 `shmify oerjan 23:13:55 No output. 23:13:56 oerjan shmoerjan 23:14:51 yeah i was also thinking it should be * 23:14:54 -!- LinearInterpol has joined. 23:19:47 that's probably true of any language <-- well yeah 23:20:57 good night 23:21:15 'night 23:29:02 -!- FreeFull has joined. 23:35:33 -!- tromp has joined.