< 1486425864 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn_append dwfo http://thedwfo.org < 1486425866 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'dwfo': DWFO is the Doctor Who Fan Orchestra. http://thedwfo.org < 1486425917 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1486425927 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1486425947 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd dwfo//s[.] /, / < 1486425949 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/bin/sed: -e expression #1, char 17: unterminated `s' command < 1486425965 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd dwfo//s/[.] /, / < 1486425967 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dwfo//DWFO is the Doctor Who Fan Orchestra, < 1486425990 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`slwd dwfo//s/$/./ < 1486425992 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dwfo//DWFO is the Doctor Who Fan Orchestra, . < 1486426269 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1486426270 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 062350Z VRB05KT CAVOK M02/M10 Q1035 RMK WIND 670FT 15017G29KT < 1486426384 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 240 seconds < 1486427528 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486427579 0 :yorick!~yorick@oftn/oswg-member/yorick JOIN :#esoteric < 1486428521 0 :alercah_!?@? NICK :alercah < 1486428887 0 :iczero!?@? NICK :wlp1s1 < 1486429451 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1486429588 0 :thegreylady!~thegreyla@ip68-108-83-2.lv.lv.cox.net JOIN :#esoteric < 1486429597 0 :thegreylady!~thegreyla@ip68-108-83-2.lv.lv.cox.net PART #esoteric : < 1486429607 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486429956 0 :Lord_of_-!Elite12246@gateway/shell/elitebnc/x-ntbaojiwgxvkjizl QUIT :Excess Flood < 1486430159 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-htyqoxkzuthplkgx JOIN :#esoteric < 1486430541 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486430677 0 :lynn!sid154965@gateway/web/irccloud.com/x-bnqypeijwqeyyddr JOIN :#esoteric < 1486431254 0 :doesthiswork1!~Adium@207.55.82.149 JOIN :#esoteric < 1486431279 0 :doesthiswork1!?@? NICK :doesthiswork < 1486431397 0 :krok_!~krok@static-50-53-174-215.bvtn.or.frontiernet.net QUIT :Quit: Leaving < 1486431428 0 :doesthiswork!~Adium@207.55.82.149 PRIVMSG #esoteric :a neighbor just tried to register her phone with my computer < 1486431512 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1486431787 0 :doesthiswork!?@? NICK :doesntthiswork < 1486431830 0 :doesntthiswork!~Adium@207.55.82.149 PART #esoteric : < 1486432202 0 :doesthiswork!~Adium@207.55.82.149 JOIN :#esoteric < 1486432300 0 :LKoen!~LKoen@2a01:e35:2eed:a430:d5fa:37eb:d4a:82a9 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.” < 1486432544 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486432569 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 245 seconds < 1486434889 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1486435315 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :when is the second americna civil war scheduled for? < 1486436361 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486436637 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 260 seconds < 1486436795 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1486439345 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net JOIN :#esoteric < 1486441276 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :doesthiswork: Did you allow it then steal all her shit? < 1486441312 0 :pikhq!~pikhq@174-24-40-190.clsp.qwest.net PRIVMSG #esoteric :\oren\: Sometime this year, I think. < 1486441442 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey, what programming languages are out there that have a type system whose power level is on par with Haskell and Scala? < 1486441470 0 :pikhq!~pikhq@174-24-40-190.clsp.qwest.net PRIVMSG #esoteric :ML? < 1486441491 0 :pikhq!~pikhq@174-24-40-190.clsp.qwest.net PRIVMSG #esoteric :(and its family, such as Ocaml) < 1486441550 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :organic caml < 1486441611 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm writing some neural net software in Scala and I'm wondering if I should move to a different language. < 1486441628 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :I prefer Ωcaml < 1486441651 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Scala is treating me pretty well. I think if I were to do what I'm doing in, say, F#, it would just break down and cry. < 1486441664 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Also, are Haskell and Scala's type systems' power level... over 9000? < 1486441689 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I can't think of a funny answer to that question. < 1486441713 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Probably something regarding proof ordinals? < 1486441724 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ah, right. < 1486441743 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion1: yes. In fact, their power level is an ordinal number which cannot be proven to exist in Peano arithmetic. < 1486441851 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: (a) Are proof ordinals applicable in this context [probably yes] (b) Have the proof ordinals of Haskell and Scala's type systems been found (c) Are they particularly interesting ordinals, or just a "whatever" ordinal (d) what are they? < 1486441859 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, and (e) are they the same? < 1486441883 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(a) dunno (b) see (a) (c) see (b) (d) see (c) (e) see (d) < 1486441967 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All righty, lemme see. < 1486441981 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :ML doesn't have typeclasses, but it has "modules", which feel familiar from Scala and Coq. < 1486442016 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A module can contain type and function definitions, but it can also contain abstract types and abstract functions, to be filled in later by means of inheritance. < 1486442027 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Scala traits have the same property. < 1486442031 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :As do Coq modules. < 1486442275 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, I guess my main alternatives here are probably Haskell and the dependently typed ones: Coq, Agda, Idris. < 1486442846 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486443089 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 240 seconds < 1486443318 0 :adu!~ajr@pool-71-178-160-63.washdc.fios.verizon.net JOIN :#esoteric < 1486443787 0 :adu!~ajr@pool-71-178-160-63.washdc.fios.verizon.net QUIT :Quit: adu < 1486443796 0 :fowl!uid209700@gateway/web/irccloud.com/x-sdzvkjyhuadnxfix JOIN :#esoteric < 1486444254 0 :adu!~ajr@pool-71-178-160-63.washdc.fios.verizon.net JOIN :#esoteric < 1486445123 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1486446950 0 :adu!~ajr@pool-71-178-160-63.washdc.fios.verizon.net QUIT :Quit: adu < 1486448249 0 :doesthiswork!~Adium@207.55.82.149 QUIT :Quit: Leaving. < 1486448773 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486449041 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1486449333 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486449581 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 240 seconds < 1486451301 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1486451865 0 :augur!~augur@208.66.31.98 JOIN :#esoteric < 1486452146 0 :augur!~augur@208.66.31.98 QUIT :Ping timeout: 255 seconds < 1486453569 0 :mecha_ma`!~user@217-210-63-95-no39.tbcn.telia.com QUIT :Ping timeout: 240 seconds < 1486454554 0 :haavard!root@haavard.me QUIT :Quit: WeeChat 1.5 < 1486454573 0 :haavard!haavard@haavard.me JOIN :#esoteric < 1486455810 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486456087 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 256 seconds < 1486456519 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486457172 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1486459480 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486461272 0 :nooga!~nooga@91.235.25.1 QUIT :Ping timeout: 255 seconds < 1486461989 0 :hppavilion1!~dosgmowdo@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1486462284 0 :nooga!~nooga@91.235.25.1 JOIN :#esoteric < 1486462720 0 :AnotherTest!~turingcom@ptr-82l26zfnh642msuy2le.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1486463252 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486463513 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1486466889 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1486467476 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`wisdom < 1486467477 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :costume//Costumes are used for cosplay. Taneb sometimes invents them. < 1486467810 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`cwlprits life < 1486467812 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oerjän < 1486467953 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`? life < 1486467954 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​‘Life,’ said Marvin, ‘don't talk to me about life.’ < 1486468037 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486468319 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1486469859 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-frucdsaqqdcmtgvu QUIT :Quit: Connection closed for inactivity < 1486470370 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net QUIT :Quit: COMET CHICKEN < 1486470902 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-ufssdamygmskodrk JOIN :#esoteric < 1486471897 0 :doesthiswork!~Adium@207.55.82.149 JOIN :#esoteric < 1486471919 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 245 seconds < 1486471998 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1486472082 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Client Quit < 1486472254 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1486473194 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-htyqoxkzuthplkgx QUIT :Excess Flood < 1486473269 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-qzqymolynqvmuelq JOIN :#esoteric < 1486473313 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`xkcdwhatiflist < 1486473314 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: xkcdwhatiflist: not found < 1486473334 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`xkcdwhatiflist 153 < 1486473334 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: xkcdwhatiflist: not found < 1486473420 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and it actually looks like an interesting one < 1486473479 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :though I think it's wrong < 1486473829 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`quote < 1486473829 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :183) Is there a name for something where I'm more attracted to someone if I know they've had a rough past? Sgeo, "Little Shop of Horrors" < 1486473831 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`scheme < 1486473831 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Nothing Can Stop Me Now < 1486473838 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`scheme < 1486473839 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Fate of the Flammable < 1486473854 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`recipe < 1486473855 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :n Additoin. \ \ MMMMM \ \ MMMMM----- Recipe via Meal-Master (tm) v8.05 \ \ Title: CARROT CACOA CHILI CHICKEN \ Categories: Beverages, Fish, Sauces \ Yield: 4 Servings \ \ ----------------------- \ 2 lb Ground pork; lightly beaten \ 1 tb Heavy cream \ 1/2 c Milk \ 2 tb Canned cooked pineapple, chopped \ 1 ts Cinnamon \ 1 ts Baking < 1486473861 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`recipe < 1486473862 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :v8.05 \ \ Title: CONELLY SAUCE CAKE \ Categories: Cakes, Chocolate, Meats, Beverages \ Yield: 4 Servings \ \ 2 c Chicken broth \ 2 tb Sesame seeds \ 1 tb Parsley, dried \ 1 ts Vanilla extract \ 2/3 c Lite red pepper sauce \ 2 ts Vanilla extract \ 1 ts Ground cinnamon \ 1/4 ts Pepper \ 1/8 ts Pepper \ Brown sugar \ 2 tb Sugar \ 1 < 1486473869 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`recipe < 1486473870 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​ Sprigs of diced \ Sour cream \ -chopped onions \ -about 2 oz. salt \ Gined orange peeling skin \ -2 tbsp. \ 1/4 ts Black pepper \ \ Combine the milk, the tomatoes, banana, and salt in a small bowl, mix together the pepper and salt and \ pepper. Whisk in the coconut. Reduce the heat and simmer, uncovered, 20 \ minutes. Stir in remaini < 1486474568 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :What is the name for that general scheme for representing algebraic types in untyped lambda calculus? < 1486474875 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you know, the one where you represent a tuple (x,y) by (\f.fxy) and you represent (Left x) by (\f.\g.fx) and (Right y) by (\f.\g.gy) < 1486475336 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486475537 0 :AnotherTest!~turingcom@ptr-82l26zfnh642msuy2le.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds < 1486475603 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 256 seconds < 1486475832 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1486476561 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls bin/xk* < 1486476562 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access bin/xk*: No such file or directory < 1486476783 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: church encoding or scott encoding (they're different when the types are recursive) < 1486476975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i may be confused about the differences < 1486477282 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm or wikipedia's scott encoding article is confused. < 1486477593 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the church encoding article only looks at limited examples, and seems to contradict the scott article for lists. < 1486477716 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i think the problem amounts to "church encoding is much more complicated for general recursive data types) < 1486477721 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*") < 1486477913 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerhan: thanks < 1486477966 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: maybe they differ in how they define the algebraic data types that they are trying to encode? < 1486478009 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, church encoding needs to know how a type occurs recursively in itself, in order to create well-typed representations < 1486478057 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :while scott encoding doesn't bother with that, so treats constructors as not caring what's put into them < 1486478128 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok... though just from that, church encoding could still be a special case of scott encoding < 1486478167 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not really. there's only one scott encoding for a type. < 1486478289 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah, I see! < 1486478327 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :according to https://en.wikipedia.org/wiki/Church_encoding#List_encodings , lists are encoded in some strange way, as tagged stuff rather than enums < 1486478343 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: yes, that article is really confused. < 1486478355 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's not a well-typed representation at all. < 1486478356 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I never understood why they'd do that in lambda calculus < 1486478390 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, I can understand why you'd encode enums as a tagged struct in some languages < 1486478396 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :just not in lambda calculus < 1486478398 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the right fold representation is the well typed one. < 1486478489 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in fact < 1486478499 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the one pair version is a cute hack < 1486478513 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Church_encoding doesn't even seem to tell how to encode an arbitrary algebraic type in lambda calculus < 1486478522 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as in directly < 1486478524 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :right < 1486478554 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it just encodes Lists and some other types, though of course there are ways to encode algebraic types as Lists < 1486478596 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think the problem is, that to many people, "church encoding" is just a general term for any way of encoding stuff in lambda calculus. < 1486478604 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :possible < 1486478608 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh by the way < 1486478617 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and that article is written from that viewpoint. < 1486478700 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you know how there's Gödel encoding, which encodes statements of some logical system as natural numbers, and it works by first writing the statement as a list of characters from some character set, and then encodes that list of characters to a number? < 1486478718 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :for a long time I didn't understand why they encode a flat list this way, rather than some recursive structure < 1486478721 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but now I found out < 1486478747 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm? < 1486478771 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :does my initial question make sense about why this is a flat list, as opposed to a parse tree? < 1486478777 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'll tell the solution afterwards < 1486478785 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes. and i have a guess at the answer... < 1486478812 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's possible that peano arithmetic or whatever isn't powerful enough to recurse into such a structure. < 1486478826 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, something like that < 1486478859 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this encoding is used to show that proof is definable in a particular weak system < 1486478913 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that system is Robinson arithmetic, which is a crazy weak logical system < 1486478944 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the other guess is that gödel just didn't think of doing it that way, and it works with characters. < 1486478956 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :both may be true simultaneously, of course. < 1486478959 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Robinson arithmetic is so weak that you can't really prove anything in it, < 1486479009 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: Gödel himself isn't too relevant here, he's the first one who did this and so his name is used, but people later defined other versions of the encoding and still used flat lists < 1486479043 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Robinson arithmetic has a language that has addition and multiplication < 1486479045 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but not power < 1486479051 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess robinson arithmetic cannot do exponentials, which is sort of essential to nesting the construction. < 1486479062 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as such, it is not even obvious why you can manipulate flat lists with it < 1486479073 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or why you'd choose to work with such a crazy system < 1486479081 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why you don't just choose one that has lists built in or something < 1486479098 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway, it turns out there's some crazy trick that lets you define lists in Robinson arithmetic < 1486479145 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 245 seconds < 1486479181 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and lets define getting the nth element of a list < 1486479184 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :obviously you choose to work with it because you want to find the weakest system where gödel's theorem works < 1486479188 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which means you can also quantify over all elements of the list < 1486479224 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1486479229 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so you can express a statement that something is true for all adjacent pairs of elements of a list, or similar < 1486479259 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it wouldn't directly let you express that something is true for all elements of a tree, except by going through flat lists < 1486479303 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can define cons, car, cdr if you want, but you can't directly state a statement that something is true everywhere on a tree, so you can't define whole tree transformations < 1486479317 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can do anything with a tree too of course, but only by using lists first < 1486479330 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so since they have to use lists in first place, they didn't go on < 1486479356 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1486479382 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: maybe, though "weakest" is somewhat subjective < 1486479405 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there is at least one system that is neither weaker neither stronger than RA that you can also use for this < 1486479448 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i didn't say you _could_ find the weakest system, i said you _wanted_ to hth < 1486479453 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1486479469 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway, yes, there is some reason to use that system < 1486479479 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or at least some similar system with the same problem < 1486479628 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and even if you use another system, you'll probably run into this same problem < 1486479661 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even if you have a system that has first-class lists, unless it has something like a crazy multi-level tree indexing primitive or something < 1486479906 0 :doesthiswork!~Adium@207.55.82.149 QUIT :Quit: Leaving. < 1486480059 0 :AnotherTest!~turingcom@ptr-82l26zfnh642msuy2le.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1486480080 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1486480654 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh the one pair encoding is sourced from tromp's paper < 1486480839 0 :augur!~augur@2601:640:8001:4222:3df6:cf40:ad46:e51c JOIN :#esoteric < 1486481117 0 :augur!~augur@2601:640:8001:4222:3df6:cf40:ad46:e51c QUIT :Ping timeout: 255 seconds < 1486482592 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486482851 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1486483310 0 :greenlight!~gre@de-2.serverip.co JOIN :#esoteric < 1486483375 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :AFAIR the "crazy trick" is just based on the fact that there are finite arithmetic sequences of pairwise coprime numbers of arbitrary length (and size of numbers), plus the CRT. < 1486483466 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so... basically f(a,b,c)[n] = c % (a + b*n) can encode arbitrary finite lists < 1486483729 0 :Vampz!~c01@174.45.63.2 JOIN :#esoteric < 1486483743 0 :Vampz!~c01@174.45.63.2 PART #esoteric : < 1486484606 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: yes, something like that < 1486485667 0 :augur!~augur@2601:640:8001:4222:3df6:cf40:ad46:e51c JOIN :#esoteric < 1486486057 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-ufssdamygmskodrk QUIT :Quit: Connection closed for inactivity < 1486486642 0 :^v!v^@me.pxtst.com QUIT :Ping timeout: 258 seconds < 1486487051 0 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :/haɪ/ < 1486487107 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: /baɪ/ < 1486488862 0 :doesthiswork!~Adium@207.55.82.149 JOIN :#esoteric < 1486489847 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486490103 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1486490231 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1486490290 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=50856&oldid=50511 5* 03Osuka 5* (+173) 10 < 1486491135 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1486491711 0 :MoALTz!~no@77-254-9-16.adsl.inetia.pl JOIN :#esoteric < 1486494813 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 256 seconds < 1486495537 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org JOIN :#esoteric < 1486495891 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1486496089 0 :augur!~augur@2601:640:8001:4222:3df6:cf40:ad46:e51c QUIT :Remote host closed the connection < 1486496358 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org JOIN :#esoteric < 1486497099 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486497371 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1486497501 0 :krok_!~krok@static-50-53-174-215.bvtn.or.frontiernet.net JOIN :#esoteric < 1486497819 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org QUIT :Remote host closed the connection < 1486497844 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org JOIN :#esoteric < 1486497847 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Should I use Kubernetes to manage jobs and things? < 1486499077 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄𝔄 < 1486499079 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸𝔸 < 1486499103 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I need an email of someone who understands techspeak < 1486499120 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :not a customer suport < 1486499434 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-kcybmzvopaxqjhxt JOIN :#esoteric < 1486499675 0 :greenlight!~gre@de-2.serverip.co PART #esoteric : < 1486499900 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1486500075 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: It sounds kuul. I think you should. < 1486500092 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you? < 1486500110 0 :fizzie!?@? PRIVMSG #esoteric :I'm not really managing anything. < 1486500182 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1486500244 0 :fizzie!?@? PRIVMSG #esoteric :Also upon further reflection, I don't think I really want monitoring as such, mostly because I don't have anything that gets traffic. I think I'm more interested in just making up arbitrary long-term time series that can then be turned into those wiggly lines, and the monitoring/alerting aspect is more of an afterthought. And that's why I'm using InfluxDB instead of Prometheus. < 1486500254 0 :fizzie!?@? PRIVMSG #esoteric :(I read those threads about long-term storage in Prometheus.) < 1486500267 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Makes sense. < 1486500311 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you don't want to join, I guess, is the other constraint. < 1486500354 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What sort of query language should you use for querying time series databases? < 1486500359 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should invent a good one. < 1486500387 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I guess first you should stop working at your current employer, so that you can release it. < 1486500512 0 :fizzie!?@? PRIVMSG #esoteric :I'm not entirely sure the query language should be inherently time-oriented. < 1486500530 0 :fizzie!?@? PRIVMSG #esoteric :Speaking of scow, Bazel doesn't have proto_library either. < 1486500544 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't specify that it should be. < 1486500561 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does it have? < 1486500588 0 :fizzie!?@? PRIVMSG #esoteric :There's an objc_proto_library, which is documented in be to have "proto_library dependencies", but there's no proto_library. < 1486500619 0 :fizzie!?@? PRIVMSG #esoteric :And there's a proto_lang_toolchain, which "Specifies how a LANG_proto_library rule (e.g., java_proto_library) should invoke the proto-compiler", but there's no java_proto_library either. < 1486500640 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can try https://github.com/pubref/rules_protobuf < 1486500645 0 :fizzie!?@? PRIVMSG #esoteric :(Actually AIUI it does in fact have built-in rules for java_proto_library and friends, but they're undocumented and not working correctly.) < 1486500695 0 :fizzie!?@? PRIVMSG #esoteric :It does have https://github.com/bazelbuild/bazel/blob/master/tools/build_rules/genproto.bzl < 1486500765 0 :fizzie!?@? PRIVMSG #esoteric :They're supposed to open-source the real proto_library and java_proto_library and such, but it doesn't have those yet. < 1486500794 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I tried writing some Buck macros for protoc ones but it was kind of scow. < 1486500848 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's no equivalent of Scowlark < 1486501039 0 :Cale_!~cale@2607:fea8:98e0:7e6:2cc1:8446:6439:54fa QUIT :Remote host closed the connection < 1486502447 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Finianb1 5* 10New user account < 1486502879 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1486502979 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1486502983 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.rt.com/usa/376621-trump-korea-putin-crimea-waters/ < 1486502988 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :US congresswoman thinks Putin is invading Korea kekekekekekekekeke < 1486503257 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Crimea, Korea? < 1486503273 0 :hppavilion1!~dosgmowdo@74-114-87-74.dynamic.asdk12.org QUIT :Ping timeout: 240 seconds < 1486503350 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: and this morning Nancy Pelosi called Trump "President Bush" < 1486503372 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm not sure that either Bush deserves that kind of insult. < 1486503393 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :maybe she wishes "Jeb!" was the president < 1486504114 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=50857&oldid=50852 5* 03Finianb1 5* (+169) 10 < 1486504171 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=50858&oldid=50857 5* 03Finianb1 5* (+17) 10 < 1486504295 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=50859&oldid=50856 5* 03Finianb1 5* (+181) 10Add a Quine < 1486504308 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Befunge14]]4 10 02https://esolangs.org/w/index.php?diff=50860&oldid=50859 5* 03Finianb1 5* (+1) 10/* Quine */ < 1486504354 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486504609 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1486504626 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/shellcode/ethical hacking/, cute < 1486504648 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(second edit of the last four) < 1486504861 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1486505642 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :kek < 1486507058 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-kcybmzvopaxqjhxt QUIT :Quit: Connection closed for inactivity < 1486507097 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1486507546 0 :brandonson!~g8p8@thetis.ugrad.cs.ubc.ca JOIN :#esoteric < 1486507546 0 :brandonson!~g8p8@thetis.ugrad.cs.ubc.ca QUIT :Client Quit < 1486508081 0 :AnotherTest!~turingcom@ptr-82l26zfnh642msuy2le.18120a2.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1486509108 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1486509815 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net JOIN :#esoteric < 1486509824 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1486509832 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1486509832 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 072321Z 05021G27KT 4SM -SN DRSN SCT015 OVC025 M10/M13 A2975 RMK SC3SC5 PRESFR SLP080 < 1486510071 0 :tromp!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1486510140 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://twitter.com/VLenin_1917 < 1486510184 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lenin was too good < 1486510198 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should be a revolutionary like lenin < 1486510237 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :by following this account and the others linked to it, you can see the russian revolution reenacted on Twitter < 1486510277 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://twitter.com/RT_1917 < 1486510323 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :да здравствует партия! < 1486510468 0 :idris-bot!~idris-bot@dslb-178-004-076-070.178.004.pools.vodafone-ip.de QUIT :Quit: Terminated < 1486510567 0 :Melvar!~melvar@dslb-178-004-076-070.178.004.pools.vodafone-ip.de QUIT :Quit: rebooting < 1486510676 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fungot: do you embrace any political ideology? < 1486510676 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: any where eof=0 and cells wrap ( at 8 bits) by char < 1486510691 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fungot: playing it safe. < 1486510691 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: lots of extras. is easier to match brackets on < 1486510704 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :fungot: of course, I say. < 1486510705 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: i haven't cited these because i don't understand how to program without becoming a rainbow < 1486510728 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1486510732 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :`addquote boily: i haven't cited these because i don't understand how to program without becoming a rainbow < 1486510732 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: then launch fnord with mutalisks and zerglings to keep defenses busy while mutalisks bombed from above < 1486510734 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1310) boily: i haven't cited these because i don't understand how to program without becoming a rainbow < 1486510757 0 :boily!~alexandre@cable-192.222.245.222.electronicbox.net PRIVMSG #esoteric :hellfnørdjan. < 1486510820 0 :Melvar!~melvar@dslb-178-004-076-070.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1486510918 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helłily. < 1486510951 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yo doerjan < 1486510963 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :whachaf? < 1486510975 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yo dawg, oerjan < 1486510983 0 :staffehn!~quassel@staffehn.com QUIT :Ping timeout: 240 seconds < 1486511071 0 :idris-bot!~idris-bot@dslb-178-004-076-070.178.004.pools.vodafone-ip.de JOIN :#esoteric < 1486511079 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :okay̼ < 1486511420 0 :fizzie!?@? PRIVMSG #esoteric :fungot: You're a 4r8a9i11n12b13o4w < 1486511420 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: only that it wasn't absolutely bios dependent < 1486511461 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot isn't 04a08b09s11o12l13u04t08e09l11y 12b13i04o08s 09d11e12p13e04n08d09e11n12t? < 1486511462 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :shachaf: in the same way as bfbasic) so far < 1486511474 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1486511758 0 :idris-bot!~idris-bot@dslb-178-004-076-070.178.004.pools.vodafone-ip.de QUIT :Ping timeout: 258 seconds