00:15:45 -!- hppavilion[1] has joined. 00:19:25 -!- Elronnd\StD has changed nick to Elronnd. 00:21:20 -!- copumpkin has joined. 00:28:33 -!- oerjan has joined. 00:29:30 yellørjan. 00:30:52 yhoily. 00:36:15 -!- spiette has quit (Quit: .). 00:47:42 hm... 00:48:19 @let class Typeable a => T a 00:48:22 Defined. 00:49:11 @let newtype W = W Int deriving T 00:49:12 .L.hs:312:20: 00:49:12 Can't make a derived instance of ‘T W’: 00:49:12 ‘T’ is not a derivable class 00:49:16 damn 00:50:25 @tell int-e lambdabot still lacks enabled extensions (like GeneralizedNewtypeDeriving) for enterprise exploit searching tdnh 00:50:26 Consider it noted. 00:50:33 -!- AstroMoon has joined. 00:52:22 shachaf: argh i need GHC again :( 00:52:33 oerjan: for what 00:52:42 to check if that's an exploit 00:53:01 GHC 8? 00:53:06 you cannot newtype derive Typeable, but can you newtype derive a _subclass_ of it? 00:53:33 shachaf: not just 8 00:53:48 but i'm not going to install an older version, anyway. 00:54:05 when you get ghc 8 you'll have to answer all my questions hth 00:54:14 NOOOOOOOO 00:54:52 -!- AstroMoon has quit (Quit: Got to keep moving!!). 00:56:29 oerjan: Isn't Typeable autoderived these days? 00:56:53 shachaf: yes. the point here is whether you can break it. 00:57:08 by indirectly deriving a wrong instance. 00:59:46 huh the new haskell platform installer requires manual config editing in windows. 01:00:31 Hmm, I think your idea might work... 01:07:14 <\oren\> oerjan: is this a security exploit? 01:07:15 * oerjan downloads minimal version 01:08:00 \oren\: well it's a type safety breach, and some security depends on type safety 01:08:19 not if it takes itself seriously hth 01:08:22 but after all the exploits we've found, you'd be foolish to depend _justs_ on that. 01:08:28 *-s 01:09:01 but still, it'll probbly be enough to increase spj's pulse a bit. 01:09:10 *+a 01:09:35 stupid lag ruins my typing concentration :( 01:10:23 i think the lag might be due to downloading the Platform 01:11:37 oerjan: just download it onto your cloud server hth 01:11:41 it has so much bandwidth 01:11:45 the cloud is all about bandwidth 01:11:52 OKAY 01:11:52 cloud 01:11:58 soon as i get one 01:12:17 -!- ais523 has joined. 01:12:19 wtf it interrupted. 01:12:21 <\oren\> ERROR: Rainbow does not implement interface Icloud 01:13:29 :D 01:13:43 oerjan: Oh, maybe it doesn't work. 01:13:48 I'll just let you figure it out. 01:15:37 -!- rntz has quit (Ping timeout: 244 seconds). 01:16:34 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 01:16:39 -!- rntz has joined. 01:22:50 -!- copumpkin has quit (Ping timeout: 258 seconds). 01:23:36 -!- copumpkin has joined. 01:24:25 -!- ybden has quit (Quit: dut). 01:28:15 shachaf: yeah. stupid download. 01:28:40 oh well, 3 mins left it says. 01:30:25 shachaf: i expect that even if it works it'll need some fiddling to get ghc to _not_ ues the autoderived instance. 01:30:29 *use 01:30:56 * oerjan really cannot type when the letters don't show up at the same speed... :( 01:36:40 -!- heroux has quit (Ping timeout: 260 seconds). 01:40:10 -!- hppavilion[1] has joined. 01:57:33 exploding sheep are fun. mwah ah ah ah ah. 01:58:40 yo, winghci is up 01:59:40 shachaf: i'm also finally restoring backup to my laptop, so now i actually have the origin of sp^wpcs on it. 02:01:03 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:02:42 oerjan: whoa, i forgot that pun 02:04:30 * oerjan deletes them from the backup directory on nvg, because they took up like half his quota. 02:04:47 the OOTS book (two versions), that is. 02:04:54 What's your quota? 02:05:47 250 Mb, i think 02:06:05 -!- Koen_ has quit (Quit: Leaving...). 02:06:30 this backup solution might not scale into the next time... 02:07:17 is that bits or bytes 02:07:34 bytes 02:08:25 you can back up 250MB very cheaply on the internet hth 02:11:09 i guess. i probably even have something from microsoft included with the laptop. 02:11:26 (although i might have to register more "properly") 02:12:08 You can use Google Drive or Dropbox or something for free for that little space, I'm sure. 02:12:39 Of course, why would you want to store your data in the US? 02:13:06 so the NSA can back it up properly, duh 02:13:36 i have so far avoided getting any kind of account with either google or microsoft. 02:14:14 that you know of hth 02:15:08 that would have made more sense if you were talking about the nsa 02:16:08 i'm sure the nsa know all my crimes but consider me too small a fish to fry hth 02:16:27 oerjan: tarsnap will back up your data securely for 250 picodollars / byte-month hth 02:16:43 I have $50 of Tarsnap bounty credit but I've never used it. 02:18:07 yay up and editing 02:22:59 Hi! I just flew in here from https://youtu.be/wfYbgdo8e-8, and boy is my FREAKTHEFUCKOUT cortex tired! 02:30:45 -!- MoALTz has quit (Quit: Leaving). 02:31:20 -!- boily has quit (Quit: PREMATURE CHICKEN). 02:34:50 oerjan: did you find a bug that lets you unsafeCoerce between a value and its newtype 02:35:09 that's a little unsatisfactory. 02:35:26 Actually I think you can do more. 02:35:40 i'm not sure. i just had a mysterious failure. 02:36:14 exciting 02:37:01 somehow it uses the autoderived Typeable when newtype deriving. or so it seems. 02:38:51 I don't think so? 02:39:12 class Typeable a => S a 02:39:12 instance S Int 02:39:12 newtype W = W Int deriving S 02:39:12 f :: S a => a -> TypeRep 02:39:12 f a = typeOf a 02:39:20 f (W 1) gives W 02:39:32 clas Typeable a => T a where { foo :: a -> TypeRep }; instance T Int where { foo = typeOf }; newtype W = W Int deriving T; typeOf (W 5) -- Int 02:39:51 Er, foo (W 5) 02:40:01 oh you used a method 02:40:24 Aren't methods the issue with GND? 02:41:28 ok, let me try building on that. 02:43:36 shachaf: hm the problem is that a TypeRep doesn't give you enough to break things 02:43:47 and using a :~: fails due to roles, i think. 02:43:54 -!- augur_ has joined. 02:43:56 Using :~: in the method does, yes. 02:43:57 so maybe it really is safe, due to roles 02:44:06 The method type has to be representational or something. 02:44:16 I'm not sure about safe. 02:44:30 But it doesn't seem correct that you can have x :: W such that typeOf x is Int 02:45:20 shachaf: you don't. 02:45:44 You effectively do inside the method. 02:46:30 fsvo effectively 02:47:33 -!- augur has quit (Ping timeout: 258 seconds). 02:47:40 But roles restrict you from doing much. 02:48:03 yes, so it seems. 02:54:09 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 02:54:30 -!- Kaynato has joined. 02:55:46 oerjan: so oerjan: did you find a bug that lets you unsafeCoerce between a value and its newtype 02:56:38 what, do you want a swat or something 02:57:13 -!- copumpkin has joined. 02:58:54 confirmed with a GADT that even if you wrap the class existentially, you still get the automatic Typeable. 03:09:16 oerjan: can you do anything with other fancy types 03:09:22 like Vault or StableName or something 03:09:38 well the question is whether you can get something that doesn't force the role 03:16:57 oerjan: Oh, there's nothing special about Typeable here. 03:18:58 power outage #scow 03:24:57 Could a microcode execution to work in this way: First all register reads and memory reads and calculations are performed simultaneously, and then the jumping and register writes and memory writes are all performed simultaneously; if a register write affects the operation, jumps will be affected for the current cycle but any other affects occur for the next instruction instead. 03:26:16 shachaf: indeed, my error was assuming that superclass dictionaries somehow got wrapped into subclass ones, and went through newtype deriving with them. but any wrapping doesn't happen until afterwards. 03:26:29 at least that's what i now think. 03:27:28 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 03:42:01 Long ago (in this exact galaxy), I learned something in a job interview. 03:42:25 They asked me to explain the "public", "protected", and "private" access modifiers in OO programming. 03:42:47 And in the course of doing so, I realized I didn't quite know how they work. 03:43:47 I said that I'm not sure if, in a non-static method belonging to a class, I can access private members of other instances of the class, besides self. 03:43:50 Turns out that yeah, you can. 03:43:57 And I have no idea why I bring this up. 03:44:12 It's kind of a pointless story. Like that one Mitch Hedberg joke. 03:45:34 In what programming language? In some you cannot access private members of other instances of the class 03:45:58 I think they were talking about C#. Or... maybe Java? 03:46:09 Here we go, it's the Hedberg joke about the locksmith. 03:46:26 https://en.wikiquote.org/wiki/Mitch_Hedberg - 'If I was a locksmith I'd be fuckin' pimpin' that shit out. "Say, what's goin' on, man? Tell you what. I'll trade you a free key duplication (laughs)." That joke made me laugh before I could finish it. Which is good 'cause there's no ending.' 03:47:29 One time in a job interview they kept trying to get me to say the word "singleton". 03:47:57 shachaf: because they wanted to know you were aware of the concept? or did they just think it was a fun word to say? 03:48:08 I kept avoiding it, and saying things like "global variable" because that's what it really amounted to. 03:49:03 I don't know why. 03:49:28 JavaScript has no classes or public/protected/private, but you can implement a lot of stuff that acts like it. One thing that can be done is to put the private variables and methods that access them in the constructor; in this way it won't have access to privates of other objects. Another thing can be done is you can make up a WeakMap to assign your own private values to any object. 03:50:05 (Actually JavaScript does now have a "class" command, although I do not use it.) 03:51:13 zzo38: What do you use JavaScript for? 03:52:05 -!- hppavilion[1] has joined. 03:52:10 GreaseMonkey, Node.js, userChrome.js 03:52:32 `? usual suspects 03:52:57 There are 3.99 usual suspects, but they're usually rounded up. 03:53:35 `sled wisdom/usual suspect//s3933 03:53:40 No output. 03:53:51 oops, squandered opportunity there 03:54:18 What does "sled" mean here? 03:54:32 It means slashsed 03:54:39 I did a phone interview once. They asked me: if I had to make some classes to represent square tables, rectangular tables, and circular tables, how would I do it? 03:54:51 You give it an argument consisting of a file name, and then two slashes, and then a sed script. 03:55:12 I felt like they were obviously expecting a specific answer. 03:55:16 tswett: Was this an innovative database company? 03:55:20 OK 03:55:28 I've never heard of circular tables but it sounds exciting. 03:55:37 Have a Table class, then RectangularTable inheriting from Table, SquareTable inheriting from RectangularTable, CircularTable inheriting from Table. 03:55:43 That, of course, is not the answer I gave them. 03:57:54 If they ask me such question then I would just ask them more questions. 03:58:53 zzo38: How would you conduct a job interview? 03:59:02 Or, more generally, how would you decide whether to hire someone for a job? 03:59:45 I don't know, but I suppose it can depend what job. 04:01:02 Yes. 04:03:38 Hmmmmm. I'm getting an idea. A terrible idea. 04:03:41 Maybe an esolang idea. 04:04:18 Interfaces in C# have limitations. For example, there's no way to define this interface: 04:05:14 interface ICloneable { T Clone(); /* where T is the class implementing this interface */ } 04:06:05 It's also impossible for an interface to contain any method implementations. 04:06:50 Interfaces can't contain static members, either. 04:07:02 Now, in my opinion, it would make perfect sense for an interface to contain static members. 04:07:32 Sometimes you remind me of Java Update. 04:08:07 Who's that? 04:08:31 That isn't so good that it can't be where T is the class implementing this interface. Even Haskell can do that. 04:08:57 zzo38: "even Haskell"? That's sort of a core feature of Haskell. 04:09:05 zzo38: Even Haskell? 04:09:14 tswett: Yes I know that 04:09:24 Haskell is an advanced purely-functional programming language. 04:09:51 I'm thinkin', could you just have the one concept, called a "trait" or something, that can have abstract members, non-abstract members, static, non-static... 04:10:12 And then... implementing an interface is very similar to inheriting from a class. 04:10:44 I think I know where this is going. 04:11:01 treason? 04:11:01 So, there are things called "traits". Traits replace classes and interfaces. 04:11:04 shachaf: yep! 04:12:34 A trait can inherit from any number of other traits. Members of traits can be abstract, virtual, or final. 04:14:09 Unlike with class inheritance, if a trait B inherits from a trait A, and the trait A has a member called "foo", then the trait B does not automatically have a corresponding member also called "foo". 04:14:14 In other words... 04:14:43 With trait inheritance, members *are* inherited from one trait into its children; but when a member is inherited, it doesn't necessarily keep its name. 04:15:40 tswett: this sounds a lot like C++... 04:15:46 coppro: does it? 04:15:50 I don't really know C++. 04:16:04 C++ doesn't separate interfaces from classes 04:16:21 a class can have any number of bases, be entirely abstract, concrete, entirely virtual, entirely not 04:16:35 Hmmm. 04:16:36 final was added later as a compiler check 04:17:24 C++ allows you to hide inheritance behind access control, so that inheritance is, say, private, in which case consumers can't access base members or convert to the base class. It's rarely used though 04:17:42 it supports your ICloneable interface, too, via the CRTP 04:17:48 (curiously recursive template pattern) 04:17:59 or through concepts 04:19:30 You can make upcasting private? Interesante. 04:19:53 multiple inheritance gets a little weird though 04:20:07 suppose you have classes B and C inheriting from A, and D inheriting from B and C 04:20:14 then by default, D actually has two copies of A 04:20:36 you have to mark the base class A virtual in each case to make it collapse into one (at the cost of a lot of extra runtime thunks) 04:26:59 One of these days I'll have to work out category theory. 04:27:25 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:30:06 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 04:38:13 -!- hppavilion[1] has joined. 04:38:54 After watching that video I posted earlier (https://youtu.be/wfYbgdo8e-8 if you forgot), I wrote a program to test communication 04:39:44 Hey hppavilion[1]. 04:39:45 I made a 5-bit character set and a program that would accept input and convert strings of "a"s and "s"s into 0s and 1s then into that character set 04:39:57 hppavilion[1]: remind me... what country are you in, if I may ask? 04:40:05 tswett: Transnistria 04:40:31 You would put your left hand (controlled by the right brain) onto the a and s keys and let it go wild, then it would make a result 04:40:36 Then I tried talking to my right brain 04:40:44 [L] Um... hello? 04:40:53 [R] assaassaassaassaassasasassaassaasasasassasassaaassaassaaasassassaasaassa 04:41:00 Which converted to: 04:41:01 MZTGVTFLLDGFWJ 04:41:17 As I expected, it didn't work in the slightest. 04:41:25 Existential crisis averted 04:41:45 tswett: I'm in Alaska, which is in the USA 04:42:33 Well, it's hardly among the 48 original states. 04:42:57 shachaf: 49, if you count Puerto Rico 04:43:00 The 40 original states that the US had back when it was founded, in 1946. 04:43:05 s/40/48/ 04:43:34 USA stands for United State Automaton, right? 04:43:52 coppro: We're hardly an automaton; at best, we're a decision tree 04:44:04 Not even a decision tree really; more of a stall-instead-of-making-a-decision tree 04:44:16 `? histogram 04:44:18 histogram? ¯\(°_o)/¯ 04:44:40 So no one is interested in my failed experiment? 04:44:57 I'm kind of interested. 04:44:58 (Well, I suppose experiments can't fail if done correctly; they can just give uninteresting results) 04:45:05 I've tried to do that sort of thing before. 04:45:15 I just realized how many times my right brain said "ass" 04:45:44 I mean, to be fair, there's a 1/8 chance of it saying that for any 3 "a"s and "s"s 04:45:52 hppavilion[1]: you ever hear of tulpas? http://www.tulpa.info/what-is-a-tulpa/ 04:45:56 `learn Histograms are diagrams showing histamine levels. Taneb invented them. 04:45:57 And the chance probably goes up when you allow overlapping chains 04:46:02 Learned 'histogram': Histograms are diagrams showing histamine levels. Taneb invented them. 04:46:03 tswett: Nope, clicking 04:46:16 `?USA 04:46:16 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?USA: not found 04:46:17 `? USA 04:46:21 See America. 04:46:27 `? America 04:46:28 This wisdom entry had to be removed due to a DMCA takedown notice. 04:46:36 boring 04:46:42 hppavilion[1]: so, I can try to find you an internship in Michigan if you're ever interested. 04:46:46 `learn USA apparently doesn't stand for United State Automaton 04:46:48 tswett: ...oh god 04:46:49 Relearned 'usa': USA apparently doesn't stand for United State Automaton 04:46:52 `before 04:46:58 wisdom/usa//See America. 04:47:23 shachaf: They tested it before changing it... 04:47:39 shachaf: It's literally 8 lines above you 04:47:42 look 04:47:45 i'm not the logreader here 04:47:48 blame oerjan 04:48:07 hppavilion[1]: oh god what? 04:48:10 shachaf: I don't think tilting your eyes by about a half a radian counts as logreading 04:48:15 tswett: tulpas 04:48:31 tswett: This sounds almost as crazy as fictionkin 04:48:47 tswett: And at least pice as crazy as otherkin 04:49:50 tswett: But then again, quantum physics is pretty damn crazy, and brains are a lot bigger than quantum stuff 04:50:18 tswett: I have a feeling this /might/ be one of those things that is really crazy- crazier than things that are wrong- but also plausible 04:50:59 If oerjan was here he would fix that wisdom entry. 04:51:03 Since he's not retired anymore. 04:51:11 Maybe he'd even fix it with sedlast or sled. 04:52:06 `sled wisdom/usa/s,$,., 04:52:06 usage: sled file//script 04:52:10 darn 04:52:17 `sled wisdom/usa//s,$,., 04:52:20 wisdom/usa//USA apparently doesn't stand for United State Automaton. 04:52:27 shachaf: i don't trust sedlast 04:52:49 oerjan: it works fine if you're not racist hth 04:54:00 tswett: It at least seems like an interesting thing to experiment with over the summer 04:54:14 shachaf: since when am i not retired 04:54:46 oerjan: since you started editing wisdom entries again hth 04:55:02 i think you are just confused about what i retired from hth 04:55:18 . o O ( or perhaps i am ) 04:55:27 what did you retire from 04:55:52 anyway, in norway retired people are now officially encouraged to keep working. 04:55:59 (sometimes) 04:57:24 shachaf: fixing stupid bugs from people who cannot remember how HackEgo works even after the fifth time 04:57:34 oh 04:57:38 mainly. 04:57:40 why did you ever take that job in the first place 04:57:46 i know, right? 04:58:51 also, i retired from actually checking the repository browser page. 04:59:25 those two things are not unconnected. 04:59:55 hppavilion[1]: oh yeah, are you starting summer vacation right around now? 05:00:41 tswett: I've been on summer vacation for... maybe 2 weeks? 05:00:41 `` ps aux | grep grep 05:00:43 2-3 05:00:44 5000000000 288 0.0 0.2 4180 620 ? S 04:00 0:00 sh -c 'env' 'PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' 'HACKENV=/hackenv' 'http_proxy=http://127.0.0.1:3128' 'LANG=en_NZ.UTF-8' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' '`' 'ps aux | grep grep' | cat \ 500000000 290 0.0 0.6 19140 1600 ? 05:00:50 `? oerjan 05:00:51 Your retired mysterious adjectival cackling overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:00:52 Oh dang. 05:01:03 My summer vacation was yesterday. :D 05:01:29 tswett: _all_ of it? 05:01:36 i knew americans had it bad, but... 05:02:05 I have an office job. I get 25 vacation days a year. 05:02:05 `sled wisdom/oerjan//s-retired --;s(rd(rd emeritus( 05:02:10 wisdom/oerjan//Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:02:19 A whole 25? Envy. 05:02:51 pikhq: You get that at Google after 5 years, right? 05:02:57 Except in Europe where you get it right away, or something. 05:03:07 Yeah. 05:03:09 Which... I understand that Europe generally has better vacation time than the US. 05:03:38 `sedlast s/antediluvian/precambrian/ 05:03:45 wisdom/oerjan//Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also an precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:03:49 Man, y'know, I think I've been a regular in this channel for about 11 years now. 05:03:52 oops 05:04:02 oerjan: suddenly you're sedlasting? 05:04:13 tswett: 11 years a regular and still not a member? 05:04:17 `sedlast s/ an/ a/ 05:04:24 wisdom/oerjan//Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also a precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:04:33 How long have I been here? 05:04:38 I honestly don't know. 05:04:59 I've been using Freenode for over 12 years, I think. 05:05:10 Though my nick was registered a little under 12. 05:05:31 -!- Elronnd has changed nick to Elronnd\StD. 05:06:18 ...12 years ago, not age 12 05:06:45 Though those aren't all that far apart. 05:06:49 Maybe. 05:07:10 Maybe I should stay away from that topic. 05:07:11 `sedlast s/pre/Pre/ 05:07:20 wisdom/oerjan//Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:08:41 i've been here for 10 years now. plus/minus a few days. 05:09:40 hm minus, apparently. 05:09:48 maybe i was on the wiki first. 05:11:04 `le/rn chaf/Any word ending in "chac" can notify shachaf. 05:11:07 Learned «chaf» 05:11:08 oops 05:11:14 `sedlast shachafh 05:11:21 wisdom/chaf//Any word ending in "chaf" can notify shachaf. 05:15:27 `forget chaf 05:15:31 Forget what? 05:16:00 HackEgo: chaf 05:18:35 I wonder when my first wiki edit was. 05:19:53 2005. 05:22:46 So yeah. About 11 years. 05:24:36 -!- Sgeo has quit (Read error: Connection reset by peer). 05:55:05 -!- Kaynato has quit (Ping timeout: 260 seconds). 05:57:15 -!- Sgeo has joined. 06:00:38 sgello 06:09:26 Hi 06:09:40 My expensive toys aren't working :( 06:14:54 And your cheap toys? 06:21:29 This ring is still holding together 06:34:01 -!- ais523 has quit (Ping timeout: 240 seconds). 06:39:40 -!- ais523 has joined. 06:54:11 I don't see why people use 4-part versioning schemes when we can use the more modern, more expressive 18446744073709551616-part schemes 06:54:36 isn't that called open source 06:54:42 And even then, we should avoid those for major software and use the G64-part scheme 07:05:35 `? tetris 07:05:39 tetris? ¯\(°_o)/¯ 07:05:42 http://www.qwantz.com/index.php?comic=2985 is actually an awesome idea 07:06:50 -!- lambda-11235 has quit (Quit: Bye). 07:06:56 `learn Tetris is where Soviet Russia was invented. Taneb was not present although Triangle and Robert were. 07:06:59 Learned 'tetri': Tetris is where Soviet Russia was invented. Taneb was not present although Triangle and Robert were. 07:07:31 `` mv wisdom/tetri{,s} 07:07:34 No output. 07:08:26 -!- heroux has joined. 07:19:58 What happened there? <-- a timeout, probably. 07:20:33 oerjan: I guess if it prints text and then times out some text still gets printed. 07:20:42 yeah 07:20:54 you have an odd logreading order 07:21:53 ...or at least one of them, at any rate! <-- hi 07:22:07 shachaf: no, i've just not got any further? 07:22:26 I guess you don't count reading your IRC client as logreading. 07:22:32 indeed. 07:23:58 `` ls wisdom/usual* 07:24:01 wisdom/usual suspects 07:24:16 I guess you could de-s it. 07:24:23 `` ls wisdom/*usual* 07:24:25 wisdom/the usual suspect \ wisdom/usual suspects 07:24:38 `cat wisdom/the usual suspect 07:24:39 cat: wisdom/the usual suspect: No such file or directory 07:24:50 fine, i made a mess of it 07:24:58 * oerjan cackles adjectivally 07:24:59 how the fuck did this tetri learning happen? 07:25:22 myname: it strips off s 07:25:35 ah, plural 07:25:53 better slashlearn 07:25:56 `` ls wisdom/the\ usual\ suspect 07:25:57 wisdom/the usual suspect 07:26:00 `` ls -l wisdom/the\ usual\ suspect 07:26:02 lrwxrwxrwx 1 5000000 0 13 May 31 19:43 wisdom/the usual suspect -> usual suspect 07:26:11 `` mv wisdom/usual\ suspect{s,} 07:26:13 No output. 07:26:15 `? the usual suspects 07:26:19 There are 3.99 usual suspects, but they're usually rounded up. 07:26:48 `sled wisdom/usual suspect//s;,; in #esoteric,; 07:26:52 wisdom/usual suspect//There are 3.99 usual suspects in #esoteric, but they're usually rounded up. 07:27:32 i demand names 07:28:25 I was pretty pleased with that pun. 07:28:42 @tell boily if only you were here to measure my funpun tdnh 07:28:42 Consider it noted. 07:29:37 -!- augur_ has quit (Remote host closed the connection). 07:30:17 myname: John, Ahmed, Jens, Fiona and Balthasar hth 07:30:23 -!- augur has joined. 07:30:57 oerjan is good at rounding 07:31:04 yep 07:31:36 i,i But the Judge said he never had summed up before; / So the Snark undertook it instead, / And summed it so well that it came to far more / Than the Witnesses ever had said! 07:33:15 `cat bin/sled 07:33:15 [[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 07:33:45 `sled fnord//hi 07:33:46 No output. 07:34:42 -!- augur has quit (Ping timeout: 250 seconds). 07:34:46 Maybe a sledpreview would be useful. 07:35:05 So you can test in /msg and then sled in produ^W#esoteric. 07:35:34 `sled bin/sled/s/exit 1; sed/{ echo 'Rosebud!'; exit 1 }/ 07:35:36 `sled bin/sled//s#\|\| exit 1#|| { echo 'no such file'; exit 1; }# 07:35:36 usage: sled file//script 07:35:39 bin/sled//|| { echo 'no such file'; exit 1; }[[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; } 07:35:49 :( 07:35:50 oops 07:36:04 `revert 07:36:06 I just discovered Dinosaur Comics 'butiwouldratherbereading' 07:36:23 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 07:36:25 `sled bin/sled//s/exit 1; sed/{ echo 'Rosebud!'; exit 1 }/ 07:36:32