00:03:53 <shachaf> Aha. At least Yices2 seems to do that exactly.
00:49:33 -!- Arcorann has quit (Quit: Leaving).
00:51:28 -!- Arcorann has joined.
01:54:38 -!- Bowserinator_ has changed nick to Bowserinator.
03:25:23 <HackEso> ᛁᚿ//ᛁᚿ ᛋᚿᛅᚠᚠᛚᛚᛋ ᛁᚮᚴᚢᛚᛁᛋ ᚴᛦᛆᛏᛅᛦᛅᛘ ᚴᛅᛘ ᚦᛅᛚᛁᛒᛆᛏ ᚢᛘᛒᛦᛆ ᛋᚴᛆᛦᛏᛆᛦᛁᛋ ᛁᚢᛚᛁᛁ ᛁᚿᛏᛦᛆ ᚴᛆᛚᛅᚿᚦᛆᛋ ᚦᛅᛋᚴᛅᚿᚦᛅ, ᛆᚢᚦᛆᛋ ᚢᛁᛆᛏᚮᛦ, ᛏᛅ ᛏᛅᛦᛦᛅᛋᛏᛦᛅ ᚴᛅᚿᛏᛦᚢᛘ ᛆᛏᛏᛁᚿgᛅᛋ. ᚴᚮᚦ ᚠᛅᚴᛁ. ᛆᛦᚿᛅ ᛋᛆᚴᚿᚢᛋᛋᛅᛯ
03:25:27 <HackEso> 961) <kmc> i don't know what that is so i'm going to assume it's a flavor of pocky
03:25:52 <HackEso> https://hack.esolangs.org/repo/log/tip/wisdom/%20%E1%9B%81%E1%9A%BF
03:33:28 <HackEso> gazpacho//You like Gazpacho and I like Gaspacho. Let's call the whole thing off!
03:44:32 -!- Arcorann_ has joined.
03:48:19 -!- Arcorann has quit (Ping timeout: 260 seconds).
04:22:29 <esowiki> [[1+/Programs]] https://esolangs.org/w/index.php?diff=77273&oldid=77260 * TwilightSparkle * (+113)
04:23:08 <esowiki> [[1+/Programs]] https://esolangs.org/w/index.php?diff=77274&oldid=77273 * TwilightSparkle * (-1) /* Others */
04:42:02 -!- adu has joined.
04:55:15 -!- Lord_of_Life_ has joined.
04:55:24 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
04:56:35 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
06:31:58 <kmc> fizzie: do many National Rail stations have a platform 0?
06:35:28 <zzo38> Are you good at runes?
06:39:12 <esowiki> [[///]] M https://esolangs.org/w/index.php?diff=77275&oldid=77246 * YamTokTpaFa * (+0) /* Other implementations */ typo
06:55:44 <esowiki> [[Datums]] N https://esolangs.org/w/index.php?oldid=77276 * BlueOkiris * (+5497) A data-oriented esoteric programming language with (basically) only 3 commands created by Dylan Turner aka BlueOkiris
06:57:26 <esowiki> [[User:BlueOkiris]] https://esolangs.org/w/index.php?diff=77277&oldid=49885 * BlueOkiris * (-26)
06:57:54 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77278&oldid=77200 * BlueOkiris * (+13) /* D */
07:12:39 -!- adu has quit (Quit: adu).
08:08:11 -!- rain1 has quit (Read error: Connection reset by peer).
08:09:16 -!- rain1 has joined.
08:09:51 -!- hendursaga has joined.
08:11:43 -!- hendursa1 has quit (Ping timeout: 240 seconds).
08:38:44 -!- imode has quit (Ping timeout: 256 seconds).
09:12:05 -!- diverger has quit (Ping timeout: 240 seconds).
09:12:16 -!- divergence has joined.
09:24:46 -!- arseniiv has joined.
09:38:13 -!- Sgeo has quit (Read error: Connection reset by peer).
09:52:51 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77279&oldid=77269 * Zero * (+36)
09:53:23 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77280&oldid=77279 * Zero * (+2)
09:54:00 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77281&oldid=77280 * Zero * (+0)
10:26:01 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77282&oldid=77281 * Zero * (+871)
10:26:07 -!- iovoid has quit (*.net *.split).
10:27:36 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77283&oldid=77282 * Zero * (+0)
10:28:42 -!- LKoen has joined.
10:32:27 -!- iovoid has joined.
11:26:50 -!- 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.”).
11:34:59 <esowiki> [[!@$%^&*()+]] M https://esolangs.org/w/index.php?diff=77284&oldid=76910 * SunnyMoon * (+0) I realized that most Hello World programs print "Hello, World!" rather than "Hello, world!"
11:36:00 <esowiki> [[,,,]] M https://esolangs.org/w/index.php?diff=77285&oldid=77254 * SunnyMoon * (+0) "Hello, World!", not "Hello, world!".
12:14:39 -!- arseniiv has quit (Ping timeout: 260 seconds).
12:20:35 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77286&oldid=77283 * Zero * (+1399)
12:32:24 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77287&oldid=77286 * Zero * (+830)
12:34:39 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77288&oldid=77287 * Zero * (+18)
12:52:38 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77289&oldid=77288 * Zero * (+603)
12:57:18 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77290&oldid=77289 * Zero * (+390)
13:06:31 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77291&oldid=77290 * Zero * (-22)
13:11:16 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77292&oldid=77291 * Zero * (+109)
13:13:16 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77293&oldid=77292 * Zero * (+28)
13:16:46 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77294&oldid=77293 * Zero * (-1)
13:21:27 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77295&oldid=77294 * Zero * (+322)
13:22:02 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77296&oldid=77295 * Zero * (-2)
13:22:28 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77297&oldid=77296 * Zero * (-44)
13:24:23 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77298&oldid=77297 * Zero * (+6)
13:30:32 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77299&oldid=77298 * Zero * (+283)
13:36:03 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77300&oldid=77299 * Zero * (-307)
13:46:04 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77301&oldid=77300 * Zero * (-284)
13:56:25 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77302&oldid=77301 * Zero * (+208)
14:03:10 -!- FreeFull has joined.
14:09:47 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77303&oldid=77302 * Zero * (-4433)
14:10:04 <esowiki> [[Talk:ByteByteFork]] N https://esolangs.org/w/index.php?oldid=77304 * Zero * (+4397) Created page with "== Possible evolution == Where to go from there? ===== Infinite memory ===== If we're going to make it look like The Matrix, the memory should be "conceptually" infinite..."
14:21:26 <esowiki> [[Talk:ByteByteFork]] https://esolangs.org/w/index.php?diff=77305&oldid=77304 * Zero * (+104)
14:23:15 <fizzie> kmc: I think there's about 10 of them around. I don't think any of them have started with a platform 0, they've all just added a platform and wanted to avoid renumbering. No-one's gone to -1 yet.
14:25:37 <fizzie> My primary source on platform-zero-ology has been https://www.youtube.com/watch?v=TTHOyTypNs8 though I knew about the King's Cross one before.
14:45:44 <Arcorann_> https://en.wikipedia.org/wiki/Platform_0 <-- Wikipedia for reference
14:48:08 -!- hendursaga has quit (Quit: hendursaga).
14:48:26 -!- hendursaga has joined.
14:50:08 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77306&oldid=77303 * Zero * (+8)
14:56:06 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77307&oldid=77306 * Zero * (+262)
15:16:11 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77308&oldid=77307 * Zero * (+26)
15:46:04 -!- Frater_EST has joined.
16:11:22 <esowiki> [[ByteByteFork]] https://esolangs.org/w/index.php?diff=77309&oldid=77308 * Zero * (+99)
16:55:22 -!- Lord_of_Life_ has joined.
16:57:10 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
16:57:10 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
16:59:31 -!- Arcorann_ has quit (Read error: Connection reset by peer).
17:06:23 -!- imode has joined.
17:26:06 -!- arseniiv has joined.
17:39:47 -!- FireFly has changed nick to Luciole.
17:52:29 -!- Sgeo has joined.
18:21:47 <esowiki> [[Datums]] https://esolangs.org/w/index.php?diff=77310&oldid=77276 * BlueOkiris * (+491) /* Datums */
18:22:20 -!- atslash has quit (Read error: Connection reset by peer).
18:22:52 -!- atslash has joined.
18:24:58 -!- Frater_EST has quit (Read error: Connection reset by peer).
18:26:16 -!- Frater_EST has joined.
18:46:57 <esowiki> [[05AB1E]] N https://esolangs.org/w/index.php?oldid=77311 * SunnyMoon * (+4084) I think everyone was waiting for this page!
18:48:20 <esowiki> [[User talk:SunnyMoon]] https://esolangs.org/w/index.php?diff=77312&oldid=77271 * SunnyMoon * (+113) Breaking news!
18:50:38 <imode> doing some interesting work in compiling string rewriting rules down to C, and later down to assembly in the hopes of writing a JITed interpreter.
18:55:40 <imode> hard to give the compiler something useful to chew on. forming a trie and then generating a giant nested switch/case.
18:58:16 <esowiki> [[Anyfix]] https://esolangs.org/w/index.php?diff=77313&oldid=77182 * SunnyMoon * (-35) Page has been created!
18:59:13 <esowiki> [[Anyfix]] https://esolangs.org/w/index.php?diff=77314&oldid=77313 * SunnyMoon * (-38) Jelly is already in this wiki too!
19:00:36 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77315&oldid=77278 * SunnyMoon * (+13) 05AB1E!
19:18:59 <rain1> that sounds peval-able in some ways
19:20:03 <b_jonas> imode: have you looked at https://snowballstem.org/algorithms/ ? that compiles string transformation rules to C
19:21:22 <imode> that's neat though, I need to give that a full read.
19:22:20 <imode> one of the things I want to do initially is write a brainfuck-to-rewrite-rules compiler. got the tape up and running (that can be dynamically resized). comparing with the tritium BF interpreter it's slower, but not _that_ much slower.
19:24:25 <imode> https://hastebin.com/lefogitefo.txt
19:25:20 <imode> the fact that tritium does JITing and optimizations whereas I'm using Go, treat tokens as fat multi-symbol strings and use a trie for rule matching makes me confused as to how they're even comparable.
19:30:06 <imode> a set of useful optimizations would be to 1. use symbolic integer tokens instead of strings, 2. make better use of built-ins (you can see `seek`, which just speeds up the rewriting process by removing the need to find the active rewriting site), 3. compile the trie down to some actual machine code that gives you back the required "yes this matched, here's the RHS" result.
19:30:30 <imode> then it'd be stupid fast. my goal is using it as a compiler target.
20:00:03 -!- jibade__ has joined.
20:09:36 -!- jibade__ has quit (Ping timeout: 258 seconds).
20:27:45 -!- FreeFull has quit.
22:41:32 -!- aaaaaa has joined.
23:10:54 -!- arseniiv has quit (Ping timeout: 260 seconds).
23:11:28 -!- Arcorann_ has joined.
23:11:29 -!- Arcorann_ has quit (Remote host closed the connection).
23:11:53 -!- Arcorann_ has joined.