< 1609114421 227487 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 3.0 > 1609116424 848548 PRIVMSG #esoteric :14[[07Talk:Brainlove14]]4 M10 02https://esolangs.org/w/index.php?diff=79685&oldid=24840 5* 03MADH95 5* (+206) 10 > 1609116486 637848 PRIVMSG #esoteric :14[[07User:MADH9514]]4 N10 02https://esolangs.org/w/index.php?oldid=79686 5* 03MADH95 5* (+72) 10Created page with "Newish to esolangs. Dabbling in creating my own that might show up here." < 1609116976 524642 :arseniiv!~arseniiv@136.169.207.193 QUIT :Ping timeout: 246 seconds > 1609117213 984153 PRIVMSG #esoteric :14[[07Conveyer14]]4 M10 02https://esolangs.org/w/index.php?diff=79687&oldid=77873 5* 03PythonshellDebugwindow 5* (+110) 10Unpipe; cats; external resources < 1609117989 389485 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric > 1609117991 821737 PRIVMSG #esoteric :14[[07User:Hakerh400/Proof 00114]]4 M10 02https://esolangs.org/w/index.php?diff=79688&oldid=79498 5* 03Hakerh400 5* (+4234) 10Highlighting > 1609118769 784104 PRIVMSG #esoteric :14[[07Casini14]]4 M10 02https://esolangs.org/w/index.php?diff=79689&oldid=77137 5* 03PythonshellDebugwindow 5* (+47) 10/* External resources */ Cats > 1609119124 429594 PRIVMSG #esoteric :14[[07Functasy14]]4 10 02https://esolangs.org/w/index.php?diff=79690&oldid=71243 5* 03Hakerh400 5* (+9508) 10Change color scheme > 1609119816 328830 PRIVMSG #esoteric :14[[07User:Hakerh400/JavaScript: Unlimited recursion and TCO14]]4 10 02https://esolangs.org/w/index.php?diff=79691&oldid=79100 5* 03Hakerh400 5* (+31524) 10Highlighting > 1609120014 41995 PRIVMSG #esoteric :14[[07User:Hakerh400/JavaScript: Unlimited recursion and TCO14]]4 M10 02https://esolangs.org/w/index.php?diff=79692&oldid=79691 5* 03Hakerh400 5* (+7) 10/* Implementation */ < 1609120881 495043 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1609121141 165301 :MDude!~MDude@71.50.47.112 JOIN :#esoteric < 1609122942 524669 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1609127882 530329 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :`? things < 1609127885 237134 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :things? ¯\(°​_o)/¯ < 1609127889 239165 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :the things are people too < 1609128217 356087 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's almost an HHGttG quote. < 1609128243 313716 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :yes. < 1609128283 748066 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"'The things,' said Ford Prefect quietly, 'are also people.' 'The people...' resumed Arthur, 'the... other people...'" < 1609129354 588697 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1609132427 213593 :galactic_!~galactic@99-43-0-95.lightspeed.sndgca.sbcglobal.net JOIN :#esoteric < 1609132836 367636 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :hi < 1609132985 294475 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :anyone have a good greppable h2g2? < 1609133013 9834 :Hooloovo0!Hooloovoo@sorunome.de PRIVMSG #esoteric :currently trying to extract the text from one of them with gs but it doesn't seem to be working well < 1609133017 317129 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :0000,t_put,$H$; 0000,t_put,$i$; < 1609133245 179222 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :0000,t_put,$H$; 0000,t_put,$i$; 0000,stop_; FFFF,_eof_; < 1609133255 795224 :Lykaina!~lyka@unaffiliated/schrodingerscat PRIVMSG #esoteric :is a program < 1609133594 44243 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Quit: Leaving < 1609138124 976808 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1609139202 396409 :uplime!nchambers@learnprogramming/staff/nchambers QUIT :Disconnected by services < 1609139249 176740 :also_uplime!nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1609139266 871779 :also_uplime!nchambers@learnprogramming/staff/nchambers QUIT :Disconnected by services < 1609139280 168333 :also_uplime!nchambers@learnprogramming/staff/nchambers JOIN :#esoteric < 1609143193 842368 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1609147562 166534 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 260 seconds < 1609148524 499504 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric < 1609149892 198594 :ArthurStrong!~ArthurStr@188.163.100.177 QUIT :Ping timeout: 265 seconds < 1609151944 486548 :arseniiv!~arseniiv@136.169.207.193 JOIN :#esoteric < 1609152585 230912 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? device < 1609152587 329407 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A device is a browser session. Please verify your device. < 1609152603 472836 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? password < 1609152608 182272 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month is wake these token brings < 1609152895 820903 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :`? bleem < 1609152896 803745 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :`? bleen < 1609152897 29589 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bleem? ¯\(°​_o)/¯ < 1609152898 36884 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Bleen is the color of the ocean and the trees. < 1609154771 13988 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.9 < 1609155088 780067 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Smart... my emacs renders the month in 28/12/2020 in italic... ) < 1609155129 367597 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well, slanted at least < 1609155130 999508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just another reason to use 2020-12-28 < 1609155150 51165 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Yeah I didn't actually type it that way. < 1609155154 450260 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :It renders that in strikethrough < 1609155167 493327 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I faked the date in the example.) < 1609155373 566102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like these SAT/SMT lecture slides: https://www.pm.inf.ethz.ch/education/courses/program-verification.html < 1609155428 373206 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is saying SAT/SMT like saying C/C++? < 1609155518 283102 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :Taneb: how does it render 2020年12月28日 ? < 1609155623 732506 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :shachaf: maybe it's like saying GNU/Linux < 1609155643 565130 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, b_jonas's system is the best, of course. < 1609155665 369757 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :it's not my system. my system is < 1609155667 11228 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :`datei < 1609155667 733127 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2020-12-28 11:41:07.365 +0000 UTC December 28 Monday 2020-W53-1 < 1609155677 505318 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :2020-12-28 . but shachaf already said that. < 1609155699 405451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Too bad typing that is tricky for me. < 1609155719 396468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have Chinese input set up, but I didn't remember the Pinyin for those characters (except the middle one). < 1609155722 139612 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :well yes, the zero is in an awkward position in the Hungarian layout < 1609155771 595036 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :shachaf: try Japanese input instead maybe < 1609155780 328221 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I used to have that set up. < 1609155789 25067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it seems similarly difficult. < 1609155837 166242 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :Either way you'd need to know the pronunciation of what you want to type < 1609155846 938509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1609155858 57992 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net PRIVMSG #esoteric :Chinese has shape-based input methods but I don't know how to use any of them < 1609155895 223949 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, one of the first SMT slides says: ¬(f(i)=f(j)) ∧ i-j=0 < 1609155906 461882 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I'm not even sure how to show that's UNSAT! < 1609155920 17356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Presumably the slides will tell me but it's annoying that I hadn't even thought about it before. < 1609155952 25651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I'm wondering what it does. < 1609155957 143872 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :what's this SMT? I don't know the context < 1609155961 70280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, SMT. < 1609155988 69867 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :? < 1609155994 870799 :b_jonas!~a@catv-176-63-11-225.catv.broadband.hu PRIVMSG #esoteric :what is an SMT? < 1609155997 766127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I thought you were asking if this was SMT. < 1609156005 903652 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :SMT is Satisfiability Modulo Theories. < 1609156015 415052 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The problem is that this is mixing theories. < 1609156039 674481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, option 1: It tries to be clever and turn "i-j=0" to "i=j" in some sort of preprocessing, and then it just has one theory. < 1609156065 855346 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Option 2: Something with an e-graph to represent the inequality, which somehow the other theory knows about? < 1609156105 625219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've pretty much only thought about theories in isolation before. I'm not even sure what option 3 is. < 1609156375 917583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, the slides say, extend the API of a theory over what I already know, by having it return equalities that it can figure out. Hmm. < 1609157083 453878 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Well you can extract i /= j from that using the theory of uninterpreted functions and then i /= j and i - j = 0 will be a contradiction in the theory of integers/rationals/reals... < 1609157109 505964 :int-e!~noone@int-e.eu PRIVMSG #esoteric :IIRC this kind of transfer of equalities and disequalities is at the heart of the Nelson-Oppen theory combination method. < 1609157110 544203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that's a good point, that's simpler than the direction I was thinking. < 1609157157 373687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it seems like theory combination must be quite tricky. < 1609157181 41265 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess "Nelson-Oppen theory combination method" is the thing to look up. Or I can just keep reading these slides. < 1609157515 828778 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh man, this thing is complicated. < 1609157520 390095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why are SMT solvers so much work? < 1609157536 194509 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because they're solving a pretty difficult problem < 1609157565 616726 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION believes in irreducible complexity
< 1609157589 238735 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net JOIN :#esoteric < 1609157659 53934 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: and it gets worse because a ton of people cook up barely decidable theories that an SMT solver can support < 1609157686 19768 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PRIVMSG #esoteric :hi esoteric team how is? < 1609157691 433235 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just wanted simple things that barely count as theories. < 1609157702 442589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, do you consider CryptoMiniSat's xor clauses a theory? < 1609157739 418210 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so, linear arithmetic over reals, over rationals, over integers, non-linear arithmetic over reals (and you can try it for integers and rationals even though it's undecidable there), uninterpreted functions, arrays, .... < 1609157760 778240 :int-e!~noone@int-e.eu PRIVMSG #esoteric :AIUI, xor clauses are directly used for unit propagation, so not, they're not a theory in the SMT picture < 1609157773 963277 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/not/no/ < 1609157790 571216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They also do Gaussian elimination, I think. < 1609157803 523347 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oh right < 1609157808 858393 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so it's a weird mix then < 1609157819 185075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But why does "used for unit propagation" make it "not a theory", rather than "a better theory"? < 1609157851 728786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you can have your watch lists wake up theories, rather than running them every literal assignment or something, that seems better. < 1609157863 629274 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because in the SMT picture, theories are used for analyzing conflicts and learning clauses < 1609157891 322127 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's really a technical distinction, not a semantic one. < 1609157896 171326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, and xor clauses do find conflicts and learn clauses, don't they? < 1609157932 433922 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I forgot about the linear arithmetic < 1609157932 658036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular (a⊕b⊕c⊕...) represents a whole bunch of or-clauses at once. < 1609158000 470832 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PRIVMSG #esoteric :do you mean, cryptographic compute, is isoteric compue? < 1609158003 771617 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PRIVMSG #esoteric :compute? < 1609158014 579158 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PRIVMSG #esoteric :pie is the door? < 1609158017 515609 :int-e!~noone@int-e.eu PRIVMSG #esoteric :there's also the whole pseudo-boolean constraints mess where there's an open debate on whether they should be treated as a theory, translated to boolean clauses, or handled by a special solver that knows about weights. < 1609158549 458319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I have a better idea of what E-graphs and E-matching are now. < 1609158561 718009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I'm still not really clear enough on the whole picture. < 1609158863 44002 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PART :#esoteric < 1609159351 796989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's a huge mess :P < 1609159906 520623 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: brb < 1609159914 908179 :MDude!~MDude@71.50.47.112 QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1609160222 28989 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1609162453 353103 :TheLie!~TheLie@2a02:810b:89c0:22f2:c47:4f22:7a09:f51 JOIN :#esoteric < 1609163482 734723 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: and again... < 1609163627 998089 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1609163823 921492 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: oops < 1609163956 362610 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net QUIT :Ping timeout: 240 seconds < 1609164083 743832 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1609164354 416149 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@bot < 1609164354 627707 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) > 1609166332 922188 PRIVMSG #esoteric :14[[07SELECT./99 bottles14]]4 M10 02https://esolangs.org/w/index.php?diff=79693&oldid=46398 5* 03PythonshellDebugwindow 5* (-3920) 10Use a pre; cat; back < 1609166740 367161 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric < 1609166976 14949 :TheLie!~TheLie@2a02:810b:89c0:22f2:c47:4f22:7a09:f51 QUIT :Remote host closed the connection > 1609167163 569632 PRIVMSG #esoteric :14[[07NTFJ14]]4 M10 02https://esolangs.org/w/index.php?diff=79694&oldid=69618 5* 03PythonshellDebugwindow 5* (+12) 10/* Minification */ CAT > 1609167562 142692 PRIVMSG #esoteric :14[[07!@$%^&*()+14]]4 M10 02https://esolangs.org/w/index.php?diff=79695&oldid=78631 5* 03PythonshellDebugwindow 5* (-22) 10/* LOLOL */ Use span clss=spoiler < 1609167567 303460 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Is learncpp.com good? It does seem to go into more advanced things < 1609167587 324991 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Alternatively I should force myself to figure out detours in Rust so I don't contribute to the existence of C++ code < 1609167631 695814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? sgeolang < 1609167633 876291 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Sgeolang used to change frequently, but eventually it rusted in place. < 1609167668 553441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Both of them seem too complicated and encourage complicated code. < 1609167676 101429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Rust is surely better, on the former axis. < 1609167696 759608 :int-e!~noone@int-e.eu PRIVMSG #esoteric :that cargo cult < 1609167707 304695 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you considered C? < 1609167724 742801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, actually, you should learn Pascal and tell me what's good about it. < 1609167728 505734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Or Oberon or something.) < 1609167759 114578 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :>.> I may have started doing my current project in C++ because I couldn't figure out why the sample code I was looking at wanted me to cast to (PVOID&) and I didn't figure out the C equivalent until later < 1609167839 42157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That guide doesn't seem like the sort of thing I'd recommend. < 1609167868 491523 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :The C API for OpenXR is a bit annoying and there's an... adequate if poorly documented C++ wrapper around it. Takes care of loading in extension functions and needing to call some functions twice < 1609167946 535132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The beauty of C++ is that it's easy to find a likeable subset because there's so much of it in the first place. < 1609167968 784087 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :`? RASEL < 1609167968 871337 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I don't know what you're doing, but presumably the API boundary isn't going to be that huge so this doesn't seem like a huge consideration. < 1609167970 764667 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :RASEL? ¯\(°​_o)/¯ < 1609167981 699565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Too bad C99 isn't one of the available subsets. < 1609168038 57978 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I mostly reach for C++ because I like having the various namespaces. < 1609168059 567742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in particular the namespace associated with structs < 1609168118 115418 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :When you say "the namespace associated with structs", I think of the (C) struct/union/enum tag namespace, which you *lose* when going to C++. < 1609168130 760230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you mean member functions? < 1609168150 976422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess maybe you mean struct A { struct B { } }; and so on. < 1609168176 747861 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or just static member functions. < 1609168182 508807 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes, member functions. < 1609168246 125014 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :I don't particularly want to do this repeatedly https://github.com/KhronosGroup/OpenXR-SDK-Source/blob/eedc7df3d99ca7a468d63a574629a9935716ae0b/src/tests/hello_xr/graphicsplugin_opengl.cpp#L91 < 1609168261 816320 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Oh hey it's C++ but without that C++ wrapper < 1609168294 994448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Certainly not. I don't know what OpenXR does exactly, anyway. < 1609168335 301324 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sgeo: it's a khronic disease < 1609168350 122793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you just mean GetInstanceProcAddr, that looks like the sort of thing OpenGL and a bunch of things make you do. < 1609168382 262032 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :Yeah, that's what I meant < 1609168428 657046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, too bad, I guess, this is what they make you do anyway. < 1609168611 896141 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net PRIVMSG #esoteric :The C++ wrapper defines a dispatcher thing that is provided as a last argument < 1609168745 231475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, you can do https://github.com/maluoi/StereoKit/blob/master/StereoKitC/systems/platform/openxr_extensions.h or something. < 1609170963 137123 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net JOIN :#esoteric < 1609170970 745250 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PART :#esoteric > 1609173889 64055 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03NicksterSand 5* 10New user account > 1609174253 524175 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=79696&oldid=79612 5* 03NicksterSand 5* (+206) 10/* Introductions */ < 1609180701 524115 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Remote host closed the connection < 1609180770 732001 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1609180801 494335 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rcajyhzexpvhipml JOIN :#esoteric < 1609181174 631730 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1609181318 462012 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds < 1609181318 565473 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1609181727 370099 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :hi! < 1609181737 434993 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :any cool stuff i should check out? < 1609182433 589111 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 246 seconds < 1609182505 546631 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1609183171 561498 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :What cool stuff do you intend to find anyways? < 1609183676 154704 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net JOIN :#esoteric < 1609183684 366234 :Alexandra!~alexandra@223.101.203.77.rev.sfr.net PART :#esoteric < 1609183760 153016 :rain1!~My_user_n@unaffiliated/rain1 PRIVMSG #esoteric :anything < 1609184649 798322 :int-e!~noone@int-e.eu PRIVMSG #esoteric :l < 1609184661 996350 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: anything to see? < 1609184662 202011 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: imported/ loaded/ whatever.) seriously, though :). my mother thinks i should run it in a fancy closet < 1609185508 105356 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :fungot tell us more about your mother < 1609185508 211275 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :nakilon: is it me, or do you < 1609185544 351544 :nakilon!~nakilon@62.241.154.104.bc.googleusercontent.com PRIVMSG #esoteric :fungot till toda we knew only about your father < 1609185544 801877 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :nakilon: what's the lisppaste i should use? ( pen and ink or digital are the main differences that cannot be guessed.) second, sure, deformative-ii. ( ignore set! for assignments, though it's debatable how worthy they are of course, supports the egobot command set. < 1609186926 301071 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric < 1609190182 305279 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :This is the (partial) message trace output from Free Hero Mesh showing a problem: http://sprunge.us/QsMqqi < 1609190364 688101 :S_Gautam!uid286066@gateway/web/irccloud.com/x-rcajyhzexpvhipml QUIT :Quit: Connection closed for inactivity < 1609190517 935850 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I am not sure why sending the MOVED message to the Missile at (8,16) is supposed to be deferred in Hero Mesh; it would seem to have moved (this is what "1 : MOVING : 0 : 16 494 [$Missile 7 16] : 16 494 [$Missile 7 16] : 0 8 : 0 16 : 0 0" is, it is the message sent just before the object moves), and its location seems to be the right place where it should be moved to > 1609190791 554828 PRIVMSG #esoteric :14[[07C Flat14]]4 N10 02https://esolangs.org/w/index.php?oldid=79697 5* 03NicksterSand 5* (+3633) 10Created page with "'''C Flat''' (or C) is an [[esoteric programming language]] that uses music as syntax. == Language overview == A C Flat program is a series of chords and rests. These are g..." > 1609190814 302406 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=79698&oldid=79661 5* 03NicksterSand 5* (+13) 10/* C */ Added C Flat < 1609194857 515142 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1609197342 520774 :Arcorann!~awych@159-196-65-46.9fc441.mel.nbn.aussiebb.net JOIN :#esoteric < 1609197716 671316 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Quit: WeeChat 3.0 < 1609198990 185412 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu < 1609199355 804839 :TheLie!~TheLie@2a02:810b:89c0:22f2:c47:4f22:7a09:f51 JOIN :#esoteric < 1609199800 904180 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com JOIN :#esoteric < 1609199947 570076 :delta23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com QUIT :Ping timeout: 246 seconds < 1609199958 60269 :deltaepsilon23!~deltaepsi@d179-68-39-184.evv.wideopenwest.com NICK :delta23