00:00:03 that's kinda up 00:00:06 good symbol 00:00:21 nys: What is that? 00:00:26 The main argument against Haskell seems to be "nobody understands Haskell" 00:00:36 that's pretty up, imo 00:00:41 zzo38: msvc++ mangled name 00:00:45 of << 00:00:46 but what is it up 00:00:55 msvc's stupid ass? 00:01:03 Apart from the C guy who's saying "C is simple and uncluttered and fast. Everything else is awful" 00:01:05 stupid stupid dumb, my premier insult 00:01:09 taneb 00:01:11 this sounds terrible 00:01:14 taneb 00:01:18 why are you in this discussion 00:01:29 mnoqy, because if I leave it'll end up with C++ 00:01:49 so what 00:01:49 it's going to end up in python and PHP 00:02:10 so anyway, should i read this book about tajikistan or this one about optics. 00:02:14 Then I'd have to learn C++! 00:06:42 -!- dessos_ has quit (Read error: Connection reset by peer). 00:09:33 -!- Sprocklem has joined. 00:10:02 "It looks like quite an intense experience, but apparently it will be extremely smooth and comfortable despite of the incredible speeds:" 00:10:16 -!- dessos has joined. 00:10:17 It seemed obvious to me that it's acceleration that counts and not speed 00:10:59 don't go with your crazy theories here, newton 00:14:00 if anything the faster you travel the smoother the ride 00:14:19 what about relativistic effects! 00:14:32 Goodnight, guys! 00:14:42 -!- yorick has quit (Remote host closed the connection). 00:14:43 -!- Taneb has quit (Quit: Leaving). 00:14:46 goodnight TRAITOR 00:16:10 Bike, yes, that's one of them 00:16:31 one of what. the traitors? yes, we must ccarry out a purge. 00:17:01 no, one of the relativistic effects 00:18:53 -!- sacje has quit (Excess Flood). 00:19:20 -!- sacje has joined. 00:30:42 Phantom_Hoover: not sure I get it (beyond being a shorter ride) 00:30:57 Shorter ride inside than outsid 00:30:58 e 00:41:29 -!- kallisti has quit (Remote host closed the connection). 00:42:46 http://www.aclweb.org/anthology-new/C/C08/C08-2028.pdf good 00:43:35 oh my god the picture of the actual robots on page 3. amazing 00:47:22 "Since the robots are supposed to say stupid things anyway, if they do so by mistake instead of on purpose it can still be funny." 00:48:50 "Next, one robot uses a proverb or saying in 00:48:50 Japanese, along the lines of “Recently my life has 00:48:50 felt like ’jack of all trades, master of none’, you 00:48:50 know.” The other robot then makes a vulgar joke 00:48:50 by modifying this, perhaps like “For me it has been 00:48:52 more like ’jacking off all trades, masturbate none’, 00:48:55 I must say.”." 00:50:06 Sgeo, the joke is that there's nothing to get, hth 00:50:52 I really hope these routines are funnier in the original Japanese 01:02:32 "The main merits of the Robovie-i are that 01:02:33 it is easily programmable, cheap, and cute." 01:03:44 http://www.theregister.co.uk/2013/08/12/20_injured_at_lg_smartphone_giveaway_as_pr_stunt_turns_sour/ wow, this was a terrible idea 01:04:02 "let's release balloons with coupons for free phones. nobody is going to show up with bb guns and shoot at them" 01:04:27 bahahahaha 01:04:51 "knives on sticks" 01:05:26 hey americans do any of you have experience with i-9 01:05:28 i;m a baby 01:05:54 the form that proves you can work in the US? 01:06:01 yeah 01:06:06 sure i've filled out a few I-9s in my day, what's up 01:06:25 well just, do i seriously need to get my dad to mail me my birth certificate. 01:06:44 fuck, that lady really has a polearm 01:07:03 why do you need a birth certificate 01:07:12 to prove that i'm a true blooded american 01:07:24 oh 01:07:39 i just used a passport i think 01:07:53 darned foreigners 01:08:10 a us passport 01:08:20 darned foreigner-sympathisizers 01:09:09 anyway there are a bunch of different things that you can use 01:09:27 i used a US passport too 01:09:27 yes i have a table and they all involve mailing sensitive documents, so i wanna moan 01:10:09 do you have to mail it 01:10:22 i have to get it mailed to me. 01:11:11 you don't have any of the things in LIST A? 01:11:33 presumably LIST B isn't so hard, or is it?? 01:11:43 You need list b and list c, if you don't have list a. 01:11:55 and everything on list a is irrelevant to me other than a passport, which i don't have because: baby. 01:12:14 imo get a passport 01:12:48 anyway do you have some kind of id? 01:13:16 yeah, sure. but not list c. 01:13:35 i guess likely would be a social security card or birth certificate 01:13:40 yes. 01:14:45 -!- jconn has quit (Ping timeout: 248 seconds). 01:15:21 Also, to get a passport I would need a SS card or whatever. Also doesn't it take like a couple months to get, and money. 01:15:40 oh, you don't have one of those either? 01:15:58 don't you need them for things 01:16:00 i have an ss card. but not with me. 01:17:06 is scanning it enough 01:17:53 No. 01:18:59 some internet page says "The employer (or representative) must personally review original documents only. Photocopies (including fax copies) or numbers representing original documents are not acceptable. The only exception to the photocopy rule is a certified copy of a birth certificate." 01:19:40 but i guess that's just as much trouble 01:19:48 you can stop, shachaf. i just wanted to moan at the void. 01:20:05 imo get a passport 01:20:22 otherwise how will you go to finland 01:20:39 underground railroad 01:27:34 Or, really, Canada. 01:34:42 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 02:10:14 -!- nooodl has quit (Ping timeout: 240 seconds). 02:22:48 -!- jconn has joined. 02:29:02 -!- Sprocklem has quit (Ping timeout: 240 seconds). 02:34:40 -!- clog has quit (Ping timeout: 264 seconds). 02:41:21 Why can't I sleep? 02:42:33 clowns will eat you 02:42:55 It's a little known fact that I am poisonous to clowns 02:43:02 Well, all clowns know it 02:43:25 -!- Bike_ has joined. 02:44:02 -!- Bike has quit (Ping timeout: 264 seconds). 02:46:50 A clown tried to eat me once and he died right on the spot 02:46:55 They've been staying away since 02:46:57 -!- Bike_ has changed nick to Bike. 02:47:20 "Step into the future! Click here to switch to the beta php.net site" 02:48:04 ekmett scares me sometimes 02:48:20 ekmett is our lord and savior 02:49:44 ekmett is Jesusaurus Rex? 02:57:07 -!- Nisstyre has quit (Quit: Leaving). 03:14:06 -!- Sprocklem has joined. 03:37:56 -!- carado has quit (Ping timeout: 246 seconds). 03:45:53 -!- sacje has quit (Ping timeout: 240 seconds). 03:46:22 -!- sacje has joined. 04:00:05 ....erk 04:00:29 Having trouble with the non-identity compression algorithms that compress some files make some files larger thing 04:00:44 damn pigeonhole principle. DEAL WITH IT PIGEONS. 04:00:58 What trouble do you have? 04:01:29 4 bit files = 16 files, but there are 15 files that are smaller than that, so just one file could be left alone as a 4 bit file while the other 4 bit files get compressed. So no files end up larger. 04:01:52 q: why are you compressing four-bit files 04:02:05 As an example as I try to explain this stuff on Reddit 04:02:29 Sgeo: consider the behavior on 1-bit, 2-bit, 3-bit files 04:02:42 I think the problem here is you're considering "the original size of the file" as part of the compressed information 04:02:45 which you don't actually know? 04:02:58 like, you're assuming the original file is 4 bits 04:03:19 the problem is that if you're only compressing 4 bit files you can indeed get lossless shrinkage-or-equality 04:03:46 Solution to disk space: specialize gzip for every possible file size 04:03:50 one easy method would be stripping leading zeroes 04:04:22 of course, the decompressor has to know that it should only get four-bit files. 04:05:08 Bike: this reminds me of like, the problem of universal codes 04:05:13 like, with golomb codes 04:05:26 if you need a universal code you need to signal not only the bits in the code, but how long the code is 04:05:44 scandalous. 04:06:01 so like golomb codes do it with something like "111 0 110" 04:06:12 the actual code is "0110" but the 1s are there to signal how long the code is? 04:06:18 so it's really 7 bits 04:06:29 the length has to include itself, eh 04:06:59 ? 04:07:08 oh 04:07:42 how can you tell where the length stops 04:08:19 the 0 04:08:37 0 04:08:39 like that? 04:08:41 oh. 04:08:43 oh 04:08:47 i thought it was 111 as in seven. 04:08:50 so counting from 0 the codes are like 04:08:54 i thought that because Bike said that 04:09:10 i am the deceiver 04:09:12 0, 100, 101, 11000, 11001, 11010, 11011 ... 04:09:17 (0, 1, 2, 3, 4, 5, 6 ... 04:09:39 is there a better way of encoding the length if it's big 04:09:46 for example encode the length of the length using that metho 04:10:05 you could design a different coding scheme optimized towards a different distribution of input values? 04:10:10 would increase decoding time, though. 04:10:38 like if your input values are random between 0 and 1023, you just use a 10 bit code 04:11:03 but if they're biased towards 0 you could use shorter codes for smaller things at the cost of longer codes for bigger things? 04:11:13 or something 04:13:16 shachaf: https://en.wikipedia.org/wiki/Elias_omega_coding 04:13:55 Deewiant: Right, I was thinking along those lines. 04:13:57 -!- yiyus has quit (Ping timeout: 264 seconds). 04:14:21 Probably not really worth it past a small constant number of logarithms, though. 04:15:13 Delta coding is visibly better than gamma coding but past that the difference is minimal. 04:15:39 'The encoding for a googol to the hundredth power, 10^10000, is 33243 bits long; under Elias delta coding, the same number is 33250 bits long.' 04:18:38 > (length "a googol") * (logBase 2 (length ['\0'..])) 04:18:39 No instance for (GHC.Float.Floating GHC.Types.Int) 04:18:39 arising from a use of... 04:18:45 weak 04:19:09 > genericLength "a googol" * logBase 2 (genericLength ['\0'..]) 04:19:10 *Exception: stack overflow 04:19:16 ew, genericLength 04:19:30 (fromIntegral.length) is much better unless you're using lazy naturals. 04:19:31 Shorter than (fromIntegral.length) 04:19:52 And indeed better in that rare case, too 04:20:01 > ((fromIntegral.length) "a googol") * (logBase 2 ((fromIntegral.length) ['\0'..])) 04:20:03 160.6997027300027 04:20:46 elias delta is clearly insufficient 04:25:00 The GNU AWK documentation has a section named "Undocumented Options and Features" which is intentionally left blank. 04:26:21 This section unintentionally left blank. 04:27:04 what are your thoughts on idealism 04:29:42 What kind of idealism? 04:30:06 This section unintentionally useful. 04:30:53 berkleyan 04:31:40 -!- clog has joined. 04:38:07 -!- yiyus has joined. 04:44:12 I added a file into the Uselessness RPG 1 wiki for creating a backup copy. Please tell me if it is OK? 04:45:31 This is the file: http://hackiki.org/wiki/raw/bin/uselessness_rpg_1,,create_backup 04:49:52 -!- nys has quit (Quit: quit). 04:55:13 It was broken; now it is fixed. 05:01:24 -!- oerjan has quit (Quit: leaving). 05:29:53 -!- sacje has quit (Ping timeout: 256 seconds). 05:30:21 -!- sacje has joined. 06:18:51 Please collaboration/discussion of ideas/plans of Uselessness RPG 1 (anyone is welcome to write a comment on it). 06:47:11 -!- mnoqy has quit (Quit: hello). 06:55:03 shachaf: what do you think of the lamport signature scheme 06:57:25 Lamport signature looks like it could help some things. 06:57:49 which things? 06:58:24 A few things are described on Wikipedia. 06:59:14 For example if you only need to sign it once, or you could use Merkle tree 06:59:28 Merkle trees are great 06:59:55 * kmc -> afk 07:04:18 And it looks like there may be other advantages too, in some cases. 07:06:14 -!- hogeyui____ has quit (Ping timeout: 256 seconds). 07:09:55 -!- hogeyui____ has joined. 07:29:45 -!- Phantom_Hoover has joined. 07:33:02 -!- sacje has quit (Ping timeout: 240 seconds). 07:38:51 -!- itsy has joined. 07:40:00 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 07:46:38 -!- sacje has joined. 08:03:12 -!- zzo38 has quit (Remote host closed the connection). 08:12:30 -!- Taneb has joined. 08:37:18 -!- sacje has quit (Ping timeout: 264 seconds). 08:39:29 -!- Guest67780 has joined. 08:46:21 -!- Phantom_Hoover has joined. 08:54:48 -!- MindlessDrone has joined. 09:01:01 [[ In the name "Windows CE," the letters "CE" are not an abbreviation for anything, but rather they imply a number of the precepts around which Windows CE is designed, including "Compact," Connectable," Compatible," "Companion," and "Efficient." ]] 09:01:11 (Found while Googling for what the "RT" is for.) 09:04:34 So what's the RT for 09:08:05 "Rarely Tested"? 09:10:06 Apparently it's officially for nothing in particular, but unofficially perhaps it stands for Windows Runtime (WinRT), the thing that "Windows 8 style" apps are written against. 09:33:25 -!- Sprocklem has quit (Ping timeout: 248 seconds). 09:37:27 -!- Taneb has quit (Quit: Leaving). 10:01:44 Huh. I think MATLAB (or some subpart of it) just managed to create a file named "C:\nppdf32Log\debuglog.txt" in the current directory. 10:03:15 I guess it's one of those programs where you enable debug logging by creating a directory. (And also one that hardcodes backslashes.) 10:06:41 Oh, that's matlab? 10:07:06 I think it's firefox. 10:07:42 At least the one in my home directory at work is timestamped at around the time I used an X-forwarded firefox there this morning. 10:09:31 -!- nooodl has joined. 10:14:35 -!- nortti has quit (Ping timeout: 245 seconds). 10:23:50 I think it was MATLAB's help browser this time. 10:24:01 Since it was in the directory where I started MATLAB (and nothing else) from. 10:24:44 It probably uses some form of web browser internally, though. 10:28:04 -!- yorick has joined. 10:33:06 Another MATLAB weirdness: it only shows the splash but doesn't start if I run "matlab &", but it starts normally if I run "matlab", wait for the desktop to appear, then ^z and bg it. 10:33:52 -!- monotone_ has joined. 10:35:27 -!- ineiros_ has joined. 10:39:50 -!- Tefaj has joined. 10:40:34 -!- ineiros has quit (*.net *.split). 10:40:34 -!- Jafet has quit (*.net *.split). 10:40:35 -!- ggherdov has quit (*.net *.split). 10:40:35 -!- monotone has quit (*.net *.split). 11:03:53 -!- oklopol has quit (Ping timeout: 245 seconds). 11:03:57 -!- ggherdov has joined. 11:13:13 -!- Koen_ has joined. 11:13:47 -!- Koen_ has quit (Client Quit). 11:14:00 -!- Koen_ has joined. 11:27:39 -!- Sgeo has quit (Read error: Connection reset by peer). 11:40:10 -!- Taneb has joined. 11:47:01 @ping 11:47:02 pong 11:55:10 -!- Tefaj has changed nick to Jafet. 11:55:29 -!- Jafet has quit (Changing host). 11:55:29 -!- Jafet has joined. 11:56:42 -!- Jafet has left. 11:57:07 -!- Jafet has joined. 11:59:54 -!- SirCmpwn has quit (Ping timeout: 240 seconds). 12:00:52 -!- Taneb has quit (Quit: Leaving). 12:22:10 -!- SirCmpwn has joined. 12:41:40 -!- nortti has joined. 12:44:34 -!- carado has joined. 12:51:50 -!- boily has joined. 12:52:00 -!- metasepia has joined. 12:59:00 good liquefied morning! 13:06:12 I just spent close to an hour trying to figure out why this model is doing nothing, only to realize that I had mixed up the meanings of 'y' and 'x' when loading data. 13:10:20 fizzie: still deep into ML? 13:13:33 Yes. One of our reviewers wanted a better baseline (to some "competiting" method), so I guess I'll have to implement something, even if it really isn't the point of the paper. 13:14:56 yuck. I hate the term baseline, and even moreso when it concerns ML. 13:15:42 the prof I worked for was obsessed with a baseline. I never knew which baseline he was talking about. 13:17:50 We have the "standard" setup, a demonstrated feature enhancement dealie that's been published and benchmarked in other work, and (the main contribution here) a new trick that improves things, but reviewer #3 wants this paper to show also performance gains compared to completely different approaches, or otherwise there's "insufficient motivation for such a detailed study", or some-such. 13:18:18 (Reviewers #1 and #2, on the other hand, would like some extended analysis of the trick in question.) 13:18:31 Peer review in action can be a pretty ugly thing. 13:22:08 from the stories I've heard, academia scares me. 13:26:58 I'm not so much "in" it -- e.g., I have this graduate school funding thing going on, so I don't have much if at all to do with the stereotypical incessant writing of grant applications -- so I wouldn't know. 13:28:46 I wonder if being a grad student is the same the world over... 13:29:25 There certainly have been a number of parallels to phdcomics.com. 13:32:40 Hey, SDL 2.0 is out. 13:34:19 sweet :D 13:34:30 It's been quite a while. 13:34:54 "Simple 2D rendering API that can use Direct3D, OpenGL, OpenGL ES, or software rendering behind the scenes" it's like so this millennium now. 13:36:13 wiki.libsdl.org: "The server is temporarily unable to service your request due to maintenance downtime or capacity problems." 13:40:27 -!- conehead has joined. 14:22:21 -!- Taneb has joined. 14:22:24 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 14:34:07 Tanello. 14:36:20 aaaaaaurgh. I have a colleague who prefixes his privmsgs with «@nick ...». 14:38:43 Well, that's alright 14:38:44 Wait 14:38:46 What, "/msg boily @boily hi" 14:38:49 Private messages? =P 14:40:24 just generic IRC PRIVMSG, so something like: 14:40:31 @Roujo hi. 14:40:31 Unknown command, try @list 15:03:44 is there a list for lambdabot's unknown commands? 15:04:21 @unknown 15:04:22 Unknown command, try @list 15:04:27 @unknown command 15:04:28 Unknown command, try @list 15:04:31 @!list 15:04:31 What module? Try @listmodules for some ideas. 15:04:40 That's odd 15:05:16 @lisp 15:05:17 What module? Try @listmodules for some ideas. 15:05:22 @yisp 15:05:22 What module? Try @listmodules for some ideas. 15:05:33 It's got fuzzy matching 15:05:36 @yispo 15:05:36 Unknown command, try @list 15:07:08 ~duck yispo 15:07:08 --- No relevant information 15:18:04 -!- AnotherTest has joined. 15:18:19 -!- zzo38 has joined. 15:23:05 AnothelloTest, hezzo38. 15:23:42 That seems a strange way. 15:25:15 and my kobo doesn't seem to charge... 15:36:27 -!- iamfishhead has joined. 15:40:00 I still cannot connect to *.foxpaws.net 15:41:18 it works here. it redirects to vulpes.foxpaws.net at 96.10.18.3. 15:41:54 I mean I cannot connect to any server under .foxpaws.net on any port number. 15:42:15 Therefore I cannot send a message to them or whatever. 15:42:31 (and the proxy doesn't work either) 15:43:10 weird. foxpaws resolves to what IP on your end? 15:44:04 Same as it does to you 15:44:05 -!- Guest67780 has quit (Ping timeout: 248 seconds). 15:44:29 However I cannot connect to other servers under foxpaws.net either. 15:45:25 do you have an example of a not vulpes host? 15:45:59 There is vixen and watchfox; neither of those work either. 15:46:25 oh. it doesn't work indeed. 15:46:50 No port number works as far as I can see. 15:49:38 I just nmapped the thing. the usual ports are open (ssh, smtp, ident, ...). do you want the XML log? 15:50:11 (now, how do I send a file through weechat...) 15:50:34 -!- sacje has joined. 15:52:07 -!- Koen_ has quit (Quit: Koen_). 15:54:33 That's good, but I was trying to connect to port 8889; I tried other ports afterward to see if those would work, but they don't; so I cannot write a message at all (or read a message, but I was trying to write one). And one of the messages I was trying to write involves defects of the system (I put it in all one file so that I can just send the URL), but it appears too defective to do that. 15:54:50 And none of the ports you mention work for me on any of those three servers. 15:59:12 Even when it was working, the session sometimes restarted for apparently no reason, usually while on the chat menu but sometimes even before that. 16:00:36 what kind of fungotian servers are they? their purpose are very mysterious, and their operation a little bit too flaky. 16:00:36 boily: they say that having polymorph control won't shock you sooner or later. his symbol is the haste that ye hurry by? brother, i hear it: to have been man's first instructors in the wild beast short. that was noble and great and small, has a certain ring to it, without incurring any fine or other penalty." the bushmen say that nethack is more pleasant than cram,' they answered. ' imp' properly means a small time they will st 16:06:19 I was playing a MUD game on there once, but I stopped due to the large number of defects in the system (and because I couldn't find the society/gods I wanted to select; someone told me to type all about it, so I did), and later I tried to reconnect to send messages relating to these things, and to access the help files, but I can't because it doesn't work. 16:07:03 -!- Taneb has quit (Quit: Leaving). 16:17:28 (And one of the things I wanted to tell them is that it doesn't work) 16:18:34 Does it work for you? 16:22:52 -!- conehead has quit (Remote host closed the connection). 16:26:43 -!- mnoqy has joined. 16:29:05 -!- conehead has joined. 16:57:06 -!- Taneb has joined. 16:58:32 zzo38: sorry, went out to lunch. 16:59:39 zzo38: what do you want me to check again? 16:59:49 Aaaaah I now own a 3DS 17:00:41 boily: Well, I wanted to send a message to them; one to "Foxbird" and one to "Priest of Old God" or something like that. 17:02:44 Nice subtitling: https://dl.dropboxusercontent.com/u/113389132/Misc/20130813-ok-intro.png "4k intro" => "ok-intro". (Sorry for the Finnish.) 17:05:42 how did that happen? 17:06:40 Maybe they used SPEECH RECOGNITION. (Pre-empting elliott here.) 17:07:06 zzo38: looks like I'm in the same situation as you. nothing apart vulpes.foxpaws.net works. «Erreur de chargement de la page ― La connexion a échoué» 17:07:27 fizzie: is that a pun between “4” and “o”, or just poor subtitlement? 17:07:30 How does that mean in English? 17:07:39 boily: The latter, I think. 17:08:19 -!- CADD has joined. 17:08:24 It'd be poor even if s/ok/4k/ 17:11:21 -!- sacje has quit (Ping timeout: 276 seconds). 17:11:48 -!- sacje has joined. 17:13:25 -!- Vorpal has joined. 17:14:32 the Rust runtime library is written in Rust now 17:14:39 that's pretty cool, and more interesting than a self-hosting compiler imo 17:14:59 Probably it is better than a self-hosting compiler, too. 17:15:12 -!- atriq has joined. 17:15:15 "It's not self-hosting until the whole stack is using the language, from the compiler to the OS." 17:15:23 how ya figgure 17:16:00 Anyone have any suggestions for good backup programs for Linux? Looking for some way to automate incremental backup of the entire system. Previously I just mirrored with rsync, but now I'm looking for something that provides a bit of history as well. 17:16:24 -!- Taneb has quit (Ping timeout: 268 seconds). 17:16:26 Power cut :/ 17:16:29 -!- atriq has changed nick to Taneb. 17:16:45 rsync + checkpointing filesystem 17:16:48 git 17:17:21 Deewiant, what checkpointing file systems do Linux support? 17:17:30 But that is indeed an interesting idea 17:17:36 ZFS, btrfs? 17:17:46 Linux supports ZFS? Since when? 17:17:47 I guess snapshotting is the actual term 17:17:52 http://zfsonlinux.org/ 17:17:59 Vorpal: I use a set of scripts built around rdiff-backup; it's pretty much like rsync except it does backwards-diff history on top. 17:18:06 Also isn't brtfs in development still? 17:18:26 Duplicity is another thing similar to rdiff-backup, IIRC 17:18:27 (There's also something very much like rdiff-backup, I forget the name.) 17:18:33 Oh, it's probably what I was thinking of. 17:18:50 And yes, btrfs is a work in progress, I don't actually know if it does snapshotting yet 17:18:51 fizzie, hm nice, how easy would it be to extract a single file from a given version? Or browse what an old version looked like to try and find a file? 17:19:20 I haven't really been needing to do that, so can't say. 17:19:44 The latest version is easily browseable since it's just there, of course. 17:19:58 Well yeah 17:20:13 And you can ask the command-line tool for "newest before this date" kind of things, sure. 17:20:30 right 17:20:34 At least I recall so; haven't had the occasion to. 17:21:53 "Like duplicity, [rdiff-backup] uses the rsync algorithm for bandwidth and space efficiency, but instead of storing data in encrypted archives, it creates a mirror on the remote system." 17:22:27 all i have to say is: https://github.com/philipl/pifs 17:22:59 Deewiant, ah 17:23:35 looks like I'm not the only one to repost the pifs thing :D 17:23:47 Also I think the Tarsnap tools are free 17:23:57 boily: :) 17:24:11 CADD: lemme guess /r/math? 17:24:15 oops 17:24:17 boily: ^ 17:24:44 "They said 100% compression was impossible? You're looking at it!" <-- false, the position of the file in pi might take a larger number to express than the file content itself. 17:24:58 Oh god, pifs 17:24:59 CADD: I don't know what you're talking about. any evidence of me spending way too much time on reddit is false. 17:25:01 Vorpal: you are completely right. 17:25:10 Vorpal: Just store the position in pifs as well 17:25:10 I think I posted that in here yesterday 17:25:14 * boily points to metasepia "the bot did it!" 17:25:28 boily: hehe.. i like reddit for the archives. if you unsub from the overcrowded subs then reddit is pretty palitable 17:25:35 Deewiant, I apply the pidgin hole principle. 17:25:36 Vorpal: (And if that takes too much space store the position of that in pifs etc, recursively) 17:26:08 Deewiant: But then you also have to store the number of recursions you've done =P 17:26:10 CADD: indeed. I still do like todayilearned, mind you. I just have this insatiable urge to consume random trivia. 17:26:24 (Ideally, store that into pifs as well) 17:26:28 Roujo: Just shove it all in pifs, it's free after all 17:26:48 boily: yeah, reddit is a goldmine in its archives. thats mostly where i hang around in.. lol 17:26:51 Deewiant, you would need to store for each iteration then if it was the file or if it was another address. 17:27:26 but pifs has some serious security problems with people all using the same constant. the government has direct access to everything you wrote, you're writing or might write! 17:27:39 either way the 100% compression is facetious 17:27:44 Vorpal: Just to be different you can store that info in √2fs 17:27:54 Deewiant, quite so 17:27:57 boily: Yes, but separating that from the random crap is pretty much a lost cause 17:27:57 boily: oh yeah 17:28:27 Deewiant, I believe efs would work too 17:28:31 Suggestion: Finding the binary representation of some CP picture in pi, then suing everyone who has a copy. 17:28:56 Vorpal: I nearly forked pifs just to make that pun =P 17:29:01 I was at work, though, so I didn't 17:29:05 Vorpal: EFS already exists (actually there are many of them) 17:29:25 so, question. what can we know about the relation between a sequence and its position in pi (assuming it's normal)? like, are the length of the sequence and the length of its position comparable? 17:29:40 yeah I think I heard the name before for a normal file system 17:30:04 Roujo: where do you work? 17:30:06 currently using rieserfs, liking it very much.. 17:30:06 Bike, comparable how? 17:30:14 funny using a murderers fs.. :) 17:30:15 Vorpal: is one necessarily shorter, say 17:30:20 Programmer at Dicom Express, sur Côte-de-Liesse 17:30:27 ^ @boily 17:30:33 oh, shiny! 17:30:35 Bike, i think so, yeayh 17:30:37 *yeah 17:30:50 A murderers fs? 17:31:13 Phantom_Hoover, really? I would have guessed that sometimes one would be longer and sometimes the other one would be longer. 17:31:20 zzo38: https://en.wikipedia.org/wiki/Hans_Reiser#Murder_investigation 17:31:34 Vorpal, yeah, but on average 17:31:46 on average which is shorter? 17:31:48 #[test] #[ignore(cfg(windows))] #[should_fail] fn select_doesnt_get_trolled() { select::>([]); } 17:31:55 Phantom_Hoover, on average they would be of similar lengths probably? 17:32:11 on average i'm p. sure they're the same 17:32:36 the definition of normal is that a sequence of length n in base b has probability b^-n 17:33:42 Even if the people who made that program is a murderer, the program itself isn't a murderer so that doesn't make it wrong 17:33:53 `addquote Even if the people who made that program is a murderer, the program itself isn't a murderer so that doesn't make it wrong 17:34:01 1090) Even if the people who made that program is a murderer, the program itself isn't a murderer so that doesn't make it wrong 17:34:11 I use γfs 17:34:23 zzo38: i know. its a good piece of software. just an interesting bit of history 17:34:38 CADD: OK 17:34:48 well the murder directly caused the end of development on reiserfs 4 17:35:00 zzo38: i mean if i took some offence to it i wouldnt be using it.. :) 17:35:11 offense* 17:35:35 reiserfs isn't bad because the lead devloper later went on to murder his wife. That is irrelevant to the file system. It is bad because of the various problems the file system has, such as recovering data from a damaged reiserfs having various issues 17:35:52 Vorpal: Yes, that can be how it is. 17:35:56 although it seems that it's not known whether the euler-mascheroni constant is even irrational 17:35:59 don't even try Vorpal 17:36:06 I used reiserfs back when it was the only journaling file system (back during 2.4 or 2.2 I think?) 17:36:06 zzo38 is streets ahead of you 17:36:13 Vorpal: interesting, i didnt know about that. I've heard its journaling system is pretty good though. any links? 17:36:15 kmc, yeah, it's kind of weird 17:36:16 -!- atrapado has joined. 17:36:35 euler-mascheroni is a p. good constant 17:36:55 Phantom_Hoover: ++ 17:36:57 Phantom_Hoover, oh yeah, he has a far more eloquent way of expressing what I just said. ;) 17:37:14 jeez just don't damage your filesystem 17:37:15 what's the problem 17:37:38 Bike, the best part is how it sounds a bit like pasta 17:37:43 yes. yes indeed. 17:37:45 kmc, wasn't there issues with storing a reiserfs in a loop image on a reiserfs iirc 17:37:51 oh yeah that was funny 17:37:56 kmc, might have been for file system recovery only, I don't remember 17:38:02 i think we don't know if khinchin's constant is irrational either 17:38:09 which is way weirder than not knowing about e-m, imo 17:38:18 khinchin's constant is the weirdest 17:38:42 * Phantom_Hoover googles 17:38:48 i am amazed that that is a thing 17:39:10 yes. 17:39:15 maybe the aliens are transmitting on hydrogen times K_0 instead of hydrogen times pi 17:39:32 "Among the numbers whose geometric mean of the coefficients ai in the continued fraction expansion apparently (based on numerical evidence) tends to Khinchin's constant are π, the Euler–Mascheroni constant γ, and Khinchin's constant itself. However, none of these limits has been rigorously established, even though it is known that almost all real numbers have this property." 17:39:45 normal numbers all over again 17:39:51 yep 17:40:58 What is hydrogen times K_0 and those stuff? 17:42:02 in i think Contact (?) the aliens transmit information over the frequency of the spectral line of hydrogen times pi, or something 17:42:17 `quote 1089 17:42:18 1089) <+kmc> Harry Potter and the Tyranny of Structurelessness 17:43:05 yeah what Bike said 17:43:58 the fundamental whatever frequency of hydrogen is a good universal time/frequency reference, except that the universe is mostly made of hydrogen and your signals will get absorbed 17:44:06 so multiply it by a unitless fundamental mathematical constant 17:45:07 Such as khinchin's or lévy's 17:45:40 due to a misunderstanding it ends up being transmitted at hydrogen * the ratio of a foot to a meter 17:45:50 haha 17:45:59 Wouldn't it make more sense to simply double it or something. I suspect the electronics would be easier for that. 17:46:01 lol! 17:46:01 hydrogen * pied 17:46:20 Vorpal: 2 is a unitless fundamental mathematical constant, don't you think ;) 17:46:29 Vorpal: still would have probably been absorbed 17:46:31 kmc, I meant, as opposed to pi 17:46:38 CADD, oh? 17:46:40 so did I 17:46:44 Vorpal: just my guess :) 17:46:48 -1 is a fundamental mathematical constant :iiam: 17:47:49 Vorpal: well actually at 1420.40575177 MHz, probably not 17:48:03 kmc, also how many decimal places of pi are you multiplying the frequency with? Depending on that you would get slightly different frequencies 17:48:05 `? iiam 17:48:06 iiam? ¯\(°_o)/¯ 17:48:07 | 17:48:07 o/`¯º 17:48:10 ~duck iiam 17:48:10 --- No relevant information 17:48:18 Bike: what is an iiam? 17:48:19 Vorpal: depends on the bandwidth of the signal, I guess 17:48:21 If you are sending on a narrow enough band that would cause an issue 17:48:25 yeah 17:48:54 kmc, also how many decimal places of pi are you multiplying the frequency with? Depending on that you would get slightly different frequencies 17:48:59 it's an analogue signal you idiot 17:49:14 Phantom_Hoover, " If you are sending on a narrow enough band that would cause an issue" 17:49:19 is that necessary phantom 17:49:26 with vorpal? yes 17:49:38 don't be a dick 17:49:54 I mean I would probably generate pi digitally 17:50:08 hm, maybe i should read some khinchin, as long as i'm doing commie maths 17:50:39 "Khinchin graduated from the university in 1916 and six years later he became a full professor there, retaining that position until his death [in 1959]" tenure sure is crazy 17:50:42 speaking of generating pi AND continued fractions; one of my favorate mathematicians: https://en.wikipedia.org/wiki/Srinivasa_Ramanujan 17:50:48 if indirectly, e.g. to position the laser which cuts the crystal to have hydrogen * pi frequency 17:50:59 are there any cool analog ways to compute pi, by the way? 17:51:12 there's the thing where you throw sticks at a grid lattice 17:51:13 * boily shakes Bike with an interesting frequency profile “WHAT IS AN IIAM???!!!!11!!!!one!!!!” 17:51:18 well what do you mean by compute i guess 17:51:19 Baking one then measuring it? 17:51:26 kmc, how would you modulate your signal once you have the frequency btw? AM? FM? PSK? Or something else? 17:51:29 otherwise i'd just.... "hey, here, a circle" 17:52:07 Vorpal: in _Contant_ the basic carrier / get-your-attention signal is on-off-keying of the first n prime numbers in unary 17:52:13 _Contact_* 17:52:16 that seems pretty reasonable 17:52:22 kmc: you could, like, wrap a string around a circle 17:52:27 yeah 17:52:38 true >_< 17:52:40 kmc, that seems like a really inefficient modulation 17:52:46 unrelated: i always mentally compare contact with his master's voice, where the get-your-intention is just repetition 17:52:47 for any data transfer that is 17:53:11 they harvest neutrino spin data to make random numbers and somebody who wanted random complains when the sequence starts repeating 17:53:12 Vorpal: sure; once they notice your signal, you can expect them to put in more effort to decode a second, more efficient form of modulation 17:53:37 or neutrino... something... i don't know physics 17:54:28 Bike: background radiation is usually a pretty good RNG: http://www.fourmilab.ch/hotbits/hardware3.html 17:54:52 well yeah, the fact they're getting a repetitive signal out of something that's usually a RNG is what kicks off the plot. 17:55:13 because it's caused by ~aliens~ (probably) 17:55:23 the book's a lot more pessimistic than contact, really. 17:55:44 Bike: ooh, i didnt know that was from the movie 17:55:45 the book also called contact 17:56:18 i am talking about a book that is not contact 17:56:37 http://stefangeens.com/2005/04/talking-to-aliens-part-iii-khinchins-constant-source-of-wonder/ what do you think of the last few paragraphs here 17:57:48 "What is so special about K? It is one of the very few numbers capable of giving the driest of mathematical texts exclamatory hiccups." heh! 17:58:14 continued fractions are weird. they're pretty cool but not really used that much i think 17:58:42 Bike: yeah and Ramanujan was the master of continued fractions 17:59:00 Bike: too bad he died so young.. 18:00:10 "Ramanujan's series for # converges extraordinarily rapidly (exponentially) and forms the basis of some of the fastest algorithms currently used to calculate #. Truncating the sum to the first term also gives the approximation 9801\sqrt{2}/4412 for #, which is correct to six decimal places." 18:00:24 # == pi 18:00:26 what's # 18:00:36 its copied from the wiki page about hit 18:00:38 him* 18:01:23 i think my favorite ramanujanisms are the iterated root things, probably because i can actually understand them 18:02:15 what is it called? 18:03:00 oh, it's "nested" for some reason 18:03:18 http://en.wikipedia.org/wiki/Nested_radical#Some_identities_of_Ramanujan e.g. 18:03:41 also infinitely nested radicals, which is what i was thinking of 18:04:14 kmc: "What does this imply? It implies that the sequence of whole numbers that describes K, [...] is simultaneously described by K" i dunno about this, as descriptions go i'd usually expect a one to one mapping not a one to everything mapping 18:04:31 how do you mean 18:05:02 like, K "describes" real numbers (with probability one) by this meaning 18:05:08 which isn't really what i'd think "describes" as meaning. 18:06:37 not that K might not be a good choice, i just don't think it as obviously signifies self-reference as the author seems to think 18:07:02 yeah me either 18:07:48 plus, i dunno, there's a lot of speculative xenopsychology you have to do here, that ties in uncomfortably with philosophy of mathematics, and we really don't have any other data on understanding of math but in humans 18:08:00 standard sort of waving your hands and saying "strange loop!" 18:08:09 which is about the only thing you can do with the "strange loop" concept, fun though it is 18:08:14 yeah :/ 18:08:29 i've kind of been less enamored of hofstadter lately, it's sad 18:08:42 xenopsychology and exo-politics 18:09:01 IAASL was a pretty depressing book for me 18:09:02 do we have any sentient non-humans on this channel? 18:09:09 ~duck IAASL 18:09:09 --- No relevant information 18:09:09 fungot: are you sentient? 18:09:09 kmc: they say that a diamond is another kind of great dark worm, but three lefts do. these were the thirteen choosers of the king, by edith hamilton), farma- god ( god of commerce, trade and travellers. he has been a bit of a lion, a thirty-league stretch of potholes and half-buried rocks that spirals around mountains and dips into cool green valleys of citrus trees, crosses liana-webbed gorges on creaking rope bridges and is t 18:09:18 _I Am A Strange Loop_ 18:09:40 i never read iaasl 18:09:42 oh. thanks for the mentionment. I find that I lack depressing books. 18:09:50 in which Hofstadter restates the thesis of GEB but without any of the playfulness 18:09:54 But three lefts do what? 18:09:57 it's just like "damn it you guys didn't get it the first time" 18:10:00 i got fluid analogies but after a while it was just like, why don't you get some evidence instead of making up interesting toys 18:10:00 "let me spell it out" 18:10:19 also he's sad because his wife died 18:10:25 :( 18:10:38 that puts his harem of beautiful french women in a decidedly harsher light 18:10:40 well the french one was wife-death-centric but pretty good, i think 18:10:52 hofstadter has a harem of beautiful french women? 18:11:03 so they say 18:11:06 damn 18:11:18 french one meaning ton beau, i mean 18:11:19 `theme RFC 18:11:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: theme: not found 18:11:24 Awww 18:11:34 Bike: i read a little of that book, it seemed pretty cool 18:11:36 ^theme 18:11:42 ^theme RFC 18:11:46 kmc: i thought it was, though i'm monolingual 18:11:48 ^style 18:11:48 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 18:11:49 WELP 18:11:50 (they being some weird hofstadter stalker) 18:11:52 THERE WE GO 18:11:53 I wrote a quine with FurryScript by now. 18:12:10 ^style ff7 18:12:10 Selected style: ff7 (Full script of the game Final Fantasy VII) 18:12:14 zzo38: how dare you being on-topic. 18:12:38 you should write a quine named mefloquine 18:12:40 kmc: lots of cute stuff about lipograms and serious stuff about the very real difficulties of translation, complete with music analogies 18:12:58 i forget if that book got me into Lem but it might have, and if so it's automatically good 18:13:08 I still think GEB is a good book although my recommendation comes with some qualifiers now 18:13:11 kmc: What is a mefloquine? 18:13:14 which basically boil down to "don't take it too seriously" 18:13:18 zzo38: an anti-malarial drug 18:13:19 i will say this in hofstadter's defence, he's far far better than wolfram 18:13:37 zzo38: which can cause vivid terrifying dreams as a side effect 18:13:43 phantom that's like saying vietnam is better than the khmer rouge 18:14:04 hey, that's fair enough! 18:14:19 Captain Planet / He's our hero / Gonna take polution / Down to zero / By de-industrializing the planet and killing 90% of the population 18:14:24 -!- sacje has quit (Ping timeout: 276 seconds). 18:14:32 Phantom_Hoover: Yes it is better than Wolfram 18:14:38 the frustrating thing about hofstadter for me is basically psychologist's fallacy, because i mean he's not a crank or anything, obviously. 18:14:46 which fallacy is that 18:15:05 I think Godel,Escher,Bach is a very good book; I do not agree with everything written there but I agree some and you can read a book it is good whether or not you agree. 18:15:13 the one where you take your conscious experience of a mental event to be true of the mental event, and of that sort of mental event in general 18:15:23 like "hm i think with analogies, this must be the basis for cognition" 18:15:28 GEB is still a great intro to formal metamathematics 18:15:31 accessible yet precise 18:15:40 and the rest of the book is fun if you don't take it too seriously 18:15:41 definitely. it's the only one i can think of but still good 18:15:49 kmc: Yes, although I think it is a pretty good book in general. 18:15:49 16 year old kmc may have taken it too seriously 18:15:55 maybe to mock a mockingbird? i haven't read that. 18:15:57 but that's OK 18:16:02 i'm glad i could never really bother reading it 18:16:06 Bike: that's pretty different stuff i think 18:16:16 i imagine it doesn't cover peano arithmetic, no 18:16:17 I don't know what all it covers, whether it gets to Gödel and such 18:16:37 I remember reading “The Quark and the Jaguar”, and being thoroughly confused. 18:16:43 GEB's a hard game to top, really, i mean how many math books have won a pulitzer 18:16:50 combinatory calculus would be a less conventional way to present Gödel etc, for sure 18:16:53 but could be done 18:17:18 google now has streetview in the tardis 18:17:19 i think Mock does go into church numerals at least, so you could present godel in a conventionalish way 18:17:42 does it have theorems and proofs as strings, though 18:17:49 no idea. 18:17:52 I mean sure you can encode that in pure lambda calc, but it's kind of ass-backwards 18:18:22 yeah 18:19:49 The quine in FurryScript is a bit based on the GEB so it says "ENIUQ" as the name of a subroutine; but it also takes advantage of a feature of FurryScript; if a template references a subroutine/list that doesn't exist, it will just output the template literally instead. Also, multiple values on the stack at the end have a line break in between; it takes advantage of that too. 18:20:32 Since anything on the stack at the end of a FurryScript program that isn't a string will be ignored, a simple program such as "42" will output nothing and isn't a quine. 18:20:52 i think my favorite part of GEB is actually one of the pictures, of a cerebrum filled with correct small arithmetic equations, which together form a giant "2+2=5" 18:21:40 Bike: Yes that is good too, but there is things in the book I like it is good in general 18:21:44 2+2=5 (The lukewarm.) 18:21:57 good song too 18:22:03 alas hofstadter is not into radiohead. 18:22:21 how do you know? 18:22:42 in ton beau de marot there's an extended analogy relating to how he personally doesn't like rock music 18:22:53 heh 18:23:44 clearly we need a hipper, younger, metalhead hofstadter 18:23:51 -!- kmc has set topic: Open your mind, we need you to fly | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric. 18:24:39 Radiohead has a lot of songs that aren't "rock music" although that's not particularly one of them 18:24:57 * kmc -> lunch 18:25:08 * Bike imagines ledzep cover of Fitter Happier. 18:26:46 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:27:42 Why do you need you to fly? 18:27:52 `? radiohead 18:27:53 radiohead? ¯\(°_o)/¯ 18:27:53 | 18:27:54 º¯`\o 18:28:08 `learn radiohead is "rock music" 18:28:12 I knew that. 18:28:24 Open your fly, we need you to mind. 18:29:06 Why do you need you to mind? 18:30:00 "In summary, a rational number is perfectly approximated by itself, but is badly approximated by any other rational number." math is deep 18:31:03 Bike: Does that really mean anything? 18:31:48 Bike, to me that sounds like a very silly way to express it. 18:32:34 yes, it's a summary, i'm reading about diophantine approximation 18:32:50 ~duck diophantine 18:32:50 Originated or taught by Diophantus, the Greek writer on algebra. 18:33:11 Of course I don't fly, but I did once play a flying character in a computer game (now broken!!), and dream of being like that too once, but I don't fly; I need to open a wing to fly not a mind! 18:33:42 more formally, say we're approximating p/q by another ratio a/b (such that it's not just a multiple); then abs(a/b - p/q) >= 1/(bq) 18:34:29 Bike: O, that would be more meaningful, then. 18:35:03 which is bad compared to irrationals; for example for an algebraic number x of degree n you have abs(x - p/q) > c(x)/q^n for all p, nonzero q, where c(x) is constant rel. to x 18:36:11 also, apparently if two reals are related by a mobius transform, they have the same continued fraction expansion except for a finite prefix. that's pretty cool imo 18:37:24 guess it kinda makes intuitive sense though. 18:44:05 Diophantine ducks are the best ducks? 18:45:51 http://en.wikipedia.org/wiki/Littlewood_conjecture wtf 18:47:59 that's pretty weird 19:22:46 without the n it's pretty intuitive, at least 19:25:49 kmc: just use 1-10 like everyone else 19:26:26 for what? 19:26:52 bathroom reviews 19:27:37 you are the confuser 19:27:45 also what do you think of lamport signatures???? 19:27:53 I must know 19:27:56 help you asked about that yesterday and i was going to read about them 19:28:25 imo do that now 19:29:06 ~duck lamport signature 19:29:07 In cryptography, a Lamport signature or Lamport one-time signature scheme is a method for constructing a digital signature. 19:29:12 now reading 19:30:45 kmc: oh, that's not complicated 19:30:55 it's so nice :) 19:30:57 it's like a zero knowledge proof thing 19:31:10 in that it uses a committment scheme? (somewhat ad-hoc) 19:31:20 well, yes 19:31:33 it's non-interactive though 19:31:45 Right. 19:34:11 The whole thing where you can only use a key once isn't great. 19:34:17 yeah 19:34:36 you can use Merkle trees to publish a whole bunch of keys at once (they were invented for this application) 19:34:53 but you still need to keep track of which ones you've used, which is bad 19:35:21 how come tracking your used keys is bad? 19:35:38 if that information gets stale somehow, you will compromise security 19:35:51 or if you want to sign messages from multiple devices 19:36:16 (probably it would be best to partition your various merkelized one-use keys among the devices ahead of time) 19:36:18 by the way, is there a provably secure authentication thing like a one-time pad are provably secure for encryption 19:36:39 it's neat how much engineering there is in cryptography 19:36:47 rather than just high level math I will never understand 19:38:01 shachaf: I don't know; you should ask ##crypto maybe 19:38:20 you could send your message in the clear and also OTP encrypted 19:38:35 and the receiver "verifies" by decrypting and comparing 19:39:04 but someone could tamper with both 19:39:22 with all the crypto-scares floating on the intarwebs, is there only a single guy out there that can do crypto right? 19:39:31 by xoring both with something 19:39:31 (modulo schneier, obviously) 19:39:33 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:39:36 shachaf: yeah you're right 19:39:41 i mean, if you send that, you've sent your secret otp key 19:39:49 yeah... 19:39:53 what I said is total nonsense 19:39:54 oh well 19:56:28 -!- copumpkin has joined. 19:56:57 -!- atriq has joined. 19:57:45 -!- Taneb has quit (Ping timeout: 264 seconds). 20:06:25 -!- sacje has joined. 20:07:36 Washizu mahjong results in vey different strategies from ordinary mahjong. 20:08:42 did you try it? 20:09:08 kmc: so there's http://web.mit.edu/6.857/OldStuff/Fall97/lectures/lecture3.pdf 20:09:49 yeah, i found that 20:13:32 Do you mean, about Washizu mahjong? With most of the tiles being transparent and the way the teams and payment works, it is a very different kind of game. 20:15:24 yeah, did you play washizu? I'm curious about the strategies involved and the amount of stress and sweating and internal dialog and drama and cliffhangers. 20:21:54 I didn't really play mahjong much at all. I have once played at some anime convention, the Washizu mahjong, but other than that I haven't play much except in the computer game "Akagi DS". 20:22:19 But from thinking about the rules, reading manga, and a little bit of playing such a game, I can know how difference it really is. 20:25:42 -!- sacje has quit (Ping timeout: 276 seconds). 20:26:29 -!- sacje has joined. 20:29:22 Fiora: guess who found the xenobiology labs at school 20:31:57 bike is a kid in the candy store :3 20:33:40 @google "a two-tiered approach to assessing the habitability of exoplanets" 20:33:44 http://www.ncbi.nlm.nih.gov/pubmed/22017274 20:33:44 Title: A two-tiered approach to assessing the habitabi... [Astrobiology. 2011] - Pub... 20:34:09 also a giant board of research on positrons 20:35:13 I want a positron plushie. 20:35:15 also whatever the heck this is http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=7451968 20:42:09 -!- Nisstyre-laptop has joined. 20:42:41 -!- Nisstyre-laptop has changed nick to nisstyre. 20:46:58 *trumpet ♪* http://www.particlezoo.net/individual_pages/shop_positron.html *trumpet ♪* 21:04:04 http://www.andrewt.net/blog/wp-content/old/map8.jpg 21:04:18 i'm a big fan of greenland being sucked into the void. 21:04:45 i mean. not the actual place. greenland is cool. 21:08:40 -!- lambdabot has quit (Ping timeout: 246 seconds). 21:08:52 -!- sacje has quit (Ping timeout: 256 seconds). 21:09:17 * boily pokes the void left by lambdabot 21:09:30 Bike: that is some disorienting map. 21:10:58 mercator projections are great, apparnetly. 21:11:19 -!- sacje has joined. 21:12:29 -!- Koen_ has joined. 21:12:41 -!- AnotherTest has left. 21:13:12 -!- Lymia has quit (Ping timeout: 268 seconds). 21:22:04 time to go see small pixelised characters attack other small pixelised characters. 21:22:07 -!- boily has quit (Quit: Poulet!). 21:22:10 -!- metasepia has quit (Remote host closed the connection). 21:24:44 -!- oerjan has joined. 21:28:19 -!- Sprocklem has joined. 21:34:40 -!- ottianna has joined. 21:35:09 -!- ottianna has left. 21:51:53 -!- atrapado has quit (Quit: Leaving). 21:56:11 Can we do collaboration to make up some computer game, do you want to do so? Is it good so far what I put in myself? 21:56:28 What have you put in yourself so far? 21:56:44 Why don't you look at it? It is too long to write in this IRC. 21:57:03 Where can I find it? 21:57:36 I case you forgot, here it is: http://hackiki.org/wiki/uselessness_rpg_1,,main 21:57:58 Forgot? I've never seen that before. 21:58:27 Well, it doesn't matter whether or not you have ever seen it before; if you don't remember now, then I can tell you. 22:00:54 zzo38: Can I make an unofficial sequel and call it "Uselessness RPG 1.5"? 22:01:10 @ask Vorpal you're not the Vorpal who is playing r/nommit, are you? i am assuming not but cannot resist asking. 22:01:24 @ask elliott to fix lambdabot 22:01:25 shachaf: If you want to, I suppose you can. 22:01:28 of course it would be more efficient if lambdabot were here 22:01:49 oerjan: are you saying there's a game of NOMIC currently running on REDDIT? 22:01:58 oerjan: If only everyone logread, @ask would be unnecessary! 22:02:14 Koen_: sure, also it's discussed some in ##nomic 22:02:22 shachaf: But before the sequel, we should make up the actual game, anyways. See the files listed there, and if you have anything to add or any comments, you can also add it on there yourself if you have OpenID 22:02:49 shachaf: it's ok it's probably fate trying to prevent me from getting the question through to Vorpal 22:03:19 Koen_: they also just advertised on the agora lists 22:03:30 zzo38: http://hackiki.org/wiki/uselessness_rpg_1,,map_encoding is a broken link. 22:03:40 shachaf: I know; I didn't write all of the files yet. 22:03:57 oerjan: Maybe you can answer my question: Why does (<|>) :: f a -> f a -> f a, while (<*>) :: f a -> f b -> f (a,b)? 22:04:09 You can turn (<|>) into f a -> f b -> f (Either a b) if you want 22:04:24 But you can't make an equivalent untyped version of (<*>). 22:04:37 (Ignore the fact that (<*>) is actually :: f (a -> b) -> f a -> f b.) 22:05:04 The <*> you described (which isn't the real one) is more like what I called "liftPair" 22:05:06 oerjan: I keep trying to convince myself that I follow what's going on on the agora list 22:06:36 shachaf: Is the other files OK though? 22:06:50 (I am writing the map encodings now) 22:07:07 Koen_: it was "just" as in slightly earlier today, though. 22:07:08 zzo38: I don't know. The website is very slow. 22:08:30 shachaf: That is Gregor's job; not mine. (You can also download a backup of all of the files if you like to do that; it outputs a shell script which will recreate all of the files, including the program for making the backups.) 22:09:52 I was busy socializing 22:10:06 Now a short part of the "map_encoding" file is written. 22:20:24 -!- carado has quit (Ping timeout: 246 seconds). 22:21:23 -!- conehead has joined. 22:27:27 Do you like these kind of unusual ideas? 22:30:52 -!- carado has joined. 22:36:42 zzo38: i don't like how the game is written in Z-machine 22:36:53 that makes it hard to collaborate 22:37:39 nooodl: Well, I suppose it doesn't make it *easy* to collaborate, but this is in wiki so I mean collaborate in wiki; this would be done regardless of the system it is written in. 22:39:00 Therefore nobody (other than myself) needs to do anything special due to being Z-machine. 22:42:35 so you can download a backup that will output a script that will recreate the program that makes the backups? 22:42:45 soudns complicated and circular 22:42:45 Koen_: Yes. 22:43:14 It isn't really so complicated; the program that makes the backups just happens to be a file like any other, so that is why it does that. 22:44:16 Koen_: If you try then you can see how it works. 22:44:34 But three lefts do what? <-- make a right, in the usual joke 22:44:35 I will 22:45:02 unless you tell me that it's all z-code and I don't want to download the z-machine thing 22:45:36 I tried Inform 7 and I found it incredibly bad 22:45:38 Koen_: There isn't any Z-machine file of this game yet, anyways. But the backup program is just a shell script anyways, not Z-machine. It is plain text so it will display inline. 22:45:58 I don't like Inform 7 either, but it isn't the only programming language for Z-machine; I am using Frolg, which I wrote myself. 22:46:10 I think someone in here mentioned the "grep ''" trick; I used that in the backup script. 22:46:16 see that's the problem there 22:47:09 interactive fiction isn't something new and it should be easy to do 22:47:25 And there is no need for anyone other than myself to know the programming language used since I will program it myself; but the collaboration would be for the planning/ideas. 22:47:41 the simple fact that you would find it more convenient to write your own language than to use one that already exists shows how bad things are 22:47:47 (as well as such things as music and graphics, but this game doesn't have any graphics) 22:48:30 Koen_: I already did write the Frolg assembler (it is a macro assembler; the other Z-machine assemblers don't support macros). 22:49:03 Other programming languages for Z-machine include ZIL, Inform 6, ZAP, Zasm, Inform 7, Frolg. 22:49:59 But in order to make everything fit in the way I want to, my program is the only one sufficient. 22:57:33 -!- lambdabot has joined. 23:02:52 Fiora: guess who found the xenobiology labs at school <-- now you just have to find where they hide the aliens hth 23:03:09 @ask Vorpal you're not the Vorpal who is playing r/nommit, are you? i am assuming not but cannot resist asking. 23:03:09 Consider it noted. 23:06:47 -!- Koen_ has quit (Quit: Koen_). 23:17:50 apparently "if False: yield None" is a Python idiom 23:18:01 .. why 23:18:26 well put it inside 'def' and you have a generator that generates an empty sequence 23:18:28 do you have to put a "yield" into a coroutine for the interpreter or some shit 23:18:32 right 23:18:48 if the body of a 'def' contains a yield statement anywhere, it has totally different semantics 23:19:01 oh hahaha 23:19:03 the worst 23:19:09 namely a 'call' to the function won't execute any of the body, but will return an object where calling .next() runs until the next yield 23:19:17 yeah 23:19:30 so, right, bullshit. 23:19:53 basically yeah 23:20:24 this came up because https://mail.mozilla.org/pipermail/rust-dev/2013-August/005169.html 23:21:05 btw if any of you want to be involved in the design of an interesting, serious PL that might even get used one day, you should subscribe to rust-dev and join mozilla #rust and stuff 23:21:09 «The way "yield return" works in C# is that it rewrites the code into a state machine behind the scenes.» aha, i thought so 23:21:12 kmc: fuck rust 23:21:17 oh no 23:21:17 coppro: fuck you, counterpoint 23:21:35 kmc: but you're just supporting my argument 23:21:39 :O 23:21:44 seriously though, what's your problem with rust 23:23:46 there's no consistency 23:23:52 at any given time, much less next week 23:24:24 yeah that is a fair criticism 23:24:45 I spent all of last week porting a large codebase to deal with a month's worth of changes in Rust 23:24:50 so believe me, I feel that 23:25:02 I actually don't know so I could be full of shit 23:25:11 but I get the impression that the devs don't actually have a clue what they're doing 23:25:12 but like... the language isn't done yet, of course it's going to change, better to fix problems while we still can 23:25:29 coppro: you're wrong about that, for sure 23:25:46 if you don't want to use a language that changes rapidly then wait a year 23:25:59 I think it is getting more consistent over time 23:26:04 I mean, they're clearly competent devs 23:26:19 but they don't display any ability to manage a useful project 23:26:32 didn't you just say you don't actually know... 23:26:41 I agree that the internal consistency of the language (at any given moment in time) is somewhat lacking 23:26:51 I mean, I use Rust every day, so I have no shortage of gripes :) 23:27:22 some of that is being fixed gradually 23:27:46 some of it we are probably stuck with (like one-variant enums being different from structs) but also maybe not a huge deal 23:28:25 or like the weird support for multi-parameter traits where the last type parameter is special :/ 23:28:44 and the special treatment of static vs non-static methods in traits 23:29:26 I can't speak to the management skills of the Rust team, as I have zero management experience 23:30:35 they are good developers and they are people who actually understand PL theory and research (which is astoundingly uncommon among people designing a PL) 23:30:51 even if I wish more of them had known more Haskell years ago :) 23:33:27 -!- Sgeo has joined. 23:34:46 heh 23:35:50 kmc: I think "struct" could be changed to be syntax sugar for a one-variant enum pretty backwards-compatibly. 23:36:38 Right now enum Foo { Foo { ... } } doesn't even work, though. 23:36:41 maybe 23:36:45 Which looks like some sort of namespacing issue? 23:39:01 the other thing about Rust is that it's incredibly ambitious 23:39:22 there's no existing language remotely close to mainstream that does what Rust is trying to do 23:44:52 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 23:45:00 HEY GUYS I OWN A MACBOOK PRO 23:45:36 i don't 23:46:14 kmc: is it good 23:46:30 i don't, I was mocking copumpkin's quit message 23:46:35 i know someone who had to buy a macbook for school 23:46:39 because that's a thing apparently 23:46:54 "hey guys" is an idiom in my social circle 23:47:12 that's the default quit message of a client I think 23:47:12 i've seen that idiom before 23:47:17 she was unexcited, since she's not well-off, but i guess you Need One for the Arts 23:47:22 like "sent from my iphone" 23:47:37 meant to call out that somebody is dropping hints about being rich, or that they had sex recently or whatever 23:47:52 elliott: that one at least has some purpose as "sorry for the brevity / poor spelling of this message" 23:48:03 shachaf: I think it may be from SomethingAwful? most things are 23:49:15 kmc: should i pay :10bux: to learn more 23:49:18 heh 23:49:30 dunno, I really enjoyed having a SA forum subscription back in the day 23:49:33 I don't use it much anymore 23:49:40 I log in like once every 3 months, usually while drunk 23:49:42 it looks like it's more like :35bux: 23:49:45 the science boards are actually kinda nice 23:49:54 back in my day they had a pretty legit torrent subforum 23:49:57 shachaf: how so? 23:50:06 well you have to pay if you want an avatar or whatever. 23:50:09 sure 23:50:14 That's How They Get You™ 23:50:18 still ten bucks to read and post, though. 23:50:23 well, with the archive upgrade and the no-ads upgrade and the platinum upgrade 23:50:26 you can also pay to change someone else's avatar, right? 23:50:31 yes 23:50:31 yeah 23:50:50 the Debate and Discussion threads were pretty good in the 2008 election and may have contributed to me winning big on Intrade 23:51:01 uh the drugz subforum is good 23:51:03 it's pretty great reading the linguist thread and they're talking about Pinker or whatever, and somebody has hateful redtext because of an argument elsewhere about vidya gamez 23:51:04 -!- iamfishhead has quit (Ping timeout: 268 seconds). 23:51:11 hahaha yes 23:51:34 i heard recently a mod in the drugz forum got demodded because he suggested somebody addicted to heroin just try acid, or something like that 23:51:38 Drama 23:51:40 haha 23:51:56 acid has been studied for treating alcoholism 23:52:05 yeah i mean 23:52:07 and ibogaine is used to treat opiate addiction 23:52:09 the idea was, instead of rehab 23:52:12 for... some reason. 23:52:13 in sketchy contexts 23:52:19 but anecdotally does work 23:53:01 I dunno man 23:53:05 don't get addicted to heroin ok 23:53:11 that's the best solution 23:53:20 are you saying i should just try it a few times instead 23:53:29 heh 23:56:23 -!- Bike_ has joined. 23:56:24 really excited by this hardware failure thing. 23:56:30 :( 23:56:46 -!- Bike has quit (Read error: Connection reset by peer). 23:57:43 what kind of hardware failure? 23:58:03 when i jolt my netbook the network card dies. apparently. 23:58:06 -!- Bike_ has changed nick to Bike. 23:58:18 ffff 23:58:36 i mean, it was inevitable, this thing cost like two hundred bucks, but still irritating 23:59:35 lately I'm using a $200 netbook from 6 years ago