00:00:09 -!- tromp has joined. 00:02:36 -!- ^v has quit (Read error: Connection reset by peer). 00:02:53 -!- ^v has joined. 00:05:57 -!- not^v has joined. 00:06:19 -!- ^v has quit (Read error: Connection reset by peer). 00:31:32 -!- nisstyre has joined. 00:37:06 -!- not^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 01:04:07 I have idea: data Program = Halt Expression | Continue | Assign Expression Expression Program | While Expression Program Program; data Expression = Zero | Successor Expression | Dereference Expression | With Expression Expression | Call Program | Oracle Program; 01:05:11 If you have such halting oracle, what is the powerfulness? 01:05:36 -!- Vamadeus has quit (Ping timeout: 240 seconds). 01:07:33 zzo38: about like brainhype, i think 01:10:07 zzo38: Then you have to worry about metahalting 01:10:16 What would be the powerfulness of proofs in such a system (where the halting oracle is still part of the system, and programs that halt are theorems)? 01:10:23 FreeFull: What is metahalting? 01:11:24 What ever happened to itidus20 01:11:43 couldn't escape the matrix of [reference] [sarcastic sad emoticon] 01:12:43 zzo38: It can figure out if any Turing machine will halt, but can't determine if it will halt itself 01:13:28 zzo38: Basically, for any superset-of-Turing system, the union of that + the halting oracle for it cannot determine if it *itself* halts. 01:13:48 So, Turing machine with a halting oracle has its own halting problem. 01:14:26 you'll get, what's it called, post degrees 01:14:50 pikhq: Yes, although it might be paradox if it can, isn't it? 01:15:30 The proof that you can't determine if a Turing machine halts with a Turing machine is trivially generalizable to any super-Turing machine. 01:16:39 You can still determine if such a thing halts with a higher oracle, though, I think 01:16:44 Yes. 01:16:45 `quote 897 01:16:46 897) Taneb: STOP TRYING TO GET LENS INTO EVERYTHING Bike: You should use lens! NEVER shachaf: i'm getting mixed messages here 01:17:00 shachaf, you will be glad that today I told someone not to use lens. 01:17:08 It's just that each individual such system would need an oracle to determine if it halts. 01:20:01 Taneb: when will i be glad about that? 01:20:11 wait, not glad about that. just glad that. 01:21:19 Because I did not try to get lens into his Hakyll site! 01:21:30 But it can be nested such as Halt (Oracle (While (Oracle x) Continue (Halt Zero))) meaning if it is true when halting then that makes it true when not halting, something like that anyways 01:21:44 Use lens to implement lens 01:22:02 `uote 1059 01:22:02 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: uote: not found 01:22:05 `quote 1059 01:22:06 1059) I would like to learn how to use a sword And also how to ride a unicycle Perhaps not at the same time 01:22:08 :( 01:22:13 I have not learnt either 01:22:25 Can it be extended to allow an arbitrary amount if a program is reading in from the input 01:22:33 Although I did go to an Iaido taster session! 01:23:44 Taneb: Buy a unicycle! 01:24:13 FreeFull, I actually have one 01:24:31 Try to learn it! 01:25:01 learn you a unicycle for great good 01:26:48 `addquote learn you a unicycle for great good 01:26:49 1189) learn you a unicycle for great good 01:28:09 important question: is there a program that, given a number, gives you a bunch of pointless facts about it, a la http://en.wikipedia.org/wiki/593_%28number%29 01:30:38 yes 01:31:32 the proof is a simple exercise in writing a wikipedia scraper hth 01:31:42 perhaps i need a rephrase: can you point me to a etc 01:31:55 picky, picky 01:32:37 hm, i know a few programs to come up with an algebraic definition, i think 01:43:16 -!- BeingUntoDeath has joined. 01:46:37 -!- BeingUntoDeath has quit (Client Quit). 01:59:06 -!- tertu has joined. 02:01:36 -!- tertu has quit (Read error: Connection reset by peer). 02:01:42 -!- ter2 has joined. 02:02:19 -!- ^v has joined. 02:06:06 -!- ter2 has quit (Read error: Connection reset by peer). 02:06:32 -!- ter2 has joined. 02:08:20 -!- FreeFull has quit. 02:10:23 -!- ter2 has quit (Read error: Connection reset by peer). 02:10:46 -!- ter2 has joined. 02:23:21 -!- tertu3 has joined. 02:26:41 -!- ter2 has quit (Ping timeout: 264 seconds). 02:33:41 -!- ^v has quit (Ping timeout: 252 seconds). 02:34:14 In which MUD is it possible to use a zoog teeth you have stolen to learn to be dentist and make a false teeth in case other zoog don't have any more teeth? 02:38:29 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 02:38:38 -!- tertu3 has quit (Ping timeout: 252 seconds). 03:01:23 -!- tertu3 has joined. 03:07:53 fungot: if I knew now what I knew then… 03:27:52 -!- Sorella has quit (Quit: It is tiem!). 03:35:09 fungot: why the long lag 03:41:09 https://plus.google.com/+DanPiponi/posts/djyKdnSGRch dpiponi.kmc.moed++ 03:44:05 :-) 03:48:57 -!- edwardk has quit (Quit: Computer has gone to sleep.). 03:54:01 fungot: are you stonewalling kmc 03:54:02 oerjan: don't i know you from somewhere? but, i mean, t-rex? 03:54:13 yes, yes you do. 03:57:37 fungot: who will fungot the fungots? 03:57:37 kmc: hey, t-rex, i've a long road ahead of me, it would be flattering. i like to look at them! i expect nothing less than... 03:58:04 fungot: nothing less than what? 03:58:05 oerjan: have i, perhaps, a hint, utahraptor. i'm a cyborg, then when i enter it, my body is the other half. we join, marrying the machine and flesh, working together to ensure my own creation. i'm responsible for getting my own food and for making a bomb threat, delaying its maiden voyage! 03:58:31 those are important responsibilities. 03:59:50 -!- edwardk has joined. 04:01:58 hm low-friction bread 04:02:10 -!- kronion_ has joined. 04:02:19 read "low-friction beard" 04:02:30 -!- kronion_ has quit (Max SendQ exceeded). 04:02:39 also a good concept 04:02:59 (the bread almost slid off my plate when i grabbed it) 04:03:32 i hope the onion hasn't started spamming 04:27:18 -!- nycs has joined. 04:29:41 -!- `^_^v has quit (Ping timeout: 264 seconds). 04:50:08 I have been awake for faaaar too long 05:01:30 -!- Deewiant has joined. 05:03:17 -!- tswett has quit (Ping timeout: 252 seconds). 05:07:19 -!- Tod-Autojoined has changed nick to TodPunk. 05:12:46 -!- tromp has quit (Remote host closed the connection). 05:12:54 -!- Sgeo has quit (Read error: Connection reset by peer). 05:13:18 -!- tromp has joined. 05:18:01 -!- tromp has quit (Ping timeout: 265 seconds). 05:25:27 fungot: Stop making bomb threats, they'll trace you back to my place. 05:25:27 fizzie: oh, that may be a fact; it is impossible to know if my dream, everything had turned into plasticine! do that and now your sweetie, turn to panel 5. forget it! it's wasted time. 05:27:35 and then fizzie will be toast while fungot gets away on an insanity plea 05:27:35 oerjan: but in a metaphorical sense. what metaphor would that be, exactly? 05:27:56 I am going to sleep now goodnight 05:27:58 * Taneb away 05:28:14 fungot: something cell-based. 05:28:15 oerjan: as a man concerned, t-rex, that going shopping was your default activity? how is that weird, is it? you're just adding the same. but it's just so impossible, so doomed. he's got a stupid face, so at his own request that you give a raccoon a sugar cube, it'll wash it, i have! 05:28:17 Wait that isn't I away 05:28:40 Taneb is too tired to leave the channel 05:28:47 fungot: Stop calling my face stupid, too. 05:28:47 fizzie: i don't have a very good student! 05:29:05 -!- Sgeo has joined. 05:32:36 Was "quit while you are ahead" invented by a gambler? 06:07:46 [P1] Clean your room! [C1] Therefore, clean your room or burn the house down! The error is that, "therefore, you have to either clean your room or burn the house down" is wrong, but, you can write instead, "either you have to clean your room or you have to burn the house down" 06:12:14 Isn't it? 06:41:14 -!- tertu3 has quit (Ping timeout: 255 seconds). 06:46:53 -!- oerjan has quit (Quit: leaving). 07:30:57 -!- slereah has joined. 07:31:53 -!- Sprocklem has quit (Quit: leaving). 08:01:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:13:33 -!- HackEgo has quit (Remote host closed the connection). 08:28:25 -!- Patashu has joined. 08:34:04 -!- Patashu_ has joined. 08:34:04 -!- Patashu has quit (Disconnected by services). 08:38:26 `coins 08:38:47 gotta get paid 08:40:43 Huh, esolangs.org went down too, and the silly thing doesn't answer to SSH either. 08:41:14 Does fungot have coins 08:41:14 Jafet: it's a very tricky to sound natural, then you can't sleep at all, then you go demented and then you die, we're giving dinosaur comics to the marmaduke guy. sincerely, the man, you just wait! kids will be boarding the train to scarytowne at my own pace, dromiceiomimus 08:42:02 Is fungot less volatile than btc 08:42:02 Jafet: i think that you're being too strict about this, t-rex! geez!! i'm leaving. escape to panel 5. forget it! it's wasted time. prepare to lose your job for gibbering madness all the time! 08:42:20 You can pay your fungot usage with funcoins. 08:42:20 fizzie: are you in this house, god? i am a different, but i assure you 08:42:49 I think fungot just fired me 08:42:49 Jafet: oh, i must have put that in your pipe and smoke it? friday? is it friday? or is it..." 08:43:27 itt fungox 08:44:01 --- www2.codu.org ping statistics --- 08:44:02 42 packets transmitted, 11 received, 73% packet loss, time 42027ms 08:44:09 Well, that's curious. 08:45:01 ssh over icmp 08:45:03 fungot: did you say something about a train? 08:45:03 lexande: think of how far did you go" talk a lot, but they're always a good thing! stupid problems, but if they're sentient, and you shouldn't think about religion that hard 08:45:23 i did go pretty far 08:46:09 I don't think religion is ready for sentient trains 08:46:13 pretty much as far as i could, on a train, but i never reached scarytowne 08:59:46 -!- HackEgo has joined. 09:01:13 -!- impomatic has joined. 09:08:35 -!- MindlessDrone has joined. 10:09:50 -!- boily has joined. 10:18:39 -!- conehead has quit (Quit: Computer has gone to sleep). 10:33:49 Mornin' 10:40:51 'matin 10:43:58 int-e, ping 10:51:30 -!- boily has quit (Quit: Poulet!). 11:28:17 @ask How awkward it be to make lambdabot not respond to > in #cs-york? That's the only real controversy about the bot in the channel 11:28:18 Consider it noted. 11:28:22 Wait 11:28:25 @unask 11:28:25 Who should I ask? 11:28:28 :( 11:28:33 @ask int-e How awkward it be to make lambdabot not respond to > in #cs-york? That's the only real controversy about the bot in the channel 11:28:33 Consider it noted. 11:29:05 -!- ais523 has joined. 11:29:56 -!- How has joined. 11:30:04 @messages-loud 11:30:04 Taneb asked 1m 46s ago: awkward it be to make lambdabot not respond to > in #cs-york? That's the only real controversy about the bot in the channel 11:30:11 -!- How has quit (Client Quit). 11:30:35 Doing our part to keep things tidy. 11:33:37 @ask d41d8cd98f00b204e9800998ecf8427e hi 11:33:37 Consider it noted. 11:34:40 That's too long to even change nick to. :( 11:36:08 [wiki] testing, testing 11:40:25 [wiki] still working? 11:40:30 I guess so. 11:41:47 huh, Knuth did a few bugfixes to TeX again; apparently he said in 2008 that he would next look at TeX starting on 31 December 2013, and kept to his word 11:42:24 Maybe he thought that the world would end in 2012 11:42:45 no, he follows a geometric series for bugfixing TeX 11:42:56 each review of bugs takes one more year than the last 11:43:03 he fixed exactly one bug this time 11:43:24 in TeX, that is 11:43:26 plus one in Metafont 11:43:57 both of which are incredibly minor (a missing space in a corner case that probably never comes up in practice, and a memory leak that leaks 7 words of memory) 11:44:47 also apparently the computer he tested the memory leak on has "3 million words" of memory, which for any sensible word size, puts it in the low tens of megabytes or perhaps even lower 11:46:13 -!- nucular has joined. 11:46:13 -!- nucular has quit (Changing host). 11:46:13 -!- nucular has joined. 11:46:28 These files contain almost exactly 7 megabytes altogether; and the new changes have altered about 3500 of those bytes. 11:46:31 ais523: not geometric. I think it's quadratic only. 11:46:41 err, yes 11:46:49 sorry, not really thinking today 11:47:48 If it's truly a series, Knuth will be around to fix TeX bugs forever 11:48:00 I don't know whether that is supposed to be a comforting thought 11:48:26 Does this mean the version number gained a digit? 11:48:52 Jafet: he has a specific statement: "My last will and testament for TeX and METAFONT is that their version numbers ultimately become $\pi$ and $e$, respectively. At that point they will be completely error-free by definition." 11:49:05 fizzie: yes 11:49:41 also, apparently the only regret Knuth has about TeX's original design is that the default rule thickness is 0.399993896484375 points rather than 0.4 points 11:49:49 due to the use of binary rather than decimal fractions 11:50:11 no way, where does he say that? 11:50:45 near the end of the document 11:50:52 > 1 - toRational (0.4 :: Float) / (4 % 10) :: CReal 11:50:53 Couldn't match type ‘GHC.Real.Ratio GHC.Integer.Type.Integer’ 11:50:53 with ‘Data.Number.CReal.CReal’ 11:50:53 Expected type: Data.Number.CReal.CReal 11:50:53 Actual type: GHC.Real.RationalCouldn't match expected type ‘Data.Number.CR... 11:50:53 with actual type ‘GHC.Real.Ratio a0’ 11:50:56 near the end of what? 11:51:03 > fromRational $ 1 - toRational (0.4 :: Float) / (4 % 10) :: CReal 11:51:05 -0.00000001490116119384765625 11:51:37 > toRational 0.399993896484375 11:51:38 13107 % 32768 11:52:03 b_jonas: his report on the bugfixes 11:52:10 http://tug.org/TUGboat/tb35-1/tb109knut.pdf 11:53:22 ais523: 2014? but http://www-cs-faculty.stanford.edu/~uno/abcde.html says the TeX updates "happened most recently in 1992, 1993, 1995, 1998, 2002, 2007, and 2013; following this pattern, I intend to check on purported bugs again in the years 2020, 2028, 2037, etc." 11:53:34 how is that possible? 11:53:40 b_jonas: 31 December 2013 is when he started working on it 11:53:44 he didn't get it finished in a day 11:53:49 ah 11:56:27 (Some day we will have personal computers and will live more normally.) 11:58:30 Perfectly normal. 11:58:58 the "abnormal living" was sleeping at odd times of day in order to use the timeshare system when it was less loaded 11:59:19 I live nowadays, and have a personal computer, but still sleep at odd times of day 11:59:49 Ah. I thought they had multiuser terminals already in 1978. 12:00:08 I think probably they did, but everything was running on one central server 12:00:31 ais523: In the document, he also mentions "my home computer (a 3.6 GHz Xeon with 10 MB cache)" in the part where the build time of the TeXbook is discussed. 12:00:41 fizzie: hmm, right 12:00:46 ais523: I'm not sure how this works with the three million words of memory. 12:00:58 it might have been running on a VM or something? 12:01:15 Maybe his code runs completely in cache. 12:01:22 Possibly. And of course "home computer" and "home system" might refer to different things. 12:01:27 I would not be that surprised 12:02:00 also, I was vaguely surprised that TeX gets an extra digit on the version number, rather than increasing the last digit by 1 or adding another digit if that would exceed pi 12:02:17 like, I was expecting 3.1, 3.11, 3.12, 3.13, 3.14, 3.141, 3.1411, 3.1412, etc. 12:02:21 that also converges to pi, just more slowly 12:02:39 "the systems [TeX and Metafont] have been converging to an error-free state." 12:03:16 And if you get right down to it, "it did take quite awhile to overflow 3 million words of memory on my home system" doesn't necessarily imply the system has only 3 million words, just that three million words is some limit that can be overflowed. 12:03:31 indeed 12:03:55 actually, the other thing that surprised me is that there's a logic bomb in the manual to prevent people compiling it 12:03:58 … π and ℯ 12:04:25 I guess because it's TeX not LaTeX, that makes sense 12:04:45 (in LaTeX, some people might find it easier to read in a different document class, so allowing them to recompile rather than using a precompiled version would be reasonable) 12:06:41 Maybe they don't want people to compile it. 12:06:47 "The source file texbook.tex for The TeXbook begins with the following lines: [...] % The file is distributed only for people to see its examples of TeX input, not for use in the preparation of books like The TeXbook." 12:07:20 he didn't want people to make other books based on the formatting in that book 12:07:38 that's different from compiling the book itself from source, though 12:07:39 hmm 12:08:14 I would like to note that the English Wikipedia has articles named “Pi” and “e (mathematical constant)”, while the corresponding German ones are named “Kreiszahl” and “Eulersche Zahl”. 12:08:26 Well, it is also a book you can buy from Addison-Wesley. 12:09:12 Kreiszahl sounds like an article about number rings 12:09:35 "Pii (vakio)", "Neperin luku". 12:10:00 Jafet: It is, however, about the Circle-Number. 12:11:03 I like how Finnish name for e is "Neperin luku" lit. "Neper's number", named after John Napier except with the last name misspelled. 12:11:27 and the first name absent? 12:11:38 Yes. 12:11:54 But that's not Finnish-specific; "Napier's constant" seems to be an English name. 12:13:15 (Also arbitrary: it's apparently either "Euler's number" or "Napier's constant", but not "Napier's number" like in Finnish.) 12:14:09 Jafet: “number ring” redirects to “Ring of integers” which corresponds to “Ganzheitsring”. 12:15:36 "John Napier of Merchiston (/ˈneɪpɪər/; 1550 – 4 April 1617) – also signed as Neper, Nepair – named Marvellous Merchiston, was a Scottish landowner known as a mathematician, physicist, and astronomer." Guess it's not *wrong* per se, just an alternative spelling. 12:16:05 https://el.wikipedia.org/wiki/Αριθμός_π uses latin letters for all terms except π (and an english-labelled diagram). 12:19:41 Ganzheitsring sounds like an article about middle-earth 12:20:28 -!- Sorella_ has joined. 12:21:25 -!- augur has quit (Quit: Leaving...). 12:22:09 -!- yorick has joined. 12:24:09 I see 12:24:51 Jafet: … 12:32:23 -!- callforjudgement has joined. 12:36:24 -!- ais523 has quit (Ping timeout: 240 seconds). 12:36:29 -!- callforjudgement has changed nick to ais523. 12:45:39 -!- Sorella_ has changed nick to Sorella. 12:53:36 -!- idris-ircslave has quit (Quit: Terminated). 12:53:52 -!- idris-ircslave has joined. 12:57:21 -!- idris-ircslave has quit (Client Quit). 12:57:39 -!- idris-ircslave has joined. 13:04:23 -!- idris-ircslave has quit (Quit: Terminated). 13:04:41 -!- idris-ircslave has joined. 13:09:15 ^style europarl 13:09:15 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 13:09:25 fungot, there's a big debate happening tonight!" 13:09:26 Taneb: madam president, on a point of order and by way of preparation in the committee on industry, external trade, research and energy is an extensive and complicated directive which will affect every single citizen, thereby violating the principle of equal treatment which puts the present commission, because the commission adopted a communication entitled: ' eeurope 2005: an information society is characterized by telecommuni 13:21:06 fungot: What do you think about the EU sanctions on Russia? 13:21:07 fizzie: mr president, i believe that we must accept and address. one criticism that has been conducted. issues like this serve to underpin the peace process. 13:21:42 Typical politician, always ready with a seemingly coherent reply that still doesn't really say anything. 13:22:09 Hmm, what exactly are the sanctions not sanctioning? 13:24:18 They include at least some asset freezes. Could you summarize them for us, mr fungot? 13:24:18 fizzie: mr poettering, the law. it is very important because it will determine our final vote. 13:24:29 Ah, I see. 13:25:25 I agree mr fungot, it's a good idea to sanction the law 13:25:26 Jafet: i listened yesterday to mr schulz, mr poettering, chairman of the committee on foreign affairs, human rights, and the unions too, are sorry that we have begun to change little by little. mr kaklamanis, you ask yourself, can they contemplate the future with confidence. 13:28:04 -!- nycs has changed nick to `^_^v. 13:28:33 Today I learned (from a different channel) that strace gets it wrong if a 64-bit-code thread on Linux/x86-64 accesses the 32-bit syscall emulation layer via int 0x80. 13:28:36 http://sprunge.us/TdRe 13:30:19 It's a (nonimportant) write through the "syscall" interface (syscall number 1 in that table) followed by an exit(42) through the int 0x80 interface (syscall number 1 in *that* table), and strace thinks the latter is a write, too. (And looks for arguments where they would be for the "syscall" stuff.) 13:32:34 -!- tertu3 has joined. 13:58:18 -!- franklin8 has joined. 13:58:23 -!- franklin8 has quit. 14:01:51 Taneb: at the momemnt the prefixes are global and there is no infrastructure for per channel settings at all. 14:03:58 ahah, in some neural network book 14:04:07 "Now forget everything about training sets and learning" 14:04:08 DONE 14:04:10 :D 14:04:17 I don't know what I'm doing 14:09:14 Now learn it again in a different order while reading the text upside down 14:13:22 "Each month, the European Parliament moves back and forth to meet the EU obligation to hold meetings also in France." 14:16:10 -!- Patashu_ has quit (Ping timeout: 252 seconds). 14:17:15 -!- ais523 has quit (Write error: Connection reset by peer). 14:17:32 -!- ais523 has joined. 14:27:18 -!- Sprocklem has joined. 14:29:58 Apparently, people are using the Enron emails as a corpus http://www.cs.cmu.edu/~enron 14:37:52 -!- ais523 has quit. 14:42:26 -!- tertu3 has quit (Ping timeout: 252 seconds). 14:45:29 ^style 14:45:29 Available: agora alice c64 ct darwin discworld enron europarl* ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 14:45:38 ^style lovecraft 14:45:39 Selected style: lovecraft (H. P. Lovecraft's writings) 14:45:43 fungot, speak 14:45:44 fowl: then they had sealed the entrances and left them without courage, words, or know why you shouldn't. maybe you ought to hear, though, had gilman been there; and when told of the frantic magician. his fright, turning to leave his post at the rope, as the gold of the sky ever since there was any village to watch his taciturn dwelling from the plain to the north in grotesque panic. 14:48:32 ^style enron 14:48:32 Selected style: enron (subset of the Enron email dataset) 14:48:52 It's time for a bit of professionalism around here, fungot. 14:48:53 Jafet: questions about the market let alone an inter-company transfer the money." guarantee of the corporate parent of the work of the thought of the last few years that 14:56:05 * int-e wonders what fungot's point is. 14:56:06 int-e: in a. thus the next to the above the offer of a the best. sent: tuesday, may 1, you will not have the right to do." california is facing the process that will, and get you to resign. 14:56:46 -!- tswett has joined. 14:56:47 -!- tswett has quit (Changing host). 14:56:47 -!- tswett has joined. 15:01:46 -!- drdanmaku has joined. 15:05:42 -!- zzo38 has quit (Remote host closed the connection). 15:10:34 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:12:56 -!- tertu3 has joined. 15:27:00 -!- MindlessDrone has quit (Quit: MindlessDrone). 15:33:28 -!- mhi^ has joined. 15:58:42 -!- tertu3 has quit (Ping timeout: 276 seconds). 16:01:55 -!- slereah has quit (Quit: Leaving). 16:25:33 I have added to idris-ircslave obedience to configuration (per-channel) of line limit. What should the limit be in this channel? 16:26:29 ask fungot? 16:26:29 int-e: have not moved. on the financial officer of the financial, trade and market renewable in 2001 that will complete. jones;wes colwell;mark haedicke;vince kaminski;phillip allen;tim belden;chris calger;joe deffner;tim detmering;dave duran;joe kishkell;rob milnthorp;brian redmond;gary hickerson;george mcclellan;sally beck;brian stanley;keith dodson; cc, 8, and main lines " a" and " that advance post of our the eel ( primaril 16:27:39 -!- edwardk has joined. 16:28:05 no, fungot, 2001 is too much for IRC 16:28:05 int-e: the our files that we 16:31:18 Hello 16:38:29 The default is 5. 16:41:07 hm. 16:41:15 How do I detect x^n? 16:41:16 -!- FreeFull has joined. 16:41:34 Given some array I want to know if it's x^n 16:41:39 like 16:41:50 0,1,8,27,64,125 16:42:54 ah well 16:42:59 log probably 16:45:32 ah 16:45:33 wow 16:45:33 ok 16:45:43 3.0000000000000004 16:45:47 no wonder this is not working 16:47:23 -!- password2 has joined. 16:47:46 -!- password2 has quit (Max SendQ exceeded). 16:48:13 -!- Sprocklem has quit (Quit: Battery died). 16:48:22 -!- password2 has joined. 16:48:53 -!- password2 has quit (Max SendQ exceeded). 16:49:29 -!- password2 has joined. 16:49:36 > map (^3) [0..] 16:49:38 [0,1,8,27,64,125,216,343,512,729,1000,1331,1728,2197,2744,3375,4096,4913,583... 16:49:41 > zipWith (-) <*> tail $ map (^3) [0..] 16:49:42 [-1,-7,-19,-37,-61,-91,-127,-169,-217,-271,-331,-397,-469,-547,-631,-721,-81... 16:49:51 > zipWith subtract <*> tail $ map (^3) [0..] 16:49:52 [1,7,19,37,61,91,127,169,217,271,331,397,469,547,631,721,817,919,1027,1141,1... 16:49:59 -!- password2 has quit (Max SendQ exceeded). 16:50:00 > zipWith subtract <*> tail $ zipWith subtract <*> tail $ map (^3) [0..] 16:50:01 [6,12,18,24,30,36,42,48,54,60,66,72,78,84,90,96,102,108,114,120,126,132,138,... 16:50:06 > zipWith subtract <*> tail $ zipWith subtract <*> tail $ zipWith subtract <*> tail $ map (^3) [0..] 16:50:07 [6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6... 16:50:14 Yeah. 16:50:28 You can derive until it only contains zeros 16:50:36 that's essentially what I'm doing 16:50:52 A derive, make some checks, derive again, make the checks, derive again, make the checks 16:51:43 And currently it checks for a.) all zeroes, b.) x^n, c.) n^x, d.) n*x 16:51:58 @oeis 0,1,8,27 16:52:00 The cubes: a(n) = n^3.[0,1,8,27,64,125,216,343,512,729,1000,1331,1728,2197,2... 16:52:48 @oeis 1,7,19,54 16:52:48 Sequence not found. 16:54:56 @oeis 9,1,7,7,0,3,1,5 16:54:57 Sequence not found. 16:55:01 @oeis 1,0,-1,0,1,0,-1,0 16:55:13 Numerator of Bernoulli number B_n.[1,1,1,0,1,0,1,0,1,0,5,0,691,0,7,0,3617,0,... 16:55:31 I'm abusing this stuff to judge how random some numbers are 16:56:11 mroman: try it for n! 16:56:15 (9,1,7,7,0,3,1,5 has random level 5, whatever the hell that's supposed to mean) 16:57:48 :t scanl' 16:57:49 Not in scope: ‘scanl'’ 16:57:49 Perhaps you meant one of these: 16:57:49 ‘scanl’ (imported from Data.List), 16:58:00 A strict scanl would be nice 16:58:03 -!- oerjan has joined. 16:58:07 what the hell @ bernoulli number to that input 16:58:09 > scanl (*) 1 [1..] 16:58:11 [1,1,2,6,24,120,720,5040,40320,362880,3628800,39916800,479001600,6227020800,... 16:58:14 > [ 321^n `rem` 10^6 `div` 10^5 | n <- [0..] ] 16:58:15 [0,0,1,0,4,7,4,8,2,1,7,5,3,4,0,1,1,5,5,0,9,3,5,6,2,1,0,3,6,6,6,3,8,6,1,4,2,1... 16:58:44 int-e: just thought you should know about http://stackoverflow.com/questions/23337798/cant-build-lambdabot-with-ghc-7-8-haskell-src-exts 16:58:49 -!- oerjan has quit (Client Quit). 16:59:42 scanl doesn't need to be strict. 17:00:11 I have found a need for a strict scanl before 17:00:20 I don't remember what for anymore 17:01:25 > show =<< [ 321^(n+100) `rem` 10^6 `div` 10^5 | n <- [0..] ] 17:01:27 Faculty has a random factor of 0.8 17:01:27 "530514009063721311532538764312390304954886869678617557428179164663146490244... 17:02:30 > let generate08 = 0.8 in generate08 17:02:31 0.8 17:03:26 call it factorial, or you'll confuse the native speakers :) 17:04:05 How did I read factor as generator? 17:04:32 Math.sqrt(n+1) is also pretty random apparentely 17:05:01 > scanl (/2) 0.4 [] 17:05:03 Occurs check: cannot construct the infinite type: b ~ a0 -> b 17:05:03 Expected type: b -> a0 -> b 17:05:03 Actual type: b -> b 17:05:16 Nope 17:05:28 I think I need an unfold 17:05:51 @tell oerjan must be a windows thingy; I've had no trouble with haskell-src-exts 1.15.0.1 under linux. 17:05:51 Consider it noted. 17:08:47 -!- password2 has joined. 17:10:57 -!- password2 has quit (Max SendQ exceeded). 17:12:29 sqrt is not random at all. (You could take the digits of one particular square root, which have a good chance of being iid) 17:24:11 I know that it's not random 17:24:15 But my algorithm doesn't ;) 17:25:13 It detects Math.sqrt 17:25:17 but not Math.sqrt(n+1) 17:28:03 -!- ^v has joined. 17:28:09 -!- password2 has joined. 17:29:53 -!- ^v has quit (Read error: Connection reset by peer). 17:32:05 -!- Barby1 has joined. 17:33:03 Holaaaaaaa<3 17:33:48 -!- nooodl has joined. 17:34:29 :-D 17:35:57 -!- Phantom_Hoover has joined. 17:36:29 Him Barby1 17:36:44 hello!! 17:37:05 *hi 17:37:32 como estas? 17:38:08 Barby1: please stop coming to this channel. 17:38:20 Barby1: por favor deje de visitar este canal. 17:38:34 porque? 17:39:00 does anyone know spanish better than google here. 17:39:41 -!- Barby1 has quit (Quit: Leaving.). 17:39:52 elliott, does Barby1 have a history? 17:40:05 Taneb: *!~canaima@* has a history 17:40:14 OK 17:40:18 a history of joining and only speaking spanish for a few minutes before leaving 17:40:34 like, 90% of the time the spanish welcome has been used, it's to them 17:40:38 they just change nicks all the time 17:40:53 maybe I should just set a ban? but they haven't done anything /wrong/, I guess, it's just... a waste of time for both parties 17:41:10 I am not very good at nethack 17:41:19 That was a bit of a non-sequitur, I know 17:41:27 But I was going to say it before I spotted Barby1 17:42:18 try ftl, you'll be just as not good at it 17:42:40 Does ftl cost money 17:43:22 yes 17:44:02 I am afraid I do not have money right now 17:50:13 Any ideas how I can detect stuff like sqrt(n+1)? 17:50:24 sqrt(n+x) in generall. 17:51:33 funny 17:51:38 It detects (n+x)^p 17:51:43 but not (n+x)^(1/p) 17:52:54 -!- tertu3 has joined. 17:53:45 -!- password2 has quit (Ping timeout: 276 seconds). 17:54:45 -!- MoALTz has joined. 17:59:45 -!- MoALTz has quit (Quit: bbl). 18:04:44 -!- MoALTz has joined. 18:08:00 http://www.reddit.com/r/Bitcoin/comments/1zpyba/100_secure_paper_wallet_cold_storage_tutorial_out/ 18:08:04 man this is brilliant 18:08:28 "Use the linux command "echo -n my_dice_rolls | sha256sum" to generate a private key" your private key will be in your command history, for easy access!! 18:08:57 lol 18:09:28 and all you need is 33 dice lying around! 18:13:27 "Note: All source code produced by this campaign will always be publicly available under open source license. However building a WormSim from source is a complex operation that requires advanced engineering skills." advanced engineering skills to make 18:14:01 what is a wormsim 18:15:10 a c elegans simulation. 18:16:48 what 18:17:19 c elegans. a roundworm. nematode. 18:17:36 Advanced software engineering skills 18:18:47 Advanced social engineering skills to worm (npi) the building instructions out of someone. 18:19:27 they provide "Eclipse Juno distributions for the main OSs" 18:28:39 -!- Sprocklem has joined. 18:42:45 In this roguelike I am helping with, the strongest starting armour is a hawai'in t-shirt 18:42:49 Followed by a law suit 18:43:07 If I want to use rsync to transfer files between computers, is there an obvious choice for which is server and which is client? 18:43:26 I'm just wondering if it's primarily a download thing or does two-way sync 18:43:39 Sgeo: I use it both ways 18:44:22 there's no obvious choice, but sometimes stuff could restrict you if you don't bother to set up an ssh or rsync server on both sides 18:45:01 heck, I even use rsync for a few local copies 18:46:59 How sick should one be before considering taking a sick day? 18:47:09 I took a sick day today, and do feel sick, but not -very- sick 18:47:33 Sgeo: depends on how many sick days you have 18:48:13 Sgeo: If you can walk you're not sick enough 18:48:21 think of how many you will want to keep for the rest of the year 18:49:19 -!- tertu3 has quit (Ping timeout: 252 seconds). 18:49:32 I think it accumulates during the year, and the site that shows me how much time I have doesn't show how much will accumulate 18:50:08 Sgeo: definitely get to learn early and often about how many days of leave you have 18:50:41 if your calculation differs from that of your workplace by more than half a day, then talk to them about who doesn't understand the rules or who has made a mistake 18:51:07 do that early even if you have enough days of paid leave for now, so that later it can't cause a problem 18:51:11 I know I have 3 personal days a year that don't accumulate, and have been told by a coworker and my dad to generally use that first 18:51:41 But I think that's separate from sick time, I don't think using personal days for sick time makes sense, maybe for vacation time 18:51:57 the rules differ by country and occupation a lot of course, and depend on stuff 18:52:10 and can be complicated 18:53:36 -!- tertu3 has joined. 18:58:00 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 19:11:13 -!- Phantom_Hoover has joined. 19:22:24 -!- hexagon has quit (Quit: Here we are, going far to save all that we love - If we give all we've got, we will make it through - Here we are, like a star shining bright on your world - Today, make evil go away!). 19:22:35 -!- ^v has joined. 19:22:47 -!- hexagon has joined. 19:23:45 -!- hexagon has quit (Client Quit). 19:24:15 -!- hexagon has joined. 19:25:43 -!- nucular has quit (Quit: Switching to phone in a few minutes). 19:39:09 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 19:46:48 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 19:46:51 -!- conehead has joined. 19:47:05 -!- Phantom_Hoover has joined. 20:04:29 -!- tertu3 has quit (Ping timeout: 252 seconds). 20:04:40 -!- nisstyre has joined. 20:10:21 Aaaaah what can a CS society spend money on 20:11:48 A set of 3D-printed miniature figurines of famous computer science researchers. 20:12:13 A quantum computer to play quantum DOOM 20:13:13 a large collection of synthetic hallucinogens 20:15:27 and booze 20:15:41 Just a whole bunch of candy 20:15:51 The world's most expensive dildo 20:15:55 A piece of the true cross 20:16:10