< 1607645067 590250 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 2.9 < 1607645529 520384 :tromp!~tromp@dhcp-077-249-230-040.chello.nl JOIN :#esoteric < 1607645703 862493 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1607646176 721685 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric > 1607647216 489851 PRIVMSG #esoteric :14[[07Bub14]]4 M10 02https://esolangs.org/w/index.php?diff=79354&oldid=30822 5* 03PythonshellDebugwindow 5* (+9) 10Here be stubs > 1607647631 223465 PRIVMSG #esoteric :14[[07Alphabet letters14]]4 M10 02https://esolangs.org/w/index.php?diff=79355&oldid=78854 5* 03PythonshellDebugwindow 5* (+94) 10t < 1607651236 481215 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1607651250 564062 :Lord_of_Life!~Lord@46.217.219.165 JOIN :#esoteric > 1607652316 987968 PRIVMSG #esoteric :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=79356&oldid=79269 5* 03Tetrapyronia 5* (+207) 10Added Zeno > 1607652347 822639 PRIVMSG #esoteric :14[[07User:Tetrapyronia14]]4 M10 02https://esolangs.org/w/index.php?diff=79357&oldid=79270 5* 03Tetrapyronia 5* (+11) 10 > 1607656588 312269 PRIVMSG #esoteric :14[[07Cerberus14]]4 N10 02https://esolangs.org/w/index.php?oldid=79358 5* 03Tetrapyronia 5* (+1248) 10new language :) > 1607656632 363356 PRIVMSG #esoteric :14[[07Truth-machine14]]4 M10 02https://esolangs.org/w/index.php?diff=79359&oldid=79356 5* 03Tetrapyronia 5* (+98) 10Added Cerberus > 1607656665 885846 PRIVMSG #esoteric :14[[07User:Tetrapyronia14]]4 M10 02https://esolangs.org/w/index.php?diff=79360&oldid=79357 5* 03Tetrapyronia 5* (+30) 10 < 1607657737 30249 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607661565 28639 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 240 seconds < 1607661704 975955 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607661869 392573 :arseniiv!~arseniiv@136.169.228.48 JOIN :#esoteric < 1607662131 997090 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 256 seconds < 1607662694 151199 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1607663170 155238 :aaaaaa!~ArthurStr@188.163.100.177 JOIN :#esoteric < 1607663186 255183 :nfd!~nfd9001@c-67-183-38-33.hsd1.wa.comcast.net JOIN :#esoteric < 1607664375 781234 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :Hi all. What ongoing zoom.us CS-confs are interesting? With a bias to esoteric PLs. < 1607664649 769471 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1607664855 480251 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://sat-smt.in/ started about half an hour ago. < 1607664967 913212 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: yeah < 1607665014 615064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's not really a conference. < 1607665032 128145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's very arguably related to #esoterica. < 1607665033 772604 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :Anyway, what zoom confs do you attend? Wondering < 1607665033 793141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you attending? < 1607665069 544994 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: waiting for Armin Biere :) < 1607665080 32358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aha. < 1607665086 787581 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: I do, this is why I'm asking, maybe there is something interesting as well as this < 1607665116 808896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm watching the introductory talk but so far it's all basics. < 1607665117 48884 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :virtual uni, so to say < 1607665124 177421 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: yes, basics < 1607665173 844270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know that I want to stay awake until 4 watching these talks. < 1607665200 523222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It all seems a bit silly. If you're just watching a video being streamed, it's a worse experience than watching a recording, which you could watch at 2x speed or pause. < 1607665226 591095 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :Maybe it's all will be uploaded here https://www.youtube.com/channel/UCm6e0ZSQt-C6iEhBV6TaEdA < 1607665256 210586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, that's what I expect. < 1607665261 708732 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :Yeah, but you can ask a question in zoom < 1607665263 969882 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess the benefit is asking questions in real time or something. < 1607665265 55852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1607665285 990732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So maybe that'd be a better format. I guess some conferences do it that way. < 1607665333 439715 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe I should read kissat code to have good questions to ask. < 1607665392 561849 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :Modern SAT solvers are not an easy piece of cake < 1607665409 268693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I read some kissat code before. < 1607665423 28835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I also wrote my own CDCL solver. < 1607665435 86461 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: if so, you can probably dive into kissat... < 1607665445 44760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe not in the next hour. < 1607665524 82848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess this channel is just full of people who are into satisfiability? < 1607665544 802937 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: dunno. I like this channel because like both CS and some eso-PLs < 1607665550 261166 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :satisfied with satisfiability. < 1607665553 968253 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :it's less formal than other CS channels < 1607665599 403186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are the neato CS channels? < 1607665617 150311 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: #cs, #algorithms, whatever on reddit < 1607665635 68779 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :like full of too-seriuous professors < 1607670318 713418 :Lord_of_Life!~Lord@46.217.219.165 QUIT :Changing host < 1607670318 713475 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1607671025 301042 :user24!~user24@2a02:810a:1440:7304:b9c4:3e69:bcc2:a0fd JOIN :#esoteric > 1607672361 963857 PRIVMSG #esoteric :14[[07Cerberus14]]4 M10 02https://esolangs.org/w/index.php?diff=79361&oldid=79358 5* 03Tetrapyronia 5* (-4) 10 < 1607673555 147375 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: Armin Biere starts his presentation on zoom < 1607673560 257781 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :starting < 1607673587 260848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I see it. < 1607673608 127026 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, what's your native language, if you have one? < 1607673629 834937 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :huh < 1607674046 985645 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( aren't they all artificial ) < 1607674125 680786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's only the pattern of saying "X Ys" instead of "X is Ying" that I'm curious about. < 1607674150 368687 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: Russian is. Yes, my English is still horrible... < 1607674172 642118 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, I'm not complaining. < 1607674228 528988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, kissat is just really good, huh. < 1607674267 147382 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: sure, Armin is one of the leading experts < 1607674333 985945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's too bad it doesn't support incremental solving. < 1607674344 571125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it will in the future, I think it might've said. < 1607674382 51941 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :MUS is also not supported, AFAIR. < 1607674408 299408 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :The problem is that scientists' goal is to write solvers for competitions, not for real-world projects :( < 1607674425 148958 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :So all they lack something < 1607674498 330603 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but they source the competition problems from "industrial" sources, which supposedly have real-life relevance? < 1607674510 581997 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, sourcing from sources, brilliant < 1607674522 324616 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :int-e: you're right indeed < 1607674537 185712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hint-e < 1607674540 629238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Are you attending the session? < 1607674652 205377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have no sense whether SAT/SMT solvers have actual relevance in industry. < 1607674688 499619 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric < 1607674739 473757 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: they do. If you dig into SAT/SMT benchmarks, there are indeed loads of files from real projects... < 1607674881 667977 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :aaaaaa: Hmm, is MUS important? < 1607674928 619750 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: dunno... < 1607674938 983784 :aaaaaa!~ArthurStr@188.163.100.177 PRIVMSG #esoteric :shachaf: but it has some use < 1607674945 30690 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1607675052 855188 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1607675964 703437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why does this take it to NEXPTIME? < 1607675992 402037 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? mus < 1607675993 681016 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :mus? ¯\(°​_o)/¯ < 1607676135 680364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it stands for "Minimally Unsatisfiable Subformulas". < 1607676154 860504 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, a refinement of unsatisfiable cores. < 1607676240 305445 :int-e!~noone@int-e.eu PRIVMSG #esoteric :They're directly connected to minimal counterexamples, e.g. for https://en.wikipedia.org/wiki/Hadwiger%E2%80%93Nelson_problem < 1607676365 527851 :int-e!~noone@int-e.eu PRIVMSG #esoteric :one of the citations there is: 'Heule, Marijn J.H. (2018), Computing Small Unit-Distance Graphs with Chromatic Number 5'... who is another big name in SAT solving. < 1607676420 221820 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And that effort was all about taking a small-ish counterexample and minimizing it through SAT solving and extraction of unsatisfiable cores, iteratively. < 1607676454 642262 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(That's without reading the paper, just from what I saw in the corresponding Polymath forum threads.) < 1607676541 749171 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But also in practice you may benefit a lot from narrowing down contradictions (which may be programming errors) to a smaller set of constraints. < 1607676613 50796 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1607677591 49584 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1607679628 770095 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 256 seconds < 1607680603 782267 :LKoen!~LKoen@214.175.9.109.rev.sfr.net JOIN :#esoteric < 1607690137 511697 :aaaaaa!~ArthurStr@188.163.100.177 QUIT :Quit: leaving > 1607692066 706828 PRIVMSG #esoteric :14[[07Bet14]]4 M10 02https://esolangs.org/w/index.php?diff=79362&oldid=76786 5* 03PythonshellDebugwindow 5* (+23) 10m > 1607692207 880663 PRIVMSG #esoteric :14[[07Zeno14]]4 M10 02https://esolangs.org/w/index.php?diff=79363&oldid=58231 5* 03PythonshellDebugwindow 5* (+48) 10/* See Also */ cats < 1607692680 338400 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :shachaf: I don't think the difference here is video stream vs in person. the same is basically true for all the first-year basic theoretical classes that CS students got. as there were too many students, the professors didn't want to stop for any particular student's questions, so the classes were effectively non-interactive. we mathematicians fared much better even in first year with the small group: < 1607692686 382451 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :back then there were 50 of us as first year together, about 25 active as third year, < 1607692751 684730 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1607692754 521233 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :and about 25 for the later specialized MsC classes which were attended by half of the students in weighted average (that is, there are more than twice as many classes as students take, but you generally take the more popular ones) but also taught in a period of two years instead of one year like the basic classes. < 1607692767 994560 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :https://news.ycombinator.com/item?id=25381325 < 1607692878 366162 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :the lower record was a logic class about model theory where only two of us plus a professor were in the classroom every week. a few years later the mathematicians grew to about twice that size, which is qualitatively worse because then in the first year median professors started to have a difficulty remembering each student individually. but even then it's much better than the CS students with their 600 < 1607692884 571369 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :first years and the electric engineers with their 300 first years. > 1607692999 475727 PRIVMSG #esoteric :14[[07DIVCON14]]4 M10 02https://esolangs.org/w/index.php?diff=79364&oldid=75904 5* 03PythonshellDebugwindow 5* (-3) 10/* Instruction list */ m > 1607693016 175890 PRIVMSG #esoteric :14[[07DIVCON14]]4 M10 02https://esolangs.org/w/index.php?diff=79365&oldid=79364 5* 03PythonshellDebugwindow 5* (+13) 10/* Official implementation */ Deadlink < 1607693029 388128 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I do admit that remote communication still makes everything worse, I'm glad I didn't have to go to university during something like this, > 1607693046 449928 PRIVMSG #esoteric :14[[07Cerberus14]]4 M10 02https://esolangs.org/w/index.php?diff=79366&oldid=79361 5* 03PythonshellDebugwindow 5* (+154) 10catsh < 1607693107 29641 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :and the way I have to work from home now sucks exactly because the communications at this job sucks, there was a lot of information that I could only get in person as corridor rumors. < 1607693182 953729 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :" I guess this channel is just full of people who are into satisfiability?" => yes, somehow. at least if three or four regulars count as "full of" < 1607693216 983737 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1607693251 262122 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :“ It's only the pattern of saying "X Ys" instead of "X is Ying" that I'm curious about.” interesting, I don't remember you ever complained about how I use English tenses, despite that I often use them at random < 1607693268 636580 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I still don't really understand how they're supposed to work < 1607693284 532842 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: tell us something random < 1607693285 300183 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: the great merit of doing this is to be given to structural measures for fleets that needed to be registered on a register on a friday morning, with mr linkohr' s report is very supportive indeed and this is the normalisation process! if we want to use my three minutes' speaking time in this extremely important work of promoting equality of rights and the destruction took place just yesterday in luxembourg constitute a st < 1607693711 29484 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1607694374 978998 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fungot: What is a fire and why does it – how do you say – burn? < 1607694375 346931 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: mr president, the sa�fi report was on the eu side because we believe that the committee responsible was able to have olaf's report so that there can only be obtained once the objectives of the common position also takes into consideration the fact that, even from these references, that the intergovernmental conference is quite intolerable, particularly for women. < 1607694484 407873 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fungot: Open up your eyes, see the world from where I stand: me among the mighty, you caged at my command. < 1607694484 696050 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: given that we have not been matched by action. the european council launched two action plans. i should like to illustrate this alleged change that leon brittan went to present a communication on development policy, to quote the text itself, putting it into franchising and other things. < 1607694758 937087 :LKoen!~LKoen@214.175.9.109.rev.sfr.net QUIT :Read error: Connection reset by peer < 1607694795 367687 :LKoen!~LKoen@214.175.9.109.rev.sfr.net JOIN :#esoteric < 1607696347 801418 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric < 1607696920 959679 :LKoen!~LKoen@214.175.9.109.rev.sfr.net QUIT :Remote host closed the connection < 1607697265 246274 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :`? fire < 1607697267 414063 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Fire, fire, everywhere, nor any drop to drink. < 1607697769 491125 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 264 seconds < 1607698158 49296 :LKoen!~LKoen@214.175.9.109.rev.sfr.net JOIN :#esoteric < 1607698900 948391 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :> In Funge-98 stringmode, spaces are treated "SGML-style"; that is, when any contiguous series of spaces is processed, it only takes one tick and pushes one space onto the stack. < 1607698903 495841 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:23: error: :1:23: error: parse error on input ‘,’ < 1607698911 261043 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :where can I read what the "SGML" is? < 1607699050 329640 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Have you tried https://en.wikipedia.org/wiki/SGML < 1607699247 861739 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :I don't see anything about collapsing space character there ( < 1607699579 799116 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :nakilon: wait, why would befunge do that? < 1607699630 941788 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I mean in string mode, which is for embedding literals efficienctly < 1607699657 152176 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :for normal code it's ok to do that < 1607699668 582388 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric : /shrug < 1607701209 535385 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Remote host closed the connection < 1607701647 799746 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :so I've put my ideas together here: https://github.com/Nakilon/rasel -- not decided yet is if there should be still one stack or maybe two; gonna figure that out in practice < 1607701866 352034 :arseniiv!~arseniiv@136.169.228.48 QUIT :Ping timeout: 258 seconds < 1607702422 851115 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607703040 184709 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b_jonas: It's to make wrapping in stringmode well-defined. < 1607703064 767248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In Befunge-93, you just got as many spaces as there were, because the playfield was a 80x25 bounded rectangle. < 1607703139 996050 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :At least that's what I've always assumed was the primary reason. < 1607703166 483164 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fizzie: I see < 1607703197 471683 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :that might make some sense < 1607703516 358931 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 240 seconds < 1607704839 851272 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :there's actually a 2d language (with only 2d code, no 2d data or self-modifying code, sort of like Piet) that I sort of might want to make, but I couldn't figure out how it should work yet < 1607705420 184583 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fungot, when have most of the Queen's Guards in London been replaced by robots? < 1607705420 538968 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: madam president, i voted for this report, but also of our work to provide an incentive for member states to eliminate the current legal position and removes the option of being sentenced in countries that have also been discovered in addition to guaranteeing a high standard. moreover, we should like to remind you that the european union < 1607705896 875975 :user24!~user24@2a02:810a:1440:7304:b9c4:3e69:bcc2:a0fd QUIT :Quit: Leaving < 1607706083 465732 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1607706806 880889 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607707065 172818 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 240 seconds < 1607707085 407892 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607707671 105858 :myname!~myname@ks300980.kimsufi.com QUIT :Quit: Lost terminal < 1607707774 403187 :myname!~myname@2001:41d0:1:766f::1 JOIN :#esoteric < 1607707985 27556 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 240 seconds < 1607708662 651630 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :this looks like it could be solved by a modification of my https://www.perlmonks.com/?node_id=1008395 game of life ran by unpack function, but that would be more difficult than a straightforward solution, so I won't try. < 1607708743 335444 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607709307 90885 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That reminded me, updated https://zem.fi/tmp/aoc/time.two.html -- looks like today was in line with previous years, unlike the previous two days. Maybe the audience is less familiar with cellular automatatatons than they are with other things. < 1607709621 101041 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :also, at least from these days, it looks like they aren't trying to give interesting algorithmic problems, instead they give you coding programs you don't have to think about how to solve because you can just implement them as described. the APL and other array programmer guys probably like it. < 1607709912 9140 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :what about float numbers in Befunge? < 1607709931 313014 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :are they not supported? < 1607710224 109598 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a fingerprint for that. < 1607710238 603555 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Or two, actually: FPSP and FPDP. < 1607710275 371949 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://rcfunge98.com/rcsfingers.html#FPSP & http://rcfunge98.com/rcsfingers.html#FPDP -- they're identical except for single vs. double precision. < 1607710347 148243 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :thanks < 1607710380 444143 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :looks like I had no clue about fingerprints < 1607710393 901491 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1607710402 620760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Which fingerprints do you use? < 1607710402 752902 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: mr celli, with regard to its future neighbours. this is what everyone wants. < 1607710443 179519 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The answer is STRN, FILE, FING, SOCK, REXP, TOYS and SUBR, though some only very marginally. < 1607710449 933122 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(fungot is written in Funge-98.) < 1607710450 380275 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: mr president, poor compliance with environmental legislation. the commission and others, on the issue of taxation referred to by lord bethell and the repression of the mountain people of vietnam. these extremely secret documents give us a way out. at the last minute and trying to guide us through the media, lays the foundations for a stable euro. i believe that the definition of a safe roll-over into the new objective 2 < 1607711849 370713 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :what? IRC bot in funge?! < 1607711880 329357 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 260 seconds < 1607711941 347927 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607712177 235579 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1607712216 432868 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 258 seconds < 1607712291 48205 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :nakilon: yes, fungot is written in befunge. < 1607712291 179735 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: mr president, all of which are controlled by multinationals and that politics is a job for the large countries. this takes the form of development. i sincerely hope that this clarifies the issue. < 1607712330 656156 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :cool < 1607712366 53385 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fungot: face it, your majesty. odds are, your curious offspring will befriend an surface dweller or mortal or outsider from the nation you consider your enemy, no matter how much you forbid them. you'd better prepare for it, rather than delude yourself that your authority can avoid it. < 1607712366 654834 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: mr president-in-office, i do personally feel that the distribution of seats in the european commission supports parliament' s secretary-general and the deputy secretary-general of the council says, with dry eyes, on fisheries, but concerns above all the council, commissioner, i represent the italian pensioners' party membership card in order to reduce the democratic deficit, but constitution stripping of this kind must < 1607712434 46071 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric < 1607713012 294847 :user24!~user24@2a02:810a:1440:7304:b9c4:3e69:bcc2:a0fd JOIN :#esoteric < 1607713087 322974 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :this one took a lot of time to solve. the point to take away for me is this: either stick to nice medium-long identifiers like I use in programs that I want others to see, or work on figuring out how to use short identifiers in a way that I don't end up confusing myself, using the same name for multiple things, using different names for the same thing, referring to the wrong variable, etc. < 1607713126 597644 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I used to write programs with short identifiers, but that was ages ago, and I apparently forgot the trick, so for programs that use a lot of different variables I mess up < 1607713857 726816 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :You can add comments if that can help to explain what a variable is for < 1607713991 187712 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :zzo38: that only helps in long programs. short variable names are for short programs that I write once then forget about them, like for AoC and all the short programs I write for one-off tasks < 1607714005 662818 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :the problem here is that I confuse the variables even as I write those short programs < 1607714027 102556 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I don't remember them half an hour after I write the code < 1607714043 789198 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :can't predict them or understand them, unlike the medium-long ones that I'm used to < 1607714064 179346 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :perhaps it's just lack of practice, perhaps I should just not use a short variable name scheme at all < 1607714090 279697 :TheLie!~TheLie@2a02:8106:215:3300:7285:c2ff:fe0b:917f JOIN :#esoteric < 1607716161 977996 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1607717611 758044 :earend1!uid342703@gateway/web/irccloud.com/x-qxxaquzfmdqedvhd QUIT :Quit: Connection closed for inactivity < 1607718611 392437 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have asked about rule 305.9 on rec.games.trading-cards.misc.rules, and have gotten a few replies, but they only say that rule 305.9 is meant to clarify that a land cannot be cast even if it has another type. However, I have failed to find any rule that specifically says that a land cannot be cast if some effect says to cast that card. < 1607719769 952982 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :zzo38: ah, this is about the double-faced land things again. I'll have to check the rules if they patched the oversight with them. < 1607719795 486703 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :when the next rules version comes out, or is it already out? < 1607720122 616077 :LKoen!~LKoen@214.175.9.109.rev.sfr.net 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.” < 1607720203 17991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: I'm not complaining! > 1607720368 7820 PRIVMSG #esoteric :14[[07Nors14]]4 M10 02https://esolangs.org/w/index.php?diff=79367&oldid=50976 5* 03PythonshellDebugwindow 5* (+111) 10links +++ cats > 1607720481 956533 PRIVMSG #esoteric :14[[07Nors14]]4 M10 02https://esolangs.org/w/index.php?diff=79368&oldid=79367 5* 03PythonshellDebugwindow 5* (+18) 102007 > 1607720489 203 PRIVMSG #esoteric :14[[07Nors14]]4 M10 02https://esolangs.org/w/index.php?diff=79369&oldid=79368 5* 03PythonshellDebugwindow 5* (+0) 10dammit < 1607720523 713580 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't know. I they are, I will download it. However, they do write about them before the new rules are published, usually > 1607720561 417019 PRIVMSG #esoteric :14[[07Implieses14]]4 M10 02https://esolangs.org/w/index.php?diff=79370&oldid=50995 5* 03PythonshellDebugwindow 5* (+123) 10Append docile ocelots to the page < 1607720772 62011 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :^source < 1607720772 130630 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :https://github.com/fis/fungot/blob/master/fungot.b98 < 1607720774 64192 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :nakilon: ^ < 1607720985 528844 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :omg < 1607721054 370383 :earend1!uid342703@gateway/web/irccloud.com/x-hpyzavkfrwprddvf JOIN :#esoteric < 1607721337 411676 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :fizzie is author here? < 1607721991 444514 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :have a pull request https://github.com/fis/fungot/pull/1 < 1607721991 830057 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :nakilon: mr president, ladies and gentlemen, one thing must be clear: we cannot blow the case out of all proportion to the fishing opportunities and the fight for windmills is one where a german would have faced prosecution. so the combined efforts of the member states, of which i have just heard the commissioner speak. a fine, resolute speech after the speech by the commissioner. < 1607722720 81828 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Clicked the button. < 1607722801 263350 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :oh it's you ..D < 1607722803 111083 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :thanks < 1607723320 133037 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :b_jonas I use such rules: 1) one char long variable name should only be used when it's standard, like i, j, k for indexes, n for "number of somethings", etc. 2) if I append "s" to it (like is, js, ks, ns) it means an array of them 3) the "_" variable name for one time usage < 1607723341 603161 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1607723366 733062 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :*indices < 1607723474 602812 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :also could be "t" instead of "_" < 1607723727 906448 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1607723778 97859 :TheLie!~TheLie@2a02:8106:215:3300:7285:c2ff:fe0b:917f QUIT :Remote host closed the connection < 1607723826 899967 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :very haskelly < 1607723841 129012 :kmc!~beehive@unaffiliated/kmcallister PRIVMSG #esoteric :except the haskellers use single letter names for everything because it makes them feel like they're doing math < 1607723942 192668 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Go-ers use a lot of single-letter names too, though I'm not sure why. It's a cultural thing. < 1607724699 20690 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :fizzie I feel like now that source code is highlighted < 1607724731 680938 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :no very correct though, since it's hard to see that p and g between " are text, not instructions < 1607724857 606131 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Mm, well, it's a hard problem. It doesn't seem to have highlighted the main source file, either. < 1607724933 910395 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Funnily enough, fungot does not use very much self-modifying code. If memory serves, I successfully ran it on an AOT compiler once. < 1607724934 197439 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: mr president, you mentioned the hague convention of 1996 which, thankfully, was taken up with the arrogance of the world. the death penalty and the affirmation of the european institutions to put the extension of the mandate of the auto/ oil package which includes a visit to central america at the wto. < 1607725030 119941 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :one "g" can easily be a part of horizontal string and an instruction from some vertical direction < 1607725052 997962 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :same for "v" < 1607725075 536755 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I guess that was a caching issue, fungot.b98 is highlighted now that I reloaded it. < 1607725076 42822 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :fizzie: mr president, i too had not intended the interpretation which has been followed here since the santini report. or if we have agreed at community level in the commission, mrs de palacio, of the type involved, specialized agriculture using a labour force which is in danger and that it will also provide a guarantee of industrial feasibility, respecting the financial interests of the consumer in this modern age demands. in < 1607725098 285472 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It doesn't understand a-f as numeric either, guess it's optimized for '93. < 1607725142 976678 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, at least it looks festive, which is appropriate for the season. < 1607726107 402947 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :is Chris Pressey in this channel? < 1607726161 635291 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes, but not since September this year. < 1607726211 187179 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/September/October/ < 1607726217 355162 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(What's wrong with my log-rsync?) < 1607726424 857681 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Oh, the remote command it uses had changed from `rsync --server --sender -vlogDtpre.iLsfxC` to `rsync --server --sender -vlogDtpre.iLsfxCIvu` and I had made the key very picky in what can be done with it.) < 1607726557 851241 :user24!~user24@2a02:810a:1440:7304:b9c4:3e69:bcc2:a0fd QUIT :Remote host closed the connection < 1607728856 493114 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric < 1607729135 989462 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1607729230 178912 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 2.9 < 1607729516 516632 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :nakilon: yes, the one time usage variables starting with underscore are easy, because I only have to write them once so it doesn't really matter what I name them. but already with an s suffix there's a problem: does s stand for sequence/array or string? how do I call the other? if I use v for arrays, then how do I abbreviate value? I just keep getting myself confused. < 1607729540 799874 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :I should probably just stick to longer names, it doesn't hurt that much to use them < 1607729569 481184 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :when I mean string I add "str" < 1607729618 155714 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :k, v for key and value when iterating over associating arrays, so I'll never call an array v < 1607729631 444764 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :*associative < 1607729637 859954 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :if I try to use one-two-three letter variable names, there are just too many words that abbreviate to the common letters like s n d whatever, and oddly v too < 1607729703 477522 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :if I mean array sometimes "array" is exactly how I name that var ) < 1607729715 252841 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fizzie: I don't find that too strange. befunge doesn't force you to use self-modifying code for anything, it's not like you have to write indexes or anything into character cells, in fact it doesn't even provide good tools to write numbers to code, at most you can write booleans easily. not using self-modifying code is just the easiest way to write befunge. < 1607729773 752680 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, true. But it's sort of a signature move for the language. < 1607729777 926231 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :also sometimes I run into conflicts with the short keywords: in particular, I know I must not call an input file handle `if`, because that's a keyword < 1607729804 33352 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(The admin ^reload and ^code commands of course do self-modify, but that's kind of special.) < 1607729850 529434 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You can write numbers to code very easily in Funge-98, you just prepend the number with ' < 1607729878 258707 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fizzie: oh, there is such a primitive? let me see < 1607729950 769062 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's called the "one-shot stringmode". < 1607729973 83872 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :nice < 1607729984 693885 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :are the cells single bytes? < 1607729989 659523 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :in Ruby 1.8 you could write ?a and that was a number corresponding to ascii a code < 1607729999 649336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, they're arbitrary integers, usually 32-bit signed ones. < 1607730002 569723 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :then it changed so it's "a" < 1607730005 555291 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :oh nice < 1607730010 585629 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :so they're the same type as on the stack < 1607730012 995233 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :(1 char long string) < 1607730030 369836 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :yes, that sounds like you can write self-modifying code (unless of course you want multi-threaded or otherwise reentrant code) < 1607730042 210199 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :it could be hard to optimize of course < 1607730124 84993 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :you'd need something like qemu that tracks which cells are compiled and what it has to recompile at every store, but qemu can do that efficiently because programs optimized for normal cpus already know that they shouldn't write and execute from the same page too much, because it can be very slow < 1607730149 203117 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :doing it at a granularity smaller than pages would be rather inefficient < 1607730155 136706 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think gForth has that character literal syntax too. < 1607730158 717347 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`forth 'a . < 1607730159 598652 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :97 < 1607730176 816011 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it's sort of uncommon though. < 1607730177 474152 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fizzie: and so do some lisps, though I think the prefix is two characters there < 1607730202 24587 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Scheme has #\x. < 1607730237 200903 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(In line with various other things beginning with #, like #t and #f for the booleans.) < 1607730310 729514 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :fizzie: yes. I would actually like to see a convention where the octotrophe serves as eitehr a comment marker if there's a space before it, or a rare token suffix if there's no space before it, but it looks like the only language that does that is K the apl-like < 1607730338 14598 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :it would work because it's already a convention that there's always whitespace (or the beginning of the file) before a comment marker < 1607730374 79153 :b_jonas!~x@catv-176-63-12-135.catv.broadband.hu PRIVMSG #esoteric :so this would effectively save one of the precious 33 ascii punctuation < 1607730644 941822 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu