< 1664236943 502337 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :I like how you have to explicitly specify "QF" in these SMT things, and the default is having quantifiers. < 1664237016 490151 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I looked, and I don't know what command to specify if the result can be close without being quite right < 1664237443 118070 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :You can specify inequality constraint, right? < 1664237451 462971 :shachaf!~shachaf@user/shachaf PRIVMSG #esolangs :Maybe I'm misunderstanding what you want to do. < 1664237463 746295 :FreeFull!~freefull@user-5-173-176-88.play-internet.pl QUIT : < 1664248088 890718 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What are the rules for stickers in Magic: the Gathering? We can see some things. What layer do they apply to? It says they are not copied, so I suppose that it comes after layer 1, then. Can they be applied to objects that are not cards, and if so can they still be reused if those objects cease to exist before entering a hidden zone? What are the rules for comparing the names of objects with name stickers? > 1664249530 178868 PRIVMSG #esolangs :14[[07NoComment14]]4 10 02https://esolangs.org/w/index.php?diff=103548&oldid=81722 5* 03CaptainFoxtrot 5* (+22) 10/* Hello World! */ > 1664252629 786132 PRIVMSG #esolangs :14[[07User talk:Lemonz14]]4 10 02https://esolangs.org/w/index.php?diff=103549&oldid=103547 5* 03Lemonz 5* (+20) 10/* Is there an official implementation of Three variable modification language */ > 1664252685 410593 PRIVMSG #esolangs :14[[07Talk:Three variable modification language14]]4 10 02https://esolangs.org/w/index.php?diff=103550&oldid=103503 5* 03Lemonz 5* (+163) 10/* Adding 1 */ < 1664257641 981852 :razetime!~quassel@117.193.7.114 JOIN #esolangs razetime :razetime < 1664260215 974625 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664260849 533164 :m5zs7k!aquares@web10.mydevil.net QUIT :Ping timeout: 250 seconds < 1664261009 108592 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1664261076 840635 :m5zs7k!aquares@web10.mydevil.net JOIN #esolangs m5zs7k :m5zs7k < 1664261356 577813 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1664261404 868763 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1664261556 490604 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu PRIVMSG #esolangs :zzo38: stickers can apply to tokens; other than that I don't know and you may have to wait for the set release notes < 1664261896 409791 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664261940 149823 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Client Quit < 1664262054 242471 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1664263281 788509 :lagash!lagash@lagash.shelltalk.net QUIT :Ping timeout: 260 seconds < 1664263325 589713 :lagash!lagash@lagash.shelltalk.net JOIN #esolangs * :ZNC - https://znc.in < 1664264892 53764 :razetime!~quassel@117.193.7.114 QUIT :Ping timeout: 265 seconds < 1664265901 977617 :razetime!~quassel@117.193.7.114 JOIN #esolangs razetime :razetime < 1664268651 103118 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1664269182 695722 :olsner!~salparot@c83-252-230-207.bredband.tele2.se QUIT :Ping timeout: 268 seconds < 1664269492 780776 :olsner!~salparot@c83-252-230-207.bredband.tele2.se JOIN #esolangs olsner :Got ZNC? < 1664270929 867711 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1664278381 481594 :Joao003!~Joao003@187.85.87.1 JOIN #esolangs * :[https://web.libera.chat] Joao003 < 1664278830 117829 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :why is this channel so quiet? < 1664279446 781701 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer > 1664279895 440652 PRIVMSG #esolangs :14[[07Talk:Cal14]]4 N10 02https://esolangs.org/w/index.php?oldid=103551 5* 03Joaozin003 5* (+473) 10Created page with "== NoEmoji == NoEmoji is a dialect of Cal by me that replaces emojis by Ascii characters. The command table now looks like this: - | Sub/Neg Number | Const ^ | T..." < 1664284767 480901 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas < 1664284800 377482 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :esolangs is so quiet < 1664284857 564963 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :Joao003: (1) because friends remain friends even if they don't talk every day, (2) because we're working dayjobs, (3) because the members are talking on other secret and/or non-logged channels, possibly not even on IRC but on Discord or by telepathy. pick your own answer. < 1664284895 42228 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam < 1664284903 373881 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :1 < 1664284918 545441 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :didnt pick 3 because telepathy doesn't exist < 1664285340 573206 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :why is esolangs so quiet, fungot? < 1664285340 932488 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :wib_jonas: try proceeding from the interrupt.') it is perfectly good enough, with syntactic closures < 1664285366 610336 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot 8-ball is esolang too quiet? < 1664285367 162438 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Stored 8-ball is esolang too quiet? < 1664285372 360881 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :what no < 1664285379 606733 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :drat < 1664285387 312143 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :how do I revert again? < 1664285391 236634 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot help revert < 1664285392 2526 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: The eval plugin. Syntax, «eval: code». Prefixes: w=>warnings, s=>strict, m=>use Ojo. Suffixes: t=>threaded, pb=>pastebin it, nl=>turn \n to ␤. languages: < 1664285435 240679 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot forget #esolangs 8-ball < 1664285435 537726 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Forgot #esolangs 8-ball < 1664285466 713239 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot 8-ball do you suppose esolang is too quiet? < 1664285466 947460 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Stored 8-ball do you suppose esolang is too quiet? < 1664285477 729779 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :no, you fool < 1664285489 146759 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot call 8-ball is esolang too quiet? < 1664285490 1678 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: No factoid found. Did you mean one of these: [blog] [bleach] [8-ball] [8ball] [8ball:] [bill] [bl] [bbl] [blah] [bots] < 1664285501 458779 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot forget #esolangs  do you suppose esolang < 1664285501 802874 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Forgot #esolangs  do you suppose esolang < 1664285518 11134 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot call 8-ball is esolang too quiet? < 1664285518 361879 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: No factoid found. Did you mean one of these: [blog] [bleach] [8-ball] [8ball] [8ball:] [bill] [bl] [bbl] [blah] [bots] < 1664285523 849574 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot fact call 8-ball is esolang too quiet? < 1664285524 179981 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Stored call 8-ball is esolang too quiet? < 1664285529 815834 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :no < 1664285540 674441 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot forget #esolangs call 8-ball < 1664285541 3374 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Forgot #esolangs call 8-ball < 1664285548 399202 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot 8-ball < 1664285549 167381 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: esolang too quiet? < 1664285557 618755 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot forget #esolangs 8-ball < 1664285557 862245 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: Forgot #esolangs 8-ball < 1664285565 162375 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot 8-ball < 1664285565 386601 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: esolang too quiet? < 1664285575 121125 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :perlbot fact history 8-ball < 1664285575 457142 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot PRIVMSG #esolangs :wib_jonas: No factoid found. Did you mean one of these: [pbstore] [chaos theory] [istr] [distar] [istrue] [hosting] [hunter2] [listref] [hashsort] [hatetris] < 1664286300 445396 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`man lolololololol < 1664286304 96492 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Nice try. < 1664286385 585795 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :we have a whatis, not a man < 1664286425 547778 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :`whatis dir < 1664286427 143519 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :dir(1) - list directory contents \ DIR(7glibc) - Opening a Directory \ dir(8jevalbot) - show the name of all persistent sessions < 1664286462 965211 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :what is j-bot for < 1664286480 532249 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :it interprets the J language < 1664286486 699822 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :[ 8*16 < 1664286486 899018 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: 128 < 1664286519 200722 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :useful for some quick vector calculations < 1664286729 926797 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ *:99 < 1664286730 161867 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 9801 < 1664286793 841374 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot: *~99 < 1664286794 35904 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: 9801 < 1664286813 847763 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ I.6 < 1664286814 95678 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 0 0 0 0 0 0 < 1664286827 224231 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot=([*])99 < 1664286827 435737 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: 9801 < 1664286846 89873 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot):.:*/2$99 < 1664286846 286950 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: 9801 < 1664286862 497381 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot(99*99 < 1664286872 485970 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot( 99*99 < 1664286878 159075 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu PRIVMSG #esolangs :j-bot[ 99*99 < 1664286878 402068 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :wib_jonas: 9801 < 1664286943 915297 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ 1+I.6 < 1664286944 151700 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 1 1 1 1 1 1 < 1664286954 593380 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ i.1+I.6 < 1664286954 828931 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 0 < 1664286962 695791 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ I.1+I.6 < 1664286962 935030 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 0 1 2 3 4 5 < 1664287025 799980 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ *#1+I.1+I.6 < 1664287025 978012 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 1 < 1664287042 524088 :Joao003!~Joao003@187.85.87.1 PRIVMSG #esolangs :[ *#(1+I.1+I.6) < 1664287042 759180 :j-bot!~jbot@irc.supplies PRIVMSG #esolangs :Joao003: 1 < 1664289517 985037 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1664290424 156296 :Joao003!~Joao003@187.85.87.1 QUIT :Quit: Client closed > 1664291446 527839 PRIVMSG #esolangs :14[[07FuckBrain14]]4 N10 02https://esolangs.org/w/index.php?oldid=103552 5* 03Esolang1 5* (+2348) 10Added new language: FuckBrain < 1664292210 9725 :b_jonas!~x@catv-176-63-4-116.catv.fixed.vodafone.hu QUIT :Ping timeout: 265 seconds < 1664295712 889845 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed < 1664297468 227287 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity > 1664298874 68002 PRIVMSG #esolangs :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=103553&oldid=102825 5* 03Nick-1666 5* (+27) 10test inlinking < 1664300332 522137 :FreeFull!~freefull@user-5-173-176-126.play-internet.pl JOIN #esolangs FreeFull :FreeFull < 1664302096 754193 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 260 seconds < 1664302219 319738 :razetime!~quassel@117.193.7.114 QUIT :Remote host closed the connection < 1664302540 152466 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN #esolangs zzo38 :zzo38 < 1664304881 56192 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1664304970 19656 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds < 1664304975 6480 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1664305048 940315 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1664305208 637651 PRIVMSG #esolangs :14[[07Koyaanisqatsi14]]4 M10 02https://esolangs.org/w/index.php?diff=103554&oldid=103510 5* 03Alikberov 5* (+1955) 10/* Few details about Instructions Encoding */ < 1664306152 894079 :SGautam!uid286066@id-286066.ilkley.irccloud.com JOIN #esolangs SGautam :Siddharth Gautam > 1664309903 470983 PRIVMSG #esolangs :14[[07!brainfuck14]]4 N10 02https://esolangs.org/w/index.php?oldid=103555 5* 03Nick-1666 5* (+3226) 10Author !brainfuck > 1664309985 604281 PRIVMSG #esolangs :14[[07!brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=103556&oldid=103555 5* 03Nick-1666 5* (+0) 10Link fix > 1664312761 460113 PRIVMSG #esolangs :14[[07Cry14]]4 M10 02https://esolangs.org/w/index.php?diff=103557&oldid=53619 5* 03PythonshellDebugwindow 5* (+63) 10Stub, categories < 1664316042 672018 :silky!gilesgate@sdfeu.org JOIN #esolangs Byzantine :gilesgate < 1664318864 889746 :Noisytoot_!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664318877 581658 :Noisytoot!~noisytoot@sourcehut/user/noisytoot QUIT :Read error: Connection reset by peer > 1664319397 71770 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=103558&oldid=103534 5* 03Esolang1 5* (+16) 10added language: FuckBrain > 1664319653 917376 PRIVMSG #esolangs :14[[07FuckBrain14]]4 M10 02https://esolangs.org/w/index.php?diff=103559&oldid=103552 5* 03Esolang1 5* (+31) 10Added: categories > 1664319679 186056 PRIVMSG #esolangs :14[[07FuckBrain14]]4 M10 02https://esolangs.org/w/index.php?diff=103560&oldid=103559 5* 03Esolang1 5* (+0) 10Fixed typo: Categories < 1664320078 524326 :Noisytoot_!~noisytoot@sourcehut/user/noisytoot QUIT :Read error: Connection reset by peer < 1664320278 430694 :Noisytoot!~noisytoot@sourcehut/user/noisytoot JOIN #esolangs Noisytoot :Ron < 1664321185 538259 :b_jonas!~x@adsl-89-134-13-73.monradsl.monornet.hu JOIN #esolangs * :b_jonas > 1664321389 271451 PRIVMSG #esolangs :14[[07FuckBrain14]]4 M10 02https://esolangs.org/w/index.php?diff=103561&oldid=103560 5* 03PythonshellDebugwindow 5* (+4) 10Fix typos, add link < 1664321468 227714 :SGautam!uid286066@id-286066.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity < 1664321664 468873 :bgs!~bgs@212-85-160-171.dynamic.telemach.net JOIN #esolangs bgs :bgs > 1664323097 631316 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Ninesquared81 5* 10New user account