←2022-02-04 2022-02-05 2022-02-06→ ↑2022 ↑all
00:04:01 -!- llk has quit (Remote host closed the connection).
00:04:41 -!- llk has joined.
00:09:10 -!- impomatic has quit (Quit: impomatic).
00:09:31 -!- impomatic has joined.
00:24:39 -!- impomatic has quit (Quit: impomatic).
00:24:59 -!- impomatic has joined.
00:29:11 -!- impomatic has quit (Client Quit).
00:29:31 -!- impomatic has joined.
00:32:46 -!- ais523 has joined.
00:37:25 -!- perlbot has quit (Quit: ZNC 1.8.2+deb2~bpo10+1 - https://znc.in).
00:37:25 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb2~bpo10+1 - https://znc.in).
00:39:10 -!- simcop2387 has joined.
00:40:11 -!- perlbot has joined.
00:40:32 -!- ais523 has quit (Remote host closed the connection).
01:02:11 -!- perlbot has quit (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in).
01:02:11 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in).
01:04:39 -!- impomatic has quit (Quit: impomatic).
01:04:59 -!- impomatic has joined.
01:06:26 -!- simcop2387 has joined.
01:07:27 -!- perlbot has joined.
01:19:11 -!- impomatic has quit (Quit: impomatic).
01:19:32 -!- impomatic has joined.
01:21:00 -!- llk has quit (Remote host closed the connection).
01:49:39 -!- impomatic has quit (Quit: impomatic).
01:49:59 -!- impomatic has joined.
01:54:10 -!- impomatic has quit (Client Quit).
01:54:31 -!- impomatic has joined.
01:59:39 -!- impomatic has quit (Quit: impomatic).
01:59:59 -!- impomatic has joined.
02:00:25 <razetime[m]1> `? gene kelly
02:00:27 <HackEso> gene kelly? ¯\(°​_o)/¯
02:00:41 <razetime[m]1> funny
02:04:11 -!- impomatic has quit (Client Quit).
02:04:31 -!- impomatic has joined.
02:09:39 -!- impomatic has quit (Quit: impomatic).
02:09:59 -!- impomatic has joined.
02:14:10 -!- impomatic has quit (Client Quit).
02:14:31 -!- impomatic has joined.
02:24:39 -!- impomatic has quit (Quit: impomatic).
02:24:59 -!- impomatic has joined.
02:29:10 -!- impomatic has quit (Client Quit).
02:29:31 -!- impomatic has joined.
02:35:18 <esolangs> [[AssemblerFuck++]] https://esolangs.org/w/index.php?diff=92884&oldid=92594 * Esolang1 * (+0) Fixed typos: Categories
02:37:54 <esolangs> [[AssemblerFuck++]] M https://esolangs.org/w/index.php?diff=92885&oldid=92884 * Esolang1 * (+103) Added details: I/O
02:41:02 <esolangs> [[Advance The Wheel!]] https://esolangs.org/w/index.php?diff=92886&oldid=92726 * Ais523 * (-119) /* Self-interpreter */ remove an outdated part of a sentence (it described an older version of the self-interpreter, not the current version)
02:43:54 -!- razetime has joined.
02:54:39 -!- impomatic has quit (Quit: impomatic).
02:54:59 -!- impomatic has joined.
02:59:11 -!- impomatic has quit (Client Quit).
02:59:31 -!- impomatic has joined.
03:19:39 -!- impomatic has quit (Quit: impomatic).
03:19:59 -!- impomatic has joined.
03:20:15 -!- Taneb0 has joined.
03:24:13 -!- Taneb has quit (Ping timeout: 240 seconds).
03:24:26 -!- impomatic has quit (Client Quit).
03:24:46 -!- impomatic has joined.
03:54:39 -!- impomatic has quit (Quit: impomatic).
03:54:59 -!- impomatic has joined.
03:59:11 -!- impomatic has quit (Client Quit).
03:59:31 -!- impomatic has joined.
04:04:39 -!- impomatic has quit (Quit: impomatic).
04:04:59 -!- impomatic has joined.
04:09:10 -!- impomatic has quit (Client Quit).
04:09:31 -!- impomatic has joined.
04:24:39 -!- impomatic has quit (Quit: impomatic).
04:24:59 -!- impomatic has joined.
04:29:10 -!- impomatic has quit (Client Quit).
04:29:34 -!- impomatic has joined.
04:49:39 -!- impomatic has quit (Quit: impomatic).
04:50:01 -!- impomatic has joined.
04:54:11 -!- impomatic has quit (Client Quit).
04:54:31 -!- impomatic has joined.
05:19:13 -!- impomatic has quit (Quit: impomatic).
06:41:44 -!- tromp has joined.
07:44:35 -!- impomatic has joined.
07:49:00 -!- impomatic has quit (Client Quit).
07:49:21 -!- impomatic has joined.
07:54:28 -!- impomatic has quit (Quit: impomatic).
07:54:51 -!- impomatic has joined.
07:57:12 <riv> ok
07:57:33 <riv> label the faces of a d6 1 1 1 2 2 continuation
07:57:45 <riv> if you get continuation, reroll but add 6 to the final result
07:57:49 <riv> this lets you roll any natural number
07:59:00 -!- impomatic has quit (Client Quit).
07:59:20 -!- impomatic has joined.
08:29:28 -!- impomatic has quit (Quit: impomatic).
08:29:48 -!- impomatic has joined.
08:33:59 -!- impomatic has quit (Client Quit).
08:34:20 -!- impomatic has joined.
09:29:28 -!- impomatic has quit (Quit: impomatic).
09:29:48 -!- impomatic has joined.
09:34:00 -!- impomatic has quit (Client Quit).
09:34:22 -!- impomatic has joined.
09:39:28 -!- impomatic has quit (Quit: impomatic).
09:39:48 -!- impomatic has joined.
09:41:57 -!- APic has quit (Ping timeout: 240 seconds).
09:44:00 -!- impomatic has quit (Client Quit).
09:44:20 -!- impomatic has joined.
09:49:28 -!- impomatic has quit (Quit: impomatic).
09:49:48 -!- impomatic has joined.
09:59:00 -!- impomatic has quit (Quit: impomatic).
09:59:20 -!- impomatic has joined.
10:25:21 -!- __monty__ has joined.
10:25:55 -!- __monty__ has quit (Client Quit).
10:26:13 -!- __monty__ has joined.
10:34:28 -!- impomatic has quit (Quit: impomatic).
10:34:48 -!- impomatic has joined.
10:38:59 -!- impomatic has quit (Client Quit).
10:39:19 -!- impomatic has joined.
10:44:28 -!- impomatic has quit (Quit: impomatic).
10:44:50 -!- impomatic has joined.
10:49:00 -!- impomatic has quit (Client Quit).
10:49:20 -!- impomatic has joined.
10:55:18 -!- Sgeo has quit (Read error: Connection reset by peer).
10:57:11 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
10:58:17 -!- Lord_of_Life has joined.
11:01:02 -!- Taneb0 has changed nick to Taneb.
11:19:28 -!- impomatic has quit (Quit: impomatic).
11:19:48 -!- impomatic has joined.
11:24:00 -!- impomatic has quit (Client Quit).
11:24:11 <esolangs> [[Plutonium]] https://esolangs.org/w/index.php?diff=92887&oldid=81680 * Shahryar * (+28)
11:24:20 -!- impomatic has joined.
11:33:07 -!- tech_exorcist has joined.
11:50:25 -!- APic has joined.
12:04:28 -!- impomatic has quit (Quit: impomatic).
12:04:48 -!- impomatic has joined.
12:08:59 -!- impomatic has quit (Client Quit).
12:09:22 -!- impomatic has joined.
12:32:38 -!- impomatic has quit (Remote host closed the connection).
12:34:51 -!- impomatic has joined.
12:38:07 -!- impomatic has quit (Remote host closed the connection).
12:49:21 -!- impomatic has joined.
12:53:57 -!- APic has quit (Ping timeout: 240 seconds).
12:54:28 -!- impomatic has quit (Quit: impomatic).
12:54:48 -!- impomatic has joined.
13:04:00 -!- impomatic has quit (Quit: impomatic).
13:04:20 -!- impomatic has joined.
13:14:19 <int-e> tromp: I kind of believe your 3 variable theorem (but I am struggling with the absence of 2-2-forms as a criterion; the negation is rather messy), but not the proof. In particular, a 2-2-form might appear in the term without manifesting in the reduct N[x:=M], if, somehow, a 2-bind appears without having one previously (Consider \y z. (\x. M) N (y z)) -> \y z. M[x := N] (y z)). Which I think...
13:14:25 <int-e> ...can't happen, but it needs a proof. There may be more such cases that I'm missing; ignoring the context is a bit dubious. (It's easier for the absence of 3-forms because in that case the idea that the number of free variables can only be decreased by reduction is well-established intuition for me.)
14:11:27 <tromp> int-e: thx for the review. i'll try to make it more rigorous
14:16:41 <b_jonas> fungot, are you a signla generator?
14:16:41 <fungot> b_jonas: and in time, though prone to do with it or not.
14:17:10 -!- APic has joined.
14:19:28 -!- impomatic has quit (Quit: impomatic).
14:19:48 -!- impomatic has joined.
14:20:16 -!- Everything has joined.
14:29:00 -!- impomatic has quit (Quit: impomatic).
14:29:20 -!- impomatic has joined.
14:44:56 <esolangs> [[Pair]] N https://esolangs.org/w/index.php?oldid=92888 * Hakerh400 * (+6175) +[[Pair]]
14:45:00 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=92889&oldid=92881 * Hakerh400 * (+11) +[[Pair]]
14:45:05 <esolangs> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=92890&oldid=92882 * Hakerh400 * (+11) +[[Pair]]
14:47:01 <esolangs> [[Plurple]] M https://esolangs.org/w/index.php?diff=92891&oldid=92872 * PythonshellDebugwindow * (+61) Categories
14:48:40 <esolangs> [[Hoverfly]] https://esolangs.org/w/index.php?diff=92892&oldid=92276 * Kemuri * (+30) /* interpreter */
14:49:11 <esolangs> [[Tile]] M https://esolangs.org/w/index.php?diff=92893&oldid=92616 * PythonshellDebugwindow * (+23) /* Interpreter */ Add category
14:49:28 -!- impomatic has quit (Quit: impomatic).
14:49:44 <esolangs> [[Hoverfly]] https://esolangs.org/w/index.php?diff=92894&oldid=92892 * Kemuri * (+14)
14:49:48 -!- impomatic has joined.
14:53:59 -!- impomatic has quit (Client Quit).
14:54:22 -!- impomatic has joined.
14:54:31 <esolangs> [[Pair]] https://esolangs.org/w/index.php?diff=92895&oldid=92888 * Hakerh400 * (+1) /* Syntactic sugar */
14:56:32 <esolangs> [[Tile]] M https://esolangs.org/w/index.php?diff=92896&oldid=92893 * PythonshellDebugwindow * (-29) Use wikilink
14:59:28 -!- impomatic has quit (Quit: impomatic).
14:59:51 -!- impomatic has joined.
15:04:00 -!- impomatic has quit (Client Quit).
15:04:20 -!- impomatic has joined.
15:05:12 <esolangs> [[Plurple]] M https://esolangs.org/w/index.php?diff=92897&oldid=92891 * Laclale * (-23) /* [[Category:Languages]] */ was added by infobox
15:14:28 -!- impomatic has quit (Quit: impomatic).
15:14:48 -!- impomatic has joined.
15:18:59 -!- impomatic has quit (Client Quit).
15:19:20 -!- impomatic has joined.
15:25:09 <esolangs> [[Pair]] https://esolangs.org/w/index.php?diff=92898&oldid=92895 * Hakerh400 * (+394) Add quine program
15:54:28 -!- impomatic has quit (Quit: impomatic).
15:54:48 -!- impomatic has joined.
16:08:59 -!- impomatic has quit (Quit: impomatic).
16:09:20 -!- impomatic has joined.
16:13:32 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
16:14:28 -!- impomatic has quit (Quit: impomatic).
16:14:48 -!- impomatic has joined.
16:23:59 -!- impomatic has quit (Quit: impomatic).
16:24:19 -!- impomatic has joined.
16:44:28 -!- impomatic has quit (Quit: impomatic).
16:44:48 -!- impomatic has joined.
16:48:59 -!- impomatic has quit (Client Quit).
16:49:20 -!- impomatic has joined.
17:13:15 -!- Everything has quit (Quit: leaving).
17:14:28 -!- impomatic has quit (Quit: impomatic).
17:14:48 -!- impomatic has joined.
17:19:01 -!- impomatic has quit (Client Quit).
17:19:21 -!- impomatic has joined.
17:44:28 -!- impomatic has quit (Quit: impomatic).
17:44:48 -!- impomatic has joined.
17:48:59 -!- impomatic has quit (Client Quit).
17:49:19 -!- impomatic has joined.
17:54:28 -!- impomatic has quit (Quit: impomatic).
17:54:50 -!- impomatic has joined.
18:04:00 -!- impomatic has quit (Quit: impomatic).
18:04:20 -!- impomatic has joined.
18:39:28 -!- impomatic has quit (Quit: impomatic).
18:39:48 -!- impomatic has joined.
18:43:59 -!- impomatic has quit (Client Quit).
18:44:21 -!- impomatic has joined.
18:54:28 -!- impomatic has quit (Quit: impomatic).
18:54:51 -!- impomatic has joined.
18:59:36 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:03:59 -!- impomatic has quit (Quit: impomatic).
19:04:20 -!- impomatic has joined.
19:08:28 -!- tromp has joined.
19:29:28 -!- impomatic has quit (Quit: impomatic).
19:29:48 -!- impomatic has joined.
19:34:00 -!- impomatic has quit (Client Quit).
19:34:20 -!- impomatic has joined.
19:44:28 -!- impomatic has quit (Quit: impomatic).
19:44:48 -!- impomatic has joined.
19:45:05 -!- Sgeo has joined.
19:54:00 -!- impomatic has quit (Quit: impomatic).
19:54:20 -!- impomatic has joined.
20:04:28 -!- impomatic has quit (Quit: impomatic).
20:04:48 -!- impomatic has joined.
20:09:00 -!- impomatic has quit (Client Quit).
20:09:20 -!- impomatic has joined.
20:34:28 -!- impomatic has quit (Quit: impomatic).
20:34:48 -!- impomatic has joined.
20:38:59 -!- impomatic has quit (Client Quit).
20:39:22 -!- impomatic has joined.
20:49:28 -!- impomatic has quit (Quit: impomatic).
20:49:48 -!- impomatic has joined.
20:58:59 -!- impomatic has quit (Quit: impomatic).
20:59:20 -!- impomatic has joined.
21:14:28 -!- impomatic has quit (Quit: impomatic).
21:14:40 <fowl> hello friends
21:14:48 -!- impomatic has joined.
21:14:53 <esolangs> [[Cubestate]] M https://esolangs.org/w/index.php?diff=92899&oldid=66251 * Raumaankidwai * (-7)
21:24:16 -!- impomatic has quit (Quit: impomatic).
21:24:39 -!- impomatic has joined.
21:40:11 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:01:44 -!- tromp has joined.
22:24:28 -!- impomatic has quit (Quit: impomatic).
22:24:48 -!- impomatic has joined.
22:33:59 -!- impomatic has quit (Quit: impomatic).
22:34:19 -!- impomatic has joined.
22:39:28 -!- impomatic has quit (Quit: impomatic).
22:39:48 -!- impomatic has joined.
22:43:59 -!- impomatic has quit (Client Quit).
22:44:20 -!- impomatic has joined.
22:53:40 <zzo38> Does Raspberry Pi use 64-bit timestamps or 32-bit timestamps? (Earlier today I tried to compile Free Hero Mesh on Raspberry Pi and got a warning about the shift count is out of range, and I don't know if that is what the problem is.)
22:59:25 -!- impomatic has quit (Quit: impomatic).
23:04:22 -!- impomatic has joined.
23:08:06 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:24:28 -!- impomatic has quit (Quit: impomatic).
23:24:48 -!- impomatic has joined.
23:30:14 -!- tech_exorcist has quit (Quit: Disconnecting).
23:39:02 -!- impomatic has quit (Quit: impomatic).
23:39:22 -!- impomatic has joined.
23:47:54 -!- __monty__ has quit (Quit: leaving).
23:59:28 -!- impomatic has quit (Quit: impomatic).
23:59:48 -!- impomatic has joined.
←2022-02-04 2022-02-05 2022-02-06→ ↑2022 ↑all