00:03:01 -!- mtm has quit (Ping timeout: 248 seconds).
00:05:28 -!- mtm has joined.
00:17:26 -!- __monty__ has quit (Quit: leaving).
01:08:51 -!- craigo has joined.
01:39:10 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
02:09:09 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148652&oldid=148629 * Cycwin * (-27) /* Some simple programs(?) */
02:15:19 -!- craigo has quit (Remote host closed the connection).
02:16:37 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148653&oldid=148652 * Cycwin * (+349)
02:44:42 -!- craigo has joined.
02:47:00 <esolangs> [[User:YufangTSTSU/sandbox]] https://esolangs.org/w/index.php?diff=148654&oldid=126780 * YufangTSTSU * (+337)
03:05:03 -!- op_4 has quit (Remote host closed the connection).
03:05:34 -!- op_4 has joined.
03:06:25 <esolangs> [[Onechar]] M https://esolangs.org/w/index.php?diff=148655&oldid=148653 * Cycwin * (+0)
03:07:58 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148656&oldid=148655 * Cycwin * (-7)
03:26:51 <esolangs> [[User:YufangTSTSU/sandbox]] https://esolangs.org/w/index.php?diff=148657&oldid=148654 * YufangTSTSU * (+1416)
03:32:30 <esolangs> [[User:YufangTSTSU/sandbox]] https://esolangs.org/w/index.php?diff=148658&oldid=148657 * YufangTSTSU * (+211)
03:39:27 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148659&oldid=148646 * YufangTSTSU * (+1344)
04:44:01 -!- fowl9 has joined.
04:44:55 -!- fowl has quit (Read error: Connection reset by peer).
04:44:56 -!- fowl9 has changed nick to fowl.
04:48:59 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148660&oldid=148656 * Cycwin * (+27) /* Some simple programs(?) */
04:49:30 <esolangs> [[User talk:Ractangle]] https://esolangs.org/w/index.php?diff=148661&oldid=147838 * PrySigneToFry * (+1194) /* Criticism to tommyaweosme's collaborative Esolang "Emojic" */ new section
04:50:41 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148662&oldid=148660 * Cycwin * (+43) /* The interpreter of Onechar */
04:52:11 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148663&oldid=148662 * Cycwin * (+49) /* Some simple programs(?) */
04:55:20 <esolangs> [[Albequerque challenge]] N https://esolangs.org/w/index.php?oldid=148664 * Aadenboy * (+35) typo
04:57:59 <esolangs> [[Special:Log/upload]] upload * PrySigneToFry * uploaded "[[File:PrySigneToFry.png]]": This file will only used on the userpage, and may can only appears for 1 time.
05:00:13 <esolangs> [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148666&oldid=148337 * PrySigneToFry * (+118)
05:02:13 <esolangs> [[User:PrySigneToFry]] M https://esolangs.org/w/index.php?diff=148667&oldid=148666 * PrySigneToFry * (-1)
05:02:20 <esolangs> [[^p]] N https://esolangs.org/w/index.php?oldid=148668 * ZCX islptng * (+288) Created page with "Created by islptng. This is just [[6pi-b]] but phi-nary. You must enter Greek letters too. Commands: iota increment delta decrement lambda left rho right omega output eta halt gamma get a number from input alpha while number greater than pointer
05:04:49 <esolangs> [[^p]] https://esolangs.org/w/index.php?diff=148669&oldid=148668 * ZCX islptng * (+64)
06:41:12 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148670&oldid=148659 * Jan jelo * (+57) /* Idioms */
06:43:49 <esolangs> [[Onechar]] M https://esolangs.org/w/index.php?diff=148671&oldid=148663 * UrnEn * (+16) /* Some simple programs(?) */
06:54:43 <esolangs> [[User talk:Ractangle]] https://esolangs.org/w/index.php?diff=148672&oldid=148661 * Ractangle * (-1194) /* Criticism to tommyaweosme's collaborative Esolang "Emojic" */ l + ratio
06:56:56 <esolangs> [[Onechar]] M https://esolangs.org/w/index.php?diff=148673&oldid=148671 * UrnEn * (+4)
06:59:05 <esolangs> [[User talk:Ractangle]] https://esolangs.org/w/index.php?diff=148674&oldid=148672 * Ractangle * (+12) /* I kinda miss that one theme */
07:05:18 <esolangs> [[User:Emelang]] https://esolangs.org/w/index.php?diff=148675&oldid=148012 * Emelang * (+48) added my sandbox
07:14:39 <esolangs> [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148676&oldid=148667 * PrySigneToFry * (+68)
07:18:16 <esolangs> [[User:PrySigneToFry/Sandbox/My Rate to the user that I know]] https://esolangs.org/w/index.php?diff=148677&oldid=145076 * PrySigneToFry * (+42)
07:36:50 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148678&oldid=148670 * YufangTSTSU * (+340) i think we shall stop
07:39:12 <esolangs> [[User:PrySigneToFry/Sandbox/My Rate to the user that I know]] https://esolangs.org/w/index.php?diff=148679&oldid=148677 * ZCX islptng * (+127)
07:41:24 <esolangs> [[User:ZCX islptng]] https://esolangs.org/w/index.php?diff=148680&oldid=147666 * ZCX islptng * (+52)
07:44:10 <esolangs> [[User:ZCX islptng/My rate to the user I know]] N https://esolangs.org/w/index.php?oldid=148681 * ZCX islptng * (+1342) Created page with "Still, inspired by PrySigneToFry. {| class="wikitable" |+ No caption here |- ! Username !! Rate |- | [[User:ZCX islptng]] || 100() |- | [[User:PrySigneToFry]] || 90 |- | [[User:None1]] || |- | [[User:MihaiEso]] || |- | [[User:ai
07:44:22 <esolangs> [[User:ZCX islptng/My rate to the user I know]] https://esolangs.org/w/index.php?diff=148682&oldid=148681 * ZCX islptng * (-44)
07:46:08 <esolangs> [[User:ZCX islptng/My rate to the user I know]] https://esolangs.org/w/index.php?diff=148683&oldid=148682 * ZCX islptng * (+35)
07:52:49 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148684&oldid=148678 * Jan jelo * (+3) /* debug */
08:11:37 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148685&oldid=148684 * Jan jelo * (-4) /* Brainfuck interpreter */
09:04:31 <esolangs> [[WhatLang]] M https://esolangs.org/w/index.php?diff=148686&oldid=148172 * UrnEn * (+467) /* Example programs */
09:20:52 <esolangs> [[Intermediate language]] N https://esolangs.org/w/index.php?oldid=148687 * Keymaker * (+1584) A short page for the intermediate language concept.
09:33:05 -!- craigo has quit (Quit: Leaving).
09:41:24 -!- tromp has joined.
10:02:32 -!- __monty__ has joined.
10:43:48 <APic> Happy 04. Advent! 🎄
11:31:43 -!- amby has joined.
11:54:22 -!- Sgeo has quit (Read error: Connection reset by peer).
12:03:24 -!- mtm has quit (Ping timeout: 265 seconds).
12:06:01 -!- mtm has joined.
13:13:05 <esolangs> [[User:OsmineYT]] M https://esolangs.org/w/index.php?diff=148688&oldid=107696 * OsmineYT * (-9)
13:13:39 <esolangs> [[User:OsmineYT]] https://esolangs.org/w/index.php?diff=148689&oldid=148688 * OsmineYT * (-5) /* Discord */
13:50:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:55:11 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=148690&oldid=148673 * Cycwin * (-5)
14:22:32 -!- zenmov has joined.
15:04:09 -!- tromp has joined.
15:35:12 <esolangs> [[Outinp]] https://esolangs.org/w/index.php?diff=148691&oldid=148362 * Win7HE * (+14)
15:53:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:01:36 <esolangs> [[Hello++]] https://esolangs.org/w/index.php?diff=148692&oldid=139719 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+17)
16:06:42 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148693&oldid=148685 * Jan jelo * (+2445) /* Quine */
16:07:00 <esolangs> [[Pyline]] https://esolangs.org/w/index.php?diff=148694&oldid=148693 * Jan jelo * (+4) /* Quine */
16:17:56 <esolangs> [[Hello++++]] https://esolangs.org/w/index.php?diff=148695&oldid=143646 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+100) /* Interpreters */
16:25:13 -!- tromp has joined.
16:26:46 <esolangs> [[Talk:Befunge/index.php]] https://esolangs.org/w/index.php?diff=148696&oldid=115000 * Win7HE * (+69)
16:50:09 <esolangs> [[DO]] https://esolangs.org/w/index.php?diff=148697&oldid=133815 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+22) /* Commands */
16:50:17 <esolangs> [[DO]] https://esolangs.org/w/index.php?diff=148698&oldid=148697 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+0) /* Truth-machine */
16:53:23 <esolangs> [[DO]] https://esolangs.org/w/index.php?diff=148699&oldid=148698 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+192) /* crash */
17:01:36 <esolangs> [[Ecliptica]] https://esolangs.org/w/index.php?diff=148700&oldid=144698 * Baldibacak * (-4) \n
17:27:48 -!- zenmov has quit (Ping timeout: 272 seconds).
17:36:54 -!- __monty__ has quit (Ping timeout: 265 seconds).
17:46:19 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:47:52 -!- tromp has joined.
18:19:35 -!- Lord_of_Life_ has joined.
18:20:53 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
18:20:56 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
18:36:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:43:47 -!- tromp has joined.
19:12:39 <korvo> ...Well, that didn't last long. I coded up more domains for type-driven synthesis, but all my gene pools are going stale. I guess it's time to precisely implement the paper's hyperparameters, add sliders, and start experimenting.
19:13:44 <korvo> Part of the issue (and she knew this) is that the chosen examples are surprisingly hard. Synthesizing the parity function [2] -> 2 sounds easy, but it's actually very difficult because functions like the constant functions for True and False are relatively fit and pollute the gene pool.
19:15:39 <b_jonas> the parity function can be written in a form that this gene pool thing allows, i.e. you have the required primitives, right?
19:15:46 <b_jonas> just want to make that sure at first
19:18:04 <korvo> I think so. The Cammy expression (fold f (comp conj not)) should do the right thing. NAND is the right way to do the parity fold, I think?
19:26:04 <korvo> Hm. (comp (pair conj (comp disj not)) conj) should work, based on the student's mnemonic, but I don't know if there's a more efficient one in the basis. That's not very long compared to some of the genes that evolved, so it's definitely possible.
19:29:15 -!- zenmov has joined.
19:30:12 <korvo> ...Meh, no, that's wrong, and the obvious fix is wrong too. This is good evidence for one of my stretch goals being useful; I was going to have the system synthesize portable/slow versions of jets based on the native instructions generated by the interpreter's compiler.
19:30:42 <korvo> So that I could just say "XOR", define it as `lambda x, y: x ^ y`, and let Python and GCC tell the synthesizer what the model actually is.
19:37:26 <korvo> b_jonas: Thank you for inspiration. I already gave the system a basis which includes *some* projections and injections, but now I'm going to try to let it build *any* projection or injection.
20:06:20 <korvo> Oh, I had a bug. (fold f (comp (pair disj (comp conj not)) conj)) gives the parity function. So it is not an unreasonably-long target, I suppose.
20:12:24 -!- Sgeo has joined.
20:32:57 -!- zenmov has quit (Ping timeout: 276 seconds).
21:13:55 -!- zenmov has joined.
21:33:12 -!- Everything has joined.
21:33:45 -!- __monty__ has joined.
22:07:41 <esolangs> [[Oenvashpx]] N https://esolangs.org/w/index.php?oldid=148701 * Tommyaweosme * (+242) Created page with "{{lowercase}}oenvashpx is [[brainfuck]] with rot13 (rot4) applied on it == commands == + . - , > [ < ] these subsitutions can also be made in reverse order == ascii loop == .>+.< == cat == ->+-< == print A == ...>[....],<[.>].....[,<]+"
22:23:57 -!- zenmov has quit (Ping timeout: 252 seconds).
23:02:55 -!- Everything has quit (Quit: leaving).
23:32:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:36:33 -!- __monty__ has quit (Quit: leaving).
23:50:49 -!- zenmov has joined.