00:00:21 uh i was at the other end before and nobody cared then!! 00:01:20 -!- Nisstyre-laptop has joined. 00:02:10 yes well it wasn't the place to be then!! 00:02:12 now it is 00:03:01 are you insulting me 00:03:12 "At least two roads run concurrently with their own opposite direction." The obvious question is, why not just skip that part? 00:03:59 skip? 00:04:08 it's like a north-south and a south-north road both turn west. no big deal 00:04:33 Yeah, but if there's a single road carrying both directions of a single route, then the route must have a cul-de-sac. 00:06:11 it could be like a half diamond arrangement. 00:06:31 north route goes up, turns west at a corner, later turns north by northeast, rejoins southern self later up 00:07:29 Uh, lemme think about that. 00:09:02 I can see, like, sort of a rectangle arrangement. 00:09:29 zzo38: LED accent lighting for my living room 00:09:40 Beyond the north and south ends of the rectangle, you just have the northbound part of the freeway on the east side and the southbound part on the west side, like usual. 00:10:31 But from the south end of the rectangle, the northbound road turns left and follows the south edge of the rectangle west, then turns right and follows the west edge of the rectangle north. 00:10:47 Then it turns right again, following the north edge east, and finally turns left again and continues on north. 00:11:23 So traffic goes clockwise around the rectangle, and the north and south edges of the rectangle are wrong-way concurrencies. 00:12:05 *Why* they'd do that, I have no idea. Perhaps, say, the downtown part of the city is south of the rectangle, and there are a bunch of businesses west of the rectangle. 00:12:20 People traveling out of the city are more likely to want to visit businesses along the way than people traveling into it. 00:13:05 "Business" meaning a building providing a service to the public, rather than an office or factory. 00:16:29 Bike: huh? no 00:16:30 You just don't realize how great it is to be able to reverse direction without an interchange 00:16:37 Bike: it's the place to be because i'm here 00:16:54 ok well bad timing 00:23:06 since the discussion started before 0 UTC, i should assume it is just coincidental that wikipedia has a highway as today's featured article 00:23:37 or maybe Gracenotes sneak peeked 00:25:10 -!- carado has quit (Ping timeout: 246 seconds). 00:26:19 i heard Gracenotes has ""connections"" 00:26:37 ooh 00:27:57 they choose them in advance... 00:28:36 i thought they flipped a coin at midnight 00:28:40 Since the discussion is about highways, I should assume that oerjan didn't actually read the wikipedia main page for the fun of it 00:28:48 d4000000 00:28:48 shachaf: 1443117 00:28:53 d100000000000000000000000000000000000000000 00:28:53 shachaf: 73274656582344544685947877970172273676770 00:29:00 d1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 00:29:00 shachaf: 659790748428201985583386173652174207609455971330297358345175532... 00:29:07 I don't think they have that many featured articles. 00:29:09 itt Jafet is making some wrong assumptions 00:29:12 ddddd5000 00:29:17 sux imo 00:29:31 apparently the next article is Barton Fink. 00:29:44 2d4 00:29:44 Jafet: 3+4 => 7 00:29:52 1000000d2 00:29:52 Jafet: 1500179 00:30:00 1000000000000d2 00:30:00 Jafet: 1500000345378 00:30:27 10d4 00:30:27 oerjan: 29 00:30:29 5d4 00:30:30 oerjan: 11 00:30:31 tswett: The actual explanation for at least one of those cases is that it's between two interchanges that don't have full directional access. 00:30:33 3d4 00:30:33 oerjan: 3+3+1 => 7 00:30:36 4d4 00:30:36 oerjan: 10 00:31:19 Bike: NOOOOO NO SPOILERS 00:32:16 https://maps.google.com/maps?vpsrc=6&ie=UTF8&ll=40.428149,-80.025487&spn=0.009555,0.01929&t=m&z=16 # The route enters from the NE with I-376 and leaves to the SE with SR 51. 00:32:23 -!- Sprocklem has quit (Ping timeout: 240 seconds). 00:36:22 -!- yorick has quit (Remote host closed the connection). 00:41:52 -!- carado has joined. 00:54:36 Bike: I'll ddddd5000 for you! 00:54:57 Bike: 95 00:55:05 Thx. 00:55:10 Ywhwh. 00:58:48 @@ @dice @run (\[_,x] -> text $ 'd':x) . words $ @show @dice @run (\[_,x] -> text $ 'd':x) . words $ @show @dice @run (\[_,x] -> text $ 'd':x) . words $ @show @dice @run (\[_,x] -> text $ 'd':x) . words $ @show @dice @run (\[_,x] -> text $ 'd':x) . words $ @show @dice d5000 00:58:52 shachaf: 27 00:59:43 elegant. 01:00:49 hm i want to make a "thus spoke Bike" pun sometime 01:00:55 but there's no good time for it 01:00:59 so someone else can make it instead 01:05:55 i think that pun would just be tiresome 01:07:20 -!- augur has joined. 01:08:46 oerjan, shachaf: I looked up Wrong Way Corrigan, because of watching a QI episode 01:08:51 oerjan: it wasn't meant to be a chain 01:09:09 there is a queue for front pages featured article, in fact, it goes many months into the future 01:09:36 shachaf: let's just gear down 01:10:25 Hum, hum. What is 5, anyway? It's 1 + 4, and yet it's also 2 + 3... 01:10:38 -!- augur has quit (Read error: Connection reset by peer). 01:10:50 tswett: it's like addition isn't injective or something! 01:11:00 Yeah! 01:11:01 5 is the holy 01:11:12 do we really know five 01:11:16 What's the one true pair of numbers that adds up to 5? 01:11:24 itt Bike is muslim 01:11:37 I'm pretty sure it's 1 and 4. It can't be 2 and 3. 01:11:45 blasphemer. 01:11:46 oerjan: you'll make me cranky 01:11:48 but 2 and 3 are prime! 01:11:50 But then again, 5 is a Fibonacci number, by virtue of the fact that it's 2 + 3... 01:12:03 tswett: Zero and five. 01:12:04 oerjan: who cares that it's the sum of two prime numbers? 01:12:49 -!- sacje has joined. 01:12:52 -!- augur has joined. 01:13:01 Bike's true Twitter account: https://twitter.com/ThePunBike 01:13:18 "In Cantonese, "five" sounds like the word "not" (character: 唔). When five appears in front of a lucky number, e.g. "58", the result is considered unlucky." chinese numerology just gets weirder. 01:13:33 tswett: primitive people! 01:13:37 Help, what letter comes after Z? 01:13:43 W hth 01:13:43 tswett: Æ 01:13:47 tswett: In what alphabet? 01:13:52 zzo38: the English one. 01:13:54 also don't listen to the swedes hth 01:13:56 Wait, I remember. It's &. 01:15:34 > succ 'Z' 01:15:35 '[' 01:15:50 and there you have it. 01:16:04 Hmm, clearly SZ comes after Z. 01:16:06 nooodl: I think they meant the English alphabet, not the ASCII alphabet, isn't it? 01:16:15 Right, the English alphabet. 01:16:19 I'm going with Æ. 01:16:24 thx 01:16:30 @let data Nat = Z | S Nat deriving (Show,Read,Eq,Ord,Typeable) 01:16:31 Defined. 01:16:37 Oops. 01:16:38 @undefine 01:16:38 Undefined. 01:16:42 @let data Nat = Z | S Nat deriving (Show,Read,Eq,Ord,Enum) 01:16:42 .L.hs:142:41: 01:16:42 Can't make a derived instance of `Enum Nat': 01:16:42 `Nat'... 01:16:47 Bah. 01:16:50 P x y z æ = x z (y z æ) 01:16:51 Useless. 01:17:02 why can't it make Enum? 01:17:17 consider: w x y z 01:17:32 Because the type isn't, what's-it-called. An enumeration. 01:17:51 oh. i guess. 01:18:00 how does it derive Ord 01:18:03 If you are using non-ASCII alphabets then you can even use Greek or whatever too you aren't even limited to AE ligature and so on. 01:18:14 maybe it just didn't get to the Ord error. 01:18:20 No problem with Ord. 01:18:20 I demand that it be referred to in Unicode as a Latin letter. 01:18:22 .u æ 01:18:27 Hey Phennies. I'm talking to you. 01:19:02 @let data Nat = Z | S Nat deriving (Show,Read,Eq,Ord) 01:19:03 compare Z Z = EQ; compare Z (S _) = LT; compare (S _) Z = GT; compare (S x) (S y) = compare x y 01:19:03 Defined. 01:19:09 OK, call it a Latin letter, if you want to 01:19:20 Are you asking about the rules for deriving Ord in general? 01:19:22 shachaf: wouldn't switching LT and GT give you a valid Ord instance? 01:19:35 Yes, but not the one it derives. 01:19:37 nooodl: That would be the reverse ordering; it is still valid 01:19:38 wouldn't that quesiton be true of like any ord instance 01:19:47 yes 01:20:07 i guess i am talking about the rules for deriving Ord in general, yeah. 01:20:10 Many classes can be made a backward instance from the existing one, such as order, monoid, applicative 01:20:45 hmmm 01:20:46 I guess P x y z = B (x z) (y z), so P x y = S (B B x) y, so P x = S (B B x), so P = B S (B B). 01:20:47 @undefine 01:20:47 Undefined. 01:20:56 nooodl: I recommend seeing the Report for the exact rules. 01:21:02 @let data Nat = S Nat | Z deriving (Show,Read,Eq,Ord) 01:21:03 Defined. 01:21:03 The order of the summands matters, thought. 01:21:06 s/..$/./ 01:21:09 > S Z > Z 01:21:13 False 01:21:23 "i get it" 01:21:26 (It also matters for Enum.) 01:21:49 @let newtype Mu f = Mu { runMu :: forall a. (f a -> a) -> a } 01:21:49 Parse failed: TypeOperators is not enabled 01:21:52 I think it would be better making it you can deriving by macros instead of built-in. I think many things in Haskell ought be macros rather than built-in, would make them better. 01:21:52 wow 01:21:59 you could even make data Rev = (Ord a) => Rev {getRev :: a}; instance (Ord a) => Ord (Rev a) where { compare = flip compare `on` Rev } 01:22:00 this is getting annoying 01:22:09 err 01:22:12 replace the last Rev with getRev 01:22:25 But, on the other hand, we could just as well say P x y z = B (y z) (x z), meaning P x y = S (B B y) x, meaning P x = uhh hang on 01:22:26 You could, but why, when it's already in Data.Ord? 01:22:32 coppro: Yes you can make things like that for other classes backward too 01:26:30 P x = B (C S x) (B B), so P = B (C B (B B)) (C S). Yeah, I like the other one better. 01:27:13 So what does it mean to do something five times? Do you do it twice and then thrice, or thrice and then twice? I'm pretty sure you do it thrice and then twice. 01:27:44 And what's 6? Is it two threes, or three twos? Pretty sure it's three twos. 01:27:59 You do it once, and then once more time, and then once more time after that, and then one more time, and then one more. Now it is five times. 01:28:43 zzo38: yeah, but is that once and then (once and then (once and then (once and then once))), or (((once and then once) and then once) and then once) and then once, or ((once and then once) and then once) and then (once and then once), or what? 01:30:02 tswett: It doesn't matter because it is associative. 01:30:10 Hmmm. 01:30:17 You're probably right. 01:34:31 What's 7? It must be what you get when you start with 1 and then double it and increment it twice. 01:35:23 How about 10? Ooh, I hate that number. 01:35:25 Well, I suppose there are many ways to make seven, but really it is (1+1+1+1+1+1+1). 01:37:35 -!- kallisti has joined. 01:38:21 -!- augur has quit (Read error: Connection reset by peer). 01:40:24 -!- augur has joined. 01:42:41 -!- augur has quit (Remote host closed the connection). 01:44:51 10 is, of course, 5 choose 2. Though it happens to also be 5 *times* 2. 01:45:10 kmc: with, like, a restful json api and mobile apps and stuff 01:45:18 v. local 01:45:33 also if you make a web interface it should be on the public website 01:48:06 -!- kallisti has quit (Ping timeout: 264 seconds). 02:01:46 -!- carado has quit (Ping timeout: 246 seconds). 02:14:36 -!- augur has joined. 02:26:13 For the Uselessness RPG 1 (the one with the picture), I was using OHRRPHCE but I decided not to, for a few reasons, one is that, they make some bad assumptions, such as that the player charaters are always human and the non player characters are never thieves and that an attack cannot have a script in it. 02:32:52 -!- kallisti has joined. 02:32:53 -!- kallisti has quit (Changing host). 02:32:53 -!- kallisti has joined. 02:40:37 -!- kallisti has quit (Ping timeout: 276 seconds). 02:50:57 -!- mnoqy has quit (Quit: hello). 02:51:32 All right, let's write some strong AI. 02:53:16 Strong AI of what? 02:54:03 Of... rationality? 02:56:43 What's that 02:58:07 An artificial intelligence that could successfully perform any intellectual task that a human being can. 02:58:11 (To quote Wikipedia.) 02:58:53 i meant rationality. 02:59:46 Oh. Uh, the ability to come to conclusions that are reliably correct. 03:00:02 That sounds pretty hard to quantify. 03:00:11 Yeah, kinda. 03:00:18 That would be better than an intellectual task that a human being can. 03:00:24 (in some cases) 03:12:44 -!- Frooxius has joined. 03:12:52 -!- kallisti has joined. 03:24:18 Someone told me some of my ideas were good but I needed to write it out more carefully; there were also many defects in there system so I wrote those too, and I put them into all one file so I can just post the URL. However, I tried to tell them of these defect and society/gods but I can't because system is defective! I cannot access it at all because it is defective! 03:25:31 are you going to have to drink hemlock 03:26:39 I don't expect so. 03:27:15 zzo38 is mad as hell and not going to take it anymore 03:28:05 Y'know, some drugs have really shitty side effects. 03:28:14 "Spontaneous tendon rupture" is up there. 03:28:19 pikhq: Such as hemlock? 03:28:21 pikhq: see, i try to avoid drugs 03:28:29 you people are all crazy 03:28:30 pikhq: what, seriously? 03:28:51 Bike: Yes, there's an antibiotic that can cause that. 03:29:10 coppro: See, when your testicles are in serious pain you're not likely to consider such things. 03:29:14 pikhq: fair 03:29:29 and I'd probably consider it at that point 03:29:35 not a fan of recreational drugs 03:29:43 "Infection of the testicles" is also a shitty thing. 03:29:52 I'm not much of a recreational drug guy either. 03:30:06 :( 03:30:10 re testicles 03:30:19 Fortunately, that's resolved. 03:30:24 don't rupture your tendons and/or testicles 03:30:29 testicular torsion 03:30:50 I'm just getting random skeletomuscular pain from the antibiotics. Which is a side effect which can show up fully 6 months later. 03:31:03 And hoping I don't actually rip a tendon. 03:31:07 pikhq: oh, I thought you were 03:31:16 well, best of luck with your tendons 03:31:39 coppro: Nope. I imbibe in alcohol in small quantities, and caffeine in absurd quantities. 03:32:06 And by "small quantities" I mean "I don't think I've ever had enough alcohol in my system that I could be charged with a DUI if I drove". 03:32:39 kmc: http://ix.cs.uoregon.edu/~butler/pubs/acsac12.pdf oh gosh, this is amazing 03:32:40 pikhq: http://en.wikipedia.org/wiki/IPLEDGE my personal favorite side effect: so bad you have to register with a national registry to take it 03:32:43 it is an acne cure. 03:32:57 Oh wow. 03:33:03 they wrote a MapReduce implementation that runs off of cloud web brosers like opera mini 03:33:06 *browsers 03:33:21 Fiora: :D 03:34:00 Levofloxacin has some potentially frightening ones. 03:34:15 In rare cases it even kills your nerves! 03:34:37 In more common cases it just causes temporary paresthesias. 03:34:41 wassat 03:34:58 Y'know the feeling when a limb goes to sleep? 03:34:59 That. 03:35:12 That's also the first sign that your nerves are dying. 03:35:18 oh. 03:35:38 So, yes. It has one non-serious side effect and a serious-as-fuck side effect that look initially similar. 03:38:44 Also neat is that the first sign of tendons rupturing is cracking in the joint. 03:38:51 My joints crack a lot anyways! 03:39:28 Suddenly I've become an old man. Woe. :P 03:39:56 what's the deal with joints cracking anyways, like, why does that happen 03:40:27 gnomes 03:40:37 Temporary partial vacuum being created in the fluid in the joints. 03:40:48 by gnomes 03:40:49 The sound is the bubble of vacuum collapsing. 03:41:20 Huh 03:49:07 i thought for a sec you were talking about false vacuum collapse 03:49:48 goodbye knee and body and planet and local group 03:50:28 :3 03:50:39 I thought the cause of joints cracking was subject to some debate 03:50:53 http://en.wikipedia.org/wiki/Cracking_joints#Causes 03:51:13 the planets that debated it too furiously were wiped out 03:51:33 -!- kallisti has quit (Ping timeout: 248 seconds). 03:51:41 Medical doctor Donald Unger cracked the knuckles of his left hand every day for more than sixty years, but he did not crack the knuckles of his right hand. No arthritis or other ailments formed in either hand, earning him the 2009 Ig Nobel Prize in Medicine, a parody of the Nobel Prize.[8] 03:51:50 that must have taken some discipline 03:52:15 -!- Nisstyre-laptop has quit (Quit: Leaving). 03:58:08 -!- Sprocklem has joined. 03:59:31 -!- kallisti has joined. 04:04:50 learning about infosec is bad because then whenever a program crashes you wonder whether it was an exploit attempt 04:05:07 That's pretty good, and something to earn the Ig Nobel Prize for it looks like. Did he nominate himself or did someone else do so? 04:06:43 -!- kallisti has quit (Ping timeout: 246 seconds). 04:07:33 Has anyone ever won the Nobel Prize and Ig Nobel Prize for the same thing? (There are some people that have won both prizes but for different things.) 04:08:06 no. 04:08:50 who has done what you said 04:08:52 -!- kallisti has joined. 04:08:55 -!- kallisti has quit (Changing host). 04:08:56 -!- kallisti has joined. 04:10:07 -!- nooodl has quit (Ping timeout: 264 seconds). 04:12:22 I think I should put these things I have on the paper for Uselessness RPG game also on some wiki, to make collaboration (because I also want idea/etc from other people too). Therefore, there is two copies. What wiki can this be put into, please? 04:17:56 -!- kallisti has quit (Read error: Connection reset by peer). 04:18:28 -!- kallisti has joined. 04:29:54 -!- kallisti has quit (Ping timeout: 256 seconds). 04:30:43 -!- kallisti has joined. 04:40:16 Would any existing one you know, work? Do you think the main Hackiki should work? 04:41:18 -!- zzo38 has quit (Remote host closed the connection). 04:41:50 -!- sacje has quit (Ping timeout: 240 seconds). 04:43:21 -!- Bike_ has joined. 04:43:26 -!- Bike has quit (Ping timeout: 264 seconds). 04:45:04 -!- sacje has joined. 04:48:20 -!- katla has joined. 04:52:55 ion: You use gnome-terminal, right? When you open a new terminal (e.g. Ctrl-Shift-N), does it open in the current directory or in ~? 04:54:18 shachaf: The current one. 04:54:26 -!- Bike_ has changed nick to Bike. 04:55:22 -!- sacje has quit (Ping timeout: 246 seconds). 04:56:11 It stopped doing that for me for some reason. 04:56:19 -!- sacje has joined. 04:56:19 Maybe because of my recent apt-get upgrade? 04:58:47 Hmm, https://wiki.gnome.org/Terminal/FAQ#How_can_I_make_new_terminals_start_in_the_working_directory_of_the_current_terminal.3F 05:00:19 OK, it works with that script. 05:23:39 -!- oerjan has quit (Quit: leaving). 05:54:30 -!- sebbu has quit (Ping timeout: 264 seconds). 05:54:34 -!- katla has quit (Quit: Leaving). 05:54:37 -!- sebbu has joined. 06:28:36 -!- katla has joined. 06:36:20 -!- sacje has quit (Ping timeout: 260 seconds). 07:01:15 -!- copumpkin has quit (Ping timeout: 276 seconds). 07:01:44 -!- copumpkin has joined. 07:06:11 -!- Taneb has joined. 07:17:25 -!- Sprocklem has quit (Ping timeout: 248 seconds). 07:30:24 Ugh 07:30:37 GEDCOM recommends using the ANSEL character set 07:30:38 hi 07:32:14 I suppose it does say they'll switch "eventually to UNICODE" and will only use ANSEL "until multi-byte handling becomes more common" 07:32:31 (the standard was written in '96, so I suppose multi-byte handling is a tad more common now) 07:47:19 -!- epicmonkey has joined. 08:00:06 -!- epicmonkey has quit (Ping timeout: 264 seconds). 08:23:30 -!- MindlessDrone has joined. 08:29:13 -!- katla has quit (Read error: Operation timed out). 08:30:41 -!- katla has joined. 08:38:11 I am now terrified 08:38:31 @wn terrify 08:38:33 *** "terrify" wn "WordNet (r) 3.0 (2006)" 08:38:33 terrify 08:38:33 v 1: fill with terror; frighten greatly [syn: {terrify}, 08:38:33 {terrorize}, {terrorise}] 08:38:43 That's terrific 08:39:00 There are two universities looking at my exam results (which I have not seen) and deciding whether I'm worthy to attend 08:40:50 `run grep -h "that's terrible" wisdom/* 08:40:51 Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible. 08:41:27 When will they finish looking? 08:41:54 fizzie, I found out their decisions on Thursday 09:13:56 that's aweful 09:14:13 It's the norm in England 09:14:59 Really, all it means for me is that I get my exam results at the same time as finding out if they're good enough to get into uni 09:15:04 that's awsome? 09:15:53 ... 09:16:16 You spelt both "awful" and "awesome" incorrectly in precisely opposite ways 09:16:57 Taneb: it is possible it was done intentionally 09:17:09 no it's not 09:17:09 olsner, even so! 09:17:12 nothing is possible 09:17:20 It makes me queasy 09:17:24 oklopol: sorry, that's not possible 09:20:41 'aweful' can mean good, because you are full of awe 09:21:00 'terrific' can mean bad, because you are full of terry? 09:21:38 so goes the semantic treadmill. 09:21:58 Awful Lee Terry fic 09:22:30 Awful Lee/Terry fic? 09:22:45 Jafet, ew 09:23:30 I'd read it 09:23:33 -!- epicmonkey has joined. 09:23:51 Is there anything you wouldn't read? 09:24:35 Things that read themselves 09:42:12 * Gracenotes reads himself 09:45:10 self reading book? 09:46:58 a self-ambulating person 10:04:45 -!- Phantom_Hoover has joined. 10:23:39 -!- Koen_ has joined. 10:45:20 -!- augur_ has joined. 10:45:28 -!- augur has quit (Read error: Connection reset by peer). 10:45:57 -!- augur_ has quit (Read error: Connection reset by peer). 10:46:16 -!- augur has joined. 10:52:43 -!- kallisti has quit (Read error: Operation timed out). 11:09:02 -!- clog has quit (Ping timeout: 240 seconds). 11:09:10 -!- clog has joined. 11:14:27 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 11:15:24 -!- epicmonkey has quit (Remote host closed the connection). 11:16:18 -!- katla has quit (Ping timeout: 264 seconds). 11:17:12 -!- epicmonkey has joined. 11:17:13 -!- epicmonkey has quit (Client Quit). 11:18:39 -!- katla has joined. 11:35:08 -!- Sgeo has quit (Read error: Connection reset by peer). 12:18:07 -!- nooodl has joined. 12:29:05 -!- nooodl_ has joined. 12:32:52 -!- nooodl has quit (Ping timeout: 264 seconds). 12:39:40 -!- Koen_ has quit (Quit: Koen_). 12:49:21 -!- ussynet has joined. 13:03:06 -!- ussynet has left ("Leaving..."). 13:05:54 -!- boily has joined. 13:06:47 good why is there cyrillicised english in the topic morning! 13:08:21 -!- metasepia has joined. 13:13:18 Ooh, i was able to read it fully. (I had infer some of the letters.) 13:13:45 I have never tried to learn the Cyrillic alphabet, but it seems some of it has stuck by itself. 13:21:29 I did a single course of Russian at the university, and got a 5 (of 5) for it; didn't really learn any of the language in question (except to say "is this place free?", the first sentence of the first chapter of the "textbook"), but the alphabet I still know. 13:22:18 I'm trying to learn Armenian, but I am still confused by most of their letters. 13:23:52 I'm trying to write some notes in plaintext, and need \hat{x} for a point estimate of x; tried both ^x and x^, and they both look really silly when I also need \hat{x}^2 in the notes. 13:24:16 x^^2 is a no go, ^x^2 is almost as silly; (x^)^2 and (^x)^2 are passable but sill stilly. 13:24:20 Still silly. 13:24:44 How about \hat{x} 13:24:52 $ \hat{x^2} $ doesn't work? (probably not. my off-the-head-latex is getting rusty.) 13:26:15 Deewiant: I don't want the notes to look like LaTeX source. 13:26:30 Why not? 13:26:38 Deewiant: "I just don't!" 13:27:25 boily: $\hat{x^2}$ would be a subtly different thing from $\hat{x}^2$, I think. (Both still probably render well in LaTeX.) 13:28:01 what about widehat 13:28:25 fizzie: Use a instead of x and then you have â 13:28:38 katla: Okay, I think that might render even better, but it's still beside the point, which was about writing things that look good in plaintext. 13:28:50 Or if you don't dislike combining characters, x̂ 13:29:27 Deewiant: I... guess that might work. Or maybe I'll just call it Ex or something. 13:29:30 The x̂ actually is more legible than the â in my font. 13:29:56 They're about the same here. (Both look like there's a bit of dust on the screen.) 13:30:42 The â looks like dust but on the x it's actually quite clearly a circumflex 13:33:14 -!- nooodl_ has quit (Read error: Connection reset by peer). 13:35:50 -!- kallisti has joined. 13:48:14 yesterday I bought a d30 just to mess with my DM. 13:50:29 -!- kallisti has quit (Ping timeout: 248 seconds). 13:53:19 I HAVE MY OUYA! :D 13:53:24 * boily squees like a fangirl 13:56:22 -!- kallisti has joined. 14:11:12 boily: I wish I had mine >_> 14:11:22 Grats, though ^^ 14:12:54 Did your tracking ever work? 14:14:05 tracking as in delivery? or tracking as in the touchpad on the controller? 14:16:24 -!- Koen_ has joined. 14:18:30 boily: Delivery 14:18:35 Since mine never showed anything 14:18:38 Still doesn't, really 14:18:41 And I'm still waiting 14:19:16 never had any problem with tracking. I just had it stolen from my doorstep, so I had to wait for amazon to deliver a new one. 14:19:32 this time, I'm at the office, and I hold the infamous console in my own real physical meaty hands :D 14:20:07 -!- nooodl has joined. 14:35:22 That's cool =) 14:35:32 It just hope I get mine eventually 14:35:37 Support has been less-than-helpful 14:36:14 Which sucks, considering that I was a backer and all 14:36:32 You'd think they'd thank the backers for believing in them 14:37:06 But all I get are "we'll fix this within 48 hours, promised!" messages with no response 14:39:57 <`^_^v> hmmm, t-his stooff reyalli seyems to vork 14:41:32 Roujo: support from amazon was incredible in my case. 14:41:59 boily: That's just it. You get better support from retailers than from OUYA themselves 14:42:11 But since I got my OUYA directly from them, I'm just straight out of luck 14:42:38 I'm sorry if it sounds really bitter, I just got tired of running after them 14:43:07 I was so excited about the games I'd be able to make, I promoted the console to my friends and family 14:44:05 I even though "Hey, those people are doing something really nice, I'll get the Kickstarter Limited Edition console. It costs more, but they deserve the extra support." 14:44:16 And now this - no console, no money, no answer from support. 14:44:38 that's sad. 14:44:46 Pretty much 14:45:13 They told me they'd refund my international shipping (20$) since it's taking so long 14:45:24 They asked for my Paypal ID, which I supplied 14:45:33 I have yet to get anything there 14:45:44 They gave me 13,37$ as store credit to apologize two 14:45:51 It's a shame I need my OUYA to redeem it 14:45:57 too* 14:51:00 s/too*/two/ 14:52:23 s/( )/\1/g 15:07:04 -!- conehead has joined. 15:11:30 -!- mnoqy has joined. 15:11:40 -!- mnoqy has quit (Client Quit). 15:13:09 -!- kallisti has quit (Ping timeout: 248 seconds). 15:13:38 -!- mnoqy has joined. 15:36:41 -!- iamfishhead has joined. 16:31:33 http://sprunge.us/EIeN I don't know why, but all the "chromium chromium chromium chromium" was somehow amusing. 16:33:01 so it goes 16:33:14 thats so flash player can crash in one tab and not ruin the others right? 16:33:42 Presumably also that Chromium itself can do it. 16:34:02 I've gotten the "He's dead, Jim" tabs for non-Flash pages. 16:40:01 -!- dessos has quit (Read error: Connection reset by peer). 16:41:43 -!- dessos has joined. 16:43:30 So this exists: https://github.com/philipl/pifs 16:48:22 thats stupid 16:48:43 Think of the space you'll be saving! 16:48:49 none 16:49:06 Well 16:49:17 If you want to store pi as a file on your disk... 16:49:26 theres no bitstring you can use to compress arbitrary strings with indices is there? 16:49:26 This file system makes it fit in a single byte! 16:49:49 it actually doesn't, read it more closely 16:50:02 or just make assumptions like i do 16:50:31 it does it on a per-byte basis, so doubtless it significantly inflates file sizes 16:50:51 Ah 16:50:54 Well that's too bad 16:51:18 http://cs.fit.edu/~mmahoney/compression/barf.html This kind of reminds me of this 16:52:18 storing pi itself is one-to-one, though 16:53:58 Fiora, so it moves one byte into the file extension? 16:55:27 (initially i thought the trick was using 'nonempty' to free a pigeonhole) 16:56:04 yeah XD 16:56:15 it's basically a parody/joke about cheating in compression benchmarks 16:56:25 because like, you can make it look like a file is much smaller than it is by storing data in the filename 16:56:45 I think nowadays they tar up all the files afterwards and count that, just to be sure? -_- 16:56:47 BARF extends this idea by trying 257 different algorithms and choosing the best one 16:56:50 neat 16:57:46 Hmm... 16:57:53 What if we stored the index in pi? 16:59:02 forget about pi.. 16:59:28 you can't even use digits of pi to compress pi since it's computable 17:03:01 do all sequences occur in pi, actually? 17:03:15 yes but no one can prove it 17:03:19 i know it's not proven to be normal, but normality's a stronger condition 17:03:39 no can even prove that pi is irrational, they just say someone else did it 17:04:07 how is ita stronger condition 17:04:10 did you mean binary sequences 17:04:12 http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational 17:04:33 no, i thought for normality every sequence had to repeat infinitely? or maybe something else 17:05:20 "a number of infinite length is called normal when all possible sequences of digits (of any given length) appear equally often." 17:05:30 it's irrational, transcendental, but not known to be normal, I think 17:05:36 if it contains every sequences it contains them all infinitely many times 17:05:46 ...point 17:06:08 normal to a specific base is weaker than normal to all bases though 17:08:32 https://dl.dropboxusercontent.com/u/113389132/Misc/20130812-chromium.png <- that's kind of... not good? 17:08:53 Basically, the digits of a normal number appear equally distributed, without any statistical patterns. For example, 2718 2818 28 45 90 45... 17:09:17 implying e is normal 17:09:45 or isn't.. 17:10:30 wikipedia says e is like pi, they think it's normal but it's not proven? 17:10:31 fizzie: I checked mine; it says the same stuff, and also claims I have a third-party ATI/AMD driver even though I don't 17:11:00 Deewiant: I had this working in the Ubunttu. 17:11:13 almost every number is normal but mathematicians can't prove it for a single one... 17:11:32 well, almost every number is uncomputable too XD 17:11:44 Well, "working", it's crashed a couple of times, but just taking the tab in question down. 17:12:10 > "0." ++ ([1..] >>= show) 17:12:12 "0.123456789101112131415161718192021222324252627282930313233343536373839404... 17:13:32 -!- dessos has quit (Ping timeout: 246 seconds). 17:15:39 Deewiant: (For the record; did about:flags "Override software rendering" -> Enable and now it's https://dl.dropboxusercontent.com/u/113389132/Misc/20130812-chromier.png -- will see if it crashes and burns.) 17:18:12 That's what that does for me, too. Do you have an AMD card or does it just always work like that? 17:19:03 No, this is a Nvidia card with the proprietary driver. 17:19:25 Okay, so it's presumably always like that. 17:19:33 I went to a WebGL page, it hung up, I closed the tab, now it's listing all-software again. So. 17:19:52 heh 17:20:04 For the record, I had working threedee on the nvidia driver on the old 7600GT card. 17:21:49 Dangnation; and I was all set to fiddle around with WebGL on this. 17:22:08 Try Firefox, just in case? 17:23:09 -!- carado has joined. 17:23:52 * boily had his vietnamese soup fix 17:23:59 how the heck do you prove things like irrationality and trancendence 17:24:03 let alone normality 17:24:18 what do you need to know about a number to be able to prove that? 17:24:27 katla: https://en.wikipedia.org/wiki/Square_root_of_two#Proofs_of_irrationality 17:24:27 you just print out all the decimals of a number. if there is no pattern, then it's irrational. 17:24:50 darn. foiled by true facts. 17:25:17 Deewiant, that's different - it's straightfoward to explain why algebraic numbers like that are irrational 17:26:12 Fair enough, I hadn't followed the discussion so I didn't know you were talking about nonalgebraic numbers 17:26:15 yeah, i don't really understand how pi was proven irrational. 17:26:23 something about continued fractions? 17:26:42 https://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational 17:26:46 Bike, yeah but once you read and understand the proof youre no closer to answering my question 17:27:05 (that CF irrationality proof is awesome though do recommend it) 17:27:22 I guess it boils down to "you need to know no two numbers in ratio form that number", which is awesomely unhelpful 17:27:39 Deewiant: That seems to work. 17:28:08 katla, i'm tempted to indulge you but i know it'll go nowhere so i won't 17:28:08 fizzie: Huzzah 17:29:04 `quote buh 17:29:05 No output. 17:29:19 `logs buh 17:29:21 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: logs: not found 17:29:24 `pastlogs buh 17:29:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pastlogs: not found 17:29:43 i dont know what to make of that 17:30:39 `pastelog pastlogs 17:31:18 it seems rude/dismissive though 17:31:19 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.31511 17:33:01 -!- zzo38 has joined. 17:33:15 ?messages-loud 17:33:16 You don't have any messages 17:34:37 -!- Koen_ has quit (Quit: Koen_). 17:37:24 -!- katla has left ("Leaving"). 17:38:05 ?messages-quiet 17:38:05 Unknown command, try @list 17:38:08 Aww 17:44:02 ?messages-whisper 17:44:03 Unknown command, try @list 17:44:14 ?messages-sultry-whisper 17:44:14 Unknown command, try @list 17:44:21 * boily thwacks lambdabot with a rubber squid 17:46:35 @list 17:46:35 What module? Try @listmodules for some ideas. 17:46:40 @list @list 17:46:40 No module "@list" loaded 17:46:42 @list list 17:46:42 system provides: listchans listmodules listservers list echo uptime 17:46:47 @list listchans 17:46:47 system provides: listchans listmodules listservers list echo uptime 17:46:52 @list system 17:46:52 system provides: listchans listmodules listservers list echo uptime 17:46:57 @list 17:46:57 No module "" loaded 17:47:13 @listmodules 17:47:13 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search slap 17:47:13 source spell system tell ticker todo topic type undo unlambda unmtl version where 17:47:17 @list undo 17:47:18 undo provides: undo do 17:47:22 ?do 17:47:22 Error: expected a Haskell expression or declaration 17:47:29 "unmtl" 17:47:31 D: 17:47:42 But... but... our home! 17:47:48 boily, we must do something! 17:51:24 Do you know answer of any of my questions? 17:53:36 Roujo: Do what? What about your home? 17:54:04 Well, lamdabot has a module loaded that could apparently destroy/undo my home 17:54:11 Which I'm a bit scared of, frankly 17:54:23 But eh, if I'm still standing, then I guess it's not big deal 17:54:30 Also, what questions? 17:55:56 Questions about Uselessness RPG 1 17:56:12 (And about how such module would possibly to destroy/undo your home) 17:56:25 unmtl 17:57:08 How would that do it? 17:57:14 I live in mtl 17:57:31 aren't you in Lasalle? 17:57:41 Lachine, really =P 17:57:47 oh. 17:58:03 I'm in Rosemont-Petite-Patrie. 17:58:17 O, OK, then. Now answer the other question? 17:58:42 Sure 17:58:48 Where can I read the questions? 17:59:55 I wanted to put it from the paper also on wiki to make collaboration. That is the question. 18:01:00 (Somebody asked to put in git but at first I should have wiki to write the idea/planning, before a computer program is written.) 18:01:19 Two points: 18:01:26 There is no question mark on your question 18:01:44 Also, you seem to have accidentally something in there as well 18:02:19 So I don't really know what the question is yet =/ 18:02:45 Should you put it on the wiki? Should you make it a collaboration? Are you looking for feedback on the design/planning phase? 18:02:53 s/\./?/g 18:03:09 Great, now I'm not sure of anything anymore? 18:03:16 Look at what you've done? =P 18:03:34 Yes I want to know, what kind of wiki to put it in, that you have one. And yes I am looking for feedback on design/planning phase too once it is in wiki, we can make discussion on wiki too. 18:03:48 Ah, okay 18:04:06 s/s\/\\.\/?\/g/s\/e\/ë\/g/g 18:04:12 I'm really sorry though, but I have no idea what your project is, nor if a wiki would be a good place to plan it? 18:04:21 * Roujo looks at that regex and twitches 18:04:39 i like Gitit for a wiki 18:05:18 So... instëad of changing ëvëry . to a ?, it changës ëvëry ë to an ë? 18:05:23 Ah, looks like it doës 18:05:28 GG boily 18:05:38 Deewiant: On the other hand, the Web Audio stuffs works in Chrome (Chromium) but not in Firefox (Iceweasel). So if I want to run some sort of real multimedia application, I guess I just start both and try to keep them in sync. 18:05:51 Seems workable. 18:06:17 Perhaps I could invest in a second mouse, multi-pointer X and some kind of robot arm to duplicate my movements, in case the application takes input. 18:06:30 I think it is, but I want to know what wiki/section it can be, such as the existing Hackiki, esolang wiki, IF Wiki, some other wiki, or whatever, possibly in a user space, or which server is best for this kind of subjects, specifically, is one thing. 18:06:55 fizzie: Surely you can multiplex things easier than that, e.g. with Xvfb. 18:07:02 -!- yorick has joined. 18:07:15 Deewiant: That's called cheating. 18:08:04 Whatever cheating is, I think multiplexing your input between two browsers so that you can keep the audio stream from one in sync with the video stream from the other is the opposite of it. 18:08:51 -!- Koen_ has joined. 18:09:04 there is currently a bug in Firefox OS preventing you from sending a text message that starts with "Yo," 18:09:11 what? XD 18:09:36 just happens to be the bytes of a free(NULL) call 18:09:37 Specifically that or a number of strings including that 18:10:12 I don't know the details 18:10:39 I wonder if that's similar to http://en.wikipedia.org/wiki/Bush_hid_the_facts 18:11:11 Yo, 18:11:40 kmc: nice bug 18:13:00 I want to use some wiki (and section in such wiki, if applicable) with permission, and I want to ask permission of whatever wiki it is (such as Gregor's Hackiki, or something else) 18:13:09 why the fungot would you interpret a string as bytecode voluntarily... 18:13:09 boily: handle your flasks carefully there might be a doppelganger sent to inflict pain or cause injury. suddenly, wilson thought about war, and it could fit inside thor's shirt. its power of darkness. ( ulysses, by jakob and wilhelm grimm) 18:13:35 i love character encodings 18:15:31 I have an encoding bug in my Android app atm 18:15:43 Apparently, the backend wasn't ready to receive and parse unicode 18:15:56 So whenever there's an accent in the SMS message sent to the server... 18:16:26 -!- copumpkin has quit (Ping timeout: 264 seconds). 18:16:31 ...it stores some String representation of the hex string corresponding to the unicode byte values 18:16:39 Which, of course, it can't parse =P 18:16:43 unicode byte values? 18:16:54 * Roujo shrugs 18:16:56 -!- copumpkin has joined. 18:16:58 my favorite byte values 18:17:02 It stores 0073 instead of s 18:17:06 Seems that Web Audio API is on by default in Firefox 25 (current Aurora release), so given their release cycle... it'll be on-by-default in current release version about tomorrow. 18:17:14 Bike: the byte values of encoding problems 18:17:35 I do not value bytes. they aren't much. 18:17:43 om nom nom 18:17:45 So intead of storing s;whatever, it stored 0073003Bwhatever 18:17:51 -!- Nisstyre-laptop has joined. 18:18:00 And the backend dev is on vacation 18:18:01 So yay 18:18:02 fizzie: If it exists but isn't enabled, you can just enable it in about:config. And /that's/ cheating. 18:18:49 -!- nys has joined. 18:22:34 I guess it exists already in the current release. 18:23:11 At least my 24 has a media.webaudio.enabled = false. 18:24:02 * boily jealously ogles Deewiant 18:26:24 Why would that be cheating? 18:26:39 -!- Nisstyre-laptop has changed nick to Nisstyre. 18:36:28 Deewiant: Oh, good news, can't stoop that low: this Debian jessie installation has Iceweasel 10.0.12 installed, which of course doesn't do any of that. 18:37:11 zzo38: It would be too easy. 18:37:59 Iceweasel 10? Strange. Stable's on 17, no? 18:37:59 fizzie: Does that directly correspond to a firefox version number? If so, enjoy. 18:39:15 Deewiant: I think it does. But hey, that's just 13 versions back. 18:39:41 (Debian official policy is now "we ship the latest ESR") 18:39:48 Men were killed for lesser things 18:40:31 pikhq: Curiously enough, that'd be version 17, which is in both stable and unstable but not in testing. (Perhaps some transient thing.) 18:40:48 Oh, you mentioned that about 17. 18:41:08 pikhq: ESR, as in that eric guy? 18:41:14 haha 18:42:18 probably "extended support release" or somesuch 18:42:38 boring. 18:42:41 ~duck esr 18:42:41 --- No relevant information 18:42:45 ~duck ESR 18:42:46 --- No relevant information 18:43:00 ~duck i-esse-erre j'ai dit! 18:43:01 --- No relevant information 18:43:05 ~duck stupid 18:43:05 stupid definition: slow of mind. 18:43:42 http://packages.qa.debian.org/i/iceweasel.html oh, so stable and testing are both 10, but stable-sec (and unstable) is at 17. 18:43:50 Not that 17 would really help much. 18:44:00 -!- sacje has joined. 18:44:37 how old is firefox 10? I think I last used firefox 2 or 3 18:46:01 10.0 is from January 2012. 18:46:11 (Huh, hasn't it been longer than that?) 18:46:43 3.5 is mid-2009, 3.0 mid-2008 and 2.0 from October 2006. 18:47:00 I miss the days of 0.4. 18:47:10 oh, 2.x is most likely then 18:47:16 3.6 was the last non-alpha 3.x, and that was January 2010 18:47:43 I started with 0.4; I somewhat miss those days too 18:48:37 A more civilized age and all that 18:49:17 I have absolutely no idea when I switched over. I guess there was something Mozilla in-between Netscape 4 and Firefox? 18:49:43 Sure, the suite. 18:49:44 oh yes, there were lots of mozilla as I recall 18:50:02 and a Netscape 5 (6?) 18:50:15 Netscape went up to 9 18:50:17 Netscape 6 was based on the Mozilla code. 18:50:20 But they skipped 5. 18:50:30 http://upload.wikimedia.org/wikipedia/commons/7/74/Timeline_of_web_browsers.svg has a fancy chart. 18:50:34 6 and 7 were based on Mozilla, 8 and 9 were based on Firefox 18:50:44 weird... 5 is a much better new-codebase number than 6 18:51:12 we should start a Prime Numbers for Web Browsers Campaign. 18:51:18 olsner: They were making a 5, but nothing came out of it. 18:51:27 olsner: Plus they obviously needed to one-up IE 5. 18:52:50 (The so-called "Slackware Maneuver".) 18:53:17 maneouvre is hard to spell 18:53:33 Apparently 18:53:47 what was the slackware manöver though? one-upping IE or skipping number 5? 18:54:25 s/manöver/manœuvre/ 18:54:40 olsner: One-upping competitors. 18:55:07 The joke is that Slackware is better than its competitors so it inherently one-ups them all the time. 18:55:11 olsner: They went from 3.x directly to 7, because Red Hat and everyone else was at 6. 18:56:05 Or maybe they got a 4.0 out, but at least they jumped from there. 18:56:40 "First off, I think I forgot to count some time ago. If I'd started on 6.0 and made every release a major version (I think that's how Linux releases are made these days, right? ;), we would be on Slackware 47 by now. (it would actually be in the 20s somewhere if we'd gone 1, 2, 3...) 18:56:50 I think it's clear that some other distributions inflated their version numbers for marketing purposes, and I've had to field (way too many times) the question "why isn't yours 6.x" or worse "when will you upgrade to Linux 6.0" which really drives home the effectiveness of this simple trick. With the move to glibc and nearly everyone else using 6.x now, it made sense to go to at least 6.0, ... 18:56:56 ... just to make it clear to people who don't know anything about Linux that Slackware's libraries, compilers, and other stuff are not 3 major versions behind. I thought they'd all be using 7.0 by now, but no matter. We're at least "one better", right? :)" --Patrick Volkerding 18:57:53 Sun went from Java 1.4 to Java 5 (aka 1.5) 18:58:09 and Linux went from 2.6.39 to 3.0 arbitrarily 18:58:09 and from 1.1 to Java 2 1.2 18:58:15 Is Java 7 still 1.7 somewhere? 18:58:27 up to Java 2 1.4? then Java 5 ... I think 18:59:03 Windows went from three-four-ish to ninety-five, though. :p 18:59:20 (And then on to two thousand.) 18:59:40 well, 95 is at least internally 4.0 and 2000 is 5.0 18:59:49 and then there were NT versions 19:00:19 And Windows 7 is 6.1. 19:00:32 And Windows 8 is 6.2. 19:00:47 How about 8.1? 19:01:01 Maybe it's 6.3? Dunno. 19:01:05 hmm, according to wikipedia Java went from Java 2 1.4 to Java 2 5.0 before going to Java 6 19:01:06 6.3, it seems. 19:01:28 olsner: The 5.0 was 1.5 on the inside in many places, though. 19:01:38 "Java 2 5.0 aka 1.5" is quite a. 19:03:12 (Also it's "manööveri" in Finnish.) 19:04:01 (And the verb is "manöveroida".) 19:04:15 (I guess vowel harmony is more of a suggestion than a law.) 19:04:33 (what would the vowel harmonious version be?) 19:04:43 (Alternatively "manövroida", it seems.) 19:05:03 olsner: Manooveri, mänööveri. 19:05:11 Vowel harmony isn't a necessity in loanwords. 19:05:21 Otherwise it is, I think. 19:05:56 (Of course what is and isn't a loanword gets blurry over time.) 19:06:29 what does the ¨ indicate in finnish 19:06:41 Phantom_Hoover: a quote? 19:06:44 Nothing by itself, ä and ö are different letters. 19:07:15 The front versions of a and o. 19:07:53 a is front, the difference is openness. 19:08:25 Deewiant: Wikipedia claims a /ɑ/ is the back unrounded vowel. 19:08:39 Darn. 19:08:58 (And that both /ɑ/ and /æ/ are open.) 19:09:13 æ is near-open, isn't it? 19:09:31 Not that it's a big difference. 19:09:43 Well, it does continue with: "Phonetically, the phoneme /ɑ/ is usually central, although it is back in some dialects." 19:09:48 So I suppose it's: a mess. 19:10:10 /ɑ/ seems quite closed, at least to me 19:10:12 /ä/ is central, /ɑ/ is back. 19:10:20 (at least in french.) 19:11:32 Dialects tend to make messes. 19:11:57 yeah, vowels are the first casualty 19:12:24 is there any other language in the world that prominently features unvoiced vowels, as in Québec French? 19:12:42 Comme le e muet, mettons? 19:13:00 -!- atehwa has quit (Ping timeout: 246 seconds). 19:13:08 Japanese comes to mind 19:13:14 If I'm getting this right, anyway 19:13:22 boily: "-- several Native American languages --", apparently. 19:13:49 Roujo: oh hm. I should have known. ちょっと日本語を話せますけど… 19:13:54 "Cheyenne has 14 orthographic letters composed of 13 phonemes, several of which can be devoiced. ([x] is written as x orthographically but is not a phoneme.) Devoicing naturally occurs in the last vowel of a word or phrase. It can also occur in vowels at the penultimate and prepenultimate positions within a word." 19:13:56 -!- atehwa has joined. 19:13:56 fizzie: ah! interesting! 19:14:05 Arigato gozaimasu 19:14:48 sō ja ne... 19:15:45 "although contrastively voiceless vowels have been reported several times, they have never been verified (L&M 1996:315)." 19:16:50 -!- Koen_ has quit (Quit: Koen_). 19:22:00 Deewiant: I know the topic sort of passed already, but since I had the tab open... this is what chrome://gpu says after I go to any webgl thing: http://sprunge.us/NUVD 19:22:42 That does seem problematic. 19:23:00 Maybe they'll fix in in the future. 19:23:21 What, I don't have glxgears. 19:23:44 Install mesa-demos or the equivalent. 19:25:08 "mesa-utils", apparently. 19:26:06 "Running synchronized to the vertical refresh. The framerate should be approximately the same as the monitor refresh rate." 19:26:09 What. The whole point were those over-nine-thousand-FPS numbers. 19:26:55 fizzie: vblank_mode=0 glxgears 19:27:15 I found that in the interwebs, but it did nothing. :'( 19:27:24 WORKSFORME. 19:27:32 that always left me puzzled: how can you achieve higher than 60 fps on a screen, where the hardware's refresh rate is fixed to 60 Hz (or 120 Hz if you have a nice high-end monitor). 19:27:56 WORKSFORME=0 glxgears 19:27:58 You just send the frames and the display displays as many as it can. 19:28:14 The frames also change in the middle of the display update. 19:28:16 so it's a not-quite-fake-but-neither-very-true measure. 19:28:37 -!- copumpkin has quit (Ping timeout: 246 seconds). 19:28:45 I'll blame the nvidia driver for vblank_mode not doing anything. 19:29:07 -!- copumpkin has joined. 19:29:08 maybe you can disable vsync globally 19:29:22 nvidia-settings has a vsync setting, that'd probably do it. 19:40:05 `olist (910) 19:40:07 olist (910): shachaf oerjan Sgeo FireFly 19:43:00 -!- mnoqy has quit (Quit: hello). 19:43:02 transcendality put to good use: https://github.com/philipl/pifs 19:52:58 -!- Nisstyre has quit (Quit: Leaving). 19:55:44 Roujo linked that earlier 20:01:56 permit me to loudly and squaredly facepalm as a sign of sincere apology. 20:04:20 -!- oerjan has joined. 20:06:07 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:12:51 Do you like this? 20:14:41 no it's awful (disclaimer: i haven't read the logs yet, so i have no idea what you are referring to) 20:15:36 Sorry, I didn't really mention it yet. 20:15:41 I mean this: http://hackiki.org/wiki/uselessness_rpg_1,,main 20:16:31 i just broke out laughing 20:16:49 Bike: you probably have Kuru hth 20:16:58 -!- douglass has joined. 20:27:22 ~duck kuru 20:27:22 kuru definition: a rare progressive fatal prion disease that resembles Creutzfeldt-Jakob disease and has occurred among tribespeople in eastern New Guinea who engaged in a form of ritual cannibalism. 20:27:43 Bike: try to not die. it is poor manners. 20:28:16 sure NOW you tell me not to eat brains 20:28:19 BIT LATE HERE 20:29:59 Next they'll be telling me not to get profound tendon damage. 20:30:43 tongues in a Korean-style marinade are still safe, right? 20:30:51 Systemic tendinitis, what a sideeffect. 20:31:13 fleshy, chewy tongues, lightly grilled... 20:31:15 * boily drools... 20:35:20 sorry, but tongues are disgusting hth 20:36:33 oerjan: Are you sure? Maybe to you and some people it is; maybe to some people it isn't? 20:37:54 tongues are tasty and flavourful. 20:39:44 zzo38: let's just say that cod tongue is the one food from my childhood which i cannot abide trying again. 20:40:58 cod... tongue??? bletch. 20:41:24 a distinction which does _not_ apply to either lutefisk or blood sausage, which others may find disgusting. 20:41:26 I'm okay with just about any possible internal organ, but cod tongue? 20:41:33 -!- Nisstyre-laptop has joined. 20:42:38 Roujo: as a fellow montrealer, what are your thoughts on internal organ edibility? 20:43:06 i guess the fact i won't eat bovine tongue is just tranferred cod trauma. 20:43:25 Transferred Cod Trauma is the name of my band 20:43:42 `addquote i guess the fact i won't eat bovine tongue is just tranferred cod trauma. 20:43:46 1088) i guess the fact i won't eat bovine tongue is just tranferred cod trauma. 20:44:31 *+s :( 20:44:32 elliott: You made up a band? 20:44:47 oerjan: I know, I just copied it verbatim. 20:45:05 should I resubmit it with proper essification? 20:45:24 -!- mnoqy has joined. 20:46:35 unless that's a freudian slip on no:tran = en:fish liver oil (as tapped in bottles and considered a health supplement; _freshly_ boiled cod liver is part of a delicious national meal (skreimølje).) 20:47:07 boily: no, i guess the truth of history shall not be hidden 20:47:41 I think I prefer the dubious scandinavian obscure liver pun version. 20:47:55 ~duck skreimølje 20:47:56 --- No relevant information 20:48:10 so i suppose tran _might_ count as another such food, although i don't think that was pushed on me as much as on some other poor kids. 20:49:08 I think my dad tried to make us ingurgitate fish oil pills when my bro and I were young, but the memories of that are very fungotty. 20:49:08 boily: they say that you can lie on it till it hatched, and thieves. he is important as a lord, even on the astral plane. usually, there will be very useful if you're telepathic. 20:49:19 something about vitamin E and whatnots. 20:50:17 there's a norwegian wikipedia article on mølje but no english wiki link in it, alas 20:50:55 -!- Nisstyre-laptop has changed nick to Nisstyre. 20:51:03 also i recall the meat variant, which is far less delicious but still edible after a fashion and which my mother used to make on christmas eve. 20:52:05 boily: btw i recommend google picture hits for skreimølje hth 20:53:29 boily: the norwegian traditional way of taking fish oil is with a spoon, from a bottle. i hear nowadays they add orange flavor to it to make it less unappealing. 20:53:54 also they are making advertisements about it. 20:54:12 I made the wiki of discussion/collaboration of Uselessness RPG 1, now. Please write a comment on it! (or if you find a minor spelling/grammar mistake on it, you can fix that too if you want to) 20:55:17 boily: fungotty memories sounds like _all_ my childhood memories. 20:55:17 oerjan: better leave the dungeon; otherwise you might get giantslayer. 20:55:43 oerjan: as the Illustrious Markovian Bot said. 20:56:25 ^style 20:56:25 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* pa qwantz sms speeches ss wp youtube 20:58:27 zzo38: you should give a link to the wiki; we can't comment or take a look at it if we don't know where it is 20:58:38 nooodl: I already did. 20:58:46 nooodl: sure we can. 20:58:52 But, I will repeat it to you: http://hackiki.org/wiki/uselessness_rpg_1,,main 20:59:01 zzo38: thanks 21:05:18 ah, the joy of being completely lost in the inextricable meandres of OpenERP innadrs... 21:05:31 s/adr/ard/ 21:10:05 -!- sacje has quit (Ping timeout: 256 seconds). 21:10:45 -!- sacje has joined. 21:12:46 -!- copumpkin has quit (Ping timeout: 276 seconds). 21:13:14 -!- copumpkin has joined. 21:15:34 time to go get various thready resino-cupric apparatuses for power distribution and signal propagation. tonight is da night! 21:15:47 -!- boily has quit (Quit: OOOOOOUUUUYAAAAAAAAH!). 21:15:51 -!- metasepia has quit (Remote host closed the connection). 21:28:31 -!- eztam has joined. 21:35:27 -!- dessos has joined. 21:37:19 who wants to talk about http://en.wikipedia.org/wiki/Lamport_signature ??? it's pretty great 21:37:49 a public-key signature system which uses no fancy math, only hash functions, and so resists attack by quantum computers 21:37:56 only problem is you can only use a given public key once >_< 21:41:47 huh, lesie lamport did non-latex things. 21:43:45 -!- eztam has quit (Quit: Verlassend). 21:46:39 merkle trees were invented as a way of efficiently "distributing" lots of one-time-use Lamport public keys 21:48:05 like you generate 2^n keys, make them into a merkle tree of height n, and then publish the root as your identity 21:48:56 then to sign a message you also include one of those one-use keys and the path to it in the merkle tree 21:49:38 I guess once you've almost used up your 2^n keys you can sign a new root? not sure 21:54:21 -!- johnny57 has joined. 21:54:26 kmc: do you know about `grep ''`, feel like this is a useful non-obvious tip that people should know (or maybe everyone but me already does) 21:54:40 it's like cat but it labels the files all the lines are from so you can use it in a pipeline or just pass it to less or whaterver 21:54:46 -!- johnny57 has left. 21:54:55 hi johnny57, bye johnny5 21:54:56 7 21:55:23 elliott: oh that's cool 21:55:29 I do use 'grep .' sometimes but didn't know that one 21:55:49 does that work with empty lines? 21:57:11 no it filters out empty lines 21:57:14 which is useful sometimes 22:02:37 -!- dessos_ has joined. 22:02:37 Sometimes I do 'head -n -0 list of files', it's kind of similar except it puts ==> labels <== at the start of each file instead of labeling lines. 22:04:18 fizzie: `more ...` does the same 22:04:24 when piped 22:04:33 though the headers are slightly different 22:04:51 -!- yorick_ has joined. 22:05:18 -!- kallisti has joined. 22:05:52 -!- dessos has quit (Read error: Connection reset by peer). 22:07:12 -!- kallisti has quit (Client Quit). 22:07:28 -!- kallisti has joined. 22:07:28 -!- kallisti has quit (Changing host). 22:07:28 -!- kallisti has joined. 22:08:05 -!- kallisti has quit (Client Quit). 22:08:22 -!- kallisti has joined. 22:08:23 -!- kallisti has quit (Changing host). 22:08:23 -!- kallisti has joined. 22:08:27 -!- yorick has quit (Ping timeout: 256 seconds). 22:58:46 Can someone quickly give me a simple iterative code excerpt from a C-like language? 23:00:16 for(int i = 0; i < 10; i++){printf("%d\n", i);} 23:00:23 int fib(int n) { int res = 1, i; for(i = 2; i < n; ++i) res *= i; return res; } 23:00:31 wow good naming 23:01:17 naming? 23:01:24 fib for factorial 23:01:28 yes 23:02:15 oh. XD 23:02:21 I guess the name of your function 23:02:23 is a bit of a fib 23:02:56 Thank you 23:03:03 Thanks, Fiora, used yours 23:30:15 -!- conehead has quit (Quit: Computer has gone to sleep.). 23:30:24 -!- kallisti_ has joined. 23:30:27 -!- kallisti_ has quit (Client Quit). 23:35:03 Taneb: you hadn't learned haskell when you came here to #esoteric, had you? now i see you advocating it all over reddit :P 23:35:15 I know! 23:35:17 It's scary! 23:35:20 What have I become!? 23:36:31 also i vaguely recall what the haskell committee had was called a "syntax czar" 23:37:04 why would you advocate haskell 23:37:59 -!- Sgeo has joined. 23:38:13 Sgeo: we've already `olisted, no need 23:38:37 confirmed by googling it and getting hudak's A History of Haskell as one of the hits 23:39:10 ​​`olist 001 23:39:36 oh no, Sgeo's counter has wrapped around! 23:39:58 also HackEgo has croaked? 23:40:02 `echo hi 23:40:03 hi 23:40:12 imo, we're all going to die 23:40:14 * oerjan assumes unicode 23:40:26 Bike: that is one common (but disputed) hypothesis 23:40:51 -!- yorick_ has changed nick to yorick. 23:41:21 of course it depends on your definition of "die" 23:41:50 Zero-width space. Also, Quassel doesn't have a right-click menu to add one, so I had to use character map :( 23:41:56 i think a sufficiently advanced singularitarian immortality is indistinguishable from religious afterlife, or something. 23:42:07 Sgeo: you added two, in fact 23:42:09 wow, how convenient. 23:43:00 ... 23:43:05 oerjan, are you reddit-stalking me 23:43:24 in fact some religions may have _less_ advanced afterlives than that... 23:43:36 * oerjan hides his reddit friend list 23:43:53 i mean, MAYBE 23:44:07 oerjan: am i on that!! 23:44:17 shachaf: hm are you, let me check 23:45:46 shachaf: no, like elliott you are excluded for never actually posting hth 23:46:02 oerjan, by the way, in another channel I'm fighting Haskell's last stand 23:46:10 Taneb: ooh 23:46:11 oerjan: hey i post at least once a year hth 23:46:14 how noble 23:46:27 btw how do you quantify how advanced an afterlife is 23:46:29 oerjan: maybe you should come to #haskell 23:46:51 shachaf: it's ok since it's always(*) to r/haskell which i read anyway 23:46:51 can you advance an afterlife 23:46:52 and/or #haskell-lens (the good channel and also smaller) 23:46:55 (*) nearly always 23:47:17 #haskell-lens isn't even logged 23:47:26 top secret discussions 23:47:29 Bike: well some afterlives like the buddhist ones might be _temporary_. and some might not be very attractive. 23:47:46 that doesn't sound very advancedness-related! 23:47:56 (actually i'm not sure buddhism has afterlives as much as different realms to be reborn into) 23:48:43 buddhism just has lives, generally 23:49:22 -!- iamfishhead has quit (Ping timeout: 246 seconds). 23:49:42 "singularitarian immortality"? Like, it is... 23:50:26 overthrow the syntax czar and install a syntax soviet 23:51:00 zzo38: basically about technology solving the problem of mortality, in whatever manner. (computer uploading with backups being a popular idea for how it could happen) 23:51:02 a syntax soviet elected by the syntax proletariat 23:51:37 Mortality is a problem? 23:51:52 Harry Potter and the Tyranny of Structurelessness 23:52:00 zzo38: some people don't like the idea of having to die, indeed 23:52:13 at least not until they themselves choose it. 23:52:17 I think it is not a problem. 23:52:30 The problem is those kind of people. 23:52:52 obvious solution: kill all the people who don't want to die 23:53:06 It's a four-way showdown between C, C++, Go, and Haskell 23:53:17 `addquote <+kmc> Harry Potter and the Tyranny of Structurelessness 23:53:19 i'm already incredibly disinterested 23:53:20 1089) <+kmc> Harry Potter and the Tyranny of Structurelessness 23:53:21 (i didn't say it was a good solution, just obvious) 23:53:28 I suppose that's one, but I don't like that solution either. Just simply ignore their request. 23:54:01 btw i found out my school library has a binder of PDP-11 macro programming manual 23:54:04 amazing imo. 23:55:23 why would you macro program a micro computer 23:55:29 hmm, the PDP-11 was a mini computer 23:55:35 Taneb: i think what you need is to get kmc in there to make it a five-way showdown 23:55:38 it's programming In The Large 23:57:32 ooh 23:58:51 `WeLcOmE nys 23:58:54 NyS: wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: hTtP://EsOlAnGs.oRg/wIkI/MaIn_pAgE. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN IrC.DaL.NeT.) 23:59:05 gaah 23:59:10 i've been here before 23:59:14 i'm not new 23:59:14 i know 23:59:17 won't save you 23:59:18 o-o 23:59:20 `rwelcome nys 23:59:23 ​nys: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:59:29 but have you been _WeLcOmEd_ before 23:59:38 hi nys 23:59:39 what is up 23:59:44 nothing much 23:59:58 ??6?$basic_ostream@DU?$char_traits@D@std@@@std@@QAEAAV01@P6AAAV01@AAV01@@Z@Z