00:01:10 -!- atrapado has quit (Quit: Leaving). 00:02:02 @messages-loop 00:02:02 int-e said 12h 24m 26s ago: after 7 hours of computation, this is the list of prime differences up to 100k: 15493, 18637, 43613, 45179, 61333, 67807, 68483, 80671, 87383. 00:02:02 int-e said 10m 36s ago: more Erdős-Woods numbers: http://int-e.eu/~bf3/tmp/b059756.txt 00:03:18 of course there would be a name for it. 00:03:34 Jafet found that via OEIS 00:03:38 also, of course erdős would be involved. 00:07:38 "the set of Erdős–Woods numbers is recursive" haven't we basically proved that too. 00:07:48 sure 00:10:09 We have membership of the decision problem (is n an E-W number?) in NEXPTIME. 00:11:27 from http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=4973800&fileId=S1446788700031220 "We conjecture and provide supporting evidence that all odd d have property (A)." 00:11:34 i think you've disproved that. 00:12:06 that was back in 1989, presumably he didn't have the computational power to check. 00:24:17 HackEgo is not a character. <-- now that's just mean. 00:24:29 `botsnack 00:24:45 ​>:-D 00:27:16 `snackego 00:27:18 @tell xfix Oh, right, Perl version used by HackEgo is too old, and doesn't recognize emoji characters. <-- we do have fairly new unicode data in the share/ directory, though. 00:27:18 Consider it noted. 00:27:21 ​:) 00:27:36 newnicode data 00:27:40 * oerjan updated it a few weeks ago. 00:28:09 I think they're adding emoji mor quickly than you can update the database. 00:28:15 e 00:28:31 although it's used in `multicode, probably not `perl. 00:28:38 `head bin/multicode 00:28:40 ​#!/usr/bin/python \ \ \ import os, glob, sys, unicodedata, locale, gzip, re, traceback, encodings \ import urllib, webbrowser, textwrap \ \ # bz2 was introduced in 2.3, we want this to work also with earlier versions \ try: \ import bz2 \ except ImportError: 00:29:16 shachaf: probably, i only updated it because people were complaining it was missing stuff. 00:29:50 `` ls share/U* 00:29:56 share/UnicodeData.txt 00:30:14 `head share/UnicodeData.txt 00:30:19 0000;;Cc;0;BN;;;;;N;NULL;;;; \ 0001;;Cc;0;BN;;;;;N;START OF HEADING;;;; \ 0002;;Cc;0;BN;;;;;N;START OF TEXT;;;; \ 0003;;Cc;0;BN;;;;;N;END OF TEXT;;;; \ 0004;;Cc;0;BN;;;;;N;END OF TRANSMISSION;;;; \ 0005;;Cc;0;BN;;;;;N;ENQUIRY;;;; \ 0006;;Cc;0;BN;;;;;N;ACKNOWLEDGE;;;; \ 0007;;Cc 00:30:35 `tail share/UnicodeData.txt 00:30:36 E01EA;VARIATION SELECTOR-251;Mn;0;NSM;;;;;N;;;;; \ E01EB;VARIATION SELECTOR-252;Mn;0;NSM;;;;;N;;;;; \ E01EC;VARIATION SELECTOR-253;Mn;0;NSM;;;;;N;;;;; \ E01ED;VARIATION SELECTOR-254;Mn;0;NSM;;;;;N;;;;; \ E01EE;VARIATION SELECTOR-255;Mn;0;NSM;;;;;N;;;;; \ E01EF;VARIATION SELECTOR-256;Mn;0;NSM;;;;;N;;;;; \ F0000;;Co;0;L;; 00:30:47 doesn't seem to have version info 00:30:49 I have a small program that processes UnicodeData.txt into a form useful for searching with less etc. 00:31:12 well `multicode allows lookup 00:31:59 `multicode 🇺🇸 00:32:03 U+1F1FA REGIONAL INDICATOR SYMBOL LETTER U \ UTF-8: f0 9f 87 ba UTF-16BE: d83cddfa Decimal: 🇺 \ 🇺 \ Category: So (Symbol, Other) \ Bidi: L (Left-to-Right) \ \ U+1F1F8 REGIONAL INDICATOR SYMBOL LETTER S \ UTF-8: f0 9f 87 b8 UTF-16BE: d83cddf8 Decimal: 🇸 \ 🇸 \ Category: So (Symbol, Other) \ Bidi: L (Left-to-Right) 00:32:48 * int-e decides to start http://int-e.eu/~bf3/oeis/ 00:32:51 `` ls -l share/UnicodeData.txt 00:32:55 ​-rw-r--r-- 1 5000 0 1686443 Jun 27 03:57 share/UnicodeData.txt 00:33:08 what's the 3 for 00:33:42 it's a number 00:33:57 http://ftp.unicode.org/Public/UNIDATA/ says "[TXT] UnicodeData.txt 16-May-2016 19:23 1.6M" 00:33:59 presumably there were accounts bf1 and bf2 before mine 00:34:11 `sha1sum share/UnicodeData.txt 00:34:13 caa1f90113a2f6c2134aadd6d68fbd62d00bba3c share/UnicodeData.txt 00:34:14 i assumed bf were your initials 00:34:28 and also, int-e.eu is your private domain 00:34:36 (this dates back to my first university account) 00:34:41 ah 00:35:00 i was wondering why you'd even have a ~username/ part. 00:35:01 yes, I could put it anywhere on that server... 00:35:11 I recommend the root directory. 00:35:12 ...but then I'd have to manipulate symlinks 00:35:20 That's where I put everything on my server and it's a complete mess. 00:35:20 shocking 00:35:28 shachaf: good policy 00:35:38 int-e: Only if your URIs are cool. 00:35:53 also the home directory gives everything a pleasant preliminary feeling 00:36:39 Sounds like it makes for uncool URIs. 00:36:44 -!- jaboja has joined. 00:36:57 shachaf: have I ever given the impression that I care about being cool? 00:36:57 i thought you would implement several oeis sequences in brainfuck :( 00:37:14 @google cool uris 00:37:15 https://www.w3.org/TR/cooluris/ 00:38:34 seriously, https://oeis.org/wiki/The_OEIS_Contributor's_License_Agreement 00:38:38 myname: admittedly i was vaguely hoping for that too 00:39:03 shachaf: my cool webpage is here: http://64.137.252.151/ 00:39:25 @google this page is under construction gifs 00:39:27 http://www.textfiles.com/underconstruction/ 00:39:27 Title: Please be patient - This Page is Under Construction! 00:39:35 Now that's a cool web page. 00:39:56 shachaf: I actually made the picture myself :P 00:40:08 Do you remember when every web page said that it was under construction? 00:40:13 probably spent the better part of an hour on it, in gimp. 00:40:14 I had a web page that said that it was under construction. 00:40:17 That's all it said. 00:41:14 I'm too tired for that license agreement... what happened to "email NJAS, and everything will be taken care of"? 00:42:27 int-e: just wait until you hear about the license agreement for project eula 00:43:51 "This seems to coincide with prime partitionable numbers in sense of Holsztynski & Strube" - that's basically the algorithm you used, i think. 00:46:41 whatever those are 00:46:54 from https://oeis.org/A059756 00:46:56 oh... you mean partition the primes left and right 00:47:22 well, you... they. 00:49:57 i think their linked table is too short to contain any odd ones 00:50:23 far too short 00:50:34 903 was the smallest odd one IIRC 00:52:31 hmm, maybe I'm still awake enough to check out what's going on with #11011 00:52:40 I just found an email that I wrote in 2004. 00:52:51 It's startlingly zzoesque. 00:53:01 gah oeis is so slow 00:53:37 does this mean in 12 years zzo38 will be startlingly shachafesque 00:53:49 MAYBE 00:54:09 I wrote an email to the gmail team and never got a reply. 00:54:25 A little less than a decade later, I joined the gmail team. 00:54:39 But I still never got a reply. 00:55:47 shachaf: you should find the original gmail inbox and reply yourself hth 00:56:00 *gmail team inbox 00:56:09 Well, I'm not involved anymore. 00:56:10 shachaf: you should try to find your email and reply. 00:56:14 oh. 00:56:18 ah, damn. 00:56:19 I wonder whether someone working at Google could find it today, though. 00:56:25 * oerjan does the redundance 00:56:33 @quote stereo 00:56:33 xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! 00:56:55 that... sounds astonishingly appropriate. 00:56:59 oerjan: hello, fellow bot! 00:57:05 `? weather 00:57:08 lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK 00:57:11 CYUL 302300Z 19014KT 30SM FEW060 FEW240 25/12 A3005 RMK SC1CI2 SC TR SLP177 DENSITY ALT 1100FT \ ENVA 302350Z 11007KT 9999 FEW004 BKN075 11/10 Q1004 RMK WIND 670FT VRB01KT \ ESSB 302350Z AUTO 26005KT 9999 BKN038/// 17/10 Q1005 \ KOAK 302353Z 31013G20KT 10SM FEW008 19/14 A2982 RMK AO2 SLP098 T01940139 10206 20178 58007 00:57:16 It's too cold here. 00:57:18 HELLO INT-E 00:57:28 What is int-e, anyway? 00:57:31 An interrupt? 00:57:45 inte vet jag 00:57:52 @google "int-e" 00:57:54 http://www.int-e.net/ 00:57:54 Title: International Conference on New Horizons in Education 00:58:21 heute die welt, morgens das sonnensystem! 00:58:46 somehow all-lowercase german seems wrong even to me 00:59:02 "morgens" is grammatically correct but may not express what you want. 00:59:02 Heute die Welt, Morgens das Sonnensystem! 00:59:16 What do I want to express? 00:59:21 And what does it express? 00:59:22 oh, and you don't even write lowercase anyway 00:59:31 ("morgens" = in the morning; "morgen" = tomorrow. "Morgen" = the morning) 00:59:39 oerjan: i do for sarcasm 00:59:47 WHY WOULD YOU 00:59:53 *cough* 00:59:56 FOR HTH! 01:00:07 @quote stereo 01:00:07 xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! 01:00:08 int-e: I searched on Google and copied from http://tvtropes.org/pmwiki/pmwiki.php/Main/TodayXTomorrowTheWorld 01:00:18 hm only one? 01:00:28 Oh, but http://www.bavarianilluminati.com/ says "morgen" 01:00:51 I remembered "morgen", so I'll go with that. 01:00:56 "enn heute gehört uns Deutschland und morgen die ganze Welt" .. so does tvtropes, at least once. 01:01:04 huh, where'd the "D" go? 01:01:28 int-e: thank you for the deutschlesson tdh 01:02:24 i was going to ask what "enn" meant. 01:03:10 int-e: Well, I was thinking of the Illuminati. 01:03:23 ITYMinati 01:03:37 boo, #11011 does not list related tickets. 01:04:03 int-e: wait, it's ghc trac? i was opening the oeis page... 01:04:10 oerjan: did you see shachaf's itymology pun? 01:04:20 "Decimal expansion of 4th root of 14. " 01:04:23 see it? he `learned it! 01:04:26 oerjan: heh. 01:05:01 `? butterfly 01:05:04 While some might think butterflies are descended from flies, that is a false entomology. 01:05:21 hmm, xkcd did that one a while ago 01:05:32 he did? 01:05:34 `cwlprits butterfly 01:05:38 i thought i made it up. 01:05:40 I don't remember that. 01:05:47 It reads like a classic oerjan pun. 01:05:49 https://xkcd.com/1012/ 01:05:51 oerjan 01:06:12 . o O ( He sometimes plagiarizes without noticing. ) 01:06:26 That's hardly plagiarism. 01:06:54 i don't see what correctness of the accusation has to do with it. 01:07:14 I think we can upgrade your plagiarism to a derivative work. 01:07:37 oh i already looked at #11011, in fact i subscribed yesterday. 01:07:38 If anything, plagiarism is integral to the creative process. 01:08:23 speaking of which I wonder what Nina Paley is doing these days... ... still working on her second movie. 01:08:37 boo, #11011 does not list related tickets. <-- hm didn't the wiki page linked have one? 01:09:43 https://archive.org/details/AllCreativeWorkIsDerivative 01:10:03 (no clue how well-known that one is) 01:10:53 oerjan: yes it does 01:11:54 -!- centrinia has joined. 01:11:55 oerjan: for the future, I'd start OEIS references with A. 01:12:49 And GHC bugs with "boo"? 01:13:27 hmm, the discussion earlier reminds me of the way that Birmingham Airport has a large sign on it saying "Hello world" 01:13:31 I thought that was really clever 01:13:49 hmm, not reliably, I think. But #nnnn without further explanation are very likely to be ghc tickets. 01:14:32 This does not extend to alphabetic or alphnumeric strings like #esoteric. 01:14:34 not INTERCAL constants? 01:15:01 int-e: also, http://narbonic.com/comic/august-28-september-2-2000/ 01:16:07 "Today Paris / Tomorrow Paris / Don't get greedy" 01:16:13 Maybe I should read GG. 01:18:32 -!- boily has quit (Quit: OTTOMAN CHICKEN). 01:19:07 Hmm, to read Narbonic again or not to read Narbonic again... 01:19:28 ...it was nice but there are probably better things to reread. 01:19:53 So this problem is NP-complete: Given a rooted directed graph where some of the nodes are marked, is there a path of length n from the root to a marked node for every n? 01:20:49 But it seems that proofs of that fact can be kind of complicated, even if they're verifiable in polynomial time? 01:21:50 scow 01:22:17 oh... there's some fun modular arithmetic in there... 01:25:02 shachaf: surely proofs are just a list of paths for each n? 01:25:21 Every natural n. 01:25:34 oh. 01:27:09 Cycles are allowed. So for a cycle of length m at depth n, you know that every number >= n which is equal to n mod m is covered. 01:27:18 So you just need to find a bunch of those or something. 01:27:41 i don't think that's precisely right 01:27:48 And as long as the number of those is small enough, and you manually provide paths for smaller n, then it should be OK. 01:28:59 The largest number not representable as the sum of p's and q's is pq-p-q ... if p and q are coprime. 01:29:33 if they're not coprime, there's obviously no largest number. 01:29:37 I'll treat it as a puzzle. 01:30:43 -!- centrinia has quit (Quit: Leaving). 01:30:55 (since right now, neither direction of NP-hardness is obvious to me) 01:31:05 s/hardness/completeness) 01:31:26 Normally this problem is expressed differently. 01:33:42 `url bin/len 01:33:45 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/len 01:33:59 `? lem 01:34:01 Stanisław Lem was a Polish logician who discovered the law of excluded middle. 01:37:53 -!- Jafet has joined. 01:38:24 -!- ais523 has quit. 01:38:51 also why don't cabal/hackage do incremental updates for the package database... <-- they're implementing that, i think. i thought it would be there for cabal 1.24 but apparently not. 01:40:32 not sure what held it up. 01:43:02 shachaf: reminds me of the proof that every number greater than 11 is the sum of a set of primes 01:43:55 which uses ramanujan's theorem that for all number 29 or greater, there is a prime between int(n/2) and n-11 01:48:23 Yay, cloud computing at its best! http://www.digitaltrends.com/mobile/swiftkey-data-leak/ 01:49:57 (this is an example of the rainy phase where the collected data falls down all over Earth) 01:51:17 int-e: somehow i cannot find any issue for it on github, though, only side mentions. 01:51:57 oerjan: I guess few people really suffer from that 01:52:22 int-e: i'm still speaking about incremental updates btw hth 01:52:27 (when I was complaining I had the experience of a 'cabal update' taking almost 15 minutes...) 01:52:46 well i also think it takes too long. maybe not that long. 01:53:04 especially when the promises i've read say the new system should take seconds. 01:53:52 well it's this mobile contract I have... I've exceeded my "fast connectivity" quota for the month. 01:55:07 ic 01:55:09 So they allow me 128kbd/s, bundled ISDN speed. 01:55:51 And 12MB/16kb = 750, 12.5 minutes. 01:55:59 int-e: btw there's apparently a stackage-related solution, stackage-update. 01:56:18 maybe 01:56:27 i guess snoyman got fed up with waiting again. 01:56:38 stackage will help until it decides to download a ghc binary. 01:56:46 or would... I'm not using stack. 01:57:01 stackage is not stack hth 01:57:30 all this new-fangled stuff is too much for me 01:57:54 in fact it said the "stackage-" prefix is only for convenience there 01:58:25 i'm not using stack either, although i'm wondering if i should. 01:58:43 but then, i'm not really programming for the time being. 01:59:04 well, I have this stupid bot to update 01:59:08 @botsnack 01:59:08 :) 01:59:15 @botsmack 01:59:15 :) 01:59:34 @botsnark 01:59:34 :) 02:00:45 but stackage would mean subscribing to one of the confederated package databases, or does it mirror hackage as well? 02:02:21 int-e: i think from what i'm reading that stackage-update is simply a drop-in replacement for cabal update, and actually uses hackage. 02:02:44 http://www.yesodweb.com/blog/2015/04/announcing-stackage-update 02:03:15 (also uses git) 02:05:52 hmm, thanks for the suggestion 02:06:32 Receiving objects: 100% (151532/151532), 22.97 MiB | 2.87 MiB/s, done. 02:06:55 That would be the initial fetch... so not helping me right now. 02:10:00 ah. runIn suDir acfDir "git" ["archive", "--format=tar", "-o", tarFile, "current-hackage"] Nothing ... how have I never heard of git-archive before? 02:13:47 tricky, it doesn't even use a branch... just a bunch of loose commits (with no parent). 02:23:09 oerjan: Why don't you think that's precisely right? 02:24:29 well it wasn't very clearly stated what "at depth n" means. 02:25:26 oh that's why int-e talked about pq-p-q 02:25:37 A cycle that starts at a node reachable from the root by a path of length n. 02:25:54 well it could be anywhere on that path. 02:26:15 *start anywhere 02:27:05 i think basically you can calculate all the shortest cycles involving each node. 02:27:25 at least that should be bounded in length. 02:27:28 hm 02:27:43 *cycle lengths 02:28:18 hm but different cycles of the same length might allow different extensions... 02:28:48 it's not immediately obviously to me that you can sum up all that needed information polynomially. 02:29:02 which is what makes it complicated, i guess. 02:29:51 let's see, every path longer than the number of nodes must involve a cycle. 02:30:57 ...but even without cycles, there might be exponentially many paths. 02:32:49 -!- byteflame has quit (Ping timeout: 265 seconds). 02:35:01 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:36:14 Is magick different from magic? <-- afaik "magick" is used by occultists to distinguish themselves from stage magicians hth 02:37:35 (no idea why myname didn't want you to know that.) 02:47:25 -!- byteflame has joined. 02:48:19 -!- byteflame has quit (Client Quit). 02:48:51 -!- byteflame has joined. 02:53:22 -!- byteflame has quit (Ping timeout: 244 seconds). 02:53:52 -!- miketo has quit (Ping timeout: 240 seconds). 02:54:26 -!- shikhin has changed nick to zgrepi. 02:55:03 -!- miketo has joined. 02:55:11 -!- zgrepi has changed nick to shikhin. 02:59:32 -!- miketo has quit (Ping timeout: 240 seconds). 03:03:02 -!- miketo has joined. 03:49:35 oerjan: Oh, you might go through a cycle -- or multiple cycles -- several times before reaching a marked node. It doesn't have to be at the end of your path, of course. 03:50:31 I guess that's what you were saying. 03:50:46 yes. 03:50:47 Also I'm not quite sure about the NP claim anymore. 03:51:39 shocking 03:59:17 I think I might just make shortcuts to the current Elixir accessor encoding. If something exclusively uses those shortcuts rather than the encoding directly, it will be compatible with new profunctors I extend those shortcuts with 04:07:30 I should probably learn Elixir 04:21:16 -!- Kaynato has quit (Ping timeout: 250 seconds). 04:23:27 -!- hppavilion[0] has joined. 04:46:03 int-e: I checked the Wikipedia reference, and now it seems that the problem is maybe coNP-complete. 04:47:51 NP-mplete 05:01:52 -!- hppavilion[0] has quit (Ping timeout: 240 seconds). 05:12:41 int-e: So this is the new problem: Given a rooted directed graph where some of the nodes are marked, is there an n such that there's no path of length n from the root to a marked node? 05:16:32 -!- jaboja has quit (Ping timeout: 260 seconds). 05:53:20 -!- byteflame has joined. 06:30:48 -!- Alcest has joined. 07:23:58 -!- miketo has quit (Quit: Leaving). 09:07:58 -!- hppavilion[0] has joined. 09:23:19 -!- oerjan has quit (Quit: Nite). 10:11:13 -!- WacksharJenkins has joined. 10:18:56 -!- Phantom_Hoover has joined. 10:31:38 -!- WacksharJenkins has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 10:40:37 -!- gamemanj has joined. 10:54:00 -!- hppavilion[0] has changed nick to hppavilion[1]. 10:54:29 In the minds of a politician, any growth in the economy is "our fault" and any shrinkage is "their faut" 10:54:35 s/faut/fault 10:54:41 Please, let us never teach them calculus 10:54:55 @messages-poud 10:54:55 oerjan said 1d 10h 53m 39s ago: New rule: From now on, "Glottal stop" must be pronounced in a cockney accent ("Glo'al stop") <-- just as long as you do the equivalent with "uvular trill" and "alveolar trill" twh *MWAHAHAHA* 10:55:15 @messages-pout 10:55:15 You don't have any messages 10:55:20 * gamemanj pouts 10:57:14 @tell oerjan did you find https://oeis.org/A111042 ? 10:57:14 Consider it noted. 10:57:22 They'll start taking the integral of everything 10:57:28 s/integral/derivative/ 10:57:46 no, only when it benefits them 10:58:09 "While the economic shrinkage is the opposition's fault, as is the accelerating rate of shrinkage, the slowing of this acceleration's acceleration is all us, baby" 10:59:50 ... 11:00:01 ow 12:46:58 Okay, awake enough to read http://oeis.org/wiki/The_OEIS_Contributor's_License_Agreement ... too much text. Her's the unacceptable bit: "You agree that OEIS may change [...] License Agreement [...] without advance notice." And this is the part that's important to them, because it allows them to make money: "You hereby grant a) to the Foundation and b) to the OEIS Users [...] a [...] license to... 12:47:04 ...[...] sublicense all or any of the foregoing license rights to others. [...]" 13:12:13 -!- boily has joined. 13:13:08 Hm... 13:13:25 Is there a way I can get texted when the news breaks of a major terrorist attack? 13:15:34 E2MANY 13:35:33 would I anger any people if lambdabot stopped supporting ghc-7.8... any people I care about? 13:39:34 hppavellon[1], izabellora, int-ello. 13:40:05 when was the last time the 7.8 branch updated? 13:41:21 NEVER 13:41:42 int-e: lambdabot should have a metar-like command for terrorism 13:42:07 Version 7.8.4 (released December 23rd 2014) 13:44:29 I guess I should ask about 7.6.3 instead... that's what debian stable ships. 13:44:52 but that ship has sailed 14:10:01 I wonder if the integer sequences are actually eligible for copyright protection 14:13:41 http://chartsme.com/ 14:15:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 14:16:01 Jafet: the sequences themselves certainly are not 14:16:18 Jafet: but the text on the A* pages is 14:56:27 there haven't been an oots in a long time... 15:01:46 -!- boily has set topic: Refrigerator | The interdisciplinary hub of Esoteric Programming Language Design and Deployment | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf. 15:24:08 -!- jaboja has joined. 15:29:42 -!- jaboja has quit (Ping timeout: 276 seconds). 15:32:28 -!- boily has quit (Quit: FORTUNE CHICKEN). 15:41:11 -!- jaboja has joined. 15:51:49 -!- atrapado has joined. 16:13:09 -!- bauen1 has quit (Ping timeout: 260 seconds). 16:16:39 -!- jaboja has quit (Ping timeout: 250 seconds). 16:24:58 -!- bauen1 has joined. 16:48:54 -!- Kaynato has joined. 17:07:06 -!- miketo has joined. 17:18:45 -!- augur has joined. 17:29:20 -!- augur has quit (Remote host closed the connection). 17:31:37 -!- augur has joined. 17:57:51 -!- jaboja has joined. 17:59:22 -!- augur has quit (Remote host closed the connection). 18:05:34 -!- augur has joined. 18:15:01 -!- augur has quit (Remote host closed the connection). 18:29:49 -!- miketo has quit (Ping timeout: 265 seconds). 18:30:20 -!- augur has joined. 18:36:25 sweetened condensed milk is really good for coffee 18:39:58 @tell hppavilion[1] you could make a terror alert command by running a google news search every half hour, grabbing place names 18:39:58 Consider it noted. 18:54:30 -!- augur has quit (Remote host closed the connection). 19:06:02 -!- ineiros has quit (Ping timeout: 258 seconds). 19:10:58 -!- ineiros has joined. 19:18:39 -!- ineiros has quit (Ping timeout: 250 seconds). 19:25:40 -!- ineiros has joined. 19:33:52 -!- jaboja has quit (Ping timeout: 252 seconds). 19:44:33 -!- atehwa has quit (Ping timeout: 240 seconds). 19:45:00 -!- augur has joined. 19:45:15 -!- atehwa has joined. 19:51:24 -!- atehwa_ has joined. 19:53:26 -!- atehwa has quit (Ping timeout: 265 seconds). 19:55:52 -!- atehwa_ has quit (Ping timeout: 252 seconds). 19:56:22 -!- atehwa has joined. 20:01:10 -!- atehwa has quit (Ping timeout: 265 seconds). 20:01:57 -!- atehwa has joined. 20:06:12 -!- atehwa has quit (Ping timeout: 240 seconds). 20:07:31 -!- haavard has joined. 20:08:05 -!- atehwa has joined. 20:09:48 why is there no fexecve that works on a fd instead of a filename? 20:10:30 i mean, there is but it's a library function 20:11:41 what should it be, then? 20:11:46 a syscall 20:12:31 why? execvp is not, neither are most exec* variants 20:12:32 -!- atehwa has quit (Ping timeout: 240 seconds). 20:12:42 i know it's not 20:12:57 i want to avoid the race between check and exec 20:14:13 -!- atehwa has joined. 20:14:52 hm, you mean a situation where you open a file, then outside of the program delete it and place a new thing at the path? 20:15:43 yes that 20:16:51 Can you exec /proc/self/fd/N? 20:17:43 -!- irctc905 has joined. 20:17:48 that's a symlink 20:18:09 it doesn't solve the issue 20:18:29 You have an FD to the file - perhaps read it, then write it somewhere else? 20:20:32 it breaks setuid 20:21:12 -!- irctc905 has quit (Client Quit). 20:21:33 izabera: It's not a normal symlink. If you remove the file it points at, it turns into a broken symlink to "/original/path (deleted)", and stays that way even if you create a new file at that location. 20:22:19 Seems useful. 20:23:04 i see 20:23:09 thanks fizzie 20:23:54 (There's apparently some other magic going on as well, because even creating a new file "/original/path (deleted)", while it makes the link look non-broken for ls, doesn't seem to make cat /proc/X/fd/Y to read from the new file.) 20:24:07 yes i just tried 20:26:32 this completely fixes my problem, thank you! 20:26:40 * izabera is gonna use fexecve *everywhere* 20:31:13 -!- impomatic_ has quit (Quit: http://corewar.co.uk). 21:09:27 -!- wob_jonas has joined. 21:17:03 `` /dev/stdin foo < /bin/echo 21:17:31 foo 21:28:55 Ha, sweet 21:33:49 Ha, ireFly 21:34:18 -!- atehwa has quit (Remote host closed the connection). 21:34:41 Hi 21:44:07 -!- hppavilion[1] has joined. 21:51:26 -!- jaboja has joined. 21:53:51 -!- gamemanj has quit (Ping timeout: 276 seconds). 21:59:17 is there a way to disable alt+f4 on windows 21:59:30 remap alt 21:59:48 alercah: nah, i use it too much 21:59:55 which is the problem 22:00:15 it's too easy for alt+5 to slip and become alt+f4==instakill app 22:01:16 quintopia: Remove f4 key 22:01:34 quintopia: You're lucky; on my laptop, the alt is unnecessary 22:02:14 why is 5 near f4? 22:02:22 hppavilion[1]: what. 22:02:32 alercah: laptop keyboard? 22:02:38 hppavilion[1]: that would be a great solution if i weren't fatally allergic to using keyboards with atrocious missing keycaps. I'd be blinded by the backlight with no keycap to cover it. 22:02:45 I think he meant f5 22:02:49 s/he/e/ 22:03:02 alercah: why would it not be? 22:03:09 it's normally nearer 4? 22:03:32 alercah: http://www.corsair.com/en-us/~/media/99691A2C9F3F49F69FA1B1204E768938.ashx 22:03:48 hah 22:04:08 f4 is right atop the 5 here, but there's a 2cm gap. 22:04:26 int-e: my fingers are more than 2cm wide, unfortunately 22:04:31 (between the function key row and the first row of the keyboard) 22:04:53 and when stretching my hand up with the thumb affixed to alt, it's hard to aim perfectly without looking 22:05:33 My laptop's function key row is a touch-sensitive strip that can toggle between F-keys and the special (brightness, media etc.) ones. 22:05:34 (actually, i think the gap here is only like 1.25 cm) 22:05:50 It's a-silly. 22:06:00 http://core0.staticworld.net/images/article/2014/04/lenovocarbonx1_2-100258973-orig.jpg <- look at that thing. 22:06:20 fizzie: wtf mate 22:06:25 There's also a split [home | end] button where caps lock would normally be, and the backspace has been split to a [ <- | delete ] key. 22:06:26 quintopia: maybe use some program that lets you globally bind something to that key combination, and make the binding something that doesn't do much 22:06:52 fizzie: at least you have a trackpoint. i wish every lenovo had one. 22:07:04 wob_jonas: suggestions? 22:07:04 That's the v2 revision of the Carbon X1 -- the v3 made it completely normal again. 22:07:13 trackpoint should be mandatory 22:07:20 alercah++ 22:07:20 (The function key row is again regular keys, and the split ones are whole again.) 22:07:39 http://www.laptopmag.com/images/wp/purch-api/incontent/2012/08/Lenovo_ThinkPad_X1_Carbon_G16.jpg <- looks like this now. 22:08:05 fizzie: nice, that looks better. are there replacement keycaps or something? 22:08:38 fizzie: it's nonstandard, but that is a much more convenient placement for home/end when i think about it. 22:08:51 Dunno. (It's a work laptop, I haven't really paid much attention to it.) 22:09:18 fizzie: that carbon g16 layout is identical to my laptop's 22:09:34 (the pageup/pagedn location is really annoying) 22:11:08 Esoteric is turning out to be a much more active channel than I imagined. 22:11:17 it's pretty great hth 22:11:34 Why is the eso lang community so active? 22:13:37 baordog: same as any well-working internet community. people talk not only about esolangs, but about all other stuff, and esolangs is just the excuse to bring birds of a feather together. 22:15:10 wob_jonas: did you watch much of the esa marathon? I'm gonna load up the video of the SM64 120-star race finale tonight. 22:16:10 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 22:16:52 -!- wob_jonas has joined. 22:17:16 quintopia: I watched a few videos from it, but it's much smaller and somewhat less impressive than GDQ 22:17:29 Yeah sorry to have missed gdq this year. 22:17:32 quintopia: it's particularly disappointing when they run the same game as in GDQ, but with worse skill 22:17:39 What's the new hotness in esolang? 22:17:49 baordog: you can still watch the videos on archive or youtube 22:17:51 wob_jonas: i was disappointed with some, but some others are actually pretty great 22:18:05 wob_jonas: the SMW 96 exit race was really good 22:18:10 (except you don't like races) 22:18:19 wait 22:18:20 no 22:18:22 quintopia: I still have to watch some of the GDQ videos, especially some of the final encodes where the temp encodes are bad 22:18:22 it wasn't a race 22:18:26 it was just a run 22:18:28 what? I like races 22:18:32 oh 22:18:33 well 22:18:37 it was someone else who didn't like races 22:18:45 the smw 96 exit run was well-played 22:18:57 there was a race i watched... 22:18:59 what was it 22:20:15 oh right 22:20:28 there was an excellent Limbo Any% Normal Route race! 22:20:37 in SGDQ, which game was that not very old puzzle game with nice 3d scenery graphics? I watched it once but now can't find it 22:20:44 those guys were neck-and-neck until the last world 22:20:51 Catherine? 22:21:09 oh 22:21:11 i know 22:21:15 The Witness 22:21:17 right? 22:21:22 not Catherine 22:21:44 yes, it's The Witness 22:21:45 thank you 22:32:03 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:39:20 -!- Phantom_Hoover has joined. 22:41:28 @massages-pud 22:41:28 Unknown command, try @list 22:41:37 @massages-pout 22:41:37 Unknown command, try @list 22:41:51 @massages-lout 22:41:51 Unknown command, try @list 22:41:57 @messages-loud 22:41:57 orin said 4h 1m 59s ago: you could make a terror alert command by running a google news search every half hour, grabbing place names 22:44:32 -!- byteflame has quit (Ping timeout: 258 seconds). 22:54:30 oerjan: are you sure hmph doesn't mean "his master's pooch's hmph" twh 22:55:37 i think it means "he makes puns here" hth 23:13:26 * baordog hears Catherine and gets all turned on. 23:20:31 baordog: ... 23:23:44 lol 23:24:29 Who doesn't get turned on by super hard games? 23:24:37 The Witness seems expensive 23:24:38 Anyone on here still play dwarf fortress? 23:25:23 Not as ridiculously expensive as No Man's Sky, but still. 23:26:32 (Kerbal Space Program is another surprisingly expensive game, imho) 23:27:09 Is No Man's Sky even out? 23:27:17 Or is it still in some kind of weird beta limbo? 23:28:49 not quite released yet 23:29:08 but it's supposed to come out *checks local time* this month 23:31:29 "preorder incentive"... 23:32:05 Oh well, I think I'll continue to play cheap old games... there's a near infinite supply of those. 23:44:16 -!- oerjan has joined. 23:44:23 ah, new month 23:45:36 and I still haven't solved shachaf's regular languages over single letter alphabet puzzle 23:45:37 yay 23:45:58 just be happy that you survived another month 23:46:48 (The graph with marked nodes thing can be viewed as universality of an NFA over a single letter alphabet.) 23:48:12 what platforms will get no mans sky? isnt it just ps4 or something? 23:48:36 helloerjan 23:48:52 PS4 and Windows. 23:49:17 oh boy 23:49:43 it is most likely worth to astronomical price 23:49:51 pun intended 23:49:56 badum tss 23:50:13 -!- atrapado has quit (Quit: Leaving). 23:52:00 hellopia 23:52:08 `date 23:52:15 Sun Jul 31 22:52:09 UTC 2016 23:52:23 @messages-bold 23:52:23 int-e said 12h 55m 8s ago: did you find https://oeis.org/A111042 ? 23:52:48 int-e: ah, no. 23:54:23 int-e: well, then oeis probably has all the info they want. 23:55:03 Trivia: OEIS will one day be exhaustive 23:55:05 apparently they appreciate extensions of sequences regardless 23:55:09 ok 23:55:44 i guess they may have more space now than in 2006.