00:02:23 <shachaf> I like how you have to explicitly specify "QF" in these SMT things, and the default is having quantifiers.
00:03:36 <zzo38> I looked, and I don't know what command to specify if the result can be close without being quite right
00:10:43 <shachaf> You can specify inequality constraint, right?
00:10:51 <shachaf> Maybe I'm misunderstanding what you want to do.
00:11:03 -!- FreeFull has quit.
03:08:08 <zzo38> 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 <esolangs> [[NoComment]] https://esolangs.org/w/index.php?diff=103548&oldid=81722 * CaptainFoxtrot * (+22) /* Hello World! */
04:23:49 <esolangs> [[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 <esolangs> [[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 <b_jonas> 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 <Joao003> why is this channel so quiet?
11:50:46 -!- tromp has quit (Read error: Connection reset by peer).
11:58:15 <esolangs> [[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:57 <wib_jonas> 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:58 <Joao003> didnt pick 3 because telepathy doesn't exist
13:29:00 <fungot> wib_jonas: try proceeding from the interrupt.') it is perfectly good enough, with syntactic closures
13:29:26 <wib_jonas> perlbot 8-ball is esolang too quiet?
13:29:27 <perlbot> wib_jonas: Stored 8-ball is esolang too quiet?
13:29:52 <perlbot> 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> wib_jonas: Forgot #esolangs 8-ball
13:31:06 <wib_jonas> perlbot 8-ball do you suppose esolang is too quiet?
13:31:06 <perlbot> wib_jonas: Stored 8-ball do you suppose esolang is too quiet?
13:31:29 <wib_jonas> perlbot call 8-ball is esolang too quiet?
13:31:30 <perlbot> 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 <wib_jonas> perlbot forget #esolangs do you suppose esolang
13:31:41 <perlbot> wib_jonas: Forgot #esolangs do you suppose esolang
13:31:58 <wib_jonas> perlbot call 8-ball is esolang too quiet?
13:31:58 <perlbot> 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 <wib_jonas> perlbot fact call 8-ball is esolang too quiet?
13:32:04 <perlbot> wib_jonas: Stored call 8-ball is esolang too quiet?
13:32:20 <wib_jonas> perlbot forget #esolangs call 8-ball
13:32:21 <perlbot> wib_jonas: Forgot #esolangs call 8-ball
13:32:29 <perlbot> wib_jonas: esolang too quiet?
13:32:37 <perlbot> wib_jonas: Forgot #esolangs 8-ball
13:32:45 <perlbot> wib_jonas: esolang too quiet?
13:32:55 <perlbot> wib_jonas: No factoid found. Did you mean one of these: [pbstore] [chaos theory] [istr] [distar] [istrue] [hosting] [hunter2] [listref] [hashsort] [hatetris]
13:47:07 <HackEso> dir(1) - list directory contents \ DIR(7glibc) - Opening a Directory \ dir(8jevalbot) - show the name of all persistent sessions
13:48:39 <wib_jonas> useful for some quick vector calculations
13:53:34 <j-bot> Joao003: 0 0 0 0 0 0
13:55:44 <j-bot> Joao003: 1 1 1 1 1 1
13:56:02 <j-bot> Joao003: 0 1 2 3 4 5
14:38:37 -!- Sgeo has joined.
14:53:44 -!- Joao003 has quit (Quit: Client closed).
15:10:46 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[!brainfuck]] N https://esolangs.org/w/index.php?oldid=103555 * Nick-1666 * (+3226) Author !brainfuck
20:19:45 <esolangs> [[!brainfuck]] M https://esolangs.org/w/index.php?diff=103556&oldid=103555 * Nick-1666 * (+0) Link fix
21:06:01 <esolangs> [[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 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=103558&oldid=103534 * Esolang1 * (+16) added language: FuckBrain
23:00:53 <esolangs> [[FuckBrain]] M https://esolangs.org/w/index.php?diff=103559&oldid=103552 * Esolang1 * (+31) Added: categories
23:01:19 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Special:Log/newusers]] create * Ninesquared81 * New user account