00:48:36 <zzo38> Make up some Magic: the Gathering cards (of any type, including nontraditionals) for your GURPS or D&D characters.
00:59:11 -!- xelxebar has quit (Remote host closed the connection).
00:59:32 -!- xelxebar has joined.
01:19:36 -!- arseniiv_ has quit (Ping timeout: 250 seconds).
01:25:26 -!- callforjudgement has joined.
01:25:54 -!- ais523 has quit (Ping timeout: 256 seconds).
01:27:29 -!- callforjudgement has changed nick to ais523.
01:47:54 <esowiki> [[The Subtyping Machine]] M https://esolangs.org/w/index.php?diff=70375&oldid=66172 * Ais523 * (-2) /* Relationship to Java */ typo fix
01:55:24 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70376&oldid=70366 * A * (+73) Out has string support so...
01:57:00 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70377&oldid=70376 * A * (+122) 
02:00:55 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70378&oldid=70377 * A * (+111) 
02:04:16 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70379&oldid=70378 * A * (+10) /* Fibonacci sequence */
02:07:59 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70380&oldid=70379 * A * (+36) /* Fibonacci sequence */
02:10:25 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70381&oldid=70380 * A * (+27) /* Fibonacci sequence */
02:11:38 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70382&oldid=70381 * A * (+19) /* Fibonacci sequence */
02:12:11 <esowiki> [[Esolang talk:Categorization]]  https://esolangs.org/w/index.php?diff=70383&oldid=68897 * YamTokTpaFa * (+165) /* HQ9+ Derivatives */
02:12:13 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70384&oldid=70382 * A * (+3) 
02:24:18 <esowiki> [[Truth-machine]]  https://esolangs.org/w/index.php?diff=70385&oldid=70271 * A * (+119) /* comp */
02:24:31 <esowiki> [[Truth-machine]]  https://esolangs.org/w/index.php?diff=70386&oldid=70385 * A * (+1) /* =Counting */
02:58:42 <esowiki> [[Insanity]]  https://esolangs.org/w/index.php?diff=70387&oldid=70344 * A * (+139) /* Program structure */
02:59:25 <esowiki> [[Insanity]]  https://esolangs.org/w/index.php?diff=70388&oldid=70387 * A * (+110) 
03:00:16 -!- FreeFull has quit.
03:03:04 <esowiki> [[Insanity]]  https://esolangs.org/w/index.php?diff=70389&oldid=70388 * A * (+322) 
03:05:12 <esowiki> [[Insanity]]  https://esolangs.org/w/index.php?diff=70390&oldid=70389 * A * (+146) It's insanity to leave it unspecified.
03:06:23 -!- xelxebar has quit (Ping timeout: 240 seconds).
03:07:02 -!- xelxebar has joined.
03:11:55 <esowiki> [[Line Feed]]  https://esolangs.org/w/index.php?diff=70391&oldid=69519 * A * (+206) 
03:44:37 -!- ais523 has quit (Ping timeout: 264 seconds).
04:38:12 <esowiki> [[IBC]]  https://esolangs.org/w/index.php?diff=70392&oldid=68714 * Quadril-Is * (-5) Undo revision 68714 by [[Special:Contributions/Hex96|Hex96]] ([[User talk:Hex96|talk]])
04:38:24 <esowiki> [[IBC]]  https://esolangs.org/w/index.php?diff=70393&oldid=70392 * Quadril-Is * (+1) /* system 32 deleter */
04:38:50 <esowiki> [[IBC]]  https://esolangs.org/w/index.php?diff=70394&oldid=70393 * Quadril-Is * (-2) 
05:24:07 <esowiki> [[Alphaprint]]  https://esolangs.org/w/index.php?diff=70395&oldid=70063 * A * (-1) Why's that a valid program...
05:28:32 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70396&oldid=70384 * JonoCode9374 * (+121) 
05:30:45 <esowiki> [[Talk:Alphaprint]]  https://esolangs.org/w/index.php?diff=70397&oldid=69545 * A * (+459) 
05:33:46 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
05:35:45 -!- Lord_of_Life has joined.
05:48:34 <esowiki> [[Line Feed]]  https://esolangs.org/w/index.php?diff=70398&oldid=70391 * A * (+200) 
06:23:19 -!- sprocklem has quit (Ping timeout: 250 seconds).
06:23:44 -!- sprocklem has joined.
06:40:43 <esowiki> [[Talk:Alphaprint]]  https://esolangs.org/w/index.php?diff=70399&oldid=70397 * A * (+332) /* Interpreter in Python */
07:54:57 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70400&oldid=70396 * A * (+138) 
07:57:28 -!- rain1 has joined.
08:08:30 -!- dnm has quit (Ping timeout: 256 seconds).
08:08:30 -!- dog_star has quit (Ping timeout: 256 seconds).
08:08:30 -!- j4cbo has quit (Ping timeout: 256 seconds).
08:08:37 -!- mich181189 has quit (Ping timeout: 272 seconds).
08:09:04 -!- pikhq has quit (Ping timeout: 256 seconds).
08:09:18 -!- moonv has quit (Read error: Connection reset by peer).
08:09:18 -!- iczero has quit (Read error: Connection reset by peer).
08:09:18 -!- Bowserinator has quit (Read error: Connection reset by peer).
08:09:25 -!- dnm has joined.
08:09:26 -!- dog_star has joined.
08:09:27 -!- glowcoil has quit (Ping timeout: 240 seconds).
08:09:29 -!- mich181189 has joined.
08:09:47 -!- ^[ has quit (Ping timeout: 240 seconds).
08:10:17 <esowiki> [[Counting]]  https://esolangs.org/w/index.php?diff=70401&oldid=70400 * A * (+126) /* Triangular Numbers */
08:10:58 -!- j4cbo has joined.
08:11:50 -!- pikhq has joined.
08:11:55 -!- ^[ has joined.
08:12:10 -!- glowcoil has joined.
08:12:48 -!- iovoid has quit (Ping timeout: 245 seconds).
08:42:24 -!- LKoen has joined.
09:00:39 -!- Bowserinator has joined.
09:04:01 -!- wlp1s1 has joined.
09:04:38 -!- iovoid has joined.
09:05:38 -!- moony has joined.
09:09:08 -!- wlp1s1 has quit (Quit: rip).
09:09:08 -!- iovoid has quit (Client Quit).
09:09:08 -!- moony has quit (Client Quit).
09:09:08 -!- Bowserinator has quit (Quit: Blame iczero something happened).
09:10:36 -!- Bowserinator has joined.
09:11:58 -!- iczero has joined.
09:12:10 -!- iovoid has joined.
09:12:22 -!- moony has joined.
09:23:02 -!- imode has quit (Ping timeout: 246 seconds).
09:38:59 -!- arseniiv_ has joined.
09:39:53 <rain1> https://www.youtube.com/watch?v=d-mACduP9VM do you like this youtube channel?
10:16:07 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70402&oldid=69585 * Dtuser1337 * (+1640) /* Beginning of the Sandbox line */
10:16:44 -!- xkapastel has joined.
10:16:47 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70403&oldid=70402 * Dtuser1337 * (-18) 
10:17:46 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70404&oldid=70403 * Dtuser1337 * (+15) 
10:18:29 <arseniiv_> rain1: thanks the preview and several frames seem interesting to watch something later!
10:18:33 -!- arseniiv_ has changed nick to arseniiv.
10:19:22 <arseniiv> microscopic imagery is interesting, and if they make videos of living things, this is even better
10:19:58 <arseniiv> there’s so much unexpected still after any usual biology classes
10:21:16 <rain1> yeah
10:21:19 <arseniiv> even a simple cell division is an intricate process which I honestly hadn’t watched yet; I hope they have something on it
10:21:57 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70405&oldid=70404 * Dtuser1337 * (+25) 
10:22:18 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70406&oldid=70405 * Dtuser1337 * (+2) /* See Also */
10:23:41 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70407&oldid=70406 * Dtuser1337 * (+2) 
10:28:39 -!- wib_jonas has joined.
10:29:00 <esowiki> [[User:Dtuser1337/Sandbox]]  https://esolangs.org/w/index.php?diff=70408&oldid=70407 * Dtuser1337 * (-1664) 
10:39:40 <esowiki> [[BrainfisHQ9+]] N https://esolangs.org/w/index.php?oldid=70409 * Dtuser1337 * (+1663) My first esolang published
10:40:23 <esowiki> [[Language list]]  https://esolangs.org/w/index.php?diff=70410&oldid=70318 * Dtuser1337 * (+19) /* B */
10:42:21 <esowiki> [[User:Dtuser1337]]  https://esolangs.org/w/index.php?diff=70411&oldid=65458 * Dtuser1337 * (+36) 
10:43:32 <esowiki> [[BrainfisHQ9+]]  https://esolangs.org/w/index.php?diff=70412&oldid=70409 * Dtuser1337 * (+43) adding some categories
10:49:44 <esowiki> [[BrainfisHQ9+]]  https://esolangs.org/w/index.php?diff=70413&oldid=70412 * Dtuser1337 * (+104) Computational class
10:58:29 <esowiki> [[Deadfish]]  https://esolangs.org/w/index.php?diff=70414&oldid=70311 * Dtuser1337 * (+63) /* Variants of deadfish */
11:01:07 <esowiki> [[HQ9+]]  https://esolangs.org/w/index.php?diff=70415&oldid=69003 * Dtuser1337 * (+58) /* See also */
11:01:34 <esowiki> [[BrainfisHQ9+]]  https://esolangs.org/w/index.php?diff=70416&oldid=70413 * Dtuser1337 * (+0) /* See Also */ just in case
11:02:26 <esowiki> [[Deadfish]] M https://esolangs.org/w/index.php?diff=70417&oldid=70414 * Dtuser1337 * (-4) /* Variants of deadfish */ we do not need link since it already avaliable on this article, really.
11:07:46 <esowiki> [[BrainfisHQ9+]]  https://esolangs.org/w/index.php?diff=70418&oldid=70416 * Dtuser1337 * (+33) something tells me that i needed to add a brainfuck related categories.
11:13:30 -!- Phantom_Hoover has joined.
11:29:23 -!- xelxebar has quit (Ping timeout: 240 seconds).
11:34:10 -!- sebbu has quit (Quit: reboot).
11:54:07 -!- Lord_of_Life_ has joined.
11:54:52 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
11:56:05 <esowiki> [[Special:Log/upload]] upload  * Dtuser1337 *  uploaded "[[File:Shortbrainlollerhelloworld.png]]"
11:56:55 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:57:41 <esowiki> [[Brainloller]]  https://esolangs.org/w/index.php?diff=70420&oldid=56701 * Dtuser1337 * (+4) a better, less jpeg-like image replacement
11:58:34 <esowiki> [[Hello world program in esoteric languages]]  https://esolangs.org/w/index.php?diff=70421&oldid=69428 * Dtuser1337 * (+4) /* Brainloller */
11:59:42 <esowiki> [[BrainfisHQ9+]]  https://esolangs.org/w/index.php?diff=70422&oldid=70418 * Dtuser1337 * (-104) we dont need that stupid computation class shit
12:02:14 -!- sprocklem has quit (Ping timeout: 250 seconds).
12:04:07 -!- sprocklem has joined.
12:12:18 -!- kritixilithos has joined.
12:15:08 <esowiki> [[Chasing the output]] N https://esolangs.org/w/index.php?oldid=70423 * Hakerh400 * (+4332) +[[Chasing the output]]
12:15:12 <esowiki> [[User:Hakerh400]]  https://esolangs.org/w/index.php?diff=70424&oldid=70319 * Hakerh400 * (+39) +[[Chasing the output]]
12:15:34 -!- kritixilithos has quit (Client Quit).
12:17:16 -!- kritixilithos has joined.
12:26:04 -!- kritixil1 has joined.
12:27:23 -!- kritixilithos has quit (Ping timeout: 240 seconds).
12:28:45 -!- sebbu has joined.
13:22:35 <esowiki> [[Self-modifying Turing machine]]  https://esolangs.org/w/index.php?diff=70425&oldid=70320 * Hakerh400 * (+28) 
13:54:23 -!- kritixil1 has quit (Ping timeout: 240 seconds).
14:44:07 -!- xelxebar has joined.
14:51:30 -!- rain1 has quit (Quit: Lost terminal).
14:51:48 -!- rain1 has joined.
15:04:14 <esowiki> [[Alphaprint]] M https://esolangs.org/w/index.php?diff=70426&oldid=70395 * PythonshellDebugwindow * (+38) /* Output */
15:05:07 -!- kritixil1 has joined.
15:26:59 <esowiki> [[Line Feed]] M https://esolangs.org/w/index.php?diff=70427&oldid=70398 * PythonshellDebugwindow * (+23) /* Interpreter in Python */
15:30:00 <esowiki> [[Line Feed]] M https://esolangs.org/w/index.php?diff=70428&oldid=70427 * PythonshellDebugwindow * (+33) /* Interpreter in Python */
15:45:17 <esowiki> [[Line Feed]] M https://esolangs.org/w/index.php?diff=70429&oldid=70428 * PythonshellDebugwindow * (+31) /* in Io */
15:52:50 <esowiki> [[HGFTSNOA]] M https://esolangs.org/w/index.php?diff=70430&oldid=70373 * PythonshellDebugwindow * (+302) /* Fibonacci numbers until variable t (finish) (help in InfiniteGoto interpreter) */
16:02:54 <wib_jonas> fungot, do you *really* believe that Obadiah rode a 3-headed land-shark into battle against the Edomites?
16:02:54 <fungot> wib_jonas: it'd be nice if you want a more detailed example?
16:12:10 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
16:14:24 -!- Lord_of_Life has joined.
16:14:59 <wib_jonas> fungot: how much is a pillion in the short system?
16:14:59 <fungot> wib_jonas: it should be possible to calculate totally accurate probabilities for that case... i assumed that x meant x
16:15:16 <wib_jonas> what a non-answer
16:17:08 <Taneb> > 10 ** (3 + 3*pi)
16:17:11 <lambdabot>  2.659365073955536e12
16:40:21 -!- wib_jonas has quit (Remote host closed the connection).
16:42:23 -!- kritixil1 has quit (Ping timeout: 240 seconds).
16:43:37 -!- imode has joined.
16:46:56 -!- kritixil1 has joined.
17:23:03 -!- kritixil1 has quit (Ping timeout: 240 seconds).
17:33:58 -!- tromp_ has joined.
17:34:20 -!- ais523 has joined.
17:37:59 -!- tromp has quit (Ping timeout: 272 seconds).
17:52:02 <tromp_> int-e: i seem to be at 272 bits so far
17:52:51 <tromp_> not using any church numerals
17:56:31 <zzo38> This is my schema so far for a database for making a set of Magic: the Gathering cards:  http://sprunge.us/aCqKLz  You can please make a comment of it.
18:31:19 -!- tromp_ has quit (Ping timeout: 250 seconds).
18:31:35 -!- tromp has joined.
18:31:39 -!- ais523 has quit (Remote host closed the connection).
18:32:54 -!- ais523 has joined.
18:53:42 -!- FreeFull has joined.
19:03:50 <tromp> down to 264
19:04:14 <zzo38> To 264 of what?
19:04:44 <tromp> 264 bits for odd perfect number program
19:07:16 <int-e> tromp: ah I decided early on to stick to Church numerals and see what I get.
19:07:40 <tromp> i'm sticking with Scott numerals
19:08:24 <int-e> I can see how that might help.
19:23:12 <rain1> so the perfect number came out shorter than laver tables?
19:25:25 <tromp> no, laver tables is 213 bits i think
19:25:48 <tromp> don't think oddperfect can beat that
19:26:48 <b_jonas> how do you even test these? 
19:27:18 <b_jonas> I guess you could put printfs in them to print intermediate results
19:27:22 <tromp> i tested a subroutine to return tru for 6 and 28
19:27:32 <tromp> and false for all other numbers under 100
19:27:42 <b_jonas> oh nice, testing on even numbers
19:35:36 <ais523> how do Scott numerals work?
19:36:30 <tromp> scott_0    =   \s\z. z;  scott_succ = \n\s\z.s n;
19:37:02 <tromp> e.g scott_1 = \s\z.s scott_0
19:43:30 <tromp> down to 261
19:43:52 <tromp> using both Church and Scott now
19:46:16 <b_jonas> do you optimize the order of arguments in the representation too?
19:46:41 <tromp> i try to optimize every last bit
19:46:53 <tromp> so yeah, including order of args
19:47:22 <tromp> only requirement is program halts iff exists odd perfect number
19:48:19 <b_jonas> and that you can prove that, right?
19:48:30 <tromp> yes
19:51:38 <int-e> Hmm, termination only, that's another difference. I actually produce the perfect number.
19:53:09 <tromp> oh, then you can improve further
19:54:21 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds).
20:06:41 <tromp> down to 248
20:27:40 <tromp> down to 240
20:40:17 <tromp> down to 239
20:44:23 <zzo38> I thought they don't know if there are any odd perfect numbers
20:46:29 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:49:06 <tromp> right; so we dont know if this prog halts
20:50:05 <zzo38> OK
20:51:56 <rain1> the goal is to produce short programs whose halting is in question
20:52:03 <tromp> oops; my last few optimizations were bad:(
20:52:13 <tromp> so still at 248
20:53:28 <tromp> down to 247
21:02:33 <arseniiv> have written an almost correct backgammon with CLI, but the code isn’t all what I wanted. A part of it reads I think nice, but there are a couple of amalgamous imperative monsters like a function which prints the board, or a main loop, though I’ve done much to make the loop simple right from the start. Much to desire, but I’ll continue tweaking it the next day at best
21:03:09 <arseniiv> and it ends up not much of a FSA it was intended
21:03:53 <arseniiv> and not as strong-typed, because mypy
21:04:17 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
21:05:29 <arseniiv> oh, I think CLI is not the right word, just a text-based interface, no options given on launch
21:05:34 -!- Lord_of_Life has joined.
21:06:34 <tromp> int-e: added mine to repo
21:12:44 -!- rain1 has quit (Quit: Lost terminal).
21:13:44 <esowiki> [[CopyPasta Language]] M https://esolangs.org/w/index.php?diff=70431&oldid=70033 * Rerednaw * (+1) /* Ctrl+V version */ Correction of spelling errors
21:30:17 <int-e> tromp: I'll look at it at some point but for now I'm trying really hard to resist the temptation.
21:43:44 <tromp> ah, nice trick you have to not avoid n as divisor of n :-)
21:47:34 -!- LKoen has quit (Remote host closed the connection).
22:11:56 <esowiki> [[ASM]] N https://esolangs.org/w/index.php?oldid=70432 * Apollyon094 * (+2178) Created page with "{{lowercase}} {{infobox proglang |name=Alternating State Machine |author=[[Asher I]] |year=[[:Category:2020|2020]] |memsys=tape-based |dimensions=one-dimensional |class=:Cat..."
22:13:07 -!- LKoen has joined.
22:14:20 <esowiki> [[ASM]]  https://esolangs.org/w/index.php?diff=70433&oldid=70432 * Apollyon094 * (+11) 
22:15:17 <esowiki> [[ASM]]  https://esolangs.org/w/index.php?diff=70434&oldid=70433 * Apollyon094 * (+90) 
22:17:05 -!- ais523 has quit (Quit: quit).
22:22:28 <esowiki> [[ASM]]  https://esolangs.org/w/index.php?diff=70435&oldid=70434 * Apollyon094 * (+66) 
22:29:46 <esowiki> [[User:Apollyon094]]  https://esolangs.org/w/index.php?diff=70436&oldid=69889 * Apollyon094 * (+61) 
22:30:44 <esowiki> [[User:Apollyon094]]  https://esolangs.org/w/index.php?diff=70437&oldid=70436 * Apollyon094 * (+30) 
22:30:55 <esowiki> [[User:Apollyon094]]  https://esolangs.org/w/index.php?diff=70438&oldid=70437 * Apollyon094 * (+0) 
22:44:53 -!- LKoen has quit (Remote host closed the connection).
22:48:18 -!- divergence has joined.
22:48:26 -!- diverger has quit (Ping timeout: 240 seconds).
23:00:21 <esowiki> [[Talk:ASCII art/mandelbrot]]  https://esolangs.org/w/index.php?diff=70439&oldid=68086 * Apollyon094 * (+131) 
23:08:11 -!- oerjan has joined.
23:23:27 <fizzie> I don't know why, but I really like the Machine with Concrete.