< 1592612053 82328 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1592612249 891767 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1592613063 946219 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :TIL it's possible to make an x86 Linux brainfuck compiler via the same "add this header, replace character X with string Y, add this footer" methodology as for some other esoteric languages < 1592613141 299097 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :t20kdc: well of course. if you allow footers, you can make a "compiler" (that embeds an interpreter) for a lot of things. < 1592613154 447276 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1592613158 198418 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :b_jonas: not even embedding an interpreter, though < 1592613183 571753 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :b_jonas: actual compiler, albeit with slightly odd loop handling < 1592613216 732430 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :sure, in this case you can do that too < 1592613223 484653 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :though you would have to add an upper limit to the code size < 1592613228 587532 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but it can be a large upper limit < 1592613228 698872 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Yes, although presumably it is not optimal, I think > 1592613712 370161 PRIVMSG #esoteric :14[[07Talk:Jumplang14]]4 10 02https://esolangs.org/w/index.php?diff=74061&oldid=73263 5* 03Emerald 5* (+175) 10/* Minimization */ new section < 1592615970 378346 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1592619090 928113 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1592619529 953566 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1592621277 792005 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-dvqknqndubshbtji QUIT :Ping timeout: 260 seconds < 1592621287 247692 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :well, I now have a pet brainfuck-compiler-written-in-brainfuck, though it's not very fast < 1592621327 324650 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :(and by 'pet' I mean 'cute and not very useful', not the device type. target: i386 Linux ELF.) < 1592621380 477068 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :it basically amounts to appending a bunch of premade fragments together, so... < 1592621391 502955 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-hmryebxcdbbogoez JOIN :#esoteric < 1592621430 440052 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :t20kdc: nice. how much does it optimize? < 1592621445 575149 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :b_jonas: literally not at all. 1:1 conversion from instructions to fragments. < 1592621471 937381 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ok < 1592621474 361467 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :still, nice < 1592621708 737992 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :b_jonas: https://20kdc.duckdns.org/bootstrap.c is basically the outline of the compiler, https://20kdc.duckdns.org/kbfc.b is the actual thing, https://20kdc.duckdns.org/kbfc.h is part of the source < 1592621737 708990 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net PRIVMSG #esoteric :it's 4AM, so... night < 1592621794 2568 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1592621970 475158 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Is there a brainfuck compiler to target Glulx? The ordinary Glk output stream should work as long as the output of the program is using ISO-8859-1 character set, with no control codes other than line feed. But, to see what optimizations are possible to store stuff in local and global variables, and other stuff like that. The rest is easily enough; you can optimize multiple + or - signs, or such things like [-] easily enough. < 1592623376 785785 :S_Gautam!uid286066@gateway/web/irccloud.com/x-vqihyagtuszqhasx JOIN :#esoteric < 1592623378 640410 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer < 1592624282 326315 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :darn it, the n key on my keyboard is misbehaving < 1592624292 149889 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I hope it's just a temporary thing < 1592626973 562837 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net JOIN :#esoteric < 1592627761 739291 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Does any emulator (that emulates NES/Famicom, Gameboy, etc) have an option to draw on the screen to cover up part of the display to make the game more difficult? < 1592628204 343669 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Any emulator that supports Lua, I guess < 1592628341 189400 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Was there a particular game you had in mind? < 1592628448 645677 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Pokemon de Panepon; even if the V-HARD mode is too easy. Why is there no X-HARD mode? < 1592628813 110479 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(I do know that there is a hidden mode to increase the maximum speed, and I have activated that. I don't know why that is hidden, though.) < 1592628907 551194 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1592629004 205439 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :(The other possibility would be to give opponent more hit points; do you know how to do that in this game?) < 1592629087 566954 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Ping timeout: 240 seconds > 1592629087 636346 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74062&oldid=73981 5* 03Bigyihsuan 5* (-53) 10version 1.3.0 > 1592629784 846999 PRIVMSG #esoteric :14[[07Talk:GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74063&oldid=74047 5* 03NooneAtAll 5* (+24) 10/* GORBITSA Program Format */ < 1592630236 681225 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1592630450 902235 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net QUIT :Ping timeout: 256 seconds < 1592631141 707312 :S_Gautam!uid286066@gateway/web/irccloud.com/x-vqihyagtuszqhasx QUIT :Quit: Connection closed for inactivity < 1592631204 583344 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric > 1592632473 507502 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dion 5* 10New user account < 1592632497 745365 :S_Gautam!uid286066@gateway/web/irccloud.com/x-wjhnoyzbconuxtfp JOIN :#esoteric < 1592632668 892163 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu > 1592632681 366073 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=74064&oldid=74056 5* 03Dion 5* (+133) 10 < 1592632751 54520 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1592632829 971674 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :" sadly Jelly's escaping syntax blows up exponentially" => that's sad ← nowadays I normally make it a goal of mine to have nestable string literal syntax when I design languages that benefit from string literals < 1592632872 500991 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the crazy thing is that Jelly actually uses “” quotes to delimit strings, but the delimiters have special meanings when they appear inside a string so they can't be nested in the usual way < 1592633319 779234 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: hmm... maybe I should reconsider the esoteric syntax that I was planning to use for the shortcut syntax for printing literal strings in Consumer Society (for debug purposes, interpreters aren't required to print the string, they're only required to recognize the syntax and be able to skip over the string) < 1592633355 67463 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :it blows up exponentially if you try to make a Consumer Society program that prints a Consumer Society program that prints etc < 1592633372 615462 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric : b_jonas: how do you think, is there a better way to escape a character than x ↦ xx, xx ↦ xxx, xxx ↦ xxxx ← this doesn't work for the string delimeter, at least not at the end of the string, unless you have some sort of C-like string concatenation rule in the parser < 1592633377 339110 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :admittedly in that case you could just use ordinary programming to compress the exponential sequence < 1592633384 832355 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because when you see "a""" you don't know whether you're still inside the string or not < 1592633429 865907 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: yeah, I told him and he already admitted that < 1592633442 293367 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1592633451 28955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's what I get for not reading the whole scrollback before commenting < 1592633491 209888 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are there logic languages that are more like SAT than like Prolog? What would they be like? < 1592633495 682373 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :yeah, I do that all the time too < 1592633508 475642 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :shachaf: yes, SAT solvers < 1592633533 998619 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, in C, can't you get linear-growth repeated escaping by using trigraphs? < 1592633552 445350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I mean is that the execution strategy is more like SAT, which is very different from Prolog. < 1592633555 881138 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: you can get linear growth with just "\x5C" < 1592633559 790102 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :and I usually write "\x5C" < 1592633571 27657 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, like SAT solvers. But the actual language is more usable. < 1592633585 729387 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\ escapes to ?\?/ escapes to ??\?/?/ escapes to ???\?/?/?/ and so on < 1592633593 215979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but \x5C is possibly clearer? < 1592633601 431585 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess neither is particularly readable < 1592633604 446935 :user24!~user24@2a02:810a:1440:7304:4d35:f56d:7e27:bc11 JOIN :#esoteric < 1592633621 97391 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :SMT2 appears to be a fairly featureful language < 1592633622 229274 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: the problem is that the easily available escaping function like perl's quotemeta or whatever that thing is in php uses the syntax that blows up exponentially, and that's the function you'll use in a golf language < 1592633626 941029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you can use it in a non-SAT-solving way < 1592633633 778613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the syntax is a little ridiculous but not /too/ ridiculous < 1592633649 254064 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :in a turing-complete language, you always have some way to avoid the exponential blowup < 1592633661 654746 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I actually use "\x5C" most of the time to represent a backslash in my programs < 1592633670 22504 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I hate "\\" < 1592633696 869611 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\x5C is a little less portable-in-theory than ?\?/, isn't it? < 1592633703 715517 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but I only started this a few years ago, and there are some pragmagic reasons for it like windows cmd syntax < 1592633704 799910 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because there's no guarantee that 5C = backslash < 1592633713 369933 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, many recent compilers don't implement trigraphs by default < 1592633723 611479 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, I haven't seen "pragmagic" before but I like it < 1592633725 265959 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: but \x5C is much more portable to things that aren't C with trigraphs (or C++ with trigraph) < 1592633733 849279 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :uh, that was a typo < 1592633740 285234 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I wanted to say pragmatic < 1592633748 125365 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\u005C may be more portable to non-C things < 1592633764 647729 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I thought it was a parallel with "automagic" and was trying to figure out the meaning < 1592633780 275394 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: yeah, but it doesn't work in C or perl or ... let me test bash, I don't know what it implements these days < 1592633795 683146 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :``` echo $'u\x5Cv\u005Cw' < 1592633797 298313 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :u\v\w < 1592633803 141655 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :hmm, it does work in bash < 1592633804 613327 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess "automagic" means "it just works in this context because we put effort into making sure it would work", so "pragmagic" would mean "I do this because it just works in a range of contexts, even without the contexts trying to make it work" < 1592633811 946645 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ok, then it only doesn't work in perl < 1592633821 206813 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` perl -E 'say "\u005C"' < 1592633823 951026 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :005C < 1592633828 429921 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` perl -E 'say "\u{005C}"' < 1592633829 426223 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​{005C} < 1592633837 566169 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` perl -E 'say "\x{005C}"' < 1592633838 622002 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​\ < 1592633839 289902 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: perl's syntax is \x{005C} or \x{5C} < 1592633841 829706 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right < 1592633850 797047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I knew it had a syntax for that, just took me a moment to remember it < 1592633868 995753 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think the "consensus" escaping format is that \u takes four hex digits and \U takes eight < 1592633872 66245 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but in python, it's \x5C or \u005C , either are the same < 1592633872 613724 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although \U is less widely implemented < 1592633882 836901 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: yes, it spread from Java < 1592633887 74769 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and in a way, the first two of those eight digits are pointless < 1592633892 451074 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :Java is influential < 1592633903 588702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure Java supports \U, I thought you were supposed to \u out a surrogate pair < 1592633913 75478 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I admit it's never come up < 1592633919 600680 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: the first two of those eight digits is future compatibility for when unicode decides to grow its code space again < 1592633939 187878 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I wonder how long it'll take before Unicode doesn't have enough codepoints < 1592633954 11328 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :and yes, I know that that's hard because UTF-16 is designed around the current limit < 1592633984 41476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :UTF-16 is dying out in non-Microsoft contexts < 1592633987 806186 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :albeit slowly < 1592634005 394428 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I seem to remember there being an era when there was a Private Use Area in the eight-hex-digit region < 1592634007 486437 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, and Funciton, but I doubt the Unicode Consortium cares much about that < 1592634022 3768 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :isn't there an entire astral plane that's private use? < 1592634022 115324 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Maybe SMT2 is an answer, though I kind of doubt you'd want to do programming in it. < 1592634034 256120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe the answer is a regular old language that generates SMT instances. < 1592634037 651584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: I think I tried once, although I also think I changed my mind pretty quickly < 1592634049 773798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I need to learn how SMT solvers work. < 1592634062 630116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have a vague idea of how DPLL(T) works now but there a lot of other things going on. < 1592634076 585829 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you mean internally, or from the user's point of view? < 1592634082 916732 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I get the impression that there's quite a range of different internal algorithms < 1592634112 507017 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: ok, but does that help? microsoft isn't dying out, and I'm using utf16 because some windows program (which has some half-assed unicode support, though I can't understand why because apparently people in china just use illegal copies without paying the license) only accepts utf16-le as input < 1592634126 464230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean internally. < 1592634142 794715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you mean a range of theories or a range of implementation strategies for the non-theory part of the solver? < 1592634145 662002 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I briefly wondered once if someone would invent a conlang that uses a script with exactly 65537 invented characters, just so that it can't fit in the Plane 15 PUA < 1592634163 129632 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know there's DPLL(T), and something called MCSAT which is different, but I thought the general idea didn't vary that much. < 1592634192 6648 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :Arcorann: I think that plane only has 65534 usable code points, but there's a second smaller private use area so I don't think 65537 is enough < 1592634216 534605 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I ended up checking and found that plane 16 is also a PUA < 1592634225 168136 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a small PUA in the BMP, too < 1592634244 18041 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :oh, there are two planes? < 1592634264 414196 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I thought it was one plane plus a small one in the material plane < 1592634278 907467 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: both the SMT solvers I've used appear not to care much about which theory is selected, for those solvers the theory selection has a syntactic effect on what programs you can write < 1592634288 946884 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but the internal algorithms look at what you actually wrote, not the theory you selected < 1592634303 606715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which sorts of theories did you use? < 1592634308 114827 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(And which solvers?) < 1592634349 494930 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I started using z3 because it was the best-known, and moved onto Yices because it was much faster on the programs i was writing < 1592634384 369240 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I looked up the PUAs in no-longer-valid regions, they were 0xE00000 to 0xFFFFFF and 0x60000000 to 0x7FFFFFFF < 1592634390 794344 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I experimented with a range of theories, mostly involving arithmetic on fixed-bitwidth integers plus something vaguely array-like < 1592634450 296761 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1592634459 351886 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :Arcorann: nice. is there an infinite set of private use codepoints if you allow more than 32 bits? < 1592634462 478640 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1592634499 803915 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :come to think of it, it's actually fairly easy to extend UTF-16 to more than 21 bits < 1592634512 197909 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :just write two or more high surrogates followed by a low surrogate < 1592634544 603824 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: that would lose some of the nice properties, eg. now you could have a false match if you tried to do a substring search codepoint-wise < 1592634553 250739 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this has no clashes with existing UTF-16; I think it sorts correctly too < 1592634556 739640 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but a more tricky scheme that keeps this is possible < 1592634571 42322 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :http://www.open-std.org/CEN/TC304/guidecharactersets/guideannexb.html <-- original description of UCS < 1592634577 35038 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I agree that it has substring match issues, although there's a simple test to see if they occurred < 1592634583 527108 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but utf-8 extends much more easily < 1592634608 902839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've been reading some of the Yices code. < 1592634610 947252 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's great. < 1592634631 175057 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: isn't there a limit to how far UTF-8 extends while keeping the nice properties? < 1592634642 593526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't the existing UTF-16 self-synchronizing in a way that this extension isn't? < 1592634652 847385 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :using FE as an initial byte works fine, using FF is problematic if you want to be able to extend it < 1592634654 763001 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: no > 1592634661 198799 PRIVMSG #esoteric :14[[07MAWP14]]4 N10 02https://esolangs.org/w/index.php?oldid=74065 5* 03Dion 5* (+1179) 10Created page with "'''MAWP''' is a stack-based [[esoteric programming language]] that was made in 2020. ==Language Overview== '''MAWP''' works on an integer stack, starting with an initial va..." < 1592634663 530906 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: at least not the nice properties that I care about < 1592634682 114375 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: it breaks the property that the first byte tells you how long the representation is, but you can't keep that forever < 1592634693 177125 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :it still keeps all the substring and sorting properties < 1592634700 792870 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: what about the property that no character is a substring of any other character? < 1592634742 809741 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :once you reach FF as a prefix, what's new about the second byte that makes it distinguishable from the first byte of some other character? < 1592634786 251045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you've already used up your entire stock of distinguished bytes < 1592634802 956639 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: that property is still kept < 1592634807 627803 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how? < 1592634816 999871 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: wait, I have this written up somewhere I think < 1592634868 325084 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :darn, I may have deleted it < 1592634928 339019 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :I once pondered defining more surrogates in one of the higher planes, so that six bytes would be used above plane 16 > 1592634939 644552 PRIVMSG #esoteric :14[[07MAWP14]]4 10 02https://esolangs.org/w/index.php?diff=74066&oldid=74065 5* 03Dion 5* (+371) 10 < 1592634941 678302 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :Arcorann: yes, that would probably be the sanest solution < 1592634943 645794 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also, a lot of SMT solvers support quantifiers? < 1592634951 754587 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: with limits, yes < 1592634958 303038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I read some things about that but I'm still not really sure how it works. < 1592634965 194756 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're incredibly useful, but also hard to implement efficiently < 1592634979 597447 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so there are normally restrictions on them based on what the internal algorithm supports < 1592635044 430629 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :Though thinking about it again that solution would actually be twelve bytes (six BMP surrogates to express three high plane surrogates to express one 31-bit codepoint) < 1592635103 436336 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can't you just use an astral surrogate followed by two "ordinary" low surrogates? < 1592635109 199002 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :UTF-8-style < 1592635123 406520 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: anyway, the encoding above asiic, basically works like this. take the binary form of your codepoint, pad it so the length is 11 plus a multiple of 5 bits. prepend a 0 bit and then prepend a 1 bit for each group of 5 bits that it's longer than 11 bits. then break the resulting bit string to 6 bit chunks (since the above guarantees the length is a multiple of six bits), prepend 11 to the first one < 1592635129 935990 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :and 10 to the rest of them < 1592635154 631933 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: you can see how to undo this procedure: strip the first two bits of each byte, and you get a unary encoding of the length, then a 0 bit, then the bits of the code point < 1592635177 186829 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :hi! < 1592635179 34172 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :you have to be careful with endianness and rejecting overlong encodings of course < 1592635190 988138 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rain1: hi < 1592635194 581946 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but the unary encoding of the length ensures that the substring property is kept < 1592635205 488594 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: oh, I see, the continuation bytes of the length start 10 < 1592635216 842909 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :there's nothing really special about FD or FE or FF < 1592635237 968510 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: well, they would, but not many < 1592635253 257500 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :not much software actually supports this. perl does, I think, but only up to 2**64 < 1592635277 140196 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :most software just rejects anything over 2**31 or anything over 0x10FFFF < 1592635285 169834 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :which is fine for non-esoteric applications of course < 1592635290 922979 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I was trying to determine how you distinguished a length continuation byte from a starting byte < 1592635296 586338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't think of encoding the length within continuation bytes < 1592635298 306243 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :as long as you don't mess it up in a way that leads to security vulnerabilities < 1592635303 641882 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, ordinary continuation bytes < 1592635340 947886 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, "0x10FFFF" is such a boring way to say it, why not write out 1114111? it's much prettier-looking and shorter < 1592635358 874175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it hides the structure of the number. < 1592635421 635982 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :17×2¹⁶-1 is the same length and more descriptive structurally < 1592635436 338618 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: yeah, the first byte that's neither FF nor BF determines the length if your input is valid > 1592635479 295672 PRIVMSG #esoteric :14[[07MAWP14]]4 10 02https://esolangs.org/w/index.php?diff=74067&oldid=74066 5* 03Dion 5* (+2502) 10 < 1592635510 510059 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: because I once spent hours debugging a segfault from writing 8096 instead of 8196, and from that point on I'm careful to use hexadecimal numerals for numbers like this, because computers make fewer mistakes than I do < 1592635520 247353 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/UTF-8#History < 1592635536 450535 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :hexadecimal numerals or relying on constant folding < 1592635542 40168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :2¹³ is 8192, although you might of course have wanted 2¹³+4 > 1592635543 713358 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=74068&oldid=74052 5* 03Dion 5* (+11) 10 < 1592635583 448786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does seem helpful to memorize constants like 65536 or 4294967296 or 1103515245, though < 1592635590 886657 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I'm not sure what exact number I wanted, it's for the ioctl to load VGA text mode font < 1592635599 902084 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :memorizing them to recognize them, sure < 1592635604 452058 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592635609 363251 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but I don't want to write them < 1592635615 581078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think (16+1)¹⁶-1 is even more descriptive. < 1592635622 111315 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :admittedly I just wrote 65534 above, so I do sometimes write them < 1592635628 165116 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't have 2⁶⁴ memorised < 1592635631 585614 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps (2^4+1)^16-1, or even (2^4+1)^(2^4)-1 < 1592635649 37013 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :shachaf: um, but it's neither < 1592635660 520965 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :16 wasn't chosen due to being 2⁴, though < 1592635662 198608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, so it isn't. < 1592635667 816206 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :shachaf: it's 17*2**16-O(1) < 1592635683 627147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The number I wrote is obviously wrong. < 1592635697 968 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :16 wasn't chosen due to being 2⁴ but it was surely chosen due to being a power of 2. < 1592635750 645413 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :shachaf: hmm, that's a good question, how much of an accident it is that the 8-bit bytes that won out over 9-bit and 6-bit bytes uses 8 which is a power of 2? < 1592635770 277621 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :it's certainly convenient for some things, but I don't know if it could have historically been different < 1592635801 968205 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Ping timeout: 264 seconds < 1592635807 352419 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :could we have ended up in an alternate univerese where everything is 9 bits or 18 bits or 36 bits or 72 bits long? < 1592635834 103736 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in fact, the extra 16 planes don't have anything to do with the number 16, the number of planes was chosen so that there would be (2¹⁰×2¹⁰) bytes in them, 16 just happens to 2²⁰÷2¹⁶ < 1592635834 395385 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :or where everything is 6 bits or 12 bits or 24 bits or 48 bits or 96 bits long? < 1592635846 570737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a power of two because it's the ratio between two powers of 2 < 1592635889 359262 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nine-bit bytes were used seriously for quite a while < 1592635897 807887 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :yes, and so were 12-bit words < 1592635913 359858 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've worked on a computer that used 14-bit words in ROM (but 8-bit bytes in RAM) < 1592635930 451659 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :that's why I mentioned those specific numbers, not 7-bit bytes (which were mostly used in communication, not in computations), or trits (which were used in some experimental computers < 1592635934 594681 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :) < 1592635948 652236 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: oh yeah, microcontrollers sometimes do that thing < 1592635975 587637 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think 14 was chosen because it's a good size for fixed-width instructions on a microcontroller, and it also lets you store strings in ROM two-per-character (assuming ASCII) < 1592635992 654815 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, two-characters-per-word < 1592636018 698530 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :yeah, something like that. but if those things spread, we'd still end up having quantities that are power of two bit sized. < 1592636054 339624 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :it's the multiples of 9 bit and multiples of 6 bits that were used as word sizes that I'm mostly concerned about, though admittedly I don't know too much about retrocomputing < 1592636087 984191 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, the most relevant non-power-of-two number I see is 59049, and that's only because it's used by both TriINTERCAL and Malbolge as the number of possible 10-trit values < 1592636128 973638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :3¹⁰ seems to have been chosen as the standard size of a ternary word in esoprogramming so that it can be simulated using a binary computer with 16-bit words < 1592636138 753470 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :yeah, but those are both made as deliberately esoteric choices < 1592636151 743404 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :TriINTERCAL also supports a 3²⁰-bit word; I think the Malbolge version that does that is called Malbolge-20 < 1592636161 830607 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :they use base 3 because non-eso doesn't use base 3 < 1592636162 495289 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which should really be properly specified this year, for the naming pun < 1592636194 972093 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ais523: you have to talk to kspalaiologos for that one < 1592636209 969045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, it's on Esolang already < 1592636219 325100 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :dating from 2017 < 1592636230 541033 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :but I fear it'll faill into that limbo like the befunge extensions that technically exist but people don't use it < 1592636266 885597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :kspalaiologos uses it < 1592636273 621822 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :oh wow < 1592636283 492280 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :nice < 1592636293 249302 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't get at the spec, though, because the domain is using a security certificate from a different domain < 1592636296 995385 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :let me try the web archive < 1592636315 708828 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :you can't get at the spec? is this a good time to ask if the C-intercal docs are still unreachable? < 1592636351 263069 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're reachable in a convoluted way, because the source repository from them is online somewhere > 1592636354 318913 PRIVMSG #esoteric :14[[07MAWP14]]4 10 02https://esolangs.org/w/index.php?diff=74069&oldid=74067 5* 03Dion 5* (+14) 10 < 1592636378 26338 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ok < 1592636429 44175 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :if you find that, please put a link to the article on esolangs.org < 1592636455 624497 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :not that I plan to do anything interesting with intercal < 1592636465 443487 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I'm more interested about your less esoteric projects < 1592636526 664481 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :(I guess that's obvious, I asked about ayacc and nethack4 and scapegoat and that balanced tree library) < 1592636527 739511 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1592636543 457298 :tromp!~tromp@2a02:a210:ca3:2800:552:cfdf:81ab:e29e JOIN :#esoteric > 1592636589 993262 PRIVMSG #esoteric :14[[07C-INTERCAL14]]4 10 02https://esolangs.org/w/index.php?diff=74070&oldid=65534 5* 03Ais523 5* (+263) 10/* External resources */ link my mirror < 1592636622 462821 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :thanks < 1592636961 576249 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I started mirroring it when all the other repos disappeared < 1592636965 970854 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but forgot to tell anyone < 1592636979 276786 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's the only place I commit to nowadays, because there isn't anywhere else to commit to < 1592637074 972147 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I see < 1592637094 25378 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :the tree library doesn't exist yet, right? < 1592637107 151863 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :you'd probably have told me if it existed < 1592637117 897832 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I haven't worked on it for ages < 1592637128 569718 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :ok < 1592637414 531957 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds > 1592637922 768491 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74071&oldid=73993 5* 03DmilkaSTD 5* (+12) 10'for' plans > 1592637990 157847 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74072&oldid=74071 5* 03DmilkaSTD 5* (+24) 10This will be hard to maintain... < 1592638299 568681 :FreeFull!~freefull@defocus/sausage-lover QUIT : > 1592638337 480246 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74073&oldid=74072 5* 03DmilkaSTD 5* (+31) 10literally i dont want to make the compileeeeeeeeeeeeeeeeeeer :( < 1592639077 962413 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1592639144 962788 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1592640973 26197 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Georgelam6 5* 10New user account < 1592642023 571360 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592642214 416853 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Ping timeout: 240 seconds < 1592643099 849532 :Sgeo_!~Sgeo@ool-18b982ad.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1592643112 469054 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1592643468 315067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :On this SAT instance (pigeon-hole/hole10.cnf), my SAT solver takes 1.5s, and minisat takes 92.5s (by default) and 8s (when I disable restarts). > 1592644633 767391 PRIVMSG #esoteric :14[[07Talk:GORBITSA14]]4 M10 02https://esolangs.org/w/index.php?diff=74074&oldid=74063 5* 03Ais523 5* (-23) 10fix talk page formatting > 1592644722 95925 PRIVMSG #esoteric :14[[07Talk:GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74075&oldid=74074 5* 03Ais523 5* (-1) 10double rv; actually, the formatting was correct in the first place > 1592645614 481631 PRIVMSG #esoteric :14[[07BF-ASM:814]]4 M10 02https://esolangs.org/w/index.php?diff=74076&oldid=74073 5* 03DmilkaSTD 5* (+74) 10this will be so hard to maintain... ... ... < 1592645904 484696 :arseniiv!~arseniiv@136.169.210.76 JOIN :#esoteric < 1592646141 594250 :S_Gautam!uid286066@gateway/web/irccloud.com/x-wjhnoyzbconuxtfp QUIT :Quit: Connection closed for inactivity > 1592647042 214300 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74077&oldid=74059 5* 03Geek Joystick 5* (-13) 10/* Implementations */ > 1592647065 668322 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74078&oldid=74077 5* 03Geek Joystick 5* (+13) 10/* Implementations */ > 1592648628 635336 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=74079&oldid=74064 5* 03Ais523 5* (+60) 10looks like cloud-to-butt is messing up some people's attempt to introduce themselves; it's probably good that that is prohibited, but we should give a clue as to what's going on < 1592648648 458879 :arseniiv!~arseniiv@136.169.210.76 QUIT :Ping timeout: 258 seconds < 1592649350 886724 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric < 1592649808 968213 :arseniiv!~arseniiv@136.169.210.76 JOIN :#esoteric < 1592650293 462989 :arseniiv!~arseniiv@136.169.210.76 PRIVMSG #esoteric :what’s good about myopia is that you can be absolutely sure no part of your brain read a spoiler if you moved back from the screen quickly enough < 1592650958 419141 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1592652620 488611 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1592652719 877987 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1592652787 991283 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1592654501 223418 :rain1!~rain1@unaffiliated/rain1 QUIT :Quit: Leaving > 1592656510 826202 PRIVMSG #esoteric :14[[07MAWP14]]4 M10 02https://esolangs.org/w/index.php?diff=74080&oldid=74069 5* 03PythonshellDebugwindow 5* (+617) 10/* Computational class */ comp class + cats > 1592656549 158981 PRIVMSG #esoteric :14[[07MAWP14]]4 M10 02https://esolangs.org/w/index.php?diff=74081&oldid=74080 5* 03PythonshellDebugwindow 5* (-1) 10/* Language Overview */ remove -> pop > 1592657538 819522 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74082&oldid=73856 5* 03PythonshellDebugwindow 5* (+21) 10/* Commands */ > 1592657548 961040 PRIVMSG #esoteric :14[[07Talk:Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74083&oldid=74061 5* 03PythonshellDebugwindow 5* (+197) 10/* Minimization */ > 1592657685 481525 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74084&oldid=74082 5* 03PythonshellDebugwindow 5* (-3) 10/* Commands */ < 1592657877 377906 :rain1!~rain1@unaffiliated/rain1 JOIN :#esoteric > 1592657920 949869 PRIVMSG #esoteric :14[[07Turing-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=74085&oldid=68174 5* 03PythonshellDebugwindow 5* (+52) 10CATS > 1592658216 846059 PRIVMSG #esoteric :14[[07Jumpmin14]]4 N10 02https://esolangs.org/w/index.php?oldid=74086 5* 03PythonshellDebugwindow 5* (+3341) 10Minimalization of Jumplang > 1592658235 962655 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74087&oldid=74084 5* 03PythonshellDebugwindow 5* (-29) 10/* Examples */ rm duplicat > 1592658380 222330 PRIVMSG #esoteric :14[[07Jumpmin14]]4 M10 02https://esolangs.org/w/index.php?diff=74088&oldid=74086 5* 03PythonshellDebugwindow 5* (+302) 10/* Further development */ > 1592658400 727719 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74089&oldid=74087 5* 03PythonshellDebugwindow 5* (-308) 10/* Minimization */ > 1592658429 957612 PRIVMSG #esoteric :14[[07Jumplang14]]4 M10 02https://esolangs.org/w/index.php?diff=74090&oldid=74089 5* 03PythonshellDebugwindow 5* (+58) 10/* See also */ > 1592658458 110891 PRIVMSG #esoteric :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=74091&oldid=74068 5* 03PythonshellDebugwindow 5* (+14) 10/* J */ + [[Jumpmin]] > 1592658498 595820 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74092&oldid=73952 5* 03PythonshellDebugwindow 5* (+55) 10/* Languages */ > 1592658549 806258 PRIVMSG #esoteric :14[[07Vandevelo14]]4 M10 02https://esolangs.org/w/index.php?diff=74093&oldid=73949 5* 03PythonshellDebugwindow 5* (+13) 10/* Special variables */ > 1592658579 250062 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 N10 02https://esolangs.org/w/index.php?oldid=74094 5* 03Osmarks 5* (+149) 10Created page with "{{Deletedpage}} {{PageWIP}} {{Wrongtitle}} {{User:Sinthorion}} {{Spoiler|{{Programming Language}}}} {{:Joke language list}} {{Special:RecentChanges}}" > 1592658623 602475 PRIVMSG #esoteric :14[[07Vandevelo14]]4 M10 02https://esolangs.org/w/index.php?diff=74095&oldid=74093 5* 03PythonshellDebugwindow 5* (+127) 10/* Expressions */ > 1592658742 660246 PRIVMSG #esoteric :14[[07Visify14]]4 M10 02https://esolangs.org/w/index.php?diff=74096&oldid=73828 5* 03PythonshellDebugwindow 5* (+141) 10/* Syntax */ Comments > 1592658811 179272 PRIVMSG #esoteric :14[[07Visify14]]4 M10 02https://esolangs.org/w/index.php?diff=74097&oldid=74096 5* 03PythonshellDebugwindow 5* (+153) 10/* Arguments */ how did I forget $x and $y? > 1592658893 260938 PRIVMSG #esoteric :14[[07Test14]]4 N10 02https://esolangs.org/w/index.php?oldid=74098 5* 03Osmarks 5* (+0) 10Osmarks created the page [[Test]] using a non-default content model "JavaScript": Testing > 1592658893 269185 PRIVMSG #esoteric :14[[07Special:Log/contentmodel14]]4 new10 02 5* 03Osmarks 5* 10Osmarks created the page [[02Test10]] using a non-default content model "JavaScript": Testing > 1592658910 896926 PRIVMSG #esoteric :14[[07Test14]]4 10 02https://esolangs.org/w/index.php?diff=74099&oldid=74098 5* 03Osmarks 5* (+30) 10 > 1592658992 731729 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03Osmarks 5* 10moved [[02Test10]] to [[JS content model test]] > 1592659167 341615 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74102&oldid=74078 5* 03ZippyMagician 5* (-47) 10Memory starts at 0 < 1592659717 232694 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net PRIVMSG #esoteric :https://everything2.com/title/The%2520Teach%2520Yourself%2520to%2520be%2520a%2520Dummy%2520in%252024%2520Hours%2520Bible <-- I wonder if it's possible to invent a language where this is actually valid code < 1592659811 981708 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :now i want that book < 1592661071 769328 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I don't need it now, I'm just curious, does anyone have a backup of the database of New inverse symbolic calculator (ISC, Plouffe's inverter, real number search) "https://isc.carma.newcastle.edu.au/" ? < 1592661453 20124 :nfd9001!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1592661620 593111 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net QUIT :Ping timeout: 258 seconds > 1592662577 463072 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74103&oldid=74102 5* 03Geek Joystick 5* (+200) 10/* Programs */ > 1592662591 793080 PRIVMSG #esoteric :14[[07All Turing-complete languages are brainfuck derivatives14]]4 N10 02https://esolangs.org/w/index.php?oldid=74104 5* 03PythonshellDebugwindow 5* (+2459) 10Created page with "'''All Turing-complete languages are brainfuck derivatives''' is a family of [[esoteric programming language]]s and [[esoteric subset]]s first realized by User:PythonshellDe..." > 1592662653 238969 PRIVMSG #esoteric :14[[07Category:Esoteric subset14]]4 M10 02https://esolangs.org/w/index.php?diff=74105&oldid=43253 5* 03PythonshellDebugwindow 5* (+24) 10cat > 1592662931 499321 PRIVMSG #esoteric :14[[07All Turing-complete languages are brainfuck derivatives14]]4 M10 02https://esolangs.org/w/index.php?diff=74106&oldid=74104 5* 03PythonshellDebugwindow 5* (+88) 10 > 1592662962 293465 PRIVMSG #esoteric :14[[07All Turing-complete languages are brainfuck derivatives14]]4 M10 02https://esolangs.org/w/index.php?diff=74107&oldid=74106 5* 03PythonshellDebugwindow 5* (-2) 10/* Subset details */ > 1592662993 148794 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03PythonshellDebugwindow 5* 10moved [[02All Turing-complete languages are brainfuck derivatives10]] to [[All Turing-complete languages are brainfuck equivalents]] > 1592663003 36269 PRIVMSG #esoteric :14[[07All Turing-complete languages are brainfuck equivalents14]]4 M10 02https://esolangs.org/w/index.php?diff=74110&oldid=74108 5* 03PythonshellDebugwindow 5* (+0) 10 > 1592663049 853269 PRIVMSG #esoteric :14[[07User:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=74111&oldid=74092 5* 03PythonshellDebugwindow 5* (+142) 10/* Languages */ > 1592663135 255702 PRIVMSG #esoteric :14[[07Int**14]]4 M10 02https://esolangs.org/w/index.php?diff=74112&oldid=72742 5* 03PythonshellDebugwindow 5* (-2) 10 > 1592663180 628576 PRIVMSG #esoteric :14[[07Int**14]]4 M10 02https://esolangs.org/w/index.php?diff=74113&oldid=74112 5* 03PythonshellDebugwindow 5* (+33) 10/* Interpreters */ How can this be Uncomputable ''and'' Implemented? < 1592663569 285614 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :0.44721359549995793928183473374625524709 what number is htis? < 1592663674 573403 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo '1/sqrt(5)' | bc -l < 1592663675 803302 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​.44721359549995793928 < 1592663935 261411 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` dc -e '40k 1 5v/n' # I keep thinking I should use dc over bc more, but I keep forgetting how < 1592663936 301757 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​.4472135954999579392818347337462552470881 > 1592664094 764254 PRIVMSG #esoteric :14[[07Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74114&oldid=70723 5* 03PythonshellDebugwindow 5* (+120) 10cats > 1592664204 498042 PRIVMSG #esoteric :14[[07Unibrain14]]4 M10 02https://esolangs.org/w/index.php?diff=74115&oldid=43341 5* 03PythonshellDebugwindow 5* (+27) 10/* Related Languages */ ''cat?'' < 1592665414 430624 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1592665879 872744 :ArthurStrong!~ArthurStr@nat-pool-13-124.soborka.net JOIN :#esoteric > 1592666475 706535 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 037n7o 5* 10New user account > 1592666720 755648 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=74116&oldid=74079 5* 037n7o 5* (+160) 10/* Introductions */ > 1592666825 174038 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dominic Zdan 5* 10New user account < 1592666828 870348 :Arcorann!~awych@121-200-6-58.79c806.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer > 1592667225 406772 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=74117&oldid=74116 5* 03Dominic Zdan 5* (+112) 10/* Introductions */ > 1592667341 323050 PRIVMSG #esoteric :14[[07PythonshellDebugwindow/Rewriting Language14]]4 M10 02https://esolangs.org/w/index.php?diff=74118&oldid=73468 5* 03PythonshellDebugwindow 5* (+141) 10 < 1592667343 900997 :user24!~user24@2a02:810a:1440:7304:4d35:f56d:7e27:bc11 QUIT :Remote host closed the connection > 1592667427 301915 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74119&oldid=74062 5* 03Bigyihsuan 5* (+107) 10/* Plosives: Stack Operations */ > 1592667438 214935 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74120&oldid=74119 5* 03Bigyihsuan 5* (+0) 10/* Plosives: Stack Operations */ > 1592668870 752260 PRIVMSG #esoteric :14[[07JS content model test14]]4 M10 02https://esolangs.org/w/index.php?diff=74121&oldid=74100 5* 03PythonshellDebugwindow 5* (+57) 10 > 1592669068 26039 PRIVMSG #esoteric :14[[07Unified HQ9+14]]4 M10 02https://esolangs.org/w/index.php?diff=74122&oldid=71398 5* 03PythonshellDebugwindow 5* (-23) 10import unpipe; unpipe.unpipe("User") > 1592669300 15686 PRIVMSG #esoteric :14[[07Embedded HQ9+14]]4 M10 02https://esolangs.org/w/index.php?diff=74123&oldid=68894 5* 03PythonshellDebugwindow 5* (+23) 10joke langs == langs > 1592669349 487158 PRIVMSG #esoteric :14[[07Letters++14]]4 M10 02https://esolangs.org/w/index.php?diff=74124&oldid=66471 5* 03PythonshellDebugwindow 5* (-24) 10wip > 1592670651 277434 PRIVMSG #esoteric :14[[07Funciton/Quine14]]4 M10 02https://esolangs.org/w/index.php?diff=74125&oldid=72814 5* 03PythonshellDebugwindow 5* (+23) 10 > 1592670722 316979 PRIVMSG #esoteric :14[[07LisL/examples14]]4 M10 02https://esolangs.org/w/index.php?diff=74126&oldid=73786 5* 03PythonshellDebugwindow 5* (-5) 10page->parent == nullptr > 1592671012 689400 PRIVMSG #esoteric :14[[07Register Automaton14]]4 M10 02https://esolangs.org/w/index.php?diff=74127&oldid=68190 5* 03PythonshellDebugwindow 5* (+122) 10 > 1592671100 22819 PRIVMSG #esoteric :14[[07Minscode14]]4 M10 02https://esolangs.org/w/index.php?diff=74128&oldid=57111 5* 03PythonshellDebugwindow 5* (+10) 10 > 1592671119 254053 PRIVMSG #esoteric :14[[07Minscode14]]4 M10 02https://esolangs.org/w/index.php?diff=74129&oldid=74128 5* 03PythonshellDebugwindow 5* (-4) 10/* Instructions */ > 1592671128 98686 PRIVMSG #esoteric :14[[07Minscode14]]4 M10 02https://esolangs.org/w/index.php?diff=74130&oldid=74129 5* 03PythonshellDebugwindow 5* (+0) 10/* Instructions */ > 1592673492 440976 PRIVMSG #esoteric :14[[07Brain14]]4 M10 02https://esolangs.org/w/index.php?diff=74131&oldid=57136 5* 03PythonshellDebugwindow 5* (+191) 10/* External Resources */ cats < 1592675077 3751 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1592676871 387522 PRIVMSG #esoteric :14[[07QUATRE-CALC14]]4 M10 02https://esolangs.org/w/index.php?diff=74132&oldid=35081 5* 03PythonshellDebugwindow 5* (+50) 10cats > 1592677297 197227 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74133&oldid=74103 5* 03ZippyMagician 5* (+471) 10Update self-interpreter > 1592677571 499263 PRIVMSG #esoteric :14[[07GORBITSA14]]4 10 02https://esolangs.org/w/index.php?diff=74134&oldid=74133 5* 03ZippyMagician 5* (+10) 10/* Self Interpreter (by User:ZippyMagician) */ > 1592677775 522755 PRIVMSG #esoteric :14[[07MyOwnLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=74135&oldid=66742 5* 03PythonshellDebugwindow 5* (+322) 10 < 1592678763 453297 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric > 1592680309 665005 PRIVMSG #esoteric :14[[07MyOwnLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=74136&oldid=74135 5* 03PythonshellDebugwindow 5* (-27) 10/* Interpreter in Python 3 */ > 1592680358 434644 PRIVMSG #esoteric :14[[07Nairb14]]4 M10 02https://esolangs.org/w/index.php?diff=74137&oldid=71194 5* 03PythonshellDebugwindow 5* (-1) 10 < 1592680365 196026 :LKoen!~LKoen___@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Quit: Leaving > 1592680411 167607 PRIVMSG #esoteric :14[[07ShadyAsFuck14]]4 M10 02https://esolangs.org/w/index.php?diff=74138&oldid=53873 5* 03PythonshellDebugwindow 5* (+2) 10 < 1592680992 392164 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1592685002 725841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have become a three-star programmer. < 1592685135 84165 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :why not become a rockstar developer? < 1592685351 490673 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net PRIVMSG #esoteric :out of how many stars? > 1592686023 624250 PRIVMSG #esoteric :14[[07International Phonetic Esoteric Language14]]4 10 02https://esolangs.org/w/index.php?diff=74139&oldid=74120 5* 03Bigyihsuan 5* (+3) 10/* Back Fricatives, Taps/Flaps, Trills: List and String operations */ < 1592686296 82845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think any number of stars your compiler allows. < 1592686313 685446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this case I wrote some function f(int *argc, char ***argv) < 1592686330 3900 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( is it a regular expression compiler ) < 1592686437 354522 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I think of it backwards. if I write a three-star variable, it's often a mistake, and I shouldn't. < 1592686462 507043 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :two stars is fine, I have to use that often < 1592686532 707188 :int-e!~noone@int-e.eu PRIVMSG #esoteric :this is not proper software engineering < 1592686556 383387 :int-e!~noone@int-e.eu PRIVMSG #esoteric :any problem can be solved by an additional level of indirection, which will require an additional star ;-) < 1592686596 673920 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Now who wants to be an omega-star programmer? < 1592686626 851556 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :I have also used three starts sometimes, but it is rare; usually it isn't helpful, but sometimes it is. < 1592686707 564288 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :int-e: no, it often won't require an additional star < 1592686723 861070 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: you're too serious < 1592686734 760251 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :maybe < 1592686898 50600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you want to rapidly increase your number of stars, I recommend function pointers. < 1592686965 541616 :int-e!~noone@int-e.eu PRIVMSG #esoteric :moving closure to stardom < 1592687030 602498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I got CDCL working (?) in my SAT solver yesterday. < 1592687047 520667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, I already had clause learning, but I added a really primitive form of clause deletion, so now it's actually practical. > 1592687049 947937 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=74140&oldid=72880 5* 03Bigyihsuan 5* (+1468) 10 < 1592687173 731972 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :What will you use CDCL for? < 1592687267 444405 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :What was CDCL again? < 1592687271 103886 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :
ACTION googles
< 1592687276 917230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unknown. < 1592687288 773852 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Oh, right. < 1592687314 469728 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1592687320 347757 :int-e!~noone@int-e.eu PRIVMSG #esoteric :spruit11: heh, didn't you implement your own SAT solver? < 1592687326 78175 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or am I mixing up people < 1592687368 299615 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Unforunately I'm prone to doing that. < 1592687420 855915 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I implemented sat solver < 1592687424 456854 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I did, but I don't think you mean me. < 1592687429 14746 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Right. < 1592687464 184948 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I added automatic usage message generation to my option parser: https://shachaf.net/tmp/mop/mop.h < 1592687471 28156 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :wow, we have a lot of people here who have implemented sat solvers < 1592687471 129540 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: I'm certain I didn't mean you. < 1592687475 448698 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So convenient. I'm not sure it's worth it. < 1592687499 714600 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :shachaf: as long as you allow the caller to override it, it's fine > 1592687500 998301 PRIVMSG #esoteric :14[[07All Turing-complete languages are brainfuck equivalents14]]4 10 02https://esolangs.org/w/index.php?diff=74141&oldid=74110 5* 0320kdc 5* (+1540) 10/* Example members (languages and subsets) */ well, if ... any ... substitution is valid... < 1592687501 688588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Nor shachaf, there was somebody else. < 1592687519 765153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Well, the caller doesn't have to call print_usage at all. < 1592687527 448536 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I made a SAT solver once and then one inspired on NAND reasoning. < 1592687528 955102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or they can process the list of options themselves. < 1592687540 648461 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :The latter was more general but slow as hell. > 1592687748 463724 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=74142&oldid=74140 5* 03Bigyihsuan 5* (+2) 10/* Turing Completeness */ < 1592687767 108987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I used SAT solvers to come up with these puzzles: https://logic-masters.de/Raetselportal/Benutzer/eingestellt.php?name=shachaf > 1592687787 288557 PRIVMSG #esoteric :14[[07Esolang:Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=74143&oldid=74142 5* 03Bigyihsuan 5* (+0) 10/* Turing Completeness */ < 1592687808 516033 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, "eingestellt" < 1592687840 87943 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :I still have a Sudoko solver in ML somewhere. Lemme look. < 1592687871 301576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, for some reason the website is in German. < 1592687878 962278 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1592687891 336227 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :http://666-bits.blogspot.com/2008/01/yet-another-sudoku-solver.html < 1592687892 29817 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://en.bab.la/dictionary/german-english/einstellen < 1592687897 723231 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :Did you try this sudoku? https://www.youtube.com/watch?v=Vfps6nwPWmU < 1592687905 125471 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I couldn't solve this < 1592687922 185613 :int-e!~noone@int-e.eu PRIVMSG #esoteric :rain1: I'd just throw it at my computer program if I can find it. < 1592687937 126054 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't actually like sudokus. < 1592687954 65796 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :it will be solved easily by algorithms < 1592687962 157418 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1592687968 669140 :int-e!~noone@int-e.eu PRIVMSG #esoteric :half of the advanced deduction procedures exploit the fact that there's a unique solution, which I consider improper reasoning. < 1592687989 58322 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Me too. It's more fun to think about solvers than about actual Sudokus. < 1592688018 538391 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :what are your views on the assumption of uniqueness? < 1592688047 989792 :int-e!~noone@int-e.eu PRIVMSG #esoteric :as I said... why are you asking me to repeat myself? < 1592688153 192895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Here's a Python Sudoku solver I wrote once in ~40 lines: https://slbkbs.org/tmp/old-python-solver.py < 1592688198 336490 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : assumed at the time that 9x9 Sudoku is just too easy for computers to bother. But it turns out even fancy SAT solvers can have trouble with them, depending on your constraints. < 1592688202 52178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/^/I/ < 1592688228 143700 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :Did you see the Sudoku solver in SQL? < 1592688231 614642 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For example, it took the SAT solvers I tried quite a while to show that there are no valid Sudoku instances if you don't allow digits to be on the same / or \ diagonal. < 1592688262 356024 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :damn < 1592688265 800562 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :I wrote a sudoku solver but i can't find it < 1592688295 5132 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :Llasnad giftsubs hype @The_Bool_aid_Man @dr_yolo_14 @oej820 < 1592688317 262318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I agree with b_jonas. < 1592688330 812216 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :Hell yeah < 1592688336 141368 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :oh worry < 1592688344 110508 :b_jonas!~x@catv-176-63-11-158.catv.broadband.hu PRIVMSG #esoteric :I keep not looking at which channel I'm typing to < 1592688476 850547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Isn't that what X-Sudokus are? < 1592688490 952046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean every diagonal and antidiagonal, not just the main ones. < 1592688521 24660 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, wrapping around? < 1592688524 594281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No wrapping. < 1592688529 933529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just shorter than 9 diagonals. < 1592688533 667058 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Ah. Right, I see now. < 1592688540 281230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's only "at most" constraints, not "at least". < 1592688567 348556 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hrm, I wonder how obvious that is. < 1592688717 120191 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I should implement restarts in my solver. < 1592688734 540599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seems like an important (and easy) feature. < 1592688782 853603 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I suppose, once you have any kind of learning and possibly variable selection heuristics... < 1592688812 346327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right, I also need to implement a variable selection heuristic. < 1592688823 710006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right now I'm using a static heuristic which doesn't seem great. < 1592688844 228739 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's probably even more important than restarts. < 1592688852 992079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Otherwise there's no point to restarting. < 1592688858 371583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had some randomness before but I took it out. < 1592689923 881996 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Yah. They come together. < 1592689986 108132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: do SAT solvers still struggle if you pre-assign the first row to 123456789? < 1592690020 294996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good question. For a lot of my puzzles I've been trying to break this symmetry with the rules themselves, but of course the diagonal constraints don't do that. < 1592690026 72723 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(or something similar that breaks the symmetries) < 1592690314 416442 :int-e!~noone@int-e.eu PRIVMSG #esoteric :My really old C++ solver takes 1.2ms if given that first row. 0.44s without symmetry breaking (a significant part of the former time is spent on initialization). < 1592690380 883191 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But the numbers look like it's not completely obvious. < 1592690414 287250 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"it" being the fact that no such sudokus-with-distinct-diagonal-entries exist < 1592690618 432821 :zzo38!~zzo38@host-24-207-48-139.public.eastlink.ca PRIVMSG #esoteric :rain1: About assumption of uniqueness, I personally don't make that assumption unless the rules say it is unique (which I have seen in some puzzles, but not Sudoku). < 1592690909 478567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Wait, now it's instant. < 1592690931 142288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, it must've been somethig more complicated. < 1592690945 393611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My solver is also instant. < 1592690967 724052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, wait. < 1592691064 339565 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Note that this isn't a SAT solver, it's a dedicated Sudoku solver. < 1592691073 254400 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1592691077 939966 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But hmm, only 75 nodes? Maybe this is obvious after all. < 1592691109 326477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it's hard to say; my search assigns all places for a digit at once. < 1592691134 319079 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I had some leftover clues I forgot about. < 1592691144 810221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :MiniSAT took ~40s with the symmetry breaking, I think. < 1592691168 793873 :int-e!~noone@int-e.eu PRIVMSG #esoteric :5273809 nodes without symmetry breaking < 1592691334 778802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It takes MiniSAT 294s without symmetyr breaking. < 1592691342 238338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With symmetry breaking it's instant. < 1592691356 975595 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm. decent. < 1592691372 210179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By which I mean 0.5s, not really instant. > 1592691400 631093 PRIVMSG #esoteric :14[[07GORBITSA14]]4 M10 02https://esolangs.org/w/index.php?diff=74144&oldid=74134 5* 03ZippyMagician 5* (-10) 10Fix < 1592691797 297259 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Upon closer inspection I doubt it's obvious, that 75 number is pretty misleading :) < 1592692038 130182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :CaDiCaL takes 509s to show UNSAT. < 1592692051 729970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And 0.045s with symmetry breaking. < 1592692241 212894 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1592693189 846325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Your C++ solver sounds pretty fancy. < 1592693729 344100 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection < 1592694250 427861 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: https://int-e.eu/~bf3/tmp/sudoku_solve.cc in full uncommented beauty < 1592694277 164349 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :text/x-c++src < 1592694336 8230 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but the gist of it is to compute bitmasks for the possible placements of the 9 occurrences of each digit, keep only those that are compatible with the hints, and then do some set covering with that. < 1592694380 760351 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so the search depth is only 9, which is probably a large part of the reason why this is pretty fast < 1592694408 326593 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(actually 8 because the final mask is guaranteed to fit in for free) < 1592694496 974683 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: oh and this is the plain sudoku solver, without the hacked-on diagonal constraint. < 1592694514 644138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. I wonder whether the thing this is doing could be expressed in SAT better. < 1592694576 59710 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At first I only expressed the "at least one of each digit" constraints, without "at most one", and it was pretty slow. < 1592694930 258973 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'd habitually add the naive C(n,2) disjunctions for the at-most-one constraint. < 1592694951 149675 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1592694965 243337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I had an instance that my solver was slow on with either at-most or at-least, but fast with both. < 1592694969 950689 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Even though I know it's easy to express with fewer clauses if you're not afraid of extra variables. < 1592694985 291664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Now that I have CDCL it's fast either way.) < 1592694996 590173 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't been adding any extra variables so far. < 1592695020 531599 :int-e!~noone@int-e.eu PRIVMSG #esoteric :some poeple have the attitude that CDCL is better than this than people, learning the *right* clauses of that type. < 1592695043 450814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suspect people are still much better at symmetry breaking. < 1592695085 300977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've been doing model counting so I'd need to be careful with the extra variables. Maybe if there was a way to tag variables as "extra" so the solver doesn't count solutions with only extra variable changed. < 1592695096 968677 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh I think that too... espcially when the symmetries are a form of domain-specific knowledge. < 1592695097 302969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like I should be using a format other than CNF. < 1592695122 355847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe a format where I can give variables names, so I can read them in the solver's debug output. < 1592695137 15884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, by other than CNF I meant other than DIMACS. < 1592695144 170098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Right now my variable names are off-by-1 from the DIMACS variable names which is really annoying.) > 1592695190 252688 PRIVMSG #esoteric :14[[07Intcode/Interpreters14]]4 M10 02https://esolangs.org/w/index.php?diff=74145&oldid=68356 5* 03PythonshellDebugwindow 5* (+38) 10 < 1592695228 927225 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Funny. There's a format with weighted clauses for Max-SAT. < 1592695267 39730 :int-e!~noone@int-e.eu PRIVMSG #esoteric :dimacs-based but using 'wcnf' instead of 'cnf' in the 'p' line. < 1592695283 172295 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection < 1592695314 827278 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1592695357 455981 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1592695640 163146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The trouble is that I'm using other SAT solvers so I need to support DIMACS anyway. < 1592695657 362912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I just work around it with tools to pre- and post-process the datums I have. < 1592695899 501185 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1592695913 803477 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1592696051 48080 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: well you could have a dimacs variant that has an extra line specifying the weights for the variables? > 1592696060 803423 PRIVMSG #esoteric :14[[07Taktentus14]]4 M10 02https://esolangs.org/w/index.php?diff=74146&oldid=50760 5* 03PythonshellDebugwindow 5* (+67) 10/* External resources */ from categories import languages, implemented, y_2015 < 1592696065 312492 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1592696077 966651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I might just put these things in comments for my solver. < 1592696092 858670 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :First I need to make my solver good enough that I don't need to use other solvers all the time.