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 [[Bltch1ang]] M https://esolangs.org/w/index.php?diff=107993&oldid=107987 * Dtp09 * (+5) /* Updates */ 01:43:30 -!- razetime has joined. 01:46:55 [[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 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=107994&oldid=107991 * Stkptr * (+244) /* Introductions */ 02:19:06 [[Talk:Cratefuck]] N https://esolangs.org/w/index.php?oldid=107995 * Stkptr * (+6547) Add proof of Turing completeness 02:22:44 [[Cratefuck]] https://esolangs.org/w/index.php?diff=107996&oldid=98313 * Stkptr * (+85) Update categories, link to proof 02:29:13 [[User:Stkptr]] N https://esolangs.org/w/index.php?oldid=107997 * Stkptr * (+191) Create page 02:31:26 [[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 [[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:22:57 hi 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 [[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 [[ACCUMULATOR]] https://esolangs.org/w/index.php?diff=108001&oldid=106014 * UndoneStudios * (+119) 10:52:31 [[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 [[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:32:36 hi 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 [[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 [[Heapfuck]] M https://esolangs.org/w/index.php?diff=108005&oldid=107979 * K.avi * (+1) /* Instructions */ 15:21:36 [[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 [[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 [[Talk:]] N https://esolangs.org/w/index.php?oldid=108008 * Tux1 * (+94) Created page with "I hate the internet. --~~~~" 18:52:39 https://arxiv.org/pdf/1410.5401.pdf 18:52:44 differentiable turing machines 18:52:54 neural TMs 18:54:40 -!- Melvar has quit (Quit: WeeChat 3.6). 19:28:30 -!- Melvar has joined. 19:33:20 [[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 [[Eyefuck]] N https://esolangs.org/w/index.php?oldid=108010 * CreeperBomb * (+1021) I fuck, you fuck, we all fuck, for eyefuck 20:47:57 [[Eyefuck]] https://esolangs.org/w/index.php?diff=108011&oldid=108010 * CreeperBomb * (+350) 21:57:10 -!- __monty__ has quit (Quit: leaving). 22:45:04 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 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 Such a library can also handle user configuration, automation, etc. 22:48:10 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 What are your opinion/comment? 23:41:08 [[TOGA]] N https://esolangs.org/w/index.php?oldid=108012 * Stkptr * (+27) Create redirect