00:01:35 -!- Lord_of_Life_ has joined.
00:02:01 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
00:02:52 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
01:14:10 <esolangs> [[Bltch1ang]] M https://esolangs.org/w/index.php?diff=107993&oldid=107987 * Dtp09 * (+5) /* Updates */
01:43:30 -!- razetime has joined.
01:46:55 <esolangs> [[Special:Log/newusers]] create * Stkptr * New user account
01:58:26 -!- razetime1 has joined.
01:59:10 -!- razetime has quit (Ping timeout: 276 seconds).
01:59:10 -!- razetime1 has changed nick to razetime.
02:02:53 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=107994&oldid=107991 * Stkptr * (+244) /* Introductions */
02:19:06 <esolangs> [[Talk:Cratefuck]] N https://esolangs.org/w/index.php?oldid=107995 * Stkptr * (+6547) Add proof of Turing completeness
02:22:44 <esolangs> [[Cratefuck]] https://esolangs.org/w/index.php?diff=107996&oldid=98313 * Stkptr * (+85) Update categories, link to proof
02:29:13 <esolangs> [[User:Stkptr]] N https://esolangs.org/w/index.php?oldid=107997 * Stkptr * (+191) Create page
02:31:26 <esolangs> [[Talk:Cratefuck]] https://esolangs.org/w/index.php?diff=107998&oldid=107995 * Stkptr * (+24) /* Proof of Turing completeness */ Ensure crane returns from conditionals.
03:35:05 -!- razetime has quit (Ping timeout: 268 seconds).
03:50:56 <esolangs> [[Talk:Cratefuck]] https://esolangs.org/w/index.php?diff=107999&oldid=107998 * Stkptr * (-2) /* Proof of Turing completeness */ Invert decrement logic
04:19:11 -!- razetime has joined.
04:22:33 -!- example99 has joined.
04:39:59 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
04:43:32 -!- slavfox has joined.
05:17:07 -!- bgs has joined.
05:49:28 -!- example99 has quit (Ping timeout: 260 seconds).
05:54:00 <esolangs> [[Esimpl]] https://esolangs.org/w/index.php?diff=108000&oldid=107651 * Ais523 * (+7522) some major changes to the language both syntaxes omitted important information (but particularly the binary syntax), so redo them to ensure that the important information is encoded; redundant information in the binary syntax is OK because it can just be discarded during parse i
06:47:12 -!- razetime has quit (Quit: See You Space Cowboy).
07:28:22 -!- Sgeo has quit (Read error: Connection reset by peer).
07:37:28 -!- bgs has quit (Remote host closed the connection).
07:43:13 -!- MrAureliusR has quit (*.net *.split).
07:43:13 -!- stmuk_ has quit (*.net *.split).
07:44:49 -!- stmuk_ has joined.
07:46:02 -!- MrAureliusR has joined.
08:32:14 -!- __monty__ has joined.
09:50:34 -!- razetime has joined.
10:48:09 <esolangs> [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=108001&oldid=106014 * UndoneStudios * (+119)
10:52:31 <esolangs> [[English]] M https://esolangs.org/w/index.php?diff=108002&oldid=89262 * UndoneStudios * (-4) It's not "a tails" or "a heads"
10:57:46 <esolangs> [[English]] https://esolangs.org/w/index.php?diff=108003&oldid=108002 * UndoneStudios * (+68) Added a cat program example, because that is one of the most basic of programs
11:06:04 -!- AnotherGuest67 has joined.
11:10:28 -!- razetime has quit (Quit: See You Space Cowboy).
11:52:01 -!- razetime has joined.
12:06:31 -!- razetime has quit (Quit: See You Space Cowboy).
12:12:54 -!- razetime has joined.
12:32:05 -!- example99 has joined.
12:32:15 -!- example99 has quit (Client Quit).
12:32:31 -!- example99 has joined.
12:53:38 -!- razetime has quit (Remote host closed the connection).
12:54:40 -!- razetime has joined.
13:04:20 -!- AnotherGuest67 has quit (Quit: Client closed).
13:09:19 -!- razetime has quit (Quit: See You Space Cowboy).
13:27:34 -!- razetime has joined.
13:28:38 -!- razetime has quit (Client Quit).
13:34:24 -!- __monty__ has quit (Quit: leaving).
13:34:56 -!- __monty__ has joined.
14:11:43 -!- ais523 has joined.
14:15:33 -!- __monty__ has quit (Quit: leaving).
14:16:06 -!- __monty__ has joined.
14:36:48 -!- example99 has quit (Ping timeout: 260 seconds).
14:53:05 <esolangs> [[Esimpl]] https://esolangs.org/w/index.php?diff=108004&oldid=108000 * Ais523 * (+114) /* Text syntax */ more abbreviations
15:01:28 -!- Sgeo has joined.
15:02:12 <esolangs> [[Heapfuck]] M https://esolangs.org/w/index.php?diff=108005&oldid=107979 * K.avi * (+1) /* Instructions */
15:21:36 <esolangs> [[Esimpl]] https://esolangs.org/w/index.php?diff=108006&oldid=108004 * Ais523 * (+72) /* Binary syntax */ a small tweak to stanza 0 encoding
16:24:37 -!- example99 has joined.
17:14:53 -!- example99 has quit (Ping timeout: 260 seconds).
17:24:20 <esolangs> [[BS]] M https://esolangs.org/w/index.php?diff=108007&oldid=94932 * CreeperBomb * (+1) Typo (pluralised "language" in the first sentence)
17:30:03 -!- bgs has joined.
18:05:55 <esolangs> [[Talk:]] N https://esolangs.org/w/index.php?oldid=108008 * Tux1 * (+94) Created page with "I hate the internet. --~~~~"
18:52:39 <river> https://arxiv.org/pdf/1410.5401.pdf
18:52:44 <river> differentiable turing machines
18:54:40 -!- Melvar has quit (Quit: WeeChat 3.6).
19:28:30 -!- Melvar has joined.
19:33:20 <esolangs> [[Joke language list]] M https://esolangs.org/w/index.php?diff=108009&oldid=107272 * CreeperBomb * (+11)
20:06:33 -!- bgs has quit (Remote host closed the connection).
20:29:30 <esolangs> [[Eyefuck]] N https://esolangs.org/w/index.php?oldid=108010 * CreeperBomb * (+1021) I fuck, you fuck, we all fuck, for eyefuck
20:47:57 <esolangs> [[Eyefuck]] https://esolangs.org/w/index.php?diff=108011&oldid=108010 * CreeperBomb * (+350)
21:57:10 -!- __monty__ has quit (Quit: leaving).
22:45:04 <zzo38> One thing that I would want to make is a GUI widget library which is separation of the API from the implementation (so that other implementations can be written).
22:46:47 <zzo38> For displaying text in the GUI, I think that the most general function for doing so may be "add_localized_text_with_parts", which can also handle accessibility, localization, formatting, and mixing code pages; and you can specify the ASCII text directly inside the function call (which is used if no language text is loaded).
22:47:35 <zzo38> Such a library can also handle user configuration, automation, etc.
22:48:10 <zzo38> Similarly than Glk, there might also be a dispatch layer and some parts which can be used by multiple implementations (and then changed if needed).
22:57:22 -!- ais523 has quit (Quit: quit).
23:05:28 <zzo38> What are your opinion/comment?
23:41:08 <esolangs> [[TOGA]] N https://esolangs.org/w/index.php?oldid=108012 * Stkptr * (+27) Create redirect