< 1637281327 441938 :Melvar!~melvar@dslc-082-082-054-043.pools.arcor-ip.net PRIVMSG #esolangs :What are complex generic expressions and const arguments? > 1637281391 285831 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Icosalord 5* 10New user account > 1637281471 431272 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=89747&oldid=89742 5* 03Icosalord 5* (+140) 10/* Introductions */ < 1637281886 410212 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1637281895 635872 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1637281972 397790 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life > 1637282710 417201 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=89748&oldid=89747 5* 03Icosalord 5* (+172) 10 < 1637283265 438545 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :Melvar: that means an expression in a generic paramter, in generic context, that contains a generic value parameter, so that the typechecker has to be able to prove that some type is always the same as some other type, for which it has to compare the value of a generic value parameter in the two types, where those expressions aren't concrete values but functions of some generic variables as input, so < 1637283271 564603 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :that's hard < 1637283355 429051 :oerjan!~oerjan@sprocket.nvg.ntnu.no JOIN #esolangs oerjan :Ørjan Johansen < 1637283434 972849 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :Melvar, like imagine you are defining a type MyArray, and in a function generic like fn foo, you take a value of type MyArray and assign it to a variable of type MyArray. the rust compiler has to make sure that the types match generically to allow the code, not just that they match after instantiating with a specific X, so it has to prove that X+X and X*2 are the same < 1637283440 992286 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :number for every X. < 1637283457 122599 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :it can't generally do such proofs, so it refuses to do such comparisons except in a few very limited restricted cases < 1637295216 571531 :wareya!~wareya@cpe-67-246-10-1.nycap.res.rr.com JOIN #esolangs wareya :realname < 1637297217 605552 :Melvar!~melvar@dslc-082-082-054-043.pools.arcor-ip.net PRIVMSG #esolangs :I see. < 1637303302 237837 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-d6e1-81e2-c41b-e541.res6.spectrum.com QUIT :Remote host closed the connection < 1637303323 634162 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-25fa-aed4-2d8e-87a0.res6.spectrum.com JOIN #esolangs * :realname < 1637306046 168789 :oerjan!~oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1637307672 825133 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1637314745 320754 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: Oh is that why, mm. I expected it to go the C++ route and check after instantiation < 1637315550 553442 :Koen!~Koen@217.252.88.92.rev.sfr.net JOIN #esolangs * :Koen < 1637317329 121041 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Read error: Connection reset by peer < 1637318017 714431 :dyeplexer!~dyeplexer@user/dyeplexer JOIN #esolangs dyeplexer :t b k ky jt h bc < 1637319416 343506 :Everything!~Everythin@37.115.210.35 JOIN #esolangs * :Everything < 1637320279 699071 :int-e!~noone@int-e.eu PRIVMSG #esolangs :may I also say that union::Union::<{N*N}>::new() looks ridiculous and ugly < 1637320373 49600 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(that's a generic `Union` type from a module called `union`, with a (constant) generic argument that equals `N*N`... and then the `new` method for that) < 1637320494 328269 :int-e!~noone@int-e.eu PRIVMSG #esolangs :
ACTION is not a fan of encapsulating an expression in curly braces, nor of the ::<...> syntax.
< 1637320514 975309 :Franciman!~Franciman@mx1.fracta.dev PRIVMSG #esolangs :C++ templates being the ultimate esolang < 1637320643 282999 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh sure it's an unfair comparison < 1637320746 422274 :int-e!~noone@int-e.eu PRIVMSG #esolangs :C++ is much older, and its rules surrounding templates are arcane. Presumably the Rust designers don't want to end up in this situation so they are being conservative in what they support. < 1637324086 303529 :Koen!~Koen@217.252.88.92.rev.sfr.net QUIT :Quit: Leaving... < 1637324121 778795 :sunarch!uid526836@user/sunarch QUIT :Quit: Connection closed for inactivity < 1637324750 123859 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1637325001 308928 :Everything!~Everythin@37.115.210.35 QUIT :Quit: leaving < 1637325240 513432 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1637328725 398206 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1637328870 862817 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1637328887 389820 :arseniiv!~arseniiv@136.169.233.69 JOIN #esolangs * :the chaotic arseniiv < 1637329503 857933 :delta23!~delta23@user/delta23 JOIN #esolangs delta23 :delta23__ < 1637329763 448533 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: see you later > 1637329871 739657 PRIVMSG #esolangs :14[[07User:Icosalord14]]4 N10 02https://esolangs.org/w/index.php?oldid=89749 5* 03Icosalord 5* (+76) 10Created page with "hi, i'm a icosahedron who randomly discovered esolangs from a youtube video." > 1637331036 671526 PRIVMSG #esolangs :14[[07BitShift14]]4 10 02https://esolangs.org/w/index.php?diff=89750&oldid=46161 5* 03Kaveh Yousefi 5* (+165) 10Marked the official BitShift implementation's hyperlink as currently invalid based upon its disrespondency, and added a reference to my implementation on GitHub. < 1637332663 925489 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 JOIN #esolangs Twingamerdudes :[https://web.libera.chat] Twingamerdudes < 1637332670 803818 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :hello < 1637332713 685961 :riv!river@tilde.team/user/river PRIVMSG #esolangs :hi < 1637332725 450399 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :just updated my npp UDL for mash to support dark mode (like make it have a nonwhite bg). Didn't do it earlier because I could not enable dark mode because I was too lazy to update lol < 1637333049 777713 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :TIL about Notepad++ user-defined languages, or UDLs. < 1637333058 599353 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1637333277 138669 :riv!river@tilde.team/user/river PRIVMSG #esolangs :is N++ good? < 1637333285 713858 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :yeah it is < 1637333288 932315 :riv!river@tilde.team/user/river PRIVMSG #esolangs :what's mash? < 1637333308 966408 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :my esolang < 1637333317 859223 :riv!river@tilde.team/user/river PRIVMSG #esolangs :ocool < 1637333321 883652 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :you can find it right here https://esolangs.org/wiki/Mash < 1637333378 402966 :riv!river@tilde.team/user/river PRIVMSG #esolangs :interesting esolang < 1637333391 657349 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :thanks < 1637333430 388743 :sprock!~sprock@user/sprock QUIT :Ping timeout: 256 seconds > 1637333579 654021 PRIVMSG #esolangs :14[[07Mash14]]4 M10 02https://esolangs.org/w/index.php?diff=89751&oldid=89635 5* 03Twingamerdudes 5* (+1) 10/* How to make a mash program */ fixed tyo < 1637333605 773584 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :bruh, fixed a typo, and then made a typo in the typo fix, lol < 1637333673 370666 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :That's what the preview button is for. > 1637333673 967244 PRIVMSG #esolangs :14[[07Mash14]]4 10 02https://esolangs.org/w/index.php?diff=89752&oldid=89751 5* 03Twingamerdudes 5* (+0) 10/* Notes and tips */ > 1637333715 599921 PRIVMSG #esolangs :14[[07Mash14]]4 10 02https://esolangs.org/w/index.php?diff=89753&oldid=89752 5* 03Twingamerdudes 5* (+0) 10/* Tips */ < 1637333721 748301 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :so many typo fixes > 1637333775 234875 PRIVMSG #esolangs :14[[07Mash14]]4 M10 02https://esolangs.org/w/index.php?diff=89754&oldid=89753 5* 03Twingamerdudes 5* (+1) 10/* Notes */ > 1637334095 617266 PRIVMSG #esolangs :14[[07User:Twingamerdudes14]]4 M10 02https://esolangs.org/w/index.php?diff=89755&oldid=89543 5* 03Twingamerdudes 5* (-1) 10For some reason. I did pfp (profile picture) instead of pf(profile). Sometimes, I make stupid mistakes like this. > 1637334153 381923 PRIVMSG #esolangs :14[[07Mash14]]4 M10 02https://esolangs.org/w/index.php?diff=89756&oldid=89754 5* 03Twingamerdudes 5* (+9) 10Made my profile name a link instead of plain text < 1637334381 805658 :sprout_!~quassel@2a02:a467:ccd6:1:2c29:7076:9399:3f2e QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1637334408 651100 :sprout!~quassel@2a02:a467:ccd6:1:7816:2c69:3dcc:933a JOIN #esolangs * :anon < 1637334646 243604 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :I dare someone to try to make a game that uses my esolang < 1637335106 937891 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :Twingamerdudes: The typical strategy would be to compile a more ergonomic language to your language. The first two steps are to determine how Mash computes, and what kind of complexity it has. < 1637335159 892104 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :By "complexity" I mean what kinds of functions Mash can compute. Some functions are more complex than others, and can't be implemented as easily. (This leads to "computational complexity theory", a very important topic for computer scientists.) < 1637335203 623004 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :I would probably start here: https://en.wikipedia.org/wiki/Counter_machine < 1637335421 837505 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :That would be pretty good, but my lack of making programming languages makes it almost impossible for me. I use so many cheat cheats in Mash, I can't count anymore XD. Maybe I might do it, but it won't be for a long time < 1637335531 475631 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :like Mash is my esoteric programming language and programming language overall. < 1637335894 330465 :Corbin!~Corbin@c-73-67-140-116.hsd1.or.comcast.net PRIVMSG #esolangs :No worries. Computational theory, including compiler theory, is dense and subtle. It will take a while to be able to think quickly using these tools. < 1637335932 203881 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 PRIVMSG #esolangs :alr < 1637336142 859003 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:1ca4:c0f:d179:d5f2 QUIT :Quit: Client closed < 1637340945 944793 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:4d87:807d:19d2:36a1 JOIN #esolangs Twingamerdudes :[https://web.libera.chat] Twingamerdudes < 1637341286 787639 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1637341900 147834 :dutch!~DutchIngr@user/dutch QUIT :Quit: WeeChat 3.3 > 1637342083 739565 PRIVMSG #esolangs :14[[07BitShift14]]4 M10 02https://esolangs.org/w/index.php?diff=89757&oldid=89750 5* 03Kaveh Yousefi 5* (+14) 10Emphasized that the character input and output is based on the ASCII character repertoire. > 1637344426 252214 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89758&oldid=87404 5* 03TJC games 5* (+220) 10A lot of stoof > 1637344670 474647 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89759&oldid=89758 5* 03TJC games 5* (+4) 10 > 1637345689 339114 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89760&oldid=89759 5* 03TJC games 5* (+136) 10That's a big number < 1637346021 133318 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1637346571 643059 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1637346602 141002 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1637346678 106182 :Twingamerdudes!~Twingamer@2601:588:c505:ce40:4d87:807d:19d2:36a1 QUIT :Quit: Client closed < 1637346835 949494 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1637347159 61404 :dyeplexer!~dyeplexer@user/dyeplexer QUIT :Remote host closed the connection > 1637348005 944270 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89761&oldid=89760 5* 03TJC games 5* (+736) 10adding v1.0 to the page for older porgrams > 1637348028 64285 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89762&oldid=89761 5* 03TJC games 5* (-159) 10/* Examples */ > 1637348141 96970 PRIVMSG #esolangs :14[[07Gdelfuck14]]4 10 02https://esolangs.org/w/index.php?diff=89763&oldid=89762 5* 03TJC games 5* (-4) 10 > 1637348523 806164 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03TJC games 5* 10moved [[02Gdelfuck10]] to [[Gdel****]]: I don't want to have swear words anymore > 1637348523 904241 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03TJC games 5* 10moved [[02Talk:Gdelfuck10]] to [[Talk:Gdel****]]: I don't want to have swear words anymore < 1637348665 1837 :sprock!~sprock@user/sprock QUIT :Ping timeout: 256 seconds > 1637353534 608927 PRIVMSG #esolangs :14[[07BitShift14]]4 10 02https://esolangs.org/w/index.php?diff=89768&oldid=89757 5* 03Kaveh Yousefi 5* (+1685) 10Added an exemplary and very simple implementation of BitShift in Common Lisp. > 1637353745 905939 PRIVMSG #esolangs :14[[07++Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=89769&oldid=65074 5* 03Kaveh Yousefi 5* (+58) 10Improved the formatting by designing command characters as code, and introduced homogeneity by appending a terminating dot to the descriptions lacking such. < 1637354291 603814 :wareya!~wareya@cpe-67-246-10-1.nycap.res.rr.com QUIT :Ping timeout: 264 seconds < 1637354529 374585 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1637355422 341734 :sprock!~sprock@user/sprock QUIT :Ping timeout: 240 seconds < 1637355519 658380 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1637356081 990830 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-25fa-aed4-2d8e-87a0.res6.spectrum.com QUIT :Remote host closed the connection < 1637356104 615216 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-de28-6e2b-48d2-a068.res6.spectrum.com JOIN #esolangs * :realname < 1637356401 755413 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-de28-6e2b-48d2-a068.res6.spectrum.com QUIT :Quit: Leaving > 1637357362 80045 PRIVMSG #esolangs :14[[07Gdel****14]]4 10 02https://esolangs.org/w/index.php?diff=89770&oldid=89764 5* 03TJC games 5* (+0) 10 < 1637359043 575902 :sprock!~sprock@user/sprock QUIT :Ping timeout: 264 seconds < 1637359687 225227 :Thelie!~Thelie@business-24-134-17-157.pool2.vodafone-ip.de JOIN #esolangs * :Thelie < 1637360347 629115 :NotApplicable!~NotApplic@2603-6010-a141-6fa3-4470-3c73-8f10-ce17.res6.spectrum.com JOIN #esolangs * :realname < 1637362280 292270 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Hm. SendGrid's email API has a 100 messages/day free tier with no time limits, which would be perfectly sufficient for the esolangs.org registration emails, and would circumvent all that trouble of running a mail server, but I can't quite figure out if it's really intended for that (they keep calling it a "trial"). < 1637363069 476441 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, best case, it means "offer subject to change without notice" < 1637363082 998054 :int-e!~noone@int-e.eu PRIVMSG #esolangs :worst case, you're missing some small print < 1637363693 706636 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :fizzie: is it one of those "free" things where you hvae to give a credit card number to create an account? < 1637363697 197518 :sprock!~sprock@user/sprock JOIN #esolangs sprock :Maeve Sproule < 1637363792 261683 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :As far as I can tell, you only need billing information for switching to a paid tier. < 1637364031 772870 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :good < 1637364401 637635 :b_jonas!~x@catv-176-63-4-16.catv.broadband.hu PRIVMSG #esolangs :fungot: A cat that could play? A mouse that could waltz? Good heavens! The emperor couldn't believe his ears. < 1637364401 951837 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :b_jonas: i still don't know what > 1637365855 530602 PRIVMSG #esolangs :14[[07Muppp14]]4 10 02https://esolangs.org/w/index.php?diff=89771&oldid=68449 5* 03Kaveh Yousefi 5* (+79) 10Added categories to the page and amended some orthographic mistakes. < 1637366324 240926 :user3456_!user3456@user/user3456 JOIN #esolangs user3456 :user3456 < 1637366374 892456 :user3456!user3456@user/user3456 QUIT :Remote host closed the connection < 1637366388 8919 :user3456_!user3456@user/user3456 NICK :user3456