< 1582934545 709121 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1582935001 921929 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582936580 922692 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 246 seconds < 1582937316 281273 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582938029 273229 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1582938110 267806 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1582940024 920118 :arseniiv!~arseniiv@136.169.205.124 QUIT :Ping timeout: 246 seconds < 1582950974 63887 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca PRIVMSG #esoteric :Do you like this? http://zzo38computer.org/gurpsgame/1.ui/wiki?name=Session+28 < 1582956282 685684 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582957561 275723 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1582960213 62584 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric > 1582961545 489761 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Neauoire 5* 10New user account < 1582961965 144044 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 255 seconds < 1582961998 591312 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1582962707 910555 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=70076&oldid=70061 5* 03Neauoire 5* (+195) 10Added neauoire > 1582962740 838724 PRIVMSG #esoteric :14[[07Special:Log/upload14]]4 upload10 02 5* 03Neauoire 5* 10uploaded "[[02File:Preview.jpg10]]" > 1582962749 567737 PRIVMSG #esoteric :14[[07Orca14]]4 10 02https://esolangs.org/w/index.php?diff=70078&oldid=67389 5* 03Neauoire 5* (+4109) 10Added some basic details > 1582962801 157951 PRIVMSG #esoteric :14[[07Orca14]]4 M10 02https://esolangs.org/w/index.php?diff=70079&oldid=70078 5* 03Neauoire 5* (+7) 10/* External resources */ > 1582962970 747486 PRIVMSG #esoteric :14[[07Orca14]]4 M10 02https://esolangs.org/w/index.php?diff=70080&oldid=70079 5* 03Neauoire 5* (+115) 10Added extra details > 1582963138 19775 PRIVMSG #esoteric :14[[07Orca14]]4 M10 02https://esolangs.org/w/index.php?diff=70081&oldid=70080 5* 03Neauoire 5* (+157) 10/* Sample programs */ < 1582963422 221269 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582963447 609837 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582964918 317201 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582966033 596879 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :^^^ how do you store an arbitrary precision integer in orca? < 1582966046 931727 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :(assuming no bounding box) < 1582966915 100828 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1582967287 555454 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1582968117 114729 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582968230 115532 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1582968438 441798 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582969767 117565 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582971325 403954 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? password < 1582971327 697732 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month is leapfrogging rats. < 1582971502 106642 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582971592 67204 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582972258 729841 :shinh_!~i@129.EC0234U.cyberhome.ne.jp QUIT :Quit: Tiarra 0.1+svn-35634: SIGTERM received; exit < 1582972733 104172 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric < 1582973939 645742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: got fun? < 1582973939 750498 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: it sucks bigtime on anything requiring unboxed arithmetic by default otherwise... oh well < 1582974038 929311 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( is there such a thing as bottom-up iterative deepening ) < 1582974563 681110 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582974697 268800 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582974927 120635 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric < 1582976451 676126 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582977294 160075 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr QUIT :Remote host closed the connection < 1582978302 787299 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Remote host closed the connection < 1582978308 398942 :arseniiv!~arseniiv@136.169.205.124 JOIN :#esoteric < 1582978324 673018 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric > 1582978461 196137 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=70082&oldid=69278 5* 03Palaiologos 5* (-5) 10All bitops implemented! < 1582978510 403111 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1582979103 925569 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: leaving < 1582980969 21301 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :fungot: how are you today? < 1582980969 110301 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: but people *do*!! i want a mapreduce cluster now much to the point < 1582980970 424643 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :I think I just beat my personal best in impractical order to go into shops. I first went into Lidl, bought over 13 kilograms of food plus soda, some of which had to go to the freezer, then went to the DM shop next to it, and bought a single Carmex lip balm, which weighs 15 grams with packaging. That's a ratio of over 800 for impracticality. < 1582980987 638133 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :hi arseniiv < 1582981030 965687 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :fungot: but isn’t one happier when they have less needs of that big a caliber? < 1582981031 53823 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :arseniiv: actually i used fractions, but that would just be < 1582981040 572074 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :hi_jonas! < 1582982049 325721 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( std::cout << "print solution here" << std::endl; ) < 1582982059 332684 :int-e!~noone@int-e.eu PRIVMSG #esoteric :programming is tedious :) < 1582982556 284582 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Err, wtf. How am I supposed to use this macro in the presence of namespaces: define l_True (lbool((uint8_t)0)) (don't answer this, I know how, I just don't like it) < 1582982611 608356 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :do you like a language with one-letter keywords? < 1582982685 269449 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :b c Class { p i field = 0; b v setField(i value) { t.field = value; } } // J < 1582982884 109557 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: Not really. Typing isn't really where the time goes when programming, most of the time. < 1582982950 779406 :int-e!~noone@int-e.eu PRIVMSG #esoteric :escpecially for keywords where muscle memory sets in. < 1582982969 74983 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :int-e: ah I know! (At least that’s for me too.) But some programming language creators apparently think otherwise… < 1582982993 376842 :int-e!~noone@int-e.eu PRIVMSG #esoteric :If you can pick a shorter *meaningful* keyword, sure, go for it. < 1582982994 688985 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :like you’d probably seen pub mut fn go < 1582983011 858588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fun vs. function I can get behind; fn is a step too far. < 1582983043 369915 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> (\x -> x) () -- beware of hypocrisy < 1582983045 986811 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : () < 1582983084 679400 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm at the time in my life where I'm using a SAT solver and need a cardinality constraint. < 1582983173 833945 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/time/point/ < 1582983186 379764 :int-e!~noone@int-e.eu PRIVMSG #esoteric :so I need a break :P < 1582983203 679004 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582983256 674540 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582983791 545455 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582983863 679021 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582983919 979358 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving < 1582984029 860306 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1582984114 6777 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :fungot, do you used interlaced video? < 1582984114 42417 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: if you send a message < 1582985907 86206 :user01!~user01@c-69-140-60-5.hsd1.md.comcast.net JOIN :#esoteric < 1582985920 425353 :user01!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :ACTION  < 1582985925 126382 :user01!~user01@c-69-140-60-5.hsd1.md.comcast.net NICK :cloaked < 1582985934 704993 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :hello < 1582985938 285120 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :what's the topic < 1582986214 335948 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`wElCoMe cloaked < 1582986216 239093 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :cLoAkEd: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: . (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN EfNeT Or dAlNeT.) < 1582986431 571109 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`wElCoMe < 1582986433 85973 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: . (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On eFnEt oR DaLnEt.) < 1582986445 750694 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :interesting < 1582986485 253776 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :kspalaiologos: by the way, if you rewrote your bot and want its nickname back, ping me, I'll transfer it back < 1582986508 834086 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :hmmm, I've been doing different things lately < 1582986515 687103 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but I'll try rewriting the bot < 1582986634 152054 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :thanks all, nice to meet you < 1582986716 467839 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :I like the lime slices- very tasteful :] < 1582986719 289971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :kspalaiologos: There's `WeLcOmE as well, for symmetry < 1582986741 809566 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PRIVMSG #esoteric :brb < 1582986750 616394 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`welcom < 1582986751 395510 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :welcom? No such file or directory < 1582986762 352238 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`elcome < 1582986763 646442 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :elcome o he nternational ub or soteric rogramming anguage esign nd eployment! or ore nformation, heck ut ur iki: . (or he ther ind f soterica, ry #soteric n Fnet r ALnet.) < 1582986773 661181 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(No symmetry there, apparently.) < 1582986883 710031 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :a friend let me run a malbolge program on his dgx2 < 1582986897 382837 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :first time in my life I have seen my malbolge program run from start to end lol < 1582986908 882388 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :(a complex malbolge program obviously) < 1582987220 72760 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :hehe < 1582987358 329384 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :also my TI-link cable will be here in 9 days < 1582987369 722327 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and I'm planning to do some interesting stuff with it < 1582987386 838778 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :like, program a tracker and use my TI-83+ as a music player < 1582987396 241265 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :because I've got a pair of headphones on 2.5mm jack lying around < 1582987420 738770 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I thought about making a chess engine on a calculator, I've got it programmed and it plays out quite well < 1582987436 40814 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :around 600 byte binary, written in z80 asm < 1582987439 211161 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :how will that work? does the TI-83+ even have sound hardware that can play more than beeps? < 1582987453 808610 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :it has a jack port < 1582987456 805546 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :kspalaiologos: 600 bytes? isn't that shorter than Oscar Toledo's chess engines? < 1582987473 293743 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :port, sure, but you need something to generate the analog sound waves in real time behind that < 1582987487 869756 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :more than just beeps if you want to call it music < 1582987494 595796 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :toledos program is 300 bytes < 1582987497 430282 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :my program is 600 bytes < 1582987498 813181 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :oh < 1582987504 989125 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :I thought it was larger than that for some reason < 1582987519 438328 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :i'll play protracker modules < 1582987522 608773 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :using ti-83+ < 1582987528 718074 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :it's perfectly possible < 1582987555 734885 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I've wrote a program that imitates a tracker, i.e. it's just single channel, no mixing, and supports no effects < 1582987564 309669 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I believe it'd run on TI-83+ < 1582987568 277693 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :sound on ti83 has been done before < 1582987581 288829 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :single channel. ok. < 1582987590 506574 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :^ na na, I'll get it to mix channels < 1582987599 199233 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so I'll have mono output of up to 4 tones at a time < 1582987618 882605 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :that's enough for some chiptune music < 1582987631 779260 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :ok < 1582987649 222435 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :or I can just trim sample rate of some songs to 16k or 8k (it'd sound like garabage tho) < 1582987658 331941 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :but I believe it'd fit on ti-83+ without problems < 1582987767 230686 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :oh and I used J as a scripting language to solve a practical problem < 1582987769 754542 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :https://github.com/KrzysztofSzewczyk/ticalc/blob/master/extract.ijs < 1582989083 676930 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1582989571 747438 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :how can one get transparent types for functions in a language when functions can have optional parameters, a vararg, keyword parameters and keyword-only parameters? (Something like Python.) I see something like union types, tuples (these both would make optional arguments expressible: e. g. in Ceylon [A, B=, C=] ≡ [A]|[A, B]|[A, B, C]) and extensible records (for keyword arguments) but I can’t see how to combine it all nicely < 1582989651 595583 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, is [A,C] excluded? < 1582989718 562359 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :yeah, as these are positional-only parameters. Or I should check… < 1582989768 457840 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :anyway that behaviour (for positional-only parameters) is nice for me, I think < 1582989774 29840 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it makes sense, it's just not obvious from the syntax. < 1582989781 898142 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :yeah I bet < 1582989889 275382 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :though in Ceylon there are no keyword-only arguments, but there can be a vararg which is represented smugly as [A, B, C*] or [A, B, C+], [C*] means the usual: []|[C]|[C, C]|[C, C, C]|… < 1582989927 344987 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :that’s the thing I would be glad to have, in my hypothetical future language < 1582989956 989850 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :clever tricks < 1582989991 874309 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION wonders how to match an escape character (\e = \033) with sed. < 1582990030 823450 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :also I like languages with singleton tuples. They *are* useful, I see you Haskell < 1582990087 879328 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, producing a raw escape character, for example using $(printf '\e'), does the trick < 1582990100 595637 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But it's UGLY. < 1582990102 688749 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :int-e: thank you for showing me ##math BTW < 1582990344 590998 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :though that haven’t solved the original issue. But then I stumbled upon a xenwiki’s MOS page for that other person and it cleared for me that I would ultimately need a continued fraction expansion as you suggested originally, or the claim would be too strong to be true < 1582990544 543240 :tromp!~tromp@2a02:a210:ca3:2800:d1b4:8939:2b1:3324 PRIVMSG #esoteric :the modulo function i just wrote in lambda calculus curiously doesn't normalize for modulo 0 :-) < 1582991745 500701 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PART :#esoteric < 1582991948 991396 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :int-e: produce a raw escape character with $'\e' instead < 1582991961 346170 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :or just match with perl instead < 1582994563 700101 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds < 1582994622 230801 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric < 1582995759 437594 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection < 1582996512 672733 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1582997016 831281 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :oh well, type systems // why are you so hard // damn, nothing ever rhymes with “systems” < 1582997813 98688 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: thanks < 1582997819 682900 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I keep forgetting about $''. < 1582998549 930882 :xavo[m]!undersco1@gateway/shell/matrix.org/x-gfbhttnxjrbdyeyb JOIN :#esoteric < 1582998644 835908 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :how hard would it be to write a program generating random program with predictable output < 1582998655 599097 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :that would be able to test various parts of compiler, like optimizations and so on < 1582998666 292055 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I'm looking mostly for existing codebase for testing an assembly-like language < 1582998679 412826 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I know csmith, but is there something a bit simpler that would be easier to tweak? < 1583000240 446416 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1583000611 59723 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :What was that Haskell test package again? It's about fifteen years old now I think. < 1583000614 418272 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :ACTION googles < 1583000664 645687 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :Quickcheck, I think. < 1583000679 530815 :spruit11!~unknown@ip56522cc1.speed.planet.nl PRIVMSG #esoteric :https://wiki.haskell.org/Development_Libraries_and_Tools < 1583000730 164899 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net JOIN :#esoteric < 1583000930 104848 :LKoen!~LKoen@81.255.219.130 QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1583001429 832816 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1583002126 173352 :uglydog!d13a93ef@209.58.147.239 JOIN :#esoteric < 1583002527 71649 :uglydog!d13a93ef@209.58.147.239 QUIT :Remote host closed the connection > 1583002885 107686 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=70083&oldid=70082 5* 03Palaiologos 5* (-15) 10god damn it man registers broke again > 1583002947 647155 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=70084&oldid=70083 5* 03Palaiologos 5* (+110) 10 < 1583002951 704212 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So... that's another Ponder This down. (March 2020... somehow they tend to publish these early.) :) > 1583003130 599686 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=70085&oldid=70084 5* 03Palaiologos 5* (+120) 10 < 1583003458 517726 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :new password in 5 hours < 1583004034 960628 :cloaked!~user01@c-69-140-60-5.hsd1.md.comcast.net PART :#esoteric > 1583004093 887283 PRIVMSG #esoteric :14[[07AT14]]4 N10 02https://esolangs.org/w/index.php?oldid=70086 5* 03Hakerh400 5* (+1978) 10+[[AT]] > 1583004105 352101 PRIVMSG #esoteric :14[[07User:Hakerh40014]]4 10 02https://esolangs.org/w/index.php?diff=70087&oldid=70065 5* 03Hakerh400 5* (+18) 10+[[AT]] > 1583004141 789033 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=70088&oldid=70066 5* 03Hakerh400 5* (+18) 10+[[AT]] < 1583005050 209536 :interruptinuse!~interrupt@girl.mrtheplague.net QUIT :Quit: ZNC - https://znc.in -- bye bye! < 1583005139 368038 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1583005175 331990 :interruptinuse!~interrupt@girl.mrtheplague.net JOIN :#esoteric < 1583005323 649422 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 258 seconds < 1583005327 425600 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1583006213 661581 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: any progress? < 1583006213 712886 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: i just implemented < 1583006390 824937 :interruptinuse!~interrupt@girl.mrtheplague.net QUIT :Remote host closed the connection < 1583006521 309542 :interruptinuse!~interrupt@girl.mrtheplague.net JOIN :#esoteric > 1583006581 895117 PRIVMSG #esoteric :14[[07AT14]]4 10 02https://esolangs.org/w/index.php?diff=70089&oldid=70086 5* 03Hakerh400 5* (+442) 10Added a new example < 1583007382 3875 :imode!~linear@unaffiliated/imode JOIN :#esoteric > 1583009664 530703 PRIVMSG #esoteric :14[[07Eso2D14]]4 M10 02https://esolangs.org/w/index.php?diff=70090&oldid=69742 5* 03PythonshellDebugwindow 5* (+15) 10 > 1583009921 709237 PRIVMSG #esoteric :14[[07Eso2D14]]4 M10 02https://esolangs.org/w/index.php?diff=70091&oldid=70090 5* 03PythonshellDebugwindow 5* (-20) 10 > 1583010026 499511 PRIVMSG #esoteric :14[[07Eso2D14]]4 M10 02https://esolangs.org/w/index.php?diff=70092&oldid=70091 5* 03PythonshellDebugwindow 5* (+37) 10/* Handy subprograms */ < 1583010188 184439 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1583011694 264199 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric : new password in 5 hours => haahahahehehe < 1583012394 181882 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1583012434 986781 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :do you know any good solutions to the “covariant equality/containment problem” which is the following?: < 1583012435 112060 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :suppose we have a language with subtyping, co(ntra)?variant type parameters and interfaces, and that language likes immutable things < 1583012435 195625 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :and also there’s `interface Container { Bool contains(T val) }` which we would want to implement by an `interface Seq` < 1583012435 195678 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :of course we can’t do that in a simple way, as variances don’t match. We can e. g. make `interface Set : Container` where `Top` is the top type < 1583012435 361056 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :that’s not that good because the compiler will typecheck obvious errors like `Set s = …; return s.contains("str")` => this would always return false, which ideally is known statically < 1583012435 452253 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :we could abandon covariance, but that’s really unhandy when using immutable containers. We could abandon subtyping at all. Or…? < 1583012494 842417 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :NB: equality suffers in the same manner but at least we’re usually happy with that < 1583012629 234748 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :also “to implement by” may read more sensible as “to be a supertype of” < 1583012659 298006 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :may be read more sensibly*, sorry < 1583012706 516372 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 258 seconds < 1583013080 565361 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :`perl -euse Date::Manip::Date; $n=Date::Manip::Date->new("now UTC"); $p=$n->new($n->calc($n->new_delta("1w"))->printf("%Y-%m-01 00:00 UTC")); $d=$n->calc($p); print "new password in ",$d->printf(0<$d->cmp($d->new("1h"))?"%.1hys hours\n":"%.0mys minutes\n"); < 1583013081 945827 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :new password in 2.1 hours < 1583013091 808989 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :(yes, I know that's not the shortest way to write that. it's a readable way.) < 1583013288 921115 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :I wonder if it'd be evil to make the password a spoiler, such as to a Star Wars movie that recently came out < 1583013379 880605 :b_jonas!~x@catv-176-63-13-212.catv.broadband.hu PRIVMSG #esoteric :I might try that < 1583014929 297347 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1583015843 691918 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1583015911 982409 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1583016074 708738 :arseniiv!~arseniiv@136.169.205.124 PRIVMSG #esoteric :b_jonas: make a spoiler to what the second next password will be(??) < 1583016618 105885 :arseniiv_!~arseniiv@95.105.9.189.dynamic.ufanet.ru JOIN :#esoteric < 1583016777 411516 :arseniiv!~arseniiv@136.169.205.124 QUIT :Ping timeout: 258 seconds < 1583017762 452380 :arseniiv_!~arseniiv@95.105.9.189.dynamic.ufanet.ru NICK :arseniiv < 1583017879 774557 :tromp!~tromp@2a02:a210:ca3:2800:d1b4:8939:2b1:3324 QUIT :Remote host closed the connection < 1583018483 529902 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net QUIT :Read error: Connection reset by peer < 1583018596 11298 :longname!~airbouy@75-26-238-119.lightspeed.glvwil.sbcglobal.net JOIN :#esoteric < 1583018825 758486 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: will this countdown ever end? < 1583018825 820747 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :int-e: the smilies in my earlier notation < 1583019124 144093 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1583020124 539981 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm running my Ponder This program for board sizes 19 and 20... and it has a literal countdown. Unfortunately, the time taken at each stage increases exponentially (with somewhat erratic factors), so it's hard to make predictions for the ultimate running time based on the output.) < 1583020760 273656 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric