00:02:43 <zzo38> 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.)
00:04:13 -!- Soni has quit (Ping timeout: 240 seconds).
00:06:12 <b_jonas> sprout_: create an entry on the wiki
00:06:47 <sprout_> I did, it's there under Soul language
00:51:45 -!- simcop2387 has quit (Read error: Connection reset by peer).
00:51:46 -!- perlbot has quit (Read error: Connection reset by peer).
00:52:09 -!- simcop2387 has joined.
00:52:40 -!- perlbot has joined.
01:32:37 -!- Soni has joined.
01:51:32 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=94289 * ColorfulGalaxy * (+1511) Created 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..."
02:21:57 <zzo38> 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?
02:46:23 <esolangs> [[]] https://esolangs.org/w/index.php?diff=94290&oldid=94289 * ColorfulGalaxy * (+75)
03:28:10 -!- MrAureliusR_ has changed nick to MrAureliusR.
04:35:49 -!- shikhin has quit (*.net *.split).
04:35:49 -!- feoh has quit (*.net *.split).
04:36:03 -!- shikhin has joined.
04:36:18 -!- feoh has joined.
04:36:54 -!- shikhin has changed hostmask to ~shikhin@offtopia/offtopian.
05:34:24 <esolangs> [[Setscript]] https://esolangs.org/w/index.php?diff=94291&oldid=94277 * Peter * (-52) Blanked the page
05:34:42 <esolangs> [[Set script]] https://esolangs.org/w/index.php?diff=94292&oldid=94276 * Peter * (-23) Blanked the page
05:49:37 -!- monoxane2 has joined.
05:50:48 -!- monoxane has quit (Ping timeout: 260 seconds).
05:50:48 -!- monoxane2 has changed nick to monoxane.
06:51:00 <esolangs> [[]] https://esolangs.org/w/index.php?diff=94293&oldid=94290 * ColorfulGalaxy * (+315)
07:03:51 -!- Sgeo has quit (Read error: Connection reset by peer).
07:52:45 <esolangs> [[Special:Log/newusers]] create * Indigo * New user account
07:55:38 -!- Guest12 has joined.
08:06:30 -!- Guest12 has quit (Quit: Client closed).
09:26:27 <esolangs> [[Questa]] N https://esolangs.org/w/index.php?oldid=94294 * ChuckEsoteric08 * (+746) Created 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..."
09:28:12 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=94295&oldid=94211 * ChuckEsoteric08 * (+34)
09:50:36 -!- tromp has joined.
10:14:30 <esolangs> [[Quests]] N https://esolangs.org/w/index.php?oldid=94296 * ChuckEsoteric08 * (+704) Created 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..."
10:19:00 <esolangs> [[Questa]] https://esolangs.org/w/index.php?diff=94297&oldid=94294 * ChuckEsoteric08 * (+96)
10:19:09 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=94298&oldid=94295 * ChuckEsoteric08 * (+12)
11:26:10 <esolangs> [[Force of Arch]] N https://esolangs.org/w/index.php?oldid=94299 * ChuckEsoteric08 * (+783) Created 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..."
11:26:44 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=94300&oldid=94298 * ChuckEsoteric08 * (+19)
11:27:59 -!- razetime has joined.
11:36:15 -!- sprout has joined.
11:39:27 -!- sprout_ has quit (Ping timeout: 250 seconds).
12:19:01 -!- definitelya has joined.
13:26:24 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
13:35:49 -!- Sgeo has joined.
14:39:04 <esolangs> [[Special:Log/newusers]] create * Hello8693 * New user account
15:23:45 -!- razetime has joined.
16:34:52 -!- Sgeo_ has joined.
16:37:31 <HackEso> A device is a browser session. Please verify your device.
16:38:08 -!- Sgeo has quit (Ping timeout: 260 seconds).
16:38:29 <esolangs> [[Soul]] https://esolangs.org/w/index.php?diff=94301&oldid=94286 * Marco Devillers * (+860) predefined operators
16:44:03 <esolangs> [[Soul]] https://esolangs.org/w/index.php?diff=94302&oldid=94301 * Marco Devillers * (+285) infobox
16:46:55 -!- Sgeo__ has joined.
16:49:07 <esolangs> [[Soul]] M https://esolangs.org/w/index.php?diff=94303&oldid=94302 * Marco Devillers * (+0) typo
16:49:59 -!- Sgeo_ has quit (Ping timeout: 256 seconds).
16:57:16 <esolangs> [[Arch]] https://esolangs.org/w/index.php?diff=94304&oldid=74181 * ChuckEsoteric08 * (+30)
17:02:31 -!- __monty__ has joined.
17:03:41 -!- definitelya_ has joined.
17:06:07 -!- definitelya has quit (Ping timeout: 246 seconds).
17:07:54 <sprout> https://esolangs.org/wiki/Soul take a day to work on the interpreter, and then some hours to do the docs
17:13:38 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
17:13:57 -!- razetime has joined.
17:14:27 -!- razetime has quit (Client Quit).
17:32:48 <esolangs> [[Soul]] M https://esolangs.org/w/index.php?diff=94305&oldid=94303 * Marco Devillers * (-21) minimize
17:37:05 <esolangs> [[Soul]] M https://esolangs.org/w/index.php?diff=94306&oldid=94305 * Marco Devillers * (+0) typo
17:55:34 <sprout> trace of 'fac 6 print' in Soul: https://pastebin.com/x6X5vi4q
18:07:26 <esolangs> [[Q set]] N https://esolangs.org/w/index.php?oldid=94307 * Peter * (+19) Redirected page to [[Q-SET]]
18:07:43 <esolangs> [[Qset]] N https://esolangs.org/w/index.php?oldid=94308 * Peter * (+19) Redirected page to [[Q-SET]]
18:16:07 <esolangs> [[Q-SET]] N https://esolangs.org/w/index.php?oldid=94309 * Peter * (+254) Created 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..."
18:16:21 <esolangs> [[Q-SET]] https://esolangs.org/w/index.php?diff=94310&oldid=94309 * Peter * (+0)
18:51:39 <sprout> put it on Reddit. go, Karma, go! https://www.reddit.com/r/ProgrammingLanguages/comments/tqftad/soul_an_esoteric_concatenative_language/
19:14:39 <esolangs> [[Soul]] M https://esolangs.org/w/index.php?diff=94311&oldid=94306 * Marco Devillers * (+1) typo
20:05:09 -!- simcop2387 has quit (Ping timeout: 256 seconds).
20:05:43 -!- perlbot has quit (Ping timeout: 256 seconds).
20:06:50 <esolangs> [[Yaren]] M https://esolangs.org/w/index.php?diff=94312&oldid=86396 * Kaveh Yousefi * (+70) Improved the formatting of commands.
20:07:40 <esolangs> [[Yaren]] https://esolangs.org/w/index.php?diff=94313&oldid=94312 * Kaveh Yousefi * (+160) Added a hyperlink to my implementation of the Yaren programming language on GitHub and changed the category tag Unimplemented to Implemented.
20:09:56 <esolangs> [[Yaren]] https://esolangs.org/w/index.php?diff=94314&oldid=94313 * Kaveh Yousefi * (+171) Added an infinite cat program as a further example.
20:11:41 -!- Lord_of_Life_ has joined.
20:13:05 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
20:13:47 -!- simcop2387 has joined.
20:14:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
20:15:19 -!- perlbot has joined.
20:21:59 -!- fowl has quit (Quit: cya pals).
20:23:56 -!- fowl has joined.
20:27:49 -!- Melvar has quit (Quit: WeeChat 3.4).
20:30:22 -!- Melvar has joined.
20:55:18 -!- definitelya_ has quit (Quit: h).
21:30:45 <esolangs> [[Copyright makes no sense]] N https://esolangs.org/w/index.php?oldid=94315 * Hakerh400 * (+1896) Created 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!..."
21:33:54 <esolangs> [[Copyright makes no sense]] https://esolangs.org/w/index.php?diff=94316&oldid=94315 * Hakerh400 * (+110)
21:43:12 -!- __monty__ has quit (Quit: leaving).
22:22:54 -!- slavfox has quit (Ping timeout: 252 seconds).
22:35:08 -!- slavfox has joined.
22:41:10 -!- lambdabot has quit (Quit: ...).
22:42:24 -!- lambdabot has joined.
22:54:56 <esolangs> [[Copyright makes no sense]] M https://esolangs.org/w/index.php?diff=94317&oldid=94316 * Corbin * (+49) Add link to related material on WP.
22:58:08 <int-e> ∃ (f : book → book), f b₁ = b₂ ...yeah that's a bit silly I think
22:58:39 <int-e> to capture the notion of reconstruction
22:59:26 <int-e> (whatever that is supposed to entail legally; copyright cares about reproduction and derived works)
23:03:38 <int-e> also related: http://www.spiderrobinson.com/melancholyelephants.html
23:05:11 <Corbin> 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.
23:08:52 <Corbin> 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.
23:09:32 <Corbin> 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?
23:10:10 <Corbin> 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.
23:13:17 <int-e> I think we have a real life example of this kind of mess... what's the copyright status of code produced by copilot?
23:14:00 <int-e> (There were some cases where it unambiguously reproduced GPL code sans license... but let's discount those.)
23:16:24 <zzo38> 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).
23:25:18 -!- sprout has quit (Ping timeout: 260 seconds).
23:29:41 -!- sprout has joined.