00:03:52 -!- 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.”). 00:28:41 fizzie that game was black and white 00:29:13 searched both places where screenshots of mine are archived for years but could not find it ( I'm sire I had the screenshot 00:32:14 I guess it's now only deep in my Google Plus Takeout archive 00:35:14 -!- TheLie has quit (Remote host closed the connection). 00:55:15 -!- delta23 has quit (Quit: Leaving). 00:59:41 02:50:12 does that make sense? 00:59:42 yes 01:24:51 -!- sftp has quit (*.net *.split). 01:24:51 -!- sparr has quit (*.net *.split). 01:24:51 -!- dnm has quit (*.net *.split). 01:25:59 -!- sparr has joined. 01:30:10 -!- sftp has joined. 01:30:10 -!- dnm has joined. 01:43:18 Hmm, is this a cfunge bug, or am I just misinterpreting something. 01:44:04 Unless I'm mistaken, its & instruction is, given the input "0\n", also consuming the newline from the input, which I think it shouldn't do. 01:46:43 https://github.com/VorpalBlade/cfunge/blob/master/src/input.c#L167 I guess that's an intentional choice, but I don't think that's how it should work. 01:47:06 "Decimal input reads and discards characters until it encounters decimal digit characters, at which point it reads a decimal number from those digits, up until (but not including) the point at which input characters stop being digits, or the point where the next digit would cause a cell overflow, whichever comes first." No special rules about newlines. 01:49:40 -!- Lord_of_Life_ has joined. 01:51:05 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 01:51:05 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 02:03:44 -!- stux|RC-only has quit (Read error: Connection reset by peer). 02:05:29 -!- stux|RC-only has joined. 02:10:43 -!- Arcorann_ has quit (Ping timeout: 260 seconds). 02:24:49 -!- xelxebar has joined. 02:32:35 https://paste.ee/p/4nJ0t 02:32:45 GCC is so wacky 02:33:34 I don't understand how it gets the correct value for y, but not x 02:33:53 or why it doesn't give any error 02:39:24 did GCC implement closures, but only one level of nesting or some shit? 02:44:54 what is this bizarro code tdnh 02:45:49 The C syntax for this thing is so hard to read when you don't use typedefs. 02:46:48 it's a uhh (int) -> (int) -> (int) -> struct rectprism 02:48:10 I see. 02:57:18 tcc and clang reject this 02:57:36 Right, nested functions are a GNU extension. 02:58:01 OK, I'm looking at the code now and I certainly wouldn't expect this to work. 02:58:12 f is only valid inside some_func. 02:58:33 You can't just return it and have the closure work anywhere. 02:59:06 The closure has a pointer into some_func's stack frame. 03:01:53 I think about making ~ and & also "work as trampoline or not" on EOF instead of reversing 03:16:52 fizzie btw my unfinished befunge-98 implementation has a bug around that -- it eats one char after integer 03:18:03 I fixed it in RASEL -- good thing Ruby provides ungetbyte method to push bytes back to the stream ..D 03:19:34 https://github.com/Nakilon/rasel/blob/fa758b9944e8ebd942c00b61be0c7476fe4aac4f/lib/rasel.rb#L77 03:36:50 [[List of ideas]] https://esolangs.org/w/index.php?diff=79473&oldid=79222 * Razetime * (+44) /* Looks Like */ 03:37:12 [[List of ideas]] https://esolangs.org/w/index.php?diff=79474&oldid=79473 * Razetime * (+0) /* Looks Like */ 04:18:00 nakilon: I like the idea that ? now jumps forward one or two cells. this way you can write arbitrary control flow in one dimensional code by like pushing a number then ?j 04:19:09 well, more like pushing a distance, then pushing the tested number, then ?j 04:36:58 the reversing ? kind of allowed that too, but yeah, it's good to keep the pointer going the same direction 04:50:38 nakilon: hmm, that's true, though then you basically need a trampoline 04:51:23 and I guess I should say ?j$ so it discards the jump length if the branch isn't taken 05:00:41 anyway, I think RASEL can indeed simulate an arbitrary finite control machine with single queue of finite alphabet. represent the alphabet with small natural numbers. if a symbol is on the top of the stack, you can do a big case distinction on it like >:?v1-:?v1-:?v1-:?v1-?v> . between states of the original machine, the stack shall contain the queue and then the length of the queue plus one over it. to 05:00:47 push a symbol A, you can just >A\1+> . to shift a symbol and test it, you do like >:a :?v1-:?v1-:?v1-:?v1-?v> 05:00:55 and to initialize an empty queue, just >1> 05:01:04 so you don't in fact need bigints 05:03:00 and this still works in single-line code, you just have to you just do L\?j$ to put the jump distance L under the number tested 05:05:17 but it's still not clear to me if you can do an arbitrary computation in RASEL without leaving junk on the stack forever 05:06:33 all the constructions I mentioned, both this one with a queue, and the one with integer registers (and, as a special case, blindfolded artithmetic, or state machine with a fixed number of stacks of finite alphabets) do leave junk on the stack. 05:10:31 if you added a second memory (outside the stack) with random access load, store, and sbrk instructions, that would of course solve all the problems and make this something to which you can compile normal programs with a random-access memory. 05:11:15 you could use the bottom of that extra memory as registers that you can load and store conveniently, which lets you rearrange the top of the stack 05:11:24 and you could use the rest as just read-writable memory 05:12:04 but that perhaps would be a different or less esoteric language. 05:12:49 one that's more suitable for golfing at least though 05:20:55 KISS++ 05:21:36 kissat++ 05:21:49 猫++ 05:26:58 OK, I'm back at it and immediately not sure what to do on the island with the broom. 05:27:41 No, the oar. 05:27:43 The big spoon. 05:27:51 ...there are too many landmarks... was there a broom? or an oar? 05:28:32 (Apparently I've seen 139 landmarks) 05:28:57 It's at 314,214. 05:30:02 I wish the map when traveling had coordinates 05:31:36 ah, there 05:32:23 int-e: does pressing F3 reveal your coordinates perhaps? :) 05:34:57 why f3 05:35:41 shachaf: may require some thought :P 05:35:47 minecraft. 05:35:52 int-e: Oh, I already went elsewhere. 05:36:02 I realized there was a footprint area nearby that I didn't finish. 05:37:27 But it is solvable from just that island, it sounds like. 05:38:04 imode: ah one of the games that I will never play because there's only two outcomes, both bad 05:38:28 imode: 1) I hate it. 2) I get addicted and spend the next half year solely on minecraft 05:39:12 Did you play Factorio? 05:39:18 nope 05:42:25 -!- sprocklem has quit (Ping timeout: 268 seconds). 05:45:22 int-e: press F3 for that in Minecraft 05:45:29 ah yes, imode already told you 05:46:08 and I guess that makes sense, int-e 06:12:50 Oh man, this is definitely a glitch in how it displays this interaction. 06:14:54 hey maybe you've found something I don't know... I don't remember glitches 06:15:21 I mean, it just snaps the tree from one place to another instead of moving continuously. 06:15:22 not even animation glitches 06:15:36 Oh, whoa, I'm 278 islands in and only now I realize that you can stop onto short rocks? 06:16:00 yes that was a surprise to me as well 06:16:29 In the "non-spoiler" review of the game, it distinguished between short rocks and tall rocks. 06:16:36 right 06:16:37 And I've been wondering why. I guess this it why. 06:17:59 and it's a great twist because it gives you a pretty different flavor of puzzles 06:18:20 This puzzle didn't even use it. 06:18:57 Yeah, they are doing a good job of introduces the mechanic first as an accident, then make use of it in later puzzles 06:19:03 shachaf: do you mean "step onto" or "stop on"? 06:19:16 b_jonas: the former 06:26:01 -!- arseniiv has joined. 06:28:49 I'm not sure what distinction you're making. 06:29:12 Short rocks are elevated, and if you're also elevated, you can step onto them. 06:34:36 shachaf: you made a typo 06:34:52 Oh, now I see it. 07:00:30 Now I'm puzzled by 303,102 07:03:26 let me guess, it's another puzzle 07:06:02 There's a tall tree, a short tree, and a short rock, if that clears it up. 07:08:20 sounds like every 6th island :) 07:09:10 (I'd have to start up the game and I'm refusing this time) 07:09:49 Oh no, I didn't mean to make you start up the game. 07:09:59 I thought you had it up already before, since you said 139 landmarks. 07:10:40 and then I quit 07:11:10 the main issue I have is that they made finding islands really inconvenient 07:11:34 even navigating by coordinates is a process of trial and error 07:12:00 It's https://slbkbs.org/tmp/2020-12-16-231107_3840x2160.png if you're curious 07:13:16 ah, yeah, that one looks fun 07:15:58 50 moves or so :) 07:18:08 Oh, wait, this was so easy. 07:18:12 I was so close the whole time. 07:18:39 I should set up a proxy for myself that resizes images 07:19:52 I could presize them. 07:20:03 Why do you want them smaller? 07:20:22 because the 3MB download takes noticable time for me 07:20:50 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 07:20:52 Aha. 07:21:18 Too bad every web page has 3MB of JavaScript these days. 07:21:19 and all the information is still perfectly visible at 25% of the size 07:21:28 I also disable JS. 07:21:34 Almost everywhere. 07:21:35 It's being upscaled from 1920x1080 anyway. 07:22:00 Did you know that in JavaScript, "for (let i = 0; i < n; i++) { BODY }" is different from "{ let i; for (i = 0; i < n; i++) { BODY } }"? 07:22:07 Not all web pages have 3MB of JavaScript; some have less, and a few have none at all. 07:23:45 zzo38: oh really I didn't know 07:24:04 zzo38: Some also have more. 07:24:37 Yes, some have more. I don't know how much is the average 07:26:18 I would try to avoid it by promoting the use of plain text, simple HTML (when plain text won't do), NNTP, Gopher, simpler VMs in case you need one anyways, etc 07:27:59 zzo38: But I want my traffic to be encryptd. I don't think Gopher supports that. 07:29:25 You could use Gopher or any other protocol with TLS, I suppose, but I don't know which implementations will do that. Gemini supports encryption, though. 07:30:07 Of course HTTP is still useful too, but there are too many complicated things and stupid things that should be avoided hopefully even when doing so 07:33:53 -!- lambdabot has quit (Quit: brb). 07:36:21 -!- lambdabot has joined. 07:55:37 -!- TheLie has joined. 08:01:57 Now I'm puzzled by 347,95 08:02:57 -!- Arcorann_ has joined. 08:04:40 I'm wondering whether there's some inter-island thing going on. 08:05:29 it's not unheard of 08:06:10 Hmm, maybe I need to get to the other place first... 08:06:28 But that doesn't seem possible, and the footprints are on this island. 08:06:36 It's in the mushroom area. 08:06:42 (I did not check where that is, I'm speaking in general) 08:06:55 (Of course) 08:15:29 . o O ( Sometimes there's a remote chance of making progress. ) 08:15:50 -!- zzo38 has quit (Ping timeout: 265 seconds). 08:18:31 -!- zzo38 has joined. 08:19:59 I've seen almost nothing use the mechanic that trees with leaves are different from trees without leaves. 08:20:04 Maybe a couple of puzzles early on. 08:22:11 So far I'm at 302 islands and 0 friends. 08:36:51 I've only seen very few uses of that mechanic as well. 08:37:15 -!- Sgeo has quit (Read error: Connection reset by peer). 08:37:18 possible as few as one 08:37:25 *possibly 08:37:43 there's another mechanic I've only seen once 08:39:57 OK, now I'm in a snowy area that has you walking on rocks. 08:43:27 what an uplifting experience 08:45:00 One problem is that it's approximately impossible for me to figure out the "parity" of a log a few moves ahead. 08:45:07 I'm so bad at that kind of thing. 08:45:47 if in doubt try it out 09:01:46 OK, that's enough for tonight. 09:01:47 330 islands. 09:02:17 getting there 09:46:22 -!- TheLie has quit (Remote host closed the connection). 09:52:12 -!- rain1 has joined. 09:53:23 10:20:22 because the 3MB download takes noticable time for me 09:53:34 that screemshot just had to be in jpeg somehow 09:54:04 10:21:18 Too bad every web page has 3MB of JavaScript these days. 09:54:10 not every, only Youtube, and it gets cached 09:54:31 nakilon: it's a 3840x2160.png 09:55:22 what is that game at all? 09:56:05 A Monster's Expedition 09:57:23 looks like sokoban 09:57:25 nakilon: Nothing gets cached because I use new private browsing sessions all the time. 09:57:34 it's loosely based on Sokoban 09:57:41 and yeah, not only that could be in JPEG, the game state is actually 5x5 cells 09:57:45 but you know over trees to travel from island to island 09:58:04 It's just a screenshot, not a hyperoptimized transfer of state. 09:58:27 ugh 09:58:29 screenshots don't have to be in png 09:58:33 know over -> knock over 09:59:07 nakilon: what else could they be; PCX doesn't have enough colors 09:59:14 BMP is to micro-softy 09:59:26 why do you make private youtube browsing sessions? 09:59:32 there is nothing illegal on youtube 10:00:21 Is BMP Microsofty? 10:02:02 pretty sure it first appeared in Windows 3.x 10:02:41 Or even Windows 2.0 but who ever even used that... 10:02:46 Sure, that's the origin of the format, but the format itself? 10:02:56 It was used heavily in OS/2 as well. 10:03:08 https://upload.wikimedia.org/wikipedia/commons/c/c4/BMPfileFormat.png 10:03:23 I still only see BMP files in Windows. 10:04:33 In practice most of the pictures I have are PNG and JPEG anyway. 10:04:56 And it makes very much sense for screenshots to default to PNG. 10:05:50 Presumably people could do way better than JPEG nowadays for lossy image compression? 10:06:06 They can. 10:07:36 There's JPEG2000 which is burdened by patents... I suppose webp is the latest attempt to overcome JPEG? 10:08:10 it does not make sense to screenshot games in png 10:08:53 most of the games use jpeg by default in their built-in screenshoting feature 10:09:02 because they realise this thing 10:11:08 unfortunately unlike jpeg the webp is being changed everyday -- they patch the format and the CLI webp converter tools become incompatible even with Google Chrome 10:17:18 I didn't use a built-in screenshotting feature. 10:17:37 I just have one screenshot button, and it shoots the exact pixels that are on screen. 10:17:41 Why would I have more than that? 10:18:05 jpeg does not mean it takes another number of pixels 10:19:14 -!- TheLie has joined. 10:19:51 jpeg is not a good default for screenshots 10:20:18 it is 10:21:36 that's why Steam makes screenshots in jpeg too 10:21:41 screenshots should be lossless by default, to preserve small details and text 10:21:45 I guess 10:22:11 games don't have small details and text 10:22:18 they are games 10:22:24 https://www.youtube.com/watch?v=DDNywILJMGg 10:22:25 uh, sure they do? 10:22:28 depending on the game 10:22:29 . o O ( somebody has never playeed TIS-100 ) 10:22:30 Silicon Zeroes 10:22:33 game 10:22:41 this makes no sense 10:22:58 I believe a fairly large fraction of games contain dialogue 10:23:04 there are many games that feature lots of text 10:23:22 13:08:10 it does not make sense to screenshot games in png 10:23:38 where did I say here that it makes no sense to screenshot small details and text in png? 10:23:40 games != irc 10:23:48 games != websites 10:23:51 now if the only games you play are fast-paced games rendered with a 3D engine you're probably right 10:23:52 Games often have small details and text 10:23:53 games != terminal logs 10:24:05 many games have small details and text 10:24:19 where you probably want crisp screenshots :p 10:24:34 doesn't really matter though 10:24:41 A lot of games also have large regions of flat colours, which I believe is very suitable for PNG 10:24:45 would make sense to have it be a setting I guess 10:24:50 "there are many games that" does not negate the fact that most of the games don't have it 10:24:53 there is no logic 10:24:55 Besides, even for 3D games I'd prefer lossless screenshots; I can always compress them myself later. 10:24:57 Most of the games I play do 10:25:24 Why do you care what other people use to take screenshots of things to show to still other people? 10:25:28 guys, I guess you just were never really making screenshots 10:25:59 and don't realise that even if the game has 75% of screen scape of one flat color it still does not make png screenshot smaller 10:26:11 *75% of screen space 10:26:36 -!- imode has quit (Quit: Batsharks are people too!). 10:26:46 Again, why do you care 10:27:09 because in fact the screenshots you were sharing today were not from TIS, they were from the average game 10:27:11 hum 10:27:15 Regardless, we were discussing a default of builtin OS functionality, and there's simply no argument to be made for using JPEG in that context. 10:27:18 and it was 3mb while could be 300kb 10:27:34 this also depends on the lossiness of the jpeg, no? 10:27:50 default OS functionality has nothing to do with png, it takes shots in bmp 10:28:08 maybe I'm missing some context here, idk 10:28:25 nakilon: that depends on which OS you're using. Many of us do not use Windows 10:28:27 Who said anything about the number of pixels? I care about the content of the pixels. 10:28:40 it's the job of additional software to convert the clipboard to png or jpeg and you usually have a choice that you may want to do carefully 10:28:41 I only have one screenshot button. I don't really want a different kind of screenshot for games. 10:28:52 Screenshots on my computer take PNG by default 10:29:15 Taneb pretty sure every OS stores clipboard as bitmap 10:29:46 If I press my print screen button, it saves a PNG in my Pictures directory. 10:29:52 I have done no configuration to set this up 10:29:53 guys, you confuse all the things with each other 10:30:03 computer, keyboard, software, clipboard 10:30:11 This is the default on my OS and desktop environment 10:30:34 I still don't know why you care so much about this 10:30:40 You're the one bringing all these things up. I have no clipboard. Screenshots get saved into the screenshot directory. 10:30:43 looking at the screenshots I've apparently taken in steam, I think I'm happier with all four as png's than jpg's :p 10:30:44 -!- rain1 has quit (Quit: WeeChat 2.9). 10:30:54 I set up my own screenshot thing which is better than the system I've seen in any OS by default. 10:31:23 You press Print Screen, and it shows a little modal menu at the top of the screen, and then you press w to screenshot a window, r to screenshot the whole screen, or s to select a region. 10:31:43 Instead of memorizing Alt+PrtScr or Cmd+Shift+5 or some nonsense like that. 10:32:29 neat 10:32:32 so the thing is that you just don't care how your tools are configured 10:32:42 shachaf clearly cares 10:32:50 I don't know why you care about how I take screenshots 10:33:07 and in result you throw screenshots that weight 3mb and have only 25 bytes of meaningfull data in it 10:33:09 Perhaps the thing you care about is starting arguments? 10:33:18 I have a question... what's a clipboard :P 10:33:29 I know about active selections 10:33:37 if there was no problem in it there would be no message in this chat: "hey, why your screenshot is 3mb" -- it was not me who said that 10:33:51 int-e: It's one of the X11 selections. 10:33:55 so you are suffering from your own unwilling to learn about image formats 10:34:00 PRIMARY and CLIPBOARD are the two standard ones. 10:34:11 (sadly X11 *does* have a clipboard mechanism, and I always have to jump through hoops to work with software that uses it) 10:34:23 What is it about image formats that I haven't learned that you're saying I need to learn? 10:34:50 I think the real problem is that my screenshot was only 3 millibits, and that's not nearly enough information. 10:35:56 I uploaded a 3 MB screenshot because the thing I want by default -- when I don't think about it -- is a lossless reproduction of my screen. When I think about it I can switch to something else. 10:36:03 Why am I getting into this again? 10:36:11 nakilon: I may have complained about the size, but I still consider that to be *my* problem, not shachaf's. 10:36:26 -!- aloril has quit (Ping timeout: 272 seconds). 10:36:42 Taneb: Speaking of images, I wrote a sonnet and got cat pictures! 10:36:48 -!- aaaaaa has joined. 10:36:50 shachaf: I saw on Twitter! It was a good sonnet 10:36:55 Cats are the cutest, huh? 10:36:57 int-e you can barely control how you obtain the data 10:37:07 it's a problem of data provider to provide good api, good formats 10:37:08 They sure are 10:37:15 nakilon: But I can. 10:37:24 我喜欢猫 10:37:38 he could use some better website integration, something that asks what format to use for sharing or convert automatically 10:38:09 Anche mi piacciono i gatti 10:38:12 nakilon: But it's bad style to expect others to solve your problems for you, unless you're paying for it. 10:38:35 in >99% of cases there would be nothing bad if his screenshot was converted on the website to jpeg for sharing 10:38:50 I'll solve your problems for you! 10:38:57 If you express them as 2SAT instances. 10:39:23 int-e he gave you the problem, it's his problem 10:39:49 /help ignore 10:39:56 he pressed the printscreen 10:40:52 Taneb: Remind me, are you into SAT solvers? 10:40:59 It seems like everyone is these days. 10:41:04 this is insane 10:41:08 shachaf: 2SAT is so limited... 10:41:27 send me all the pngs 10:41:38 I will look at them and devise 10:42:18 int-e: Hmm, OK, I'll let you use arbitrary Horn clauses. 10:42:49 Yay, I have used Horn clauses. 10:42:51 one of you is sharing a screenshot in not suitable format, another one highlights the problem and when I come to help solving it I get "stop arguing" themed responses 10:43:09 I too am confused what’s clipboard to do with all that. I have a little program which doesn’t leave anything in clipboard when it takes a shot 10:43:16 shachaf: I was for a while but I haven't been thinking about them for a while 10:45:29 nakilon: I think you're missing something about, I don't know, magnitude or weight or something. 10:45:57 arseniiv that program calls API of your OS that returns it in BMP or specified format, that program might be configurable or improved 10:46:11 Someone mentioned that 3MB was kind of big (and said they themselves wanted to take care of it for themselves, not even requested that anyone else do anything). 10:46:38 nakilon: yep it’s configurable and spews me out a png to a folder 10:46:50 no clipboard mess 10:46:52 I saw that, took it into account, and slightly adjusted my weights in the future. Maybe next time I'll resize or convert the image, or maybe I'll just think about it. 10:47:04 the size of content in internet isn't what the read requestor should care -- he can't compress it on the source 10:47:43 That's all that needed to happen here, for either party. It's not a binary thing that is either broken or solved, just a continuum of preferences and things that you can adjust a bit. 10:48:05 for now I personally have a pretty good internet access so I would be glad to download maybe even a bmp 10:48:06 So insisting that people adjust all sorts of things immediately with a particular solution you have in mind doesn't really help. 10:48:22 -!- aloril has joined. 10:48:47 and many people, I think, will be not against downloading bmp :) 10:49:01 I don't know whether you read what int-e said, but it was an idea about having a proxy that resizes images. Which is in the requester's control. 10:49:12 switching to using non optimal data formats just because you've got faster internet is the same wrong thing as starting making worse software with worse algorithms just because you've got faster computers 10:49:49 > 3840*2160*3 / 1024^2 10:49:50 "optimal" only makes sense in the context of optimizing something. What are you optimizing? 10:49:51 23.73046875 10:50:50 @metar koak 10:50:51 KOAK 171041Z 16009KT 3SM -RA BR SCT006 BKN010 OVC024 13/11 A2998 RMK AO2 P0007 T01330106 10:51:15 shachaf: one thing I've been thinking about is a SAT solver that aims to create as human-understandable proofs as possible 10:51:42 That's interesting. What would those look like? 10:52:00 do you realise the price you pay for internet would be several times smaller if people were not playing 4k videos on their broken glass 720p phones turned on behind their backs while they are cooking? 10:52:09 . o O ( brain saturation ) 10:52:30 nakilon: that's likely false 10:52:55 I think all the clauses would have to be named, and the solver would report things like "By clause xyz, we know that variable t must be false" 10:53:22 the internet is overpolluted by data that isn't used and we pay for all the infrastructure for it 10:53:25 nakilon: the technology you're talking about is only being deployed because people actually use the bandwidth. 10:53:57 effective data barely gets larger but the price stays the same let's say $20 per months no matter how better the hardware gets 10:54:07 because people think "hey I've got so much room, lets trash it" 10:54:10 It'd need to try and find a shallow proof when it needs to speculate, but I'm not sure which dimension it'd need to be shallow 10:54:36 not even knowing that when they buy the "100mbit internet" it's only measured in peak 10:54:41 In an alternative history where nobody ever dared to use bandwidth you might be spending $20 a months plus a fixed rate per minute on dual ISDN lines. 10:54:55 or more, $20 seems rather low 10:56:37 I pay $8 10:56:45 in not the most technologically developed country 10:56:52 Taneb: What sorts of proofs are you thinking of applying this to? 10:56:56 so you can realise how much you overpay 10:57:06 I wonder whether you'd rather have something higher-level than SAT for expressing things. 10:57:06 because of people watching 4k with their backs 10:57:09 shachaf: mostly little puzzle games like what's in sgtpuzzles 10:57:19 Or at least, that's what inspired me down this line of thought 10:57:23 Aha. 10:57:35 Human solutions to these puzzles often look pretty different from computer solutions. 10:57:54 nakilon: that's way too simplistic. the rates are in a large part arbitrary and determined by available income of the people 10:58:03 it's not a free market, by and large 10:58:17 Since humans are bad at backtracking, so they try to minimize it and find very short paths to contradictions. 10:58:28 people will spend all their income without need getting anything for that 10:58:51 shachaf: humans will often prove lemmas that aren't expressed in a couple of clauses (which DPLL might learn) 10:59:32 I think some puzzles are just not particularly human-solvable, even if they're in NP. 10:59:47 Since "having a human solution path" is a stronger constraint than "having a solution". 11:00:12 Another thing is that a human doesn't just want to satisfy the puzzle, they want to satisfy it uniquely, right? 11:00:42 shachaf: well, it depends on the human :) 11:01:10 Sure, I'm proposing some model of what it means to be human-solvable, or human-fun. 11:01:22 A lot of these puzzles have a unique solution by design (and I have taken that as an assumption in solving puzzles in the past) 11:01:22 speaking for myself, yes, I'm happier knowing that a solution is unique 11:01:42 Looking at some advanced Sudoku solving patterns... not all people care. 11:02:06 I posted another sudoku: https://logic-masters.de/Raetselportal/Benutzer/eingestellt.php?name=shachaf 11:02:15 Oh no. 11:02:17 I don't think it's that interesting. 11:02:19 What did I do. 11:02:42 In some sense it's just an easier version of the 6-12 sudoku that int-e already solved. 11:03:01 fizzie: somehow, today's AoC task doesn't look very twisty :P 11:03:06 why do you care about how the puzzle is solved, any solution will do, we have cool intel cpus in 2020 11:03:18 just bruteforce it 11:03:28 int-e: I *just* regenerated the plot, like, five minutes ago. 11:03:30 nakilon: it's called an intellectual challenge 11:03:35 Of the four sudoku puzzles I posted, one of them can be solved entirely with unit propagation. 11:03:56 Which maybe counts as extremely boring? 11:04:02 And no, it's not very twisty. 11:04:29 I just press the button "download the solution" and it downloads and I have it 11:04:30 People seem to struggle with it though. 11:05:27 Also, now I've got an actual wrapper script to do the "fetch any new leaderboards, if there were any update the dataframe and redraw the plots"; http://ix.io/2Ip8 11:05:43 It doesn't scp the results or run with cron yet, though. 11:06:04 Also, it makes the assumption that if it's more than 2 hours after midnight Eastern time, it's okay to download the day's leaderboard. 11:06:26 So if they do a trickier puzzle that takes more than 2 hours for the 100th person to solve, that might fail. 11:06:39 Well, that assumption has worked out fine so far. 11:09:00 It's a historically pretty sound assumption, violated by 6 days out of 142. 11:09:22 how many of those were in 2015? 11:09:49 2015 days 1, 19 and 22; 2016 day 11; 2018 day 15; and 2019 day 22. 11:10:50 On which days the 100th person took approximately 186, 232, 183, 164, 143 and 124 minutes to get two stars, respectively. 11:12:27 Oh yeah, I remember wondering on day 22 last year why it was so hard :P 11:12:52 you may do again those messages that I assume to be rude, such as "you are looking for arguing" or "/help ignore" but I'm still amazed by how bad the idea is to make an end consumer of IRC screenshot links to setup and configure some proxy for his personal internet browsing instead of storing the content in a proper format in the first place, 11:12:53 because he won't know he wants that piece of data compressed until he click the link and see that "oh it's that game screenshot" so he'll have to switch all his way of browsing the internet to a proxy solution and then switch to uncompressed format and redownload the link again if he sees "ah, this has details I should now turn the proxy off" just 11:12:53 because some people are lazy to find a better way of sharing screenshots 11:13:23 nakilon: nobody is making me do anything here 11:13:25 (tell me if the message didn't fit the irc limit if you care) 11:19:48 -!- LKoen has joined. 11:30:28 shachaf: I am not very good at these fancy sudokus 11:30:38 I'm not too great at regular sudokus, come to that 11:31:17 The middle two are easier than the other two. 11:31:19 Taneb: the fancy ones may be easier than the regular ones because they rely less on obscure patterns that only sudoku experts have internalized 11:31:46 That's also plausible. 11:31:51 (And I'm not a Sudoku expert.) 11:31:54 The constraints for all of these puzzles are very strong. 11:32:06 With no clues, I think the most recent one has 288 solutions. 11:32:15 And the others were also in the range of hundreds. 11:34:49 -!- rain1 has joined. 11:42:45 Isn't a true Sudoku puzzle must have only one solution? 11:43:44 aaaaaa: yes, but (to me) it still feels awkward to rely on that information without verification 11:49:18 hello 11:50:03 a pen and paper puzzle should have a unique solution that can be reached through deduction alone 11:50:40 but there is debate about whether or not the solver should exploit uniqueness to make deductions 11:53:00 "deduction" means you find a satisfying assignment, and then you rule that one out, and then it's UNSAT, right? 11:53:50 shachaf: assuming X, you can show that there is not exactly one solution. Can you conclude not X? 11:54:17 Sure, I know the uniqueness thing you mean. 11:54:40 In some puzzles it's very blatant and happens all the time. 11:54:54 With sudoku it's kind of rare but still happens. 12:00:14 -!- spruit11 has quit (Quit: leaving). 12:10:33 -!- spruit11 has joined. 12:18:56 it's very interesting imo 12:19:39 I saw a sudoku variant that said: Solve this sudoku such that the highlighted cells, taken on their own, are enough for a unique solution. 12:20:19 ooph 12:20:37 -!- TheLie has quit (Remote host closed the connection). 12:21:41 feed it to a QBF solver :/ 12:22:41 How many quantifiers do you need? Just two, right? 12:22:57 exists ... forall, one alternation 12:23:08 I think all the SMT solvers do exists-forall nowadays. 12:23:37 Which is stretching the meaning of SMT a bit. 12:38:22 https://www.kickstarter.com/projects/irrationalconcepts/oops-all-edges <-- don't know if this is relevant, but it is amusing (maybe not for the solver) 13:11:29 is your RAM shielded... https://www.zdnet.com/article/academics-turn-ram-into-wifi-cards-to-steal-data-from-air-gapped-systems/ :-/ 13:14:08 Oh there's a list of more techniquess like it at the bottom, some of which I didn't know about. 13:14:15 int-e: but the PC must be trojaned before? 13:14:25 aaaaaa: for this, yep 13:15:00 this is what is called 'side-channel attack' 13:15:08 Cool, though 13:16:58 "play sound from power supply" 13:17:43 int-e: didn't get it too 13:18:35 Have anybody using Tarski's world? 13:18:44 Is it worth it? 13:18:57 aaaaaa: you can modulate the power consumption of a processor or GPU and that will affect electromagnetic transformers and potentially other elements on a PSU 13:19:27 aaaaaa: so I imagine that's the kind of thing they're doing 13:30:26 fungot: what should I do? 13:30:27 int-e: madam president, the fnord of older civilisations, allow me to make a strong commitment to the aim and objectives of the lisbon target, that is of course a large number of juvenile fish caught. if this money is however coming entirely from national sources and include statistics from greece for the last time i take the view that little or nothing can be paid out or which biometric risks need to be discussed and that a co 13:31:16 that was pretty good 13:31:30 I'm almost sorry that it got cut off 13:32:18 -!- delta23 has joined. 13:34:11 Ah, the famous Lisbon target of catching a lotta fish. 13:36:07 -!- aaaaaa has quit (Quit: leaving). 13:36:08 -!- rain1 has quit (Quit: WeeChat 2.9). 14:11:31 -!- xelxebar has quit (Remote host closed the connection). 14:11:51 -!- xelxebar has joined. 14:14:01 -!- rain1 has joined. 14:17:54 " I should set up a proxy for myself that resizes images" => set it up with three backends, one for each continents, so it only has to transmit the smaller image under the ocean. :-) 14:19:08 ...right 14:22:52 " I didn't use a built-in screenshotting feature. / I just have one screenshot button, and it shoots the exact pixels that are on screen. / Why would I have more than that?" => well, sometimes the screenshot feature built into a game could save an image that is a larger part of the level than fits to the screen and that you would scroll on the screen in-game and when viewing later 14:24:35 . o O ( isn't shooting screens rather expensive in the long run ) 14:30:31 I don't use any sort of OS built-in screnshot functionality. I make screenshots with the screenshot features built into GIMP or Irfanview, because if I take a screenshot, I always want to post-process it, like decide whether to keep or discard it, crop, possibly color reduce, possibly censor parts, occasionally stitch multiple screenshots, decide how to encode, decide the filename. You need a graphics 14:30:37 editor for some of that, and they can already do all the steps that come up, so there's no point to use anything else. 14:31:25 OS functionality made sense when all it did was read the characters from the video memory and send them to the line printer, and you didn't have the hardware to load a graphics editor program for that. 14:32:29 " send me all the pngs" => sorry, I refuse because I take most of them for work, and they may contain trade secrets 14:32:47 not even our trade secrets, but secrets of our customers and partners. 14:33:57 You can tell when [REDACTED INTERNAL TOOL] added a dark mode at a glance by looking at the overall luminance of my screenshot history. 14:34:07 Well, when I turned it on, not exactly when they added it. 14:35:05 Is there a standard web 3.11 API for detecting if the user prefers a dark theme or a light one? I imagine there must be. 14:35:32 Apparently it's a CSS media selector. https://developer.mozilla.org/en-US/docs/Web/CSS/@media/prefers-color-scheme 14:36:08 "If you have set privacy.resistFingerprinting to true, prefers-color-scheme preference is overridden to light." Tradeoffs, tradeoffs. 14:38:14 [[MiniStringFuck]] M https://esolangs.org/w/index.php?diff=79475&oldid=60958 * PythonshellDebugwindow * (+18) /* See also */ m 14:38:27 " It'd need to try and find a shallow proof when it needs to speculate, but I'm not sure which dimension it'd need to be shallow" => maximum stack depth of when you try multiple values of a variable backtrackingly, after tail call optimization, I think. 14:38:43 [[PlusOrMinus]] M https://esolangs.org/w/index.php?diff=79476&oldid=78344 * PythonshellDebugwindow * (+6) /* Original version */ m 14:41:27 [[MangularJS]] M https://esolangs.org/w/index.php?diff=79477&oldid=78014 * PythonshellDebugwindow * (+4) /* Stack class */ link 14:42:10 oh I missed that... depth is not necessarily a problem when it's all unit propagation or very shallow subproofs that fall into a pattern 14:42:27 [[Javagony Turing-completeness proof]] M https://esolangs.org/w/index.php?diff=79478&oldid=79116 * PythonshellDebugwindow * (+0) Update 14:42:37 which I guess is similar to TCO 14:43:38 There's a related problem where you try to assess the difficulty of a puzzle to a human. 14:44:00 Which is probably harder because you have to account for experience somehow. 14:44:22 But maybe not significantly harder. 14:45:50 oh, while we're at puzzles, I'll just mention something I was idly wondering about 14:47:07 consider the following single-player game. the level is a maze that's a graph with rooms for vertices and (undirected) corridors for edges. one vertex is marked as the player's location, and one as the goal. 14:47:31 -!- Sgeo has joined. 14:47:48 . o O ( Not quite Hunt the Wumpus ) 14:50:17 each edge has a door. doors come in triples: each door is marked with a pair of a name and a state, where the state is one of open, ajar, closed, and each pair can only occur at most once. you can't walk through a closed door, and you can walk through an open door without any side effect. but when you walk through an ajar door, then it changes to open, the open door with the same name shuts to closed, 14:50:23 and the closed door with the same name changes to ajar, simultaneously. states of the doors with different name don't change during that, and the names of doors never change. 14:51:52 -!- Arcorann_ has quit (Ping timeout: 268 seconds). 14:52:02 so... for each name, there are always three door, in a permutation of those three states? 14:52:11 three door*s* 14:52:53 solving this puzzle is clearly in PSPACE, but I'd like to know what computational complexity it has more preciesly. with doors I can simulate one-way corridors, and level crossings (in case you want a planar graph). I can also make a level that takes exponential number of steps to solve, using a simple binary counter. but I don't know if you can simulate general binary storage. 14:52:59 int-e: yes 14:53:58 int-e: and the three have a cyclic order, you can only pass through them in that order and not backwards, though you can pass through the same door multiple times without affecting that cyclic order, even if you pass through other doors between. and the cyclic order isn't quite enough, because the starting state has to be observed. 14:54:16 and of course you can put all the open doors in an unreachable area if you like 14:54:23 int-e: yes. 14:54:36 so the toggle mechanic is the most relevant 14:54:52 the other question that I'd like to know, besides computational complexity, is whether it's possible to make interesting puzzle levels from this, that is, ones that have only few doors and yet aren't trivial to solve. 14:55:20 int-e: no 14:55:27 oh wait 14:55:30 int-e: it's not a toggle mechanic, it's always a cyclic permutation of three 14:55:47 it's a cyclic shift, never mind 14:56:23 you can simulate a toggle where you have to pass two *directed* corridor-paths alternatingly, using multiple doors, if you wish 14:56:40 (A O C) 14:56:45 is that intentional? 14:56:45 [[Terse]] M https://esolangs.org/w/index.php?diff=79479&oldid=37471 * PythonshellDebugwindow * (-71) Introduction, proper == 14:56:49 int-e: no 14:57:00 it's a fun coincidence then 14:57:02 yeah 14:57:23 a low entropy one though 14:57:24 makes it easier to remember 14:58:15 dunno 14:59:19 if not, I'd also like to know if you can make interesting puzzle levels from some extensions of this; and references for where something like this game is already known 14:59:27 .-A-.-C-.-O-. all with the same name is a directed edge (with some irrelevant extra state in the first door) :) 15:01:46 oh well, something to ponder... these kinds of things tend to take some time 15:01:53 int-e: I imagine it drawn more nethack-like: .#\#.#+#.#-#. where \ is an ajar door, + a closed door, - or | an open door in a horizontal or vertical corridor resp, and there's a letter close to each door next to the corridor that shows the names, plus there's color 15:02:58 and if those states really only have just two edges, then optionally draw them on one corridor without a room, like .#\##+##-#. 15:03:06 [[User:DGCK81LNN]] M https://esolangs.org/w/index.php?diff=79480&oldid=77358 * DGCK81LNN * (+640) 15:03:31 but still allow the player to stand in those virtual rooms, because in the general case you may want to stop and turn in any of those places 15:03:39 general case as in the names of the doors can differ 15:09:14 `` unidecode $'\u26c4' 15:09:15 ​[U+26C4 SNOWMAN WITHOUT SNOW] 15:09:19 Isn't that almost a contradiction? And why did I only know learn that exists, when http://unicodesnowmanforyou.com/ has been a thing for years. 15:10:28 `unidecode ⛄☃ 15:10:29 ​[U+26C4 SNOWMAN WITHOUT SNOW] [U+2603 SNOWMAN] 15:10:55 maybe it's plastic or chocolate 15:11:12 no snowwoman 15:12:06 `unidecode 🌨🏔 15:12:08 ​[U+1F328 CLOUD WITH SNOW] [U+1F3D4 SNOW CAPPED MOUNTAIN] 15:12:40 (I skipped the snowflakes and some kanji) 15:13:14 fizzie: I don't know what a snowman without snow is, but I feel repulsion towards the concept. I learned to ski as a small child, and a few times I had the terrible occasion to try these dry (i.e. without snow) ski pistes, where you ski on plastic tennis court floor with lubricants, and they're a really bad experience. I do admit that it's much cheaper than traveling to real ski pistes, so it's not just 15:13:20 pointless torture for children, but it's still torture. The dry piste is entirely flat with none of the interesting texture variations that a real snow terrain causes, and even besides that it feels bad. 15:14:26 `` unidecode $'\u26c7' # you also skipped 15:14:27 ​[U+26C7 BLACK SNOWMAN] 15:14:40 Which could just be a soot-covered one in the city. 15:15:56 fizzie: ah yes, and I assume you combine any of these basic snowman code points with gender symbols, skin tone modifiers, hairstyle modifiers, eyelash style modifiers, eye color modifiers, height modifiers, chin shape modifiers, nose shape modifiers, headgear modifiers, etc, to get more complex characters 15:16:08 The shapes my browser's choice of fonts have for SNOWMAN, SNOWMAN WITHOUT SNOW and BLACK SNOWMAN are all completely different. SNOWMAN is this outline, BLACK SNOWMAN is filled but still just a (different) black-and-white shape, and SNOWMAN WITHOUT SNOW is this coloured monstrosity. 15:16:27 and perhaps with some vegetable emoji code points too to get snowman with particular vegetables used as their nose 15:17:50 fizzie: perhaps the plain snowman is from smaller fonts and the others from huge fallback fonts, and perhaps one is rendered as an emoji by default and the others aren't. you could try to force the font and the emojiness if you wish. 15:18:03 emojis in unicode should be uninvented 15:18:27 unintroduced, unimplemented, burnt with fire 15:18:36 outroduced? 15:20:02 fizzie did you solve day 3 part 2? 15:20:59 I didn't touch day 3 yet (in Befunge-98). I've done days 1, 2, 5, 6 and first half of day 8. 15:20:59 I guess it needs rereading the stdin and so storing it 15:22:51 I imagine you *could* evaluate all five slopes at once as you go through it, though then you'd need to keep five counters at once (in addition to the current location). 15:23:25 I think for day 3 I couldn't decide whether it would be okay to use the `i` instruction or not. 15:23:50 how does the debugger you use look like? I see different images in google image search 15:24:11 I just do ...........A,@ in random places and run until it hits and halts 15:24:11 The thing is, I'd kind of like all the solutions to keep the same structure of just reading puzzle input from stdin, but `i` needs a file name. I could use /dev/stdin maybe. 15:26:23 maybe '-'? 15:26:38 I don't think that'd work in the implementations I've got. 15:26:43 I guess it's some standard for naming the stdin, didn't know about /dev/stdin 15:27:17 It's pretty common, yes, but it needs the program to interpret it. /dev/stdin has some chance of working even when not explicitly supported. 15:28:17 I just skip until the next line, then skip number of chars calculated with modulo, but the case of "down 2" would need something else 15:28:54 like passing the how many times you skip until newline 15:28:57 And I don't really have a "debugger" as such. I've been making do with `cfunge -t 10` (which just prints a trace like http://ix.io/2Ia8 out), plus that JS debugger (which has okay single-stepping and visualization, but can't do input, so it can only be used on fragments). I have a lot of ideas I'd like to see in my dream Befunge development tool (like per-cell annotations that'd be automatically shown on 15:29:03 a multi-line status line), but it'd take effort to implement that. 15:29:25 I think there's a bunch of Befunge-93 browser things, but for '98 the implementation situation seems a bit more bare. 15:29:58 unfortunately Ruby isn't tuned for GUI apps 15:30:07 I mean it has no cool libraries 15:30:38 only some monstrous bindings, and when someone tried to make it as simple as possible that resulted in something limited 15:30:59 Well, a TUI is what I'd like anyway. I've been eyeing tcell (in Go) if I do start making it. 15:31:02 and wxwidgets were segfaulting and then abandoned AFAIK 15:33:25 curses would do the job but it would also have to intercept the stdout 15:34:08 wouldn't be a problem though 15:35:40 damn, I've got so much things to do and now I want to implement the debugger, oh no... 15:35:56 -!- jess has quit (Quit: updates). 15:37:54 I want the playfield grid view to show cell values 32-126 as their printable ASCII counterparts, values 1-31 using the braille patterns as binary, value 0 maybe as WHITE DIAMOND and values <0 and >=127 as BLACK DIAMOND (of course showing the actual value on the status line). 15:37:59 And I want two rows reserved for the cell annotations shown permanently, and I'd use the top line by convention for stack annotations, and I want the enter key to switch focus between the grid and the annotation window. 15:38:04 And I want arrow keys to also as a side effect change the direction into which the cursor moves when you insert a character, but I also want to allow specifying a vector directly. 15:38:10 And I want mod-space to set a mark that can be used to define a highlighted rectangular region, which can also have other rectangles or individual cells added to or removed from, so that the arbitrarily shaped region can then be moved around or copied. Possibly rotated with automatic treatment of <>v^ too (I know some Befunge IDEs do that), though I'm a bit ambivalent about that. 15:40:31 And obviously I also want a single-stepping debugger that defaults the grid to a view mode, but also allows switching the grid to edit mode to tweaks, and also shows (and allows changing) the stack. 15:41:10 Oh, and I want the grid view section to be arbitrarily splittable to frames which each have their own origin, though can also be set to track a specific IP. 15:41:32 rasel would not need to display program space values since you don't write to it 15:42:05 BefungeSharp might be closest already existing thing to what I want, and if it wasn't Windows-only, I might even consider using it. 15:42:17 instead would need to display more stack values I guess 15:42:47 hehe, C# 15:43:08 I imagine you might want something like different stack value display options, in case you often have complex data in a single value. 15:44:14 rationals need more space than integers, yeah 15:45:15 didn't use numbers with fractional parts a lot but they exist at least temporary, when you emulate multiplication 15:45:30 The other thing that exists is Bequnge, but I think it goes a little too far into the >2D stuff, visualizations, and sound effects. https://hatstand.github.io/Bequnge/screenshots.html 15:46:13 Then again, as the author of GLfunge98, which was supposed to do exactly those similar things (except I abandoned it ages ago) I shouldn't probably be allowed to criticize. 15:46:42 yay, 3d, needs VR 15:47:43 There's an HP-UX port of GLfunge98, which I find pleasantly odd. 15:48:24 (Huh, has it really been 20 years since I did that? Feels like just yesterday.) 15:57:27 -!- LKoen has quit (Remote host closed the connection). 16:08:08 -!- S_Gautam has joined. 16:12:59 -!- TheLie has joined. 16:17:03 hmmmm 16:17:13 does Cat program have to exit with 0? 16:17:50 no 16:18:00 cat /foo exits with 1 16:18:49 my BSD one exits with 0 16:19:00 ah 16:19:15 okay, it exists with 1 16:19:25 but should it exit with 0 on success? 16:27:23 probably. most programs should exit with 0 exit code on success, with the exception of a few programs that are specifically useful to test some condition, like test and grep 16:28:12 b_jonas: the answer is yes. we can fit it into the framework of https://arxiv.org/abs/1203.1895 using a door gadget like https://int-e.eu/~bf3/tmp/aoc.png (which makes liberal use of directed edges as explained earlier) 16:29:01 b_jonas: the most relevant door is the blue door at the bottom (I should have highlighted it somehow); the diagram shows the open state at the top and the closed state below 16:31:05 (updated with a bit of emphasis for the relevant door) 16:31:59 int-e: ah, I didn't recall the exact conditions of that article. I'll have to re-read some of it. so apparently it's enough to have one door, one open button, and one close button linked together, rather than, say, multiple open buttons or multiple doors linked? 16:32:35 b_jonas: yep, one path is enough. furthermore, it's okay if the open path doesn't always work 16:32:47 so just adding a bypass like I did is okay 16:33:45 I guess that part is from the earlier Sokoban article, not this one 16:33:55 maybe 16:36:45 I lost track of the articles. The requirements of the door gadget can be found there anyway. 16:40:37 (and crossover isn't needed as long as the graph is not required to be planar) 16:41:13 int-e: sure, but for this game we can create a crossover gadget (though it's not cheap, so in a real puzzle version you might add that and one-way doors as primitives) 16:41:27 (but in fact we can make one with the same principle shown by the green and red doors, without the blue one) 16:41:48 yes, I did say above that I can make a crossover 16:42:04 Sorry, I didn't read, I was busy making my own gadget. 16:42:25 makes sense, since I didn't say how to create a crossover 16:44:47 b_jonas: oh wait. I should've seen it, but I skipped the middle part and focussed on the binary counter... 16:45:38 you even mentioned directed edges there 16:45:48 (one-way corridors) 16:49:58 b_jonas: for puzzles though I guess you have to work actively against the fact that 2/3 of all edges are passable at any given time 16:50:00 yes, those are bisimulable with one-way gadgets 16:50:51 to make a one-way corridor, you can just add a one-way gadget before and a one-way gadget after; to make a one-way gadget, make a one-way edge with an irrelevant open door 16:50:52 (So naively, I'd expect random puzzles to be very easy.) 16:51:33 int-e: that would depend on how you sample random, but yes, I also figured it's not easy to just generate good puzzles randomly 16:52:09 and there are too many graphs and possiblel levels to brute force search all of them for potentially interesting ones 16:53:50 and adding one-ways and/or crossovers (or teleporters) as primitives doesn't change any of that 16:54:15 I mean it makes making puzzles slightly easier, but it still seems hard that way 16:55:42 I just defined the base game without them for simplicity and elegance 16:56:31 I would add such convenience things to a real puzzle implementation, because they make the puzzle easier to understand by humans. crossovers and one-ways are natural to understand, they make the puzzle easier to learn and navigate than the corresponding constructions. 16:56:43 okay, one more update to the png... lighter gray and I got rid of the spikes at the bottom of the ajar doors 16:57:24 the gadget is unchanged, I think it's pretty neat as it is. 16:58:12 your graphical representation is very different from what I imagine. I use a top-view map of the maze, with doors drawn as short lines (as short as a corridor) from the same top view, and with letters (and optional colors) to mark matching ones 16:58:36 rather than side view doors 16:58:50 I'm not a nethack player 16:59:06 I think that has a huge influence :) 17:00:03 (nor roguelikes in general, even graphical ones) 17:00:12 (and also uppercasing the letter for currently ajar doors. the sequence of names of ajar doors you go through is enough to represent your solution in an easy way.) 17:02:33 b_jonas: I'm sure you can figure out your own preferred representation :-P 17:20:21 caught another bug in '&' -- since it was working as reading the byte, then checking if it's a digit and then pushing it back when not, it failed if the file ends with integer instead of non-digit, such as newline 17:21:39 I mean not caught but found it while changing how ~ and & work; with working as trampoline instead of reversing the Cat program now does not need '#' and so is one char shorter 17:21:43 -!- LKoen has joined. 17:21:51 just ~@, 17:42:40 -!- sprocklem has joined. 17:44:24 -!- sprocklem has quit (Client Quit). 18:03:04 [[RASEL]] https://esolangs.org/w/index.php?diff=79481&oldid=79472 * Nakilon * (+69) ~ and & now work as # unless EOF 18:05:04 [[RASEL]] M https://esolangs.org/w/index.php?diff=79482&oldid=79481 * Nakilon * (-1) cat program is 1 char shorter with the last specification update 18:12:14 [[MyScript]] M https://esolangs.org/w/index.php?diff=79483&oldid=70772 * PythonshellDebugwindow * (+27) /* Simple class */ cat 18:17:44 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 18:25:12 -!- TheLie has quit (Remote host closed the connection). 18:57:43 -!- user24 has joined. 19:15:40 -!- delta23 has quit (Quit: Leaving). 19:42:23 https://corp.unicode.org/pipermail/unicode/2020-December/thread.html 19:42:45 Unicode mailing list debates having italics... again 19:43:56 please no italics 19:44:13 i think they should also add bold, underline, subscript, superscript, strikethrough and blink 19:44:34 and every combination of those 19:44:45 blink, yes 19:44:50 remember twhe they added emoji 19:44:51 when* 19:45:40 well, blame japan for that 19:49:38 i like emoji 19:49:38 and i like that i can compatibly use them across multiple platforms 19:51:00 someone near me has the vanity license plate "U1F47E" on their car 19:54:07 they could have no problem of compatibility at all 19:54:26 if they didn't use it in the first place 19:55:39 why no Putin emoji? 19:59:01 feel free to submit a proposal for one 19:59:30 I don't propose bad ideas 19:59:40 that's a good policy 19:59:55 emojis was a bad ide 19:59:57 a 20:01:09 but if they implement a bad idea, I just ask why don't they implement all other bad ideas 20:01:22 Get Things Done you know 20:01:26 lol 20:12:23 [[Talk:UClang*]] https://esolangs.org/w/index.php?diff=79484&oldid=79259 * LegionMammal978 * (+218) 20:16:20 [[Brain:D]] M https://esolangs.org/w/index.php?diff=79485&oldid=79293 * LegionMammal978 * (+2) fix cat 20:35:11 -!- jess has joined. 20:41:20 -!- delta23 has joined. 21:01:02 [[Deadfish "self-interpreter"]] M https://esolangs.org/w/index.php?diff=79486&oldid=73108 * PythonshellDebugwindow * (+75) /* See also */ cats 21:12:22 but if they implement a bad idea, I just ask why don't they implement all other bad ideas => well, nobody has infinite resources, obviously 21:13:43 -!- 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.”). 21:18:49 -!- arseniiv has quit (Ping timeout: 264 seconds). 21:22:26 I think that Unicode is messy 21:28:12 -!- adu has joined. 21:29:47 -!- user24 has quit (Ping timeout: 260 seconds). 21:49:05 [[Talk:UClang*]] https://esolangs.org/w/index.php?diff=79487&oldid=79484 * PythonshellDebugwindow * (+204) /* A4 and A5 */ new section 22:10:04 -!- rain1 has quit (Quit: WeeChat 2.9). 22:51:15 -!- Arcorann_ has joined. 23:21:36 I turned on "force dark" in Chrome as a test, and our very own Wiki renders badly. :/ https://zem.fi/tmp/esodark.png 23:23:06 Then again, so does Wikipedia, and arguably it's even a little worse. So maybe it's Not Our Fault. 23:28:19 (I'm not sure what all exactly the flag does. I guess I'd just like the "prefer dark if the website has it" setting, but AFAICT maybe Chrome on Linux doesn't have that setting, since there's no standard system-wide thing. At least https://support.google.com/chrome/answer/9275525?co=GENIE.Platform%3DDesktop&oco=1 just lists Mac OS and Windows.) 23:30:20 -!- TheLie has joined. 23:34:24 Apparently it's even got a setting for that as part of Developer Tools ("Emulate CSS media feature prefers-color-scheme" → dark), but not something you could just turn on. 23:38:56 Oh, turns out there's a command-line flag. Well, better than nothing. 23:50:52 -!- adu has quit (Quit: adu).