00:06:01 <zzo38> Now I made up a set of macros in TeX to make a table that can span multiple pages, repeating the table heading on each page and adding a note "(Continued on next page)" at the bottom of the page if the table continues. Maybe you fid it useful too; I don't know
00:23:07 -!- sprocklem has quit (Ping timeout: 246 seconds).
01:37:46 -!- sprocklem has joined.
03:30:40 <imode> what would a "homoiconic brainfuck" look like?
03:32:57 <imode> I guess it'd just be one that's self-modifying.. but that's kinda weird.
04:18:50 -!- Lykaina has joined.
04:21:41 <imode> happy to lend some bytes.
04:23:22 <imode> seems like they're in the channel, yeah.
04:24:25 <Lykaina> they were my best friend in college
04:47:26 -!- ocharles has quit (Ping timeout: 240 seconds).
04:49:11 -!- ^[_ has quit (Ping timeout: 240 seconds).
04:49:29 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
04:49:29 -!- ocharles has joined.
04:49:37 -!- dog_star_ has joined.
04:49:44 -!- user3456_ has joined.
04:50:36 -!- ^[_ has joined.
04:54:54 -!- user3456 has quit (Ping timeout: 240 seconds).
04:54:54 -!- dog_star has quit (Ping timeout: 240 seconds).
04:54:55 -!- dog_star_ has changed nick to dog_star.
05:09:12 -!- sprocklem has quit (Quit: Lost terminal).
05:10:01 -!- sprocklem has joined.
05:29:06 -!- aaaaaa has joined.
07:21:54 -!- imode has quit (Ping timeout: 272 seconds).
07:39:19 -!- sprocklem has quit (Ping timeout: 260 seconds).
08:07:25 -!- Sgeo has quit (Read error: Connection reset by peer).
08:08:35 -!- hendursa1 has joined.
08:10:43 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:29:00 -!- clog has quit (Ping timeout: 256 seconds).
10:24:43 -!- clog has joined.
10:28:34 -!- FreeFull has joined.
10:57:05 -!- FreeFull has quit (Ping timeout: 240 seconds).
11:01:48 -!- FreeFull has joined.
12:26:20 -!- t20kdc has joined.
12:48:11 -!- arseniiv has joined.
13:16:40 -!- hendursa1 has quit (Quit: hendursa1).
13:16:58 -!- hendursaga has joined.
13:35:02 -!- Lykaina has quit (Quit: -a- IRC for Android 2.1.20).
14:00:12 -!- Arcorann_ has quit (Read error: Connection reset by peer).
14:20:04 -!- arseniiv has quit (Ping timeout: 260 seconds).
14:38:52 -!- Soni has quit (*.net *.split).
14:39:10 -!- Soni has joined.
14:40:56 -!- tswett[m] has quit (Ping timeout: 240 seconds).
14:50:02 -!- tswett[m] has joined.
14:51:32 <esowiki> [[2DFuck]] M https://esolangs.org/w/index.php?diff=77931&oldid=77842 * SunnyMoon * (+71) I found TheWastl's PPCG account on their answer to my question! :D
14:57:03 -!- arseniiv has joined.
14:58:29 -!- MDude has joined.
15:04:05 -!- aaaaaa has quit (Ping timeout: 240 seconds).
15:22:23 -!- user24 has joined.
15:52:35 -!- aaaaaa has joined.
16:10:30 <esowiki> [[EWagon]] M https://esolangs.org/w/index.php?diff=77932&oldid=77852 * Orangeyy * (-6)
16:26:34 -!- aaaaaa has quit (Ping timeout: 272 seconds).
16:28:37 -!- sftp has quit (Quit: leaving).
16:46:42 -!- sftp has joined.
16:47:04 <zzo38> Why aren't interwoven alignment preambles allowed?
16:49:59 <int-e> (guess the context!)
16:59:04 -!- FreeFull has quit (Read error: Connection reset by peer).
17:01:28 -!- FreeFull has joined.
17:03:26 <b_jonas> zzo38: I don't know what that means but it sounds like a TeX thing. if it's vanilla TeX or Plain TeX, then probably the TeXbook or TeX: The Program tells you why.
17:16:46 -!- FreeFull has quit (Quit: rebooting).
17:20:35 -!- user24 has quit (Remote host closed the connection).
17:33:56 -!- FreeFull has joined.
17:40:15 -!- LKoen has joined.
18:19:56 -!- imode has joined.
18:24:37 -!- sprocklem has joined.
18:30:39 -!- deltaepsilon23 has joined.
18:31:04 -!- Sgeo has joined.
18:36:22 <esowiki> [[33]] https://esolangs.org/w/index.php?diff=77933&oldid=77925 * SunnyMoon * (+526) Some example programs
18:41:12 <esowiki> [[33]] https://esolangs.org/w/index.php?diff=77934&oldid=77933 * SunnyMoon * (+288) cat + resources
18:41:18 -!- deltaepsilon23 has changed nick to delta23.
18:42:56 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77935&oldid=77872 * SunnyMoon * (+9) 33 joins!
18:44:58 <esowiki> [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=77936&oldid=77839 * SunnyMoon * (+30) 33 joins!
18:45:56 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=77937&oldid=77838 * SunnyMoon * (+22) 33 joins!
18:46:25 <esowiki> [[Hello world program in esoteric languages]] M https://esolangs.org/w/index.php?diff=77938&oldid=77936 * SunnyMoon * (+1) Oop
20:58:36 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
21:04:47 -!- delta23 has quit (Quit: Leaving).
21:35:02 <shachaf> Is CDCL "just" SMT where your theory is compatibility with your clause database?
21:51:13 -!- Arcorann_ has joined.
21:52:06 -!- Arcorann_ has quit (Remote host closed the connection).
21:52:33 -!- Arcorann_ has joined.
21:52:38 <esowiki> [[User:HDWithZeroes]] https://esolangs.org/w/index.php?diff=77939&oldid=77631 * HDWithZeroes * (+270)
21:53:07 <esowiki> [[User:HDWithZeroes]] https://esolangs.org/w/index.php?diff=77940&oldid=77939 * HDWithZeroes * (+7)
21:53:08 <esowiki> [[3x]] M https://esolangs.org/w/index.php?diff=77941&oldid=77612 * Tetrapyronia * (-1) Spelling fix
22:06:36 -!- deltaepsilon23 has joined.
22:06:59 -!- deltaepsilon23 has left.
22:07:19 -!- joast has joined.
22:09:04 -!- arseniiv has quit (Ping timeout: 260 seconds).
22:16:13 <imode> string rewrite rules aren't that composable.
22:18:57 -!- tromp has quit (Remote host closed the connection).
22:19:15 -!- tromp has joined.
22:25:20 -!- deltaepsilon23 has joined.
22:25:20 <imode> and systems like underload, FALSE and other concatenative languages with quotations have the problem of needing to deal with variable-sized quotations.
22:25:37 -!- deltaepsilon23 has changed nick to delta23.
23:33:12 -!- FreeFull has quit (Quit: Night night).
23:57:12 -!- sprocklem has quit (Ping timeout: 256 seconds).
23:57:28 -!- sprocklem has joined.