< 1506988859 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :\oren\: yup! anything that can haul ass into space is good. < 1506988870 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :and if it's reusable, then go for it! < 1506988882 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: PLANTAR CHICKEN < 1506988978 0 :ACTPic!apic@apic.name QUIT :Quit: leaving < 1506989903 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1506990011 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1506990623 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1506993354 0 :MrBusiness!~ArcMrBism@2602:306:8325:a300:506c:f696:363c:db86 JOIN :#esoteric < 1506993801 0 :ACTPic!apic@apic.name JOIN :#esoteric < 1506993921 0 :ACTPic!apic@apic.name QUIT :Client Quit < 1506993935 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1506993969 0 :APic!apic@apic.name JOIN :#esoteric < 1506996913 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds < 1506997833 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1506999789 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 QUIT :Quit: sleep < 1507001765 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 240 seconds < 1507005883 0 :Slereah__!~Slereah@ALille-651-1-4-236.w92-131.abo.wanadoo.fr JOIN :#esoteric < 1507006097 0 :Slereah!~Slereah@ALille-651-1-4-236.w92-131.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1507006821 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1507006933 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? oerjan < 1507006935 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Your omnidryad saddle principal swatty arrant "Darth Ept" oerjan the shifty flame is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1507006974 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`swrjan s/flame/knite/ < 1507006977 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjan//Your omnidryad saddle principal swatty arrant "Darth Ept" oerjan the shifty knite is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1507008155 0 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Ping timeout: 240 seconds < 1507008713 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 258 seconds < 1507011139 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507011611 0 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1507013789 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Quit: Leaving... < 1507014785 0 :heroux!~heroux@gateway/shell/insomnia247/x-xjiddtbiajkkkbdv QUIT :Ping timeout: 240 seconds < 1507014894 0 :heroux!sandroco@gateway/shell/insomnia247/x-wpllnxdwuthfnxzw JOIN :#esoteric < 1507016141 0 :Cale!~cale@2607:fea8:98e0:6f5:30a1:68fc:d60e:6dac QUIT :Ping timeout: 255 seconds < 1507018577 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1507018938 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1507019483 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1507019663 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :Ping timeout: 248 seconds < 1507019830 0 :Cale!~cale@2607:fea8:98e0:6f5:2c5a:5f2:f60b:1fe4 JOIN :#esoteric < 1507020108 0 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 240 seconds < 1507021698 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1507022898 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 JOIN :#esoteric < 1507026215 0 :puckipedia!~puck@puckipedia.com QUIT :Read error: error:1408F119:SSL routines:SSL3_GET_RECORD:decryption failed or bad record mac < 1507026230 0 :puckipedia!~puck@puckipedia.com JOIN :#esoteric < 1507030558 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1507031044 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 QUIT :Ping timeout: 260 seconds < 1507031890 0 :LKoen!~LKoen@2a01:e35:2eed:a430:2cf8:f32e:8f0f:76a5 JOIN :#esoteric < 1507032576 0 :LKoen!~LKoen@2a01:e35:2eed:a430:2cf8:f32e:8f0f:76a5 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1507032778 0 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 264 seconds < 1507033451 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: ICE CHICKEN < 1507033843 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1507033914 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507034095 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1507034557 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 260 seconds < 1507035359 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 246 seconds < 1507035441 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 JOIN :#esoteric < 1507035979 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507036679 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 QUIT :Ping timeout: 260 seconds < 1507037069 0 :LKoen!~LKoen@2a01:e35:2eed:a430:5062:39e4:698a:2362 JOIN :#esoteric < 1507037521 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 248 seconds < 1507037692 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1507038554 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 JOIN :#esoteric < 1507038638 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :does anyone know of any esolangs that use ascii control charactersas its commands? < 1507038692 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :potato44: exclusively? or among other commands? < 1507038712 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gs2 tends to use a lot of characters in the 0-31 range, some of its most basic commands are there, but it has others out of the range < 1507038717 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :ideally exclusively, but it depends on what other characters < 1507038789 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Whitespace sort of almost counts < 1507038811 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: newline and tab are control characters, but space isn't < 1507038817 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :I know of BENUL, but NUL is also a problomatic character < 1507038830 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hence "sort of almost" < 1507038842 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't think of a language that was specifically designed to use the control character range (there might be one that I don't know about), especially if you want the control characters to match the language semantics in some way < 1507038874 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a version of BF that uses character codes 1-8 as the commands, and is typically used internally in optimizing interpreters, but I don't really think that counts (especially as the number assignment is arbitrary) < 1507038924 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :If there is an actual interpreter for that dialect of BF, that would be exactly what I want < 1507038948 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's easy enough to write one < 1507038955 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :as long as it also ignores the rest of ascii < 1507038962 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do you expect us to have interpreters for all trivial brainfuck substitutions? just take some reasonable brainfuck implementation and modify it. < 1507038993 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :we have Brainfuck and Ook! interpreters, because Ook! is historically important, but the rest aren't important < 1507039001 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :easy enough to write, but I'm not sure where the rules of PPCG fall on the allowability of it. < 1507039056 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :potato44: I was suspecting this was related to the polyglot :-D < 1507039072 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :ais523: it is < 1507039127 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that thing has somehow turned conventional #esoteric wisdom on its head by actually creating a market for a large quantity of trivial BF substitutions < 1507039189 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :well, the other day I found some japanese guys github that had about a hlaf dozen each lazy substitutions for BF, Lazy K and a couple of other langs < 1507039243 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1507039428 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1507039580 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: It seems most convenient to apologise for my connection in the quit message, given how often it comes up… If I immediately reconnect, it's probably because I could send but not receive. < 1507039587 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 PRIVMSG #esoteric :found a lang that only recognises formfeed and vertical tab and then translates that to a javascript exec. Now to work out how exec works in javascript < 1507039589 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1507039625 0 :ATMunn!~ATMunn@unaffiliated/atmunn26 JOIN :#esoteric < 1507039705 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507041106 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1507041834 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Stape14]]4 N10 02https://esolangs.org/w/index.php?oldid=53160 5* 03StellatedHexahedron 5* (+1227) 10Created page with "'''Stape''' is office-supplies-based programming language, designed to be difficult to program in in new and interesting ways. It was created in 2017 by User: stellatedHexah..." < 1507042064 0 :Hooloovo0!znc@hooloovoo.blue QUIT :Quit: Temporarily refracted into a free-standing prism. < 1507042075 0 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1507042156 0 :Hoolootwo!?@? NICK :Hooloovo0 < 1507043234 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1507043578 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 255 seconds < 1507044266 0 :lezsakdomi!~led@netacc-gpn-5-192-17.pool.telenor.hu JOIN :#esoteric < 1507044268 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1507044360 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :H < 1507044374 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :anyone online? < 1507044382 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I don't think so < 1507044393 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :OK < 1507044465 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Bye < 1507044480 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Client Quit < 1507044516 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :what < 1507044571 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :danil was very upset at the topic not being 100% accurate, and thus maybe also takes sarcasm at face value? < 1507044698 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :looks 100% correct to me < 1507044872 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in case anyone cares, in Magic: the Gathering, https://magic.wizards.com/en/articles/archive/news/ixalan-update-bulletin-2017-09-28 Ixalan Update Bulletin (summary of rules changes) < 1507044923 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I read it already < 1507044934 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Hooloovo0: it wasn't until I fixed it < 1507044942 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it claimed the channel was a hypercube < 1507044949 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is a fairly inconsequential inaccuracy, really < 1507044965 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm not sure I can reasonably demonstrate the channel isn't a hypercube < 1507044992 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1507045003 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: getting food < 1507045019 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Anyone here now/ < 1507045025 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :still nope < 1507045056 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Why are people saying no? You are online yes? < 1507045074 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :we are being facetious < 1507045080 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Pardon? < 1507045120 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :This is not serious/ < 1507045128 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :@google metar < 1507045129 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.aviationweather.gov/adds/metars/ < 1507045139 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :@google facetious < 1507045140 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://www.vocabulary.com/dictionary/facetious < 1507045173 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :@google bear licsense < 1507045175 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://dnr.wi.gov/topic/hunt/bearlic.html < 1507045175 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Bear license - Wisconsin DNR < 1507045205 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Usefull, huh? calling google from IRC < 1507045229 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :@google danil < 1507045230 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Danil < 1507045241 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :I mean it's kind of annoying to us < 1507045264 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Sorry. < 1507045282 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :I did not mean too. < 1507045323 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil_ < 1507045602 0 :Cale!~cale@2607:fea8:98e0:6f5:2c5a:5f2:f60b:1fe4 QUIT :Ping timeout: 246 seconds < 1507045765 0 :impomatic!~impomatic@host81-136-106-105.range81-136.btcentralplus.com QUIT :Ping timeout: 255 seconds < 1507045830 0 :dan_!5219e70d@gateway/web/freenode/ip.82.25.231.13 JOIN :#esoteric < 1507045837 0 :dan_!5219e70d@gateway/web/freenode/ip.82.25.231.13 PRIVMSG #esoteric :Hello! < 1507046297 0 :Cale!~cale@2607:fea8:98e0:6f5:6dbc:7af6:e5ad:db69 JOIN :#esoteric < 1507046549 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 QUIT :Ping timeout: 260 seconds < 1507046838 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 JOIN :#esoteric < 1507047109 0 :potato44!d20b9a73@gateway/web/freenode/ip.210.11.154.115 QUIT :Ping timeout: 260 seconds < 1507047170 0 :dan_!5219e70d@gateway/web/freenode/ip.82.25.231.13 PRIVMSG #esoteric :Hello < 1507047833 0 :lezsakdomi!~led@netacc-gpn-5-192-17.pool.telenor.hu QUIT :Ping timeout: 246 seconds < 1507048042 0 :lezsakdomi!~led@netacc-gpn-5-192-17.pool.telenor.hu JOIN :#esoteric < 1507048383 0 :dan_!5219e70d@gateway/web/freenode/ip.82.25.231.13 PRIVMSG #esoteric :Hi < 1507048400 0 :dan_!5219e70d@gateway/web/freenode/ip.82.25.231.13 QUIT :Quit: Page closed < 1507048408 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`quote insanity < 1507048409 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :397) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You've just gave me a different result [...] It's always insane to expect different results, even when it's likely to occur. < 1507048500 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Read error: Connection reset by peer < 1507048618 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1507048918 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1507048998 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I still hate how airplane tickets only give the departure and arrival time in local time for the airports. They should give either the timezone offset of that time, or an UTC datetime. < 1507049012 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :They do this even for tickets that go to a different timezone. < 1507049032 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :yes, i also. < 1507049037 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm currently reading the *easy* case, when I'm just traveling to Sweden and back, so both departure and arrival are in the Paris timezone. < 1507049049 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Why? < 1507049078 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net PRIVMSG #esoteric :Do you fly from Paris to Sweden < 1507049129 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507049226 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, from Hungary to Sweden < 1507049253 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Paris is just the name I use for the timezone in modern times, because it's clearly the biggest city in this timezone < 1507049342 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Well, technically that's no longer true. These days Berlin and Madrid and Rome are the biggest. < 1507049357 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Maybe I should call it the Berlin timezone instead. < 1507049437 0 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :I have a clock set to berlin time and not paris time < 1507049474 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Paris is biggest if you count greater Paris, including agglomerations. < 1507049487 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Which is probably the right measure for figuring out which is the most significant city in this context < 1507049497 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so Paris is probably the right name. < 1507049509 0 :LKoen!~LKoen@2a01:e35:2eed:a430:5062:39e4:698a:2362 PRIVMSG #esoteric :paris is literally surrounded by a wall though, so while all metropolitans grow, "paris intramuros" doesn't < 1507049569 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :LKoen: yes, basically the city proper area is defined by how the local governments work, which is irrelevant here < 1507049575 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Paris is the most significant city < 1507049588 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(also, Berlin had a sort of strange history) < 1507049962 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1507050689 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what's the biggest city in the Paris timezone? < 1507050689 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: leprechauns are the most spectacular being _baluchitherium_ from the abyss before them, don't you see invisible things. you'll probably find one on the brilliant marble-sanded beaches of santraginus v, inhaling the heady sea vapors; you can read between it and forged odin's signature on the subject of towels. a world for himself a suit of oil-cloth or tarpaulin, and its transparent skin shows its face again. < 1507050719 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :b_jonas, I guess the answer is, unexpectedly, Dublin < 1507050729 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :^style europarl < 1507050729 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: europarl (European Parliament speeches during approx. 1996-2006) < 1507050733 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what's the biggest city in the Paris timezone? < 1507050734 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: mr president, i will not go away unless we tackle them. i do not want these problems to spill over into other countries, thailand, from 2 to 14 october 2004? i am convinced that the foundation should be involved in discussions when there really is a scandal for any civilized country just to stand by and do nothing. one wonders where it finds the courage to resolve the problems suffered by citizens and their concerns ta < 1507050750 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or possibly Bangkok < 1507050756 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok, that's avoiding this question more directly than the previous answer < 1507051332 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil_ < 1507051578 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1507051921 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Ping timeout: 248 seconds < 1507052265 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507052881 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 240 seconds < 1507053229 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The biggest city in the paris timezone would probaby be the rhineland urban aglomeration wouldn't it < 1507053291 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: not by population I think < 1507053342 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Hmm, Rhine-Ruhr region has 11 million < 1507053349 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1507053364 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ile-de-france has 12 million < 1507053526 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :seems like they're pretty close but the winner depends what data set you're looking at < 1507053540 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, at some point this gets a question of definition < 1507053565 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :s/gets/gets to be/ < 1507053844 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in any case, you can call the same timezone with multiple names < 1507053875 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so if you prefer to call it by some other big city within the timezone, feel free < 1507053895 0 :LKoen!~LKoen@2a01:e35:2eed:a430:5062:39e4:698a:2362 QUIT :Remote host closed the connection < 1507053922 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm, maybe we can just wait until there is continuous development along the Paris-Ruhr train line < 1507053974 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :then give some fancy name to said urban aglomeration < 1507054181 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Megacity E or some shit < 1507054334 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :altho, by that point it would include the entire country of belgium probaby < 1507054390 0 :impomatic!~digital_w@host81-136-106-105.range81-136.btcentralplus.com JOIN :#esoteric < 1507054911 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1507055933 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1507056003 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1507056312 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507058328 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net JOIN :#esoteric < 1507059210 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1507059303 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1507059471 0 :lezsakdomi!~led@netacc-gpn-5-192-17.pool.telenor.hu QUIT :Ping timeout: 248 seconds < 1507059984 0 :danil_!~danil@cpc88836-newt35-2-0-cust780.19-3.cable.virginm.net QUIT :Quit: danil_ < 1507060072 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 260 seconds < 1507060185 0 :imode!~imode@2601:601:9d00:2ee7:e29d:31ff:fe3f:8828 JOIN :#esoteric < 1507060210 0 :imode!?@? NICK :Guest41646 < 1507060595 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Quit: Leaving < 1507060616 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1507060680 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is it weird that I wind up writing things like "translating to a double de Bruijn stack context" when I'm doing something for fun < 1507060726 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: I had to read up on a few mathematical papers to be able to parse Incident efficiently < 1507060803 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, nice < 1507060821 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although I'm making up terminology here < 1507060867 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm not sure if de Bruijn stack is the word for what I'm doing, and honestly I'm not sure at all if I need the second one < 1507061012 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What I'm doing is implementing System F in Agda < 1507061060 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :with type annotations? or are you using some other method to make it theoretically possible? < 1507061066 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Type annotations < 1507061120 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Read error: Connection reset by peer < 1507061136 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm using something like De Bruijn indices, but because it's Agda I want to statically check that I'm not going to underflow the stack, and furthermore I want to carry the variable's types about too < 1507061142 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So hence a De Bruijn stack < 1507061157 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1507061196 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I need something similar at the type level, but for that I think I just need to know how many type variables I have lying around < 1507061277 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(if I was doing System Fω I'd need to know the kinds of the type variables as well) < 1507061455 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Remote host closed the connection < 1507061489 0 :Guest41646!~imode@2601:601:9d00:2ee7:e29d:31ff:fe3f:8828 QUIT :Quit: WeeChat 1.9 < 1507061541 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1507061557 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd be very interested to know if what I'm calling the De Bruijn stack exists in the literature < 1507061562 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(the the brown stack?) < 1507062055 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Read error: Connection reset by peer < 1507062120 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1507063342 0 :AnotherTest!~turingcom@ptr-82l26zcdj4axgk9x0yj.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1507063379 0 :AnotherTest!~turingcom@d51a46c74.access.telenet.be JOIN :#esoteric < 1507063546 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1507064401 0 :AnotherTest!~turingcom@d51a46c74.access.telenet.be QUIT :Ping timeout: 248 seconds < 1507064690 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :Read error: Connection reset by peer < 1507064694 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :muhuhahahaha self-modifying C++ < 1507064726 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm, wait does it count if it has to be recompiled and rerun each time it modifies itself? < 1507064771 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1507064795 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i guess this isn't so self-modifying < 1507066950 0 :Bowserinator!~Bowser@unaffiliated/bowserinator QUIT :Quit: ZNC Sucks >_> < 1507066959 0 :Bowserinator!~Bowser@2a02:748:a800:ca7:ea75:b12d:51:a5c3 JOIN :#esoteric < 1507066963 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1507066982 0 :Bowserinator!?@? NICK :Guest57865 < 1507067021 0 :Guest57865!?@? NICK :Bowserinator < 1507067023 0 :Bowserinator!~Bowser@2a02:748:a800:ca7:ea75:b12d:51:a5c3 QUIT :Changing host < 1507067023 0 :Bowserinator!~Bowser@unaffiliated/bowserinator JOIN :#esoteric < 1507067445 0 :wob_jonas!b03f18e6@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.230 JOIN :#esoteric < 1507067450 0 :wob_jonas!b03f18e6@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.230 PRIVMSG #esoteric :\oren\: I think the word for that is "polymorphic" < 1507068724 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 240 seconds < 1507070670 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1507071494 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1507071744 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 w < 1507071750 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1/2:context//context is a word with many meanings, depending on where it is used. \ fourth//Since Biblical times, Forth has been the go-to language for multiplication. \ atwp//According to Wikipedia, ATWP means "Air Transport White Paper". \ icfp//I see functorial people. \ brainf**k//There is no such thing as brainf**k. You may be thinki < 1507071751 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`n < 1507071751 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2/2:ng of brainfuck. < 1507071766 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :no, I do not think about brainfuck. < 1507072319 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1507072323 0 :wob_jonas!b03f18e6@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.230 PRIVMSG #esoteric :oh no! they're falsifying the will < 1507072332 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :wellob_jonas? < 1507072362 0 :wob_jonas!b03f18e6@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.230 PRIVMSG #esoteric :I'm listening to Gianni Schicci, the opera < 1507074928 0 :hppavilion[1]!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric