00:01:14 -!- DHeadshot has quit (Quit: IceChat - Keeping PC's cool since 2000). 00:01:59 -!- hppavilion[1] has joined. 00:03:47 -!- JVander has joined. 00:06:07 -!- JVander has left ("Closing Window"). 00:15:50 -!- luxon has quit (Ping timeout: 244 seconds). 00:27:23 -!- oerjan has quit (Quit: Nite). 00:28:29 -!- Zarutian has quit (Quit: Zarutian). 00:37:17 -!- luxon has joined. 00:42:42 -!- moony has joined. 00:44:21 -!- luxon has quit (Ping timeout: 248 seconds). 00:55:51 @metar PAMR 00:55:52 PAMR 132353Z 27003KT 10SM OVC085 04/M02 A2886 RMK SLP773 T00391017 10044 21006 56019 VIA AUTODIAL 01:32:03 youtube video of kinsey talking about gender https://www.youtube.com/watch?v=48TYcrUp7Ag 02:06:05 -!- doesthiswork has joined. 02:06:29 -!- moony has quit (Ping timeout: 248 seconds). 02:21:58 Oooh 02:23:44 izalove: I just invented the word "auncle" [ænkɫ] or [aːnkɫ] to gender-generically describe a parent-sibling, parent-sibling-spouse, and parent-friend-from-college 02:24:22 (I first when with "aunclings" but then just dropped the ing) 02:24:54 why not spell it ankle? 02:25:21 And someone on #xkcd apparently knows a non-binary person who will soon be a parent-sibling and needs to figure out what they want to be called, and might go with that :D 02:25:32 then if they were cranky they'd be a crankle 02:50:21 -!- int-e has quit (Ping timeout: 265 seconds). 02:51:13 -!- MoALTz has quit (Quit: Leaving). 02:53:22 -!- izalove has changed nick to phy01729. 02:53:47 -!- phy01729 has changed nick to izalove. 03:21:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 04:17:46 -!- farrioth has joined. 05:03:28 O, I found in Wikipedia that in 2013 it was proven that there are infinitely many pairs of prime numbers differing by 70 million or less. 05:06:10 I found in Wikipedia that the bound was reduced to 246 by 2014. 05:06:48 That's quite a difference. 05:07:02 > 70000000-246 05:07:04 69999754 05:07:10 big number 05:08:17 It is still not quite proving the twin prime conjecture 05:08:34 Not quite. 05:11:14 shachaf: ...wait, 246? 05:11:53 Oh, I see 05:12:08 I thought That meant "ALL primes are within 246 of another prime number" 05:12:10 I was wrong 05:13:03 (Figured that'd throw a wrench in 1/ln(x)) 06:00:12 -!- doesthiswork has quit (Quit: Leaving.). 06:02:21 -!- otherbot has quit (Remote host closed the connection). 06:28:39 -!- Sprocklem has joined. 06:53:15 i do think we are down to 16, aren't we? 06:55:20 i still have no idea on how you prove such thing without knowing the exact number 06:59:27 myname: Oh? 06:59:51 So I'm watching Raiders of the Lost Ark 07:00:28 And upon checking Die Interweben, I have the following information 07:00:37 Indy was born 1899-07-01 07:00:48 Marion was born 1909-03-23 07:01:08 Marion and Indy had a relationship in the mid-1920s 07:02:31 Doing the math (assuming 1 year to be exactly 365.25 days for convenience), Marion turned 18 on- of course- 1927-03-23 07:03:43 Indy at that time would be 27.7 years old 07:04:04 Now, 1927 if pushing it for "mid-1920s", but it's acceptable 07:05:35 okay? 07:06:06 Following the x/2+7 rule, an 18-year-old's maximum dating age without being creepy is 22. Indy was over half a decade older than the cutoff for creepiness 07:06:48 nobody cares about that stupid rule 07:09:41 myname: THAT RULE IS LAW 07:09:52 it isn't 07:10:11 myname: Also, this way I can justifiably tell my sister she can't date until she's 14 07:11:15 that's totally gonna do a lot 07:11:38 -!- farrioth has quit (Quit: leaving). 07:14:17 myname: Because you can only date people where [your time of birth]/2+7*[length of year] < [time]-[their time of birth] < ([your time of birth] - 7*[length of year])*2 (all values measured in planck times) 07:14:42 Wait 07:14:46 No, some math was wrong 07:15:18 i don't care at all 07:15:39 But basically, since {people : satisfies that rule when age < 14 years} = {}, there's nobody who's datable 07:15:49 myname: What rule do you prefer? 07:16:08 none 07:16:22 myname: Would your name happen to be "Jared"? 07:16:36 no 07:38:19 -!- AnotherTest has joined. 07:38:41 i wanna write a firefox plugin but i don't know where to start 07:39:13 if i'm on a github page i often want to read comments on hackernews about that project 07:39:18 izalove: WebExtensions, apparently 07:39:29 i'll look into it, thanks 07:39:46 izalove: That is, I believe, the current recommendation for FireFox extensions. 07:44:26 And for all other browsers, for that matter- many are planning exclusive support to make extensions cross-browser 07:47:09 that would be useful and therefore will not happen anytime soon 07:48:12 myname: Yeah, probably not 07:51:55 -!- Akaibu has quit (Quit: Connection closed for inactivity). 08:01:43 -!- Sprocklem has quit (Ping timeout: 252 seconds). 08:08:38 -!- ineiros has quit (Ping timeout: 256 seconds). 08:09:37 © 08:09:38 OK 08:13:27 © 08:13:31 ...this is strange 08:34:37 -!- ineiros has joined. 08:35:29 `metar 08:36:08 @metar PAMR 08:36:08 PAMR 140753Z 00000KT 10SM FEW060 SCT075 BKN130 BKN200 06/M02 A2906 RMK SLP841 T00611022 VIA AUTODIAL 08:38:06 -!- Sprocklem has joined. 08:38:07 lambdabot: @metar 08:38:50 `cat metar 08:38:56 cat: metar: No such file or directory 08:43:26 -!- trn has joined. 08:55:44 `cat bin/metar 08:55:46 echo lambdabot: @metar $1 08:55:56 `doag bin/metar 08:56:29 No output. 08:56:45 `doag bin/metar 08:57:48 8070:2016-05-15 mkx bin/metar//echo lambdabot: @metar $1 08:58:17 -!- fractal has quit (Ping timeout: 240 seconds). 08:59:40 I see the context. 08:59:42 `? weather 08:59:51 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK PAMR 08:59:54 CYUL 140800Z 22012KT 15SM SCT240 08/03 A2984 RMK CI4 SLP108 \ ENVA 140850Z 10008KT 060V130 9999 DZ FEW018 SCT035 BKN060 06/M01 Q1010 TEMPO RA RMK WIND 670FT 16010KT \ ESSB 140850Z 21003KT 180V250 08:59:54 6000 BR SCT005 BKN021 02/01 Q1025 R30/19//65 \ KOAK 140853Z 00000KT 7SM MIFG FEW010 14/13 A3017 RMK AO2 SLP215 T01390133 58004 \ PAMR 140753Z 00000KT 10SM FEW060 SCT075 BKN130 BKN200 06/M02 A2906 08:59:54 RMK SLP841 T00611022 VIA AUTODIAL 09:00:07 It could be nice if `metar used @@ @@ (@where weather) when given multiple arguments. 09:00:31 -!- MoALTz has joined. 09:19:02 -!- AnotherTest has quit (Ping timeout: 246 seconds). 09:28:37 -!- Sprocklem has quit (Ping timeout: 268 seconds). 09:33:13 -!- fractal has joined. 10:04:13 -!- sebbu has quit (Ping timeout: 245 seconds). 10:23:55 ...wait, what? 10:24:14 @@ 10:24:17 @@ help 10:24:17 help 10:28:31 -!- sebbu has joined. 11:22:32 -!- int-e has joined. 11:34:06 -!- boily has joined. 11:34:15 AHOILY 11:34:29 HPPAVELLON[1] 11:34:32 #xkcd on Foonetic doesn't have anything like lambdabot apparently 11:34:54 Randall himself said "If anyone sees later, can you tell her ?" 11:35:02 And I was shocked 11:39:54 `? laparomorphism 11:44:35 -!- hppavilion[1] has quit (Quit: Leaving). 11:46:21 laparomorphism? ¯\(°​_o)/¯ 12:04:37 -!- AnotherTest has joined. 12:10:26 -!- Phantom_Hoover has joined. 12:10:42 -!- Phantom_Hoover has quit (Changing host). 12:10:42 -!- Phantom_Hoover has joined. 12:15:23 -!- oerjan has joined. 12:17:08 -!- AnotherTest has quit (Ping timeout: 245 seconds). 12:24:20 I found in Wikipedia that the bound was reduced to 246 by 2014 <-- . o O ( surely we (possibly i) must have mentioned some of this in channel... ) 12:25:10 long live Graham's Number! 12:25:19 * oerjan occasionally visited the web page for the reduction project, anyway 12:25:29 -!- AnotherTest has joined. 12:25:33 -!- boily has quit (Quit: FUNICULARY CHICKEN). 12:26:05 @ask boily how dare you leave just before i'm about to correct you -----### 12:26:05 Consider it noted. 12:26:52 @tell boily (it wasn't ramsey theory/graham's number but prime gaps) 12:26:53 Consider it noted. 12:27:26 hmm, but we had progress on Graham's number, too... some new lower bound? 12:27:46 wasn't it 11 or something 12:28:24 "The lower bound of 6 was later improved to 11 by Geoff Exoo in 2003,[3] and to 13 by Jerome Barkley in 2008." 12:28:31 ah 12:28:37 well, "recent" 12:30:58 wait what? 12:31:29 b_jonas: "old" math mentioned in the logs 12:31:37 or what are you confused about 12:31:59 * oerjan notes that "recent" and "old" are synonyms. 12:32:42 oerjan: I'm confused about what Graham's number means here. 12:33:06 Or which Ramsey number you're talking about, because the classical R(6,6) for simple graphs certainly can't be as low as 11 12:33:10 graham's number means G(64). 12:33:31 b_jonas: well it's ramsey theory, not ramsey theorem 12:33:54 https://en.wikipedia.org/wiki/Graham%27s_number#Context 12:35:04 oerjan: I see 12:35:29 so that Graham's number is a specific Ramsey type problem I hadn't heared of yet 12:35:54 and 13 is the best lower bound for it 13:01:51 This is funny, because this totally unrelated problem where 13 is the best lower bound known: http://mathoverflow.net/q/20558/35417 (the best upper bound is 50) 13:02:12 But then, all small natural numbers are famous for lots of reasons. 13:18:22 -!- lambdabot has quit (Remote host closed the connection). 13:24:35 -!- lambdabot has joined. 13:44:49 -!- oerjan has quit (Quit: Later). 14:00:26 -!- doesthiswork has joined. 14:02:28 -!- otherbot has joined. 14:38:37 WHAT? 14:38:45 but Hogsmeaded is in Scotland, not in England 14:40:30 @massages-lewd 14:40:30 Unknown command, try @list 14:40:34 @massages-leud 14:40:34 You don't have any messages 15:13:39 -!- ski has quit (Ping timeout: 252 seconds). 15:17:06 @tell boily Ceci n'est pas un message. 15:17:06 Consider it noted. 15:17:54 (if I'm lucky that was correct grammar) 15:23:27 HackEgo? are you asleep? 15:23:30 fungot, wake HackEgo up 15:23:31 b_jonas: there it is, tho, imho 15:23:53 `reboot 15:24:53 -!- xkapastel has joined. 15:27:31 -!- otherbot has quit (Ping timeout: 268 seconds). 15:28:59 -!- otherbot has joined. 15:35:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found 15:37:33 `? monomorphism 15:37:35 monomorphism? ¯\(°​_o)/¯ 15:37:39 `? isomorphism 15:37:40 Isomorphism is isomorphic to Phantom_Hoover up to isomorphism. 15:38:41 `? Phantom_Hoover 15:38:43 Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. 15:39:03 `? recursion 15:39:10 You might expect a reference to recursion here, but to make it interesting you'll actuallSTACK OVERFLOW 15:39:29 `? funpun 15:39:41 funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. Ur ungrf oryy crccref jvgu n cnffvba. Gur havg bs sha chaarel vf anzrq nsgre uvz. 15:40:52 `? supermoon 15:40:53 supermoon? ¯\(°​_o)/¯ 15:40:55 `? supervolcano 15:40:57 supervolcano? ¯\(°​_o)/¯ 15:44:13 -!- moony has joined. 15:44:14 moo 15:44:16 -ping 15:44:17 pong 15:45:21 Is a supermoon a moon that looks exceptionally red because of all the ash a supervolcano eruption has shot in the atmosphere? 15:59:27 -!- otherbot_ has joined. 16:00:11 -!- wlp1s1 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit ...). 16:00:12 -!- otherbot has quit (Quit: Restart requested by moony: bad). 16:00:12 -!- otherbot_ has quit (Client Quit). 16:00:57 -!- iczero has joined. 16:01:50 -!- otherbot has joined. 16:03:21 -!- iczero has changed nick to wlp1s1. 16:11:56 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50226&oldid=50192 * Enoua5 * (+7) 16:13:17 is the site under attack or somehting? its taking _FOREVER_ to load 16:13:25 aits been half a hour now 16:14:45 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50227&oldid=50226 * Enoua5 * (-7) Undo revision 50226 by [[Special:Contributions/Enoua5|Enoua5]] ([[User talk:Enoua5|talk]]) 16:14:55 It's hosted on a very cheap VPS provider ... which, I suspect, overcommits the resources very heavily. 16:15:32 s/on/at/ (grammar is hard) 16:16:50 -!- georgie25 has joined. 16:17:10 Quit 16:17:13 -!- georgie25 has left. 16:18:10 Well then 16:43:20 <\oren\> I am so psyched for the new Ghost in the shell movie 16:45:54 <\oren\> thank you masamune shirow 16:46:42 oerjan: Well, I knew that the bound had been reduced. 16:47:41 <\oren\> https://www.youtube.com/watch?v=G4VmJcZR0Yg 17:29:12 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 17:29:51 -!- Zarutian has joined. 17:32:33 -!- pan77 has joined. 17:33:54 -!- pan77 has left. 17:42:29 -!- augur has quit (Ping timeout: 258 seconds). 18:01:35 -!- AnotherTest has quit (Ping timeout: 252 seconds). 18:03:03 Western live-action adaptation of Ghost in the Shell.. Weird 18:03:27 They're trying to make it into the next Matrix? 18:04:34 Also a Depeche Mode remix 18:11:53 -!- Zarutian has quit (Quit: Zarutian). 18:12:17 -!- augur has joined. 18:34:14 -!- augur has quit (Ping timeout: 258 seconds). 18:35:10 -!- atrapado has joined. 18:36:47 -!- augur has joined. 18:38:00 -!- AnotherTest has joined. 18:39:13 -!- Phantom_Hoover has joined. 18:45:42 -!- DHeadshot has joined. 18:51:13 -!- Zarutian has joined. 18:51:43 -!- Zarutian has quit (Read error: Connection reset by peer). 18:52:12 -!- Zarutian has joined. 18:59:13 -!- xkapastel has quit (Quit: Connection closed for inactivity). 19:01:13 -!- hppavilion[1] has joined. 19:16:11 Dammit peer 19:16:22 Keeps resetting my Foonetic connection... 19:16:31 `? peer 19:17:20 Hackegsloooooow 19:17:42 Time to move servers again it appears 19:17:54 (Or whatever you usually do to speed up HackEgo) 19:18:01 fungot: at least you still work 19:18:01 hppavilion[1]: i'm sure we'll support more architectures/ intermediary forms' or something. cl has most of what you'd consider fundamental ideas of oo? 19:18:03 :) 19:18:24 fungot: I've never used cl, but if it works you can use it. 19:18:25 hppavilion[1]: i'm sure ms will tremble with fear at that letter and the following slide has appeared between slide 2 and slide 3. :p 19:18:42 fungot: Yes. Soon, the world will be ours! 19:18:42 hppavilion[1]: i totally agree. i've never had a case where it is the standard, but it doesn't 19:18:56 fungot: Yes, nobody has never done anything *quite* like this before 19:18:57 hppavilion[1]: the kilgame code. :p anyway, the visual feedback on the error, then lighttpd stops responding 19:19:12 `? peer 19:19:25 fungot: Shhhh! Don't mention the code on an unencrypted connection! 19:19:30 Peer Gynt is a famous Norwegian troll. His reviews are in high demand, but nowadays he amuses himself by resetting people's irc connections. 19:19:33 Peer Gynt is a famous Norwegian troll. His reviews are in high demand, but nowadays he amuses himself by resetting people's irc connections. 19:19:34 There you go 19:19:41 ?? 19:19:46 `dowg peer 19:20:15 9402:2016-10-23 slwd peer//s/no/No/ \ 9397:2016-10-22 ` sed -i \'s/\\. h/. H/\' wisdom/peer \ 9396:2016-10-22 ` sed -i \'s/peer gynt/Peer Gynt/\' wisdom/peer \ 9060:2016-09-22 revert \ 9059:2016-09-22 ` sed -i \'s/his/His/\' wisdom/peer \ 9058:2016-09-22 revert \ 9057:2016-09- 19:20:53 oerjan: why was that capitalized tdnh hth 19:21:03 `? oerjan 19:21:06 Your reverend IPAstymologist sweet potatolord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 19:21:33 `slwd oerjan//s#reverend IPAstymologist#esteemologist# 19:21:50 oerjan//Your esteemologist sweet potatolord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 19:22:07 `slwd peer//s#\.$# and torrenting his own files.# 19:22:11 peer//Peer Gynt is a famous Norwegian troll. His reviews are in high demand, but nowadays he amuses himself by resetting people's irc connections and torrenting his own files. 19:23:00 peer2peer. 19:23:14 `? wegians 19:23:15 you always gotta add something 19:23:17 A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham). 19:23:24 shachaf: I thought this one was justified. 19:23:28 `? member 19:23:30 I'm sorry, #esoteric has regulars, not members. Who told you about members? There are definitely no members here, and you wouldn't be allowed to know about them, anyway. 19:23:47 `? regular expression 19:23:49 regular expression? ¯\(°​_o)/¯ 19:23:50 shachaf: It was no worse a no worse pun than that about his reviews. 19:24:05 The entry is too much now. 19:24:14 shachaf: :( 19:24:18 A wisdom entry doesn't need to be an exhaustive list of every possible pun. 19:24:31 shachaf: I thought this particular pun was justified. 19:24:44 `le/rn regular expression//A regular expression is something often said by a #esoteric regular. 19:44:50 -!- knottiloos has joined. 19:45:13 are we still waiting for HackEgo to wake up? 19:45:17 -!- AnotherTest has quit (Ping timeout: 240 seconds). 19:45:33 izalove: Kind of 19:45:41 knottiloos: Hello. I heard you wanted to make something esoteric? 19:45:52 Is esoteric a language / platform? 19:45:56 * hppavilion[1] has to vanish for ~5 min Lunch 19:45:56 -!- AnotherTest has joined. 19:45:58 knottiloos: No 19:46:04 knottiloos: See esolangs.org 19:47:39 I see. I'm surprised this channel exist 19:48:38 Esoteric programming language can be many; it is not a specific language / platform 19:49:20 I prefer esoteric programs at the moment 19:50:19 knottiloos: Same thought process goes into it 19:50:28 What esoteric programs? 19:50:48 A programming language describes the grammar of a program 19:51:35 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50228&oldid=50227 * Enoua5 * (+58) added encoding notice 19:53:02 An esoteric program is one that can automate one of its own processes 19:54:37 It's interesting to watch a program shape itself to its input 19:55:25 Especially if the input varies a lot over time 19:56:24 `wisdom 19:56:33 firefly//FireFly was a short-running but well-loved sci-fi TV series released in 2003, starring Nathan Fillion and directed and written by Joss Whedon. 19:57:55 -!- DHeadshot has quit (Ping timeout: 265 seconds). 19:58:33 Is the set of all religions countable? 19:59:39 I don't know; it seems difficult, and also depends on how you count and group religions. 20:01:02 `cwlprits firefly 20:02:14 zzo38: I *think* it trivially is 20:02:55 No output. 20:02:55 That is suspiciously factually correct. 20:03:04 int-e: Which part 20:03:07 zzo38: Assuming a religion is designed by a holy corpus- a finite number of finite-length holy books- it seems easy 20:03:10 `cwlprits FireFly 20:03:21 (no, that won't help) 20:03:28 int-e: What won't? 20:03:36 You order the holy books in some fashion (there's a finite number, so it's definitely possible) 20:03:44 No output. 20:04:56 Yes, although I am not sure that definition is valid. 20:04:58 Oh, the holy books are of finite length, meaning there's a finite number of characters which are each chosen from a finite alphabet 20:05:25 zzo38: Let's assume we're only considering the finite religions, which are by definition that and all real-world religions are a member of 20:06:16 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50229&oldid=50228 * Enoua5 * (-20) realized i made a mistake in the interpreter, but i can't update it on this internet.. 20:06:17 Then, by arranging the finite number of holy books (in some fashion which definitely exists) and concatenating them 20:07:08 Every religion can be seen as a number written in base sigma, where sigma=|SIGMA| and SIGMA is the alphabet used 20:07:44 Considering only stuff like that then yes the set of all religions is clearly countable, but I am not sure that is the proper way to define the set of all religions. 20:08:19 Tanea, hmm. 20:08:21 zzo38: Are there any counterexamples? 20:08:31 (is the cwlprit) 20:08:51 (Obviously, this will lead to a LOT of repeats- it's not a proper bijection, more of an injection Religion -> Nat) 20:20:21 -!- DHeadshot has joined. 20:22:17 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 20:48:28 -!- Lord_of_Life has quit (Excess Flood). 20:48:42 -!- Lord_of_Life has joined. 20:58:25 -!- atrapado has quit (Quit: Leaving). 21:04:41 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50230&oldid=50229 * Enoua5 * (+74) 21:11:33 [wiki] [[Shuffle]] https://esolangs.org/w/index.php?diff=50231&oldid=50230 * Enoua5 * (+53) 21:11:48 -!- DHeadshot has quit (Ping timeout: 260 seconds). 21:13:36 What did the Scottish-Australian electronics engineer call his new bus architecture? 21:13:47 -!- DHeadshot has joined. 21:14:15 Zarutian, a bad joke *badum tiss* 21:14:21 plaidibus 21:17:02 -!- MoALTz has quit (Quit: Leaving). 21:19:05 no? not on the level of a Vogon groaner? 21:20:04 * moony dies 21:20:15 AAAAA TERRIBLE JOKE *gasp* AAAAAAAAA 21:21:39 you deprive me of my sense of gleefull mental sadism 21:22:27 MENTAL isnt it? 21:25:34 * Zarutian counts his marbles 21:26:05 this should be quick 21:26:41 yebb, still umpteen 22:03:23 -!- AnotherTest has quit (Ping timeout: 245 seconds). 22:04:02 -!- AnotherTest has joined. 22:08:28 <\oren\> Idea: a what if there was a mathematical property that becomes harder to check for smaller numbers, so that the best math people say 22:09:32 <\oren\> "We know there's at least one number like this among the integers from 2 to 67, but we have no way of knowing which ones" 22:11:42 <\oren\> we know 363 is one of the annoying numbers, and it's very likely that 5 is one, but we can't prove that 5 is. 22:12:12 <\oren\> wouldn't that be the most annoying thing? 22:15:15 Well, there are plenty of things that are just hard to check even for small numbers. 22:20:01 <\oren\> shachaf: right, but it would be incredibly annoying if there was a set A so that numbers with thousands of digits can be checked in O(nlogn) but numbers lower than a million start to take O(1/n^2) with a big constant 22:20:33 `wisdom 22:20:34 `wisdom 22:20:34 `wisdom 22:20:35 `wisdom 22:20:36 `wisdom 22:21:09 <\oren\> such that all the numbers from a million to many billions have been checked, but noone yet knows if the number 40 is an annoyign number 22:21:40 md5//MD5 is a hash algorithm mainly used by underdeveloped aliens. 22:21:42 siberia//Siberia is the capital of Finland. It's where the Fields Medal was first synthesised. 22:21:42 resume//A resume is something that you use in order to end a pause in employment. 22:21:42 remorse//.--. . --- .--. .-.. . / .-- .. - .... / -. --- / .-. . -- --- .-. ... . / .. -. ... .. ... - / --- -. / ... .- -.-- .. -. --. / . ...- . .-. -.-- - .... .. -. --. / .. -. / -- --- .-. ... . / -.-. --- -.. . --..-- / -... ..- - / --- -. .-.. -.-- / --- -. -.-. . .-.-.- 22:21:42 sugar//Sugar, spice, and everything nice. These were the ingredients chosen to create the perfect little girl. But Professor Utonium accidentally added an extra ingredient to the concoction: Chemical X! Thus the Powerpuff Girls were born! Using their ultra super powers, Blossom, Bubbles, and Buttercup have dedicated their lives to fighting crime an 22:21:53 <\oren\> #metagodelmath 22:21:56 i,i https://en.wikipedia.org/wiki/Strong_Law_of_Small_Numbers 22:22:11 `cwlprits sugar 22:22:19 b_jonäs 22:22:24 how did i guess 22:22:29 That entry is too long. 22:22:40 `forget sugar 22:22:42 Forget what? 22:22:44 `dowg md5 22:22:49 5133:2014-11-15 learn MD5 is a hash algorithm mainly used by underdeveloped aliens. 22:23:06 `dowg zzo38 22:23:10 0:2012-02-16 Initïal import. 22:23:25 `dowg ../bin/learn 22:23:29 8752:2016-07-06 sled bin/learn//s,[>].wisdom..topic.,>"$(echo-p "wisdom/$topic")", \ 7122:2016-03-06 ` echo $\'3s/Relearned/Learned/\\n3s/Learned/Relearned/\\nw\\n\' | ed bin/learn \ 7119:2016-03-06 ` echo $\'3i\\n[ -e "wisdom/$topic" ] && verb="Learned" || verb="Relearned"\\n.\\n5s/Learned/$verb/\\nw\\n\' | ed bi 22:23:35 `dowt ../bin/learn 22:23:38 0:2012-02-16 Initïal import. \ 121:2012-03-22 run mv bin test; touch bin \ 122:2012-03-22 run rm bin; mv test bin \ 195:2012-04-08 run rm -rf bin/* \ 2717:2013-04-14 sed -i \'s/tr A-Z a-z/lowercase/\' bin/learn \ 3561:2013-08-29 sed -i \'s/echo/echo -E/g\' bin/learn \ 3563:2013-08-29 `cat bin/hlnp 22:23:54 revset='tip:0 & ! (9071 | 9070 | 5897 | 5895 | 9075 | 9074 | 4530 | 4531 | 770 | 771 | 196 | 194 | 3342 | 3343 | 2114 | 2113)' \ hg log -r "$revset" "$@" | sed 's/\(\(^\| \)[ `wisdom 22:23:56 roujo//Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting. 22:24:07 <\oren\> `wisdom 22:24:08 `sled bin/hlnp//1s#..$# | 121 | 122&# 22:24:14 bin/hlnp//revset='tip:0 & ! (9071 | 9070 | 5897 | 5895 | 9075 | 9074 | 4530 | 4531 | 770 | 771 | 196 | 194 | 3342 | 3343 | 2114 | 2113 | 121 | 122)' \ hg log -r "$revset" "$@" | sed 's/\(\(^\| \)[ nit//Nits are there to be picked. 22:24:39 `doat bin/learn 22:24:44 0:2012-02-16 Initïal import. \ 195:2012-04-08 run rm -rf bin/* \ 2717:2013-04-14 sed -i \'s/tr A-Z a-z/lowercase/\' bin/learn \ 3561:2013-08-29 sed -i \'s/echo/echo -E/g\' bin/learn \ 3563:2013-08-29 revert 205a23bbf2a5 \ 3564:2013-08-29 revert \ 3565:2013-08-29 sed -i \'1s/sh/ba 22:24:51 <\oren\> `wisdom 22:24:53 brexit//brexit is a command to forcefully exit, releasing 1GB of free space. 22:24:55 Wait, 194 and 196? 22:25:04 `url 22:25:06 http://codu.org/projects/hackbot/fshg/ 22:25:15 <\oren\> `wisdom 22:25:16 ​ //  is a space, unless you're hackego and don't understand wide characters. 22:25:22 i'm trying to fix something 22:25:30 and we already did the 5 wisdoms 22:26:09 `sled bin/hlnp//s#194#195 | 194# 22:26:12 bin/hlnp//revset='tip:0 & ! (9071 | 9070 | 5897 | 5895 | 9075 | 9074 | 4530 | 4531 | 770 | 771 | 196 | 195 | 194 | 3342 | 3343 | 2114 | 2113 | 121 | 122)' \ hg log -r "$revset" "$@" | sed 's/\(\(^\| \)[ Man, what sort of jerk would rm -r wisdom/* and bin/*? 22:26:38 `doat bin/? 22:26:41 0:2012-02-16 Initïal import. \ 1075:2012-12-14 mkdir ibin; for i in bin/*; do if [ "`grep \'\\. lib/interp\' $i`" ]; then mv $i ibin/; fi; done; printf \'#!/bin/sh\\nCMD=`cut -d\' \' -f1 "$1"`\\nARG=`cut -d\' \' -f2- "$2"`\\nexec ibin/$CMD "$ARG"\' > bin/interp; chmod 0755 bin/interp \ 1081:2012-12-14 mv ibin/"?" bin \ 1304 22:27:02 -!- vifino has joined. 22:27:04 `doat bin/karma 22:27:11 0:2012-02-16 Initïal import. \ 5642:2015-06-21 rm bin -r \ 5643:2015-06-21 revert 22:27:33 `sled bin/hlnp//s#..$# | 5642 | 5643&# 22:27:36 bin/hlnp//revset='tip:0 & ! (9071 | 9070 | 5897 | 5895 | 9075 | 9074 | 4530 | 4531 | 770 | 771 | 196 | 195 | 194 | 3342 | 3343 | 2114 | 2113 | 121 | 122 | 5642 | 5643)' \ hg log -r "$revset" "$@" | sed 's/\(\(^\| \)[ `doat bin/? 22:27:54 0:2012-02-16 Initïal | 5642 | 5643 import. \ 1075:2012-12-14 | 5642 | 5643 mkdir ibin; for i in bin/*; do if [ "`grep \'\\. lib/interp\' $i`" ]; then mv $i ibin/; fi; done; printf \'#!/bin/sh\\nCMD=`cut -d\' \' -f1 "$1"`\\nARG=`cut -d\' \' -f2- "$2"`\\nexec ibin/$CMD "$ARG"\' > bin/interp; chmod 0755 bin/interp \ 1081:2012-12-14 `doat bin/welcome 22:29:21 0:2012-02-16 Initïal | 5642 | 5643 import. \ 4539:2014-04-02 | 5642 | 5643 rm bin/*elcom* \ 4637:2014-05-13 | 5642 | 5643 mv *elcom* bin \ 4638:2014-05-13 | 5642 | 5643 chmod +x bin/*elcom* 22:29:28 `revert 22:29:42 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 22:29:44 `sled bin/hlnp//1s#..$# | 5642 | 5643&# 22:29:54 bin/hlnp//revset='tip:0 & ! (9071 | 9070 | 5897 | 5895 | 9075 | 9074 | 4530 | 4531 | 770 | 771 | 196 | 195 | 194 | 3342 | 3343 | 2114 | 2113 | 121 | 122 | 5642 | 5643)' \ hg log -r "$revset" "$@" | sed 's/\(\(^\| \)[ `doat bin/welcome 22:29:55 0:2012-02-16 Initïal import. \ 4539:2014-04-02 rm bin/*elcom* \ 4637:2014-05-13 mv *elcom* bin \ 4638:2014-05-13 chmod +x bin/*elcom* 22:30:03 `doat . 22:30:13 0:2012-02-16 Initïal import. \ 1:2012-02-19 addquote the allocation is done by the "Dynamic" in DRAM before that we used SRAM where everything was preallocated in the factory olsner: So what's this SDRAM then? fizzie: synchronized, it's for multithreading \ 2:2012-02-21 pastelogs tree 22:36:34 -!- oerjan has joined. 22:46:53 -!- Lord_of_Life has quit (Excess Flood). 22:48:43 -!- vifino has quit (Quit: Who turned this off?! D:<). 22:49:15 oerjan: why was that capitalized tdnh hth <-- boily seemed to think it should be, and i didn't disagree enough to revert hth 22:50:12 -!- Lord_of_Life has joined. 22:51:22 -!- vifino has joined. 22:55:33 boerjan 22:55:55 bourgeois oerjan, i imagine 22:56:02 or bourjeois 22:56:53 -!- boily has joined. 22:57:59 bourgeois ly. 22:58:48 <\oren\> boorzhwa 22:58:55 bourgeois, moi? 22:59:02 @massages-loud 22:59:02 oerjan asked 10h 32m 56s ago: how dare you leave just before i'm about to correct you -----### 22:59:02 oerjan said 10h 32m 9s ago: (it wasn't ramsey theory/graham's number but prime gaps) 22:59:02 int-e said 7h 41m 55s ago: Ceci n'est pas un message. 22:59:26 hellørjan, he\\oren\, hellint-e. 22:59:34 int-e: Ceci n'est pas une réponse non plus. 23:00:05 Ceci n'est pas un portmantello. 23:01:28 ceci ne est pas un contraction 23:02:04 french has too many contractions 23:05:07 «une» contraction. it's feminine. 23:05:19 * Zarutian calls the lingustic midwife. 23:05:39 hellocontrachaf, Zarutellonne. 23:06:43 boily: nevertheless, it's not pregnant 23:06:49 so why all the contractions? 23:07:03 French is an efficient language! 23:07:15 (fsvo efficient, contractions may apply.) 23:07:17 efficient in space? 23:08:15 totalement. 23:09:15 boily: quote from an recent interview with an local artist "So, why did you go into hot-lava-scuplting as you call it? -Well, someone had to pioneer the form. -But isnt this expensive? Electricity wise? -Naah, I get it on shutoff-rates but then again I work late at night" 23:11:08 which local? 23:11:22 hipster lava sculptors use real volcanos, of course. 23:11:22 mine 23:11:28 tdh 23:12:07 halerca 23:12:10 hellorcah. 23:12:42 “I was into lava sculpting before it was cool.” 23:13:23 * oerjan gets popcorn to watch the automapoling 23:14:25 let me finish my bagel first... 23:14:28 <\oren\> crazy conspiracy theory: this entire election was orchestrated by Trump and his good friends the Clintons to defuse America 23:15:08 <\oren\> Trump promoted theories about Obama because he wanted Clinton to win in 2008 23:15:59 \oren\: i'm with you all the way up until "defuse america" 23:16:17 i suppose they may have spectacularly failed 23:16:27 <\oren\> the final act: Trump becomes president while annihilating the Republican Party 23:16:42 when did the suspiction of some people conspiring turn into crazy? 23:17:13 it must be crazy, i've thought of the same idea but didn't want to bring it up. 23:17:31 <\oren\> the Bushes live in shame forever, both parties shitting on the legacy of George W Bush 23:18:48 the republican party is the one that wants to get rid of the monarchy, right? 23:18:55 \oren\: seriously here: this nearly happend to the local Right Wing party during last elections but their time proven lizard-shed-tail stratedgy of using the Middle party they usualy make an ruling coalition with as the bus-scape-goat was somewhat effective. 23:19:30 shachaf: nono, the republican party is the royalists in disguise (generally) 23:19:50 -!- vifino has quit (Ping timeout: 256 seconds). 23:19:56 <\oren\> The next 4 presidents will be Chelsea Clinton, Eric Trump, Barron Trump 23:20:02 <\oren\> and Chelsea's daughter 23:20:04 * boily artfully *thwacks* himself upon the head. «ow.» 23:20:22 boily: i think your timing was ruined tdnh 23:20:30 <\oren\> dun... dun... DUN 23:20:36 or rather, someone ruined the channel with more politics. 23:20:42 i may have to ban everyone. 23:20:46 including myself. 23:20:54 * Zarutian time-pieces boily *þwacking* himself artfully upon his head. 23:21:02 start by banning otherbot twh 23:21:21 <\oren\> Which party wants to reinstate the monarchy? 23:22:14 `url 23:22:21 http://codu.org/projects/hackbot/fshg/ 23:22:44 `wisdom 23:22:45 `wisdom 23:22:46 `wisdom 23:22:48 `wisdom 23:22:48 `wisdom 23:22:53 yeeeesh//See yeeesh. 23:22:59 toe//The TOE is the Toe of Everything, from which our universe sprang. 23:23:00 -!- vifino has joined. 23:23:05 atrix//Atrix is a brand of hand cream. Not to be confused with atriq. 23:23:06 nundrum//A nundrum is the categorical dual of a conundrum: a problem whose solution is useless. 23:23:06 b_jonas//b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 23:23:29 * Zarutian is familiar with Atrix brand of hand cream. 23:23:32 shachaf: i've never seen otherbot babbling politics. 23:23:32 i'll let b_jonas have that one hth 23:23:43 oerjan: which makes it all the more insidious hth 23:23:44 ^style europarl 23:23:44 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 23:23:50 b_jonas: b_jellonas. do you certify this is Accurate Hungarian twh? 23:23:54 fungot: what do you think of banning political babblers? 23:23:55 oerjan: madam president, i should like to congratulate mr davies on his excellent report. in the long run; and member states are not at the moment. 23:24:10 fungot clearly hasn't heard the news from last week 23:24:10 shachaf: mr president, you and your colleagues trittin and fischer should say it, but i am confident that the problems of bosnia. they are made known, and we will certainly have to be converted, and you will have noted that what is at stake, we will stress in particular; that is to say, one that is exclusively a task for the eu to coordinate activity. 23:24:34 `` ls wisdom/thwack* 23:24:36 wisdom/thwackamacallit 23:25:10 `` mv wisdom/thwackamacallit wisdom/þwackamacallit 23:25:14 No output. 23:25:19 tdnh 23:25:25 `? þwackamacallit 23:25:28 A thwackamacallit is like a whatchamacallit, but more painful. See mapole. 23:25:39 i'm not a fan of that character 23:25:45 `revert 23:25:51 i used to like it but it's become a thorn in my side 23:25:54 shachaf: Too bad ;-Þ 23:25:56 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:27:29 <\oren\> it's interesting which countries in europe ended up keeping their monarchies and which didn't 23:31:37 <\oren\> hey, whatever happened to the iranian monarchy? 23:34:11 <\oren\> oh, he died in exile 23:34:48 * Zarutian is off to bed 23:35:03 -!- Zarutian has quit (Quit: Zarutian). 23:35:50 Change it to cp instead of mv if you really want to do that I think. 23:36:07 Or ln -s 23:36:14 Yes, I was going to also suggest ln 23:36:25 I thought hg had trouble with hard links? 23:36:33 zzo38: Do you think hard links of directories should be supported? 23:37:14 Do you mean in hg? I wouldn't know that. But in general, I think they would have to be 23:37:33 I mean in general. 23:37:45 They're usually not supported. 23:38:57 I think that in some cases it can help, but with the proper restrictions such as having to be on the same file system, and others 23:41:39 Do you think filesystems should have garbage collectors? 23:43:39 That could be one way to implement hard links, I suppose. But maybe there is better way 23:45:07 -!- hppavilion[1] has joined. 23:45:45 What better way? 23:46:17 -!- Sprocklem has joined. 23:46:21 I don't know. 23:48:39 -!- boily has quit (Quit: ELIXIR CHICKEN). 23:54:24 -!- moony has quit (Remote host closed the connection). 23:56:21 -!- DHeadshot has quit (Ping timeout: 248 seconds). 23:57:13 Is the name "Ziveruskex" good enough for a GURPS character I make up?