< 1648425763 322013 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I had played the GURPS yesterday. (There was permanently the sun light but we managed to use a magic gem to get rid of it.) < 1648425853 71072 :Soni!~quassel@autistic.space QUIT :Ping timeout: 240 seconds < 1648425972 334872 :b_jonas!~x@catv-176-63-4-13.catv.fixed.vodafone.hu PRIVMSG #esolangs :sprout_: create an entry on the wiki < 1648426007 494548 :sprout_!~quassel@2a02:a467:ccd6:1:f9b9:c2d3:ad62:759d PRIVMSG #esolangs :I did, it's there under Soul language < 1648428705 567720 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Read error: Connection reset by peer < 1648428706 515743 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Read error: Connection reset by peer < 1648428729 73021 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1648428760 266536 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1648431157 67399 :Soni!~quassel@autistic.space JOIN #esolangs SoniEx2 :Genders: Autgender, 💜⬜💚; Soni L. > 1648432292 812462 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=94289 5* 03ColorfulGalaxy 5* (+1511) 10Created page with "'''''' is a programming language inspired by [[Piet]]. It is a text-based equivalent of Piet. The colors are described below: {| class="wikitable" |- | Light..." < 1648434117 583670 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I wrote it in my computer in case you like to read: http://zzo38computer.org/gurpsgame/1.ui/wiki?name=Session+52 Do you like this? (You can change the number in the end of the URL if you want to read the previous one, or the previous one before that, etc. The first one is 1) One stone has labels in Latin. Do you know how to write those words in Latin properly? > 1648435583 997712 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=94290&oldid=94289 5* 03ColorfulGalaxy 5* (+75) 10 < 1648438090 31145 :MrAureliusR_!~MrAureliu@user/mraureliusr NICK :MrAureliusR < 1648442149 109344 :shikhin!~shikhin@offtopia/offtopian QUIT :*.net *.split < 1648442149 488581 :feoh!~feoh@idlerpg/player/feoh QUIT :*.net *.split < 1648442163 965140 :shikhin!~shikhin@ahti.space JOIN #esolangs * :shikhin < 1648442178 570416 :feoh!~feoh@idlerpg/player/feoh JOIN #esolangs feoh :Chris Patti < 1648442214 259479 :shikhin!~shikhin@ahti.space CHGHOST ~shikhin :offtopia/offtopian > 1648445664 205823 PRIVMSG #esolangs :14[[07Setscript14]]4 10 02https://esolangs.org/w/index.php?diff=94291&oldid=94277 5* 03Peter 5* (-52) 10Blanked the page > 1648445682 240221 PRIVMSG #esolangs :14[[07Set script14]]4 10 02https://esolangs.org/w/index.php?diff=94292&oldid=94276 5* 03Peter 5* (-23) 10Blanked the page < 1648446577 276572 :monoxane2!~monoxane@user/monoxane JOIN #esolangs monoxane :monoxane < 1648446648 21668 :monoxane!~monoxane@user/monoxane QUIT :Ping timeout: 260 seconds < 1648446648 288863 :monoxane2!~monoxane@user/monoxane NICK :monoxane > 1648450260 483581 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=94293&oldid=94290 5* 03ColorfulGalaxy 5* (+315) 10 < 1648451031 92343 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1648453965 6287 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Indigo 5* 10New user account < 1648454138 354261 :Guest12!~Guest12@2601:647:5f00:6e99:ec51:6e9e:fd5b:5a70 JOIN #esolangs * :[https://web.libera.chat] Guest12 < 1648454790 803194 :Guest12!~Guest12@2601:647:5f00:6e99:ec51:6e9e:fd5b:5a70 QUIT :Quit: Client closed > 1648459587 186972 PRIVMSG #esolangs :14[[07Questa14]]4 N10 02https://esolangs.org/w/index.php?oldid=94294 5* 03ChuckEsoteric08 5* (+746) 10Created page with "'''Questa'''(from "'''Que'''ue and '''sta'''ck ") is [[Esoteric data structure]] by [[User:ChuckEsoteric08]], that is similar to [[Deque]], but you can push element only on to..." > 1648459692 28765 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=94295&oldid=94211 5* 03ChuckEsoteric08 5* (+34) 10 < 1648461036 933431 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1648462470 285071 PRIVMSG #esolangs :14[[07Quests14]]4 N10 02https://esolangs.org/w/index.php?oldid=94296 5* 03ChuckEsoteric08 5* (+704) 10Created page with "'''Quests''' is first [[Questa]]-based made language by [[User:ChuckEsoteric08]]. ==Commands== {| class="wikitable" |- ! Command !! Function |- | p(x) || Push x to top of the..." > 1648462740 301185 PRIVMSG #esolangs :14[[07Questa14]]4 10 02https://esolangs.org/w/index.php?diff=94297&oldid=94294 5* 03ChuckEsoteric08 5* (+96) 10 > 1648462749 926961 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=94298&oldid=94295 5* 03ChuckEsoteric08 5* (+12) 10 > 1648466770 182784 PRIVMSG #esolangs :14[[07Force of Arch14]]4 N10 02https://esolangs.org/w/index.php?oldid=94299 5* 03ChuckEsoteric08 5* (+783) 10Created page with "'''Force of Arch''' is [[Arch]]-based language by [[User:ChuckEsoteric08]], which is mix between [[BF]] and Data structure [[Arch]]. ==Commands== {| class="wikitable" |- ! Com..." > 1648466804 590720 PRIVMSG #esolangs :14[[07User:ChuckEsoteric0814]]4 10 02https://esolangs.org/w/index.php?diff=94300&oldid=94298 5* 03ChuckEsoteric08 5* (+19) 10 < 1648466879 19109 :razetime!~quassel@117.254.35.152 JOIN #esolangs razetime :razetime < 1648467375 21757 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 JOIN #esolangs * :anon < 1648467567 801136 :sprout_!~quassel@2a02:a467:ccd6:1:f9b9:c2d3:ad62:759d QUIT :Ping timeout: 250 seconds < 1648469941 808132 :definitelya!~hexagon@host-79-16-55-189.retail.telecomitalia.it JOIN #esolangs * :WRATH < 1648473984 815990 :razetime!~quassel@117.254.35.152 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1648474549 22511 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1648478344 990404 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Hello8693 5* 10New user account < 1648481025 86556 :razetime!~quassel@117.254.35.152 JOIN #esolangs razetime :razetime < 1648485292 643232 :Sgeo_!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1648485448 560155 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? device < 1648485451 854769 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :A device is a browser session. Please verify your device. < 1648485488 72726 :Sgeo!~Sgeo@user/sgeo QUIT :Ping timeout: 260 seconds > 1648485509 357136 PRIVMSG #esolangs :14[[07Soul14]]4 10 02https://esolangs.org/w/index.php?diff=94301&oldid=94286 5* 03Marco Devillers 5* (+860) 10predefined operators > 1648485843 397400 PRIVMSG #esolangs :14[[07Soul14]]4 10 02https://esolangs.org/w/index.php?diff=94302&oldid=94301 5* 03Marco Devillers 5* (+285) 10infobox < 1648486015 26150 :Sgeo__!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1648486147 119658 PRIVMSG #esolangs :14[[07Soul14]]4 M10 02https://esolangs.org/w/index.php?diff=94303&oldid=94302 5* 03Marco Devillers 5* (+0) 10typo < 1648486199 606534 :Sgeo_!~Sgeo@user/sgeo QUIT :Ping timeout: 256 seconds > 1648486636 532437 PRIVMSG #esolangs :14[[07Arch14]]4 10 02https://esolangs.org/w/index.php?diff=94304&oldid=74181 5* 03ChuckEsoteric08 5* (+30) 10 < 1648486951 927568 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1648487021 806912 :definitelya_!~hexagon@host-87-18-180-80.retail.telecomitalia.it JOIN #esolangs * :WRATH < 1648487167 728047 :definitelya!~hexagon@host-79-16-55-189.retail.telecomitalia.it QUIT :Ping timeout: 246 seconds < 1648487274 1892 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 PRIVMSG #esolangs :https://esolangs.org/wiki/Soul take a day to work on the interpreter, and then some hours to do the docs < 1648487518 411466 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Yeah, nice page. < 1648487618 448665 :razetime!~quassel@117.254.35.152 QUIT :Quit: https://quassel-irc.org - Chat comfortably. Anywhere. < 1648487637 58708 :razetime!~quassel@117.254.35.152 JOIN #esolangs razetime :razetime < 1648487667 881691 :razetime!~quassel@117.254.35.152 QUIT :Client Quit > 1648488768 381220 PRIVMSG #esolangs :14[[07Soul14]]4 M10 02https://esolangs.org/w/index.php?diff=94305&oldid=94303 5* 03Marco Devillers 5* (-21) 10minimize > 1648489025 519102 PRIVMSG #esolangs :14[[07Soul14]]4 M10 02https://esolangs.org/w/index.php?diff=94306&oldid=94305 5* 03Marco Devillers 5* (+0) 10typo < 1648490134 409918 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 PRIVMSG #esolangs :trace of 'fac 6 print' in Soul: https://pastebin.com/x6X5vi4q > 1648490846 121196 PRIVMSG #esolangs :14[[07Q set14]]4 N10 02https://esolangs.org/w/index.php?oldid=94307 5* 03Peter 5* (+19) 10Redirected page to [[Q-SET]] > 1648490863 405940 PRIVMSG #esolangs :14[[07Qset14]]4 N10 02https://esolangs.org/w/index.php?oldid=94308 5* 03Peter 5* (+19) 10Redirected page to [[Q-SET]] > 1648491367 996533 PRIVMSG #esolangs :14[[07Q-SET14]]4 N10 02https://esolangs.org/w/index.php?oldid=94309 5* 03Peter 5* (+254) 10Created page with "**Q-SET** is a programming language designed by [[User:Peter]]. All data consists of sets of numbers, which may or may not be structured in ordered pairs. It's named after the..." > 1648491381 800373 PRIVMSG #esolangs :14[[07Q-SET14]]4 10 02https://esolangs.org/w/index.php?diff=94310&oldid=94309 5* 03Peter 5* (+0) 10 < 1648493499 67031 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 PRIVMSG #esolangs :put it on Reddit. go, Karma, go! https://www.reddit.com/r/ProgrammingLanguages/comments/tqftad/soul_an_esoteric_concatenative_language/ > 1648494879 67629 PRIVMSG #esolangs :14[[07Soul14]]4 M10 02https://esolangs.org/w/index.php?diff=94311&oldid=94306 5* 03Marco Devillers 5* (+1) 10typo < 1648497909 117724 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 256 seconds < 1648497943 70246 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 256 seconds > 1648498010 844967 PRIVMSG #esolangs :14[[07Yaren14]]4 M10 02https://esolangs.org/w/index.php?diff=94312&oldid=86396 5* 03Kaveh Yousefi 5* (+70) 10Improved the formatting of commands. > 1648498060 399362 PRIVMSG #esolangs :14[[07Yaren14]]4 10 02https://esolangs.org/w/index.php?diff=94313&oldid=94312 5* 03Kaveh Yousefi 5* (+160) 10Added a hyperlink to my implementation of the Yaren programming language on GitHub and changed the category tag Unimplemented to Implemented. > 1648498196 678664 PRIVMSG #esolangs :14[[07Yaren14]]4 10 02https://esolangs.org/w/index.php?diff=94314&oldid=94313 5* 03Kaveh Yousefi 5* (+171) 10Added an infinite cat program as a further example. < 1648498301 746962 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1648498385 110398 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 256 seconds < 1648498427 164232 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1648498466 134017 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1648498519 186745 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1648498919 219415 :fowl!~fowlmouth@user/fowl QUIT :Quit: cya pals < 1648499036 734200 :fowl!~fowlmouth@user/fowl JOIN #esolangs fowl :fowlmouth < 1648499269 962971 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de QUIT :Quit: WeeChat 3.4 < 1648499422 804277 :Melvar!~melvar@dslb-084-057-075-079.084.057.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar < 1648500918 573592 :definitelya_!~hexagon@host-87-18-180-80.retail.telecomitalia.it QUIT :Quit: h > 1648503045 245336 PRIVMSG #esolangs :14[[07Copyright makes no sense14]]4 N10 02https://esolangs.org/w/index.php?oldid=94315 5* 03Hakerh400 5* (+1896) 10Created page with "In this article we prove that copyright does not make any sense. Not only that we prove it, but we also verify the proof using Lean theorem prover. The proof is 100% correct!..." > 1648503234 615751 PRIVMSG #esolangs :14[[07Copyright makes no sense14]]4 10 02https://esolangs.org/w/index.php?diff=94316&oldid=94315 5* 03Hakerh400 5* (+110) 10 < 1648503792 882908 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1648506174 480932 :slavfox!~slavfox@93.158.232.111 QUIT :Ping timeout: 252 seconds < 1648506908 128123 :slavfox!~slavfox@93.158.232.111 JOIN #esolangs slavfox :slavfox < 1648507270 90791 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Quit: ... < 1648507344 810208 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN #esolangs lambdabot :Lambda_Robots:_100%_Loyal > 1648508096 775202 PRIVMSG #esolangs :14[[07Copyright makes no sense14]]4 M10 02https://esolangs.org/w/index.php?diff=94317&oldid=94316 5* 03Corbin 5* (+49) 10Add link to related material on WP. < 1648508288 497466 :int-e!~noone@int-e.eu PRIVMSG #esolangs :∃ (f : book → book), f b₁ = b₂ ...yeah that's a bit silly I think < 1648508319 591206 :int-e!~noone@int-e.eu PRIVMSG #esolangs :to capture the notion of reconstruction < 1648508366 325598 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(whatever that is supposed to entail legally; copyright cares about reproduction and derived works) < 1648508618 565802 :int-e!~noone@int-e.eu PRIVMSG #esolangs :also related: http://www.spiderrobinson.com/melancholyelephants.html < 1648508711 373912 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :It sounds reasonable enough. The overreach might be in the definition of f; the intent was that b2's copyrighted sections could be found within b1 in some permutation, but f is not structurally constrained to merely be a combinator of b1's contents. < 1648508772 362802 :int-e!~noone@int-e.eu PRIVMSG #esolangs :precisely < 1648508932 210978 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Even so, restricting f doesn't seem to actually make things worse, reading the details of the proof. The proof says, roughly: there exists a non-copyrighted book, there exists a copyrighted book, and there exists an f. If that non-copyrighted book is e.g. a dictionary, then the argument is relatively sound. < 1648508972 995932 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Indeed, there's a sorites paradox with copyrightability of works which are decomposible into elements or primitives; how much copying is enough to infringe copyright, vs how much original material is required to even qualify for copyright? < 1648509010 804185 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :If I build a big pile of non-copyrightable media, then the pile might be copyrightable anyway. This is quite silly, but it's the law. < 1648509197 929799 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I think we have a real life example of this kind of mess... what's the copyright status of code produced by copilot? < 1648509240 997750 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(There were some cases where it unambiguously reproduced GPL code sans license... but let's discount those.) < 1648509384 602560 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I try to avoid by I don't do copyright when I make my own stuff. (Actually I wanted to make up a license which effectively prevents other making restrictions too but is otherwise not restricted by copyright, even no attribution is required either, etc, and cannot be sued in many cases either, with some exception to allow relicensing by GNU GPL; but, I had not done so (I am not a lawyer), so I will just do public domain). < 1648509918 36347 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 QUIT :Ping timeout: 260 seconds < 1648510181 19346 :sprout!~quassel@2a02:a467:ccd6:1:950:287b:c4be:ac00 JOIN #esolangs * :anon