←2016-07-30 2016-07-31 2016-08-01→ ↑2016 ↑all
00:01:10 -!- atrapado has quit (Quit: Leaving).
00:02:02 <oerjan> @messages-loop
00:02:02 <lambdabot> 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 <lambdabot> int-e said 10m 36s ago: more Erdős-Woods numbers: http://int-e.eu/~bf3/tmp/b059756.txt
00:03:18 <oerjan> of course there would be a name for it.
00:03:34 <int-e> Jafet found that via OEIS
00:03:38 <oerjan> also, of course erdős would be involved.
00:07:38 <oerjan> "the set of Erdős–Woods numbers is recursive" haven't we basically proved that too.
00:07:48 <int-e> sure
00:10:09 <int-e> We have membership of the decision problem (is n an E-W number?) in NEXPTIME.
00:11:27 <oerjan> 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 <oerjan> i think you've disproved that.
00:12:06 <oerjan> that was back in 1989, presumably he didn't have the computational power to check.
00:24:17 <oerjan> <shachaf> HackEgo is not a character. <-- now that's just mean.
00:24:29 <oerjan> `botsnack
00:24:45 <HackEgo> ​>:-D
00:27:16 <shachaf> `snackego
00:27:18 <oerjan> @tell xfix <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 <lambdabot> Consider it noted.
00:27:21 <HackEgo> ​:)
00:27:36 <shachaf> newnicode data
00:27:40 * oerjan updated it a few weeks ago.
00:28:09 <shachaf> I think they're adding emoji mor quickly than you can update the database.
00:28:15 <shachaf> e
00:28:31 <oerjan> although it's used in `multicode, probably not `perl.
00:28:38 <oerjan> `head bin/multicode
00:28:40 <HackEgo> ​#!/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 <oerjan> shachaf: probably, i only updated it because people were complaining it was missing stuff.
00:29:50 <oerjan> `` ls share/U*
00:29:56 <HackEgo> share/UnicodeData.txt
00:30:14 <oerjan> `head share/UnicodeData.txt
00:30:19 <HackEgo> 0000;<control>;Cc;0;BN;;;;;N;NULL;;;; \ 0001;<control>;Cc;0;BN;;;;;N;START OF HEADING;;;; \ 0002;<control>;Cc;0;BN;;;;;N;START OF TEXT;;;; \ 0003;<control>;Cc;0;BN;;;;;N;END OF TEXT;;;; \ 0004;<control>;Cc;0;BN;;;;;N;END OF TRANSMISSION;;;; \ 0005;<control>;Cc;0;BN;;;;;N;ENQUIRY;;;; \ 0006;<control>;Cc;0;BN;;;;;N;ACKNOWLEDGE;;;; \ 0007;<control>;Cc
00:30:35 <oerjan> `tail share/UnicodeData.txt
00:30:36 <HackEgo> 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;<Plane 15 Private Use, First>;Co;0;L;;
00:30:47 <oerjan> doesn't seem to have version info
00:30:49 <shachaf> I have a small program that processes UnicodeData.txt into a form useful for searching with less etc.
00:31:12 <oerjan> well `multicode allows lookup
00:31:59 <oerjan> `multicode 🇺🇸
00:32:03 <HackEgo> U+1F1FA REGIONAL INDICATOR SYMBOL LETTER U \ UTF-8: f0 9f 87 ba UTF-16BE: d83cddfa Decimal: &#127482; \ 🇺 \ 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: &#127480; \ 🇸 \ 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 <shachaf> `` ls -l share/UnicodeData.txt
00:32:55 <HackEgo> ​-rw-r--r-- 1 5000 0 1686443 Jun 27 03:57 share/UnicodeData.txt
00:33:08 <oerjan> what's the 3 for
00:33:42 <int-e> it's a number
00:33:57 <shachaf> http://ftp.unicode.org/Public/UNIDATA/ says "[TXT] UnicodeData.txt 16-May-2016 19:23 1.6M"
00:33:59 <int-e> presumably there were accounts bf1 and bf2 before mine
00:34:11 <shachaf> `sha1sum share/UnicodeData.txt
00:34:13 <HackEgo> caa1f90113a2f6c2134aadd6d68fbd62d00bba3c share/UnicodeData.txt
00:34:14 <oerjan> i assumed bf were your initials
00:34:28 <oerjan> and also, int-e.eu is your private domain
00:34:36 <int-e> (this dates back to my first university account)
00:34:41 <oerjan> ah
00:35:00 <oerjan> i was wondering why you'd even have a ~username/ part.
00:35:01 <int-e> yes, I could put it anywhere on that server...
00:35:11 <shachaf> I recommend the root directory.
00:35:12 <int-e> ...but then I'd have to manipulate symlinks
00:35:20 <shachaf> That's where I put everything on my server and it's a complete mess.
00:35:20 <oerjan> shocking
00:35:28 <oerjan> shachaf: good policy
00:35:38 <shachaf> int-e: Only if your URIs are cool.
00:35:53 <int-e> also the home directory gives everything a pleasant preliminary feeling
00:36:39 <shachaf> Sounds like it makes for uncool URIs.
00:36:44 -!- jaboja has joined.
00:36:57 <int-e> shachaf: have I ever given the impression that I care about being cool?
00:36:57 <myname> i thought you would implement several oeis sequences in brainfuck :(
00:37:14 <shachaf> @google cool uris
00:37:15 <lambdabot> https://www.w3.org/TR/cooluris/
00:38:34 <int-e> seriously, https://oeis.org/wiki/The_OEIS_Contributor's_License_Agreement
00:38:38 <oerjan> myname: admittedly i was vaguely hoping for that too
00:39:03 <int-e> shachaf: my cool webpage is here:
00:39:25 <shachaf> @google this page is under construction gifs
00:39:27 <lambdabot> http://www.textfiles.com/underconstruction/
00:39:27 <lambdabot> Title: Please be patient - This Page is Under Construction!
00:39:35 <shachaf> Now that's a cool web page.
00:39:56 <int-e> shachaf: I actually made the picture myself :P
00:40:08 <shachaf> Do you remember when every web page said that it was under construction?
00:40:13 <int-e> probably spent the better part of an hour on it, in gimp.
00:40:14 <shachaf> I had a web page that said that it was under construction.
00:40:17 <shachaf> That's all it said.
00:41:14 <int-e> I'm too tired for that license agreement... what happened to "email NJAS, and everything will be taken care of"?
00:42:27 <shachaf> int-e: just wait until you hear about the license agreement for project eula
00:43:51 <oerjan> "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 <int-e> whatever those are
00:46:54 <oerjan> from https://oeis.org/A059756
00:46:56 <int-e> oh... you mean partition the primes left and right
00:47:22 <int-e> well, you... they.
00:49:57 <oerjan> i think their linked table is too short to contain any odd ones
00:50:23 <int-e> far too short
00:50:34 <int-e> 903 was the smallest odd one IIRC
00:52:31 <int-e> hmm, maybe I'm still awake enough to check out what's going on with #11011
00:52:40 <shachaf> I just found an email that I wrote in 2004.
00:52:51 <shachaf> It's startlingly zzoesque.
00:53:01 <oerjan> gah oeis is so slow
00:53:37 <oerjan> does this mean in 12 years zzo38 will be startlingly shachafesque
00:53:49 <shachaf> MAYBE
00:54:09 <shachaf> I wrote an email to the gmail team and never got a reply.
00:54:25 <shachaf> A little less than a decade later, I joined the gmail team.
00:54:39 <shachaf> But I still never got a reply.
00:55:47 <oerjan> shachaf: you should find the original gmail inbox and reply yourself hth
00:56:00 <oerjan> *gmail team inbox
00:56:09 <shachaf> Well, I'm not involved anymore.
00:56:10 <int-e> shachaf: you should try to find your email and reply.
00:56:14 <oerjan> oh.
00:56:18 <int-e> ah, damn.
00:56:19 <shachaf> I wonder whether someone working at Google could find it today, though.
00:56:25 * oerjan does the redundance
00:56:33 <int-e> @quote stereo
00:56:33 <lambdabot> xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo!
00:56:55 <int-e> that... sounds astonishingly appropriate.
00:56:59 <int-e> oerjan: hello, fellow bot!
00:57:05 <shachaf> `? weather
00:57:08 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
00:57:11 <lambdabot> 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 <shachaf> It's too cold here.
00:57:18 <oerjan> HELLO INT-E
00:57:28 <shachaf> What is int-e, anyway?
00:57:31 <shachaf> An interrupt?
00:57:45 <oerjan> inte vet jag
00:57:52 <shachaf> @google "int-e"
00:57:54 <lambdabot> http://www.int-e.net/
00:57:54 <lambdabot> Title: International Conference on New Horizons in Education
00:58:21 <shachaf> heute die welt, morgens das sonnensystem!
00:58:46 <oerjan> somehow all-lowercase german seems wrong even to me
00:59:02 <int-e> "morgens" is grammatically correct but may not express what you want.
00:59:02 <shachaf> Heute die Welt, Morgens das Sonnensystem!
00:59:16 <shachaf> What do I want to express?
00:59:21 <shachaf> And what does it express?
00:59:22 <oerjan> oh, and you don't even write lowercase anyway
00:59:31 <int-e> ("morgens" = in the morning; "morgen" = tomorrow. "Morgen" = the morning)
00:59:39 <shachaf> oerjan: i do for sarcasm
00:59:47 <oerjan> WHY WOULD YOU
00:59:53 <oerjan> *cough*
00:59:56 <boily> FOR HTH!
01:00:07 <oerjan> @quote stereo
01:00:07 <lambdabot> xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo!
01:00:08 <shachaf> int-e: I searched on Google and copied from http://tvtropes.org/pmwiki/pmwiki.php/Main/TodayXTomorrowTheWorld
01:00:18 <oerjan> hm only one?
01:00:28 <shachaf> Oh, but http://www.bavarianilluminati.com/ says "morgen"
01:00:51 <shachaf> I remembered "morgen", so I'll go with that.
01:00:56 <int-e> "enn heute gehört uns Deutschland und morgen die ganze Welt" .. so does tvtropes, at least once.
01:01:04 <int-e> huh, where'd the "D" go?
01:01:28 <shachaf> int-e: thank you for the deutschlesson tdh
01:02:24 <oerjan> i was going to ask what "enn" meant.
01:03:10 <shachaf> int-e: Well, I was thinking of the Illuminati.
01:03:23 <oerjan> ITYMinati
01:03:37 <int-e> boo, #11011 does not list related tickets.
01:04:03 <oerjan> int-e: wait, it's ghc trac? i was opening the oeis page...
01:04:10 <int-e> oerjan: did you see shachaf's itymology pun?
01:04:20 <oerjan> "Decimal expansion of 4th root of 14. "
01:04:23 <shachaf> see it? he `learned it!
01:04:26 <int-e> oerjan: heh.
01:05:01 <oerjan> `? butterfly
01:05:04 <HackEgo> While some might think butterflies are descended from flies, that is a false entomology.
01:05:21 <int-e> hmm, xkcd did that one a while ago
01:05:32 <oerjan> he did?
01:05:34 <shachaf> `cwlprits butterfly
01:05:38 <oerjan> i thought i made it up.
01:05:40 <shachaf> I don't remember that.
01:05:47 <shachaf> It reads like a classic oerjan pun.
01:05:49 <int-e> https://xkcd.com/1012/
01:05:51 <HackEgo> oerjan
01:06:12 <oerjan> . o O ( He sometimes plagiarizes without noticing. )
01:06:26 <shachaf> That's hardly plagiarism.
01:06:54 <oerjan> i don't see what correctness of the accusation has to do with it.
01:07:14 <int-e> I think we can upgrade your plagiarism to a derivative work.
01:07:37 <oerjan> oh i already looked at #11011, in fact i subscribed yesterday.
01:07:38 <shachaf> If anything, plagiarism is integral to the creative process.
01:08:23 <int-e> speaking of which I wonder what Nina Paley is doing these days... ... still working on her second movie.
01:08:37 <oerjan> <int-e> boo, #11011 does not list related tickets. <-- hm didn't the wiki page linked have one?
01:09:43 <int-e> https://archive.org/details/AllCreativeWorkIsDerivative
01:10:03 <int-e> (no clue how well-known that one is)
01:10:53 <int-e> oerjan: yes it does
01:11:54 -!- centrinia has joined.
01:11:55 <int-e> oerjan: for the future, I'd start OEIS references with A.
01:12:49 <shachaf> And GHC bugs with "boo"?
01:13:27 <ais523> hmm, the discussion earlier reminds me of the way that Birmingham Airport has a large sign on it saying "Hello world"
01:13:31 <ais523> I thought that was really clever
01:13:49 <int-e> hmm, not reliably, I think. But #nnnn without further explanation are very likely to be ghc tickets.
01:14:32 <int-e> This does not extend to alphabetic or alphnumeric strings like #esoteric.
01:14:34 <ais523> not INTERCAL constants?
01:15:01 <oerjan> int-e: also, http://narbonic.com/comic/august-28-september-2-2000/
01:16:07 <shachaf> "Today Paris / Tomorrow Paris / Don't get greedy"
01:16:13 <shachaf> Maybe I should read GG.
01:18:32 -!- boily has quit (Quit: OTTOMAN CHICKEN).
01:19:07 <int-e> Hmm, to read Narbonic again or not to read Narbonic again...
01:19:28 <int-e> ...it was nice but there are probably better things to reread.
01:19:53 <shachaf> 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 <shachaf> But it seems that proofs of that fact can be kind of complicated, even if they're verifiable in polynomial time?
01:21:50 <shachaf> scow
01:22:17 <int-e> oh... there's some fun modular arithmetic in there...
01:25:02 <oerjan> shachaf: surely proofs are just a list of paths for each n?
01:25:21 <shachaf> Every natural n.
01:25:34 <oerjan> oh.
01:27:09 <shachaf> 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 <shachaf> So you just need to find a bunch of those or something.
01:27:41 <oerjan> i don't think that's precisely right
01:27:48 <shachaf> 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 <int-e> 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 <oerjan> if they're not coprime, there's obviously no largest number.
01:29:37 <int-e> I'll treat it as a puzzle.
01:30:43 -!- centrinia has quit (Quit: Leaving).
01:30:55 <int-e> (since right now, neither direction of NP-hardness is obvious to me)
01:31:05 <int-e> s/hardness/completeness)
01:31:26 <shachaf> Normally this problem is expressed differently.
01:33:42 <oerjan> `url bin/len
01:33:45 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/len
01:33:59 <shachaf> `? lem
01:34:01 <HackEgo> 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 <oerjan> <int-e> 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 <oerjan> not sure what held it up.
01:43:02 <quintopia> shachaf: reminds me of the proof that every number greater than 11 is the sum of a set of primes
01:43:55 <quintopia> 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 <int-e> Yay, cloud computing at its best! http://www.digitaltrends.com/mobile/swiftkey-data-leak/
01:49:57 <int-e> (this is an example of the rainy phase where the collected data falls down all over Earth)
01:51:17 <oerjan> int-e: somehow i cannot find any issue for it on github, though, only side mentions.
01:51:57 <int-e> oerjan: I guess few people really suffer from that
01:52:22 <oerjan> int-e: i'm still speaking about incremental updates btw hth
01:52:27 <int-e> (when I was complaining I had the experience of a 'cabal update' taking almost 15 minutes...)
01:52:46 <oerjan> well i also think it takes too long. maybe not that long.
01:53:04 <oerjan> especially when the promises i've read say the new system should take seconds.
01:53:52 <int-e> well it's this mobile contract I have... I've exceeded my "fast connectivity" quota for the month.
01:55:07 <oerjan> ic
01:55:09 <int-e> So they allow me 128kbd/s, bundled ISDN speed.
01:55:51 <int-e> And 12MB/16kb = 750, 12.5 minutes.
01:55:59 <oerjan> int-e: btw there's apparently a stackage-related solution, stackage-update.
01:56:18 <int-e> maybe
01:56:27 <oerjan> i guess snoyman got fed up with waiting again.
01:56:38 <int-e> stackage will help until it decides to download a ghc binary.
01:56:46 <int-e> or would... I'm not using stack.
01:57:01 <oerjan> stackage is not stack hth
01:57:30 <int-e> all this new-fangled stuff is too much for me
01:57:54 <oerjan> in fact it said the "stackage-" prefix is only for convenience there
01:58:25 <oerjan> i'm not using stack either, although i'm wondering if i should.
01:58:43 <oerjan> but then, i'm not really programming for the time being.
01:59:04 <int-e> well, I have this stupid bot to update
01:59:08 <int-e> @botsnack
01:59:08 <lambdabot> :)
01:59:15 <int-e> @botsmack
01:59:15 <lambdabot> :)
01:59:34 <oerjan> @botsnark
01:59:34 <lambdabot> :)
02:00:45 <int-e> but stackage would mean subscribing to one of the confederated package databases, or does it mirror hackage as well?
02:02:21 <oerjan> 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 <oerjan> http://www.yesodweb.com/blog/2015/04/announcing-stackage-update
02:03:15 <oerjan> (also uses git)
02:05:52 <int-e> hmm, thanks for the suggestion
02:06:32 <int-e> Receiving objects: 100% (151532/151532), 22.97 MiB | 2.87 MiB/s, done.
02:06:55 <int-e> That would be the initial fetch... so not helping me right now.
02:10:00 <int-e> 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 <int-e> tricky, it doesn't even use a branch... just a bunch of loose commits (with no parent).
02:23:09 <shachaf> oerjan: Why don't you think that's precisely right?
02:24:29 <oerjan> well it wasn't very clearly stated what "at depth n" means.
02:25:26 <oerjan> oh that's why int-e talked about pq-p-q
02:25:37 <shachaf> A cycle that starts at a node reachable from the root by a path of length n.
02:25:54 <oerjan> well it could be anywhere on that path.
02:26:15 <oerjan> *start anywhere
02:27:05 <oerjan> i think basically you can calculate all the shortest cycles involving each node.
02:27:25 <oerjan> at least that should be bounded in length.
02:27:28 <oerjan> hm
02:27:43 <oerjan> *cycle lengths
02:28:18 <oerjan> hm but different cycles of the same length might allow different extensions...
02:28:48 <oerjan> it's not immediately obviously to me that you can sum up all that needed information polynomially.
02:29:02 <oerjan> which is what makes it complicated, i guess.
02:29:51 <oerjan> let's see, every path longer than the number of nodes must involve a cycle.
02:30:57 <oerjan> ...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 <oerjan> <shachaf> Is magick different from magic? <-- afaik "magick" is used by occultists to distinguish themselves from stage magicians hth
02:37:35 <oerjan> (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 <shachaf> 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 <shachaf> I guess that's what you were saying.
03:50:46 <oerjan> yes.
03:50:47 <shachaf> Also I'm not quite sure about the NP claim anymore.
03:51:39 <oerjan> shocking
03:59:17 <Sgeo> 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 <alercah> 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 <shachaf> int-e: I checked the Wikipedia reference, and now it seems that the problem is maybe coNP-complete.
04:47:51 <oerjan> NP-mplete
05:01:52 -!- hppavilion[0] has quit (Ping timeout: 240 seconds).
05:12:41 <shachaf> 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 <hppavilion[1]> In the minds of a politician, any growth in the economy is "our fault" and any shrinkage is "their faut"
10:54:35 <hppavilion[1]> s/faut/fault
10:54:41 <hppavilion[1]> Please, let us never teach them calculus
10:54:55 <hppavilion[1]> @messages-poud
10:54:55 <lambdabot> oerjan said 1d 10h 53m 39s ago: <hppavilion[2]> 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 <gamemanj> @messages-pout
10:55:15 <lambdabot> You don't have any messages
10:55:20 * gamemanj pouts
10:57:14 <int-e> @tell oerjan did you find https://oeis.org/A111042 ?
10:57:14 <lambdabot> Consider it noted.
10:57:22 <hppavilion[1]> They'll start taking the integral of everything
10:57:28 <hppavilion[1]> s/integral/derivative/
10:57:46 <gamemanj> no, only when it benefits them
10:58:09 <hppavilion[1]> "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 <gamemanj> ...
11:00:01 <gamemanj> ow
12:46:58 <int-e> 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 <int-e> ...[...] sublicense all or any of the foregoing license rights to others. [...]"
13:12:13 -!- boily has joined.
13:13:08 <hppavilion[1]> Hm...
13:13:25 <hppavilion[1]> Is there a way I can get texted when the news breaks of a major terrorist attack?
13:15:34 <izabera> E2MANY
13:35:33 <int-e> would I anger any people if lambdabot stopped supporting ghc-7.8... any people I care about?
13:39:34 <boily> hppavellon[1], izabellora, int-ello.
13:40:05 <boily> when was the last time the 7.8 branch updated?
13:41:21 <hppavilion[1]> NEVER
13:41:42 <hppavilion[1]> int-e: lambdabot should have a metar-like command for terrorism
13:42:07 <int-e> Version 7.8.4 (released December 23rd 2014)
13:44:29 <int-e> I guess I should ask about 7.6.3 instead... that's what debian stable ships.
13:44:52 <int-e> but that ship has sailed
14:10:01 <Jafet> I wonder if the integer sequences are actually eligible for copyright protection
14:13:41 <izabera> http://chartsme.com/
14:15:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
14:16:01 <int-e> Jafet: the sequences themselves certainly are not
14:16:18 <int-e> Jafet: but the text on the A* pages is
14:56:27 <boily> 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 <orin> sweetened condensed milk is really good for coffee
18:39:58 <orin> @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 <lambdabot> 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 <izabera> why is there no fexecve that works on a fd instead of a filename?
20:10:30 <izabera> i mean, there is but it's a library function
20:11:41 <nortti> what should it be, then?
20:11:46 <izabera> a syscall
20:12:31 <nortti> why? execvp is not, neither are most exec* variants
20:12:32 -!- atehwa has quit (Ping timeout: 240 seconds).
20:12:42 <izabera> i know it's not
20:12:57 <izabera> i want to avoid the race between check and exec
20:14:13 -!- atehwa has joined.
20:14:52 <nortti> 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 <izabera> yes that
20:16:51 <fizzie> Can you exec /proc/self/fd/N?
20:17:43 -!- irctc905 has joined.
20:17:48 <izabera> that's a symlink
20:18:09 <izabera> it doesn't solve the issue
20:18:29 <gamemanj> You have an FD to the file - perhaps read it, then write it somewhere else?
20:20:32 <izabera> it breaks setuid
20:21:12 -!- irctc905 has quit (Client Quit).
20:21:33 <fizzie> 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 <gamemanj> Seems useful.
20:23:04 <izabera> i see
20:23:09 <izabera> thanks fizzie
20:23:54 <fizzie> (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 <izabera> yes i just tried
20:26:32 <izabera> 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 <izabera> `` /dev/stdin foo < /bin/echo
21:17:31 <HackEgo> foo
21:28:55 <FireFly> Ha, sweet
21:33:49 <shachaf> Ha, ireFly
21:34:18 -!- atehwa has quit (Remote host closed the connection).
21:34:41 <FireFly> 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 <quintopia> is there a way to disable alt+f4 on windows
21:59:30 <alercah> remap alt
21:59:48 <quintopia> alercah: nah, i use it too much
21:59:55 <quintopia> which is the problem
22:00:15 <quintopia> it's too easy for alt+5 to slip and become alt+f4==instakill app
22:01:16 <hppavilion[1]> quintopia: Remove f4 key
22:01:34 <hppavilion[1]> quintopia: You're lucky; on my laptop, the alt is unnecessary
22:02:14 <alercah> why is 5 near f4?
22:02:22 <alercah> hppavilion[1]: what.
22:02:32 <int-e> alercah: laptop keyboard?
22:02:38 <quintopia> 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 <hppavilion[1]> I think he meant f5
22:02:49 <hppavilion[1]> s/he/e/
22:03:02 <quintopia> alercah: why would it not be?
22:03:09 <alercah> it's normally nearer 4?
22:03:32 <quintopia> alercah: http://www.corsair.com/en-us/~/media/99691A2C9F3F49F69FA1B1204E768938.ashx
22:03:48 <alercah> hah
22:04:08 <int-e> f4 is right atop the 5 here, but there's a 2cm gap.
22:04:26 <quintopia> int-e: my fingers are more than 2cm wide, unfortunately
22:04:31 <int-e> (between the function key row and the first row of the keyboard)
22:04:53 <quintopia> and when stretching my hand up with the thumb affixed to alt, it's hard to aim perfectly without looking
22:05:33 <fizzie> 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 <quintopia> (actually, i think the gap here is only like 1.25 cm)
22:05:50 <fizzie> It's a-silly.
22:06:00 <fizzie> http://core0.staticworld.net/images/article/2014/04/lenovocarbonx1_2-100258973-orig.jpg <- look at that thing.
22:06:20 <quintopia> fizzie: wtf mate
22:06:25 <fizzie> 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 <wob_jonas> 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 <quintopia> fizzie: at least you have a trackpoint. i wish every lenovo had one.
22:07:04 <quintopia> wob_jonas: suggestions?
22:07:04 <fizzie> That's the v2 revision of the Carbon X1 -- the v3 made it completely normal again.
22:07:13 <alercah> trackpoint should be mandatory
22:07:20 <quintopia> alercah++
22:07:20 <fizzie> (The function key row is again regular keys, and the split ones are whole again.)
22:07:39 <fizzie> http://www.laptopmag.com/images/wp/purch-api/incontent/2012/08/Lenovo_ThinkPad_X1_Carbon_G16.jpg <- looks like this now.
22:08:05 <wob_jonas> fizzie: nice, that looks better. are there replacement keycaps or something?
22:08:38 <quintopia> fizzie: it's nonstandard, but that is a much more convenient placement for home/end when i think about it.
22:08:51 <fizzie> Dunno. (It's a work laptop, I haven't really paid much attention to it.)
22:09:18 <quintopia> fizzie: that carbon g16 layout is identical to my laptop's
22:09:34 <quintopia> (the pageup/pagedn location is really annoying)
22:11:08 <baordog> Esoteric is turning out to be a much more active channel than I imagined.
22:11:17 <alercah> it's pretty great hth
22:11:34 <baordog> Why is the eso lang community so active?
22:13:37 <wob_jonas> 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 <quintopia> 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 <wob_jonas> quintopia: I watched a few videos from it, but it's much smaller and somewhat less impressive than GDQ
22:17:29 <baordog> Yeah sorry to have missed gdq this year.
22:17:32 <wob_jonas> quintopia: it's particularly disappointing when they run the same game as in GDQ, but with worse skill
22:17:39 <baordog> What's the new hotness in esolang?
22:17:49 <wob_jonas> baordog: you can still watch the videos on archive or youtube
22:17:51 <quintopia> wob_jonas: i was disappointed with some, but some others are actually pretty great
22:18:05 <quintopia> wob_jonas: the SMW 96 exit race was really good
22:18:10 <quintopia> (except you don't like races)
22:18:19 <quintopia> wait
22:18:20 <quintopia> no
22:18:22 <wob_jonas> 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 <quintopia> it wasn't a race
22:18:26 <quintopia> it was just a run
22:18:28 <wob_jonas> what? I like races
22:18:32 <quintopia> oh
22:18:33 <quintopia> well
22:18:37 <wob_jonas> it was someone else who didn't like races
22:18:45 <quintopia> the smw 96 exit run was well-played
22:18:57 <quintopia> there was a race i watched...
22:18:59 <quintopia> what was it
22:20:15 <quintopia> oh right
22:20:28 <quintopia> there was an excellent Limbo Any% Normal Route race!
22:20:37 <wob_jonas> 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 <quintopia> those guys were neck-and-neck until the last world
22:20:51 <quintopia> Catherine?
22:21:09 <quintopia> oh
22:21:11 <quintopia> i know
22:21:15 <quintopia> The Witness
22:21:17 <quintopia> right?
22:21:22 <wob_jonas> not Catherine
22:21:44 <wob_jonas> yes, it's The Witness
22:21:45 <wob_jonas> thank you
22:32:03 -!- Phantom_Hoover has quit (Remote host closed the connection).
22:39:20 -!- Phantom_Hoover has joined.
22:41:28 <hppavilion[1]> @massages-pud
22:41:28 <lambdabot> Unknown command, try @list
22:41:37 <hppavilion[1]> @massages-pout
22:41:37 <lambdabot> Unknown command, try @list
22:41:51 <hppavilion[1]> @massages-lout
22:41:51 <lambdabot> Unknown command, try @list
22:41:57 <hppavilion[1]> @messages-loud
22:41:57 <lambdabot> 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 <shachaf> oerjan: are you sure hmph doesn't mean "his master's pooch's hmph" twh
22:55:37 <quintopia> i think it means "he makes puns here" hth
23:13:26 * baordog hears Catherine and gets all turned on.
23:20:31 <hppavilion[1]> baordog: ...
23:23:44 <baordog> lol
23:24:29 <baordog> Who doesn't get turned on by super hard games?
23:24:37 <int-e> The Witness seems expensive
23:24:38 <baordog> Anyone on here still play dwarf fortress?
23:25:23 <int-e> Not as ridiculously expensive as No Man's Sky, but still.
23:26:32 <int-e> (Kerbal Space Program is another surprisingly expensive game, imho)
23:27:09 <baordog> Is No Man's Sky even out?
23:27:17 <baordog> Or is it still in some kind of weird beta limbo?
23:28:49 <int-e> not quite released yet
23:29:08 <int-e> but it's supposed to come out *checks local time* this month
23:31:29 <int-e> "preorder incentive"...
23:32:05 <int-e> 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 <oerjan> ah, new month
23:45:36 <int-e> and I still haven't solved shachaf's regular languages over single letter alphabet puzzle
23:45:37 <izabera> yay
23:45:58 <izabera> just be happy that you survived another month
23:46:48 <int-e> (The graph with marked nodes thing can be viewed as universality of an NFA over a single letter alphabet.)
23:48:12 <quintopia> what platforms will get no mans sky? isnt it just ps4 or something?
23:48:36 <quintopia> helloerjan
23:48:52 <pikhq> PS4 and Windows.
23:49:17 <quintopia> oh boy
23:49:43 <quintopia> it is most likely worth to astronomical price
23:49:51 <quintopia> pun intended
23:49:56 <izabera> badum tss
23:50:13 -!- atrapado has quit (Quit: Leaving).
23:52:00 <oerjan> hellopia
23:52:08 <oerjan> `date
23:52:15 <HackEgo> Sun Jul 31 22:52:09 UTC 2016
23:52:23 <oerjan> @messages-bold
23:52:23 <lambdabot> int-e said 12h 55m 8s ago: did you find https://oeis.org/A111042 ?
23:52:48 <oerjan> int-e: ah, no.
23:54:23 <oerjan> int-e: well, then oeis probably has all the info they want.
23:55:03 <Taneb> Trivia: OEIS will one day be exhaustive
23:55:05 <int-e> apparently they appreciate extensions of sequences regardless
23:55:09 <oerjan> ok
23:55:44 <oerjan> i guess they may have more space now than in 2006.
←2016-07-30 2016-07-31 2016-08-01→ ↑2016 ↑all