< 1461715208 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan's hostname contains "hagbart" which looks like "h4gbird" < 1461715244 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: We're on to you. Your clever disguise will fool us no longer < 1461715388 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :DAM (deterministic access memory) is /so/ much better than RAM :P < 1461715527 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1461715540 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Phantom_Helloover: < 1461715807 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: itym hagb4rd. < 1461715845 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm not entirely sure why the server's named that, although it's been there for far longer than the troll. < 1461715846 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Your confusion techniques will not stop me < 1461715873 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Read error: Connection reset by peer < 1461715877 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suspect it may be a children's literature character, though, several of the other servers are. < 1461715904 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1461715917 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Never heard of a hagbard, and neither has anybody else in the room < 1461715933 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461715954 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hppavilion[1]: it's probably a norwegian children literature < 1461715956 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: incidentally, who knows if e's doing it on purpose. i think one of the reasons i didn't notice earendel earlier was because i confused em with one of Elronnd's alternative nicks. < 1461715963 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Perhaps < 1461715970 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: hagbar_t_ < 1461715992 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah, hagbart? < 1461716007 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Still haven't heard of them < 1461716008 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it could be a comic character. i vaguely think there's a danish one by that name. < 1461716012 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I did the same. < 1461716057 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.smurf.dk/Henrik%20&%20Hagbart/henrikoghagbart.html < 1461716065 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh hm the danes call hägar the horrible hagbard < 1461716075 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :we call him hårek < 1461716115 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: So do you have any thoughts on the whatever-it's-called architecture? < 1461716133 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :um i'm a bit forward-logged < 1461716150 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah < 1461716157 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :forward-logged? < 1461716181 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Are- are you a timetraveler? < 1461716184 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1461716526 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :A good model for an esoteric processor would be the "horribly tangled block" model < 1461716533 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Basically, non-modular processor < 1461716589 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it means that i'd skipped past that discussion because you started pinging me hth < 1461716613 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think my thoughts are about "meh", alas < 1461716657 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, i have the power to travel through time at the huge speed of 1 s/s hth < 1461716691 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah < 1461716695 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(equivalent to c in natural units) < 1461716730 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hovercraft < 1461716733 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? eel < 1461716735 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? vim < 1461716744 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: I do not want to know what you are trying to construct < 1461716753 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: Given your `? history < 1461716769 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: you realize that doing so many commands at once increase the chance they'll time out hth < 1461716774 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+ < 1461716778 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*+*+s < 1461716782 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*-+ < 1461716799 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? møøse < 1461716815 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: I can retry the ones that time out < 1461716836 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net TOPIC #esoteric :Recommended by pi out of 5 doctors under duress! | The international hub of esoteric programming | 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 Chemnitz (not Karl-Marx-Stadt) < 1461716854 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :THERE'S the joke < 1461716875 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what the heck, HackEgo? < 1461716887 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, give HackEgo a swift kick from me < 1461716893 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :... < 1461716900 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :b_jonas: fungot isn't online... < 1461716907 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :WHAT < 1461716910 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie!!!!!!!!!!!!!!!! < 1461716916 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: This happens every once in a while < 1461716945 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I have been on this channel for years, and I have never not been able to fungot < 1461716950 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :My world is crumbling < 1461716951 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`reboot < 1461716967 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`fungoot < 1461717063 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``.d < 1461717087 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ¦ < 1461717325 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461717333 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461717372 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's too few responses < 1461717373 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`pint < 1461717449 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eel? ¯\(°​_o)/¯ < 1461717455 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. < 1461717457 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `.d: not found < 1461717458 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​¦? ¯\(°​_o)/¯ < 1461717458 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fungoot: not found < 1461717459 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pint: not found < 1461717459 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: reboot: not found < 1461717514 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? hovercraft < 1461717515 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. < 1461717519 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? herring < 1461717520 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :herring? ¯\(°​_o)/¯ < 1461717536 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? møøse < 1461717537 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :møøse? ¯\(°​_o)/¯ < 1461717542 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION smacks b_jonas with an eel ~~~~~~~~~ < 1461717543 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? vim < 1461717544 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :vim equals to approximately ccxxxviin. < 1461717556 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? termbot < 1461717557 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :termbot? ¯\(°​_o)/¯ < 1461717570 0 :hydraz!?@? NICK :him < 1461717591 0 :him!?@? NICK :hydraz < 1461717637 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn Møøse is Norwegian for moss. < 1461717639 0 :hydraz!?@? NICK :cne < 1461717642 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'møøse': Møøse is Norwegian for moss. < 1461717651 0 :cne!?@? NICK :hydraz < 1461718520 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\> the resulting system would be turing complete even though each component isn't <-- hm because each of them provides a stack? < 1461718707 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461718716 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : rdococ: No, you said "hp", so now I'm here <-- you must have a lot of fun in gaming channels < 1461718725 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dammit < 1461719213 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION notices hppavilion[1] completely misunderstanding quantum computing in the logs and sidles away carefully. < 1461719240 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461719336 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aaaaaaa < 1461719385 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell hppavilion[1] Re: quantum computing, you cannot invent things on top of something you completely fail to understand hth < 1461719385 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1461719559 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461719926 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : myname: e.g. is "for example", i.e. is "in other words" <-- actually i.e. is "that is" hth < 1461719981 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmmmmmmm < 1461720007 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461720224 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1461720370 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION sees pre-mature jokes in the logs < 1461720483 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 JOIN :#esoteric < 1461720490 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Hia < 1461720510 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi moon < 1461720587 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 260 seconds < 1461720615 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`? moon < 1461720626 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :damn the bot is off < 1461720627 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Moon is a person, not an unretroreflectorey object. < 1461720631 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :oh < 1461720633 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :nvm (= < 1461720655 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it _is_ the slowest bot in Mexico, you know < 1461720673 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :heh < 1461720796 0 :adu!~ajr@111.sub-70-192-203.myvzw.com QUIT :Quit: adu < 1461721084 0 :adu!~ajr@111.sub-70-192-203.myvzw.com JOIN :#esoteric < 1461721411 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 250 seconds < 1461721551 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net JOIN :#esoteric < 1461721591 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ehoily < 1461721609 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :koerjanbanha. < 1461721678 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1461721700 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :bonsointopia. < 1461721843 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :@tell Gregor IEUAAAAAAAAAAAAAAAAAAAARGH! < 1461721843 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1461721858 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :Codu's dead, Jim. < 1461721864 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :oh. < 1461721867 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :false alert. < 1461721881 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :@tell Gregor Please disregard previous guttural yell hth < 1461721881 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1461721920 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell Gregor no don't, there are other problems. < 1461721920 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1461721957 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: you can redirect it at fizzie hth < 1461721957 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :fizzie: WHARAAAAAAAAAAAAARGHGLRGHGHGHRHGHFHGHRGHLGLGLGLGLGLGL! < 1461721963 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh already on it < 1461721966 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :yup ^^ < 1461722012 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :meanwhile, the 16.04 upgrade killed python support in my vim install. much rejoicing... < 1461722145 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461722327 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :hppavellon[1]. < 1461722333 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ahoily < 1461722418 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461722462 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :ah fungot. got the Dreaded Vietnam Reference Error. < 1461722474 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1461722535 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :trying to compile the PDF, got the vietnam ldf error. I think int-e was afflicted by it last week. < 1461722564 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :applying a round of forceful package updates that include some latexy stuff. imh. < 1461722987 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds super fun < 1461723018 0 :J_Arcane_!~chatzilla@37-219-87-58.nat.bb.dnainternet.fi QUIT :Read error: Connection reset by peer < 1461723048 0 :J_Arcane!~chatzilla@37-219-87-58.nat.bb.dnainternet.fi JOIN :#esoteric < 1461723279 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :got it. simply had to 's/vietnam/vietnamese/' the babel \usepackage definition, \selectlanguage references, and then `make clean` to remove the corrupted .aux files. < 1461723311 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Thanks for reminding me to update my TeX distro < 1461723315 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :is the name of the language 'vietnamese' or 'viet' < 1461723347 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :mad: Technically, it's tiếng Việt < 1461723371 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :as far as LaTeX is concerned, it is now always 'vietnamese'. < 1461723379 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I mean in english < 1461723386 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :Vietnamese. < 1461723408 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :does 'nam' mean country or something like that? < 1461723425 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, TeXLive is frozen. I wonder when 2016 will be out < 1461723511 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :mad: I think the whole thing means "Southern Việt" < 1461723537 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Names_of_Vietnam#Origin_of_the_.22Vietnam.22 < 1461723545 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :What "Southern" means has changed over time < 1461723595 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461723667 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oh < 1461723691 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :so it's congante with chinese 'nán' < 1461723794 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :nan, nam, lam... < 1461723906 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net QUIT :Quit: TALKING CHICKEN < 1461724574 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 QUIT :Ping timeout: 250 seconds < 1461724900 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461725164 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :@massages-lud < 1461725164 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 1h 36m 18s ago: Re: quantum computing, you cannot invent things on top of something you completely fail to understand hth < 1461725183 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: JUST TRY AND STOP ME HAHAHAHAHAHAHAHAHAHAHAHAHAHAH < 1461725337 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i don't have to, your construction will collapse by itself into inconsistency hth < 1461725361 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yeah, true < 1461725390 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OTOH, the reason I haven't been working on QCL is because I don't understand QC at all, and I didn't want to create something stupid < 1461725397 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: But I somehow roped myself into it today < 1461725398 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good plan < 1461726979 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1461727829 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Woudl I be correct to hypothesize Haskell is based on the Category of Functions? < 1461727856 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :category of functions? < 1461727858 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :??? < 1461727886 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :At best it is loosely based on the category Hask < 1461727890 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :coppro: Category Theory? < 1461727897 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Ah, OK < 1461727915 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: I was wondering if a language like haskell based on e.g. allegories would be possible < 1461727923 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Hask is a category somewhat similar to Set, so its morphisms are functions. < 1461727951 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Set being what the "category of functions" is called. < 1461727967 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah < 1461727968 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :since it's named by its objects instead of morphisms < 1461728014 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they're both "cartesian closed" (although that may be modulo some bottoms in the Hask case), which means you can put lambda calculus in them. < 1461728038 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OK... < 1461728081 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: But could one have a language based on a category somewhat similar to e.g. Grp? < 1461728118 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if you think you can replace "category" by "allegory", then you are using too much allegory in your thinking hth < 1461728129 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yes, probably < 1461728139 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: I'm just asking questions about what /can/ be done < 1461728162 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Set is an allegory, anyway < 1461728173 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: yeah, I think you could have a language based on a different category. < 1461728173 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well Grp is probably not cartesian closed, although maybe it'd be good for _reversible_ computations. < 1461728195 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK. Such as? < 1461728197 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think in a sense logical languages might be based on Rel? < 1461728199 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: well, not all group homomorphisms are invertible. < 1461728207 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: such as Grp. < 1461728223 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: On Rel? Now I'm interested < 1461728245 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: hm right. you want the morphisms to be invertible. < 1461728262 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Ab? < 1461728265 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: well you're solving relations... < 1461728276 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So that would be a language based on a groupoid. < 1461728282 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :prooftechnique: Ab still doesn't have invertible morphisms. < 1461728293 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Boo < 1461728304 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OK. What would things like functors (which I'm just beginning to understand) be like? < 1461728316 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :They'd be like functors hth < 1461728324 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Well yeah, but... < 1461728399 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i haven't thought too deeply about that. < 1461728424 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Is the Category of Grammars (a) a thing and (b) a thing that has had any research into it? < 1461728454 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Depends on what kind of grammar you mean. < 1461728464 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: do you know what a homomorphism is, in general? < 1461728468 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there was this time i wondered if definite clause grammars in Prolog were a notation for monads in Rel. i didn't get to the bottom of it. < 1461728479 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Barely. I'm still trying to grasp all of this < 1461728492 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(they're used similarly to the State monad in haskell) < 1461728524 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: What's a homomorphism in the Haskell context? < 1461728533 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :A function, I would guess, but I'm probably wrong < 1461728554 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, the question would be "a homomorphism of what?" < 1461728562 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A homomorphism of types in Haskell would be a function, yeah. < 1461728578 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK... < 1461728589 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh btw my DCG comment was unrelated to the grammar question. < 1461728636 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I imagine that in Gram (the category of grammars), homomorphisms would be ways of transforming between grammars? < 1461728647 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :They certainly would be, yes. < 1461728668 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK... < 1461728670 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then the only question is, what does "transforming between grammars" mean? < 1461728681 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i think you mean morphism. "homomorphism" is restricted to more concrete set objects, i think. < 1461728694 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I suppose I have to find the structure that they preserve? < 1461728695 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :e.g. algebra < 1461728708 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: I am in fact talking specifically about algebraic structures. < 1461728728 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: sounds right. Now, the thing about homomorphisms is... < 1461728749 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: well i'm not sure haskell types are algebraic structures. well, i guess they're CPOs in some interpretation. < 1461728760 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Usually, an algebraic structure consists of a bunch of elements, and a handful of operators. < 1461728772 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :hppavilion[1]: define a grammar < 1461728777 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A homomorphism is a function from the elements of structure A to the elements of structure B, which respects the operators. < 1461728820 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If you want to define a "category of Xs", it would be good if you could figure out what the elements are, and what the operators are. < 1461728841 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :that's misleading < 1461728852 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :a category does not need an algebraic structure or operators < 1461728852 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :order categories, for instance < 1461728860 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :coppro: Wikipedially, a set of named rules that declare a set of alternative sequences of terminal symbols and/or other rules that a string can match < 1461728880 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :hppavilion[1]: well I've worked with languages over arbitrary algebras < 1461728887 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :and I think what you end up wanting is basically equation systems < 1461728907 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :but what does a morphism between equation systems look like? You could, of course, define a category of equivalences, or perhaps inclusion in generated sets < 1461728926 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Let me see if I can decide what I think a homomorphism of grammars is. < 1461728937 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: now, I have a suggestion. < 1461728949 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: they aren't algebraic structures, so homomorphism doesn't make sense on them < 1461728953 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: if you want to apply category theory to grammars, consider looking at *each* grammar as being a category. < 1461728960 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK... < 1461728965 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Makes some sense < 1461728982 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And, I suppose, the morphisms are between dependencies? < 1461728998 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :So if a ::= b c, then there's an arrow from a to b and from a to c? < 1461729003 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The objects of the category consist of all strings. The morphisms are the ways of getting from one string to another by following the rules. < 1461729041 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: OK... < 1461729045 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Wait, what? < 1461729052 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I was treating grammars as recognizers < 1461729054 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So the way I'd do it is, if a ::= b | c, then that gives you arrows b -> a and c -> a. < 1461729057 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION goes back to wikipedia < 1461729070 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, I see < 1461729071 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And also arrows dbe -> dae, and so forth. < 1461729284 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I'm getting more of a Thue vibe from that, rather than grammars < 1461729297 0 :acertain!~acertain@unaffiliated/fread2281 QUIT :Ping timeout: 244 seconds < 1461729303 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You realize that Thue is based on grammars, right? < 1461729315 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Yes? < 1461729338 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: But I thought grammars just represented "this does fit with my language" or "this does not fit with my language" < 1461729363 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :hppavilion[1]: you have to formalize them somehow < 1461729368 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A grammar is a list of Thue-like rules that produces a language. < 1461729382 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A language is any collection of strings. < 1461729391 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :I could step in and apply the stuff I used in my master's thesis here, but that might be overkill < 1461729396 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So then does a grammar take a string of input? < 1461729427 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Nope. A grammar is a list of rules that can be applied in various different ways. < 1461729437 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Once you're done applying the rules, you end up with a string. < 1461729462 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :For any given string, if there exists at least one way of using the rules of the grammar to produce that string, then that string is in the language. < 1461729463 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :well, a grammar is both < 1461729471 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If it's impossible to get that string, then the string is not in the language. < 1461729488 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :formally, a grammar is just an equation system over a monoid < 1461729509 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Oh, it looks like I was thinking of Automata Theory < 1461729550 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :an equation system is a set of k polynomials in the powerset algebra over the underlying algebra and with k variables, each of which corresponds to a polynomial < 1461729571 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :coppro: is this your master's thesis stuff? < 1461729611 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: my thesis was applying techniques from algebra & language theory to try to gain insight into graph minors structure < 1461729625 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Huh. < 1461729646 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It almost seems like everyone's got a relevant thesis for every topic. < 1461729647 0 :acertain!~acertain@unaffiliated/fread2281 JOIN :#esoteric < 1461729651 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, a while back, I said... < 1461729653 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1461729673 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :this is the first time I recall a conversation in here where I was able to bring in something from my thesis < 1461729687 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :though if anyont wants to learn about quasi-ordering and graph minors, I'm down :P < 1461729723 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Hey, let's talk about sequences S that have the property that for all substrings T of S, there exists a number n such that every substring of S of length n has T as a substring." < 1461729734 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And then someone else here said, "Oh yeah, I did my Ph.D. thesis on those." < 1461729814 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I looked at their Ph.D. thesis, and sure enough... < 1461729822 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I mean, that wasn't the exact topic of the thesis. < 1461729842 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :But it was definitely closely related. < 1461729898 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :I'll link you mine. It's very dense, though! < 1461729917 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :https://uwspace.uwaterloo.ca/bitstream/handle/10012/9648/Hunt_Sean.pdf?sequence=3&isAllowed=y < 1461729957 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :isAllowed=y? < 1461729960 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :That doesn't sound safe < 1461729969 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION tests it with isAllowed=n < 1461729990 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Huh, doesn't seem to change anything < 1461730025 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION waves at tswett  < 1461730036 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1461730037 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: was it you? < 1461730039 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1461730049 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So the category of /automata/ was what I was going for. < 1461730084 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: Have you considered Kan extensions? < 1461730094 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Never heard of them, so no < 1461730127 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Well, just get a grip on those, and you'll have mastered all of category theory < 1461730142 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :prooftechnique: Yay! < 1461730159 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That's the Mac Lane guarantee < 1461730223 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION "should" learn about Kan extensions some day < 1461730225 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Chart Theory. < 1461730307 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :oerjan: The way I think about it, once you've done that, you can just kind of stop. You technically understand everything, so the rest is just computation, and that's what grad students are for < 1461730316 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Easy < 1461730395 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: I think category of grammars is more interesting than Category of Automata xD < 1461730437 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :oerjan: is it "Cantor systems, dimension groups and Bratteli diagrams"? < 1461730461 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK, um... BNF is for Context-Free Grammars... But I don't see how it fits with the definition of grammars where things are translated... < 1461730505 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :BNF is a sort of shorthand for formal grammars. < 1461730510 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Suppose you've got this BNF rule: < 1461730517 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :a ::= b* c* < 1461730537 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That's shorthand for all of these formal grammar rules: < 1461730555 0 :adu!~ajr@111.sub-70-192-203.myvzw.com QUIT :Quit: adu < 1461730557 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(a -> BC) (B -> bB) (B ->) (C -> cC) (C ->) < 1461730559 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :adnuuuuuuu < 1461730604 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? numbers < 1461730620 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OK. < 1461730625 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I think I get it. < 1461730661 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :numbers? ¯\(°​_o)/¯ < 1461730762 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`learn Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... < 1461730766 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'number': Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... < 1461730780 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`culprits wisdom/number < 1461730783 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That's not even all of them :| < 1461730799 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :tswett < 1461730808 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`run mv wisdom/number{,s} < 1461730812 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461730812 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? numbers < 1461730814 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Numbers: 0, 848, 1344, 1696, 1969, 2192, _, 2544, 2688, 2817, _, 3040, _, _, 3313, 3392, ... < 1461730823 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1461730991 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Hm... would Thue form a good example of the basis of Grammar Programming, the same way λ-calculus is the basis for FP? < 1461731018 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think I'd say the notion of a formal grammar is what would form that basis. < 1461731024 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course, Thue is very close to the notion of a formal grammar. < 1461731028 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Well, yeah < 1461731037 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Thue would be the /example/ of the basis < 1461731097 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: i think that was my "masters" not my "PhD" thesis (quotes because they're approximate translations). the PhD itself is not online, although 3 journal articles from it are. < 1461731140 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(well, some of them may be paywalled.) < 1461731293 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: Would adding strange features to a grammar language be acceptable? e.g. a way to extend the input string while processing it? < 1461731334 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Like, to allow the user to enter more data after the program has already started running? < 1461731371 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: No, from inside the program < 1461731399 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So you might be matching "Hello" < 1461731426 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: And one rule may have the body "H", cw(", World!") < 1461731442 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :tswett: So it would match "H" then append ", World!" to the string that it is processing < 1461731454 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(cw(...) matches the null string) < 1461731472 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, lemme say these things. < 1461731521 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :A plain-old-regular formal grammar is simply based on replacing this string with that string. That's enough for Turing-completeness. Adding additional features will make the language less elegant, so you'd better have a good reason for doing it. < 1461731537 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Also, formal grammars aren't usually considered as *having* an input string. < 1461731544 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Rather, the input string is always the same thing: "S". < 1461731577 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :With that, unfortunately, I've got to go to bed. < 1461731578 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Night. < 1461731616 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah < 1461731617 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Night < 1461732865 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unidecode – < 1461732866 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2013 EN DASH] < 1461732875 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wow < 1461732881 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :speedy < 1461733194 0 :adu!~ajr@111.sub-70-192-203.myvzw.com JOIN :#esoteric < 1461733218 0 :adu!~ajr@111.sub-70-192-203.myvzw.com QUIT :Client Quit < 1461734076 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 246 seconds < 1461734577 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Hm... < 1461734597 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :OPEN PROBLEM OF MATHEMATICS: Is it possible to explain Category Theory in a way that's easy to understand? < 1461734630 0 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :haven't seen a way yet < 1461734662 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes hth < 1461734789 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: Formal proof? < 1461734811 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :formal proofs are often not easy to understand < 1461734913 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: ...touche. < 1461735000 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1461735321 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461736387 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 268 seconds < 1461738627 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461738892 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1461740189 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :category theory is set theory's set theory < 1461740192 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :done < 1461740206 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :did i win a million dollars or something? < 1461740217 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yes, but only zimbabwean ones < 1461740228 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :better than nothing i guess < 1461740330 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1461741123 0 :J_Arcane!~chatzilla@37-219-87-58.nat.bb.dnainternet.fi QUIT :Ping timeout: 240 seconds < 1461741288 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1461742281 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461742328 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461742539 0 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1461742603 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1461743847 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-udvxnlfocborqrwq QUIT :Ping timeout: 264 seconds < 1461743899 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :yaaaay < 1461743913 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :OQxy = Txy...? < 1461743920 0 :dingbat!uid70835@gateway/web/irccloud.com/x-nlgejqtwtfsstzdr QUIT :Ping timeout: 264 seconds < 1461744010 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Qxyz = xz|yz makes more sense < 1461744019 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :collapsing the superposition < 1461744035 0 :ocharles_!sid30093@gateway/web/irccloud.com/x-tblqfttjjtuleomb JOIN :#esoteric < 1461744209 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It has been suggested by oerjan that we don't try to build on things we do not understand < 1461744246 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Is there an efficient binary representation of the surreal numbers? < 1461744261 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :wait, can't there be superpositions with a higher chance to collapse to one than the other? < 1461744301 0 :dingbat!uid70835@gateway/web/irccloud.com/x-nhjlqudjlglazwnw JOIN :#esoteric < 1461744302 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Uh, yeah < 1461744345 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: I figured it'd be something like Q(Qxy)y for a 75% chance of y, else x < 1461744349 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :would Q x (Q x y) z be x|x|y or x|Qxy? < 1461744397 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Qxyz is strange because it's non-deterministic < 1461744443 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Qx(Qxy) = x|Qxy, yes < 1461744457 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hm < 1461744459 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :But we could have some sort of O loop that terminates when it observes deterministic thing < 1461744470 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(embedded using SK, not a new combinator) < 1461744484 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :iteration in combinatory logic? < 1461744517 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Um, yeah < 1461744520 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It's TC < 1461744526 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :true < 1461744539 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: It kind of has to support iteration, even if it's interpreted < 1461744604 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I just had an epic idea...I think...maybe...? < 1461744613 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Continue < 1461744614 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :a programming language using combinatory logic...? < 1461744621 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: unlambda. < 1461744628 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :oh yeah < 1461744635 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: And a bunch of others, too < 1461744642 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(iota, jot, zot as well) < 1461744695 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: How about λ-calculus:Combinatory logic::rho-calculus:? < 1461744703 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :::? < 1461744732 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: a:c::x:z reads "a is to c as x is to z" < 1461744836 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Why don't esoteric languages feature complex numbers and quaternions more often? < 1461744841 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :lambda calculus is to combinatory logic as rho calculus is to ? < 1461744879 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :" rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting." < 1461744897 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :so wouldn't this new logical system be combinatory logic with term rewriting...? < 1461744926 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: ? means "fill in the blank" < 1461744929 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :rdococ: Probably, yes < 1461744951 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :what does that even mean < 1461744997 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1461745130 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :unlambda has ` < 1461745291 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :gtg < 1461745513 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461748789 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 250 seconds < 1461748805 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1461749239 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 260 seconds < 1461749529 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461749803 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1461750271 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1461750578 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 276 seconds < 1461751465 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1461751468 0 :fizzie!?@? PRIVMSG #esoteric :That's one. < 1461751590 0 :fizzie!?@? PRIVMSG #esoteric :`` echo foo < 1461751630 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :foo < 1461751664 0 :fizzie!?@? PRIVMSG #esoteric :Well, it's "working". < 1461752344 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 252 seconds < 1461756240 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: so in palisade you can always put a line between two 3s < 1461756249 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :any other heuristics like that? < 1461756309 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net JOIN :#esoteric < 1461756775 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461757030 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1461758425 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :tswett: tswellott. numbers? < 1461758756 0 :shikhin!?@? NICK :shikhn < 1461759282 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net QUIT :Quit: DRY CHICKEN < 1461761486 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: in my experience palisade tends to be dominated by counting and tracing paths, with very few patterns < 1461761514 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :counting and tracing paths? < 1461762277 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :counting area sizes... eliminating edges, and follow unique paths that often remain < 1461762386 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I rarely see see unique paths except in trivial cases. < 1461762397 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I'm not looking for the right thing. < 1461762760 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what to do when you find a different solution? < 1461763094 0 :fizzie!?@? PRIVMSG #esoteric :I didn't even know it was called that. < 1461763101 0 :fizzie!?@? PRIVMSG #esoteric :("Palisade".) < 1461763134 0 :fizzie!?@? PRIVMSG #esoteric :Oh, I confused it with Loopy. < 1461763141 0 :fizzie!?@? PRIVMSG #esoteric :Because it looks pretty similar, except for the solid border. < 1461763153 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's also the part where the instructions still say "loop" < 1461763175 0 :fizzie!?@? PRIVMSG #esoteric :I've been just playing the Loopy one. < 1461763229 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but now i'm playing "stephen's sausage roll" apparently < 1461763287 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it gets tricky < 1461764197 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :loopy otoh has many patterns. < 1461764334 0 :fizzie!?@? PRIVMSG #esoteric :Yes. Though at least one applies to both: if you have a 3 in a square, and it has a corner like _| where there are no other outgoing edges from that corner, then those two edges must be part of a boundary (because at least one of them needs to be, and the edge can't stop there). < 1461764554 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Dumb question. Rust has these compile time lifetime rules, where a variable can be in scope but uninitializes, and you can't read a variable unless it's known at compile time to be initialized. But that actually means you can't just transform any control flow to a while-switch loop, so the question is, WHY DOESN'T RUST HAVE A GOTO STATEMENT? < 1461764591 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Given that the compiler already has to understand the control flow for the compile time lifetime rules, goto wouldn't be hard to implement. < 1461764594 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Ok, seriously: "Note that the term hom-set is something of a misnomer as the collection of morphisms is not required to be a set." Uh... how can something be a collection but not a set?!?! < 1461764623 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it can be too big to be a set < 1461764654 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or there's a more boring interpretation where it's a multiset or something < 1461764658 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: proper class, either of the higher order logic kind, or (possibly more restricted but more specific) defined by a formula and a set parameter < 1461764659 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but that's not the one they mean hth < 1461764706 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: there's also this kind of pattern: http://int-e.eu/~bf3/tmp/palisade.png < 1461764733 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: it's like how you speak of the isomorphism class of graphs (in general), and an isomorphism class isn't actually a set (because the vertices are permitted to be anything, not just pulled from a set of potential vertexes fixed in advance). < 1461764739 0 :fizzie!?@? PRIVMSG #esoteric :int-e: That's exactly what I was trying to describe. < 1461764755 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :For the things we actually want to do with isomorphism class of graphs, this isn't a problem though. < 1461764788 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(Which is good because otherwise you'd be in trouble.) < 1461764811 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fizzie: it's related to the connected path thing: both pairs of marked edges are on a path ... they either are both marked, or neither of them is marked. this also works for longer paths < 1461764855 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and sorry, I'm not reading everything... technically I'm working) < 1461764859 0 :fizzie!?@? PRIVMSG #esoteric :Yes. (So by extension you can flag them as non-marked if the square's a 1.) < 1461764871 0 :fizzie!?@? PRIVMSG #esoteric :What a coincidence, I'm working as well. < 1461764882 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: also why do category theory people say a subobject is an isomorphism class of monomorphisms < 1461764934 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when they don't say that e.g. a product is an isomorphism class, they just pick one thing and then add "up to isomorphism" < 1461764937 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :technically i'm on vacation < 1461764941 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: uh... I don't know category theory, sorry < 1461766618 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unicode 𒍹 < 1461766671 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+12379 - No such unicode character name in database \ UTF-8: f0 92 8d b9 UTF-16BE: d808df79 Decimal: 𒍹 \ 𒍹 (𒍹) \ Uppercase: U+12379 \ Category: Cn (Other, Not Assigned) < 1461766760 0 :fizzie!?@? PRIVMSG #esoteric :Needs a newer Unicode. < 1461766768 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`unidecode 𒍹 < 1461766773 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1461766779 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+12379 - No such unicode character name in database \ UTF-8: f0 92 8d b9 UTF-16BE: d808df79 Decimal: 𒍹 \ 𒍹 (𒍹) \ Uppercase: U+12379 \ Category: Cn (Other, Not Assigned) < 1461766784 0 :fizzie!?@? PRIVMSG #esoteric :("U+12379 CUNEIFORM SIGN GA2 TIMES AN PLUS KAK PLUS A -- was added to Unicode in version 7.0.") < 1461766799 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newnicode < 1461766808 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or perhaps cuneicode < 1461766861 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that's a hell of a name < 1461766895 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they should have named the chinese characters like that, according to their transliteration < 1461767006 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :anyway someone was claiming that no font supports that character < 1461767006 0 :fizzie!?@? PRIVMSG #esoteric :ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM still has the longest name. < 1461767024 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but I refuse to support it < 1461767052 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the sumerians will have to keep using their clay tablets < 1461767059 0 :fizzie!?@? PRIVMSG #esoteric :In fact, the ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA {FINAL,INITIAL,ISOLATED} FORM triplet take all the top-3 slots, leaving poor old CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY in the dust. < 1461767090 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: speaking of which why isn't there a convenient unix shell command to sort by lengths twh < 1461767102 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, there is one on my machine. but not anywhere else. < 1461767134 0 :fizzie!?@? PRIVMSG #esoteric :I keep doing | perl -ne 'print length($_), " ", $_;' | sort -n. < 1461767194 0 :fizzie!?@? PRIVMSG #esoteric :(Amusingly enough, it counts the newline as part of the length.) < 1461767217 0 :fizzie!?@? PRIVMSG #esoteric :Also: SIGNWRITING MOVEMENT-FLOORPLANE HUMP HITTING CEILING LARGE DOUBLE. < 1461767302 0 :fizzie!?@? PRIVMSG #esoteric :Apparently it's for https://en.wikipedia.org/wiki/SignWriting < 1461767341 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was hoping the signwriting movement would be more along the lines of graffiti < 1461767410 0 :ski!~ski@remote11.chalmers.se QUIT :Remote host closed the connection < 1461767440 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: are you checking the latest version of unicode? < 1461767460 0 :fizzie!?@? PRIVMSG #esoteric :b_jonas: I did wget a fresh ftp://ftp.unicode.org/Public/UNIDATA/UnicodeData.txt, so hopefully relatively so. < 1461767495 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, you get it straight from unicode.org? I usually just use that file from the libicu zip. < 1461767516 0 :spiette!~spiette@72-53-140-195.cpe.distributel.net JOIN :#esoteric < 1461767516 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(Libicu obviously follows changes in unicode quickly.) < 1461767547 0 :fizzie!?@? PRIVMSG #esoteric :I keep a copy at ~/archive/misc/UnicodeData.txt, since obviously one needs to refer to it quite often in one's day-to-day activities. < 1461767598 0 :fizzie!?@? PRIVMSG #esoteric :Meanwhile, at the other extreme: OX, ANT, ARC, BED, BOY, BUG, BUS, CAT, COW, DOG, DVD, EAR, EYE, FOG, IMP, KEY, LEO, MAN, NOR, PIG, RAM, RAT, SUN, XOR. < 1461767630 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: ouch < 1461767697 0 :fizzie!?@? PRIVMSG #esoteric :Seems that a "make a block-drawing based autoscaled histogram and sprunge it" script would be convenient. < 1461768486 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1461768564 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461768586 0 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1461768839 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1461768925 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Harpix 5* 10New user account < 1461769973 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461770290 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Surely there must be several of those already < 1461770304 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :not that it'd stop me from NIHing it < 1461770311 0 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1461770317 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1461770347 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :ACTION also keeps a local copy of UnicodeData.txt, though mostly because of a "charselect" shellscript for searching for glyphs < 1461770595 0 :feliks!GwJDOnsD5K@unaffiliated/feliks QUIT :Ping timeout: 264 seconds < 1461770634 0 :feliks!Hdnu6exwfG@unaffiliated/feliks JOIN :#esoteric < 1461771123 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461771965 0 :shikhn!?@? NICK :shikhin < 1461771983 0 :shikhin!?@? NICK :shikhn < 1461772562 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1461772590 0 :shikhn!?@? NICK :shikhin < 1461772613 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hi < 1461772707 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :continuing the discussion about quantum combinatory logic, I think that doing anything to a superposition should collapse it, it would prevent problems < 1461772729 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :e.g. K Qxy z = x or y < 1461772850 0 :shikhin!?@? NICK :shikhn < 1461772944 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :for the rho calculus thing, maybe R (xy) y z = xz? < 1461773118 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I am tempted to talk about hit points (hp) to ping a certain person < 1461773908 0 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1461774105 0 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1461774375 0 :shikhn!?@? NICK :shikhin < 1461774390 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1461775420 0 :shikhin!?@? NICK :{}{}{}{}{}{}{}{} < 1461775466 0 :{}{}{}{}{}{}{}{}!?@? NICK :shikhin < 1461775477 0 :fizzie!?@? PRIVMSG #esoteric :Hit points in a large and often sumptuous tent. < 1461775498 0 :fizzie!?@? PRIVMSG #esoteric :(WordNet definition for the "p" word.) < 1461775852 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461776049 0 :acertain!~acertain@unaffiliated/fread2281 QUIT :Ping timeout: 260 seconds < 1461776119 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1461776922 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :Y a y < 1461777001 0 :acertain!~acertain@unaffiliated/fread2281 JOIN :#esoteric < 1461777574 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :3 hp < 1461777671 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461778032 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1461778123 0 :J_Arcane_!~chatzilla@37-219-87-143.nat.bb.dnainternet.fi JOIN :#esoteric < 1461778370 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :HP < 1461778559 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 250 seconds < 1461778634 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? point < 1461778709 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :point? ¯\(°​_o)/¯ < 1461779011 0 :J_Arcane_!~chatzilla@37-219-87-143.nat.bb.dnainternet.fi QUIT :Ping timeout: 268 seconds < 1461779372 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461779494 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :ACTION . o O ( "sexual dimorphism" (a biology concept) sounds like something that mathematicians fantasize about ) < 1461779544 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Mathematicians don't have fantasies, they have "research" symposia < 1461779650 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1461779727 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Oh, right < 1461779756 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Category:Categories of Category-theoretical Categories < 1461779797 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :ACTION realizes the wiki has no pages on Category Theory < 1461779838 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I think we were discussing whether a wiki forms a category last month < 1461779866 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: I think it does < 1461779873 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Wait, but what's composition? < 1461779890 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :(links are arrows, obv.) < 1461779954 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: A subset of the features of MediaWiki wikis probably form a category, but when you include (wiki)categories, it gets more complicated (though I suppose we could just count them as pages and being in a category as a link to that page) < 1461780064 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Wait, composition is just clicking twice < 1461780073 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 JOIN :#esoteric < 1461780081 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hia < 1461780091 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Hi < 1461780166 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Oh. No, it doesn't, because there is no right or left identity < 1461780190 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Having a link to the same page could be a left identity, but it isn't required so it doesn't work < 1461780236 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Wait, there is a left identity- the first tab at the top of the page is a link whether or not you're on the main part of a page < 1461780244 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :And there's always a link to the main page < 1461780249 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Which has that same link < 1461780256 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: So yes! A wiki is a category! < 1461780943 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: So... what are the products and coproducts of wikipages? < 1461780963 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I can't imagine < 1461781268 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :http://inspirobot.me/ < 1461781283 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Wait. Product would be a disambiguation under certain interpretations, wouldn't it? < 1461781346 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :inspirobot reminds me of https://xkcd.com/1263/ < 1461781397 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Every page that links to a either page links to the disambiguation and- by composition- also links to the pages it disambiguates, because the disambiguation links to those pages. < 1461781467 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Sum, OTOH, would be... um... < 1461781476 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :(sum=coproduct, iayk) < 1461781570 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Does browser history figure into this? I think that could make the issue of unique identities a problem < 1461781623 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :quantum combinatory logic < 1461781695 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :the issue we encountered with superpositions that don't automatically collapse when touched < 1461781704 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I think it's why they collapse in the real world < 1461782909 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hi < 1461782946 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :I typed this whole sentence backwards, lels < 1461782949 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hp computers < 1461783031 0 :acertain!~acertain@unaffiliated/fread2281 QUIT :Ping timeout: 250 seconds < 1461783053 0 :idris-bot!~idris-bot@dslb-092-072-145-031.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1461783069 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1461783430 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1461783804 0 :xfix!~xfix@unaffiliated/xfix QUIT :Quit: No Ping reply in 180 seconds. < 1461783930 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1461783979 0 :acertain!~acertain@unaffiliated/fread2281 JOIN :#esoteric < 1461784060 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1461784085 0 :xfix!~xfix@unaffiliated/xfix JOIN :#esoteric < 1461784569 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461784875 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 246 seconds < 1461784894 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 QUIT :Ping timeout: 250 seconds < 1461785222 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07//////////14]]4 N10 02https://esolangs.org/w/index.php?oldid=46852 5* 0387.246.78.46 5* (+8) 10blobfish < 1461785312 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07//////////14]]4 10 02https://esolangs.org/w/index.php?diff=46853&oldid=46852 5* 03Sbneelu 5* (-8) 10Blanked the page < 1461785484 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461785489 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Multimorphism? < 1461785509 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Is there a category theory where categories are hyperdigraphs rather than normal digraphs? < 1461786074 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :no < 1461786084 0 :rdococ!~rdococ@unaffiliated/octagonfly PRIVMSG #esoteric :hppavilion[1] hi < 1461786155 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :rdococ: Hi < 1461786365 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Category theory14]]4 N10 02https://esolangs.org/w/index.php?oldid=46854 5* 03Hppavilion1 5* (+1464) 10Created the very basics, not sure where to go from here (I feel this page is necessary because abusing Category Theory is clearly a method for creating esolangs, and such a topic won't be discussed elsewhere) < 1461787038 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Hm... < 1461787072 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Why not make a programming language directly based on CT? That'd be nice < 1461787105 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :https://github.com/msakai/cpl < 1461787108 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: ^ < 1461787123 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: ty < 1461787227 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1461787284 0 :`^_^!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1461787367 0 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1461787555 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1461788419 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461788540 0 :gnomi!~ray@64.132.94.34 JOIN :#esoteric < 1461788665 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 JOIN :#esoteric < 1461788669 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i designed a non-joke eso: http://www.bay12forums.com/smf/index.php?topic=157829.0 < 1461788894 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Example program: ++/P++P++p/p\o\o/io\o < 1461789020 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :...looking at it, the only reason it's windows-only seems to be SetColor - which is "DOES NOT WORK, DO NOT USE YET" anyway < 1461789055 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1461789149 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :other things involving setcolor: formatting style is different ('{' on next line as opposed to '{' on same line everywhere else, comments, etc...) < 1461789385 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyone able to figure out why unning a input wont work? < 1461789398 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :you know, using i < 1461789410 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :it acts invisible yet visible < 1461789422 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and will crash the program when i try to print out what it got as input < 1461789437 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1461789457 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :It seems* the scanf doesn't read the line separator. < 1461789483 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :* (I typed one 'i', pressed enter, program exited, probably due to reading the newline, typed 4 'i's, pressed enter, it waited for input) < 1461789504 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :that explains it < 1461789514 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :whats the newline code? < 1461789546 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :0x0A or decimal 10 on linux, but TBH you may want your interpreter to read code from a file, or have a separator that isn't system-dependent, like say '!' < 1461789631 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well, im lazy but yea, i need to make it read from a code file < 1461789637 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ill work on it < 1461789700 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :hmm... I'm a bit worried that if an unmatched ] occurs the interpreter will read past the start of the program < 1461789722 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :try it, maybe? < 1461789757 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :actually, let me < 1461789763 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :[gamemanj@Iwakura CIOL]$ ./a.out < 1461789764 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :+] < 1461789764 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Segmentation fault (core dumped) < 1461789779 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ouch < 1461789825 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :actually < 1461789829 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :for me it didnt do anything < 1461789856 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Your '[' loops are... interesting... they don't check the initial state of the memory pointer. < 1461789888 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :[ is just a recall point for ] those loops work similar to how brainfuck ones do < 1461789888 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :Moon_: is (just a recall point for ] those loops work similar to how brainfuck ones do) < 1461789898 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :... < 1461789901 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :... < 1461789917 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i detect a trolling chatbot < 1461789928 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :[ poop < 1461789928 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :fowl: |value error: poop < 1461789934 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :I'd assume that '[' not jumping forward on 0 is intentional, else CIOL would be directly translatable to/from Brainfuck if I'm reading this correctly < 1461789946 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :[ print("Is this your language?") < 1461789946 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :gamemanj: |syntax error < 1461789946 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :gamemanj: | print( "Is this your language?") < 1461789952 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :[ help < 1461789952 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :gamemanj: |value error: help < 1461789956 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :[1+2 < 1461789962 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :>.< < 1461789963 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :gamemanj, you got that right < 1461789982 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :[ nil < 1461789983 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :fowl: |value error: nil < 1461789987 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :[ null < 1461789988 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :fowl: |value error: null < 1461789989 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Is there Quaternary Storage? < 1461789990 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :but CIOL has more functions than brainfuck < 1461789995 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :so not fully translateable < 1461790002 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :[ false < 1461790002 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :fowl: |value error: false < 1461790005 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and its not done < 1461790016 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :its still in it's 'Unstable' state < 1461790048 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyways < 1461790067 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :its intended to be able to access diffrent IO sets besides just the console < 1461790096 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yet again, interpreter is incomplete < 1461790334 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1461790398 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :else if (current_char == 'j') { // Jump forward n spaces int i2; for (i2 = *ptr; i2 < 1; i2--) { current_char = input[++i] } } < 1461790427 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: It can do Input and Output, but can it do throughput, intraput, and interput? < 1461790444 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :ACTION looks up Wikipedia's list of prepositions < 1461790446 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and sadly i have never heard of that < 1461790493 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: It's a joke < 1461790495 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :So... < 1461790508 0 :impomatic!~impomatic@84.51.143.223 JOIN :#esoteric < 1461790514 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yes? < 1461790522 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i'd say a pipe is a throughput < 1461790523 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :input is RealWorld -> Here (-> is not haskell, it's a representation of movement) < 1461790530 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :output :: Here -> RealWorld < 1461790570 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :[ 1 + 2 < 1461790570 0 :j-bot!~j-bot@li1285-84.members.linode.com PRIVMSG #esoteric :Melvar: 3 < 1461790574 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :its gonna be able to copy text out of its own code soon < 1461790578 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :im writing that in now < 1461790588 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Hm... < 1461790591 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1461790600 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :continues until it hits a ; < 1461790602 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :I'm going to change from in/out to more formal-sounding things < 1461790631 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :CIOL stands for Complex Input Output Language < 1461790638 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Oh :) < 1461790645 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :endoput :: internal streamed read/write operations (e.g. buffers, functions, and generators) < 1461790672 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :which should explain the fact it has 3 registers fairly well < 1461790759 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :*gently sitting on a theoretical stack that will potentially be added < 1461790760 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :* < 1461790776 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :*very unlikely* < 1461790790 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :*it might make the tape redundant* < 1461790807 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Hppa < 1461790854 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :rHi, im moon, and this is a example of CIOL using the upcoming function!; < 1461790960 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hello? *crickets* < 1461791014 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Are you aware of much of Esolang Theory? < 1461791028 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :no.. < 1461791036 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i dont ready everything < 1461791077 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Esolang Theory says that the best languages are based on mathematical... things... that have not been used on such a way before. < 1461791091 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ok < 1461791155 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: So just throwing things together and making a language out of it usually doesn't make beautiful esolangs; it just makes a weird-looking write-only ASM or something < 1461791168 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :(A lesson I'm still trying to teach myself) < 1461791242 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ik, im still in the experimental stage on comeing up with things < 1461791264 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Now, if you use an abstract data structure that hasn't been used as a language basis before- like, say, making the function the underlying structure- THEN you're doing something novel < 1461791294 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i had the idea of making variables and variable operations the only things that a lang supported before < 1461791320 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Yes, I know. It's a phase of esolanging. Most people who learn about Esolangs never pass it (they get bored before they hit a breakthrough), but hopefully you'll stick around long enough to make something cool :) < 1461791369 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: That does seem interesting.. < 1461791378 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :` jq -rn '{a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring' < 1461791390 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :`` jq -rn '{a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring' < 1461791401 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Most traditional languages are based on hashmaps (a variable name maps to a value). Is that idea just using a set, forgoing the value assigned to the variable? < 1461791427 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :jq: error: syntax error, unexpected '+', expecting '}' (Unix shell quoting issues?) at , line 1: \ {a : 0, b : 1, out: []} | recurse({a : .b, b : .a + .b, out: .out + [.a]}, .a < 1000) | .out[] | tostring \ jq: error: syntax error, unexpected '+', expecting '}' (Unix shell quoting issues? < 1461791427 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1461791430 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Because THAT sounds pretty cool < 1461791448 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :The entire language would be about testing if variable exist, rather than actually using them < 1461791456 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Huh, i has idea! < 1461791460 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :s/ble/bles/ < 1461791465 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Go on :) < 1461791497 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :look, if the language is variable oriented, things like random number gens are possible easily with a bit of uniqueness < 1461791555 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Listening... < 1461791667 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :for example: char toprint = 'c'; ostream[0 to 50] = {toprint}; string entered = istream[0 to 50]; ostream[0 to 50] = entered; < 1461791744 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well see the 'to' thats unique to allow us to specify a range, now.. i need to think < 1461791824 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyways < 1461791829 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :what do you think of the idea hp < 1461791860 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Um... < 1461791863 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :ACTION spends some time reading < 1461791875 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :(Which is usually a bad sign for language designers, but not here xD) < 1461791922 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ACTION asked on purpose to make sure you were paying attention, you lazy bum (xD) < 1461791938 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Um, I take it english isn't your first language? < 1461791957 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :it is :P i am grammer fail in some cases < 1461791963 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Oh < 1461791967 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :but most likely my damn keyboard < 1461791977 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: No, not about that < 1461791989 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :what? < 1461792006 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Because that could have been a little offensive. I'm not personally offended (at least, not intellectually; subconsciously, yes), but... well, you're kind of new to the channel, so that could have been taken badly < 1461792013 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :"you lazy bum" < 1461792022 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :oh, sorry ;p < 1461792027 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: It's fine < 1461792029 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :it was jokeingly < 1461792034 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Yes, I could tell < 1461792058 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :Moon_: Just remember that IRC doesn't have things like body language or facial expressions (that the human brain automatically picks up on, at least) < 1461792069 0 :impomatic!~impomatic@84.51.143.223 PRIVMSG #esoteric :int-e: the Hilbert Curve has been added to the Box-256 leaderboard if you fancy giving it a try? :-) < 1461792071 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yea, true < 1461792086 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org PRIVMSG #esoteric :OK < 1461792101 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ima write out some specs in my text editer to get started on that lang < 1461792122 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Moon_: put it somewhere other than a random forum < 1461792131 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ik < 1461792135 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :A random thread on a random forum* < 1461792155 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Like github or github or the github < 1461792172 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :no, im not writing a interpreter just yet < 1461792179 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i need to think it out < 1461792183 0 :impomatic_!~digital_w@84.51.143.223 JOIN :#esoteric < 1461792604 0 :gnomi!~ray@64.132.94.34 QUIT :Ping timeout: 260 seconds < 1461792693 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 240 seconds < 1461792841 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1461792868 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1461792916 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461793077 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hmm < 1461793465 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :here is what i have on specifications so far: http://pastebin.com/RaHEYXG3 < 1461793504 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hppa? < 1461793535 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyone here? < 1461794105 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1461794142 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Huh? < 1461794215 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :what < 1461794218 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :huh what? < 1461794240 0 :J_Arcane_!~chatzilla@37-219-87-143.nat.bb.dnainternet.fi JOIN :#esoteric < 1461794241 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`^_^ < 1461794258 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :.. < 1461794262 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :wake up hackbot < 1461794266 0 :`^_^!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :what do you want < 1461794269 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^: not found < 1461794276 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :im trying to talk to hackbot < 1461794278 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric ::P < 1461794300 0 :`^_^!~nycs@gw.hq.meetup.com PRIVMSG #esoteric :i am an invalid program < 1461794324 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyways, < 1461794325 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :else if (current_char == 'r') { i3 = i++; for (i4 = input[i3];i4 != ';';++i3){ if (input[i3] == ';') break; putchar(input[i3]); } } < 1461794332 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :why does that code hate spaces < 1461794335 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and print the r < 1461794340 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :when its not ment to < 1461794361 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :that's some annoying formatting for a single-line paste < 1461794375 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :its tabbed < 1461794388 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and its not singleline < 1461794411 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Well it's a single IRC message < 1461794433 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :http://xen.firefly.nu/up/2016-04-27_230025.png < 1461794433 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :fixed the printing the r problem < 1461794437 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :but the code hates spaces < 1461794460 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :it spamprints space when it reaches one < 1461794493 0 :nchambers!nchambers@carmelirc.duckdns.org JOIN :#esoteric < 1461794515 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :is it because of putchar? < 1461794581 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hppa < 1461794767 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :`` jq -rn '{a : 0, b : 1} | recurse({a : .b, b : (.a + .b)}, .a < 1000) | .a | tostring' < 1461794769 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 \ 1597 \ 2584 \ 4181 \ 6765 \ 10946 \ 17711 \ 28657 \ 46368 \ 75025 \ 121393 \ 196418 \ 317811 \ 514229 \ 832040 \ 1346269 \ 2178309 \ 3524578 \ 5702887 \ 9227465 \ 14930352 \ 24157817 \ 39088169 \ 63245986 \ 102334155 \ 165580141 \ 267914296 \ 433494437 \ 701408733 \ < 1461794782 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1461794889 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :`` jq -rn '{a : 0, b : 1} | recurse({a : .b, b : (.a + .b)}; .a < 1000) | .a | tostring' < 1461794891 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :0 \ 1 \ 1 \ 2 \ 3 \ 5 \ 8 \ 13 \ 21 \ 34 \ 55 \ 89 \ 144 \ 233 \ 377 \ 610 \ 987 < 1461794923 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: I'm trying hard to avoid looking at the box-256 stuff, hoping to priotize lambdabot work... hasn't worked out very well though, I'm spending most productive time on actual work. < 1461794934 0 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1461794941 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Hello? < 1461794952 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i need a lil help < 1461795033 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :http://pastebin.com/7RdsCW2d can someone help me with the problem sections in this? i marked the ones with problems with a comment < 1461795136 0 :impomatic!~impomatic@84.51.143.223 PRIVMSG #esoteric :`seen gregor < 1461795138 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :ACTION is taking a look < 1461795140 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen gregor ever < 1461795151 0 :impomatic!~impomatic@84.51.143.223 PRIVMSG #esoteric :Hmmm... < 1461795190 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :To be sure there's no *obvious* problems with it (modulo being Windows-specific C, which I dislike, but that's neither here nor there) < 1461795232 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well r and R hate spaces < 1461795241 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :r will fall into a inf loop when it hits a space < 1461795253 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :R will end the reading of the code < 1461795262 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1461795267 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :when it hits a space < 1461795294 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Ah, I do see a problem with the loop in the 'r' section. < 1461795320 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :So, that loop will go until i4 is equal to ';', correct? < 1461795324 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yea, try printing Hello, World! < 1461795326 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yea < 1461795340 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and its constantly counting up each time < 1461795346 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :But, i4 only ever gets set by the "i4 = input[i3]" statement which only executes *once*. < 1461795373 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :So the logic there means that if i4 != ';', you loop infinitely. < 1461795382 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :oops! < 1461795426 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Also, just a question with [ and ]: are you intending those to work like in Brainfuck? < 1461795440 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Because if so, it doesn't work. < 1461795452 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :No, it has to be a little diffrent < 1461795460 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1461795460 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :They do work, right? < 1461795479 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :It looks to me like what you have is more like a do-while loop than a while-loop. < 1461795492 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Yup, they do, they printed out the entire ansii set < 1461795493 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :But assuming that's what you *meant*, it at least looks right. < 1461795545 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Ping timeout: 276 seconds < 1461795611 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :r reacts with Space in specific < 1461795613 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :nothing else < 1461795617 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :which is wierd < 1461795655 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I'm going to guess that's coincidence. I *think* the string "rr;" would also show the symptom though. < 1461795675 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Nope < 1461795706 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1461795723 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i just tested < 1461795723 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Oh, wait, i++; i3 = i++; You need a longer string to trigger it. < 1461795752 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :"rrr;" or some such < 1461795772 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :a longer string made it shift back one and miss a letter < 1461795803 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :nvm < 1461795808 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :that was due to a change i made < 1461795843 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :nope < 1461795854 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :the operations get locked into one scope < 1461795867 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :so operands are not read during r < 1461795877 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :r only checks for a ; < 1461796015 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :really i have no flipping idea what causes the space glitch < 1461796050 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :My advice is to use a debugger and single-step. < 1461796161 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :im terrible with debuggers *sigh* < 1461796202 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :I figured it out, its running off the edge of the memory < 1461796208 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well < 1461796212 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i figured out one thing < 1461796365 0 :`^_^!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1461796486 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :can you help me out by looking into this ass wel pik < 1461796930 0 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Writing a TUI program is very instructive < 1461796992 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :figured it out < 1461797003 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :scanf stops at the first space < 1461797006 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :>_> < 1461797017 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Ah, yes, I wasn't even looking at that! < 1461797035 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Right, using scanf to slurp in the input might not be the best choice. < 1461797043 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :whats a better way to get input? < 1461797127 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Um, for exactly what you're doing I'd just use fgets. Ideally you'd actually use getline and accept arbitrary sized lines, but mingw doesn't have that. < 1461797176 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :fgets(input, sizeof(input), stdin); basically. < 1461797185 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :yea, im trying file input < 1461797189 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and do you mean gets? < 1461797192 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :fgets is for files < 1461797196 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Don't use gets. < 1461797215 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :By the way, the input and output are also files. < 1461797225 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :stdin and stdout refer to them, and are FILE* objects. < 1461797237 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :For any function that works on FILEs, you can just use those. < 1461797242 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org JOIN :#esoteric < 1461797266 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :For example, getchar() is literally just fgetc(stdin). < 1461797567 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com PRIVMSG #esoteric :Is there a C library out there that does the whole "pixel drawing" thing pretty well? < 1461797614 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Well how about SDL? < 1461797627 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I guess it depends on how you define "pretty well" < 1461797662 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Also depends on how you define “pixel drawing”. < 1461797674 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :But it's a C library, relatively light, and it's relatively easy to open a window with a framebuffer < 1461798180 0 :fizzie!?@? PRIVMSG #esoteric :The for (i2 = *ptr; i2 < 1; i2--) loops are still incredibly suspicious. Since they're all unsigned type, it runs once if *ptr == 0, and not at all if *ptr is any other value (because "i2 < 1" will be false). < 1461798288 0 :hppavilion[1]!~DevourerO@74-114-87-76.dynamic.asdk12.org QUIT :Ping timeout: 268 seconds < 1461798601 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net JOIN :#esoteric < 1461798732 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :CIOL is now pretty much bug free! http://pastebin.com/8nV6eP85 < 1461798781 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well, my interpreter is < 1461798786 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :it also takes file input now < 1461799039 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1461799106 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: also, I first want to figure out how to do those carpets efficiently (number of cycles)... maybe next weekend. < 1461799108 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :Hia Oer < 1461799112 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :http://pastebin.com/8nV6eP85 < 1461799125 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : any other heuristics like that? <-- lots, although i don't remember them at the moment as i've been on slant for a while. < 1461799129 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oVerjan < 1461799143 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 240 seconds < 1461799152 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :into-e < 1461799157 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :thats my first actually useful and logical language < 1461799173 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hi Moo < 1461799232 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :alloerj. < 1461799264 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Moon_: are you sure [ should be like that, you seem to be in the NewbieFuck trap < 1461799271 0 :fizzie!?@? PRIVMSG #esoteric :I don't believe your j/J. < 1461799276 0 :fizzie!?@? PRIVMSG #esoteric :For the reasons already outlined. < 1461799314 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i wasnt paying much attention to other things < 1461799316 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyways < 1461799327 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :`unidecode 🍄 < 1461799344 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1F344 MUSHROOM \ UTF-8: f0 9f 8d 84 UTF-16BE: d83cdf44 Decimal: 🍄 \ 🍄 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1461799345 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :heres something i came up with otherwise: http://pastebin.com/RaHEYXG3 < 1461799379 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :I can see the mushroom! < 1461799381 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess with all the jumps a normal [ isn't necessary < 1461799414 0 :fizzie!?@? PRIVMSG #esoteric :(In particular, j jumps forward 1 character if the current value is 0, and not at all if it's anything else.) < 1461799429 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1461799477 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :j is suppost to go forward, i forgot to test it < 1461799491 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh right, the tests are reversed < 1461799530 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i mixed up the logic < 1461799550 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fhoily. < 1461799561 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION is starting to worry about losing count here < 1461799578 0 :fizzie!?@? PRIVMSG #esoteric :(The file input is also pretty bizarre.) < 1461799606 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :im weloming someone to improve it :P < 1461799635 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1461799637 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :anyways, did this fix the j and J problem? http://pastebin.com/kvpJGJEr < 1461799646 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm shachaf is idle, oh well if he just straight out speaks to me through the logs then he'd better expect the same back. < 1461799672 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :wait i realized it didnt < 1461799685 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :oerjan: I think you were up to f hth < 1461799723 0 :fizzie!?@? PRIVMSG #esoteric :Incidentally, the types of "input" and "input2" are wrong. < 1461799726 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : `unidecode 🍄 <-- . o O ( is there a BEAVER ) < 1461799731 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`unicode BEAVER < 1461799739 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+18F3 CANADIAN SYLLABICS BEAVER DENE L \ UTF-8: e1 a3 b3 UTF-16BE: 18f3 Decimal: ᣳ \ ᣳ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+18F4 CANADIAN SYLLABICS BEAVER DENE R \ UTF-8: e1 a3 b4 UTF-16BE: 18f4 Decimal: ᣴ \ ᣴ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) < 1461799777 0 :fizzie!?@? PRIVMSG #esoteric :Reasonable choices would be "char input[100]" or a "char *input" pointing at something, but not a "char *input[100]" -- that's an array of 100 pointers. < 1461799780 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1461799826 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: i said i was starting to worry, not that i thought i'd already done so. < 1461799886 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :fixing that and the j+J problem right now < 1461799922 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :http://pastebin.com/Hpepq8AE < 1461799978 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: but i don't logread < 1461799991 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: anyway isn't speaking to you through the logs the best method < 1461800010 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Hi oerjan. Do you know of jq? < 1461800041 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: for reaching me it works, for getting a response, less certain. < 1461800062 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Melvar: first time i heard of it was in the channel yesterday. < 1461800070 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i searched pastebin < 1461800079 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :and found someone made brainfuck with graphics < 1461800081 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :http://pastebin.com/5GgQKbL3 < 1461800106 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ooh, pastebin diving < 1461800160 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :"Szabin Hamrik" < 1461800164 0 :fizzie!?@? PRIVMSG #esoteric :There was a demoscene thing that mapped the brainfuck tape to the 320x200 VGA frame buffer, I forget what it was called. < 1461800200 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: anyone you know? < 1461800206 0 :fizzie!?@? PRIVMSG #esoteric :Could only find http://www.pouet.net/prod.php?which=5060 offhand. < 1461800208 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :well this one uses the C# graphics api (i hate C#) < 1461800252 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1461800266 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :hia hppa < 1461800273 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Hi < 1461800284 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: "hp" or "hppavilion[1]" works better < 1461800291 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i went pastebin diving and found a graphical brainfuck implentation: http://pastebin.com/5GgQKbL3 < 1461800300 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Oooh, nice < 1461800309 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Graphical as in...? < 1461800309 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :`` rm .*.swp < 1461800314 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Like, it has a GUI? < 1461800316 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461800319 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :GUI i think' < 1461800333 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :i dont use C# < 1461800338 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :so im never gonna find out < 1461800355 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :oh < 1461800364 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :its a maping the tape to a picture type < 1461800368 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :32x32 grid < 1461800372 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`ls < 1461800374 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:-( \ !\.´ \ 03(* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ ply-3.8.tar.gz \ quine \ quines \ quotes \ share \ src \ things_with_hg_in_them_in_bin.txt \ tmf < 1461800380 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Ping timeout: 244 seconds < 1461800382 0 :nathaly!~nathaly@200.8.213.127 JOIN :#esoteric < 1461800392 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rm ply-*gz < 1461800395 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461800397 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :that means making pictures in brainfuck < 1461800408 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm going to assume it's unpacked in that directory < 1461800416 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` rm things* < 1461800420 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461800425 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Ah < 1461800427 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: :( < 1461800437 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: were you using that? < 1461800442 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Not ATM < 1461800446 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: But I might have someday :P < 1461800459 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls dog < 1461800463 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh, there's an unzipped version < 1461800465 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Use ` < 1461800465 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls dog < 1461800467 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dog < 1461800472 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :... < 1461800476 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls tmf < 1461800478 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access tmf: No such file or directory < 1461800479 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`? karma < 1461800483 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: jq’s filters seem closely related to the List Kleisli arrow. < 1461800486 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Are you looking for cat? < 1461800487 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: i like to purge toplevel `ls down to one line on occasion. < 1461800493 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :karma? ¯\(°​_o)/¯ < 1461800494 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah, yes < 1461800497 0 :fizzie!?@? PRIVMSG #esoteric :`file Complaints.mp3 < 1461800498 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Complaints.mp3: ASCII text < 1461800504 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Melvar: aka list monad... < 1461800504 0 :fizzie!?@? PRIVMSG #esoteric :That's some extension. < 1461800507 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :there is a folder named dog moon < 1461800507 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat karma < 1461800508 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oren now has 1 karma. < 1461800515 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat karma < 1461800516 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oren now has 1 karma. < 1461800521 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat < 1461800525 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat moons < 1461800525 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :\oren\: Should somebody change that < 1461800529 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: moons: No such file or directory < 1461800533 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: Well, the way you use it is essentially in arrow form. < 1461800534 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat 2 < 1461800535 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: You need to give it a target xD < 1461800535 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: 2: No such file or directory < 1461800539 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: A file < 1461800540 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat karma < 1461800542 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :oren now has 1 karma. < 1461800544 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: `cat reads a file < 1461800551 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :oh < 1461800551 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461800565 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: It's just a *n?x shell (bash, iirc) < 1461800568 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(probably) < 1461800572 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat complaints.mp3 < 1461800572 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: complaints.mp3: No such file or directory < 1461800579 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls < 1461800592 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: I think complaints.mp3 may be a directory. < 1461800598 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :No, it isn't < 1461800603 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat complaints < 1461800604 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: complaints: No such file or directory < 1461800607 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Huh... < 1461800608 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`lls < 1461800608 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: lls: not found < 1461800609 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls < 1461800610 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:-( \ !\.´ \ 03(* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ tmflry \ wisdom \ wisdom.pdf < 1461800614 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: But I might have someday :P <-- that looks easy to regenerate, anyway. < 1461800618 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Scrolling up works < 1461800618 0 :fizzie!?@? PRIVMSG #esoteric :It's uppercase. < 1461800631 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Oh, yeah, *nix is case-sensitive < 1461800631 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`cat Complaints.mp3 < 1461800643 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Complaints file lacks file extension making it look like a directory. Which is confusing \ The above complaint looks like an error message, but it's actually a complaint \ now the former complaints make no sense because the complaints file was moved \ The complaints above are not using periods properly. \ All of the complaints are about the complai < 1461800661 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :... < 1461800669 0 :fizzie!?@? PRIVMSG #esoteric :It's also pretty long. < 1461800671 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: THe first 2-3 were me < 1461800673 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: oh wait, you meant ply, yeah that's still there. although i might move it eventually. < 1461800674 0 :fizzie!?@? PRIVMSG #esoteric :There's a lot to complain about. < 1461800682 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: You can move it < 1461800684 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :how do you add to it < 1461800692 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: YOU MAY NOT COMPLAIN < 1461800698 0 :fizzie!?@? PRIVMSG #esoteric :I assume someone added the .mp3 extension due to the first one. < 1461800702 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`file le < 1461800705 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :le: directory < 1461800706 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: Yes < 1461800710 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat le < 1461800711 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: le: Is a directory < 1461800712 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :WHoops < 1461800715 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`` echo le/* < 1461800716 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :le/rn le/rn_append < 1461800719 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Ah, right < 1461800728 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :the le/rns < 1461800738 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`le/mma < 1461800740 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/le/mma: No such file or directory < 1461800758 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : That's some extension. <-- well someone complained that it didn't have an extension, so i gave it one hth < 1461800775 0 :nathaly!~nathaly@200.8.213.127 QUIT :Quit: Saliendo < 1461800776 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :ACTION quietly googles "words that start with \"le\"" < 1461800781 0 :Melvar!~melvar@dslb-092-072-145-031.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oerjan: Something like, jq’s . is id and | is (>>>). |= is the basis of first- and second-like things. < 1461800807 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :someone made a brainfuck interpreter in LOLCODE < 1461800809 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :http://pastebin.com/1PPj6SyA < 1461800815 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :`? int-e < 1461800815 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`mkdir theorems < 1461800820 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e är inte svensk. Hen kommer att spränga solen. Hen står för sig själv. < 1461800820 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461800830 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Doesn't sound very hard < 1461800849 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`ls < 1461800851 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:-( \ !\.´ \ 03(* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ theorems \ tmflry \ wisdom \ wisdom.pdf < 1461800866 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Yay, it worked. < 1461800924 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Someone complete this: `mkx theorems/lesser pythagorean//The Lesser Pythagorean Theorem states that < 1461800952 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :\oren\: he\\oren\. your backslashes, they irk me hth < 1461800972 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: But they make the porthello so beautiful... < 1461800984 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : how do you add to it <-- with the `complain command < 1461801009 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`complain nix is too hard for meh < 1461801013 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Complaint filed. Thank you. < 1461801016 0 :boily!~alexandre@cable-192.222.239.53.electronicbox.net PRIVMSG #esoteric :hppavilion[1]: hppavellon[1]. that's the problem. they're just a pain to latexify. < 1461801031 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: Ah < 1461801037 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :boily: That does sound annoying < 1461801039 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: I've been assuming `complain entirely ignores the complaint. < 1461801061 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`cat bin/complain < 1461801064 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :print_args_or_input "$@" >> Complaints.mp3; echo Complaint filed. Thank you. < 1461801065 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`complain This can be botted to easy < 1461801067 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: Nope < 1461801068 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Complaint filed. Thank you. < 1461801078 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Don't overdo it < 1461801084 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ik :P < 1461801089 0 :fizzie!?@? PRIVMSG #esoteric :hppavilion[1]: Huh. It seemed like the obvious assumption. < 1461801094 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :how to make file < 1461801097 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: It does, but it's wrong < 1461801104 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: We... aren't going to teach you that xD < 1461801110 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :daww < 1461801110 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Moon_: Doesn't sound very hard <-- try the one in Fueue < 1461801126 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Well yeah, THAT one is impressive < 1461801127 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :new < 1461801132 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`new test < 1461801132 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: new: not found < 1461801140 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: *sigh* < 1461801141 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls bin < 1461801143 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`help mkx < 1461801143 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1461801145 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Oh < 1461801148 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`mkx < 1461801149 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :usage: mk[x] file//contents < 1461801169 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`ls bin < 1461801170 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \  \  \  \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5quote \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ bookofeso \ < 1461801170 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :mk test//moonwashere < 1461801174 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :`echo hello > hello.hello < 1461801176 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hello > hello.hello < 1461801187 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: Good job. < 1461801195 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls < 1461801196 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: No, the x needs to be included or it's a massive pain < 1461801198 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :It didn't work did it < 1461801203 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: Nope < 1461801207 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: Use `` for that < 1461801213 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :(space after ``) < 1461801217 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`mkx test//moonwashere < 1461801220 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1461801220 0 :fizzie!?@? PRIVMSG #esoteric :The x just makes things executable. < 1461801222 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Someone complete this: `mkx theorems/lesser <-- itym `mk not `mkx hth < 1461801227 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: Ah, right < 1461801234 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: OK < 1461801237 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls < 1461801238 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls < 1461801240 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:-( \ !\.´ \ 03(* \ 99 \ bdsmreclist \ bin \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ equations \ esobible \ etc \ evil \ factor \ foo \ good \ hw \ ibin \ interps \ karma \ le \ lib \ ls_dev \ misle \ paste \ ply-3.8 \ quine \ quines \ quotes \ share \ src \ test \ theorems \ tmflry \ wisdom \ wisdom.pdf < 1461801245 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`rm test < 1461801250 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461801252 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Nospam. < 1461801257 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :I'm starting my own channel < 1461801264 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: About what? < 1461801267 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :where was test put? < 1461801276 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Before theorems < 1461801281 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :The same thing as this channel but with less robots < 1461801282 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: I've been assuming `complain entirely ignores the complaint. <-- it used to, but then someone (iirc zzo38) changed it. < 1461801286 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :#tesoeric < 1461801290 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: HAHAHAHAHAHAHAHAHAHAHAHAHAHAHA < 1461801304 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fowl: You're funny < 1461801306 0 :fizzie!?@? PRIVMSG #esoteric :fungot: Join #tesoeric. < 1461801306 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: where practical programming r6rs would be nice, when i pass 6 ( is return right? my dad joined the navy underaged so he could sell it to the lispme list. to make those other packets go out via different interfaces. why do you build it < 1461801317 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls bin < 1461801318 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​` \ `` \ ^.^ \ ̊ \ \ ! \ ? \ ?? \ ¿ \ ' \ @ \ * \ ؟ \  \  \  \ 1492 \ 2014 \ 2015 \ 2016 \ 2017 \ 5quote \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ aglist \ allquotes \ analogy \ anonlog \ append \ arienvenido \ as86 \ aseen \ asm \ autowelcome \ bardsworthlist \ before \ benvenuto \ bf \ bienvenido \ bienvenue \ blessyou \ bookofeso \ < 1461801330 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ls bin/bf < 1461801332 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`bookofeso < 1461801333 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1:2/And #esoteric was without denizens, and empty; and the order was on the face of the PDP-8. And the software of fungot moved upon the face of the scrollback. < 1461801346 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls bin/bf < 1461801347 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/bf < 1461801361 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`ls bin\bf\ < 1461801363 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ls: cannot access bin\bf\: No such file or directory < 1461801367 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :bf < 1461801369 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`bf < 1461801370 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Run what? < 1461801377 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`bf ++++++++++++++++++++++++++++++++++++++++++++++++++. < 1461801378 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2 < 1461801396 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :I don't know why, but `bf . is one of my favourite games < 1461801418 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : `help mkx <-- alas `help is one of the builtin commands we cannot improve. < 1461801421 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :bf +.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+. < 1461801430 0 :fowl!fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :`bf ± < 1461801439 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :`bf +.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+.+. < 1461801459 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Stop. < 1461801467 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1461801468 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​. \ < 1461801481 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: `goodhelp? < 1461801490 0 :fizzie!?@? PRIVMSG #esoteric :Nobody would find it. < 1461801492 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Moon_: No, the x needs to be included or it's a massive pain <-- only for executables, duh < 1461801504 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :fizzie: `chelp? < 1461801519 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: Say "ping" when you've caught up to this. < 1461801523 0 :fizzie!?@? PRIVMSG #esoteric :(Just doing some measurements here.) < 1461801528 0 :Moon_!4c014e29@gateway/web/freenode/ip.76.1.78.41 PRIVMSG #esoteric :ping < 1461801534 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Yes, I've been informed < 1461801545 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Nospam. <-- hey don't overdo _that_ either, testing HackEgo is traditional. < 1461801549 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: So you're secretly oerjan then? < 1461801573 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Moon_: Try throwing HackEgo into a botlop? < 1461801578 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :s/\?/./ < 1461801579 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : The same thing as this channel but with less robots <-- you cannot have real geeks without robots hth