←2020-06-23 2020-06-24 2020-06-25→ ↑2020 ↑all
00:01:12 -!- user24 has quit (Remote host closed the connection).
00:06:45 -!- clog has joined.
00:13:01 -!- LKoen has quit (Remote host closed the connection).
00:30:41 -!- clog has quit (Ping timeout: 265 seconds).
00:38:31 <esowiki> [[Rfghjy]] M https://esolangs.org/w/index.php?diff=74354&oldid=73457 * PythonshellDebugwindow * (+63)
00:39:14 <esowiki> [[Rfghjy]] M https://esolangs.org/w/index.php?diff=74355&oldid=74354 * PythonshellDebugwindow * (+1)
01:00:17 -!- Lord_of_Life_ has joined.
01:00:37 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
01:03:06 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
01:24:59 -!- spencer__ has quit (Remote host closed the connection).
01:26:29 -!- spencer__ has joined.
01:26:29 -!- spencer__ has quit (Remote host closed the connection).
01:26:42 -!- spencer__ has joined.
01:32:26 -!- nfd9001 has quit (Read error: Connection reset by peer).
01:32:52 -!- nfd9001 has joined.
01:35:27 -!- sprocklem has quit (Ping timeout: 265 seconds).
01:36:17 -!- sprocklem has joined.
01:40:52 -!- sprocklem has quit (Ping timeout: 246 seconds).
01:41:22 -!- sprocklem has joined.
01:49:28 -!- sprocklem has quit (Ping timeout: 265 seconds).
01:49:42 -!- sprocklem has joined.
02:20:14 -!- imode has quit (Ping timeout: 240 seconds).
02:28:01 -!- clog has joined.
02:34:45 -!- APic has joined.
03:00:45 -!- imode has joined.
03:09:28 <int-e> fungot: Hello Dear Very Confidential
03:09:28 <fungot> int-e: he's a reddit troll/ chatterbot? why?)
03:09:41 <int-e> fungot: close, it's a subject from a spam mail
03:09:41 <fungot> int-e: do you follow? map requires a list. the second fastest way to show your scifi fnord witness or mormon or something? though they
03:13:54 -!- Sgeo has quit (Read error: Connection reset by peer).
03:17:40 <shachaf> int-e: I tried for a while to figure out what "Observed:" means on that website.
03:18:12 <shachaf> Eventually I looked at the German word, Beobachtet, and I guess it means a person who's "watching" your puzzle or something.
03:18:15 <int-e> huh, context?
03:18:29 <shachaf> https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?chlang=en&id=0003NX
03:18:56 <shachaf> (Only because you were commenting on something related to that website's URLs the other day.)
03:22:27 -!- Sgeo has joined.
03:22:55 <int-e> shachaf: This is more about grammar (-ing vs. -ed), isn't it?
03:23:11 <shachaf> I guess so.
03:23:28 <int-e> Anyway, I don't find "beobachtet" any clearer than the english translation
03:23:32 <shachaf> At first I thought it was page views, and then I thought it was something like a person recording themselves solving a puzzle so you can be sure they weren't cheating, or something.
03:23:52 <shachaf> Anyway maybe it's just confusilating.
03:27:55 <int-e> . o O ( they also translated "views" as "Ansichten" which I would usually interpret as "view" in the sense of a personal interpretation of something.
03:27:58 <int-e> )
03:28:02 <int-e> (In the forum.)
03:28:54 <int-e> But I'm struggling to find a good word fort *that*.
03:29:04 <int-e> -t
03:30:06 <int-e> I guess "Abrufe" is the established term, even though it's technical (focussing on requests rather than the fact that they're usually displayed somewhere)
03:31:24 -!- spencer__ has quit (Remote host closed the connection).
03:31:44 -!- spencer__ has joined.
03:31:47 <shachaf> How should this library support a whole bunch of data types?
03:32:31 <shachaf> Say int x; OPT_INT(&x), int64_t x; OPT_INT64(&x); and so on with UINT64, unsigned long, etc.
03:32:47 <shachaf> Maybe it should take a scanf-style format string or something and let scanf do the work?
03:33:57 <int-e> https://logic-masters.de/Raetselportal/Suche/erweitert.php clarifies. It has the option to search for puzzles that are observed/watched ("beobachtet") by more than a given number of people. No clue what that does though... notify you of new solvers?
03:34:11 <int-e> Obviously I will not register just to find out.
03:34:51 <shachaf> It suppots all of < <= = >= =
03:34:53 <shachaf> Very thorough.
03:35:11 <shachaf> It's good that they have both strict and nonstrict inequality, since the number of solvers is real.
03:36:38 <int-e> I'm missing a negation
03:37:04 <int-e> I also like that = is the default
03:37:30 <shachaf> You should solve my puzzles and then register in order to rate it at 120% goodness points.
03:37:39 <int-e> Hmm, "toroidal". Toroidal Hashiwokakero could be confusing.
03:37:39 <shachaf> I imagine you're really into laboriously solving sudoku puzzles by hand.
03:38:17 <int-e> No.
03:38:45 <int-e> I find Sudokus hard in an unsatisfying way. There's too much information to track for my small brain; I'm more of a fan of visual patterns.
03:40:12 <shachaf> I was secretly imagining something more along those lines.
03:41:12 <int-e> I can't look at a Sudoku and just see all the 1s (or whatever digit); I have to painstakingly scan all squares to find them.
03:41:23 <shachaf> Oh man. The actual way you're supposed to tell whether sscanf matched the entire input string is with %n?
03:41:25 <int-e> And finding missing numbers is worse.
03:41:39 <shachaf> So much for the scanf idea.
03:41:56 <int-e> I believe so, yes. sscanf is a bit of a pain.
03:42:04 <shachaf> So much for that.
03:42:46 <shachaf> Maybe I should just support intmax_t and call it a day.
03:42:53 <shachaf> Or: Support nothing and call it a day.
03:44:37 -!- clog has quit (Ping timeout: 264 seconds).
03:44:45 -!- clog has joined.
03:59:29 <shachaf> Here's a problem: 7 people solved my puzzle, so I'm pretty sure it's solvable. But I (and a person who wrote up their reasoning) is stuck on how to make a particular inference.
03:59:36 <shachaf> s/is/am/
03:59:49 <shachaf> (Or something, that grammatical situation is obviously impossible to deal with correctly.)
04:00:11 <shachaf> I want to submit the puzzle to be solved by people but I don't know what to do about this one step.
04:02:17 -!- ArthurStrong has joined.
04:02:52 <int-e> ... just nope.
04:03:58 <shachaf> My SAT solver tells me it's true, so who needs anything else?
04:15:57 <shachaf> Is it guaranteed in Linux that getauxval(AT_EXECFN) will exist and have some string value?
04:22:06 <int-e> shachaf: you may break tools like valgrind
04:22:36 <int-e> (though by the looks of it, that sets AT_EXECFN, but to argv[0] rather than the full path?)
04:23:36 <shachaf> AT_EXECFN is already a relative path.
04:23:58 <shachaf> I want an alternative to argv[0] that's reliable, since argv[0] can just be a null pointer.
04:24:32 <int-e> LD_SHOW_AUXV=1 valgrind sleep 1 2>/dev/null --> [...] AT_EXECFN: sleep [...]
04:25:25 <shachaf> Oh, it shows an absolute path without valgrind in that case, interesting.
04:25:29 <zzo38> Why does the Wikipedia article about printing registration have a "see also" link that links to the Japanese wikipedia?
04:25:56 <shachaf> `` cd /bin; LD_SHOW_AUXV=1 ./sleep 0 | grep EXECFN
04:25:56 <HackEso> AT_EXECFN: ./sleep
04:26:00 <shachaf> `` LD_SHOW_AUXV=1 sleep 0 | grep EXECFN
04:26:02 <HackEso> AT_EXECFN: /bin/sleep
04:26:33 <shachaf> I guess this is the first argument to execve.
04:27:34 <int-e> or execvp? that might explain the lack of path lookup
04:27:52 <shachaf> I mean, in the non-valgrind case.
04:28:06 <shachaf> It's populated by the kernel so I imagine it's based on execve.
04:31:30 <shachaf> Is it just me or did glibc printf use to be able to handle null %s and now it doesn't?
04:32:30 <int-e> dunno? it does print (null) here
04:32:31 <shachaf> `cc #include <stdio.h>\n int main() { printf("%s", (char *)0); }
04:32:32 <HackEso> ​(null)
04:32:53 <int-e> uh
04:33:13 <int-e> scratch that, it actually segfaults
04:33:33 <shachaf> It segfaults here too.
04:33:38 <shachaf> I guess they changed it at one point.
04:34:24 <int-e> printf("%s %d\n", (char *)0, 42); works fine?
04:34:42 <int-e> Ah.
04:34:44 <int-e> This is gcc.
04:34:58 <int-e> gcc optimizes printf("%s\n", ...) to puts.
04:35:02 <shachaf> Aha!
04:35:20 <shachaf> Now that you mention it I think I've noticed this before a trillion years ago and forgot about it.
04:35:48 <shachaf> Good thing printfing a null pointer is undefined behavior so this is fine.
05:05:42 <Sgeo> https://www.wothke.ch/blaster/
05:30:49 -!- ArthurStrong has quit (Ping timeout: 246 seconds).
05:32:17 -!- ArthurStrong has joined.
06:53:15 -!- spencer__ has quit (Quit: Leaving).
06:53:51 -!- rain1 has joined.
07:12:57 -!- tromp has joined.
07:50:46 -!- Sgeo has quit (Read error: Connection reset by peer).
07:54:06 -!- cpressey has joined.
08:02:01 -!- impomatic has quit (Quit: impomatic).
08:02:23 -!- impomatic has joined.
08:06:47 -!- impomatic has quit (Client Quit).
08:07:02 -!- impomatic has joined.
08:12:44 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74356&oldid=74283 * Chris Pressey * (+586) It's not a Kleene algebra. It might still be a semiring.
08:19:57 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74357&oldid=74356 * Chris Pressey * (-230) Make raw markup nicer to read, partially
08:26:15 <ArthurStrong> Integer factorization using regex (with backreferences) https://yurichev.com/news/20200624_factorize_regex/
08:32:00 -!- impomatic has quit (Quit: impomatic).
08:32:16 -!- impomatic has joined.
08:36:08 -!- b_jonas has quit (Quit: leaving).
08:36:32 -!- impomatic has quit (Client Quit).
08:36:50 -!- impomatic has joined.
08:37:07 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74358&oldid=74357 * Chris Pressey * (-431) More of making raw markup nicer to read
08:41:34 <rain1> brilliant
08:47:21 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74359&oldid=74358 * Chris Pressey * (+224) /* Algebraic properties */ Note how this will need to be fixed, even if only a semiring. Thanks to arseniiv for noticing.
08:47:40 <imode> do it in thue.
08:49:40 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74360&oldid=74359 * Chris Pressey * (+30) /* Algebraic properties */ Formatting
08:49:55 <imode> if you built a decently-sized tech stack on top of thue, hotswapping code would be a breeze.
08:52:34 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74361&oldid=74360 * Chris Pressey * (+44) /* Algebraic properties */ The single-asteration property is more than a conjecture; the TM example shows it.
08:55:16 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74362&oldid=74361 * Chris Pressey * (+88) /* Algebraic properties */ Clarify
09:10:53 -!- nfd has joined.
09:13:46 -!- nfd9001 has quit (Ping timeout: 246 seconds).
09:17:00 -!- impomatic has quit (Quit: impomatic).
09:17:16 -!- impomatic has joined.
09:21:39 -!- impomatic has quit (Client Quit).
09:21:54 -!- impomatic has joined.
09:32:20 -!- nfd9001 has joined.
09:34:52 -!- nfd has quit (Ping timeout: 256 seconds).
09:36:34 -!- imode has quit (Ping timeout: 240 seconds).
09:53:23 -!- t20kdc has joined.
10:09:01 -!- TheLie has joined.
10:17:15 -!- kspalaiologos has joined.
10:48:10 -!- LKoen has joined.
11:07:07 -!- impomatic has quit (Quit: impomatic).
11:07:22 -!- impomatic has joined.
11:11:37 -!- impomatic has quit (Client Quit).
11:11:52 -!- impomatic has joined.
11:14:39 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74363&oldid=74362 * Chris Pressey * (+81) /* Algebraic properties */ Attempt to fix the situation by stipulating that 1 & 1 = 1.
11:26:55 <esowiki> [[Tandem]] https://esolangs.org/w/index.php?diff=74364&oldid=74363 * Chris Pressey * (+216) /* Algebraic properties */ Add informal justification.
11:29:23 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74365&oldid=74364 * Chris Pressey * (+104) /* Notes on Asteration */ Diction and markup
11:30:19 <esowiki> [[Tandem]] M https://esolangs.org/w/index.php?diff=74366&oldid=74365 * Chris Pressey * (+25) /* Notes on Asteration */ qualify
11:36:46 -!- Lord_of_Life_ has joined.
11:38:54 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
11:39:37 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
11:45:48 <cpressey> RX->Y & (Q0->1 | Q3->4) == (RX->Y | Q0->1) & (RX->Y | Q3-4), but L(RX->Y | Q0->1) is not disjoint with L(RX->Y | Q3-4) so this == 0
11:46:11 <cpressey> So this disjointness rule needs to be reformed in a fairly deep way
11:48:34 <cpressey> It's like & induces something that is dual to the non-determinism that | induces
11:49:22 <cpressey> Multiple options for rewriting -> non-determinism, versus conflicting options for rewriting -> impossibility
11:52:30 <cpressey> (Q0->1 | Q0->2) versus (Q0->1 & Q0->2). We have to start looking at the RHS. We can't just use L(), we need to look at the set of redexes.
11:52:54 -!- wib_jonas has joined.
11:53:30 -!- arseniiv has joined.
11:54:15 <arseniiv> how did it end up tata, tada, data and dada all mean different things
11:56:26 <wib_jonas> arseniiv: data is an ordinary noun, dada is some modern art style -- trust modern artists to come up with stupid names, tata is a road vehicle brand name -- those all want short snappy brand names that they can write on the vehicle in a way that's easy to read from afar
11:56:46 -!- LKoen has quit (Quit: Leaving).
11:58:18 <arseniiv> tata is a road vehicle brand name -- those all want short snappy brand names that they can write on the vehicle in a way that's easy to read from afar => I meant the “bye” thing, didn’t know about this
11:58:40 -!- Phantom__Hoover has joined.
11:59:00 <arseniiv> (though mainly that question was for lambdabot; though I should have mentioned fungot in it to make a combo)
11:59:00 <fungot> arseniiv: i'll make some tc later... in a sense
11:59:47 <wib_jonas> well, it's more complicated, obviously Tata is multiple things => https://en.wikipedia.org/wiki/Tata
12:00:52 <wib_jonas> the trucks are just what it reminded me at first
12:04:47 <cpressey> arseniiv: As you pointed out, the algebra in Tandem is broken. I'm going to try to fix it. Since you're the only person who's implemented it, I'd welcome your feedback on this. (I've updated the article but the small change I've made so far does not go far enough.)
12:05:35 <cpressey> I could try to fix it by making a large change to the language, but that feels unfair to the existing implementation :)
12:06:08 <cpressey> (The large change I have in mind also does not really fit with the name "Tandem" anymore.)
12:06:13 <wib_jonas> shachaf: UI translations => there are graphical email+calendar programs where a UI label says "From:" before the sender of an email and also before the start time of a calendar event. And then the people who write UI localization tables have to figure out what to put there, or how to get their bug report to disunify or disambiguate those
12:06:13 <wib_jonas> translatable texts through.
12:06:28 <arseniiv> cpressey: would it mend if we consider lα → α making no change to l?
12:07:54 <wib_jonas> Luckily I haven't seen this for a while. Somehow for this job, I managed to acquire a desktop installation with no UI programs appearing in Hungarian. Not even MS Office, which is quite a miracle, because it's not as easy to change its UI language as for the rest of windows.
12:08:18 <wib_jonas> Of course for Firefox I have to figure out how to switch its UI back to English once every two years, because they keep changing it.
12:09:17 <cpressey> Well, lα → α already doesn't make a change? (But it is considered to succeed in matching and replacing. Would it make sense to change it to be considered a failure?)
12:09:28 <cpressey> (gtg lunch, will read log.)
12:09:30 <wib_jonas> Firefox current solution => https://superuser.com/questions/488141/h/572027#572027
12:09:31 -!- cpressey has quit (Quit: WeeChat 1.9.1).
12:11:27 <wib_jonas> Of course now I don't have a Hungarian spell-checker in MS Office, but that's a worthy sacrifice
12:15:32 <wib_jonas> "<shachaf> It suppots all of < <= = >= =" equal twice? yes, that's very throrough
12:22:56 <Arcorann> http://ucsx.org/ <-- after all those discussions of how to extend Unicode a few days ago, I found someone who made a proposal on how to extend Unicode's space arbitrarily
12:22:58 <wib_jonas> Fixed. Now I even have a Hungarian spellchecker.
12:26:10 <wib_jonas> Arcorann: nice. also, oh yeah, "ISO 10646", that's what they call the unicode-related standard, probably as a pun on "ISO 646"
12:27:05 -!- impomatic has quit (Quit: impomatic).
12:27:20 -!- impomatic has joined.
12:30:36 <wib_jonas> Arcorann: thanks for the link. ais523: ^
12:31:37 -!- impomatic has quit (Client Quit).
12:31:51 -!- impomatic has joined.
12:52:18 <arseniiv> <cpressey> Well, lα → α already doesn't make a change? (But it is considered to succeed in matching and replacing. Would it make sense to change it to be considered a failure?) => I’d then separate matching success from the set of all changes made so this could both succeed and do no changes, but I’m afraid that too could be too much for algebraic properties, I hope it isn’t
12:52:23 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74367&oldid=74353 * PythonshellDebugwindow * (+1) /* Snippets */
12:54:13 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74368&oldid=74367 * PythonshellDebugwindow * (+64) /* Commands */
12:57:24 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74369&oldid=74368 * PythonshellDebugwindow * (+196) /* 110010000100110110010 */
12:57:45 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74370&oldid=74369 * PythonshellDebugwindow * (+6) /* Memory */
13:00:37 <arseniiv> now I think I nailed one of uncomfortable things about great many fonts: their glyph for ∞ is too small
13:01:26 <arseniiv> something with relative size almost like in TeX is more nice
13:07:20 -!- kspalaiologos has quit (Read error: Connection reset by peer).
13:07:40 -!- kspalaiologos has joined.
13:08:13 <kspalaiologos> I've added many things to asm2bf since the last time I was here
13:08:18 <kspalaiologos> ` ls
13:08:19 <HackEso> ​? Permission denied
13:08:21 <kspalaiologos> `ls
13:08:21 <HackEso> asmbf-1.2.7 \ banana.txt \ bfi \ compiled_brachylog.pl \ egel-master \ egel-scripts \ egel.zip \ eGtbSgN68aHU \ just \ karma \ le \ output.b \ paste \ program \ spline \ spout \ test \ test.sh
13:08:23 <kspalaiologos> is hack eso gone?
13:08:59 <kspalaiologos> no, just laggy as usual, ok
13:11:33 <kspalaiologos> so, all in all, I added data labels, r5 and r6 are stable and tested, the codebase is 95% C, conditional pipelines, advanced conditional instructions (c[log op][rel op]), flag register, effective adresses, virtual instruction calls, constant preprocessor for redefining symbols, long instruction names, bit operations, snippet optimizations, error messages, bfi decimal flags, rewritten bfmake in Perl, effective adresss and stack based adressing.
13:11:33 <kspalaiologos> I also added the incunabulum to the repository
13:11:49 -!- cpressey has joined.
13:12:07 <kspalaiologos> all in all - I think so far it's amazing
13:13:58 <kspalaiologos> so for example a modern hello world looks like this: &string / txt "Hello World!" / @puts / movf r2, *string(r1, r0, 1) / cne r2, 0 / cout r2 / cadd r1, 1 / cjnz %puts / out 10
13:14:42 <kspalaiologos> I haven't been updating the esolangs wiki page for a very long time, because I'm writing a developers journal about asm2bf and I plan to include all the documentation in there
13:15:18 <wib_jonas> so you'll link that from the wiki article?
13:15:29 <kspalaiologos> yes
13:15:38 <kspalaiologos> I plan on removing all the content and just linking to it
13:15:57 <kspalaiologos> because it has a lot of latex-specific stuff and a lot of figures, I think it's not feasible to store it on esolangs wiki
13:16:14 <kspalaiologos> and, that may sound ridicously, but asm2bf is slowly becoming a non-esolang
13:17:39 <wib_jonas> kspalaiologos: especially since you have an interpreter for it that skips the whole historically motivated brainfuck phase. you might just turn it to an ordinary interpreted toy language
13:18:04 <kspalaiologos> I really like the architecture though
13:18:09 <wib_jonas> (or compiled if you add an x86_64 backend too)
13:18:18 <kspalaiologos> brainfuck has helped me innovate assembly a bit, how stupid it may sound
13:18:59 <kspalaiologos> sadly no one is interested in abstracting brianfuck, so I'm a lone developer
13:22:03 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74371&oldid=74370 * PythonshellDebugwindow * (+126) /* Snippets */
13:23:40 <wib_jonas> kspalaiologos: sure, a lot of toy languages have motivations, even if it's not too recognizable from the toy language then
13:27:36 <wib_jonas> eg. komalpsz was directly motivated by pre-written programs that I wanted to try to run, scan and geo were motivated by a programming course where I was supposed to write a parser as one of the requirements, olvashato was supposed to help write homework where we had to submit a solution for the same task implemented in two different languages,
13:27:37 <wib_jonas> Amicus is an educational language where the motivation was to define Hyperamicus, etc
13:29:00 <cpressey> <arseniiv> I’d then separate matching success from the set of all changes made so this could both succeed and do no changes <= lα → α already does succeed and make no changes though? (when l contains α, I mean; if it contains something else, it fails to match and makes no changes (because failing to match never makes a change))
13:30:14 <cpressey> iow I think they're already seperate: you can match and change, match and not change, or not match and not change
13:34:05 <cpressey> arseniiv: It may help to step back. My original intent was that the rules form a Kleene algebra. The meaning for & doesn't work for that (and seems deeply broken too). A simple solution would be to make R1 & R2 mean "Apply R1 then apply R2", i.e. sequencing. Then most of the problems go away. The main problems that remain are: (a) the language should no longer be called "Tandem", and (b) you might not want
13:34:07 <cpressey> to alter your interpreter that much :)
13:35:09 <cpressey> There is a partial solution to that too though: make a new language, with a different name, where it's a Kleene algebra, and leave Tandem close to as it currently is but fix it by some small patch somehow, so that it at least forms something sensible, like a semiring.
13:37:58 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74372&oldid=74371 * PythonshellDebugwindow * (+175) /* Memory */
13:39:32 <arseniiv> <cpressey> lα → α already does succeed and make no changes though? (when l contains α, I mean; if it contains something else, it fails to match and makes no changes (because failing to match never makes a change)) => yeah but my impl treats it as a change to make some part of the original definition work, I already forgot which one
13:41:25 <arseniiv> one alteration would be to compute world diffs after applying the rule (so lα → α effects would be nil) but determine if the application was succesful not based on whether the diff is empty or not
13:41:57 <arseniiv> I’m not sure what identities will survive this, though
13:43:08 <arseniiv> in a way, lα → α should be considered “blocking”, as it is in the current impl, but it won’t be so in this new one
13:44:01 <cpressey> I used Maybe in my sketch to capture whether it matched or not (Nothing indicates there was no match) - I didn't design it with the idea that you could infer that status just looking at the result of the rewriting
13:44:43 <arseniiv> though one could maybe add another rule, lα, which succeeds iff stack[l] = α (and lα…, which succeeds if α is a prefix of stack[l]), then we nicely differentiate blocking rules lα → α and non-blocking rules lα
13:45:36 <arseniiv> yeah it seems your sketch is closer to what I originally intended, hm
13:46:06 <arseniiv> (lα and lα… wouldn’t replace anything in ether case)
13:51:54 -!- kspalaiologos has quit (Ping timeout: 240 seconds).
13:53:26 -!- kspalaiologos has joined.
13:58:45 <esowiki> [[Assembly language]] M https://esolangs.org/w/index.php?diff=74373&oldid=68199 * PythonshellDebugwindow * (+57)
14:01:33 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74374&oldid=64376 * PythonshellDebugwindow * (+32)
14:05:24 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74375&oldid=74374 * PythonshellDebugwindow * (+0) /* Example */ cat
14:05:45 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74376&oldid=74375 * PythonshellDebugwindow * (+2) /* Tape Segment */
14:06:00 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74377&oldid=74376 * PythonshellDebugwindow * (-2) /* Tape */
14:06:18 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74378&oldid=74377 * PythonshellDebugwindow * (-12) /* Interrupt */
14:06:32 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74379&oldid=74378 * PythonshellDebugwindow * (-15) /* Example */ rm redundant rags
14:06:49 <esowiki> [[TAPASM]] M https://esolangs.org/w/index.php?diff=74380&oldid=74379 * PythonshellDebugwindow * (+1) /* Register */
14:16:19 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74381&oldid=74372 * PythonshellDebugwindow * (+463) /* Examples */
14:33:30 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
14:43:15 <cpressey> arseniiv: Would you have any objection if I wanted to change Ri & Rj to mean "Apply Ri and, if successful, then apply Rj"? & is no longer commutative, but (instead of imposing a disjointness condition) we can observe that *if* the sets of labels of Ri and Rj are disjoint, *then* Ri & Rj commutes.
14:47:36 -!- Frater_EST has joined.
14:51:21 <arseniiv> cpressey: no, that’s cool
14:54:20 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74382&oldid=74381 * PythonshellDebugwindow * (+11) /* Commands */
14:59:22 -!- TheLie has quit (Remote host closed the connection).
15:02:07 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=74383&oldid=74382 * PythonshellDebugwindow * (-3594) /* 110010000100110110010 */
15:02:45 <esowiki> [[110010000100110110010]] N https://esolangs.org/w/index.php?oldid=74384 * PythonshellDebugwindow * (+3731) Created page with "'''110010000100110110010''' is an esolang by [[User:PythonshellDebugwindow]]. ==Memory== 110010000100110110010 uses data (initialized to an right-unbounded infinite tap..."
15:03:19 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=74385&oldid=74325 * PythonshellDebugwindow * (+31) /* Non-alphabetic */ + [[110010000100110110010]]
15:03:47 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=74386&oldid=74326 * PythonshellDebugwindow * (+116) /* Languages */
15:05:52 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:06:38 -!- Frater_EST has joined.
15:07:59 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:08:43 <esowiki> [[Asvi]] M https://esolangs.org/w/index.php?diff=74387&oldid=73196 * PythonshellDebugwindow * (+46) /* Implementations */ cats
15:08:49 -!- Frater_EST has joined.
15:09:35 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:09:52 -!- Frater_EST has joined.
15:14:58 -!- kspalaiologos has quit (Ping timeout: 246 seconds).
15:16:28 -!- kspalaiologos has joined.
15:16:47 <kspalaiologos> I really have no idea why my internet is so shit I reconnect every 30 minutes or so\
15:16:55 -!- Frater_EST has quit (Read error: Connection reset by peer).
15:16:56 <kspalaiologos> I wonder what does it say
15:17:00 -!- FraterEST has joined.
15:19:08 <esowiki> [[Baba is program]] M https://esolangs.org/w/index.php?diff=74388&oldid=68939 * PythonshellDebugwindow * (+83)
15:19:25 <esowiki> [[Code is eso]] M https://esolangs.org/w/index.php?diff=74389&oldid=73006 * PythonshellDebugwindow * (+100)
15:21:08 <esowiki> [[CJam-Flavored Underload]] M https://esolangs.org/w/index.php?diff=74390&oldid=57119 * PythonshellDebugwindow * (+29) /* Interpreter */ cat
15:21:19 -!- FraterEST has quit (Read error: Connection reset by peer).
15:21:35 -!- Frater_EST has joined.
15:21:50 <cpressey> arseniiv: thanks, it's surprisingly undisruptive (none of the example programs need to change, for instance) and seems to make it a lot cleaner.
15:21:59 -!- Frater_EST has quit (Remote host closed the connection).
15:22:56 -!- Sgeo has joined.
15:28:28 <arseniiv> cpressey: okay I’ll make my impl compatible after a while then!
15:30:27 <esowiki> [[Three Star Programmer]] M https://esolangs.org/w/index.php?diff=74391&oldid=71623 * PythonshellDebugwindow * (-2) /* Variants */ golf further
15:34:09 -!- Arcorann has quit (Read error: Connection reset by peer).
15:39:21 -!- Frater_EST has joined.
15:39:50 -!- LKoen has joined.
15:46:28 <esowiki> [[Syms]] M https://esolangs.org/w/index.php?diff=74392&oldid=51200 * PythonshellDebugwindow * (+139) unpipe + link + catts
15:48:26 <esowiki> [[Category theory]] M https://esolangs.org/w/index.php?diff=74393&oldid=60667 * PythonshellDebugwindow * (+6) /* Introduction */
15:51:27 <esowiki> [[Bitdeque]] M https://esolangs.org/w/index.php?diff=74394&oldid=60911 * PythonshellDebugwindow * (+160) /* Computational Class */ cats + links
15:51:37 <esowiki> [[Bitdeque]] M https://esolangs.org/w/index.php?diff=74395&oldid=74394 * PythonshellDebugwindow * (+0) /* Computational Class */
15:52:59 -!- wib_jonas has quit (Quit: Connection closed).
15:58:21 -!- Phantom__Hoover has joined.
16:01:40 -!- cpressey has quit (Quit: WeeChat 1.9.1).
16:05:12 -!- Frater_EST has left.
16:18:59 -!- adu has joined.
16:22:38 <esowiki> [[Bigspace]] M https://esolangs.org/w/index.php?diff=74396&oldid=72256 * PythonshellDebugwindow * (+135)
16:24:32 <esowiki> [[Clusterfuck]] M https://esolangs.org/w/index.php?diff=74397&oldid=31016 * PythonshellDebugwindow * (+9) /* Current (Unfinished) Implementation */
16:53:18 -!- sprocklem has quit (Ping timeout: 265 seconds).
16:54:27 -!- sprocklem has joined.
17:19:55 <esowiki> [[Microjump]] N https://esolangs.org/w/index.php?oldid=74398 * Emerald * (+134) Created page with "Microjump is a minimization of a [[Jumpmin|minimization]]. Details of current work are at [[Talk:Jumpmin]]. Extra help is appreciated."
17:21:26 <esowiki> [[Microjump]] M https://esolangs.org/w/index.php?diff=74399&oldid=74398 * Emerald * (+19)
17:37:02 -!- Phantom__Hoover has quit (Ping timeout: 256 seconds).
17:39:11 -!- ArthurStrong has quit (Ping timeout: 246 seconds).
18:09:05 -!- b_jonas has joined.
18:19:02 <esowiki> [[User:Hakerh400/What we could do if we could solve the halting problem]] N https://esolangs.org/w/index.php?oldid=74400 * Hakerh400 * (+11642) Created page with "In this article the author provides his opinion about the halting problem and what people could do if they find a way to solve in in finite time. == What is the halting probl..."
18:19:23 <esowiki> [[User:Hakerh400]] M https://esolangs.org/w/index.php?diff=74401&oldid=74053 * Hakerh400 * (+131)
18:22:06 <esowiki> [[User:Hakerh400/What we could do if we could solve the halting problem]] M https://esolangs.org/w/index.php?diff=74402&oldid=74400 * Hakerh400 * (+2)
18:26:25 <t20kdc> ...summary of that... interesting page... so, to summarize, if we had a Haltino, literally any question expressable as a Turing machine could be solved via the same strategy as expressed by the hash thing, breaking all computable encryption.
18:27:05 <t20kdc> (so long as one at least knew enough about the plaintext to determine if some output is or is not likely the plaintext)
18:30:44 -!- Phantom__Hoover has joined.
18:31:41 -!- imode has joined.
18:35:58 <esowiki> [[User:Hakerh400/What we could do if we could solve the halting problem]] M https://esolangs.org/w/index.php?diff=74403&oldid=74402 * Hakerh400 * (+1)
18:37:14 -!- zzo38 has quit (Disconnected by services).
18:37:20 -!- zzo38 has joined.
18:43:49 -!- TheLie has joined.
19:10:51 -!- zzo38 has quit (Remote host closed the connection).
19:11:15 -!- zzo38 has joined.
19:37:04 <esowiki> [[User:DeybisMelendez]] N https://esolangs.org/w/index.php?oldid=74404 * DeybisMelendez * (+14) Created page with "Creator of Ni."
19:39:47 <esowiki> [[Clusterfuck]] M https://esolangs.org/w/index.php?diff=74405&oldid=74397 * PythonshellDebugwindow * (+26)
19:40:28 <esowiki> [[NARchy]] M https://esolangs.org/w/index.php?diff=74406&oldid=73464 * PythonshellDebugwindow * (+23) /* Plugins */ cat
19:41:11 <esowiki> [[No]] M https://esolangs.org/w/index.php?diff=74407&oldid=74190 * PythonshellDebugwindow * (+0) /* External resources */
19:45:44 -!- kspalaiologos has quit (Quit: Leaving).
20:34:08 <esowiki> [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=74408&oldid=74278 * Bigyihsuan * (+2) /* A note on GETIDX, SETIDX, GETLIM, SETLIM */
20:34:51 <esowiki> [[International Phonetic Esoteric Language]] https://esolangs.org/w/index.php?diff=74409&oldid=74408 * Bigyihsuan * (+100) /* For-Loops */
20:35:18 <esowiki> [[International Phonetic Esoteric Language]] M https://esolangs.org/w/index.php?diff=74410&oldid=74409 * Bigyihsuan * (-8) /* For-Loops */
20:39:52 <esowiki> [[Ni]] N https://esolangs.org/w/index.php?oldid=74411 * DeybisMelendez * (+2053) Created page with " Ni is an esoteric programming language influenced by Brainfuck. The name Ni comes from Nicaragua. Created by [[User:DeybisMelendez]]. == Language Overview == Ni operates wit..."
20:55:49 <esowiki> [[Ni]] https://esolangs.org/w/index.php?diff=74412&oldid=74411 * DeybisMelendez * (-38)
21:05:16 <esowiki> [[Ni]] https://esolangs.org/w/index.php?diff=74413&oldid=74412 * DeybisMelendez * (-12)
21:06:28 -!- TheLie has quit (Remote host closed the connection).
21:07:09 <esowiki> [[Ni]] M https://esolangs.org/w/index.php?diff=74414&oldid=74413 * PythonshellDebugwindow * (+233) cats+!
21:54:41 -!- rain1 has quit (Quit: Leaving).
22:14:02 -!- arseniiv has quit (Ping timeout: 258 seconds).
22:23:16 -!- adu has quit (Quit: adu).
22:47:38 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=74415&oldid=74385 * DeybisMelendez * (+9) /* N */
22:49:14 -!- Phantom__Hoover has quit (Ping timeout: 240 seconds).
23:04:39 -!- Arcorann has joined.
23:05:12 -!- Arcorann has quit (Remote host closed the connection).
23:05:39 -!- Arcorann has joined.
23:30:46 <imode> it's kinda neat how actually small a brainfuck interpreter in thue is. like it's on par with a C implementation.
23:34:35 <esowiki> [[Ni]] M https://esolangs.org/w/index.php?diff=74416&oldid=74414 * RocketRace * (+37) Update categorization
23:37:51 -!- Lord_of_Life_ has joined.
23:39:47 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
23:39:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
←2020-06-23 2020-06-24 2020-06-25→ ↑2020 ↑all