00:02:59 "If you dont know, Fractran is an esoteric programming language. That means it is extraordinary difficult to write any program in Fractran." 00:03:08 I feel like it's immediately critical to disprove it. 00:03:19 HQ9+ depending on program desired? 00:03:57 Also it might say something not great about me that I instantly desired to nitpick the ascribed meaning of esoteric programming language 00:04:26 https://malisper.me/building-fizzbuzz-fractran-bottom/ 00:05:01 -!- arseniiv has quit (Ping timeout: 264 seconds). 01:08:38 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 02:08:39 The article about category theory on Wikipedia does not mention category of matrices, it look like to me. 02:37:26 [[Chicken]] https://esolangs.org/w/index.php?diff=71115&oldid=59475 * Watermelon3D * (+107) 02:38:31 [[Chicken]] https://esolangs.org/w/index.php?diff=71116&oldid=71115 * Watermelon3D * (+2) 02:43:34 -!- preston has quit (Ping timeout: 256 seconds). 02:55:41 -!- Elderberry has joined. 03:04:44 [[Chicken]] M https://esolangs.org/w/index.php?diff=71117&oldid=71116 * IFcoltransG * (+16) Swapped a few categories around 03:07:25 -!- imode has joined. 03:27:36 -!- Elderberry has quit (Ping timeout: 240 seconds). 03:38:34 -!- atslash has quit (Ping timeout: 240 seconds). 03:56:11 -!- atslash has joined. 03:58:18 -!- zzo38 has quit (Disconnected by services). 03:58:25 -!- zzo38 has joined. 04:09:36 in English, is there a rude or taboo word matching /^([klmnrst][aiu]|[aiu][klmnrst]){2}/i , including a misspelled word that could still be considered rude like "fukc", but other than "kaka"? I'm trying to make a human-typable encoding for something, but want to make sure it won't result in words that people may consider insulting. "kaka" doesn't matter because repeated syllables are not allowed. 04:09:53 If there is, I can change those set of letters (while keeping the cardinality). 04:12:21 I don't know, but does PCRE have a way to specify that this repetition is not allowed? Also, do you need the set of letters to be same regardless of the order? 04:14:27 -!- ArthurStrong has quit (Quit: leaving). 05:16:17 -!- oerjan has joined. 05:21:04 [[Babalang]] https://esolangs.org/w/index.php?diff=71118&oldid=70908 * RocketRace * (+56) Add external resources section 05:22:09 [[Babalang]] M https://esolangs.org/w/index.php?diff=71119&oldid=71118 * RocketRace * (+54) Fix link formatting 05:26:00 -!- zzo38 has quit (Disconnected by services). 05:26:05 -!- zzo38 has joined. 06:01:24 @messages-loud 06:01:24 spruit11 said 6d 10h 45m 19s ago: Could, or would, you be so kind to support an arxiv submission of a paper I wrote? 06:02:30 spruit11: i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible. 06:02:54 @tell spruit11 i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible. 06:02:54 Consider it noted. 06:04:48 -!- rodgort has quit (Quit: Leaving). 06:12:13 -!- sprocklem has quit (Ping timeout: 264 seconds). 06:12:35 -!- kspalaiologos has joined. 06:13:47 -!- sprocklem has joined. 06:18:49 -!- sprocklem has quit (Ping timeout: 264 seconds). 06:18:58 [[Special:Log/newusers]] create * LorryWoodman * New user account 06:19:32 -!- sprocklem has joined. 06:24:07 -!- iczero has quit (Excess Flood). 06:24:40 -!- iczero has joined. 06:26:36 -!- rodgort has joined. 06:28:37 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71120&oldid=71102 * LorryWoodman * (+239) /* Introductions */ 06:31:09 [[Subleq]] M https://esolangs.org/w/index.php?diff=71121&oldid=67339 * LorryWoodman * (+10) Correct TechTinkering URL 06:31:27 So, Agatha's being reminded of the waters of the Dyne in today's GG, right? <-- i thought so, i was basically expecting the next strips to suggest the Dyne _was_ the cause (assuming the true source of the Dyne is outside the time bubble, it can't flow through the castle's curse-extraction machinery anymore) 06:32:05 but that was several strips ago, and nothing said 06:33:25 -!- tromp has quit (Read error: No route to host). 06:36:54 -!- kmc has quit (Ping timeout: 240 seconds). 06:37:37 -!- kmc has joined. 06:47:52 _what_ 06:51:09 kspalaiologos: where? 06:51:46 what is this message about 06:54:29 which message 06:58:34 -!- imode has quit (Ping timeout: 240 seconds). 07:06:38 -!- A-ee has joined. 07:07:36 Just like you can't fold a sheet of printing paper over 7 times. 07:08:05 But by the time you get to that, you are obviously doing something wrong. :) 07:08:47 -!- A-ee has quit (Remote host closed the connection). 07:12:06 -!- Sgeo__ has joined. 07:15:26 -!- Sgeo_ has quit (Ping timeout: 265 seconds). 07:20:05 [[FishScript]] https://esolangs.org/w/index.php?diff=71122&oldid=71114 * Watermelon3D * (+48) /* Commands */ 07:46:52 -!- tromp has joined. 07:51:20 -!- tromp has quit (Ping timeout: 246 seconds). 07:54:15 -!- tromp has joined. 08:06:06 -!- kritixilithos has joined. 08:22:10 -!- Sgeo__ has quit (Read error: Connection reset by peer). 08:22:36 -!- Sgeo__ has joined. 08:48:51 zzo38: I could write a regex that doesn't allow repetitions, but I wanted my question to be human-readable, so I didn't 08:51:42 zzo38: same regardless the order: yes. this is for representing the moves in a board game, in a video game implementation. there's a board that is a square grid of size 7x3, a player chooses two distinct squares for their move. I want to label the columns and rows, and the players will represent that move towards my software by typing four letters. it's enough to always write the squares with the column 08:51:48 consonant first and the row vowel after, 08:52:09 and that's how I'll print moves, but I want the game to be easily usable without much of a learning curve, so I want to accept the other order too. 08:53:45 so my current plan is to label the columns KLMNRST and the rows AIU, but I have a lot of freedom here 08:57:36 `grep -E '^([klmnrst][aiu]|[aiu][klmnrst]){2}$' /usr/dict/words|grep na|head -1 08:57:37 grep: invalid option -- ' ' \ Usage: grep [OPTION]... PATTERNS [FILE]... \ Try 'grep --help' for more information. 09:10:24 -!- ais523 has joined. 09:10:36 b_jonas: is there any reason you can't use letter-digit pairs? 09:10:45 that's the usual solution to this problem 09:11:21 that said, I think most swearwords in English are consonant-heavy, but I think potentially offensive combinations are almost impossible to avoid because of all the languages they could be potentially offensive in 09:11:30 (it's not enough to just avoid /English/ swearwords) 09:43:18 -!- Lord_of_Life_ has joined. 09:45:00 ais523: I could use letter-digit pairs too, yes 09:45:40 -!- Lord_of_Life has quit (Ping timeout: 256 seconds). 09:45:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 09:47:07 ais523: but some of the audience is fluent in leetspeak and replacing letters with digits, so even with digits you have to be careful. the move could spell K1K3 or something. 09:49:18 I could even go with digits only, with 3456789 for the columns and 123 for the rows. 09:50:37 surely you want 0 in there to avoid the duplicated 3? 09:51:05 why? what's wrong with a duplicated 3? 09:54:03 I could go with a boring ABCDEFG for columns and 123 for the rows. it works for chess so it can't be too offensive. 09:55:30 -!- Phantom_Hoover has joined. 09:55:30 -!- Phantom_Hoover has quit (Changing host). 09:55:30 -!- Phantom_Hoover has joined. 09:55:34 b_jonas: you'd have an ambiguity if /two/ digits were duplicated; there's no ambiguity with one digit duplicated but it may be hard to mentally parse because you don't know what a 3 means without looking at the other one 09:56:27 that's true. I plan to display the moves visually on the board, so mental parsing isn't too much of a problem, but it might still be better to avoid. 09:56:39 and in chess you occasionally get ambiguites that need to be resolved as, say, Rcc3 and R3c3, a duplicated 3 would make that sort of ambiguity even more confusing to resolve 09:58:01 in chess notation, yes. this isn't chess notation and there are no kings and rooks and bishops and knights. 10:30:11 -!- Melvar has quit (Quit: WeeChat 2.7.1). 10:41:44 oh fungot is here, rejoice 10:41:44 int-e: my parser doesn't do character classes, so harder for anyone but him why shouldn't he do that 10:55:12 -!- rain1 has joined. 11:09:23 -!- kritixilithos has quit (Ping timeout: 240 seconds). 11:18:38 -!- tromp has quit (Read error: Connection reset by peer). 11:18:54 -!- tromp has joined. 11:19:30 -!- ais523 has quit (Quit: quit). 11:34:57 -!- Frater_EST has joined. 11:40:14 -!- LKoen has joined. 12:00:53 -!- kritixilithos has joined. 12:29:02 int-e: what output would you expect from print $ nf $ let lid = Abs (Var 0) in Abs (App (Var 0) (Abs lid)) `App` lid ? 12:29:35 would you expect Nothing? 12:35:22 or even simpler, from print $ nf $ App (Abs (App (Var 0) (Var 0))) (Abs (Var 0)) ? 12:36:54 -!- Elderberry has joined. 12:49:13 Is the room usually active, or often dead? 12:52:38 int-e: the problem is that simplify ends up doing the reduction that is later done by nf, and then nf seeing a repeating redex 12:53:24 here's my debugging output for illustration: 12:53:29 nf [] (\1 1) (\1) 12:53:29 (\1 1) (\1) simplifies to \1 12:53:29 r = \1 case \1 1 of 12:53:31 nf [\1] (\1) (\1) 12:53:33 (\1) (\1) simplifies to \1 12:53:35 r = \1 case \1 of 12:53:37 repeating redex \1 12:53:39 Nothing 12:55:16 -!- pimlu has joined. 12:57:02 hey guys, for anyone who has an interest in FRACTRAN, I made a really fast FRACTRAN interpreter 12:57:29 it should make more classes of programs runnable than previously was possible 12:57:33 https://pimlu.github.io/fractran/ 12:58:23 tromp: I would not expect it to terminate on infinite terms, precisely because simplification is pretty eager 12:58:56 -!- Elderberry has quit (Ping timeout: 240 seconds). 12:59:02 it mistakes a term with normal form for one without 12:59:05 * int-e thinks 12:59:35 i'm gonna try to do the simplification at start of nf, before the case analysis 12:59:36 hrm 13:00:08 I just should not IRC before waking up. 13:00:23 (never mind that it's the middle of the afternoon) 13:00:45 that seems to work better 13:01:00 enjoy your coffee:-) 13:01:00 -!- Sgeo__ has quit (Read error: Connection reset by peer). 13:02:51 So what you're saying is that I have a bug. 13:02:54 Good to know. 13:04:31 yes. my bugfix produces lots more TODOs 13:04:40 probably connected to simplifying redexrs before adding them to the list of seen redexes. 13:04:46 -!- Sgeo has joined. 13:05:47 ahhh man the font is messed up in the help menu. no such thing as releasing without bugs 13:09:19 -!- LKoen has quit (Remote host closed the connection). 13:10:49 tromp: I undid the offending change (which I never intended to commit in the first place... but it happened and I thought the code was kind of okay at that point) 13:11:13 the dangers of commit -a 13:17:07 okay, should be fixed now. anyway, the fast interpreter uses big integers for the register values 13:17:17 (and can actually run for example, 2^100 iterations of some programs) 13:22:50 tromp: reverted the corresponding list in BB.txt as well 13:25:46 tromp: Sorry about that. I had played with the code one very late evening and ended up with something I no longer understood. 13:27:07 But I had no intention of committing it so I thought that was fine. 13:30:15 -!- LKoen has joined. 13:30:39 the revert doesn't support B^V = W^V B^V anymore? 13:37:01 -!- preston has joined. 13:37:09 -!- arseniiv has joined. 13:37:55 esopriveteric 13:39:01 [[TheSingularity]] M https://esolangs.org/w/index.php?diff=71123&oldid=65722 * PythonshellDebugwindow * (-6) /* Conditional statements */ 13:42:10 [[Special:Log/newusers]] create * Elderberry * New user account 13:42:44 int-e: your current BBx bombs with a BBx: BBx.lhs:(25,3)-(27,29): Non-exhaustive patterns in function size 13:43:23 everytime I see a word elderberry, I automatically think of Monthy Python's "your mother was a hamster and your father smells of elderberries" 13:47:59 -!- oerjan has quit (Quit: Fetchez la vache!). 13:48:12 -!- Melvar has joined. 13:55:09 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71124&oldid=71120 * Elderberry * (+273) 14:19:11 -!- Elderberry has joined. 14:22:10 -!- Elderberry has quit (Remote host closed the connection). 14:30:34 -!- pimlu has quit (Remote host closed the connection). 14:38:08 -!- imode has joined. 15:17:50 [[Talk:FishScript]] N https://esolangs.org/w/index.php?oldid=71125 * Willicoder * (+156) Created page with "What does "doubles the fish in front of it" mean? (with the tilde) ~~~~" 15:35:36 [[Asm2bf]] M https://esolangs.org/w/index.php?diff=71126&oldid=70992 * Palaiologos * (+79) newest instruction format 15:54:36 -!- kritixilithos has quit (Quit: quit). 16:05:54 [[Talk:FishScript]] M https://esolangs.org/w/index.php?diff=71127&oldid=71125 * PythonshellDebugwindow * (+441) 16:07:20 -!- LKoen has quit (Remote host closed the connection). 16:13:58 -!- kspalaiologos has quit (Remote host closed the connection). 16:14:18 -!- kspalaiologos has joined. 16:31:31 tromp: there is no BBx.lhs 16:32:00 tromp: or, if there is, it's yours, not mine. 16:36:23 int-e: i had one, but renamed it. and now when i do ghc --make BBx.hs, it somehow compiles my other program and calls it ./BBx 16:37:44 sorry for false alarm 16:42:12 tromp: maybe it's a timestamp problem? BBx.hs older than BBx.hi and BBx.o... 16:44:36 It's a possibility at least... which is kind of funny because nowadays, the recompilation check is intelligent enough to catch changes in optimization flags. 16:44:58 But apparently the source file name is not on the list of criteria :) 16:45:35 [[Talk:2KWLang]] M https://esolangs.org/w/index.php?diff=71128&oldid=71045 * PythonshellDebugwindow * (-12) better wiki style 16:45:59 [[Talk:FishScript]] https://esolangs.org/w/index.php?diff=71129&oldid=71127 * Willicoder * (+160) 16:46:28 -!- Frater_EST has left. 16:59:15 tromp: And right, the revert dropped all changes, including the (sound) extension to W. 16:59:59 I'm not in a good mindset to think about this, so I just reverted to a known safe version. 17:14:03 I'm happy, I may have found a deterministic reproduction of the frequent crashes of the software we use at work. Tomorrow I'll have to work to reduce it to as small as I can. 17:15:03 what beam was that? 17:15:16 sorry, wrong channel for the last line 17:19:06 fungot: what beam was that? 17:19:06 int-e: i think i'd prefer a way of thinking. be careful though... scheme is killin' me here!! 17:19:31 that one was pretty good. 17:19:43 `grwp scheme 17:19:45 boily:“Sane Mapoleon” boily is monetizing a brotherhood scheme with the Guardian of Lachine. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, a Quintopial antipodist, and a renowned Capitalist who helps keep the world kafkaesque. \ ciol:ciol is a language designed by moon_, it started as a scheme to annoy colleagues by making a programming 17:20:53 `2 grwp scheme 17:20:54 2/3:ing language that has insults as commands. \ cipation:A cipation is an evil scheme that only works if no one is prepared for it. \ keming:Keming is a text compression scheme popular in Word processors. \ madbr:madbr alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme. \ oregon:Oregon is the home of Oregano. Gregor used to take care of the color scheme, but then he left. \ taah:TaAH (Terrible and A 17:20:58 `n 17:20:59 3/3:d-Hoc) is the naming scheme used for HackEso commands. It is highly acronymous and portmantic. 17:21:34 -!- LKoen has joined. 17:23:10 [[AT]] https://esolangs.org/w/index.php?diff=71130&oldid=70100 * Hakerh400 * (+52) Add pronunciation 17:25:59 [[AT]] M https://esolangs.org/w/index.php?diff=71131&oldid=71130 * Hakerh400 * (-2) 17:26:47 [[AT]] M https://esolangs.org/w/index.php?diff=71132&oldid=71131 * Hakerh400 * (+16) 17:45:17 -!- MDead has joined. 17:45:19 -!- MDude has quit (Ping timeout: 258 seconds). 17:45:24 -!- MDead has changed nick to MDude. 17:46:11 @tell oerjan oh. bummer. 17:46:12 Consider it noted. 17:51:49 -!- preston has quit (Ping timeout: 250 seconds). 17:55:39 -!- orbitaldecay has quit (Remote host closed the connection). 18:05:56 Hmm. How unfortunate. 18:06:02 Now what? 18:07:45 what now? 18:19:20 there is a Rihanna song with this name 18:19:44 what no-o-o-ow 18:22:50 hllo 18:26:13 I wanted to submit some thingy I wrote to arxiv and need an endorser. But who? 18:26:29 Apparently not oerjan. Bummer. 18:26:54 Maybe try viXra if you cannot post on arXiv, I suppose. 18:27:39 Have a look. 18:28:43 Hmm. I'ld rather not, I guess. 18:28:51 Bit of a bad rep. 18:29:01 [[FishScript]] M https://esolangs.org/w/index.php?diff=71133&oldid=71122 * PythonshellDebugwindow * (+125) /* Interpreters */ Added Willicoder's repo 18:33:18 -!- FreeFull has quit (Ping timeout: 256 seconds). 18:33:20 I don't konw if there is any prohibition against posting on viXra and then later post on arXiv too once you have an endorser. 18:35:15 O, I looked at the instructions and it says it is OK, apparently. 18:35:58 Yah, but it doesn't make sense to me. 18:36:06 [[User:PythonshellDebugwindow/Test]] M https://esolangs.org/w/index.php?diff=71134&oldid=71061 * PythonshellDebugwindow * (+59) Removed redirect to [[User:PythonshellDebugwindow/(Unnamed language)]] 18:36:27 I mean, I can post it on Facebook too. 18:36:57 [[User:PythonshellDebugwindow/Test]] M https://esolangs.org/w/index.php?diff=71135&oldid=71134 * PythonshellDebugwindow * (+164) 18:36:59 ooh! post it on facebook 18:37:25 Uh, well. I already did. 18:37:40 But then, there's nobody there who would really care. 18:37:44 Hmpf. 18:38:44 Dunno. 18:39:36 What is the document about? 18:40:20 It's a bit of a lowbrow document about how my language, Egel, evaluates stuff. 18:40:35 Lemme give the link. 18:41:08 https://github.com/egel-lang/egel-tex/blob/master/semantics/semantics.pdf 18:41:38 I see nothing about subset of PDF to use, except that it should not embed executable files, but I think that they should be limited to a better subset, because many of the features of PDF is no good. 18:42:31 Uh? 18:43:26 [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71136&oldid=71112 * PythonshellDebugwindow * (+416) 18:47:07 -!- FreeFull has joined. 18:51:41 spruit11: wish you luck :) 18:52:46 I need an endorser, not luck! 18:52:54 But thanks, anyway. 18:56:26 -!- rain1 has quit (Quit: leaving). 19:07:07 [[Indent]] M https://esolangs.org/w/index.php?diff=71137&oldid=70993 * PythonshellDebugwindow * (-2) /* Int literals */ 19:07:17 Maybe I'll ask in #proglangdesign? 19:07:24 Let's try that. 19:07:28 [[Indent]] M https://esolangs.org/w/index.php?diff=71138&oldid=71137 * PythonshellDebugwindow * (+15) /* Examples */ 19:08:31 [[Indent]] M https://esolangs.org/w/index.php?diff=71139&oldid=71138 * PythonshellDebugwindow * (+17) /* Functions */ 19:08:43 [[Indent]] M https://esolangs.org/w/index.php?diff=71140&oldid=71139 * PythonshellDebugwindow * (-8) /* Examples */ 19:10:17 [[Indent]] M https://esolangs.org/w/index.php?diff=71141&oldid=71140 * PythonshellDebugwindow * (+118) /* Variables */ 19:12:54 -!- FreeFull has quit (Ping timeout: 256 seconds). 19:15:05 [[String]] M https://esolangs.org/w/index.php?diff=71142&oldid=66282 * PythonshellDebugwindow * (-30) Fixed links 19:20:14 [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71143&oldid=56716 * PythonshellDebugwindow * (+1) fixed link; should this not be a concept article? 19:25:34 [[String rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71144&oldid=68285 * PythonshellDebugwindow * (+79) template + cats 19:25:44 [[String rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71145&oldid=71144 * PythonshellDebugwindow * (+0) template fix 19:31:37 [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71146&oldid=71143 * PythonshellDebugwindow * (+128) 19:32:25 [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71147&oldid=71146 * PythonshellDebugwindow * (+22) /* Examples */ 19:32:53 [[User:Willicoder]] N https://esolangs.org/w/index.php?oldid=71148 * Willicoder * (+188) Created page with "Hi! I'm Willicoder and I love to code! I made an interpreter for [[FishScript]], and I might make an esolang someday. If you want to contact me, use User_talk:Willicoder|my..." 19:51:40 -!- Phantom_Hoover has quit (Remote host closed the connection). 19:58:49 -!- kspalaiologos has quit (Quit: Leaving). 20:40:38 -!- Phantom_Hoover has joined. 20:45:43 [[Strvar]] N https://esolangs.org/w/index.php?oldid=71149 * PythonshellDebugwindow * (+1838) Created page with "'''Strvar''' is an esolang by [[User:PythonshellDebugwindow]] based on [[string]] [[rewriting]]. ==Syntax== Every line in a Strvar program is either a variable definition or..." 20:46:47 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=71150&oldid=71077 * PythonshellDebugwindow * (+202) /* Strvar */ 20:47:08 -!- FreeFull has joined. 20:49:30 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71151&oldid=70960 * PythonshellDebugwindow * (+13) /* Languages */ 20:50:12 [[Language list]] M https://esolangs.org/w/index.php?diff=71152&oldid=71100 * PythonshellDebugwindow * (+13) /* S */ 21:15:51 What is the most number of pieces to give check at once in xiangqi? I made up a quadruple check. 21:20:12 proc lambda {arguments body args} { 21:20:12 return [list ::apply [list $arguments $body] {*}$args] 21:20:12 } 21:20:35 What programming language is it? 21:20:42 Tcl 21:32:04 -!- preston has joined. 21:43:22 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 21:44:22 -!- Lord_of_Life_ has joined. 21:46:14 -!- preston has quit (Ping timeout: 240 seconds). 21:46:26 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 21:46:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 22:32:15 int-e: my current BB.lhs has only 1 TODO at 32, 2 at 33 and 34 each 22:33:14 using generalized W rule, triple loop detection, and argument reduction on strict functions 22:33:46 also found no slowdown of lists instead of S.Set 22:34:37 will try 35 tomorrow, after dental visit 23:20:50 -!- ineiros has quit (Ping timeout: 240 seconds).