00:45:14 -!- companion_cube has joined.
00:45:16 <companion_cube> o/
00:45:22 <imode> o/
00:45:27 <companion_cube> I'm told there are people here who implement SMT solvers? :)
00:45:30 <imode> companion_cube here wants to know if y'all are into SMT solvers.
00:46:11 <companion_cube> cause ##smt is dead AF and I want people to talk to :p
01:05:29 <esolangs> [[Nop]]  https://esolangs.org/w/index.php?diff=101435&oldid=76188 * Esolanger12345 * (+34) 
01:57:58 -!- lagash has quit (Ping timeout: 240 seconds).
02:04:24 -!- lagash has joined.
05:34:59 <esolangs> [[C@/Lol.js]] N https://esolangs.org/w/index.php?oldid=101436 * Esolanger12345 * (+18) Created page with "location.reload(1)"
06:28:12 -!- tromp has joined.
06:55:05 -!- chiselfuse has quit (Read error: Connection reset by peer).
06:55:24 -!- chiselfuse has joined.
07:16:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:57:47 -!- FreeFull has joined.
09:31:15 <esolangs> [[Galveston]] M https://esolangs.org/w/index.php?diff=101437&oldid=97515 * Salpynx * (-1) /* UTF */ fix code tag
10:30:55 -!- tech_exorcist has joined.
10:41:47 -!- Sgeo has quit (Read error: Connection reset by peer).
11:04:09 -!- tech_exorcist has quit (Quit: brb).
11:29:23 -!- tech_exorcist has joined.
11:34:11 -!- tech_exorcist has quit (Client Quit).
12:14:00 <esolangs> [[Brainfuck code generation]] M https://esolangs.org/w/index.php?diff=101438&oldid=80600 * Palaiologos * (-4) update deadlink
12:35:36 <esolangs> [[Weeeeeeeeeeeeeeeeeeeeeeeeeeeeee]]  https://esolangs.org/w/index.php?diff=101439&oldid=100149 * Yes * (+107) 
13:08:45 -!- tech_exorcist has joined.
13:11:30 -!- sprout has quit (Ping timeout: 264 seconds).
13:33:40 -!- impomatic has joined.
13:35:47 -!- impomatic has quit (Client Quit).
13:36:07 -!- impomatic has joined.
13:44:36 <impomatic> Is anyone a wiz with groff? I want to get plain ASCII output (not line printer output with e.g. backspaces to overprint to get bold).
13:56:15 -!- impomatic has quit (Quit: impomatic).
13:56:34 -!- impomatic has joined.
14:00:16 -!- sprout has joined.
14:00:46 -!- impomatic has quit (Client Quit).
14:01:08 -!- impomatic has joined.
14:08:41 -!- tromp has joined.
14:12:21 <esolangs> [[Jump in brainfuck pit]] N https://esolangs.org/w/index.php?oldid=101440 * Z Ling * (+84) Created page with "''This article interprete [[Brainfucker++]]'s work way.''     [[Category:Brainfuck]]"
14:14:46 <esolangs> [[Brainfucker++]]  https://esolangs.org/w/index.php?diff=101441&oldid=101361 * Z Ling * (-143) 
14:16:03 <esolangs> [[EsoBASIC]]  https://esolangs.org/w/index.php?diff=101442&oldid=101423 * Nmcassa * (-2) 
14:21:15 -!- impomatic has quit (Quit: impomatic).
14:21:36 -!- impomatic has joined.
14:25:46 -!- impomatic has quit (Client Quit).
14:26:05 -!- impomatic has joined.
14:41:15 -!- impomatic has quit (Quit: impomatic).
14:41:34 -!- impomatic has joined.
14:45:46 -!- impomatic has quit (Client Quit).
14:46:06 -!- impomatic has joined.
15:15:03 -!- tech_exorcist has quit (Remote host closed the connection).
15:16:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
15:16:13 -!- tech_exorcist has joined.
15:22:07 -!- tromp has joined.
15:36:15 -!- impomatic has quit (Quit: impomatic).
15:36:34 -!- impomatic has joined.
15:40:46 -!- impomatic has quit (Client Quit).
15:40:55 <esolangs> [[Bfcompress]] M https://esolangs.org/w/index.php?diff=101443&oldid=101434 * PythonshellDebugwindow * (+24) Category
15:41:08 -!- impomatic has joined.
15:45:07 <esolangs> [[Program Number System]] M https://esolangs.org/w/index.php?diff=101444&oldid=83914 * PythonshellDebugwindow * (+50) /* Interpreter */ Categories
16:06:15 -!- impomatic has quit (Quit: impomatic).
16:06:34 -!- impomatic has joined.
16:10:46 -!- impomatic has quit (Client Quit).
16:11:05 -!- impomatic has joined.
16:34:57 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:46:59 <esolangs> [[Special:Log/newusers]] create  * Tastyl *  New user account
16:47:47 -!- sprout has quit (Ping timeout: 244 seconds).
16:49:20 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=101445&oldid=101425 * Tastyl * (+92) 
16:49:58 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=101446&oldid=101445 * Tastyl * (+77) 
16:50:09 -!- tromp has joined.
17:03:47 -!- sprock has quit (Ping timeout: 245 seconds).
17:11:15 -!- impomatic has quit (Quit: impomatic).
17:11:34 -!- impomatic has joined.
17:11:52 -!- reuwqioreuwiod has joined.
17:12:30 -!- reuwqioreuwiod has left.
17:15:46 -!- impomatic has quit (Client Quit).
17:16:06 -!- impomatic has joined.
17:24:38 <esolangs> [[Twoface]] N https://esolangs.org/w/index.php?oldid=101447 * Tastyl * (+2230) Created page with "'''Twoface''' is an [[esoteric programming language]] created by [[user:Tastyl]]. It's programs are supposed to look like lists of faces.  == Instruction Set == {| class="wiki..."
17:34:04 -!- sprout has joined.
17:42:40 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101448&oldid=101412 * PixelatedStarfish * (+83) /* Proof of Turing Completeness */
17:44:46 -!- sprock has joined.
17:44:48 <esolangs> [[Twoface]]  https://esolangs.org/w/index.php?diff=101449&oldid=101447 * Tastyl * (+545) 
17:45:10 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101450&oldid=101448 * PixelatedStarfish * (-47) /* Proof of Turing Completeness */
17:45:39 <esolangs> [[Twoface]]  https://esolangs.org/w/index.php?diff=101451&oldid=101449 * Tastyl * (+78) 
17:49:27 <esolangs> [[Twoface]]  https://esolangs.org/w/index.php?diff=101452&oldid=101451 * Tastyl * (+116) 
17:51:06 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:56:26 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101453&oldid=101450 * PixelatedStarfish * (+74) /* Proof by Translation to bf */
18:01:26 -!- Lord_of_Life_ has joined.
18:02:21 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
18:02:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:21:15 -!- impomatic has quit (Quit: impomatic).
18:21:34 -!- impomatic has joined.
18:23:31 -!- tromp has joined.
18:30:46 -!- impomatic has quit (Quit: impomatic).
18:31:06 -!- impomatic has joined.
18:32:05 -!- tech_exorcist has quit (Remote host closed the connection).
18:44:13 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101454&oldid=101453 * PixelatedStarfish * (+261) /* Proof of Turing Completeness */
18:45:31 -!- sprock has quit (Ping timeout: 268 seconds).
19:01:15 -!- impomatic has quit (Quit: impomatic).
19:01:34 -!- impomatic has joined.
19:02:55 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101455&oldid=101454 * PixelatedStarfish * (+75) /* Proof of Turing Completeness */
19:05:46 -!- impomatic has quit (Client Quit).
19:06:05 -!- impomatic has joined.
19:09:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:12:46 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101456&oldid=101455 * PixelatedStarfish * (+74) /* Proof by Translation to bf */
19:17:48 -!- Sgeo has joined.
19:19:08 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101457&oldid=101456 * PixelatedStarfish * (+296) /* Proof by Translation to bf */
19:31:27 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101458&oldid=101457 * PixelatedStarfish * (+296) /* Proof by Translation to bf */
19:34:09 -!- tromp has joined.
19:45:24 -!- impomatic has quit (Ping timeout: 276 seconds).
20:07:39 -!- impomatic has joined.
20:16:39 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:25:49 -!- tech_exorcist has joined.
20:40:26 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=101459&oldid=101422 * PythonshellDebugwindow * (+14) /* T */ add
20:41:07 <esolangs> [[Twoface]] M https://esolangs.org/w/index.php?diff=101460&oldid=101452 * PythonshellDebugwindow * (+49) /* External resources */ Categories
20:44:00 -!- tech_exorcist has quit (Quit: see you later or tomorrow).
20:44:37 -!- chiselfuse has quit (Ping timeout: 268 seconds).
20:44:46 -!- tromp has joined.
20:44:55 -!- chiselfuse has joined.
20:55:55 -!- tech_exorcist has joined.
20:57:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:59:37 -!- tromp has joined.
21:22:24 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:23:35 -!- tech_exorcist has quit (Quit: Disconnecting).
21:25:31 -!- sprock has joined.
21:30:15 <int-e> b_jonas: Finally making rockets now.
21:37:51 <esolangs> [[BunnyBell]]  https://esolangs.org/w/index.php?diff=101461&oldid=101458 * PixelatedStarfish * (+148) /* Proof by Translation to bf */
22:34:40 -!- impomatic has quit (Quit: impomatic).
22:35:01 -!- impomatic has joined.
22:39:11 -!- impomatic has quit (Client Quit).
22:39:33 -!- impomatic has joined.
22:46:28 <int-e> Argh, the wire layer doesn't respect the UI settings :-/
23:05:42 <esolangs> [[FlipJump]] M https://esolangs.org/w/index.php?diff=101462&oldid=101405 * Tomhe * (+133) the new wflip-aware pad assembly op
23:07:21 <imode> int-e: weren't you into SMT solvers.
23:07:54 <int-e> Not really, though I know a little about them.
23:08:07 <imode> companion_cube: SEE.
23:08:32 <imode> I know someone in here was working on an SMT solver.
23:08:40 <companion_cube> 👀
23:08:41 <int-e> And still hang out in ##smt even though it's basically inactive.
23:09:02 <int-e> shachaf was closer to working on one
23:10:29 <int-e> I forget... companion_cube, did you actually do research on SAT solvers?
23:13:53 -!- FreeFull has quit.
23:20:06 -!- FreeFull has joined.
23:23:57 <companion_cube> Never published in it, but adjacent, yeah
23:24:11 <companion_cube> Still trying to write my own smt 
23:30:01 -!- impomatic has quit (Quit: impomatic).
23:40:54 -!- chiselfuse has quit (Remote host closed the connection).
23:41:26 -!- chiselfuse has joined.
23:47:52 -!- FreeFull has quit.