00:47:18 <fizzie> Bluh. I "fixed" my "status bars get all confused when monitor configurations change" issue by just having the bar thing sort monitors by position (so that the numbering is stable), but now the problem is, Xmonad still uses the "physical" numbers when sending the status updates (window titles, visible workspaces) so now they're showing the wrong thing.
00:49:02 <fizzie> Really, I'd be fine sticking with the physical numbering (it's very predictable for this setup), the problem would seem to be that GTK invents its own way of numbering them when it's a long-running process; the numbers match initially, but get out of sync whenever there's any changes.
00:55:01 <fizzie> Hmm. Maybe they don't, after all. At least now that I'm querying them via the Display rather than the Screen.
01:02:49 <zzo38> There are many things I dislike about GTK, although that isn't one of the things I have had to deal with
01:13:28 <HackEso> olist <https://www.giantitp.com/comics/oots1245.html>: shachaf oerjan Sgeo FireFly boily nortti b_jonas
01:18:34 <esolangs> [[Keg]] https://esolangs.org/w/index.php?diff=88562&oldid=79841 * Iamn00b * (+2) /* Design Principles */
01:44:37 <esolangs> [[Talk:Keg]] https://esolangs.org/w/index.php?diff=88563&oldid=65056 * Iamn00b * (+269)
01:45:05 <esolangs> [[Talk:Keg]] https://esolangs.org/w/index.php?diff=88564&oldid=88563 * Iamn00b * (+74)
01:53:07 <esolangs> [[Talk:Keg]] https://esolangs.org/w/index.php?diff=88565&oldid=88564 * Iamn00b * (+13) /* Regarding multiple-digit numbers */
02:13:21 <Sgeo> a-floor(a/3) = ceil(2a/3)?
02:15:23 <Sgeo> I'll take this graph as a no on that
02:23:58 <fizzie> a-floor(...) isn't an integer unless a is one, while ceil(...) is one always.
02:24:34 <Sgeo> a is always an integer. The graphing thing I'm looking at doesn't know that >.>
02:27:07 <fizzie> In that case, I'd probably just consider the three cases of a = 3b, a = 3b+1 and a = 3b+2, for an integer b.
02:32:02 <fizzie> If a = 3b, a-floor(a/3) = 3b-floor(b) = 3b-b = 2b, ceil(2a/3) = ceil(2b) = 2b, so it's true for that.
02:32:05 <fizzie> If a = 3b+1, then a-floor(a/3) = 3b+1-floor(b+1/3) = 3b+1-b = 2b+1, while ceil(2a/3) = ceil(2(3b+1)/3) = ceil(2b+2/3) = 2b+1, so it's true for that too.
02:35:01 <fizzie> And if a = 3b+2, then a-floor(a/3) = 3b+2-floor(b+2/3) = 3b+2-b = 2b+2, while ceil(2a/3) = ceil(2(3b+2)/3) = ceil(2b+4/3) = 2b+2, so it's true in that last case too.
02:35:30 <Sgeo> /^[^#][0-9a-fA-F]+$/.test("red")
02:35:49 <Sgeo> Did I forget the alphabet? Is r between a and f?
02:36:20 <Sgeo> ....r isn't a # character
02:58:05 <int-e> Hmm... https://research.ibm.com//haifa/ponderthis/challenges/October2021.html isn't so hard
02:59:34 <int-e> (Well, I think this has the potential to be hard, but the concrete instances to be solved aren't.)
03:21:59 -!- hendursaga has quit (Remote host closed the connection).
03:22:35 -!- hendursaga has joined.
06:01:08 -!- delta23 has quit (Read error: Connection reset by peer).
06:01:08 -!- delta23_ has joined.
06:02:07 -!- velik has quit (Remote host closed the connection).
06:40:59 -!- delta23_ has changed nick to delta23.
06:49:00 -!- Sgeo has quit (Read error: Connection reset by peer).
07:05:24 <b_jonas> is there a time-traveling salesman problem?
07:06:57 <nakilon> that would be the landscape photos
07:08:03 <nakilon> is sitting and waiting an "a bit forward time travelling"
07:09:32 <nakilon> hmmm if rafting can be considered a travelling then I'm a time traveller
07:12:01 -!- delta23_ has joined.
07:12:08 -!- delta23 has quit (Killed (NickServ (GHOST command used by delta23_))).
07:12:12 -!- delta23_ has changed nick to delta23.
07:20:21 -!- oerjan has quit (Quit: Nite).
07:27:47 <nakilon> wtf ubuntu suddenly decided to stop everything https://dpaste.org/Cc3x/slim
07:31:47 -!- delta23 has quit (Quit: Leaving).
07:34:20 <nakilon> probably I need "apt-mark hold"
07:58:30 -!- imode has quit (Ping timeout: 268 seconds).
08:06:01 -!- hendursa1 has joined.
08:06:39 <nakilon> lmao dude drew this in MS Paint I guess https://ru.wikipedia.org/wiki/%D0%9A%D1%80%D0%B5%D1%81%D1%82%D0%B8%D0%BA%D0%B8-%D0%BD%D0%BE%D0%BB%D0%B8%D0%BA%D0%B8#/media/%D0%A4%D0%B0%D0%B9%D0%BB:Tic-tac-toe-full-game-tree-x-rational.png
08:07:20 <nakilon> (3rd from left, 3rd from bottom) can't go right down, the arrow is wrong
08:07:58 <riv> no analysis for middle of edge...
08:08:21 <nakilon> since I don't see this image in English article I guess there it was already removed but in Ru no one spotted
08:08:30 <nakilon> this one looks better https://gfredericks.com/blog/76
08:08:41 <nakilon> riv title says it's "partial"
08:09:21 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:09:26 <nakilon> oh wait, there is also a Description of this file at the bottom, it's in Russian and it says it's "full"
08:12:40 -!- Trieste has quit (*.net *.split).
08:12:40 -!- jix has quit (*.net *.split).
08:12:40 -!- moony has quit (*.net *.split).
08:12:40 -!- keegan has quit (*.net *.split).
08:12:40 -!- scjosh has quit (*.net *.split).
08:12:40 -!- slavfox has quit (*.net *.split).
08:14:53 <nakilon> yeah author is Russian so it probably wasn't copied from Eng article but is his own drawing https://ru.wikipedia.org/wiki/%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Mike_like0708
08:22:25 -!- velik has joined.
08:22:45 <nakilon> velik how do you like that Ubuntu has killed you?
08:22:50 <velik> yes, conventions are a rightmost sense because those... There are hanled years although do happen whether doing especially
08:23:24 <b_jonas> nakilon: do you mean https://xkcd.com/832/ ? see its errors listed in https://www.explainxkcd.com/wiki/index.php/832:_Tic-Tac-Toe#Errors before you use it
08:23:25 <nakilon> velik are you now brain damaged?
08:23:29 <velik> but already, you can know lists over libraries to forget the instruction to use? Version dies bluetooth, but too breaks abcdefghij...
08:24:23 -!- Trieste has joined.
08:24:23 -!- jix has joined.
08:24:23 -!- moony has joined.
08:24:23 -!- keegan has joined.
08:24:23 -!- scjosh has joined.
08:24:23 -!- slavfox has joined.
08:24:55 <nakilon> b_jonas I guess there is automatically drawn one https://en.wikipedia.org/wiki/Tic-tac-toe#/media/File:Tictactoe-O.svg
08:25:21 -!- Trieste has quit (Max SendQ exceeded).
08:27:25 <b_jonas> fungot, are you hosted on facebook servers?
08:27:26 <fungot> b_jonas: of yourse it matters to me
08:30:23 -!- Trieste has joined.
08:34:26 -!- Everything has joined.
09:50:14 -!- wib_jonas has joined.
10:16:44 <fizzie> Is the TTTSP actually just the same as the minimum spanning tree?
10:16:52 <fizzie> Well, I guess it depends on your time travel model.
10:17:39 <fizzie> I was assuming the one where your salesman can jump back to any city they've already been and go somewhere else, without having to visit those cities they've "already" been to in the other timeline.
10:21:51 <wib_jonas> fungot, is the time-traveling salesman problem actually just the same as the minimum spanning tree?
10:21:51 <fungot> wib_jonas: what do you mean ' the compiler'), but
10:22:01 <nakilon> if you mean teleportation it does not have to be a single tree
10:22:52 <fizzie> Time-travel isn't teleportation.
10:22:58 <nakilon> or you could teleport to all them directly tough
10:23:29 <fizzie> Well, I don't know how exactly going forward in time would work for that problem.
10:23:30 <nakilon> oh I got you, you mean the backtracking
10:24:12 <nakilon> also you can wait in place until the town grows and covers your location
10:27:27 <nakilon> but if you get back in time the branch is no longer visited
10:28:14 <nakilon> unless you go back with something from the branch, like it you were time-travelling robber
10:29:32 <wib_jonas> fizzie: so in your model, would time travel rewind the world *and* the salesman's location, but not the salesman's body and mind, so they still get aged and spend subjective time in the branch that they rewound?
10:30:24 <wib_jonas> of course there's the original problem of why the salesman isn't allowed to visit the same town twice, I presume that's because after he tries to sell his stuff people there hate him so much that it would be dangerous for him to return
10:31:00 <wib_jonas> he's the traveling conman who can only do his con once in each town, and he has to travel very fast so that he can be faster than the news travels
11:02:09 <nakilon> he needs to sell things online
11:02:15 <nakilon> to be faster than news travel
11:02:55 <nakilon> hmmm actually this explains why people are being taught to stop writing and do only reading in internet
11:04:34 <nakilon> just few weeks ago I realised that the internet (at least Runet) was very different just 10 years ago -- all people were blogging and participating in forums, while now no one has a blog, the term "blog" has been actually redefined to "paid photos of new brand clothing in Instagram"
11:05:44 <nakilon> and no one participates in forums, admins stop paying for hosting, and only web archive has 0.1% of them indexed
11:07:02 <nakilon> writing and posting is discouraged because it would allow you to spread news about bad salesmen
11:23:24 <esolangs> [[Hello world program in esoteric languages (nonalphabetic and A-M)]] https://esolangs.org/w/index.php?diff=88566&oldid=88119 * ColorfulGalaxy * (+0) /* Befunk */ Made an edit to Befunk example due to an edit on the Befunk article
11:23:29 <esolangs> [[Befunk]] https://esolangs.org/w/index.php?diff=88567&oldid=88198 * ColorfulGalaxy * (+13) Made an edit to the Hello world program due to a previous edit.
11:30:45 <esolangs> [[Talk:Befunk]] https://esolangs.org/w/index.php?diff=88568&oldid=82368 * Nakilon * (+152) /* consider using netpbm */ new section
11:32:22 <wib_jonas> I wonder if there's a case when some software or other creative work allows you to distribute it under any of two copyright licences with different conditions, and you distribute that software and gain advantage from not specifying which of the two license conditions you are planning to satisfy.
11:35:18 <wib_jonas> For example, the two licences are the Mozilla one and the GPL, you distribute only the binary and refuse to give the source code because you claim that the Mozilla license allows you to not give out the sourcecode, but also patent some technology that you use in your modifications, and refuse to give a patent license, claiming that the GPL allows
11:35:19 <wib_jonas> you to not give a patent license. You aren't allowed to do both of those, but it's unclear how anyone else can enforce that, because I don't see how they could make you say which license conditions you're using to distribute the software.
11:35:47 <esolangs> [[Truth-machine]] https://esolangs.org/w/index.php?diff=88569&oldid=88230 * ColorfulGalaxy * (+13) /* Befunk */ Edit code due to Stasoid's edit on Befunk
11:39:13 <wib_jonas> but I wonder if there's a plausible example with existing dual-licensed works
11:49:05 <esolangs> [[Fugue]] https://esolangs.org/w/index.php?diff=88570&oldid=78990 * ColorfulGalaxy * (+24) Changed link target
11:59:26 <nakilon> can't you have the same software mirrored under two different titles?
12:00:03 <nakilon> and claim that they are different, it's just a coincidence that you won't find any difference other than the name
12:18:26 -!- daggy1234[m] has joined.
12:19:48 -!- arseniiv_ has joined.
12:34:01 -!- delta23 has joined.
13:04:08 -!- wib_jonas has quit (Quit: Client closed).
13:07:04 -!- wib_jonas has joined.
13:26:27 <nakilon> https://i.imgur.com/oYVaHMC.png
13:26:39 <nakilon> this is how I imagine the algorithm
13:28:03 <nakilon> you start connecting the closest pairs until you get 3-star, then you take these 4 vertices and bruteforce all ways to join them, blacklisting the edge that was discarded
13:28:24 <nakilon> then go to the next 3-star
13:44:04 -!- Everything has quit (Ping timeout: 245 seconds).
13:49:39 <nakilon> but depending on whether I allow creating a conflict line only starting with some of the existing ends or not, it leads to two different results in this case https://i.imgur.com/88etK7t.png
13:51:18 <nakilon> I guess the bottom one not only avoids bruteforcing more than 3-star but also ends up more correctly
13:52:45 <nakilon> now I wonder if tehre is a counter example where even in the bottom algorithm it would produce a conflict line with two 3-stars on some >=2th step
14:06:04 -!- wib_jonas has quit (Quit: Client closed).
14:12:25 -!- wib_jonas has joined.
14:16:40 -!- Sgeo has joined.
14:39:28 <nakilon> also the blacklist should be cleared after the conflict is resolved before the next line added (that we do until everything is connected, i.e. edges = vertices - 1)
14:44:10 -!- imode has joined.
14:50:51 -!- Everything has joined.
15:05:26 -!- vyv has joined.
15:58:55 -!- wib_jonas has quit (Quit: Client closed).
15:59:04 -!- arseniiv_ has quit (Ping timeout: 245 seconds).
16:01:17 -!- vyv has quit (Quit: Konversation terminated!).
16:32:35 -!- arseniiv_ has joined.
16:48:50 -!- sprock has quit (Ping timeout: 268 seconds).
17:04:45 -!- hendursa1 has quit (Remote host closed the connection).
17:05:15 -!- hendursa1 has joined.
17:56:18 -!- sprock has joined.
18:04:41 <esolangs> [[Headass]] M https://esolangs.org/w/index.php?diff=88571&oldid=87350 * TheJonyMyster * (+82) documented bug in implementation that im not going to fix lol
18:10:49 <esolangs> [[Special:Log/move]] move * InfiniteDonuts * moved [[Seltzer Spigot]] to [[Seltzer]]: Rename "Seltzer Spigot" to just "Seltzer"
18:12:19 -!- hendursa1 has quit (Quit: hendursa1).
18:12:47 -!- hendursaga has joined.
18:19:55 -!- arseniiv_ has quit (Read error: Connection reset by peer).
18:20:17 -!- arseniiv_ has joined.
18:32:40 -!- sprock has quit (Ping timeout: 252 seconds).
18:59:58 -!- delta23 has quit (Quit: Leaving).
19:05:17 <zzo38> Should the "attack" and "defense" stats in Pokemon be called "physical attack" and "physical defense" instead?
19:07:22 <b_jonas> zzo38: no, it's originally a Game Boy game, so all the text has to be short to fit on the screen easily
19:13:04 <zzo38> In the original game yes, but I mean to change it for newer games. This is to distinguish from "special attack" and "special defense".
19:22:13 <zzo38> (The first game just had a "special" stat, although newer ones have "special attack" and "special defense")
19:26:42 -!- FireFly has quit (Ping timeout: 268 seconds).
19:28:50 -!- FireFly has joined.
20:09:02 -!- sprock has joined.
20:25:38 <esolangs> [[Digital Miracle]] N https://esolangs.org/w/index.php?oldid=88574 * Hakerh400 * (+10278) +[[Digital Miracle]]
20:26:00 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=88575&oldid=88553 * Hakerh400 * (+22) +[[Digital Miracle]]
20:26:15 <esolangs> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=88576&oldid=88446 * Hakerh400 * (+22) +[[Digital Miracle]]
20:36:34 <esolangs> [[Digital Miracle]] https://esolangs.org/w/index.php?diff=88577&oldid=88574 * Hakerh400 * (+0) /* Equality */
20:39:45 <esolangs> [[Digital Miracle]] https://esolangs.org/w/index.php?diff=88578&oldid=88577 * Hakerh400 * (+4)
20:44:50 <esolangs> [[FlipJump]] https://esolangs.org/w/index.php?diff=88579&oldid=88450 * Tomhe * (+1558) /* The Standard Library */ - hex.mul update, lookup-tables explanation.
21:18:45 -!- Thelie has joined.
21:28:11 -!- sprock has quit (Ping timeout: 268 seconds).
22:21:51 -!- Thelie has quit (Remote host closed the connection).
22:22:49 -!- Trieste has quit (Ping timeout: 245 seconds).
22:24:53 -!- Trieste has joined.
22:30:04 -!- immibis_ has quit (Ping timeout: 250 seconds).
22:35:41 <nakilon> someone said about gameboy
22:37:16 <nakilon> just randomly read about Mednonogov (guy who made several cool games for ZX Spectrum in early 90s when was a student), then visited his group in vk.com, then found that tehre is an IDE for Oberon https://github.com/Oleg-N-Cher/XDev
22:38:21 <nakilon> there was some repo for programming for gameboy here https://github.com/Oleg-N-Cher?tab=repositories&q=&type=source&language=&sort= and looks like Github thinks Oberon is Modula-2
23:05:17 -!- src has joined.
23:49:49 -!- sprock has joined.
23:57:04 -!- chiselfuse has quit (Remote host closed the connection).
23:57:20 -!- chiselfuse has joined.