01:48:04 <esolangs> [[Slam]] M https://esolangs.org/w/index.php?diff=88817&oldid=87617 * ArthroStar11 * (-46) updated link to interpreter
01:49:19 <esolangs> [[User:ArthroStar11]] M https://esolangs.org/w/index.php?diff=88818&oldid=88737 * ArthroStar11 * (-46) updated link to Slam
02:00:20 -!- dutch has quit (Quit: WeeChat 3.3).
02:23:32 -!- dutch has joined.
02:36:55 <Corbin> Hm, ais523 isn't here. I'm reading about Turing categories, and TIL that there's a requirement for encoding Turing-ish machines categorically which should extend to The Waterfall Model, and thus to matrices.
02:38:09 <Corbin> There should be some way to take two matrices and encode them into a pair matrix, so that we can extract one or the other original matrix later on. The analogue is Morton encoding for natural numbers.
02:38:33 <Corbin> I *want* to guess that it's just direct sum, but I'm not sure. Was wondering if anybody else had already worked this out.
02:39:24 <zzo38> What dimensions do the original matrix and the new matrix should have, and what type of the elements?
02:44:31 <Corbin> I'm not sure about dimensions. The matrix elements are just natural numbers, but we could do Booleans first if that's easier.
03:24:01 -!- photon_niko has joined.
03:24:11 <photon_niko> hmmm
03:27:07 -!- photon_niko has quit (Client Quit).
03:30:06 <esolangs> [[Starstuff]]  https://esolangs.org/w/index.php?diff=88819&oldid=88750 * PixelatedStarfish * (+65) 
03:30:28 <esolangs> [[Special:Log/upload]] upload  * PixelatedStarfish *  uploaded "[[File:DAvidBowie.png]]"
03:32:02 <esolangs> [[Astridec]]  https://esolangs.org/w/index.php?diff=88821&oldid=88749 * PixelatedStarfish * (+66) 
04:36:23 -!- andydude has joined.
05:54:19 -!- tromp has joined.
06:06:32 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
06:11:38 -!- Cale has joined.
06:23:11 -!- andydude has quit (Quit: andydude).
06:34:54 -!- MrAureliusR has quit (Ping timeout: 245 seconds).
06:35:09 -!- tromp has joined.
06:35:18 -!- MrAureliusR has joined.
07:04:04 -!- arseniiv has joined.
07:36:37 -!- Sgeo has quit (Read error: Connection reset by peer).
07:53:06 -!- imode has quit (Ping timeout: 265 seconds).
08:08:13 -!- hendursa1 has joined.
08:08:48 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:58:34 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
09:01:36 -!- tromp has joined.
09:43:38 -!- Thelie has joined.
10:09:19 -!- wib_jonas has joined.
10:50:52 -!- Koen has joined.
10:55:05 -!- Cale has quit (Read error: Connection reset by peer).
11:56:30 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
12:15:41 -!- tromp has joined.
13:15:19 -!- Thelie has quit (Remote host closed the connection).
13:44:17 <arseniiv> @messages?
13:44:17 <lambdabot> Sorry, no messages today.
13:44:28 -!- arseniiv has quit (Quit: gone too far).
13:52:08 -!- andydude has joined.
13:53:22 -!- arseniiv has joined.
14:01:11 -!- iamn00b has joined.
14:01:37 -!- sprock has quit (Ping timeout: 252 seconds).
14:01:41 <iamn00b> hello
14:01:43 <iamn00b> test
14:01:52 <iamn00b> apparently there's an irc to discord thing
14:11:51 -!- iamn00b has quit (Quit: Client closed).
14:18:14 <esolangs> [[Special:Log/newusers]] create  * Www620 *  New user account
14:21:48 -!- Sgeo has joined.
14:41:28 -!- hendursa1 has quit (Quit: hendursa1).
14:42:01 -!- hendursaga has joined.
14:57:19 <esolangs> [[Astridec]]  https://esolangs.org/w/index.php?diff=88822&oldid=88821 * PixelatedStarfish * (+399) 
14:57:57 <esolangs> [[Astridec]]  https://esolangs.org/w/index.php?diff=88823&oldid=88822 * PixelatedStarfish * (+20) /* External Links */
14:58:11 <esolangs> [[Astridec]]  https://esolangs.org/w/index.php?diff=88824&oldid=88823 * PixelatedStarfish * (+9) /* External Links */
15:50:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:58:31 -!- sprock has joined.
16:08:19 <esolangs> [[Hardfuck]]  https://esolangs.org/w/index.php?diff=88825&oldid=86609 * Kaveh Yousefi * (-18) Rectified the two Hello World examples in order to operate correctly.
16:12:10 -!- wib_jonas has quit (Quit: Client closed).
16:18:33 <esolangs> [[ErrorFree]] N https://esolangs.org/w/index.php?oldid=88826 * PixelatedStarfish * (+85) Created page with "See [https://blog.slaks.net/2014-04-01/programming-without-errors-errorfree/ Website]"
16:32:09 -!- chiselfuse has quit (Remote host closed the connection).
16:32:31 -!- chiselfuse has joined.
16:36:22 -!- imode has joined.
16:42:27 <esolangs> [[Hardfuck]]  https://esolangs.org/w/index.php?diff=88827&oldid=88825 * Kaveh Yousefi * (+4060) Provided an implementation of Hardfuck in Common Lisp together with a hyperlink to a more throughoutly documented version on my GitHub account.
16:48:52 -!- tromp has joined.
16:52:14 -!- Koen has quit (Remote host closed the connection).
17:00:24 <esolangs> [[INCJ]]  https://esolangs.org/w/index.php?diff=88828&oldid=88816 * Pyautogui * (-9) 
17:02:18 <esolangs> [[INCJ]]  https://esolangs.org/w/index.php?diff=88829&oldid=88828 * Pyautogui * (-56) 
17:07:12 <esolangs> [[Language list]]  https://esolangs.org/w/index.php?diff=88830&oldid=88797 * Pyautogui * (+11) 
17:07:51 <esolangs> [[INCJ]]  https://esolangs.org/w/index.php?diff=88831&oldid=88829 * Pyautogui * (+30) 
17:10:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:16:40 -!- sprock has quit (Ping timeout: 265 seconds).
17:17:21 -!- sprock has joined.
17:25:00 -!- Koen has joined.
17:32:35 <esolangs> [[User:PixelatedStarfish]]  https://esolangs.org/w/index.php?diff=88832&oldid=88751 * PixelatedStarfish * (+91) 
17:32:56 <esolangs> [[User:PixelatedStarfish]]  https://esolangs.org/w/index.php?diff=88833&oldid=88832 * PixelatedStarfish * (+6) 
17:39:12 -!- Thelie has joined.
18:13:24 -!- tromp has joined.
18:14:08 -!- Koen has quit (Quit: Leaving...).
18:44:33 -!- andydude has quit (Ping timeout: 268 seconds).
18:46:09 -!- delta23 has joined.
18:46:42 -!- andydude has joined.
18:54:59 -!- sprock has quit (Ping timeout: 264 seconds).
19:09:05 -!- Thelie has quit (Remote host closed the connection).
19:24:18 -!- chiselfuse has quit (Remote host closed the connection).
19:25:02 -!- chiselfuse has joined.
19:55:52 -!- sprock has joined.
20:56:47 -!- sprock has quit (Ping timeout: 264 seconds).
21:08:27 -!- andydude has quit (Quit: andydude).
21:25:51 -!- Lord_of_Life_ has joined.
21:27:03 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
21:27:11 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:36:03 <esolangs> [[ACHEQUEUENINETHOUSANDPLUS]] N https://esolangs.org/w/index.php?oldid=88834 * TheJonyMyster * (+1051) Created page with "'''ACHEQUEUENINETHOUSANDPLUS''' (aka '''HQ9000+''') is a derivative of [[HQ9+]] that is more '''powerful''' than HQ9+:  * '''H''': Print [[Hello, world!|"HELLO MORTAL"]] * '''..."
21:36:23 <esolangs> [[ACHEQUEUENINETHOUSANDPLUS]] M https://esolangs.org/w/index.php?diff=88835&oldid=88834 * TheJonyMyster * (-1) 
21:38:13 <esolangs> [[HQ9+]]  https://esolangs.org/w/index.php?diff=88836&oldid=84849 * TheJonyMyster * (+67) added derivative
21:40:52 <esolangs> [[ACHEQUEUENINETHOUSANDPLUS]] M https://esolangs.org/w/index.php?diff=88837&oldid=88835 * TheJonyMyster * (+17) 
21:42:06 -!- andydude has joined.
22:17:23 -!- andydude has quit (Quit: andydude).
22:41:57 -!- arseniiv has quit (Ping timeout: 265 seconds).
23:21:33 -!- sprock has joined.
23:54:59 -!- dutch has quit (Quit: WeeChat 3.3).