00:02:23 I like how you have to explicitly specify "QF" in these SMT things, and the default is having quantifiers. 00:03:36 I looked, and I don't know what command to specify if the result can be close without being quite right 00:10:43 You can specify inequality constraint, right? 00:10:51 Maybe I'm misunderstanding what you want to do. 00:11:03 -!- FreeFull has quit. 03:08:08 What are the rules for stickers in Magic: the Gathering? We can see some things. What layer do they apply to? It says they are not copied, so I suppose that it comes after layer 1, then. Can they be applied to objects that are not cards, and if so can they still be reused if those objects cease to exist before entering a hidden zone? What are the rules for comparing the names of objects with name stickers? 03:32:10 [[NoComment]] https://esolangs.org/w/index.php?diff=103548&oldid=81722 * CaptainFoxtrot * (+22) /* Hello World! */ 04:23:49 [[User talk:Lemonz]] https://esolangs.org/w/index.php?diff=103549&oldid=103547 * Lemonz * (+20) /* Is there an official implementation of Three variable modification language */ 04:24:45 [[Talk:Three variable modification language]] https://esolangs.org/w/index.php?diff=103550&oldid=103503 * Lemonz * (+163) /* Adding 1 */ 05:47:21 -!- razetime has joined. 06:30:15 -!- tromp has joined. 06:40:49 -!- m5zs7k has quit (Ping timeout: 250 seconds). 06:43:29 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 06:44:36 -!- m5zs7k has joined. 06:49:16 -!- SGautam has joined. 06:50:04 -!- Sgeo has quit (Read error: Connection reset by peer). 06:52:36 zzo38: stickers can apply to tokens; other than that I don't know and you may have to wait for the set release notes 06:58:16 -!- tromp has joined. 06:59:00 -!- tromp has quit (Client Quit). 07:00:54 -!- tromp has joined. 07:21:21 -!- lagash has quit (Ping timeout: 260 seconds). 07:22:05 -!- lagash has joined. 07:48:12 -!- razetime has quit (Ping timeout: 265 seconds). 08:05:01 -!- razetime has joined. 08:50:51 -!- __monty__ has joined. 08:59:42 -!- olsner has quit (Ping timeout: 268 seconds). 09:04:52 -!- olsner has joined. 09:28:49 -!- SGautam has quit (Quit: Connection closed for inactivity). 11:33:01 -!- Joao003 has joined. 11:40:30 why is this channel so quiet? 11:50:46 -!- tromp has quit (Read error: Connection reset by peer). 11:58:15 [[Talk:Cal]] N https://esolangs.org/w/index.php?oldid=103551 * Joaozin003 * (+473) Created page with "== NoEmoji == NoEmoji is a dialect of Cal by me that replaces emojis by Ascii characters. The command table now looks like this: - | Sub/Neg Number | Const ^ | T..." 13:19:27 -!- wib_jonas has joined. 13:20:00 esolangs is so quiet 13:20:57 Joao003: (1) because friends remain friends even if they don't talk every day, (2) because we're working dayjobs, (3) because the members are talking on other secret and/or non-logged channels, possibly not even on IRC but on Discord or by telepathy. pick your own answer. 13:21:35 -!- SGautam has joined. 13:21:43 1 13:21:58 didnt pick 3 because telepathy doesn't exist 13:29:00 why is esolangs so quiet, fungot? 13:29:00 wib_jonas: try proceeding from the interrupt.') it is perfectly good enough, with syntactic closures 13:29:26 perlbot 8-ball is esolang too quiet? 13:29:27 wib_jonas: Stored 8-ball is esolang too quiet? 13:29:32 what no 13:29:39 drat 13:29:47 how do I revert again? 13:29:51 perlbot help revert 13:29:52 wib_jonas: The eval plugin. Syntax, «eval: code». Prefixes: w=>warnings, s=>strict, m=>use Ojo. Suffixes: t=>threaded, pb=>pastebin it, nl=>turn \n to ␤. languages: 13:30:35 perlbot forget #esolangs 8-ball 13:30:35 wib_jonas: Forgot #esolangs 8-ball 13:31:06 perlbot 8-ball do you suppose esolang is too quiet? 13:31:06 wib_jonas: Stored 8-ball do you suppose esolang is too quiet? 13:31:17 no, you fool 13:31:29 perlbot call 8-ball is esolang too quiet? 13:31:30 wib_jonas: No factoid found. Did you mean one of these: [blog] [bleach] [8-ball] [8ball] [8ball:] [bill] [bl] [bbl] [blah] [bots] 13:31:41 perlbot forget #esolangs  do you suppose esolang 13:31:41 wib_jonas: Forgot #esolangs  do you suppose esolang 13:31:58 perlbot call 8-ball is esolang too quiet? 13:31:58 wib_jonas: No factoid found. Did you mean one of these: [blog] [bleach] [8-ball] [8ball] [8ball:] [bill] [bl] [bbl] [blah] [bots] 13:32:03 perlbot fact call 8-ball is esolang too quiet? 13:32:04 wib_jonas: Stored call 8-ball is esolang too quiet? 13:32:09 no 13:32:20 perlbot forget #esolangs call 8-ball 13:32:21 wib_jonas: Forgot #esolangs call 8-ball 13:32:28 perlbot 8-ball 13:32:29 wib_jonas: esolang too quiet? 13:32:37 perlbot forget #esolangs 8-ball 13:32:37 wib_jonas: Forgot #esolangs 8-ball 13:32:45 perlbot 8-ball 13:32:45 wib_jonas: esolang too quiet? 13:32:55 perlbot fact history 8-ball 13:32:55 wib_jonas: No factoid found. Did you mean one of these: [pbstore] [chaos theory] [istr] [distar] [istrue] [hosting] [hunter2] [listref] [hashsort] [hatetris] 13:45:00 `man lolololololol 13:45:04 Nice try. 13:46:25 we have a whatis, not a man 13:47:05 `whatis dir 13:47:07 dir(1) - list directory contents \ DIR(7glibc) - Opening a Directory \ dir(8jevalbot) - show the name of all persistent sessions 13:47:42 what is j-bot for 13:48:00 it interprets the J language 13:48:06 [ 8*16 13:48:06 wib_jonas: 128 13:48:39 useful for some quick vector calculations 13:52:09 [ *:99 13:52:10 Joao003: 9801 13:53:13 j-bot: *~99 13:53:14 wib_jonas: 9801 13:53:33 [ I.6 13:53:34 Joao003: 0 0 0 0 0 0 13:53:47 j-bot=([*])99 13:53:47 wib_jonas: 9801 13:54:06 j-bot):.:*/2$99 13:54:06 wib_jonas: 9801 13:54:22 j-bot(99*99 13:54:32 j-bot( 99*99 13:54:38 j-bot[ 99*99 13:54:38 wib_jonas: 9801 13:55:43 [ 1+I.6 13:55:44 Joao003: 1 1 1 1 1 1 13:55:54 [ i.1+I.6 13:55:54 Joao003: 0 13:56:02 [ I.1+I.6 13:56:02 Joao003: 0 1 2 3 4 5 13:57:05 [ *#1+I.1+I.6 13:57:05 Joao003: 1 13:57:22 [ *#(1+I.1+I.6) 13:57:22 Joao003: 1 14:38:37 -!- Sgeo has joined. 14:53:44 -!- Joao003 has quit (Quit: Client closed). 15:10:46 [[FuckBrain]] N https://esolangs.org/w/index.php?oldid=103552 * Esolang1 * (+2348) Added new language: FuckBrain 15:23:30 -!- b_jonas has quit (Ping timeout: 265 seconds). 16:21:52 -!- wib_jonas has quit (Quit: Client closed). 16:51:08 -!- SGautam has quit (Quit: Connection closed for inactivity). 17:14:34 [[Esolang:Sandbox]] https://esolangs.org/w/index.php?diff=103553&oldid=102825 * Nick-1666 * (+27) test inlinking 17:38:52 -!- FreeFull has joined. 18:08:16 -!- zzo38 has quit (Ping timeout: 260 seconds). 18:10:19 -!- razetime has quit (Remote host closed the connection). 18:15:40 -!- zzo38 has joined. 18:54:41 -!- Lord_of_Life_ has joined. 18:56:10 -!- Lord_of_Life has quit (Ping timeout: 265 seconds). 18:56:15 -!- __monty__ has quit (Quit: leaving). 18:57:28 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 19:00:08 [[Koyaanisqatsi]] M https://esolangs.org/w/index.php?diff=103554&oldid=103510 * Alikberov * (+1955) /* Few details about Instructions Encoding */ 19:15:52 -!- SGautam has joined. 20:18:23 [[!brainfuck]] N https://esolangs.org/w/index.php?oldid=103555 * Nick-1666 * (+3226) Author !brainfuck 20:19:45 [[!brainfuck]] M https://esolangs.org/w/index.php?diff=103556&oldid=103555 * Nick-1666 * (+0) Link fix 21:06:01 [[Cry]] M https://esolangs.org/w/index.php?diff=103557&oldid=53619 * PythonshellDebugwindow * (+63) Stub, categories 22:00:42 -!- silky has joined. 22:47:44 -!- Noisytoot_ has joined. 22:47:57 -!- Noisytoot has quit (Read error: Connection reset by peer). 22:56:37 [[Language list]] M https://esolangs.org/w/index.php?diff=103558&oldid=103534 * Esolang1 * (+16) added language: FuckBrain 23:00:53 [[FuckBrain]] M https://esolangs.org/w/index.php?diff=103559&oldid=103552 * Esolang1 * (+31) Added: categories 23:01:19 [[FuckBrain]] M https://esolangs.org/w/index.php?diff=103560&oldid=103559 * Esolang1 * (+0) Fixed typo: Categories 23:07:58 -!- Noisytoot_ has quit (Read error: Connection reset by peer). 23:11:18 -!- Noisytoot has joined. 23:26:25 -!- b_jonas has joined. 23:29:49 [[FuckBrain]] M https://esolangs.org/w/index.php?diff=103561&oldid=103560 * PythonshellDebugwindow * (+4) Fix typos, add link 23:31:08 -!- SGautam has quit (Quit: Connection closed for inactivity). 23:34:24 -!- bgs has joined. 23:58:17 [[Special:Log/newusers]] create * Ninesquared81 * New user account