< 1469923270 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1469923322 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@messages-loop < 1469923322 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :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. < 1469923322 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e said 10m 36s ago: more Erdős-Woods numbers: http://int-e.eu/~bf3/tmp/b059756.txt < 1469923398 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course there would be a name for it. < 1469923414 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet found that via OEIS < 1469923418 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, of course erdős would be involved. < 1469923658 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"the set of Erdős–Woods numbers is recursive" haven't we basically proved that too. < 1469923668 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sure < 1469923809 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :We have membership of the decision problem (is n an E-W number?) in NEXPTIME. < 1469923887 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :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)." < 1469923894 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think you've disproved that. < 1469923926 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that was back in 1989, presumably he didn't have the computational power to check. < 1469924657 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : HackEgo is not a character. <-- now that's just mean. < 1469924669 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`botsnack < 1469924685 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​>:-D < 1469924836 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`snackego < 1469924838 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@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. < 1469924838 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1469924841 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:) < 1469924856 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newnicode data < 1469924860 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION updated it a few weeks ago. < 1469924889 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think they're adding emoji mor quickly than you can update the database. < 1469924895 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e < 1469924911 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although it's used in `multicode, probably not `perl. < 1469924918 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`head bin/multicode < 1469924920 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/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: < 1469924956 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: probably, i only updated it because people were complaining it was missing stuff. < 1469924990 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls share/U* < 1469924996 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :share/UnicodeData.txt < 1469925014 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`head share/UnicodeData.txt < 1469925019 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :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 < 1469925035 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`tail share/UnicodeData.txt < 1469925036 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :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;; < 1469925047 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :doesn't seem to have version info < 1469925049 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have a small program that processes UnicodeData.txt into a form useful for searching with less etc. < 1469925072 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well `multicode allows lookup < 1469925119 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`multicode 🇺🇸 < 1469925123 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :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) < 1469925168 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION decides to start http://int-e.eu/~bf3/oeis/ < 1469925171 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` ls -l share/UnicodeData.txt < 1469925175 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rw-r--r-- 1 5000 0 1686443 Jun 27 03:57 share/UnicodeData.txt < 1469925188 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :what's the 3 for < 1469925222 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a number < 1469925237 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://ftp.unicode.org/Public/UNIDATA/ says "[TXT] UnicodeData.txt 16-May-2016 19:23 1.6M" < 1469925239 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :presumably there were accounts bf1 and bf2 before mine < 1469925251 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`sha1sum share/UnicodeData.txt < 1469925253 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :caa1f90113a2f6c2134aadd6d68fbd62d00bba3c share/UnicodeData.txt < 1469925254 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i assumed bf were your initials < 1469925268 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and also, int-e.eu is your private domain < 1469925276 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(this dates back to my first university account) < 1469925281 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah < 1469925300 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was wondering why you'd even have a ~username/ part. < 1469925301 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, I could put it anywhere on that server... < 1469925311 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I recommend the root directory. < 1469925312 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...but then I'd have to manipulate symlinks < 1469925320 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's where I put everything on my server and it's a complete mess. < 1469925320 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1469925328 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: good policy < 1469925338 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Only if your URIs are cool. < 1469925353 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also the home directory gives everything a pleasant preliminary feeling < 1469925399 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sounds like it makes for uncool URIs. < 1469925404 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1469925417 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: have I ever given the impression that I care about being cool? < 1469925417 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i thought you would implement several oeis sequences in brainfuck :( < 1469925434 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google cool uris < 1469925435 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.w3.org/TR/cooluris/ < 1469925514 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :seriously, https://oeis.org/wiki/The_OEIS_Contributor's_License_Agreement < 1469925518 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: admittedly i was vaguely hoping for that too < 1469925543 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: my cool webpage is here: http://64.137.252.151/ < 1469925565 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google this page is under construction gifs < 1469925567 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.textfiles.com/underconstruction/ < 1469925567 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Please be patient - This Page is Under Construction! < 1469925575 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now that's a cool web page. < 1469925596 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I actually made the picture myself :P < 1469925608 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you remember when every web page said that it was under construction? < 1469925613 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :probably spent the better part of an hour on it, in gimp. < 1469925614 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had a web page that said that it was under construction. < 1469925617 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's all it said. < 1469925674 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm too tired for that license agreement... what happened to "email NJAS, and everything will be taken care of"? < 1469925747 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: just wait until you hear about the license agreement for project eula < 1469925831 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"This seems to coincide with prime partitionable numbers in sense of Holsztynski & Strube" - that's basically the algorithm you used, i think. < 1469926001 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :whatever those are < 1469926014 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :from https://oeis.org/A059756 < 1469926016 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh... you mean partition the primes left and right < 1469926042 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, you... they. < 1469926197 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think their linked table is too short to contain any odd ones < 1469926223 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :far too short < 1469926234 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :903 was the smallest odd one IIRC < 1469926351 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, maybe I'm still awake enough to check out what's going on with #11011 < 1469926360 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just found an email that I wrote in 2004. < 1469926371 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's startlingly zzoesque. < 1469926381 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :gah oeis is so slow < 1469926417 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :does this mean in 12 years zzo38 will be startlingly shachafesque < 1469926429 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :MAYBE < 1469926449 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wrote an email to the gmail team and never got a reply. < 1469926465 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A little less than a decade later, I joined the gmail team. < 1469926479 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I still never got a reply. < 1469926547 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you should find the original gmail inbox and reply yourself hth < 1469926560 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*gmail team inbox < 1469926569 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I'm not involved anymore. < 1469926570 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: you should try to find your email and reply. < 1469926574 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1469926578 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah, damn. < 1469926579 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder whether someone working at Google could find it today, though. < 1469926585 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION does the redundance < 1469926593 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@quote stereo < 1469926593 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! < 1469926615 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that... sounds astonishingly appropriate. < 1469926619 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hello, fellow bot! < 1469926625 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather < 1469926628 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK < 1469926631 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 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 < 1469926636 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's too cold here. < 1469926638 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :HELLO INT-E < 1469926648 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is int-e, anyway? < 1469926651 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An interrupt? < 1469926665 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :inte vet jag < 1469926672 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google "int-e" < 1469926674 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.int-e.net/ < 1469926674 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: International Conference on New Horizons in Education < 1469926701 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :heute die welt, morgens das sonnensystem! < 1469926726 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :somehow all-lowercase german seems wrong even to me < 1469926742 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"morgens" is grammatically correct but may not express what you want. < 1469926742 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Heute die Welt, Morgens das Sonnensystem! < 1469926756 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do I want to express? < 1469926761 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And what does it express? < 1469926762 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh, and you don't even write lowercase anyway < 1469926771 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :("morgens" = in the morning; "morgen" = tomorrow. "Morgen" = the morning) < 1469926779 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: i do for sarcasm < 1469926787 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :WHY WOULD YOU < 1469926793 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*cough* < 1469926796 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :FOR HTH! < 1469926807 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@quote stereo < 1469926807 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! < 1469926808 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I searched on Google and copied from http://tvtropes.org/pmwiki/pmwiki.php/Main/TodayXTomorrowTheWorld < 1469926818 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm only one? < 1469926828 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, but http://www.bavarianilluminati.com/ says "morgen" < 1469926851 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I remembered "morgen", so I'll go with that. < 1469926856 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"enn heute gehört uns Deutschland und morgen die ganze Welt" .. so does tvtropes, at least once. < 1469926864 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :huh, where'd the "D" go? < 1469926888 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: thank you for the deutschlesson tdh < 1469926944 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was going to ask what "enn" meant. < 1469926990 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Well, I was thinking of the Illuminati. < 1469927003 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ITYMinati < 1469927017 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :boo, #11011 does not list related tickets. < 1469927043 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: wait, it's ghc trac? i was opening the oeis page... < 1469927050 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: did you see shachaf's itymology pun? < 1469927060 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Decimal expansion of 4th root of 14. " < 1469927063 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :see it? he `learned it! < 1469927066 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: heh. < 1469927101 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? butterfly < 1469927104 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :While some might think butterflies are descended from flies, that is a false entomology. < 1469927121 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, xkcd did that one a while ago < 1469927132 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he did? < 1469927134 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cwlprits butterfly < 1469927138 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i thought i made it up. < 1469927140 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember that. < 1469927147 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It reads like a classic oerjan pun. < 1469927149 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://xkcd.com/1012/ < 1469927151 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjan < 1469927172 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( He sometimes plagiarizes without noticing. ) < 1469927186 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's hardly plagiarism. < 1469927214 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't see what correctness of the accusation has to do with it. < 1469927234 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I think we can upgrade your plagiarism to a derivative work. < 1469927257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh i already looked at #11011, in fact i subscribed yesterday. < 1469927258 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If anything, plagiarism is integral to the creative process. < 1469927303 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :speaking of which I wonder what Nina Paley is doing these days... ... still working on her second movie. < 1469927317 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : boo, #11011 does not list related tickets. <-- hm didn't the wiki page linked have one? < 1469927383 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://archive.org/details/AllCreativeWorkIsDerivative < 1469927403 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(no clue how well-known that one is) < 1469927453 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes it does < 1469927514 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1469927515 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: for the future, I'd start OEIS references with A. < 1469927569 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And GHC bugs with "boo"? < 1469927607 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, the discussion earlier reminds me of the way that Birmingham Airport has a large sign on it saying "Hello world" < 1469927611 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I thought that was really clever < 1469927629 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, not reliably, I think. But #nnnn without further explanation are very likely to be ghc tickets. < 1469927672 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This does not extend to alphabetic or alphnumeric strings like #esoteric. < 1469927674 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :not INTERCAL constants? < 1469927701 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: also, http://narbonic.com/comic/august-28-september-2-2000/ < 1469927767 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Today Paris / Tomorrow Paris / Don't get greedy" < 1469927773 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I should read GG. < 1469927912 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: OTTOMAN CHICKEN < 1469927947 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm, to read Narbonic again or not to read Narbonic again... < 1469927968 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...it was nice but there are probably better things to reread. < 1469927993 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :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? < 1469928049 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it seems that proofs of that fact can be kind of complicated, even if they're verifiable in polynomial time? < 1469928110 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :scow < 1469928137 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh... there's some fun modular arithmetic in there... < 1469928302 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: surely proofs are just a list of paths for each n? < 1469928321 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Every natural n. < 1469928334 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1469928429 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :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. < 1469928438 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you just need to find a bunch of those or something. < 1469928461 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think that's precisely right < 1469928468 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And as long as the number of those is small enough, and you manually provide paths for smaller n, then it should be OK. < 1469928539 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The largest number not representable as the sum of p's and q's is pq-p-q ... if p and q are coprime. < 1469928573 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if they're not coprime, there's obviously no largest number. < 1469928577 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'll treat it as a puzzle. < 1469928643 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1469928655 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(since right now, neither direction of NP-hardness is obvious to me) < 1469928665 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/hardness/completeness) < 1469928686 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Normally this problem is expressed differently. < 1469928822 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`url bin/len < 1469928825 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/len < 1469928839 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? lem < 1469928841 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Stanisław Lem was a Polish logician who discovered the law of excluded middle. < 1469929073 0 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1469929104 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1469929131 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : 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. < 1469929232 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not sure what held it up. < 1469929382 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shachaf: reminds me of the proof that every number greater than 11 is the sum of a set of primes < 1469929435 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which uses ramanujan's theorem that for all number 29 or greater, there is a prime between int(n/2) and n-11 < 1469929703 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yay, cloud computing at its best! http://www.digitaltrends.com/mobile/swiftkey-data-leak/ < 1469929797 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(this is an example of the rainy phase where the collected data falls down all over Earth) < 1469929877 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: somehow i cannot find any issue for it on github, though, only side mentions. < 1469929917 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I guess few people really suffer from that < 1469929942 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i'm still speaking about incremental updates btw hth < 1469929947 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(when I was complaining I had the experience of a 'cabal update' taking almost 15 minutes...) < 1469929966 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well i also think it takes too long. maybe not that long. < 1469929984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :especially when the promises i've read say the new system should take seconds. < 1469930032 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well it's this mobile contract I have... I've exceeded my "fast connectivity" quota for the month. < 1469930107 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ic < 1469930109 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :So they allow me 128kbd/s, bundled ISDN speed. < 1469930151 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And 12MB/16kb = 750, 12.5 minutes. < 1469930159 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: btw there's apparently a stackage-related solution, stackage-update. < 1469930178 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe < 1469930187 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess snoyman got fed up with waiting again. < 1469930198 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :stackage will help until it decides to download a ghc binary. < 1469930206 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or would... I'm not using stack. < 1469930221 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :stackage is not stack hth < 1469930250 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :all this new-fangled stuff is too much for me < 1469930274 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in fact it said the "stackage-" prefix is only for convenience there < 1469930305 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm not using stack either, although i'm wondering if i should. < 1469930323 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but then, i'm not really programming for the time being. < 1469930344 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, I have this stupid bot to update < 1469930348 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsnack < 1469930348 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1469930355 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@botsmack < 1469930355 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1469930374 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@botsnark < 1469930374 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1469930445 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but stackage would mean subscribing to one of the confederated package databases, or does it mirror hackage as well? < 1469930541 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :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. < 1469930564 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :http://www.yesodweb.com/blog/2015/04/announcing-stackage-update < 1469930595 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(also uses git) < 1469930752 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, thanks for the suggestion < 1469930792 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Receiving objects: 100% (151532/151532), 22.97 MiB | 2.87 MiB/s, done. < 1469930815 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :That would be the initial fetch... so not helping me right now. < 1469931000 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. runIn suDir acfDir "git" ["archive", "--format=tar", "-o", tarFile, "current-hackage"] Nothing ... how have I never heard of git-archive before? < 1469931227 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tricky, it doesn't even use a branch... just a bunch of loose commits (with no parent). < 1469931789 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Why don't you think that's precisely right? < 1469931869 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it wasn't very clearly stated what "at depth n" means. < 1469931926 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh that's why int-e talked about pq-p-q < 1469931937 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A cycle that starts at a node reachable from the root by a path of length n. < 1469931954 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it could be anywhere on that path. < 1469931975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*start anywhere < 1469932025 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think basically you can calculate all the shortest cycles involving each node. < 1469932045 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :at least that should be bounded in length. < 1469932048 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1469932063 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*cycle lengths < 1469932098 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm but different cycles of the same length might allow different extensions... < 1469932128 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's not immediately obviously to me that you can sum up all that needed information polynomially. < 1469932142 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is what makes it complicated, i guess. < 1469932191 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :let's see, every path longer than the number of nodes must involve a cycle. < 1469932257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...but even without cycles, there might be exponentially many paths. < 1469932369 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net QUIT :Ping timeout: 265 seconds < 1469932501 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1469932574 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Is magick different from magic? <-- afaik "magick" is used by occultists to distinguish themselves from stage magicians hth < 1469932655 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(no idea why myname didn't want you to know that.) < 1469933245 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net JOIN :#esoteric < 1469933299 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net QUIT :Client Quit < 1469933331 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net JOIN :#esoteric < 1469933602 0 :byteflame!~byteflame@c-71-238-242-230.hsd1.ar.comcast.net QUIT :Ping timeout: 244 seconds < 1469933632 0 :miketo!~miketo@unaffiliated/miketo QUIT :Ping timeout: 240 seconds < 1469933666 0 :shikhin!?@? NICK :zgrepi < 1469933703 0 :miketo!~miketo@unaffiliated/miketo JOIN :#esoteric < 1469933711 0 :zgrepi!?@? NICK :shikhin < 1469933972 0 :miketo!~miketo@unaffiliated/miketo QUIT :Ping timeout: 240 seconds < 1469934182 0 :miketo!~miketo@unaffiliated/miketo JOIN :#esoteric < 1469936975 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :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. < 1469937031 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's what you were saying. < 1469937046 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes. < 1469937047 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I'm not quite sure about the NP claim anymore. < 1469937099 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1469937557 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :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 < 1469938050 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :I should probably learn Elixir < 1469938876 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 250 seconds < 1469939007 0 :hppavilion[0]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1469940363 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I checked the Wikipedia reference, and now it seems that the problem is maybe coNP-complete. < 1469940471 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :NP-mplete < 1469941312 0 :hppavilion[0]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1469941961 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :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? < 1469942192 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 260 seconds < 1469944400 0 :byteflame!~byteflame@50.25.160.41 JOIN :#esoteric < 1469946648 0 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1469949838 0 :miketo!~miketo@unaffiliated/miketo QUIT :Quit: Leaving < 1469956078 0 :hppavilion[0]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1469956999 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1469959873 0 :WacksharJenkins!18b97512@gateway/web/cgi-irc/kiwiirc.com/ip.24.185.117.18 JOIN :#esoteric < 1469960336 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1469961098 0 :WacksharJenkins!18b97512@gateway/web/cgi-irc/kiwiirc.com/ip.24.185.117.18 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1469961637 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net JOIN :#esoteric < 1469962440 0 :hppavilion[0]!?@? NICK :hppavilion[1] < 1469962469 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :In the minds of a politician, any growth in the economy is "our fault" and any shrinkage is "their faut" < 1469962475 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/faut/fault < 1469962481 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Please, let us never teach them calculus < 1469962495 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-poud < 1469962495 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :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* < 1469962515 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :@messages-pout < 1469962515 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1469962520 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :ACTION pouts < 1469962634 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan did you find https://oeis.org/A111042 ? < 1469962634 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1469962642 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :They'll start taking the integral of everything < 1469962648 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/integral/derivative/ < 1469962666 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :no, only when it benefits them < 1469962689 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :"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" < 1469962790 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :... < 1469962801 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :ow < 1469969218 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :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... < 1469969224 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...[...] sublicense all or any of the foregoing license rights to others. [...]" < 1469970733 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1469970788 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1469970805 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :Is there a way I can get texted when the news breaks of a major terrorist attack? < 1469970934 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :E2MANY < 1469972133 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :would I anger any people if lambdabot stopped supporting ghc-7.8... any people I care about? < 1469972374 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :hppavellon[1], izabellora, int-ello. < 1469972405 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :when was the last time the 7.8 branch updated? < 1469972481 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :NEVER < 1469972502 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: lambdabot should have a metar-like command for terrorism < 1469972527 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Version 7.8.4 (released December 23rd 2014) < 1469972669 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess I should ask about 7.6.3 instead... that's what debian stable ships. < 1469972692 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but that ship has sailed < 1469974201 0 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I wonder if the integer sequences are actually eligible for copyright protection < 1469974421 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://chartsme.com/ < 1469974512 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1469974561 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: the sequences themselves certainly are not < 1469974578 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: but the text on the A* pages is < 1469976987 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net PRIVMSG #esoteric :there haven't been an oots in a long time... < 1469977306 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net TOPIC #esoteric :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 < 1469978648 0 :jaboja!~jaboja@87.204.188.153 JOIN :#esoteric < 1469978982 0 :jaboja!~jaboja@87.204.188.153 QUIT :Ping timeout: 276 seconds < 1469979148 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: FORTUNE CHICKEN < 1469979671 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1469980309 0 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1469981589 0 :bauen1!~bauen1@2a02:810d:1980:1584:615f:13d4:83e:6905 QUIT :Ping timeout: 260 seconds < 1469981799 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 250 seconds < 1469982298 0 :bauen1!~bauen1@2a02:810d:1980:1584:28bc:9d64:51bf:74ef JOIN :#esoteric < 1469983734 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1469984826 0 :miketo!~miketo@unaffiliated/miketo JOIN :#esoteric < 1469985525 0 :augur!~augur@2601:645:c100:63f1:3168:b006:67fb:ecee JOIN :#esoteric < 1469986160 0 :augur!~augur@2601:645:c100:63f1:3168:b006:67fb:ecee QUIT :Remote host closed the connection < 1469986297 0 :augur!~augur@2601:645:c100:63f1:6086:6a26:1ddb:84cc JOIN :#esoteric < 1469987871 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1469987962 0 :augur!~augur@2601:645:c100:63f1:6086:6a26:1ddb:84cc QUIT :Remote host closed the connection < 1469988334 0 :augur!~augur@2601:645:c100:63f1:a9c7:2b6b:3075:a7af JOIN :#esoteric < 1469988901 0 :augur!~augur@2601:645:c100:63f1:a9c7:2b6b:3075:a7af QUIT :Remote host closed the connection < 1469989789 0 :miketo!~miketo@unaffiliated/miketo QUIT :Ping timeout: 265 seconds < 1469989820 0 :augur!~augur@2601:640:8001:4222:7555:a66d:dbc5:df7b JOIN :#esoteric < 1469990185 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :sweetened condensed milk is really good for coffee < 1469990398 0 :orin!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@tell hppavilion[1] you could make a terror alert command by running a google news search every half hour, grabbing place names < 1469990398 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1469991270 0 :augur!~augur@2601:640:8001:4222:7555:a66d:dbc5:df7b QUIT :Remote host closed the connection < 1469991962 0 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 258 seconds < 1469992258 0 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1469992719 0 :ineiros!ineiros@kapsi.fi QUIT :Ping timeout: 250 seconds < 1469993140 0 :ineiros!ineiros@kapsi.fi JOIN :#esoteric < 1469993632 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 252 seconds < 1469994273 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 240 seconds < 1469994300 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1469994315 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1469994684 0 :atehwa_!atehwa@aulis.sange.fi JOIN :#esoteric < 1469994806 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 265 seconds < 1469994952 0 :atehwa_!atehwa@aulis.sange.fi QUIT :Ping timeout: 252 seconds < 1469994982 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1469995270 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 265 seconds < 1469995317 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1469995572 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 240 seconds < 1469995651 0 :haavard!freebsd@haavard.me JOIN :#esoteric < 1469995685 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1469995788 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :why is there no fexecve that works on a fd instead of a filename? < 1469995830 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i mean, there is but it's a library function < 1469995901 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :what should it be, then? < 1469995906 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :a syscall < 1469995951 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :why? execvp is not, neither are most exec* variants < 1469995952 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 240 seconds < 1469995962 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i know it's not < 1469995977 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i want to avoid the race between check and exec < 1469996053 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1469996092 0 :nortti!nortti@ayu.smar.moe PRIVMSG #esoteric :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? < 1469996143 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes that < 1469996211 0 :fizzie!?@? PRIVMSG #esoteric :Can you exec /proc/self/fd/N? < 1469996263 0 :irctc905!4cd8e99c@gateway/web/freenode/ip.76.216.233.156 JOIN :#esoteric < 1469996268 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's a symlink < 1469996289 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it doesn't solve the issue < 1469996309 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :You have an FD to the file - perhaps read it, then write it somewhere else? < 1469996432 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it breaks setuid < 1469996472 0 :irctc905!4cd8e99c@gateway/web/freenode/ip.76.216.233.156 QUIT :Client Quit < 1469996493 0 :fizzie!?@? PRIVMSG #esoteric :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. < 1469996539 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :Seems useful. < 1469996584 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i see < 1469996589 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :thanks fizzie < 1469996634 0 :fizzie!?@? PRIVMSG #esoteric :(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.) < 1469996647 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yes i just tried < 1469996792 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :this completely fixes my problem, thank you! < 1469996800 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :ACTION is gonna use fexecve *everywhere* < 1469997073 0 :impomatic_!~digital_w@host81-129-217-145.range81-129.btcentralplus.com QUIT :Quit: http://corewar.co.uk < 1469999367 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1469999823 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :`` /dev/stdin foo < /bin/echo < 1469999851 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :foo < 1470000535 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Ha, sweet < 1470000829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ha, ireFly < 1470000858 0 :atehwa!atehwa@aulis.sange.fi QUIT :Remote host closed the connection < 1470000881 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Hi < 1470001447 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1470001886 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1470002031 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net QUIT :Ping timeout: 276 seconds < 1470002357 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is there a way to disable alt+f4 on windows < 1470002370 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :remap alt < 1470002388 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :alercah: nah, i use it too much < 1470002395 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :which is the problem < 1470002415 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's too easy for alt+5 to slip and become alt+f4==instakill app < 1470002476 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: Remove f4 key < 1470002494 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :quintopia: You're lucky; on my laptop, the alt is unnecessary < 1470002534 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :why is 5 near f4? < 1470002542 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hppavilion[1]: what. < 1470002552 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :alercah: laptop keyboard? < 1470002558 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :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. < 1470002565 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :I think he meant f5 < 1470002569 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :s/he/e/ < 1470002582 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :alercah: why would it not be? < 1470002589 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :it's normally nearer 4? < 1470002612 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :alercah: http://www.corsair.com/en-us/~/media/99691A2C9F3F49F69FA1B1204E768938.ashx < 1470002628 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :hah < 1470002648 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :f4 is right atop the 5 here, but there's a 2cm gap. < 1470002666 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :int-e: my fingers are more than 2cm wide, unfortunately < 1470002671 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(between the function key row and the first row of the keyboard) < 1470002693 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and when stretching my hand up with the thumb affixed to alt, it's hard to aim perfectly without looking < 1470002733 0 :fizzie!?@? PRIVMSG #esoteric :My laptop's function key row is a touch-sensitive strip that can toggle between F-keys and the special (brightness, media etc.) ones. < 1470002734 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(actually, i think the gap here is only like 1.25 cm) < 1470002750 0 :fizzie!?@? PRIVMSG #esoteric :It's a-silly. < 1470002760 0 :fizzie!?@? PRIVMSG #esoteric :http://core0.staticworld.net/images/article/2014/04/lenovocarbonx1_2-100258973-orig.jpg <- look at that thing. < 1470002780 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: wtf mate < 1470002785 0 :fizzie!?@? PRIVMSG #esoteric :There's also a split [home | end] button where caps lock would normally be, and the backspace has been split to a [ <- | delete ] key. < 1470002786 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :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 < 1470002812 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: at least you have a trackpoint. i wish every lenovo had one. < 1470002824 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wob_jonas: suggestions? < 1470002824 0 :fizzie!?@? PRIVMSG #esoteric :That's the v2 revision of the Carbon X1 -- the v3 made it completely normal again. < 1470002833 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :trackpoint should be mandatory < 1470002840 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :alercah++ < 1470002840 0 :fizzie!?@? PRIVMSG #esoteric :(The function key row is again regular keys, and the split ones are whole again.) < 1470002859 0 :fizzie!?@? PRIVMSG #esoteric :http://www.laptopmag.com/images/wp/purch-api/incontent/2012/08/Lenovo_ThinkPad_X1_Carbon_G16.jpg <- looks like this now. < 1470002885 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: nice, that looks better. are there replacement keycaps or something? < 1470002918 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: it's nonstandard, but that is a much more convenient placement for home/end when i think about it. < 1470002931 0 :fizzie!?@? PRIVMSG #esoteric :Dunno. (It's a work laptop, I haven't really paid much attention to it.) < 1470002958 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :fizzie: that carbon g16 layout is identical to my laptop's < 1470002974 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(the pageup/pagedn location is really annoying) < 1470003068 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Esoteric is turning out to be a much more active channel than I imagined. < 1470003077 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :it's pretty great hth < 1470003094 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Why is the eso lang community so active? < 1470003217 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :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. < 1470003310 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :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. < 1470003370 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1470003412 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1470003436 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: I watched a few videos from it, but it's much smaller and somewhat less impressive than GDQ < 1470003449 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Yeah sorry to have missed gdq this year. < 1470003452 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: it's particularly disappointing when they run the same game as in GDQ, but with worse skill < 1470003459 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :What's the new hotness in esolang? < 1470003469 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :baordog: you can still watch the videos on archive or youtube < 1470003471 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wob_jonas: i was disappointed with some, but some others are actually pretty great < 1470003485 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wob_jonas: the SMW 96 exit race was really good < 1470003490 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(except you don't like races) < 1470003499 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1470003500 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1470003502 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :quintopia: I still have to watch some of the GDQ videos, especially some of the final encodes where the temp encodes are bad < 1470003502 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it wasn't a race < 1470003506 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it was just a run < 1470003508 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what? I like races < 1470003512 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1470003513 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well < 1470003517 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it was someone else who didn't like races < 1470003525 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the smw 96 exit run was well-played < 1470003537 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there was a race i watched... < 1470003539 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what was it < 1470003615 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh right < 1470003628 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there was an excellent Limbo Any% Normal Route race! < 1470003637 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :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 < 1470003644 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :those guys were neck-and-neck until the last world < 1470003651 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Catherine? < 1470003669 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1470003671 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i know < 1470003675 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :The Witness < 1470003677 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :right? < 1470003682 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :not Catherine < 1470003704 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yes, it's The Witness < 1470003705 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :thank you < 1470004323 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1470004760 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1470004888 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@massages-pud < 1470004888 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1470004897 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@massages-pout < 1470004897 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1470004911 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@massages-lout < 1470004911 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1470004917 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :@messages-loud < 1470004917 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :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 < 1470005072 0 :byteflame!~byteflame@50.25.160.41 QUIT :Ping timeout: 258 seconds < 1470005670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: are you sure hmph doesn't mean "his master's pooch's hmph" twh < 1470005737 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think it means "he makes puns here" hth < 1470006806 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :ACTION hears Catherine and gets all turned on. < 1470007231 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :baordog: ... < 1470007424 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :lol < 1470007469 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Who doesn't get turned on by super hard games? < 1470007477 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The Witness seems expensive < 1470007478 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Anyone on here still play dwarf fortress? < 1470007523 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Not as ridiculously expensive as No Man's Sky, but still. < 1470007592 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Kerbal Space Program is another surprisingly expensive game, imho) < 1470007629 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Is No Man's Sky even out? < 1470007637 0 :baordog!~bob@ool-944b295d.dyn.optonline.net PRIVMSG #esoteric :Or is it still in some kind of weird beta limbo? < 1470007729 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :not quite released yet < 1470007748 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it's supposed to come out *checks local time* this month < 1470007889 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"preorder incentive"... < 1470007925 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh well, I think I'll continue to play cheap old games... there's a near infinite supply of those. < 1470008656 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1470008663 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah, new month < 1470008736 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and I still haven't solved shachaf's regular languages over single letter alphabet puzzle < 1470008737 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :yay < 1470008758 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :just be happy that you survived another month < 1470008808 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The graph with marked nodes thing can be viewed as universality of an NFA over a single letter alphabet.) < 1470008892 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what platforms will get no mans sky? isnt it just ps4 or something? < 1470008916 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloerjan < 1470008932 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :PS4 and Windows. < 1470008957 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh boy < 1470008983 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it is most likely worth to astronomical price < 1470008991 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :pun intended < 1470008996 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :badum tss < 1470009013 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1470009120 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hellopia < 1470009128 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`date < 1470009135 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Sun Jul 31 22:52:09 UTC 2016 < 1470009143 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@messages-bold < 1470009143 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e said 12h 55m 8s ago: did you find https://oeis.org/A111042 ? < 1470009168 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: ah, no. < 1470009263 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: well, then oeis probably has all the info they want. < 1470009303 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Trivia: OEIS will one day be exhaustive < 1470009305 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :apparently they appreciate extensions of sequences regardless < 1470009309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ok < 1470009344 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess they may have more space now than in 2006.