< 1460419558 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"The number of octets excluding whitespace (tab, space, newline, formfeed, return), and excluding any ';', '{' or '}' followed by whitespace or end of file, must be <= 2048." < 1460419573 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(presumably that's the 2001 version of the size rule) < 1460419585 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :strangely enough, people tend to screw around with {}; rather than the different types of legal whitespace < 1460419676 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :could you do a whitespace interpreter in 2 kb? < 1460419870 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460420521 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1460420522 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :How about... a programming language with no form of multi-statement control flow < 1460420540 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :All code must be written as a series of one-liners (called "actions") < 1460420551 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :And once a one-liner completes, it cannot be executed again < 1460420559 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(though events may be created) < 1460420593 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that's either clearly non-TC or you'd end up doing everything in one statement < 1460420600 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: Yes, that's the point < 1460420632 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: You have to partial-vectorize over lazy lists and such to get anything to work < 1460420703 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: A program that runs forever, for example, is [put(x%128) for x in [0, 1...] if x%128 > 31] < 1460420776 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: Clearly a one-liner, but infinite. Specifically, it prints the printable ASCII characters over and over again in cycle (with a short delay between each, though it's only 31 ticks) < 1460420870 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :A truth machine is [print('1') for x in [...]] if (x := input()) = '1' else if x = '0' print('0') else fail < 1460421049 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :[print('$n bottles of beer on the wall\n$n bottles of beer\ntake one down, pass it around, \n'+str(n-1)+' bottles of beer on the wall!' for n in 99..0 if n not in [1, 0] else if n = 1 print('1 bottle of beer on the wall\n1 bottle of beer\ntake one down, pass it around, \nno more bottles of beer on the wall!' else if n = 0 print('no more bottles of beer on the wall\nno more bottles of beer!\nGo to the store, buy some more\n99 bottles of < 1460421049 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :beer on the wall!')] < 1460421549 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1460421553 0 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1460421555 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1460421747 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 248 seconds < 1460421825 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460422244 0 :AmiMoench!~vb@pool-108-7-4-10.bstnma.east.verizon.net JOIN :#esoteric < 1460422516 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hello < 1460422549 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hppavilion[1]: no < 1460422569 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460424100 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the morning after http://www.dagbladet.no/tegneserie/nemi/ < 1460424243 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION cannot be bothered to find a permalink < 1460424316 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460424362 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not that they're perma anyway on that site. < 1460424839 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :A mix of event-driven programming (node style, but with better syntax) and vectorized array programming would be pretty interesting < 1460425197 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460425593 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Remote host closed the connection < 1460426243 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1460426935 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460427409 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1460429298 0 :spiette!~spiette@72-53-140-195.cpe.distributel.net QUIT :Ping timeout: 246 seconds < 1460429342 0 :Hazzitha!~canaima@unaffiliated/hazzitha JOIN :#esoteric < 1460429628 0 :Hazzitha!~canaima@unaffiliated/hazzitha PART #esoteric : < 1460430112 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460430338 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460431051 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Max SendQ exceeded < 1460431153 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1460432360 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1460432509 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1460433084 0 :hppavilion[1]!~DevourerO@24.237.158.10 JOIN :#esoteric < 1460433750 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460435048 0 :bb010g!uid21050@gateway/web/irccloud.com/x-ynthqlyekqakpihh JOIN :#esoteric < 1460435535 0 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1460435837 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460435899 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460436575 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460437942 0 :iconmaster!~iconmaste@129.21.122.8 QUIT :Ping timeout: 260 seconds < 1460438268 0 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1460438378 0 :Vorpal!~Vorpal@cl-394.sto-01.se.sixxs.net JOIN :#esoteric < 1460438378 0 :Vorpal!~Vorpal@cl-394.sto-01.se.sixxs.net QUIT :Changing host < 1460438378 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1460438632 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1460439202 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 260 seconds < 1460439945 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com QUIT :Ping timeout: 244 seconds < 1460440207 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460440239 0 :hppavilion[1]!~DevourerO@24.237.158.10 QUIT :Ping timeout: 260 seconds < 1460440470 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1460441705 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1460443904 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460444063 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1460444158 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1460444171 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1460445739 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4595:3163:8959:8b1c JOIN :#esoteric < 1460445923 0 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1460445927 0 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1460445927 0 :nisstyre!~yourstrul@oftn/oswg-member/Nisstyre JOIN :#esoteric < 1460446005 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460446011 0 :rdococ_!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460446308 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4595:3163:8959:8b1c QUIT :Ping timeout: 246 seconds < 1460447116 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :ASM seems to be optimized for procedural programming as its origin < 1460447183 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :You have a call stack onto which you PUSH your location before JMPing into a subroutine, and off of which you POP the location to return to via CJMP < 1460447814 0 :rdococ_!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460448308 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :asm is optimized for whatever you can run fast on a chip < 1460448406 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1460448965 0 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1460449224 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460449273 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1460451085 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460451347 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1460453182 0 :J_Arcane!~chatzilla@37-219-28-16.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1460453928 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4595:3163:8959:8b1c JOIN :#esoteric < 1460454848 0 :spiette!~spiette@72-53-140-195.cpe.distributel.net JOIN :#esoteric < 1460455416 0 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 276 seconds < 1460455532 0 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1460457856 0 :impomatic_!~impomatic@37.152.222.136 JOIN :#esoteric < 1460457927 0 :impomatic!~impomatic@37.152.222.136 QUIT :Ping timeout: 264 seconds < 1460457934 0 :impomatic_!?@? NICK :impomatic < 1460458812 0 :impomatic!~impomatic@37.152.222.136 QUIT :Read error: Connection timed out < 1460460411 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I've more or less decided what I'm going to do for my final year project < 1460460906 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1460461143 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460461180 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a blurred panel? has Unshelved ever done that except maybe for a Sunday strip? < 1460461187 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: great, what? < 1460461196 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what is it? < 1460461203 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :"Functional Programming with Equivalences and Orderings" < 1460461253 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Making a Haskell library for dealing with relations < 1460461285 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what, like dealing with my parents and grandparents? < 1460461315 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Yes, that's exactly what I mean < 1460461319 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Nothing to do with set theory at al < 1460461321 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :l < 1460461763 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the parent relation is not transitive < 1460461810 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Nor is it symmetric or reflexive < 1460461824 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Unless you're a Homestuck character or something < 1460462334 0 :spiette!~spiette@72-53-140-195.cpe.distributel.net QUIT :Quit: :qa! < 1460463662 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: NETWORK CHICKEN < 1460463731 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 248 seconds < 1460463791 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460464074 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1460466851 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460467161 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 246 seconds < 1460467331 0 :Yurume!23f9939a@121.78.85.35 QUIT :Read error: Connection timed out < 1460467523 0 :Yurume!23f9939a@121.78.85.35 JOIN :#esoteric < 1460468620 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1460469345 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :ACTION just read that as "Making a Haskell library for dealing with religions." < 1460469531 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :That'd be a more involved project, and not one I'd be quite as comfortable doing < 1460469565 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :As a probably atheist of an otherwise exclusively Christian background < 1460469578 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I don't know that many religions < 1460469717 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460470518 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :Taneb: You could always make some. < 1460470536 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Tried that onc < 1460470537 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :e < 1460470539 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Got boring quickly < 1460471048 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460471316 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1460472244 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460472350 0 :fizzie!?@? PRIVMSG #esoteric :Crowdsourcing hth < 1460472750 0 :iconmaster!~iconmaste@129.21.122.8 JOIN :#esoteric < 1460473951 0 :`^_^!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1460474038 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1460474062 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1460474485 0 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 252 seconds < 1460474715 0 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1460475190 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1460475540 0 :iconmaster!~iconmaste@129.21.122.8 QUIT :Ping timeout: 276 seconds < 1460475833 0 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1460476089 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460477430 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :groan http://www.smbc-comics.com/index.php?id=4078 < 1460477773 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: on the bright side, she's not a topologist < 1460477863 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: she's still young, give him a few years < 1460477889 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, is dynamic_pointer_cast a member function of std::shared_ptr? or a non-member function? < 1460477889 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: no, it's not. it's more complex than that. read the code.) good stuff < 1460477896 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :WHAT? < 1460477906 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the standard library source code? NO WAY < 1460477927 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's ugly, full of underscores, and more importantly, I need to know what the SPEC says and what I can assume works everywhere. < 1460477960 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :listen, when fungot gives you advice this clear, don't you dare protest < 1460477960 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :oerjan: something like scheme48 ( upon the general position is a part of these amendments, i can only thank the president-in-office, you did hear me say that we have had in getting information with regard to monetary policy, a factor is < 1460478042 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :this clear, mister president-in-office < 1460478106 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460478152 0 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving < 1460478733 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I've just sent someone a pull request because I disagreed with how he structured a library < 1460478741 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm not sure if this is considered helpful or rude < 1460478965 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1460478993 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :But I tried to do it as well as I can, changing all the documentation and test suites accordingly < 1460479061 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460479367 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> 32*0.65 < 1460479368 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 20.8 < 1460479388 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops, no < 1460479638 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460480484 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar < 1460480944 0 :bb010g!uid21050@gateway/web/irccloud.com/x-ynthqlyekqakpihh QUIT :Quit: Connection closed for inactivity < 1460481107 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 248 seconds < 1460481109 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1460481353 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Remote host closed the connection < 1460481525 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1460481727 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Scheduled downtime < 1460481952 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat /dev/null < 1460481975 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat-experimental-gamemanj /dev/null < 1460481992 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat-experiment-gamemanj /dev/null < 1460481992 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :NO OUTPUT < 1460482686 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: [smbc] that's what you get for raising spherical cows! < 1460482780 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the button picture that comes with this strip is just boring) < 1460482911 0 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 276 seconds < 1460483271 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 268 seconds < 1460483878 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460483892 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Is the joke with the tens about bases? < 1460483928 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Or precision? < 1460483928 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :prooftechnique, it's about approximation < 1460483949 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Wow, I misread that whole comic. < 1460484003 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :prooftechnique: your interpretation was off by several orders of magnitudes! < 1460484011 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :At least < 1460484034 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/des/de/ < 1460484228 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: did you alse send an explanation for why the change is worth? < 1460484260 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas, yes < 1460484278 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :gtg. have fun: https://dl.dropboxusercontent.com/u/21184720/donotdelete_nyan.BytePusher < 1460484280 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Basically, it's a testing framework in Haskell along the lines of QuickCheck and smallcheck < 1460484282 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Quit: Leaving < 1460484292 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I moved everything from Test.Check to Test.LeanCheck < 1460484437 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1460484513 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Also, why a trebuchet rather than a crossbow? < 1460484521 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460484545 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1460484552 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas, trebuchets have a more obvious arc < 1460484747 0 :iconmaster!~iconmaste@129.21.121.237 JOIN :#esoteric < 1460484899 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460485936 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1460486139 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460487065 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 244 seconds < 1460487576 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460487579 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Do antimatter beings talk in the negative first person? < 1460487599 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net TOPIC #esoteric :Quite puzzling | The international hub of esoteric programming language and kitten typesetting | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | Note: people with cloaks will be treated as if they're from Istanbul (not Constantinople) < 1460487602 0 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :probably first unperson < 1460487628 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :olsner: No, that's what squirrels talk in < 1460487662 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :olsner: Is there a smooth transition over the reals between POVs? < 1460487669 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :olsner: For example, is there a 2.5th person? < 1460488091 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :How to make the To: address to be used as the From: address for a reply of a message with mailx? < 1460488274 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca QUIT :Remote host closed the connection < 1460488335 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1460488441 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Client Quit < 1460488515 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460489095 0 :Kaynato!~Aedile@casewireless04.CWRU.Edu JOIN :#esoteric < 1460489218 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1460489559 0 :centrinia_!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460490175 0 :J_Arcane!~chatzilla@37-219-51-51.nat.bb.dnainternet.fi JOIN :#esoteric < 1460490312 0 :centrinia_!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1460490424 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460490769 0 :hppavilion[1]!~DevourerO@74-114-87-92.dynamic.asdk12.org JOIN :#esoteric < 1460490813 0 :Kaynato!~Aedile@casewireless04.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1460490843 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 240 seconds < 1460491005 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460491610 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org JOIN :#esoteric < 1460491612 0 :hppavilion[1]!~DevourerO@74-114-87-92.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460491691 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is there any idiomatic way to default to a deriving(Show) in haskell for deugging purposes that does not require commenting out the whole instance? < 1460492022 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What do you mean? < 1460492055 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Like, your own Show instances? < 1460492058 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like, i have data Foo = ... deriving (Eq); instance Show Foo where ... < 1460492083 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :now i want to derive show for foo instead of my instance to debug shit < 1460492107 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What's wrong with deriving Show? < 1460492130 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :data Foo = ... deriving (Eq, Show) < 1460492154 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it complains about duplicate definitions < 1460492164 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, I see what you're asking! < 1460492170 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Sorry, took me a minute < 1460492187 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :You have a real show instance that you want to use in production, but you just want to use the default one for debugging < 1460492188 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :no big deal < 1460492217 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yeah < 1460492238 0 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1460492342 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Hmm. I guess you could write your Show instance for a wrapped variant of your type, though I guess that could get ugly < 1460492358 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I actually don't know if there's a good way, other than that < 1460492372 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, or write a debug wrapper for your type, then derive Show on that < 1460492382 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :It's uglier, but only for debugging :) < 1460492404 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :You could even write some helper functions to handle wrapping and unwrapping < 1460492430 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :if i derive show on a debug wrapper, it will still use the instance of the wrapped class < 1460492447 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, duh. < 1460492727 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :On further thought, I don't think the open world assumption really works with that sort of use :( < 1460492746 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460492810 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Other than writing a separate class to replace your show instance (or something orthogonal like using trace), I think you'll have to comment things. < 1460492824 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I guess you could #ifdef things, but that's a whole other thing < 1460492912 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Or something like this? http://stackoverflow.com/a/28666200/794944 < 1460493051 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah, that might work < 1460493069 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That was more what I was getting at when I mentioned a wrapper, I think < 1460493080 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'm bad at words :| < 1460493136 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1460493299 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460493778 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460493922 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460494003 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org JOIN :#esoteric < 1460495085 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1460495538 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1460496019 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Ping timeout: 248 seconds < 1460496173 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :What's the IRC abbreviation for "That is false", the same way "ofc" is the abbreviation for "That is true"? < 1460496178 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :Where "no" is not acceptable < 1460496188 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :no u < 1460496194 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :(because it pretty much as to be 3 letters) < 1460496198 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :(*has) < 1460496219 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :statements["gamemanj"].last.correct = false; < 1460496223 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :...oh, 3 letters < 1460496244 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :I'm defining a logic for reasoning about justice. ⊥ is "Inconceivable!", ⊤ is "Well /duh/", and ∅ (which is neither true nor false) is "I dunno LOL" < 1460496275 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :(whatever you guys come up with, "Ofc", and "Idk", respectively) < 1460496276 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :... where on earth did you get those letters? < 1460496286 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :I suppose "Nah" works < 1460496296 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :gamemanj: Which letters? < 1460496309 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :⊥⊥⊥ The Spikes Of Doom, of course! < 1460496335 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[2]: smh? < 1460496350 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :smdh for "that is patently false" hth < 1460496358 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :gamemanj: Oh, those are logic symbols < 1460496366 0 :myname!~myname@84.200.43.57 QUIT :Ping timeout: 276 seconds < 1460496376 0 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1460496393 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :⊥ is sometimes called "The Absurdity" and represents a defined-to-be-false value (or, in type theory, the Void type) < 1460496403 0 :me2!~me@38.70.70.115.static.exetel.com.au QUIT :Read error: Connection reset by peer < 1460496425 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :⊤ is... well, I don't know the name, but it's unambiguously true (the "Unit" or "Top" type in type theory) < 1460496443 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :gamemanj: And ∅ is one I made up because I needed it for truth tables < 1460496459 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Noted. To me ⊥ and ⊤ remind me of someone's way of writing ternary that I saw once... < 1460496490 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Does justice admit a logic? < 1460496580 0 :me2!~me@38.70.70.115.static.exetel.com.au JOIN :#esoteric < 1460497120 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: “What's the IRC abbreviation for "That is false",” => it's “no wai” < 1460497159 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :web application interface? < 1460497188 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/Extended truth-table demo14]]4 N10 02https://esolangs.org/w/index.php?oldid=46770 5* 03Hppavilion1 5* (+579) 10Published < 1460497215 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: context? < 1460497227 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: "WAI" < 1460497297 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION just doesn't like these "cute" typos. < 1460497335 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :wut r u talking abt? < 1460497354 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :They're talking about the observation of cuteness and how it is not objective. < 1460497365 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :That's my best guess anyway. < 1460497414 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Disagree: https://i.imgur.com/hK96rUd.jpg < 1460497833 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/Extended truth-table demo14]]4 10 02https://esolangs.org/w/index.php?diff=46771&oldid=46770 5* 03Hppavilion1 5* (+0) 10Formatting < 1460497860 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/Extended truth-table demo14]]4 M10 02https://esolangs.org/w/index.php?diff=46772&oldid=46771 5* 03Hppavilion1 5* (+2) 10Formatting again (used preview this time) < 1460497918 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :gamemanj: There. That's what ∅ does in truth tables < 1460497946 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Hppavilion1/Extended truth-table demo14]]4 M10 02https://esolangs.org/w/index.php?diff=46773&oldid=46772 5* 03Hppavilion1 5* (-11) 10Editing cruft removed < 1460498318 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 244 seconds < 1460498514 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: Hi < 1460498519 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :hppavilion[2]: Hi < 1460498551 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: I'm considering designing a type of diagram for software that can be done in pure Unicode (or, in a pinch, pure typable ASCII) < 1460498726 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: You know what I haven't seen yet that would be INCREDIBLY valuable for software? < 1460498755 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :(Certain types of software, at least) < 1460498763 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :bnf4ocr < 1460498829 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1460499166 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4595:3163:8959:8b1c QUIT :Quit: ZNC - http://znc.in < 1460499225 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :Hm... < 1460499272 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :What would bnf4ocr be? Things like the MNIST default training set example from TensorFlow's page? :P < 1460499276 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :s/pa/homepa/ < 1460499740 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1460499952 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hppavilion[2]: uh... aren't there like a ton of diagram drawing software these days, because at one point there was too few and then everyone invented their own one? < 1460500007 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :Hehehe < 1460500284 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: Perhaps < 1460500304 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :b_jonas: bnf4ocr, on the other hand, would be AWESOME < 1460500317 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: http://pastebin.com/CF2dVjBr < 1460500352 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :That's bnf4ocr. It's not really bnf at all, but it's inspired by it superficially. < 1460500357 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: It's for parsing images, basically < 1460500448 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: Reading the paste? < 1460500480 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1460500581 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460501144 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1460501185 0 :zgrep!sid43445@gateway/web/irccloud.com/x-oevbiojbkxyvopgg PRIVMSG #esoteric :hppavilion[2]: Hold on, sorry. I'm translating stuff for people in another channel. < 1460501193 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :zgrep: Ah, OK < 1460501239 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1460501499 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org PRIVMSG #esoteric :oerjan!\a < 1460501526 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : olsner: Is there a smooth transition over the reals between POVs? <-- not for humans hth < 1460501536 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :\a? < 1460501547 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: bell? < 1460501580 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in any case i don't have the bell on in irssi. < 1460501620 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'd try `printf \a but shachaf would be annoyed < 1460501632 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed. < 1460501651 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :annoying shachaf is so easy it must be a monoid. < 1460501717 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: not \aing in the channel is pretty standard irc etiquette hth < 1460501729 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i don't need \a to annoy you < 1460501743 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lots of other characters work < 1460501761 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1460501926 0 :`^_^!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1460501983 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :just mentioning the name could easily do the trick < 1460502052 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1460502053 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh it's a bright new day... minus the bright < 1460502096 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[2]: i don't think ⊥ means what you think it means < 1460502099 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION ducks < 1460502183 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you must be exaggerating < 1460502185 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :right? < 1460502197 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: exaggerating what < 1460502223 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? exaggerating < 1460502226 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :exaggerating? ¯\(°​_o)/¯ < 1460502237 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION whistles innocently < 1460502243 0 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 264 seconds < 1460502305 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: look < 1460502319 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're messing up my terminal < 1460502366 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was demonstrating hth < 1460502366 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :only slightly in this case < 1460502372 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i know hth < 1460502403 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://slbkbs.org/oerjan-terminal.png < 1460502445 0 :hppavilion[2]!~DevourerO@74-114-87-92.dynamic.asdk12.org QUIT :Ping timeout: 248 seconds < 1460502460 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :do you normally have no delimiters after nicks < 1460502468 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :shachaf, er, how < 1460502484 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: they're just black-on-black < 1460502496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: That overscore got copied down to the next line < 1460502517 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :what's wrong with your terminal < 1460502544 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? ngevd < 1460502545 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​‡ù« ½–ô¡ÁœÃÔ_ZW&ä›1ÅÕƃû9¡lþkó·ÏºÝÔ^i¼±¦øWüЌ8Äòw¾"²ƒ£A¤À=èXÀÛR»fƒPã ø üo˳7 R›¡·§Q^U'ïgåù.t}Ç­{ \ ‹¦4Ç €ÏېmÒ:Zè$y±Edâ¿.\À‹žáŠ&ˆ gؑnN>›{kT]ÞN¸ HLK \ é“Ætœ‰è“t+̺EFY \ ¥®ÒÌ­˜Õ1˜±m% $k³åkr)/=ž&rQEØ´¸´Îú—[ äèžPÆ}.ádikÝÑ9kCpª#¡¬\ìèÜá÷šŽ B¶.5xš8Ð =ŒlÚÍoۄ4Äؼ‰õ4üï¿] œ¯’Ž’D`I4\Û¤¢„t+ù­‡…‹L¨ç-/?è=†¢Ùr¥3ìçjkk)+ < 1460502552 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Thantom_Thoover < 1460502566 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually that's not so bad. < 1460502568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i was resisting that hth < 1460502581 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's the urandom link? < 1460502583 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ngevd is unlikely to generate valid UTF-8 code sequences < 1460502605 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wtf is wrong with °​ < 1460502615 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :int-e, it's not actually a urandom link for dumb reasons < 1460502628 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`ls -la wisdom/ngevd < 1460502629 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: invalid option -- ' ' \ Try `ls --help' for more information. < 1460502633 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` ls -la wisdom/ngevd < 1460502634 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's not the °​ but the invisible space after it < 1460502638 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rw-r--r-- 1 5000 0 215 Dec 9 04:13 wisdom/ngevd < 1460502647 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1460502658 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`unidecode °​_ < 1460502659 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+00B0 DEGREE SIGN] [U+200B ZERO WIDTH SPACE] [U+005F LOW LINE] < 1460502660 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :shachaf, i feel like if your terminal can't deal with unicode then that's on you < 1460502662 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. < 1460502667 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: Agreed. < 1460502690 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I guess the half-wit...width spaces are no problem? < 1460502695 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan was trying to get my goat < 1460502725 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :。。。 < 1460502727 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` hg blame wisdom/oerjan < 1460502729 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :6537: Your famous mysterious evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. < 1460502747 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :blame? < 1460502756 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/famous/infamous/' wisdom/oerjan < 1460502759 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :take that < 1460502761 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460502773 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION gently swats int-e -----### < 1460502776 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :clog: are you borken? < 1460502788 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :clog is fine afaict. glogbot is awol. < 1460502789 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@wn infamous < 1460502793 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "infamous" wn "WordNet (r) 3.0 (2006)" < 1460502793 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :infamous < 1460502793 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : adj 1: known widely and usually unfavorably; "a notorious < 1460502793 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : gangster"; "the tenderloin district was notorious for < 1460502793 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : vice"; "the infamous Benedict Arnold"; [syn: {ill-famed}, < 1460502795 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : {infamous}, {notorious}] < 1460502808 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm, are you infamous or notorious < 1460502946 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? password < 1460502947 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is qjkxbmwvz < 1460503000 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: actually one relevant thing with clog is that the tunes logs have no declared charset so sometimes i have to change it. < 1460503020 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah, I just noticed that < 1460503026 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l wisdom/password < 1460503027 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rw-r--r-- 1 5000 0 39 Mar 5 17:33 wisdom/password < 1460503034 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1460503085 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn The password of the month is supercalifragilisticexpialidocious < 1460503087 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned 'password': The password of the month is supercalifragilisticexpialidocious < 1460503144 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION superspeller < 1460503164 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: nefarious hth < 1460503191 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. " there's that a* word i can never remember again" < 1460503267 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course now my brain has created an connection between "word i can never remember" and that word, so now i sometimes remember it instead of whatever _other_ word i'm trying to remember. < 1460503294 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( `` sed -i 's/"a.*"/"allegorical"/' wisdom/oerjan ) < 1460503400 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn An amortized word is a word that oerjan can never remember. < 1460503403 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'amortized': An amortized word is a word that oerjan can never remember. < 1460503420 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(not worth it but it's another nice word that starts with 'a') < 1460503443 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I spent weeks once trying to remember the word "proverbial". < 1460503454 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I asked everyone I talked to. < 1460503469 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The word about algorithms that I have trouble remembering is "parsimonious" < 1460503493 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :a persimmonious algorithm < 1460503498 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do algorithms have to do with fruit? < 1460503500 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :curses < 1460503520 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION high five < 1460503536 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so that's what it's called in english, thanks! < 1460503546 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :... < 1460503568 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION immediately regrets the ... < 1460503637 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION now wonders what persimmon is in german < 1460503661 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Kaki" < 1460503734 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :apparently both names (minus an m) are used in norwegian. not that i've really noticed them. < 1460503862 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :A parsimonious algorithm is one that doesn't ask redundant questions... I believe Knuth coined the term for his analysis of convex hull algorithms based on "clockwise" predicates. The predicate is true for three points PQR if the triangle PQR has P,Q,R in clockwise order. But the computation is subject to loss of precision if done with floating point numbers, and algorithms may run into trouble... < 1460503868 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...with contradictory answers. One principled way to avoid such trouble is not to ask redundant questions. Hence the concept. < 1460503918 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(The term is also applicable to sorting.) < 1460503928 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah i knew the sorting version < 1460503940 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :merge sort fulfils that, i think. < 1460504012 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you could create a (badly balanced) shuffling algorithm by calling such a sort algorithm with a random comparison predicate < 1460504054 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Most sorting algorithms have the property, I think... including insertion sort, heap sort, many implementations of quicksort. Shellsort is one exception I can think of. < 1460504061 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think i experimented with that in the channel once. < 1460504093 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I may be wrong about heapsort, actually < 1460504155 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1460504164 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION isn't overly clear on all those < 1460504184 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And I guess that sorting networks are generally not very good at avoiding redundant comparisons. < 1460504397 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yeah, the standard array based heap sort is not on the list, because it places many elements inside the heap twice (once when building the heap (raising elements) and once in the extraction phase (sinking elements)). A pity :) < 1460504466 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net PRIVMSG #esoteric :What list is this and what are we sorting? < 1460504495 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The list is the list of parsimonious sorting algorithms. < 1460504509 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and how is it sorted? < 1460504522 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(comparison based, so it doesn't really matter how its sorted) < 1460504534 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION -----###s oerjan. < 1460504546 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah but are you sure the comparisons are repeatable < 1460504572 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1460504579 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the whole point is that they need not be repeatable < 1460504581 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION snags his swatter back < 1460504605 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so you are saying the list is parsimoniously sorted? < 1460504613 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :otherwise they need to be. < 1460504667 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460504677 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :parsimony is also important when programming kayak < 1460504701 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so this has real-world esoteric programming applications < 1460504707 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Talk:Sorting_algorithm#.22Comparison_of_algorithms.22_table_ordering < 1460504737 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Last time I checked, ⊥ is unambiguously false < 1460504744 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[2]: *whoosh* < 1460504751 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1460504753 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: ... < 1460504755 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Oh. < 1460504758 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION was admittedly aiming high < 1460504765 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah, I get it now < 1460504773 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavellon[2], hellørjan. < 1460504778 0 :hppavilion[2]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I think I've invented TCBNF < 1460504781 0 :hppavilion[2]!?@? NICK :hppavilion[1] < 1460504784 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bood nightly < 1460504790 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: To whom are you speaking? < 1460504801 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you know general grammars are TC right < 1460504810 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I don't think BNF is TC < 1460504825 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well BNF is for context-free grammars, so < 1460504838 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: That's what I thought < 1460504848 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: The TCBNF I speak of is fairly simple < 1460504866 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's like BNF, but every rule has an unbounded nonnegative integer associated with it < 1460504881 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: fwiw, "Persimone" is a german word as well... apparenly "Kaki" is really a whole family of fruits. < 1460504886 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :There are two new "operators" for matching, of the syntaxes x++ and x--{y}{z} < 1460504894 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I assume everyone knows where I'm going with this < 1460504916 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :x++ matches the empty string, but with the side effect of incrementing the integer associated with the rule "x" < 1460504926 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hppavilion[1]: I porthelloed y'all. < 1460504933 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: yES < 1460504935 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :*yes < 1460504937 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ahoily < 1460504938 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :OKAY < 1460504960 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :x--{y}{z} matches the empty string, then decrements x and matches y, UNLESS x is 0, in which case it matches z < 1460504976 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION idly wonders how many people here know DPLL < 1460504978 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Obviously, x has to be a rule name, it can't be any other type of expression < 1460504985 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: DPLL? < 1460504995 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: I'll take that as a "I don't" < 1460504999 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION longs for the day where he won't tab-complete a mkdir < 1460505027 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, and we pretend backtracking never happens because TCBNF is the Omniscient God of Grammar < 1460505028 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(mm, I only know half of the names though, meh) < 1460505072 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net PRIVMSG #esoteric :int-e: I don't know anything; I've learned more in the last five minutes than I learn in a month. < 1460505079 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Though in reality, it just pushes a clone of the current environment onto a stack every time backtracking may occur, then discards the ToS if it doesn't after completion and POPs it and uses it as the new environment if it does backtrack < 1460505094 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Let's see. Davis, Putnam, Logemann, Loveland. < 1460505103 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :* boily longs for the day where he won't tab-complete a mkdir <-- surely you should long for the day your computer can guess the directory so that tab-completion works hth < 1460505106 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(Because AFAIK you can't really figure out if you're going to have to backtrack without trying, in the general case) < 1460505136 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :booe is right < 1460505199 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: if it can do that then it shouldn't require pressing the tab key either < 1460505200 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`relcome Greenlock < 1460505209 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13Greenlock: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07EFnet 08or 09DALnet.) < 1460505293 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I sometimes am about to sen a message with absolutely no value to the discussion, then I absentmindedly add a joke to it (such as the joke above) and it becomes... well, still worthless, but at least mildly amusing < 1460505349 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :why would you do such a thing are you secretly an alien reptile < 1460505361 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: NO! < 1460505392 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION carves another *WHOOSH* into his belt < 1460505407 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://xkcd.com/1530/ < 1460505482 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net PRIVMSG #esoteric :Rainbow text just for me! *-* < 1460505484 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OK, I still don't get it. < 1460505493 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Greenlock: yes. It is just for you. < 1460505513 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Greenlock: And most certainly not something we do for all new users. < 1460505527 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I need a map of the GG world... I was assuming the Corbette monastry(?) was quite some distance away from Paris... < 1460505538 0 :Greenlock!~Greenlock@108-210-180-144.lightspeed.tukrga.sbcglobal.net PRIVMSG #esoteric :Right, certainly. < 1460505549 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: monastery? < 1460505566 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :05f04o07r 08y03o09u < 1460505568 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[1]: I'm hoping for oerjan to correct me < 1460505595 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... how can we scare Greenlock away? < 1460505597 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`evill < 1460505598 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But that often requires subtlety, so I may have spoiled the chance now. < 1460505599 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`evil