00:15:23 -!- Sgeo has quit (Read error: Connection reset by peer).
00:20:08 -!- Sgeo has joined.
01:04:14 <esolangs> [[Rev]] M https://esolangs.org/w/index.php?diff=120513&oldid=73631 * PythonshellDebugwindow * (-13) Stub, link
01:26:03 -!- rdococ has quit (Quit: Leaving).
01:32:45 -!- __monty__ has quit (Quit: leaving).
01:49:26 -!- Thelie has quit (Quit: Leaving.).
01:49:32 -!- Thelie1 has joined.
02:00:14 -!- Thelie1 has quit (Ping timeout: 260 seconds).
02:20:01 -!- sprout_ has joined.
02:23:25 -!- sprout has quit (Ping timeout: 256 seconds).
02:42:25 -!- Thelie has joined.
02:51:38 -!- b_jonas has quit (Ping timeout: 252 seconds).
03:27:51 -!- Thelie has quit (Ping timeout: 260 seconds).
04:29:23 <esolangs> [[Linear bounded brainfuck]] https://esolangs.org/w/index.php?diff=120514&oldid=78083 * Squidmanescape * (+1908) /* Examples */
04:36:13 <zzo38> What is it called if you add up all numbers above plus all numbers to the left plus one? (It is not so difficult to prove, that the numbers in the main diagonal = 1 (mod 4) and the rest = 0 (mod 2).)
04:45:16 <int-e> Looks like that's https://oeis.org/A341867 (with no name)
04:46:28 <int-e> (Nor references to any literature)
04:52:12 <zzo38> They have a different calculation than I described, but seems to be equivalent.
04:55:20 <zzo38> But, based on their different definition, they can prove part of what I mentioned, in a different way.
04:55:50 <int-e> I guess it's not hard to prove either but not in 5 minutes
04:56:05 <int-e> (AoC is coming up)
05:44:46 <zzo38> In an operating system design, I was thinking of, and am unsure of, how to handle reading links from files and writing links to files. When reading a link you will get a capability that refers to that file, however, the capability can be proxied and so can the capability for writing to another file. (Perhaps I am not explaining it very well.)
05:45:15 <zzo38> (The link might also be to a different file system (or even on a different computer), although I have considered how to do this by making a "foreign link", and using the "foreign link table".)
05:47:24 <zzo38> Also, there are six system functions that work on capabilities: Send, Receive, Wait, Lock, Transaction, and Discard. (and two that don't: Yield and Quit; although I am not sure that either is actually necessary) But, maybe Wait should also allow Send or Receive to be included in it and triggered by it, in order to avoid a race condition where it is ready at the time it finished waiting but not ready when actually trying to use it.
05:50:33 <esolangs> [[Morshu]] N https://esolangs.org/w/index.php?oldid=120515 * Squidmanescape * (+1631) Created page with "Morshu is an esolang based on [https://www.youtube.com/watch?v=X8HSnP1SiI0 the voice lines of Morshu]. Some of the lines have been changed == Specification {| class="wikitable" |+ Commands |- ! Text !! Function !! Example |- | <code>text separated by commas</code
05:51:57 <int-e> zzo38: https://mathb.in/77149
05:52:11 <int-e> So yes, that does satisfy your recurrence.
05:53:55 <int-e> Oh I missed up the variables in the middle, let me fix
05:55:54 <int-e> https://mathb.in/77150 is better
08:27:38 -!- b_jonas has joined.
08:40:30 -!- Sgeo has quit (Read error: Connection reset by peer).
08:55:06 -!- ais523 has quit (Quit: quit).
09:29:23 -!- tromp has joined.
09:33:47 -!- __monty__ has joined.
09:48:47 -!- Koen_ has joined.
10:21:01 -!- Lord_of_Life has quit (Ping timeout: 255 seconds).
10:21:22 -!- Lord_of_Life has joined.
11:34:06 -!- sprout_ has changed nick to sprout.
12:09:43 -!- chiselfuse has quit (Ping timeout: 240 seconds).
12:12:12 -!- chiselfuse has joined.
13:05:07 -!- chiselfuse has quit (Remote host closed the connection).
13:05:23 -!- chiselfuse has joined.
13:10:20 -!- craigo has joined.
13:47:04 <esolangs> [[Morshu]] M https://esolangs.org/w/index.php?diff=120516&oldid=120515 * None1 * (+30) Markup, category
14:04:01 -!- craigo has quit (Quit: Leaving).
14:33:45 -!- tromp has quit (Read error: Connection reset by peer).
14:45:09 -!- roper has joined.
14:57:02 -!- Thelie has joined.
15:12:27 -!- Koen_ has quit (Remote host closed the connection).
15:36:05 -!- tromp has joined.
15:40:21 -!- Koen_ has joined.
16:37:52 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:44:28 -!- roper has quit (Quit: leaving).
16:57:07 -!- rdococ has joined.
16:59:28 -!- tromp has joined.
17:14:35 -!- ais523 has joined.
17:23:37 -!- ais523 has quit (Remote host closed the connection).
17:24:52 -!- ais523 has joined.
17:25:37 -!- Koen_ has quit (Remote host closed the connection).
17:29:35 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:34:33 -!- Koen_ has joined.
17:34:57 -!- ais523 has quit (Remote host closed the connection).
17:36:11 -!- ais523 has joined.
17:40:53 -!- tromp has joined.
17:56:23 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:58:30 <esolangs> [[Mu]] https://esolangs.org/w/index.php?diff=120517&oldid=120510 * Hakerh400 * (+34) Add the "See also" section
18:01:02 -!- FreeFull has joined.
18:01:57 -!- __monty__ has quit (Ping timeout: 256 seconds).
18:02:28 -!- __monty__ has joined.
18:44:18 -!- Europe2048 has joined.
18:53:09 -!- tromp has joined.
18:55:19 -!- Europe2048 has quit (Quit: Client closed).
19:31:22 -!- V has quit (Ping timeout: 255 seconds).
19:36:49 -!- V has joined.
19:47:22 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:54:05 -!- tromp has joined.
19:55:10 -!- tromp has quit (Client Quit).
19:57:36 -!- tromp has joined.
20:44:20 -!- __monty_1 has joined.
20:46:20 -!- __monty__ has quit (Ping timeout: 268 seconds).
22:06:53 -!- Koen_ has quit (Quit: Leaving...).
22:31:13 -!- __monty_1 has changed nick to __monty__.
22:42:53 <esolangs> [[User:Shadow Kestrel]] https://esolangs.org/w/index.php?diff=120518&oldid=103952 * Shadow Kestrel * (+792) Yoinking le profile page into 2023 (with current info on lang and otherwise projects)
22:44:27 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:06:20 -!- rdococ has quit (Quit: Leaving).
23:13:51 <esolangs> [[Talk:Esoteric programming language]] https://esolangs.org/w/index.php?diff=120519&oldid=75151 * None1 * (+120) /* How do you pronounce "esolang"? */ new section
23:38:59 -!- __monty__ has quit (Quit: leaving).
23:45:50 -!- Thelie has quit (Ping timeout: 256 seconds).
23:59:48 <esolangs> [[User:Erinius/Ideas]] https://esolangs.org/w/index.php?diff=120520&oldid=81421 * Erinius * (-194)