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 [[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 [[Onechar]] https://esolangs.org/w/index.php?diff=148653&oldid=148652 * Cycwin * (+349) 02:44:42 -!- craigo has joined. 02:47:00 [[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 [[Onechar]] M https://esolangs.org/w/index.php?diff=148655&oldid=148653 * Cycwin * (+0) 03:07:58 [[Onechar]] https://esolangs.org/w/index.php?diff=148656&oldid=148655 * Cycwin * (-7) 03:26:51 [[User:YufangTSTSU/sandbox]] https://esolangs.org/w/index.php?diff=148657&oldid=148654 * YufangTSTSU * (+1416) 03:32:30 [[User:YufangTSTSU/sandbox]] https://esolangs.org/w/index.php?diff=148658&oldid=148657 * YufangTSTSU * (+211) 03:39:27 [[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 [[Onechar]] https://esolangs.org/w/index.php?diff=148660&oldid=148656 * Cycwin * (+27) /* Some simple programs(?) */ 04:49:30 [[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 [[Onechar]] https://esolangs.org/w/index.php?diff=148662&oldid=148660 * Cycwin * (+43) /* The interpreter of Onechar */ 04:52:11 [[Onechar]] https://esolangs.org/w/index.php?diff=148663&oldid=148662 * Cycwin * (+49) /* Some simple programs(?) */ 04:55:20 [[Albequerque challenge]] N https://esolangs.org/w/index.php?oldid=148664 * Aadenboy * (+35) typo 04:57:59 [[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 [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148666&oldid=148337 * PrySigneToFry * (+118) 05:02:13 [[User:PrySigneToFry]] M https://esolangs.org/w/index.php?diff=148667&oldid=148666 * PrySigneToFry * (-1) 05:02:20 [[^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 [[^p]] https://esolangs.org/w/index.php?diff=148669&oldid=148668 * ZCX islptng * (+64) 06:41:12 [[Pyline]] https://esolangs.org/w/index.php?diff=148670&oldid=148659 * Jan jelo * (+57) /* Idioms */ 06:43:49 [[Onechar]] M https://esolangs.org/w/index.php?diff=148671&oldid=148663 * UrnEn * (+16) /* Some simple programs(?) */ 06:54:43 [[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 [[Onechar]] M https://esolangs.org/w/index.php?diff=148673&oldid=148671 * UrnEn * (+4) 06:59:05 [[User talk:Ractangle]] https://esolangs.org/w/index.php?diff=148674&oldid=148672 * Ractangle * (+12) /* I kinda miss that one theme */ 07:05:18 [[User:Emelang]] https://esolangs.org/w/index.php?diff=148675&oldid=148012 * Emelang * (+48) added my sandbox 07:14:39 [[User:PrySigneToFry]] https://esolangs.org/w/index.php?diff=148676&oldid=148667 * PrySigneToFry * (+68) 07:18:16 [[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 [[Pyline]] https://esolangs.org/w/index.php?diff=148678&oldid=148670 * YufangTSTSU * (+340) i think we shall stop 07:39:12 [[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 [[User:ZCX islptng]] https://esolangs.org/w/index.php?diff=148680&oldid=147666 * ZCX islptng * (+52) 07:44:10 [[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 [[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 [[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 [[Pyline]] https://esolangs.org/w/index.php?diff=148684&oldid=148678 * Jan jelo * (+3) /* debug */ 08:11:37 [[Pyline]] https://esolangs.org/w/index.php?diff=148685&oldid=148684 * Jan jelo * (-4) /* Brainfuck interpreter */ 09:04:31 [[WhatLang]] M https://esolangs.org/w/index.php?diff=148686&oldid=148172 * UrnEn * (+467) /* Example programs */ 09:20:52 [[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:47 Hi 10:43:48 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 [[User:OsmineYT]] M https://esolangs.org/w/index.php?diff=148688&oldid=107696 * OsmineYT * (-9) 13:13:39 [[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 [[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 [[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 [[Hello++]] https://esolangs.org/w/index.php?diff=148692&oldid=139719 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+17) 16:06:42 [[Pyline]] https://esolangs.org/w/index.php?diff=148693&oldid=148685 * Jan jelo * (+2445) /* Quine */ 16:07:00 [[Pyline]] https://esolangs.org/w/index.php?diff=148694&oldid=148693 * Jan jelo * (+4) /* Quine */ 16:17:56 [[Hello++++]] https://esolangs.org/w/index.php?diff=148695&oldid=143646 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+100) /* Interpreters */ 16:25:13 -!- tromp has joined. 16:26:46 [[Talk:Befunge/index.php]] https://esolangs.org/w/index.php?diff=148696&oldid=115000 * Win7HE * (+69) 16:50:09 [[DO]] https://esolangs.org/w/index.php?diff=148697&oldid=133815 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+22) /* Commands */ 16:50:17 [[DO]] https://esolangs.org/w/index.php?diff=148698&oldid=148697 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+0) /* Truth-machine */ 16:53:23 [[DO]] https://esolangs.org/w/index.php?diff=148699&oldid=148698 * Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff * (+192) /* crash */ 17:01:36 [[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 ...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 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 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 just want to make that sure at first 19:18:04 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:20:19 no, you need to fold XOR 19:26:04 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:00 ok 19:29:15 -!- zenmov has joined. 19:30:12 ...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 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 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 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 [[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.