< 1595549210 971739 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1595550327 678128 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1595550449 716210 :tromp!~tromp@ip-213-127-104-154.ip.prioritytelecom.net JOIN :#esoteric < 1595550905 183223 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 240 seconds < 1595551449 408508 :tromp!~tromp@ip-213-127-104-154.ip.prioritytelecom.net QUIT :Read error: Connection timed out < 1595551511 435840 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :Enchant creature. When enchanted creature dies, you may play a replacement creature card from your hand as if it had flash. If you do, return all permanents that were attached to enchanted creature from the graveyard to the battlefield under your control attached to the replacement creature. < 1595551559 317567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's neat. < 1595551664 688351 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :That is good, but maybe make enchant permanent, and then you can play another card that shares a type with it. The other consideration is if you do not control or do not own the enchanted permanent, then? < 1595551838 721562 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I like the idea though. < 1595551898 553362 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Maybe it is supposed to work on opponent's cards and then you control the replacement, though, in which case that is OK. < 1595551904 234815 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i enchant spell on the stack < 1595551949 190312 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :"on the stack" is redundant (an object is only a "spell" while it is on the stack), although I had that idea too. < 1595552002 922279 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then you could replace a spell on the stack with another spell -- even a sorcery? -- but it would keep its existing stack position. < 1595552022 604349 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Cale: Oh that is _nice_ < 1595552038 897865 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :That makes other enchantments better! < 1595552098 128062 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :shachaf: enchant spell or ability on the stack >:D < 1595552115 696907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: I was considering that a bit but it seemed too far even for me. < 1595552162 385889 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :Yeah, it's a card that works for and against auras :) < 1595552190 46103 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I had another idea about recovering Auras: The next time a nontoken Aura dies this turn, you may cast it. < 1595552264 756697 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: Oh, whoa, you could enchant an opponent's creature with this. < 1595552267 103689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't think of that. < 1595552303 559490 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Oooh < 1595552305 463182 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Sneaky < 1595552316 909066 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, I thought of that too, which is what I was mentioning < 1595552332 962145 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :To a lesser extent, that also works against equipment < 1595552340 170914 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, zzo38 said that too, I missed it. < 1595552343 349301 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :I mean you can always re-equip, but that can be costly < 1595552372 129312 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :Also stealing opponents' equipment perhaps < 1595552436 368038 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Equipment doesn't die when the creature it is attached to dies, so there is no effect on Equipment, I think. < 1595552476 562711 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :But I think perhaps it should be "enchant permanent" instead of "enchant creature", and require the replacement card to share a type with it. < 1595552491 337782 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Also, the card as described would return itself too; is that intentional? < 1595552504 451732 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :ah, right, they wouldn't go to the graveyard, so they couldn't be returned from there < 1595552517 682817 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Also, I think it can be useful even if there isn't anything else attached to it, since it grants flash < 1595552519 310241 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :Yeah, I was considering excluding itself as well < 1595552562 967547 :tromp!~tromp@2a02:a210:ca3:2800:3979:8ba0:167b:3ac7 JOIN :#esoteric < 1595552648 543467 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :But it seemed simpler to describe without that exclusion. > 1595553454 591194 PRIVMSG #esoteric :14[[07User:Salpynx/Gdelfish14]]4 10 02https://esolangs.org/w/index.php?diff=76182&oldid=76045 5* 03Salpynx 5* (+37) 10/* External resources */ link to my code from late 2019 > 1595553511 241084 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Salpynx 5* 10moved [[02User:Salpynx/Gdelfish10]] to [[Gdelfish]]: 'publishing' this thing < 1595553540 563360 :tromp!~tromp@2a02:a210:ca3:2800:3979:8ba0:167b:3ac7 QUIT :Read error: Connection timed out > 1595553716 413692 PRIVMSG #esoteric :14[[07Gdelfish14]]4 10 02https://esolangs.org/w/index.php?diff=76185&oldid=76183 5* 03Salpynx 5* (+126) 10Categories > 1595553971 334974 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=76186&oldid=76159 5* 03Salpynx 5* (+35) 10adding my 2 0D Gdel numbering languages < 1595554395 597959 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :That page I just moved to mainspace has a lot of maths formulas that could benefit from style review. I'm not a mathematician, and I was taking deliberate liberties with some of the notation. If anyone has any tips on improving the notation I'd be happy to learn and improve them. < 1595554495 509770 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :Hopefully the concept comes across, the language is joke-like, but it's a moderately serious attempt to explore mathematical meta-programming ideas with fully 0-dimesional Godel numbers, and directly convert between input and output encodings < 1595554537 496799 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :I'd be interested in reading on any related topics if anyone knows of anything < 1595555430 371321 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :My related 'Brainfoctal' lang is basically a clone of a ridiculous number of similar bf copies, but AFAICT mine is the first and only one that doesn't make a point of being 1 dimensional, unlike Lenguage or Unary. < 1595555562 336788 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :0D is interesting to me because 'symbol' encoding becomes really fluid, there are (potentially) unlimited ways of viewing or processing the 'code' < 1595556199 542792 :Phantom___Hoover!~phantomho@82.27.195.88 JOIN :#esoteric < 1595556563 628000 :Phantom___Hoover!~phantomho@82.27.195.88 QUIT :Ping timeout: 240 seconds < 1595556750 431656 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This C99 draft is dated Septermber 7, 2007. < 1595556754 321423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess that's why it's a draft. < 1595557042 884842 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Must be an early one, 2099 isn't for some years yet < 1595557079 763372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and Septermber hasn't even been invented yet! > 1595558205 747216 PRIVMSG #esoteric :14[[07Triple Threat14]]4 10 02https://esolangs.org/w/index.php?diff=76187&oldid=53004 5* 03Qwertyu63 5* (+117) 10 < 1595559072 951614 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :I read that as Comiket 99 for a second there < 1595559745 328988 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :shachaf: Morch is coming along nicely though < 1595559759 845916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi Cale < 1595559762 101642 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :hi < 1595559787 733003 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you into SAT solvers? < 1595559801 327021 :Cale!~cale@2607:fea8:9940:7ed:79f3:3c9e:5a44:953c PRIVMSG #esoteric :I've never really used one < 1595559825 395060 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I really oughtta k-now w-ho's w-ho. < 1595560767 971710 :Caenbe!a2e8442a@162-232-68-42.lightspeed.cicril.sbcglobal.net JOIN :#esoteric < 1595560840 149786 :Caenbe!a2e8442a@162-232-68-42.lightspeed.cicril.sbcglobal.net QUIT :Remote host closed the connection < 1595561328 294084 :MDude!~MDude@74.5.140.76 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1595562234 604046 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Nor have I really used an SAT solver < 1595564285 94549 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :I've been oddly avoidant of doing computer-type things lately for a girl who named herself "Ada" < 1595564301 798839 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :I blame being a professional computer toucher for my day job > 1595564752 16115 PRIVMSG #esoteric :14[[07Nop14]]4 10 02https://esolangs.org/w/index.php?diff=76188&oldid=66020 5* 03D 5* (+22) 10 < 1595565177 405912 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1595565302 926967 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :How to program random schedules in cron? < 1595565638 789795 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection < 1595565651 465153 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :You know, that's an interesting question < 1595565693 853405 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :I don't think you can do it easily in "standard" cron, but I don't know if it's possible in any reasonably common crons at all < 1595565697 594884 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Maybe? Maybe not? < 1595565919 250635 :sugarpie!~Palaver@adsl-99-93-137-225.dsl.ltrkar.sbcglobal.net JOIN :#esoteric < 1595565959 625591 :sugarpie!~Palaver@adsl-99-93-137-225.dsl.ltrkar.sbcglobal.net PRIVMSG #esoteric :Eschew obfuscation < 1595566006 6568 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1595566127 182435 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :use cron to regularly schedule a task that generates a random at task , by random offset maybe? < 1595566464 961028 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :at now + $RANDOM minutes < commands.txt but triggered by cron to make it repeating. Never tried this specifically, but 'at' is useful for non-regular scheduling < 1595566536 7337 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :`? eschew < 1595566537 715095 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :eschew? ¯\(°​_o)/¯ < 1595567410 15567 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1595567788 784186 :sugarpie!~Palaver@adsl-99-93-137-225.dsl.ltrkar.sbcglobal.net QUIT :Remote host closed the connection < 1595568016 612491 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :salpynx: Yeah, I guess so < 1595568077 770203 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Also, how to make sounds from a command scheduled with "at"? < 1595568153 533093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why is that different from other commands? < 1595568188 451712 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Because it does not have access to some of the things needed for that purpose, or at least that is what I have found, when I tried. < 1595568214 869901 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Although I may have just made a stupid mistake, perhaps) < 1595568898 750795 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What things? How do you normally make sounds? < 1595568965 228460 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I normally use aplay < 1595569056 683922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah. I don't know, sounds like the sort of thing you'd need to debug if it doesn't work. < 1595569068 247950 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe aplay prints errors. Maybe at runs with different permissions? < 1595569166 113545 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :at execute commands using /bin/sh which can be a pain if using bashism (not sure if that's what is causing your aplay problems, it might be permissions) < 1595569229 313774 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :depends on your system though; plenty systems have /bin/sh=bash < 1595569318 961771 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :On my computer, /bin/sh is linked to dash, and not to bash < 1595569336 674980 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :*nod* < 1595569444 286375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ptrace is such a mess. < 1595569828 46517 :salpynx!794954f8@121.73.84.248 PRIVMSG #esoteric :aplay works fine with dash for me. I don't have a access to a system that has both at and aplay available simultaneously. Running aplay through at with different perms and looking for error output is a good suggestion < 1595569872 553932 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :OK < 1595570013 339803 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Unfortunately, Linux audio has a lot of moving pieces < 1595570018 92054 :pikhq!sid394595@gateway/web/irccloud.com/x-clfptxdaujhcobju PRIVMSG #esoteric :Just about anything could be broken < 1595570245 94325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The pulseaudio API is so scow. :-( < 1595570304 69118 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Ping timeout: 256 seconds < 1595570350 560093 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't like PulseAudio either, but some programs use it. < 1595570531 508526 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :huh < 1595570540 28120 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :pulseaudio is awesome < 1595570622 38207 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you written code using libpulse? < 1595570629 770599 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :also, it's possible that aplay just refuses to play something in a noninteractive shell (even though i don't think that's likely) < 1595570649 165620 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :no, but it works better than anything else before for me < 1595570665 384319 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :just use the alsa compat stuff for pulseaudio and aplay will work fine. < 1595570708 129047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I am, but it doesn't give you access to everything. < 1595570733 587416 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example I can't figure out a way to get an event when I turn on my bluetooth headphones (and the default audio device switches to them). < 1595570746 134621 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So right now I poll it every 10 seconds which is p. scow. < 1595570754 492462 :tromp!~tromp@2a02:a210:ca3:2800:3979:8ba0:167b:3ac7 JOIN :#esoteric < 1595570780 335178 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :and alsa has that? < 1595570787 83068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1595570794 75568 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i doubt that < 1595570795 22035 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :doubtful. < 1595570798 248481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ALSA is not great either, it certainly has its problems. < 1595570810 966697 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But libpulse is way less pleasant and more complicated in unnecessary ways. < 1595570821 86350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also, ideally I wouldn't either libasound or libpulse, because they're both LGPL-licensed. < 1595570824 173870 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :use < 1595570832 769774 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :also, i really wanted to use orca but i fail to create a virtual midi device < 1595570848 535834 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :my question is, on the *BSDs, how does firefox utilize audio? < 1595570858 798983 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :you can't even use firefox without pulse. < 1595570864 434554 :tromp_!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric < 1595570870 584640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Failed to create a virtual MIDI device? As in a synthesizer or something for it to write to? < 1595570921 463363 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :to write to it and make it play sounds < 1595570968 169561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wrote a mini synthesizer and implemented basic MIDI support to use a MIDI keyboard with it. < 1595570976 330025 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :but everything i found made me use jack manually < 1595570988 480499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then I was pretty surprised when I went to a web page while it was running, and the web page outputted MIDI to my synthesizer. < 1595571009 796623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That was pretty surprising! I was trying to figure out what was going on before I realized it was my program. < 1595571038 429397 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :What if you want to use Firefox with no audio? < 1595571068 92323 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :pulse is apparently still required! < 1595571081 406212 :tromp!~tromp@2a02:a210:ca3:2800:3979:8ba0:167b:3ac7 QUIT :Ping timeout: 244 seconds < 1595571148 841663 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595572299 195068 :tromp_!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d QUIT :Remote host closed the connection < 1595572503 804394 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595572576 776766 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595572919 540945 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric < 1595573301 827383 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric > 1595574572 310288 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=76189&oldid=76186 5* 03Salpynx 5* (+33) 10/* I */ forgot to add Isthmus Cyclicus Crypticus < 1595575129 876597 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1595576779 568039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :U+01DA LATIN SMALL ANGRY LETTER U [ǚ] > 1595576991 746618 PRIVMSG #esoteric :14[[07Talk:Minsky Swap14]]4 10 02https://esolangs.org/w/index.php?diff=76190&oldid=76181 5* 03Keymaker 5* (+483) 10Reply. < 1595577223 798285 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595577801 787155 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595577943 859476 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds < 1595578088 600549 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric < 1595579438 180629 :Phantom___Hoover!~phantomho@82.27.195.88 JOIN :#esoteric < 1595579656 931809 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer > 1595580270 219873 PRIVMSG #esoteric :14[[071+14]]4 10 02https://esolangs.org/w/index.php?diff=76191&oldid=76021 5* 03TwilightSparkle 5* (+44) 10 < 1595581441 411757 :kspalaiologos!~kspalaiol@176.221.122.212 JOIN :#esoteric < 1595581538 688676 :b_jonas!~x@catv-176-63-12-76.catv.broadband.hu QUIT :Quit: leaving < 1595582124 637096 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection > 1595582391 49691 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 N10 02https://esolangs.org/w/index.php?oldid=76192 5* 03TwilightSparkle 5* (+1213) 10Created page with "This page contains attempts on minimizing the number of 1+ instructions, similar to [[BF instruction minimalization]]. We also uses the same restrictions that is, there exists..." > 1595582433 93429 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76193&oldid=76192 5* 03TwilightSparkle 5* (-16) 10 < 1595582466 70998 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1595582818 228089 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric > 1595582837 753840 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76194&oldid=76193 5* 03TwilightSparkle 5* (+13) 10 > 1595584123 965519 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76195&oldid=76194 5* 03TwilightSparkle 5* (+91) 10 < 1595584214 624958 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric > 1595584227 301526 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76196&oldid=76195 5* 03TwilightSparkle 5* (+73) 10 > 1595584477 308541 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76197&oldid=76196 5* 03TwilightSparkle 5* (+37) 10 > 1595584958 34319 PRIVMSG #esoteric :14[[071+/Snippets14]]4 10 02https://esolangs.org/w/index.php?diff=76198&oldid=75853 5* 03TwilightSparkle 5* (+94) 10/* Easy */ > 1595585128 860936 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 M10 02https://esolangs.org/w/index.php?diff=76199&oldid=76197 5* 03TwilightSparkle 5* (+16) 10Links > 1595586028 588251 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76200&oldid=76199 5* 03TwilightSparkle 5* (+459) 10 < 1595586886 598979 :craigo!~craigo@144.136.206.168 JOIN :#esoteric > 1595587635 946704 PRIVMSG #esoteric :14[[071+/Minimalization14]]4 10 02https://esolangs.org/w/index.php?diff=76201&oldid=76200 5* 03TwilightSparkle 5* (+308) 10/* Minimalization */ < 1595588416 491056 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1595588567 104271 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1595588588 33376 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1595588883 769686 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595591610 477347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If there are UNSAT certificates in practice, is there such a thing as a QBF certificate? < 1595593356 324353 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I guess so. Not sure they always exist though. What class is QBF in? Are there already undecidable problems there? < 1595593385 460041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's PSPACE-complete. < 1595593411 511022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm curious whether there's anything in practice. Then again, do people even use QBF in practice? < 1595593442 795852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They can probably settle for something lower in the hierarchy for a lot of things. > 1595593457 221736 PRIVMSG #esoteric :14[[07Talk:!lyriclydemoteestablishcommunism!14]]4 10 02https://esolangs.org/w/index.php?diff=76202&oldid=75360 5* 03TwilightSparkle 5* (+102) 10 > 1595593458 566012 PRIVMSG #esoteric :14[[07Rui14]]4 M10 02https://esolangs.org/w/index.php?diff=76203&oldid=76117 5* 03Sinthorion 5* (-2) 10improve formatting < 1595593464 966662 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :Right, so it's closed under complement, I read. < 1595593504 671569 :spruit11!~unknown@86-82-44-193.fixed.kpn.net PRIVMSG #esoteric :I have no idea whether QBF is used in practice. Might also depend on your definition of 'practice'. < 1595594020 426665 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1595594493 510342 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1595595077 957415 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1595595363 692857 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursaga < 1595595376 53176 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric < 1595597075 875566 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595597323 804162 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595597969 656434 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595598049 279804 :MDude!~MDude@74.5.140.76 JOIN :#esoteric < 1595603028 550564 :kspalaiologos!~kspalaiol@176.221.122.212 QUIT :Read error: Connection reset by peer < 1595603046 585379 :kspalaiologos!~kspalaiol@176.221.122.212 JOIN :#esoteric < 1595603058 860118 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :I've had an awesome idea today about osdev in pure brainfuck < 1595603070 871988 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :it's totally doable with just `+-[]<>' < 1595603094 820398 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :my initial idea was, to store an interrupt driver that would watch over tape MMIO regions and issue an interrupt when the conditions are met < 1595603109 418249 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :now, the question arises, how do I execute x86 machine code using brainfuck < 1595603117 513548 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :I have came up with a genius idea of hooking the 0x1Ch interrupt < 1595603125 471312 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :the timer interrupt will call the machine code located on the tape < 1595603145 512186 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :because that's where I'll set the handler to be < 1595603200 681919 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :I can hook interrupts just by performing memory read/write < 1595603252 787771 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :say, tape is located at 0x0000:0x5000 < 1595603264 939227 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :when I boot, I write the driver code to the tape, then rewind back to the start < 1595603286 448425 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :and then I navigate 5000x left and then adjust to entry `0x1Ch' in the interrupt table < 1595603306 613603 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :the problem here is that I need to clear the interrupt flag, otherwise bad things may happen, I haven't found out a way of doing so so I guess I'll just have to rely on the fact that nothing breaks < 1595604091 869515 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :kspalaiologos: I do have a theoretical idea - require a no-op timer handler to be setup, and then place the real one 0x100 bytes away, so you can inc/dec to control timer interrupt enabledness < 1595604108 135028 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :I can't require anything < 1595604112 397922 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :this has to be _pure_ brainfuck < 1595604136 684482 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :you have to have an interpreter which enables interrupts, surely < 1595604239 608450 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :nope, I compile my brainfuck to C < 1595604249 105150 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :I put the tape on 0x0000:0x0500 < 1595604268 559059 :kspalaiologos!~kspalaiol@176.221.122.212 PRIVMSG #esoteric :`+` => `tape[mp]++;` `-` => `tape[mp]--;` etc... < 1595604270 285015 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+`? No such file or directory < 1595605088 862201 :xkapastel!uid17782@gateway/web/irccloud.com/x-jkjsdmwcbuvgfyho JOIN :#esoteric > 1595606465 495405 PRIVMSG #esoteric :14[[07Asm2bf14]]4 M10 02https://esolangs.org/w/index.php?diff=76204&oldid=72347 5* 03Palaiologos 5* (-7) 10 < 1595606686 207404 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1595606991 698897 :b_jonas!~x@catv-176-63-11-226.catv.broadband.hu JOIN :#esoteric < 1595607399 186107 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d QUIT :Remote host closed the connection > 1595607668 89396 PRIVMSG #esoteric :14[[07Minsky Swap14]]4 10 02https://esolangs.org/w/index.php?diff=76205&oldid=76136 5* 03Caenbe 5* (+604) 10/* Computational class */ Added non-TC proof > 1595608366 706207 PRIVMSG #esoteric :14[[07Selmotic14]]4 10 02https://esolangs.org/w/index.php?diff=76206&oldid=76164 5* 03Caenbe 5* (+433) 10/* Consequences */ Changed this section to Computation class and expanded a bit < 1595608875 956383 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1595609500 503572 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric < 1595609813 462205 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d QUIT :Ping timeout: 272 seconds < 1595610330 44978 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1595610572 73743 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric > 1595612451 734001 PRIVMSG #esoteric :14[[07User:Caenbe14]]4 10 02https://esolangs.org/w/index.php?diff=76207&oldid=76163 5* 03Caenbe 5* (+211) 10 < 1595612883 875941 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595614450 785189 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1595617203 780519 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1595617692 953085 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1595618161 429842 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1595618591 198171 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d QUIT :Remote host closed the connection > 1595619457 242964 PRIVMSG #esoteric :14[[07User:Caenbe14]]4 10 02https://esolangs.org/w/index.php?diff=76208&oldid=76207 5* 03Caenbe 5* (-62) 10 < 1595619493 715889 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1595619590 619477 :aaaaaa!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric < 1595619967 774638 :aaaaaa!~ArthurStr@nat-pool-13-124.soborka.net PART :#esoteric < 1595620158 58667 :kspalaiologos!~kspalaiol@176.221.122.212 QUIT :Quit: Leaving < 1595620800 957860 :tromp!~tromp@ip-213-127-104-154.ip.prioritytelecom.net JOIN :#esoteric < 1595621075 69201 :tromp!~tromp@ip-213-127-104-154.ip.prioritytelecom.net QUIT :Ping timeout: 246 seconds < 1595623320 60571 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think that Solar Hijri calendar is good if you will use anno mundi (but a new scientific kind of anno mundi, rather than the old kind) instead of Hegira. < 1595624088 779803 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric < 1595624347 778186 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d QUIT :Ping timeout: 260 seconds < 1595624702 976736 :APic!apic@apic.name QUIT :Ping timeout: 260 seconds < 1595624778 691921 :APic!apic@apic.name JOIN :#esoteric < 1595624902 136268 :tromp!~tromp@2a02:a210:ca3:2800:d4a9:17cf:713:434d JOIN :#esoteric < 1595625115 63876 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1595625712 663010 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection < 1595627204 17400 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric < 1595627626 464863 :xkapastel!uid17782@gateway/web/irccloud.com/x-jkjsdmwcbuvgfyho QUIT :Quit: Connection closed for inactivity < 1595628378 97307 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric < 1595631633 351160 :adu!4c6f63c2@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1595631665 468527 :adu!4c6f63c2@c-76-111-99-194.hsd1.md.comcast.net PRIVMSG #esoteric :is there a channel for grammar? < 1595631785 306173 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1595631789 531458 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't know, but if you have a question about grammar then I suppose you can ask < 1595631804 968613 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1595632008 594777 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1595632416 23428 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1595632492 619929 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1595632652 867793 :xkapastel!uid17782@gateway/web/irccloud.com/x-yeamtdttzykhzlzh JOIN :#esoteric < 1595634026 54378 :xelxebar_!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Quit: ZNC 1.7.2+deb3 - https://znc.in < 1595634043 344861 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1595634530 66685 :adu!4c6f63c2@c-76-111-99-194.hsd1.md.comcast.net QUIT :Ping timeout: 245 seconds