< 1573776531 567531 :tswett!aee68188@unaffiliated/tswett JOIN :#esoteric < 1573776551 833791 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Yo. < 1573776562 958497 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :So riot.im is being weird. < 1573776637 988365 :arseniiv_!~arseniiv@136.169.208.242 QUIT :Ping timeout: 252 seconds < 1573776739 683394 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :So, I'm playing with Attempto Controlled English, which is (mostly) a syntax for first-order logic. < 1573776778 629816 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :There's an ACE theorem prover here: http://attempto.ifi.uzh.ch/race/ < 1573776808 465371 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :I've found that it's able to prove a certain rather interesting theorem. < 1573776828 729361 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Axioms: David is a person. If there is a person A then exactly one person is a mother of the person A. < 1573776842 781090 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Theorem (apparently): Every person is a mother of David. < 1573776925 480545 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Corollary: David is a mother of David. < 1573777005 971934 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :I'm trying to figure out how it managed to conclude that... < 1573777132 554954 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :tswett: can it also prove that every person is David? < 1573777191 449161 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :b_jonas: Hmmm, yes, it can. < 1573777208 945343 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1573777256 763323 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :tswett: can it still prove that if you only take the first axiom? < 1573777288 412012 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :b_jonas: No. < 1573777306 77794 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :tswett: how about if you take the first axiom, and the second axiom but replace "A" with "X" case sensitively < 1573777334 553894 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :(as in, maybe it confuses "a" with "A" which is why it misunderstands something) < 1573777350 872264 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :It still proves that every person is David. < 1573777375 48388 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :So now I have— < 1573777385 514879 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :Do you have the source code for the prover? < 1573777401 133252 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Axioms: David is a person. If there is a person X then exactly one person is a mother of the person X. Theorem: Every person is David. < 1573777401 304261 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :Can it prove a contradiction from those axioms? < 1573777430 482476 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :It says the axioms are consistent. < 1573777477 57874 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :Can you formalize the theorem prover into that lanuage, and if so, can it prove the formal version of "the ACE theorem prover cannot prove this statement"? < 1573777490 648287 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Oof. < 1573777500 9704 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :Sorry. < 1573777505 580933 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :That wasn't a serious question. < 1573777505 797189 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric ::D < 1573777519 819565 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :Anyway, does this theorem prover output proofs? < 1573777540 392818 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :No, only minimal subsets of axioms required to prove the theorem. < 1573777604 23865 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :tswett: are you sure that that second axiom has a quantifier over X? < 1573777658 740937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Am I David? < 1573777765 216136 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :b_jonas: It definitely interprets X as a bound variable. < 1573777778 60029 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :In both positions. < 1573777780 968805 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1573777817 415312 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Ahøyrjan. < 1573777855 189768 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :The axioms don't prove "Everything is David." but they do prove "Everyone is David." < 1573777936 66243 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :They also prove "Every house is a person," and, of course, "Every house is David." < 1573777937 188690 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tswellot. sounds like sound axioms. < 1573778141 227821 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Also, "Someone is everything." < 1573778162 407969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pantheism built in < 1573778184 783996 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :(Meaning, "There exists someone A such that for all B, A = B.") < 1573778851 790610 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Hmmmm. I think it's doing something weird with proper names. < 1573778862 208255 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Axioms: David is a person. Brian is a cat. < 1573778867 472291 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Theorem: David is a cat. < 1573779445 247576 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Sole axiom: David is a person and a person is David. < 1573779451 861580 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Theorem: Every house is a person. < 1573779594 827376 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :
ACTION waves to tswett
< 1573779608 849959 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Yo. \o < 1573779768 320795 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Sole axiom: David is a person and Brian is a person. Theorem: Every house is David. < 1573780016 45352 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :Hmmmm. Apparently that follows by "transitivity of comparative adjectives." < 1573780080 151522 :tswett!aee68188@unaffiliated/tswett PRIVMSG #esoteric :That's what it says when I tell it to show its reasoning. < 1573780210 81618 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1573780268 193660 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :Ping timeout: 252 seconds < 1573780319 948057 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? labels.pl < 1573780321 51659 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Preprocessor for asm2bf to support labels. Use % to refer to a label, use @ to declare one. < 1573780334 111113 :dog_star!sid310875@gateway/web/irccloud.com/x-qqwpcmuzaaorupje QUIT :Ping timeout: 252 seconds < 1573780334 147250 :lynn!sid154965@gateway/web/irccloud.com/x-txqzeqoelgczgxvi QUIT :Ping timeout: 252 seconds < 1573780334 242817 :j4cbo!sid186930@gateway/web/irccloud.com/x-rhlvmgrmtzwmpdca QUIT :Ping timeout: 252 seconds < 1573780344 497178 :dog_star!sid310875@gateway/web/irccloud.com/x-sjfplgguyhwfrwhh JOIN :#esoteric < 1573780359 525319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slwd labels.pl//s,P,labels.pl is a p, < 1573780361 248406 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :labels.pl//labels.pl is a preprocessor for asm2bf to support labels. Use % to refer to a label, use @ to declare one. < 1573780387 387721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? rules of wisdom < 1573780388 577514 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :unless essential for the entry‘s humor, they should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation < 1573780397 152539 :lynn!sid154965@gateway/web/irccloud.com/x-bfabfgsthyukblmk JOIN :#esoteric < 1573780398 197425 :j4cbo!sid186930@gateway/web/irccloud.com/x-zhxtiosilwwdqnfq JOIN :#esoteric < 1573780407 232437 :^[!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1573780416 626524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`slwd rules of wisdom//s/:/ be:/ < 1573780496 793551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if you do that you have to add proper grammar to the list hth < 1573780554 994151 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or consistency < 1573780672 558723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo $IRC_CHANNEL < 1573780673 414538 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1573780709 299027 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo $IRC_TARGET < 1573780709 970419 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#esoteric < 1573780848 168542 :tswett!aee68188@unaffiliated/tswett QUIT :Remote host closed the connection < 1573781154 982280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;, && "$IRC_TARGET" == #*;/ < 1573781155 786923 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/bin/sed: -e expression #1, char 29: unterminated `s' command < 1573781165 438995 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;, && "$IRC_TARGET" == #*;, < 1573781169 522233 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/ls//#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" ;; "$IRC_TARGET" == #*; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1573781175 821366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1573781180 34276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1573781181 71422 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1573781215 211666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;,\&\& "$IRC_TARGET" == #*;, < 1573781216 767169 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/ls//#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" && "$IRC_TARGET" == #*; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1573781228 520447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls wisdom < 1573781229 150476 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/ls: line 3: syntax error: unexpected end of file < 1573781247 190392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1573781251 698824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1573781252 705966 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1573781258 76882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;,\&\& "$IRC_TARGET" == #* ;, < 1573781259 755188 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/ls//#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" && "$IRC_TARGET" == #* ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1573781264 440345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls wisdom < 1573781265 204358 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/ls: line 3: syntax error: unexpected end of file < 1573781281 662679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i'm not doing something right. oh. < 1573781297 394445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1573781298 374288 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1573781316 361708 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;,\&\& "$IRC_TARGET" == \\#* ;, < 1573781318 62532 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/ls//#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" && "$IRC_TARGET" == \#* ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1573781322 547188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls wisdom < 1573781323 425455 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/ls: line 2: #esoteric: command not found \ ` \ `! \ `? \ `? `? \ `# \ ^ \ \ _̰̆̓_�̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_͂͋͒ͧ͋�̯͙̬̬̦̯̋_̴̝̔̉̅ͨ͞ \ ¯\_(ツ)_ \ ! \ ? \ ?? \ ¿ \ @ \ * \ \ \ ꙮ \ ☆ \ ☃ \ ⌨ \ 　 \ ⊥ \ ☾_ \ 🐚 \ 𝕈 \ 🐐 \ ᛁᚿ \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚�͎� < 1573781329 276105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1573781339 602488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1573781368 42227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1573781369 75267 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1573781397 64415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`sled bin/ls//s,;,\&\& [[ "$IRC_TARGET" == \\#* ]];, < 1573781398 596063 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/ls//#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^"$(/bin/ls -id /hackenv/wisdom | cut -d\ -f 1)" && [[ "$IRC_TARGET" == \#* ]]; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead.'; else exec -a ls /bin/ls "$@"; fi < 1573781408 960994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls wisdom < 1573781411 478553 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try listing it in private instead. < 1573781414 109980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whee < 1573781479 207465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no visible nicks, of course. < 1573781520 853522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although much unicode to annoy people. maybe the explanation needs changing. < 1573783990 170963 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1573787612 525203 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de QUIT :Quit: WeeChat 2.4 < 1573788205 761860 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de JOIN :#esoteric < 1573788218 592866 :Frater_EST!adrianbibl@172.242.0.73 QUIT :Remote host closed the connection < 1573789064 962939 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573790684 240318 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.6 < 1573790728 645492 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573791817 597088 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 250 seconds < 1573792714 202884 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1573792866 463322 :Sgeo__!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1573793080 281701 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 265 seconds < 1573797493 650624 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds < 1573799264 79986 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1573799372 248490 :atriq!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric < 1573799850 150075 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de QUIT :*.net *.split < 1573799850 249424 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1573799850 719319 :grumble!~grumble@freenode/staff/grumble QUIT :*.net *.split < 1573799851 49445 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1573799851 215145 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1573799851 749414 :clog!~nef@bespin.org QUIT :*.net *.split < 1573799851 785864 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split < 1573799851 882078 :jix!~jix@209.250.235.106 QUIT :*.net *.split < 1573799852 140062 :kmc!~beehive@li521-214.members.linode.com QUIT :*.net *.split < 1573799852 182199 :gitlogger!~gitlogger@206.ip-51-91-102.eu QUIT :*.net *.split < 1573799852 301171 :LBPHacker!lbphacker@trigraph.net QUIT :*.net *.split < 1573799852 338334 :APic!apic@apic.name QUIT :*.net *.split < 1573799858 762427 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :*.net *.split < 1573799859 256768 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split < 1573800165 108080 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1573800165 186109 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1573800279 689200 :Melvar!~melvar@dslb-084-057-075-096.084.057.pools.vodafone-ip.de JOIN :#esoteric < 1573800530 908075 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1573800530 985693 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1573800530 985746 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1573800530 985758 :jix!~jix@209.250.235.106 JOIN :#esoteric < 1573800530 985772 :kmc!~beehive@li521-214.members.linode.com JOIN :#esoteric < 1573800530 985813 :gitlogger!~gitlogger@206.ip-51-91-102.eu JOIN :#esoteric < 1573800530 985834 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric < 1573800530 985854 :APic!apic@apic.name JOIN :#esoteric < 1573800609 597214 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl JOIN :#esoteric < 1573800638 604669 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Hi, b_jonas < 1573800659 14505 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :My client automagically conmected to IRC and I didn't notice it < 1573800703 16955 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`asmbf mov r1, 2\mov r2, 3 < 1573800703 795682 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[# < 1573800712 552553 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :?? < 1573800731 37644 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`asmbf mov r1,2/mov r2,3 < 1573800732 173744 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>[-]++>[-]+++<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1573800738 363315 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Yeah perfect < 1573800752 31337 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Thanks for the command < 1573802118 466685 :grumble!~grumble@freenode/staff/grumble QUIT :*.net *.split < 1573802118 749070 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1573802119 97355 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split < 1573802119 150516 :jix!~jix@209.250.235.106 QUIT :*.net *.split < 1573802119 340419 :kmc!~beehive@li521-214.members.linode.com QUIT :*.net *.split < 1573802119 376847 :gitlogger!~gitlogger@206.ip-51-91-102.eu QUIT :*.net *.split < 1573802119 435522 :LBPHacker!lbphacker@trigraph.net QUIT :*.net *.split < 1573802119 471571 :APic!apic@apic.name QUIT :*.net *.split < 1573802217 37703 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1573802217 37761 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1573802217 74841 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1573802217 74917 :jix!~jix@209.250.235.106 JOIN :#esoteric < 1573802217 74973 :kmc!~beehive@li521-214.members.linode.com JOIN :#esoteric < 1573802217 74984 :gitlogger!~gitlogger@206.ip-51-91-102.eu JOIN :#esoteric < 1573802217 75032 :LBPHacker!lbphacker@trigraph.net JOIN :#esoteric < 1573802217 75056 :APic!apic@apic.name JOIN :#esoteric < 1573802221 377667 :APic!apic@apic.name QUIT :Max SendQ exceeded < 1573802524 413866 :APic!apic@apic.name JOIN :#esoteric < 1573804391 738671 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :What happened < 1573804399 726455 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :My bot has crashed? < 1573804412 889740 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :How did it rejoin I didn't implement it < 1573805280 535723 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :oerjan: technically on freenode, channel names can also start with @ or * < 1573805297 574184 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :but that probably doesn't come up with HackEso < 1573805317 175704 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :I think it would be better to check for a nick rather than for a channel < 1573805333 216551 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :but it doesn't matter in the case of ls < 1573805655 1153 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hm, I don't think they can start with those? < 1573805703 665536 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :I'm getting CHANTYPES=# from /version at least < 1573806606 72436 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :FireFly: yes, but you can send a message to *#esoteric or @#esoteric , which is like sending to #esoteric but only users who are voiced or op on that channel get it, and the target shows up as *#esoteric or @#esoteric on the receiver side. of course HackEso isn't voiced or op on any channel, so he won't get those. < 1573806625 899352 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :(I don't know if *#esoteric also sends the message to nicks who are op but not voiced.) < 1573806757 488136 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :It's easier to test for nick characters [-0-9A-}] because those are the same on all networks < 1573806767 575708 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :no messing with channel types and prefixes < 1573806987 429376 :clog!~nef@bespin.org JOIN :#esoteric < 1573807285 639563 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu PRIVMSG #esoteric :this prefixed channel thing causes bugs in many clients by the way < 1573808442 220481 :b_jonas!~x@catv-176-63-14-49.catv.broadband.hu QUIT :Quit: leaving < 1573808997 565543 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :oh that, it'd be +#foo in the voiced case < 1573810545 227883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Will it actually look to the recipient as if it was sent to @#foo or +#foo though? < 1573810563 493630 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I would imagine that would confuse a lot of clients. < 1573810657 991327 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :it does < 1573810666 397893 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Funky. < 1573810689 589768 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :It's kind of just a rarely used feature AIUI < 1573810755 829160 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :There were some changes last summer to have messages sent through to ops when channel mode +z is set, use @# instead of just # < 1573810776 6770 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :which does make it possible to distinguish them at least on the client side < 1573811500 493685 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1573812523 319785 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1573813094 596352 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1573813153 454266 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Hey look. OEIS doesn't keep its own documented rules. https://oeis.org/eishelp1.html says that listing at least four terms are required for every sequence, but https://oeis.org/A235383 only has two terms. < 1573813390 515120 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1573813556 362299 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fungot, do you keep your own rules? < 1573813556 520034 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: when i first had cleared cell handling, but because it points to a < 1573813642 363657 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The first rule of the tautology club is the first of tautology club's rules. < 1573813748 755604 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :the zeroeth rule of address+offset club is indices start at 0 < 1573813906 432891 :nico_nico!~nico_nico@arennes-653-1-282-9.w109-218.abo.wanadoo.fr JOIN :#esoteric < 1573813923 890609 :nico_nico!~nico_nico@arennes-653-1-282-9.w109-218.abo.wanadoo.fr QUIT :Read error: Connection reset by peer < 1573815969 594462 :arseniiv_!~arseniiv@136.169.208.242 JOIN :#esoteric > 1573818345 819522 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Quadril-Is 5* 10New user account > 1573819314 835084 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=67048&oldid=67041 5* 03Quadril-Is 5* (+371) 10/* Introductions */ > 1573819865 810047 PRIVMSG #esoteric :14[[07Turing machine14]]4 10 02https://esolangs.org/w/index.php?diff=67049&oldid=63905 5* 03A 5* (+66) 10/* External resources */ > 1573825129 431704 PRIVMSG #esoteric :14[[07Wordfuck14]]4 10 02https://esolangs.org/w/index.php?diff=67050&oldid=43166 5* 03Quadril-Is 5* (+70) 10/* Sample Hello World program */ < 1573826075 512926 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Whoever made the asmbf available using only one grave character < 1573826090 312429 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Please make it pipe stuff thru labels.pl before < 1573826149 933265 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`url bin/bfasm < 1573826150 717112 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/bin/bfasm < 1573826184 704860 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :? < 1573826196 65136 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :bfasm is a program < 1573826204 983217 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :asmbf is the wrapper and command < 1573826208 812064 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`url bin/asmbf < 1573826209 554357 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/bin/asmbf < 1573826238 847694 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Could you edit it for me? I'm on mobile < 1573826252 857081 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :And it's quite laggy one < 1573826278 659249 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Just add labels.pl in pipe chain before tr < 1573826315 122307 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`sled bin/asmbf//s/bfasm/lables.pl | bfasm/ < 1573826316 950709 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/asmbf//print_args_or_input "$@" |tr / \\n | lables.pl | bfasm < 1573826369 106571 :int-e!~noone@int-e.eu PRIVMSG #esoteric :uhm < 1573826375 629871 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :lables? < 1573826378 481208 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Mistake < 1573826382 961530 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Labels < 1573826386 82003 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :And before tr < 1573826388 490103 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah... on it < 1573826408 783962 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`sled bin/asmbf//s/lables/labels/ < 1573826416 438404 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/asmbf//print_args_or_input "$@" |tr / \\n | labels.pl | bfasm < 1573826424 299344 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Perfect < 1573826426 835558 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Thanks < 1573826449 455151 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`asmbf @hello/jmp %hello < 1573826450 290555 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[>>>+<<+<<[>>->+<<<-]>>>[<<<+>>>-]<[->+<<[>>>-<<+<-]>[<+>-]>>[<->[-]]<[<<<+>>>-]<]>>[-]<<<<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>>>>+<<<<<<<<<[-]>[-]>>>>>>>>[<<<<<<<<+>+>>>>>>>-]<<<<<<<[>>>>>>>+<<<<<<<-]>>>>>>>[-]<<<<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1573826468 346572 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Fancy infinite loop, seems like it works < 1573826472 741241 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :by the way < 1573826478 437613 :int-e!~noone@int-e.eu PRIVMSG #esoteric :at least "lables" was a genuine typo... identifying asmbf and bfasm was a real brain fart < 1573826482 940736 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`hello m < 1573826483 611219 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Hello, World. < 1573826484 948701 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`hello < 1573826485 793789 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hello, world < 1573826489 970290 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`@ fungot hello m < 1573826490 209886 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: what is t? i recognize the word :p that means i will have 128 general purpose registers < 1573826490 857611 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fungot: Hello, World. < 1573826493 372022 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`@ fungot hello < 1573826493 551779 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: instead of hte redirectee each prime but they both seem fast enough that no one has < 1573826494 166459 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1573826499 509034 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :int-e, lol < 1573826500 141526 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :bin/@ is weird < 1573826515 943575 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Is this a bot? < 1573826525 913366 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :I mean, fungot < 1573826526 118432 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :kspalaiologos: ( when was the last you saw? henderson's functional fnord, or more then likely, use both hands for it... < 1573826538 729950 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot is a bot < 1573826539 864636 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? fungot < 1573826540 43363 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :wib_jonas: oh yes for no caps lock, no arrow keys... instead of binary < 1573826541 82000 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :fungot is our beloved channel mascot and voice of reason. < 1573826546 549182 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Well < 1573826548 182678 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Fine < 1573826558 500631 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :see also https://esolangs.org/wiki/Fungot < 1573826563 384828 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? zzo38 < 1573826564 482731 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :zzo38 is not actually the next version of fungot, much as it may seem. < 1573826582 386342 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Wait a second < 1573826587 875583 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :A bot in befunge? < 1573826597 283150 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :on a t-shirt < 1573826600 266430 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Is there source available? < 1573826611 904572 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^source < 1573826611 952244 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :https://github.com/fis/fungot/blob/master/fungot.b98 < 1573826620 469321 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :kspalaiologos: yes, the source is sold on a t-shirt < 1573826624 251674 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :It's awesome < 1573826631 763318 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh, wow, my brain remembered something correctly *marks day on calendar* < 1573826648 397147 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`datei < 1573826649 683913 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2019-11-15 14:04:09.093 +0000 UTC November 15 Friday 2019-W46-5 < 1573826654 15956 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: thanks < 1573826657 809350 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Pff < 1573826670 468430 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :where's the link to the webshop with the t-shirt? < 1573826672 602036 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? shirt < 1573826673 754247 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :shirt? ¯\(°​_o)/¯ < 1573826674 159900 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? t-shirt < 1573826675 460311 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :t-shirt? ¯\(°​_o)/¯ < 1573826675 808610 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? tee < 1573826677 58628 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :tee? ¯\(°​_o)/¯ < 1573826679 205393 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hmm < 1573826684 452005 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't remember any t-shirts < 1573826698 964644 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But of course that doesn't mean anything. < 1573826723 183990 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I think at least one exists, but possibly not sold from a webshop, but made as a one-time item < 1573826749 698290 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :there's no tattoo version yet, but there are several other tattoos related to golf or esolang or IOCCC < 1573826768 922086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, I printed one for myself through a print-your-own-design shop I had a coupon for. < 1573826782 724739 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :``asmbf <<<"in_ r1/in_ r2/add r1, r2/out r1" > stuff && bfi stuff <<<"00" < 1573826783 394564 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: `asmbf: not found < 1573826785 324767 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Turned out pretty nice, even if I say so myself. < 1573826797 554391 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: have you already merged the recent bugfix onto the shirt? < 1573826811 755772 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`` asmbf <<<"in_ r1/in_ r2/add r1, r2/out r1" > stuff && bfi stuff <<<"00" < 1573826813 972090 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/`: line 5: bfi: command not found < 1573826827 219530 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Really? I installed it < 1573826829 880429 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Yesterday < 1573826836 941941 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Where's it gone < 1573826846 205395 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: and do you wash it inside-out so that the print lasts longer? I never do that with t-shirts < 1573826877 97883 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`` whereis egobfi < 1573826878 123995 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :egobfi: < 1573826897 227977 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`` whereis egobfi8 < 1573826898 158608 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :egobfi8: < 1573826906 386175 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :wib_jonas: I've not been doing that either. It seems to be pretty durable. Also, I only use it on special occasions. < 1573826925 687452 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`` ls /asmbf-v1.1.1/ < 1573826926 647783 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :ls: cannot access '/asmbf-v1.1.1/': No such file or directory < 1573826939 769009 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :`` ls asmbf-v1.1.1/ < 1573826940 740724 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :ls: cannot access 'asmbf-v1.1.1/': No such file or directory < 1573826997 514442 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` ls tmp < 1573826998 468079 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a.c \ a.out \ as-encoding \ asmbf-1.1.1 \ banana.txt \ compiled_brachylog.pl \ hexdump.hex \ input.brachylog \ jeval.whatis \ just \ out \ OUT \ out.a \ out.a.hd \ out.a.xxd \ paste \ single-word-character-names \ spline \ spout \ spout.raw \ test.b \ test.sh \ tmp.txt \ v1.1.1.tar.gz < 1573827005 469026 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Also, please put temporary files (like "stuff") in either /tmp/ or tmp/ (aka /hackenv/tmp/). < 1573827029 392732 :int-e!~noone@int-e.eu PRIVMSG #esoteric :maybe `` should change its working directory to tmp? < 1573827038 812158 :int-e!~noone@int-e.eu PRIVMSG #esoteric :though that will cause all sorts of confusion ;) < 1573827071 409931 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The former is truly ephemeral (only for the execution of the current command), while the latter is persistent but unversioned. < 1573827073 707545 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: that will cause all sorts of bugs < 1573827076 497268 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: see the chat log < 1573827105 853502 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wait, actual bugs? < 1573827107 329260 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: bin/\? and bin/learn still use relative paths. I'll fix those, but I can't fix everything. too many programs assume that the pwd is /hackenv < 1573827129 248095 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah < 1573827133 183931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :and users :) < 1573827144 787654 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :Can we make a loop device < 1573827157 563037 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :we could perhaps change .hgignore to ignore files directly in /hackenv , or remove write permission from /hackenv so you can't create files there, but those would probably cause other problems < 1573827159 739628 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl PRIVMSG #esoteric :So some people don't even have to use temp files < 1573827169 71902 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(And obviously I wouldn't touch the default for a plain `. But then moving from ` to `` would cause friction...) < 1573827230 316300 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: new best practice: if you're making executables for HackE?o that look up files under /hackenv , make it look them up relative to ${HACKENV-/hackenv}/ rather than relative to the working directory < 1573827250 799912 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Most of the time you can use pipes instead of temporary files. I don't see how loop devices would improve matters. > 1573827259 135289 PRIVMSG #esoteric :14[[07BrainCurry14]]4 M10 02https://esolangs.org/w/index.php?diff=67051&oldid=67044 5* 03SergeJohanns 5* (+1) 10Fixed link < 1573827275 745671 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` echo $PATH < 1573827276 488435 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin:/usr/bin:/bin < 1573827296 401826 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In particular, bash <(...) syntax can help. < 1573827337 548577 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo <(echo foo); cat <(echo bar) < 1573827338 559313 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/dev/fd/63 \ bar < 1573827371 311885 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which shell pioneered that one? I thought bash got it from zsh... < 1573827402 264333 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe? I'm not too familiar with other shells. < 1573827424 659096 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I know some people want to avoid temp files, but I think it's a bad habit that remains from old operating systems that couldn't cache files properly < 1573827429 641580 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I think it's a bad practice < 1573827433 99529 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I did used to use tcsh for some years, and university machines defaulted to zsh. < 1573827434 425603 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :just create temp files < 1573827459 127518 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :although since /tmp and /dev/shm < 1573827469 563007 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wib_jonas: temp files have the shared namespace issue wrt to other processes and users < 1573827479 321423 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and /var/tmp aren't writable in HackEso, it might make sense to set some environment variables to point to the absolute path of a temp directory < 1573827494 167521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION likes pipes.
< 1573827498 155944 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :/tmp is writable. < 1573827523 142478 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's what you should be using for temporary files within a single command. < 1573827542 773626 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: use mkdir then to create a temp directory that nobody else uses < 1573827611 809477 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: I recommend mkdir specifically because it's always atomic, two processes can't create the same directory twice successfully, as opposed to open with O_EXCL which is supposed to be atomic like that but there are bugs involving nfs < 1573827619 7450 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: I see < 1573827629 291923 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so /tmp is writable but doesn't persist after a command? < 1573827630 527576 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that's useful < 1573827637 837754 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :/tmp is a tmpfs inside the UML. > 1573827647 435143 PRIVMSG #esoteric :14[[07BrainCurry14]]4 M10 02https://esolangs.org/w/index.php?diff=67052&oldid=67051 5* 03SergeJohanns 5* (+25) 10Added Category < 1573827657 188130 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :that could work then < 1573827662 239781 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`ls /tmp < 1573827663 131764 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1573827668 492994 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`` ls -a /tmp < 1573827669 431777 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​. \ .. < 1573827702 342117 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; hello > /tmp/Z-k3EuobYg4s; echo next:; cat /tmp/Z-k3EuobYg4s < 1573827703 303977 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :next: \ hello, world < 1573827711 944163 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah, it's writable. sorry. < 1573827726 13012 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :why is /dev/shm not writable by the way? < 1573827741 183567 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; hello > /dev/shm/Z-k3EuobYg4s; echo next:; cat /dev/shm/Z-k3EuobYg4s < 1573827742 77693 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bash: /dev/shm/Z-k3EuobYg4s: Read-only file system < 1573827792 342590 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's just not mounted. < 1573827801 644458 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So it falls into the ro /. < 1573827845 7489 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo $HOME $HACKENV # There are also these. < 1573827847 571107 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/tmp /hackenv < 1573827856 75844 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But I should probably also set... is it TMPDIR or TEMPDIR? I can never remember. < 1573827875 484462 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :theres various "mktemp" commands to attempt to avoid "how to safely create a temp file/dir"; i think openbsd started it, then someone made a "portable" version; i think it really it just calls mktemp() instead of whatever c89 is < 1573827894 207650 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :s/attempt to avoid/& historical problems with/ < 1573827908 435155 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :but for all i know, some "mkdir" might have such features "built-in" < 1573827938 492852 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :(or, that might be backwards, c89 has a not-really-secure mktemp() , and mktemp command calls some better one) < 1573827966 748273 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :s/calls/& and/or has one bundled with it/ < 1573827968 127064 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: yes, I already edited some of my programs to use $HACKENV, and I want to edit the programs related to wisdom and quote and learning in the future < 1573827989 688691 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: there are a ton of different env-vars about temporary directories. TMP, TEMP, etc < 1573827995 423199 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :every program uses them in a different way < 1573828125 828197 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :openbsd/netbsd/freebsd i think also optionally (maybe stock now) do per-user "private /tmp" nowadays, dunno about linux; and thats like the classic dir you set "sticky" bit on < 1573828278 560742 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; \' "hey, hey" < 1573828279 492958 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :nl: quotes: No such file or directory < 1573828392 338347 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`python3 -cn="bin/allquotes"; a=open(n,"rb").read(); a=a.replace(b'quotes',b'"${HACKENV-/hackenv}/quotes"'); open(n,"wb").write(a) < 1573828394 40069 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1573828396 209080 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; \' "hey, hey" < 1573828397 93605 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :728) itidus21: hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, h < 1573828408 790590 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; allquotes | tail -n1 < 1573828409 656244 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1335) The domain is public, but what's the codomain? < 1573828414 418159 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; \" < 1573828415 615170 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1003) LIST OF ACRONYMS: List Integrating Some Terminology Of Fine Authentic Credibility Relating to Our New Year Media System \ 1226) I need to get out of my habit of eating business cards... < 1573828424 145262 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; quote Taneb < 1573828425 14029 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :383) Turned out he got recursion, he just didn't get the return statement \ 388) Cut to February War were declared A galaxy in turmoil Anyway, Febuary '10 \ 389) I can't afford one of those! A grandchild, not a laser printer \ 395) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You < 1573828446 504138 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the record, the way filesystems work on HackEso is: it uses the umlbox --base-mounts flag (which mounts /usr, /bin, /sbin, /lib, /lib32, /lib64, /etc/alternatives and /dev as read-only 'hostfs' mounts from the host system), then adds three custom mounts (read-write /hackenv, read-only /hackenv/.hg on top of that, and the hackbot lib directory for the 'limits' script), and finally umlbox itself < 1573828449 881270 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` set -e; cd tmp; q st < 1573828451 534194 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1) EgoBot just opened a chat session with me to say "bork bork bork" \ 3) that's where I got it rocket launch facility gift shop \ 8) Lil`Cube: you had cavity searches? not yet trying to thou, just so I can check it off on my list of things to expirence \ 9) So what you're saying is that I shouldn't lick my iPhone but instead I should rub it on my eyes < 1573828452 742642 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :unconditionally mounts a tmpfs on /tmp, proc on /proc and sysfs on /sys. < 1573828460 646492 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(This would all be in the hypothetical HackEso manual, presumably.) < 1573828475 36688 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: I can guess most of that, because I can list mounts < 1573828506 252723 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The lib thing explains the otherwise slightly odd /srv/hackeso-code/multibot_cmds/lib which also leaks a path out of the host. :/ < 1573828520 300748 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Well, all of the hostfs mounts do that.) < 1573828635 332353 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :does anyone happen to know what bin/\?h is supposed to do? < 1573828721 972709 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I know that bin/\?\? accesses the parallel universe wisdom database in tmflry < 1573828742 724404 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`?? cat < 1573828743 700406 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A cat is an animal with four legs. It's nice to pet, especially when it's a baby cat, called a kitten. Or it's the unix "cat" command. It takes a filename (or many) and prints the contents of that (those) file(s). < 1573828744 631444 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? cat < 1573828745 792434 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Cats are cool, but should be illegal. < 1573828804 987820 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's supposed to invoke \? with a special logic to add extra 'h's in words in a manner I can't quite remember the source of. < 1573828829 596774 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ok... < 1573828837 608691 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it doesn't seem to do that, but maybe it was supposed to < 1573828853 946290 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`wehlcohme < 1573828855 265396 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's missing a \, so the '?' in it presumably expands to all one-character commands. < 1573828855 308157 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: . (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn EhFneht ohr DAhLneht.) < 1573828877 483494 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a little bit less h-heavy than that. But yeah, maybe same roots. < 1573828907 920483 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It might be just barely possible ?h was added when ? was the only single-character command, though that seems unlikely. I don't know if it's ever worked. < 1573828957 67938 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, there's also bin/?hh and that's actually been fixed. < 1573828966 969035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`?hh welcome < 1573828968 168067 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: . (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn EhFneht ohr DAhLneht.) < 1573828980 716200 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm https://esolangs.org/logs/2013-01-25.html#lzn ff. < 1573828980 752378 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: or when it was the alphabetically first single-character command in New Zealand locale order < 1573829006 151977 :int-e!~noone@int-e.eu PRIVMSG #esoteric :prototyped by fizzie, implemented by shachaf < 1573829171 698070 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`sled bin/?h//s|^|\\| < 1573829174 708170 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/?h//\? "$@" | perl -pe 's/([aeiouy])([bcdfghjklmnpqrstvxz])\b/$1h$2/ig' < 1573829182 673268 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`?h welcome < 1573829183 854510 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Welcome to the internationahl huhb fohr esoterihc programming language design and deployment! Fohr more informatiohn, check ouht ouhr wiki: . (Fohr the othehr kind ohf esoterica, try #esoterihc ohn EFneht ohr DALneht.) < 1573829187 744112 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway. < 1573829196 328114 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :nice < 1573829201 433692 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`??h Tanebventions < 1573829202 184486 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ??h: not found < 1573829206 475063 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`?h tanebventions < 1573829207 848000 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, metahr, sand, dragons, persistence, the BBC, _46biht, progress, sanity, the huhg, Italiahn, the grace periohd, the limerick, ruihn, and thihs sentence. See also tanebventions: maths ohr tanebventions: foods. He nevehr invents anything involving sehx. < 1573829251 494168 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With the \b it's a little picky, you have to have a vowel-consonant pair at the end of the word. < 1573829453 755722 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` grep -lw quotes bin/* # I'll have to check these < 1573829454 716345 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/addquote \ bin/allquotes \ bin/delquote \ bin/pastequotes \ bin/qc \ bin/quotenums \ bin/tclkit \ bin/units \ bin/whoq < 1573829459 974517 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and then the ones that refer to wisdom < 1573829575 777383 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :hmm, fixing addquote and delquote are trickier because to test them, I have to add a quote and delete one < 1573829601 24523 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Just run the test suite." < 1573829727 592653 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :is there a test quote for the test suite? < 1573829749 731729 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-puyhqqhdikxszgjz JOIN :#esoteric < 1573829750 15798 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-htvppmtaollxifzw JOIN :#esoteric < 1573829755 720079 :ddmm_!atrapmatri@gateway/shell/matrix.org/x-xmjmkkrfyqhlyfzv JOIN :#esoteric < 1573829766 58715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think there is. < 1573829790 952141 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I have a local "DevHackEso" instance I use when doing changes to the actual code (not the "userland"), but it's a bit of a pain to set up locally. < 1573829818 118398 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'll just add a quote and delete the same quote < 1573829826 768142 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :twice < 1573830138 570855 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Another HackEso oddity: /dev is actually the host system's real /dev. It works out pretty well in practice, because it's inside a container with a really sparse /dev. But now that they've brought back the ghost of devfs as devtmpfs, maybe that'd be an option. Before, you'd either have had to manually populate a static /dev or run udev. < 1573831098 883158 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` grep -lw wisdom bin/* < 1573831099 752280 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/? \ bin/cwlprits \ bin/disce \ bin/dowg \ bin/footnote \ bin/forget \ bin/grwp \ bin/gwn \ bin/gwni \ bin/howg \ bin/hwrl \ bin/lastwisdoms \ bin/leann \ bin/learn \ bin/ls \ bin/pastewisdom \ bin/plwd \ bin/slashlearn \ bin/slwd \ bin/w \ bin/wdit \ bin/whoops \ bin/widsom \ bin/wisdom \ bin/wisdöm \ bin/wiseguys \ bin/wrl < 1573831112 696483 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :``` grep -lw tmflry bin/* < 1573831113 739967 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bin/?? \ bin/mislearn \ bin/tomfoolery < 1573831121 589231 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :of course some of those are false positives < 1573831377 991701 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1573832149 581092 :xkapastel!uid17782@gateway/web/irccloud.com/x-doqusrqexzqwqwpq JOIN :#esoteric < 1573834617 77955 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1573834906 66273 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1573835850 867222 :unlimiter!~unlimiter@105.157.166.131 JOIN :#esoteric < 1573836010 243066 :unlimiter!~unlimiter@105.157.166.131 QUIT :Client Quit < 1573836030 594967 :unlimiter!~unlimiter@105.157.166.131 JOIN :#esoteric < 1573837303 515160 :unlimiter!~unlimiter@105.157.166.131 QUIT :Quit: WeeChat 2.6 < 1573837607 672687 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1573837767 383698 :kspalaiologos2!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1573838038 868851 :arseniiv_!~arseniiv@136.169.208.242 PRIVMSG #esoteric :hey, hey, hey, hey, hey, < 1573838054 500644 :arseniiv_!~arseniiv@136.169.208.242 PRIVMSG #esoteric :(I actually have nothing to say but I want to say hey) < 1573838058 94558 :arseniiv_!~arseniiv@136.169.208.242 NICK :arseniiv < 1573838118 647705 :APic!apic@apic.name PRIVMSG #esoteric :☺ < 1573838133 228442 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :also I was writing a bunch of lame Haskell code yesterday and maybe I will continue today too and then show you to have much criticism! < 1573838155 124323 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :naming things is often a mess < 1573838281 531332 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :they say if you can’t figure out a name for a code thingy, better do without. but I think there are a big case of false negative here for people who just have a bad day for language or maybe they are non-natives even worse than me < 1573839563 130924 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1573841576 138448 :kspalaiologos2!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1573841576 316896 :kspalaiologos!~kspalaiol@user-5-173-128-35.play-internet.pl QUIT :Read error: Connection reset by peer < 1573841597 742275 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1573841734 861179 :xkapastel!uid17782@gateway/web/irccloud.com/x-doqusrqexzqwqwpq QUIT :Quit: Connection closed for inactivity < 1573842301 596142 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu JOIN :#esoteric < 1573842820 558716 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :hey, hey arseniiv < 1573842836 615904 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :b_jonas: hey, < 1573842851 129922 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :yes, naming is hard, but I think you should still name partial results < 1573842856 379572 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hey, listen. (Stay awhile and listen?) < 1573842997 102105 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :yes, that's what the fairy of the boy without a fairy says < 1573843134 724719 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the parenthetical part is what Deckard Cain says. < 1573843993 948693 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1573844156 554653 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric > 1573849871 323360 PRIVMSG #esoteric :14[[07StuLa14]]4 N10 02https://esolangs.org/w/index.php?oldid=67053 5* 03CMinusMinus 5* (+1033) 10Created page with "'''StuLa''' ('''Stu'''pid '''La'''nguage) is a programming language, made by [[User:CMinusMinus]] in 2019. It has variables, import options, input and output, 3 main variable..." < 1573849882 987370 :unlimiter!~unlimiter@105.157.166.131 JOIN :#esoteric < 1573850015 829405 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :is there a common factoring of this functions into a couple of well-known ones?: < 1573850015 914461 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric : h :: (a, Maybe b) -> Maybe (a, b) < 1573850015 914500 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric : h (a, Just b) = Just (a, b) < 1573850015 914508 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric : h (a, Nothing) = Nothing < 1573850016 595921 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :I think there should be but I’m yet to find out > 1573850094 850271 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67054&oldid=67053 5* 03CMinusMinus 5* (+147) 10 < 1573850126 124192 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :hm let me try `sequence` again. Yesterday I found out it’s quite a magic one < 1573850180 811433 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :bingo! `sequence` saves the day again! < 1573850194 979110 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :h = sequence! < 1573850209 50945 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :thank you for reading this anyway > 1573850406 862915 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67055&oldid=67054 5* 03CMinusMinus 5* (+384) 10 < 1573850578 363471 :unlimiter!~unlimiter@105.157.166.131 QUIT :Quit: WeeChat 2.6 > 1573850930 167950 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67056&oldid=67055 5* 03CMinusMinus 5* (+659) 10 > 1573851144 142833 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67057&oldid=67056 5* 03CMinusMinus 5* (+69) 10 < 1573851355 652550 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :arseniiv: I would have recommended that you ask in #haskell . > 1573851356 853005 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67058&oldid=67057 5* 03CMinusMinus 5* (+354) 10 > 1573851379 18959 PRIVMSG #esoteric :14[[07User:CMinusMinus14]]4 10 02https://esolangs.org/w/index.php?diff=67059&oldid=67035 5* 03CMinusMinus 5* (+11) 10/* My Languages */ < 1573851422 43423 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :b_jonas: reasonable > 1573851442 68126 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=67060&oldid=67047 5* 03CMinusMinus 5* (+12) 10/* S */ > 1573851484 614707 PRIVMSG #esoteric :14[[07User:CMinusMinus14]]4 10 02https://esolangs.org/w/index.php?diff=67061&oldid=67059 5* 03CMinusMinus 5* (-71) 10 > 1573851572 616349 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67062&oldid=67058 5* 03CMinusMinus 5* (+62) 10 > 1573852032 951617 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67063&oldid=67062 5* 03CMinusMinus 5* (+220) 10 > 1573852067 340089 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67064&oldid=67063 5* 03CMinusMinus 5* (-51) 10 > 1573852246 782279 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67065&oldid=67064 5* 03CMinusMinus 5* (+48) 10 > 1573852265 922158 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67066&oldid=67065 5* 03CMinusMinus 5* (+26) 10 > 1573852449 865700 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67067&oldid=67066 5* 03CMinusMinus 5* (+137) 10 < 1573853073 611023 :zzo38!~zzo38@209.52.88.123 JOIN :#esoteric < 1573853212 35186 :zzo38!~zzo38@209.52.88.123 QUIT :Read error: Connection reset by peer > 1573853321 461114 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03CMinusMinus 5* 10uploaded "[[02File:StuLa Logo.png10]]" > 1573853578 137007 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03CMinusMinus 5* 10uploaded "[[02File:Official StuLa Logo.png10]]" > 1573853632 802988 PRIVMSG #esoteric :14[[07StuLa14]]4 10 02https://esolangs.org/w/index.php?diff=67070&oldid=67067 5* 03CMinusMinus 5* (+40) 10 < 1573853708 417549 :zzo38!~zzo38@209.52.88.123 JOIN :#esoteric < 1573853748 325426 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :The reason I use a Raspberry Pi computer is because my wired internet doesn't work, but Raspberry Pi has wireless internet < 1573853798 891494 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Also, I tried to insntall the more complete vim system but it says 404 error < 1573853827 817129 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :I have a Compact Flash card to transfer files between these two computers < 1573854068 383284 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :This computer doesn't have xclip either < 1573854080 142589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you need xclip? < 1573854120 381850 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :zzo38: you can also get a USB wireless adapter < 1573854125 850241 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Well, I tried to install xclip and don't get a 404 error for that at least < 1573854139 97766 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :there are some very tiny ones that stick out only a few mm from the port and can be left in 24/7 < 1573854156 275325 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :kmc: I have one, and have tried that but it doesn't work. My computer recognizes it, and it lists the access point, and it says connected but then it doesn't work. < 1573854171 591214 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :oh, that is too bad < 1573854194 574308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, CDCL is probably the single biggest improvement I can make to a solver, I guess? < 1573854247 325260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I implemented 2WL but -- surprise? -- it doesn't do much good for the 3SAT instances I've been testing on. < 1573854270 744032 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I assume it'll be more useful with CDCL since the learnt claws will be bigger. < 1573854295 878895 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :This computer also has a not very good keyboard from Microsoft. Many keys are missing, including home, end, insert, scroll lock, and the entire number pad > 1573854362 364921 PRIVMSG #esoteric :14[[07EsoPost14]]4 N10 02https://esolangs.org/w/index.php?oldid=67071 5* 03Zzo38 5* (+4605) 10Created page with "[[Category:Languages]][[Category:2019]] An EsoPost program consists of a sequence of operators. At the beginning of the program, all operators in the program are pushed to th..." < 1573854588 750187 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used to have a non-flexible USB wifi dongle that, in the university lecture hall, only worked if I kept the laptop at a 90 degree angle, so that the stick was vertical. < 1573854602 964587 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In retrospect, maybe I could've just used a short USB extension cable. < 1573854717 332267 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :What are you thinking of now I posted the new esolang "EsoPost"? (That is why I wanted xclip, it is convenient when I want to copy a file to the wiki, and I wrote the file on other computer) < 1573855821 539512 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1573855962 934728 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Do you like ZZ Zero? < 1573856071 16597 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Deduplication {X} Instant ;; X target nonbasic permanents are legendary until end of turn. ;; Cycling {2} ;; Flashback {XX} < 1573856137 161054 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Historical Library {4} Legendary Artifact ;; {2}, {T}: Put the bottom card of your graveyard into your hand. Use only as a sorcery. < 1573856142 524290 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Do you have a comment of this? < 1573856509 686866 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Also, do you know if it is possible to use Usenet (and possibly also Unusenet) with amateur radio? < 1573856771 554285 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :my fancy write-only code about constructor inhabitedness: https://repl.it/repls/OpaqueCrazyStructures < 1573856821 26272 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :`?h time cube < 1573856822 293757 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :EARTH HAhS 4 CORNEhR SIMULTANEOUhS 4-DAY TIME CUBE IhN ONLY 24 HOUhR ROTATIOhN. 4 CORNEhR DAYhS, CUBEhS 4 QUAhD EARTH. Bible A Lie & Word Ihs Liehs. Navehl Connects 4 Cornehr 4s. Gohd Ihs Born Ohf A Mothehr - She Left Belly B. Signature. Youhr dirty lying teachers use only the midnight to midnight 1 day (ignoring 3 othehr dayhs) Time to noht fouhl (already wrong) bible time. Lie thaht corrupts earth you educatehd stupihd fools. < 1573856823 585319 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :`?h gene ray < 1573856824 796018 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Dr Gene Ray ihs the Greatest Philosophehr, and ihs the Greatest Mathematiciahn. Cubihc Harmonics. Only Cubihc Harmonics cahn save humanity. Cubihc Harmonics will pacify all religions. 96-houhr Cubihc Day debunks 1-day unnaturahl gohd. 96-houhr day willdisprove disunity gohd. Academians are teaching - pseudocience. Worshipping a Word Gohd will destroy the USA. < 1573856852 346560 :b_jonas!~x@catv-176-63-13-242.catv.broadband.hu PRIVMSG #esoteric :"you educatehd stupihd fools" < 1573856884 404248 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :arseniiv: Do you have a direct download link? < 1573856921 593480 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :zzo38: I’ll make a minute addition and then I’ll post it somewhere < 1573856943 829131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`doag quotes < 1573856945 71413 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :11995:2019-10-31 addquote The domain is public, but what\'s the codomain? \ 11992:2019-10-24 delquote 232 \ 11991:2019-10-24 delquote 1056 \ 11990:2019-10-24 delquote 1271 \ 11986:2019-10-24 addquote kspalaiologos: yes, it\'s much more enjoyable sitting in #esoteric than chiselling 99 bottles of beer into a rock. \ 11967:2019-10-13 addquote 1573858041 734179 PRIVMSG #esoteric :14[[07EsoPost14]]4 10 02https://esolangs.org/w/index.php?diff=67072&oldid=67071 5* 03Zzo38 5* (+0) 10 < 1573858445 831451 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :zzo38: something like that?: https://gist.githubusercontent.com/arseniiv/af1835660331456b4d8e2df7337ebe0f/raw/7e88029b33d3e685dda7cc04a0ad497d30320755/InhabitedConstructors.hs < 1573858510 485434 :zzo38!~zzo38@209.52.88.123 PRIVMSG #esoteric :Yes, that is good < 1573858939 193384 :zzo38!~zzo38@209.52.88.123 QUIT :Quit: zzo38 < 1573860255 947874 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :uh, I can’t get what I did wrong using ShowS… it should be trivial but I get strange results < 1573860799 784513 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :I overestimated mconcat < 1573862374 518666 :arseniiv!~arseniiv@136.169.208.242 PRIVMSG #esoteric :ah, it was meant for Endo to be used there