00:05:02 <esolangs> [[Osmarkscalculator]] https://esolangs.org/w/index.php?diff=119945&oldid=119944 * Osmarks * (+20)
00:11:01 <esolangs> [[Osmarkscalculator]] M https://esolangs.org/w/index.php?diff=119946&oldid=119945 * PythonshellDebugwindow * (+83) /* osmarkscalculator */ Categories
00:15:52 <esolangs> [[Headache]] M https://esolangs.org/w/index.php?diff=119947&oldid=117197 * PythonshellDebugwindow * (+70) Link to HA
00:18:25 <esolangs> [[HA]] M https://esolangs.org/w/index.php?diff=119948&oldid=119392 * PythonshellDebugwindow * (+68) Link to disambiguation page
00:20:10 <esolangs> [[HA]] M https://esolangs.org/w/index.php?diff=119949&oldid=119948 * PythonshellDebugwindow * (+127) Categories
00:29:19 <esolangs> [[.mOdMoDwOrM]] https://esolangs.org/w/index.php?diff=119950&oldid=119893 * Squidmanescape * (+759) /* Turing completeness */
00:51:29 -!- Sgeo has joined.
00:58:50 -!- Lord_of_Life_ has joined.
01:04:04 -!- V has quit (*.net *.split).
01:04:05 -!- Soni has quit (*.net *.split).
01:04:29 -!- fungot has quit (*.net *.split).
01:04:30 -!- MizMahem has quit (*.net *.split).
01:04:31 -!- lifthrasiir has quit (*.net *.split).
01:04:31 -!- Lord_of_Life has quit (*.net *.split).
01:04:32 -!- JAA has quit (*.net *.split).
01:04:34 -!- Sgeo has quit (*.net *.split).
01:04:35 -!- iovoid has quit (*.net *.split).
01:04:36 -!- CAT_S has quit (*.net *.split).
01:04:38 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
01:06:30 -!- JAA has joined.
01:06:34 -!- V has joined.
01:06:34 -!- Soni has joined.
01:06:40 -!- Sgeo has joined.
01:06:40 -!- iovoid has joined.
01:06:40 -!- CAT_S has joined.
01:07:25 -!- fungot has joined.
01:07:26 -!- MizMahem has joined.
01:07:26 -!- lifthrasiir has joined.
01:32:47 -!- Sgeo has quit (Read error: Connection reset by peer).
01:40:40 -!- Sgeo has joined.
03:30:21 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
03:32:12 -!- Lord_of_Life has joined.
06:13:11 -!- tromp has joined.
06:25:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
06:52:19 <zzo38> There is three kind of runs (homogeneous, heterogeneous, copy-above), and three attributes of each tile (kind, colour, parameter), and the kind of run can be set independently for each attribute. What is the way to figure out which kinds of runs should be used?
06:59:03 -!- tromp has joined.
07:22:09 -!- Sgeo has quit (Read error: Connection reset by peer).
07:36:21 -!- Sgeo has joined.
08:13:27 -!- tromp has quit (Read error: Connection reset by peer).
08:47:57 -!- Koen has joined.
09:28:52 -!- Sgeo has quit (Read error: Connection reset by peer).
09:59:00 -!- __monty__ has joined.
10:00:43 -!- tromp has joined.
10:11:10 -!- Lord_of_Life_ has joined.
10:12:35 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
10:14:08 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
10:21:07 -!- ais523 has quit (Quit: quit).
12:23:28 <esolangs> [[JamogusLamogusAmogus]] https://esolangs.org/w/index.php?diff=119951&oldid=119935 * MihaiEso * (+17)
14:03:42 <esolangs> [[Peter Larsen]] M https://esolangs.org/w/index.php?diff=119952&oldid=24595 * PythonshellDebugwindow * (+26) Wayback
14:17:50 -!- iovoid has quit (Quit: iovoid has quit!).
14:18:11 -!- iovoid has joined.
14:47:42 -!- tromp has quit (Read error: Connection reset by peer).
15:32:49 -!- tromp has joined.
15:46:59 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:48:25 -!- iovoid has quit (Ping timeout: 268 seconds).
15:48:29 -!- [iovoid] has joined.
15:49:28 -!- [iovoid] has changed nick to iovoid.
16:08:35 -!- tromp has joined.
16:10:50 <tromp> interesting fact: lambda term (λ 1 1) (λ (λ λ λ 1 (λ 1 (4 (λ 4 (λ λ 3 (λ 1 2 3)))) (4 (λ 5 (λ 5 (λ 3 1 (2 1)))))) ((λ 1 1) (λ λ λ 1 (2 (λ 1 2)) (3 3 (λ 3 (λ 2 (1 3))))) 2)) (1 1)) (λ 1 1) contains all closed lambda terms in its expansion
16:13:28 <riv> that's cool!
16:13:42 <tromp> you can obtain any particular term by repeatedly applying the above to a series of bits
16:14:08 <tromp> for example, identity = T 0 0 1 0
16:14:27 <tromp> where 0 is boolean true and 1 is boolean false
16:18:27 <tromp> 0010 happens to be the binary lambda calculus code for identity....
17:11:02 -!- Koen has quit (Remote host closed the connection).
17:30:05 <esolangs> [[Imperator]] https://esolangs.org/w/index.php?diff=119953&oldid=118949 * Jaip * (-49)
17:33:15 <esolangs> [[SEPL]] https://esolangs.org/w/index.php?diff=119954&oldid=109034 * ChuckEsoteric08 * (+3) Change decryption
17:43:44 <esolangs> [[SEPL]] https://esolangs.org/w/index.php?diff=119955&oldid=119954 * ChuckEsoteric08 * (+58)
17:53:33 <esolangs> [[NonSkip]] https://esolangs.org/w/index.php?diff=119956&oldid=107292 * ChuckEsoteric08 * (-2)
17:56:35 -!- Koen has joined.
18:12:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:39:19 -!- tromp has joined.
19:05:26 <esolangs> [[Dead fish]] https://esolangs.org/w/index.php?diff=119957&oldid=118606 * ApisNecros * (+139) /* Truth Machine */ Add golfed version
19:15:55 -!- Koen has quit (Remote host closed the connection).
19:39:18 <esolangs> [[User:ApisNecros]] https://esolangs.org/w/index.php?diff=119958&oldid=107983 * ApisNecros * (-16) Add "Languages I Use" section
19:55:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:58:37 -!- tromp has joined.
20:01:55 -!- ais523 has joined.
20:48:53 <tromp> this shorter one contains all S K combinators, and thus also all lambda terms:
20:48:55 <tromp> (λ 1 1) (λ (λ λ λ 1 (λ 3 (1 1 (λ λ λ 3 1 (2 1)))) (3 (λ 4 (λ 4 (2 1))))) (1 1)) (λ 1)
20:49:42 <tromp> all software in the world contained in a one liner:-)
21:29:37 <tromp> or using single point basis {A}:
21:29:39 <tromp> (λ 1 1) (λ (λ λ λ 1 (2 (λ λ λ 3 1 (2 (λ 2)))) (3 (λ 4 (λ 4 (2 1))))) (1 1)) (λ 1)
21:29:48 <tromp> which is exactly 100 bits
22:04:24 <esolangs> [[English]] M https://esolangs.org/w/index.php?diff=119959&oldid=119915 * Europe2048 * (+177) Added errors.
22:37:42 -!- Sgeo has joined.
23:15:08 -!- __monty__ has quit (Quit: leaving).
23:54:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).