00:13:27 ok 00:55:00 [[A pi e]] M https://esolangs.org/w/index.php?diff=104487&oldid=104324 * PythonshellDebugwindow * (+17) Stub, WIP 00:57:56 [[APLWSI]] M https://esolangs.org/w/index.php?diff=104488&oldid=71613 * PythonshellDebugwindow * (+105) Add categories 01:28:23 `? monoid 01:28:26 A monoid is the easy version of a category. 01:45:00 [[CompressedBF]] https://esolangs.org/w/index.php?diff=104489&oldid=104089 * Joe * (+520) 01:45:47 [[CompressedBF]] https://esolangs.org/w/index.php?diff=104490&oldid=104489 * Joe * (+2) 01:47:00 [[CompressedBF]] https://esolangs.org/w/index.php?diff=104491&oldid=104490 * Joe * (+10) 02:02:23 -!- razetime has joined. 02:16:12 -!- Lord_of_Life_ has joined. 02:16:44 -!- Lord_of_Life has quit (Ping timeout: 255 seconds). 02:17:27 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 03:32:29 -!- razetime has quit (Ping timeout: 246 seconds). 03:44:27 -!- immibis_ has quit (*.net *.split). 03:44:50 -!- immibis_ has joined. 03:51:15 -!- esolangs has joined. 03:51:15 -!- ChanServ has set channel mode: +v esolangs. 03:58:55 -!- joast has quit (*.net *.split). 03:58:55 -!- silky has quit (*.net *.split). 03:58:55 -!- HackEso has quit (*.net *.split). 03:59:04 -!- silky has joined. 03:59:32 -!- HackEso has joined. 04:03:32 -!- pikhq has quit (*.net *.split). 04:03:32 -!- Argorok has quit (*.net *.split). 04:03:32 -!- CAT_S has quit (*.net *.split). 04:03:32 -!- citrons has quit (*.net *.split). 04:03:47 -!- Argorok has joined. 04:03:47 -!- pikhq has joined. 04:03:50 -!- CAT_S has joined. 04:08:39 -!- citrons has joined. 04:16:26 -!- underpantsgnome[ has quit (*.net *.split). 04:16:26 -!- Riviera has quit (*.net *.split). 04:16:35 -!- Riviera has joined. 04:22:55 -!- underpantsgnome[ has joined. 04:32:32 -!- j4cbo has quit (*.net *.split). 04:32:43 -!- j4cbo has joined. 04:35:54 -!- razetime has joined. 04:41:45 zzo38: Do you like duck chess? 04:42:33 I have not played it, but I know how it is played. (I have not played chess much at all recently) 04:42:51 I like that idea, though. 04:46:01 shachaf: I'm disappointed about it. if it has a rubber duck, bishops should be able to move bouncing from it. they can't. ok, but then they should have used different flavor than a rubber duck. 04:50:15 I am unlikely to use an actual rubber duck, since I do not have one of the correct size for the chess board that I have, but I can use something else instead, such as dice. (In a tournament, they probably should use the duck but then they would have a suitable duck for that purpose, I suppose, maybe) 04:51:34 -!- razetime has quit (Ping timeout: 252 seconds). 04:58:29 try duck typing then. if you don't have a real duck, substitute any piece that moves every turn like a duck and quacks like a duck and can't capture like a duck 04:58:49 er, moves every half-turn 05:08:14 -!- razetime has joined. 05:42:05 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in). 05:45:38 -!- slavfox has joined. 05:46:55 -!- chiselfuse has quit (Remote host closed the connection). 05:49:01 -!- chiselfuse has joined. 05:54:54 -!- HackEso has quit (Ping timeout: 260 seconds). 05:54:54 -!- esolangs has quit (Ping timeout: 260 seconds). 05:55:32 -!- esolangs has joined. 05:55:32 -!- ChanServ has set channel mode: +v esolangs. 06:02:29 -!- silky has quit (Ping timeout: 260 seconds). 06:02:38 -!- silky has joined. 06:07:44 -!- CAT_S has quit (Ping timeout: 260 seconds). 06:12:40 -!- razetime has joined. 06:13:08 -!- citrons has joined. 06:20:17 -!- CAT_S has joined. 06:55:30 -!- razetime has quit (Ping timeout: 252 seconds). 07:20:41 -!- razetime has joined. 07:49:12 -!- slavfox_ has joined. 07:49:58 -!- slavfox_ has changed nick to slavfox. 08:17:14 -!- citrons has quit (Ping timeout: 260 seconds). 08:17:23 -!- citrons has joined. 08:28:59 [[Asmlang]] N https://esolangs.org/w/index.php?oldid=104492 * Xyzzy * (+585) Created page with "{{WIP}} {{Stub}} Asmlang is an Work-in-progress language. Here is the concept file: Instruction set F is an adress,pointing to an 8-bit value. W is an 8-bit accumulator. Stack have 2 levels :) 0<=b<8 Add,And,Or,Subtract,XOR W with F to D Rotate left/right thru carry 08:29:14 [[Asmlang]] https://esolangs.org/w/index.php?diff=104493&oldid=104492 * Xyzzy * (+13) 08:29:28 [[Asmlang]] https://esolangs.org/w/index.php?diff=104494&oldid=104493 * Xyzzy * (-15) 08:39:06 -!- Sgeo has quit (Read error: Connection reset by peer). 09:03:31 -!- razetime has quit (Ping timeout: 252 seconds). 09:18:21 [[CTFuck]] https://esolangs.org/w/index.php?diff=104495&oldid=103741 * Pro465 * (-232) /* Commands */ 09:23:21 -!- razetime has joined. 09:24:54 [[User:Mario0Fan]] https://esolangs.org/w/index.php?diff=104496&oldid=104471 * Mario0Fan * (+36) /* Things i made related to esolangs: */ 09:25:29 [[CTFuck]] https://esolangs.org/w/index.php?diff=104497&oldid=104495 * Pro465 * (+51) /* Turing Completeness */ 09:26:40 [[CTFuck]] https://esolangs.org/w/index.php?diff=104498&oldid=104497 * Pro465 * (+3) /* Cat */ 09:28:43 [[ThueLike]] https://esolangs.org/w/index.php?diff=104499&oldid=104485 * Mario0Fan * (+163) () command 09:29:14 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104500&oldid=104499 * Mario0Fan * (+10) /* Other */ 09:31:22 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104501&oldid=104500 * Mario0Fan * (+1) Moved "Equal to" to Logic gates 09:33:02 [[ThueLike]] https://esolangs.org/w/index.php?diff=104502&oldid=104501 * Mario0Fan * (+3) 09:34:18 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104503&oldid=104502 * Mario0Fan * (-2) fixed logic gates 09:35:29 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104504&oldid=104503 * Mario0Fan * (+27) Added an example for XNOR 09:42:19 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104505&oldid=104504 * Mario0Fan * (+200) Even more randomized truth machine 10:21:25 [[CTFuck]] https://esolangs.org/w/index.php?diff=104506&oldid=104498 * Pro465 * (-290) /* IO endianness */ 10:21:29 -!- citrons has quit (Ping timeout: 260 seconds). 10:21:38 -!- citrons has joined. 11:59:51 [[CTFuck]] https://esolangs.org/w/index.php?diff=104507&oldid=104506 * Pro465 * (-140) /* Hello world */ 12:01:05 [[CTFuck]] https://esolangs.org/w/index.php?diff=104508&oldid=104507 * Pro465 * (-9) /* Truth Machine */ 12:05:13 [[CTFuck]] https://esolangs.org/w/index.php?diff=104509&oldid=104508 * Pro465 * (+520) /* Notes */ 12:08:42 -!- genpaku has joined. 12:10:13 [[CTFuck]] https://esolangs.org/w/index.php?diff=104510&oldid=104509 * Pro465 * (+41) /* Commands */ 12:25:44 -!- citrons has quit (Ping timeout: 260 seconds). 12:25:53 -!- citrons has joined. 12:28:10 -!- __monty__ has joined. 13:25:36 [[CTFuck]] https://esolangs.org/w/index.php?diff=104511&oldid=104510 * Pro465 * (-41) /* Commands */ 13:43:13 [[ThueLike]] M https://esolangs.org/w/index.php?diff=104512&oldid=104505 * Mario0Fan * (+10) 13:43:29 [[ThueLike]] https://esolangs.org/w/index.php?diff=104513&oldid=104512 * Mario0Fan * (+1) /* Functions */ 13:56:07 -!- razetime has quit (Ping timeout: 252 seconds). 13:59:37 `q law student 13:59:38 97) [...] i'm a law student so i am loving my bread machine 14:05:50 -!- razetime has joined. 14:12:29 -!- genpaku has quit (Ping timeout: 260 seconds). 14:14:22 -!- genpaku has joined. 14:20:29 -!- tromp has joined. 14:26:01 -!- Thelie has joined. 14:29:59 -!- citrons has quit (Ping timeout: 260 seconds). 14:30:08 -!- citrons has joined. 14:30:52 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 14:45:46 -!- tromp has joined. 15:16:58 -!- razetime has quit (Ping timeout: 252 seconds). 15:19:46 [[Array++]] M https://esolangs.org/w/index.php?diff=104514&oldid=104401 * Z Z * (+5) /* define */ 15:19:56 [[Array++]] M https://esolangs.org/w/index.php?diff=104515&oldid=104514 * Z Z * (-1) /* define */ 15:21:00 [[Array++]] M https://esolangs.org/w/index.php?diff=104516&oldid=104515 * Z Z * (+0) /* Array++ (same, but no comments) */ 15:21:14 [[Array++]] M https://esolangs.org/w/index.php?diff=104517&oldid=104516 * Z Z * (+0) /* Array++ */ 15:25:42 [[Array++]] M https://esolangs.org/w/index.php?diff=104518&oldid=104517 * Z Z * (+42) /* Reserved symbols */ 15:25:47 -!- razetime has joined. 15:43:26 [[MineStax]] M https://esolangs.org/w/index.php?diff=104519&oldid=104451 * PythonshellDebugwindow * (+19) /* Classification */ Category 15:45:00 [[NucleotideBF (nBF)]] M https://esolangs.org/w/index.php?diff=104520&oldid=74538 * PythonshellDebugwindow * (+11) /* Python Implementation */ Fix formatting 15:52:57 [[CTFuck]] https://esolangs.org/w/index.php?diff=104521&oldid=104511 * Pro465 * (+22) /* The [if_num|else_num] command */ 16:01:07 [[Array++]] https://esolangs.org/w/index.php?diff=104522&oldid=104518 * Z Z * (+611) /* Reserved symbols */ 16:20:24 -!- tech_exorcist has joined. 16:24:12 -!- tech_exorcist has quit (Client Quit). 16:24:19 -!- tromp has quit (Ping timeout: 260 seconds). 16:24:31 -!- tech_exorcist has joined. 16:24:34 -!- tromp has joined. 16:29:16 [[Array++]] M https://esolangs.org/w/index.php?diff=104523&oldid=104522 * Z Z * (+13) /* Array++ */ 16:30:34 [[Array++]] M https://esolangs.org/w/index.php?diff=104524&oldid=104523 * Z Z * (+15) /* Array++ (same, but no comments) */ 16:31:01 [[Array++]] M https://esolangs.org/w/index.php?diff=104525&oldid=104524 * Z Z * (+2) /* Array++ */ 16:31:10 [[Array++]] M https://esolangs.org/w/index.php?diff=104526&oldid=104525 * Z Z * (+1) /* Array++ (same, but no comments) */ 16:34:14 -!- citrons has quit (Ping timeout: 260 seconds). 16:34:23 -!- citrons has joined. 16:35:23 [[Array++]] M https://esolangs.org/w/index.php?diff=104527&oldid=104526 * Z Z * (+90) 16:37:57 [[Array++]] M https://esolangs.org/w/index.php?diff=104528&oldid=104527 * Z Z * (+27) /* Reserved symbols */ 16:39:49 [[Array++]] M https://esolangs.org/w/index.php?diff=104529&oldid=104528 * Z Z * (+16) /* Examples */ 16:44:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 16:45:05 -!- fowl has quit (Quit: cya). 17:20:57 -!- fowl has joined. 17:24:56 -!- Sgeo has joined. 17:37:46 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.). 17:48:58 -!- tromp has joined. 18:22:29 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 18:30:15 -!- tromp has joined. 18:38:29 -!- citrons has quit (Ping timeout: 260 seconds). 18:38:37 -!- citrons has joined. 18:47:53 -!- SGautam has joined. 19:16:17 -!- Trieste has joined. 19:23:06 -!- fowl9 has joined. 19:25:09 -!- fowl has quit (Ping timeout: 260 seconds). 19:25:09 -!- fowl9 has changed nick to fowl. 19:25:25 -!- Sgeo_ has joined. 19:28:39 -!- Sgeo has quit (Ping timeout: 260 seconds). 19:39:46 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:03:22 -!- tromp has joined. 20:42:44 -!- citrons has quit (Ping timeout: 260 seconds). 20:42:53 -!- citrons has joined. 20:48:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 20:54:30 -!- tromp has joined. 20:57:15 -!- SGautam has quit (Quit: Connection closed for inactivity). 20:58:28 -!- tech_exorcist has quit (Quit: Disconnecting). 21:18:54 -!- Trieste has quit (Ping timeout: 260 seconds). 21:19:52 -!- Trieste has joined. 21:22:47 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 21:31:16 -!- tromp has joined. 21:58:10 I typed "cd prg" and I got the message: "bash: cd: write error: Success" The command worked despite the error message, and I cannot reproduce it. 22:00:11 zzo38: is prg a symlink, or did bash track symbolic links in your pwd, or do you have any I/O errors for a file system in your kernel log, or are NFS involved? 22:01:23 -!- __monty__ has quit (Quit: leaving). 22:08:20 LOL '$BASH_VERSION prints "bash: 4.2.37(1)-release: command not found".' https://unix.stackexchange.com/questions/116381/why-did-bash-print-bash-cd-write-error-success 22:09:27 (Fun one, I've never seen an error like that.) 22:10:47 There are claims on the Internet that if you use Reed-Solomon in GF(2^k), you can only have 2^k - 1 point, rather than 2^k points. 22:10:51 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 22:11:05 But I'm not sure why you can't have 2^k points? Am I missing something? 22:11:13 It is not a symlink, there are no I/O errors for that file system in the kernel log, and NFS is not involved. 22:14:20 Looking at the bash source, it looks like this is a write error (ferror) to stdout. 22:14:46 Do you have something special going on? 22:15:00 Also do you have POSIXLY_CORRECT enabled? 22:21:47 well, this is cute: cd / --> bash: PWD: readonly variable 22:22:07 `` readonly PWD=/; cd / 22:22:09 ​/hackenv/bin/`: line 5: PWD: readonly variable 22:24:49 anyway, which bash version is that, and does it have custom patches, and also, are there any interesting PROMPT_COMMAND shenanigans etc. pp. 22:36:09 Also is CDPATH set? 22:36:33 I didn't even know about this. 22:37:06 shachaf: I think that RS thing is a [citation needed], despite the fact that using 0... which just gives the constant coefficient... intuitively is a bit strange 22:38:19 I just tried it out with GF(4) for a 2+2 code. 22:38:31 It seems to work fine. 22:39:24 You can make an encoding matrix like [[1 0][0 1][1 1][1 s+1]] and every choice of two rows from that matrix is invertible. 22:39:49 sure, it's "just" linear algebra at work 22:40:38 https://en.wikipedia.org/wiki/Vandermonde_matrix has non-zero determinant if the x_i are all distinct; there's no need for them to be non-zero 22:43:48 Wait, there's no way having zeros in the matrix can work, is there? 22:44:06 A 0 wouldn't let you reconstruct the data if you lose one data shard and all but one parity shards. 22:46:24 ? 22:46:41 I think we have slightly different formulations of RS codes in mind 22:46:56 Probably! 22:47:41 In the pure formulation, all matrix rows have the form [1,a,a^2,...,a^(n-1)]; there's no identity matrix portion. 22:47:59 and in that formulation you can take a = 0. 22:48:19 I see, you're thinking of a non-systematic code? 22:48:25 Yep. 22:48:28 Got it. 22:48:49 Actually, I'm still confused. 22:48:58 Oh, never mind, not confused. 22:49:07 This is just the same as the first row of the identity matrix, of course. 22:50:04 I'm not quite sure how the systematic formulation works... I guess you just start with the systematic one and do Gaussian elimination on top? And that'll ensure that the non-identity matrix rows mix all the data. 22:50:16 Systematic codes seem pretty good, though. Is there ever a reason not to use them? 22:50:34 The error correction may be harder? 22:51:01 "harder"... it'll just be a linear transformation away no matter what you do. 22:52:12 Hmm, it's probably mostly that I'm used to applications where errors/erasures are rare, and you want encoding to be fast and decoding in the no-error case to be fast. 22:52:46 I guess as errors get more common you start to care about decoding more, and then maybe that's more important. 22:53:47 is this again about that thing we were talking about some days or weeks or months ago? I think it's still in the channel logs 22:53:52 https://en.wikipedia.org/wiki/Reed-Solomon_error_correction#Systematic_encoding_procedure:_The_message_as_an_initial_sequence_of_values ...yeah right, you can describe it as doing (Lagrange) interpolation followed by evaluation. 22:54:10 A natural way to get a systematic code is to fit a polynomial to n point and then generate p more points. 22:54:15 Right. 22:54:59 the (A's left square submatrix)^-1 A variant would apply to any linear code (provided that matrix is invertible) 22:55:11 https://logs.esolangs.org/libera-esolangs/2022-10.html#lrt 22:56:19 shachaf: anyway, now it becomes a question of which points you used for interpolation... you don't have to re-evaluate the polynomial for those, and 0 is likely to be one of them because it makes the process a tiny bit cheaper. 22:57:06 b_jonas: looks similar, but the RS angle is new 22:57:14 I think. 23:09:39 what's an "RS"? 23:09:57 Reed-Solomon, I assume. 23:09:59 ah 23:10:06 yes, that would make sense 23:10:23 Oh, also, is there a simple way to do error correction (rather than erasures) with Reed-Solomon? 23:10:39 For n+2 encoding, correcting one error is easy. 23:10:48 But it seems like it's much more complicated for correcting multiple errors. 23:15:40 (I'm thinking of systematic codes here again.) 23:16:22 well it looks like the first thing they do is to undo the interpolation step? 23:16:58 (looking at the end of that wikipedia page, i.e. the Berlekamp-Welch and Gao stuff) 23:22:34 -!- Trieste has quit (Ping timeout: 260 seconds). 23:25:07 -!- Trieste has joined. 23:26:17 Oh, hmm, this Berlekamp-Welch thing looks simpler than Berlekamp-Massey. 23:31:10 -!- Thelie has quit (Remote host closed the connection). 23:46:19 It's funny that for matrices over GF(2^k), the determinant is equal to the permanent. 23:54:17 what's really funny is how useless that fact is for computing the permanent 23:55:00 You mean in other fields? 23:55:20 in Z, really 23:55:24 Right. 23:55:41 (The best field.) 23:55:52 I tend to think that computing the permanent is really hard, which I guess is why it's funny that it's easy in this case. 23:55:56 Q is the corresponding field. So we can pick that.