< 1734825781 166182 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 248 seconds < 1734825928 594803 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User < 1734826646 982752 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1734829731 487812 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname < 1734831550 366926 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net 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 > 1734833349 100771 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148652&oldid=148629 5* 03Cycwin 5* (-27) 10/* Some simple programs(?) */ < 1734833719 99304 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection > 1734833797 66928 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148653&oldid=148652 5* 03Cycwin 5* (+349) 10 < 1734835482 954739 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname > 1734835620 328676 PRIVMSG #esolangs :14[[07User:YufangTSTSU/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148654&oldid=126780 5* 03YufangTSTSU 5* (+337) 10 < 1734836703 958107 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection < 1734836734 71388 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4 > 1734836785 952561 PRIVMSG #esolangs :14[[07Onechar14]]4 M10 02https://esolangs.org/w/index.php?diff=148655&oldid=148653 5* 03Cycwin 5* (+0) 10 > 1734836878 846456 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148656&oldid=148655 5* 03Cycwin 5* (-7) 10 > 1734838011 282797 PRIVMSG #esolangs :14[[07User:YufangTSTSU/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148657&oldid=148654 5* 03YufangTSTSU 5* (+1416) 10 > 1734838350 506452 PRIVMSG #esolangs :14[[07User:YufangTSTSU/sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=148658&oldid=148657 5* 03YufangTSTSU 5* (+211) 10 > 1734838767 12827 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148659&oldid=148646 5* 03YufangTSTSU 5* (+1344) 10 < 1734842641 68555 :fowl9!~fowl@user/fowl JOIN #esolangs fowl :fowl < 1734842695 835821 :fowl!~fowl@user/fowl QUIT :Read error: Connection reset by peer < 1734842696 5310 :fowl9!~fowl@user/fowl NICK :fowl > 1734842939 683501 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148660&oldid=148656 5* 03Cycwin 5* (+27) 10/* Some simple programs(?) */ > 1734842970 120531 PRIVMSG #esolangs :14[[07User talk:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148661&oldid=147838 5* 03PrySigneToFry 5* (+1194) 10/* Criticism to tommyaweosme's collaborative Esolang "Emojic" */ new section > 1734843041 882959 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148662&oldid=148660 5* 03Cycwin 5* (+43) 10/* The interpreter of Onechar */ > 1734843131 932915 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148663&oldid=148662 5* 03Cycwin 5* (+49) 10/* Some simple programs(?) */ > 1734843320 233079 PRIVMSG #esolangs :14[[07Albequerque challenge14]]4 N10 02https://esolangs.org/w/index.php?oldid=148664 5* 03Aadenboy 5* (+35) 10typo > 1734843479 697664 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03PrySigneToFry 5* 10uploaded "[[02File:PrySigneToFry.png10]]": This file will only used on the userpage, and may can only appears for 1 time. > 1734843613 72568 PRIVMSG #esolangs :14[[07User:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=148666&oldid=148337 5* 03PrySigneToFry 5* (+118) 10 > 1734843733 564151 PRIVMSG #esolangs :14[[07User:PrySigneToFry14]]4 M10 02https://esolangs.org/w/index.php?diff=148667&oldid=148666 5* 03PrySigneToFry 5* (-1) 10 > 1734843740 179662 PRIVMSG #esolangs :14[[07^p14]]4 N10 02https://esolangs.org/w/index.php?oldid=148668 5* 03ZCX islptng 5* (+288) 10Created 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 > 1734843889 461365 PRIVMSG #esolangs :14[[07^p14]]4 10 02https://esolangs.org/w/index.php?diff=148669&oldid=148668 5* 03ZCX islptng 5* (+64) 10 > 1734849672 86104 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148670&oldid=148659 5* 03Jan jelo 5* (+57) 10/* Idioms */ > 1734849829 722458 PRIVMSG #esolangs :14[[07Onechar14]]4 M10 02https://esolangs.org/w/index.php?diff=148671&oldid=148663 5* 03UrnEn 5* (+16) 10/* Some simple programs(?) */ > 1734850483 742365 PRIVMSG #esolangs :14[[07User talk:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148672&oldid=148661 5* 03Ractangle 5* (-1194) 10/* Criticism to tommyaweosme's collaborative Esolang "Emojic" */ l + ratio > 1734850616 634333 PRIVMSG #esolangs :14[[07Onechar14]]4 M10 02https://esolangs.org/w/index.php?diff=148673&oldid=148671 5* 03UrnEn 5* (+4) 10 > 1734850745 163244 PRIVMSG #esolangs :14[[07User talk:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=148674&oldid=148672 5* 03Ractangle 5* (+12) 10/* I kinda miss that one theme */ > 1734851118 517765 PRIVMSG #esolangs :14[[07User:Emelang14]]4 10 02https://esolangs.org/w/index.php?diff=148675&oldid=148012 5* 03Emelang 5* (+48) 10added my sandbox > 1734851679 882427 PRIVMSG #esolangs :14[[07User:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=148676&oldid=148667 5* 03PrySigneToFry 5* (+68) 10 > 1734851896 447399 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Sandbox/My Rate to the user that I know14]]4 10 02https://esolangs.org/w/index.php?diff=148677&oldid=145076 5* 03PrySigneToFry 5* (+42) 10 > 1734853010 893432 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148678&oldid=148670 5* 03YufangTSTSU 5* (+340) 10i think we shall stop > 1734853152 578043 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Sandbox/My Rate to the user that I know14]]4 10 02https://esolangs.org/w/index.php?diff=148679&oldid=148677 5* 03ZCX islptng 5* (+127) 10 > 1734853284 808198 PRIVMSG #esolangs :14[[07User:ZCX islptng14]]4 10 02https://esolangs.org/w/index.php?diff=148680&oldid=147666 5* 03ZCX islptng 5* (+52) 10 > 1734853450 631424 PRIVMSG #esolangs :14[[07User:ZCX islptng/My rate to the user I know14]]4 N10 02https://esolangs.org/w/index.php?oldid=148681 5* 03ZCX islptng 5* (+1342) 10Created 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 > 1734853462 438213 PRIVMSG #esolangs :14[[07User:ZCX islptng/My rate to the user I know14]]4 10 02https://esolangs.org/w/index.php?diff=148682&oldid=148681 5* 03ZCX islptng 5* (-44) 10 > 1734853568 96807 PRIVMSG #esolangs :14[[07User:ZCX islptng/My rate to the user I know14]]4 10 02https://esolangs.org/w/index.php?diff=148683&oldid=148682 5* 03ZCX islptng 5* (+35) 10 > 1734853969 200976 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148684&oldid=148678 5* 03Jan jelo 5* (+3) 10/* debug */ > 1734855097 963049 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148685&oldid=148684 5* 03Jan jelo 5* (-4) 10/* Brainfuck interpreter */ > 1734858271 778482 PRIVMSG #esolangs :14[[07WhatLang14]]4 M10 02https://esolangs.org/w/index.php?diff=148686&oldid=148172 5* 03UrnEn 5* (+467) 10/* Example programs */ > 1734859252 768724 PRIVMSG #esolangs :14[[07Intermediate language14]]4 N10 02https://esolangs.org/w/index.php?oldid=148687 5* 03Keymaker 5* (+1584) 10A short page for the intermediate language concept. < 1734859985 658880 :craigo!~craigo@user/craigo QUIT :Quit: Leaving < 1734860484 956196 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1734861752 61630 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1734864227 172712 :APic!apic@apic.name PRIVMSG #esolangs :Hi < 1734864228 440415 :APic!apic@apic.name PRIVMSG #esolangs :Happy 04. Advent! 🎄 < 1734867103 8881 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname < 1734868462 940572 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1734869004 68755 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 265 seconds < 1734869161 129767 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User > 1734873185 852252 PRIVMSG #esolangs :14[[07User:OsmineYT14]]4 M10 02https://esolangs.org/w/index.php?diff=148688&oldid=107696 5* 03OsmineYT 5* (-9) 10 > 1734873219 255509 PRIVMSG #esolangs :14[[07User:OsmineYT14]]4 10 02https://esolangs.org/w/index.php?diff=148689&oldid=148688 5* 03OsmineYT 5* (-5) 10/* Discord */ < 1734875441 583997 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1734875711 946186 PRIVMSG #esolangs :14[[07Onechar14]]4 10 02https://esolangs.org/w/index.php?diff=148690&oldid=148673 5* 03Cycwin 5* (-5) 10 < 1734877352 910153 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov < 1734879849 863204 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1734881712 805543 PRIVMSG #esolangs :14[[07Outinp14]]4 10 02https://esolangs.org/w/index.php?diff=148691&oldid=148362 5* 03Win7HE 5* (+14) 10 < 1734882783 447427 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1734883296 991782 PRIVMSG #esolangs :14[[07Hello++14]]4 10 02https://esolangs.org/w/index.php?diff=148692&oldid=139719 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+17) 10 > 1734883602 350812 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148693&oldid=148685 5* 03Jan jelo 5* (+2445) 10/* Quine */ > 1734883620 128054 PRIVMSG #esolangs :14[[07Pyline14]]4 10 02https://esolangs.org/w/index.php?diff=148694&oldid=148693 5* 03Jan jelo 5* (+4) 10/* Quine */ > 1734884276 421023 PRIVMSG #esolangs :14[[07Hello++++14]]4 10 02https://esolangs.org/w/index.php?diff=148695&oldid=143646 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+100) 10/* Interpreters */ < 1734884713 157049 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1734884806 262590 PRIVMSG #esolangs :14[[07Talk:Befunge/index.php14]]4 10 02https://esolangs.org/w/index.php?diff=148696&oldid=115000 5* 03Win7HE 5* (+69) 10 > 1734886209 166899 PRIVMSG #esolangs :14[[07DO14]]4 10 02https://esolangs.org/w/index.php?diff=148697&oldid=133815 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+22) 10/* Commands */ > 1734886217 438114 PRIVMSG #esolangs :14[[07DO14]]4 10 02https://esolangs.org/w/index.php?diff=148698&oldid=148697 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+0) 10/* Truth-machine */ > 1734886403 628341 PRIVMSG #esolangs :14[[07DO14]]4 10 02https://esolangs.org/w/index.php?diff=148699&oldid=148698 5* 03Fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 5* (+192) 10/* crash */ > 1734886896 792335 PRIVMSG #esolangs :14[[07Ecliptica14]]4 10 02https://esolangs.org/w/index.php?diff=148700&oldid=144698 5* 03Baldibacak 5* (-4) 10\n < 1734888468 903871 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 272 seconds < 1734889014 39307 :__monty__!~toonn@user/toonn QUIT :Ping timeout: 265 seconds < 1734889579 420689 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1734889672 234463 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1734891575 212351 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1734891653 58973 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds < 1734891656 429122 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life < 1734892601 579570 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1734893027 50856 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1734894759 696892 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...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. < 1734894824 324124 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1734894939 308602 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the parity function can be written in a form that this gene pool thing allows, i.e. you have the required primitives, right? < 1734894946 892721 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :just want to make that sure at first < 1734895084 76466 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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? < 1734895219 830483 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :no, you need to fold XOR < 1734895564 855824 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1734895740 384717 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ok < 1734895755 491160 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov < 1734895812 388682 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :...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. < 1734895842 379633 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1734896246 134878 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1734897980 465174 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :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. < 1734898344 536444 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1734899577 447092 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 276 seconds < 1734902035 212176 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov < 1734903192 269887 :Everything!~Everythin@195.138.86.118 JOIN #esolangs Everything :Everything < 1734903225 903112 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown > 1734905261 410527 PRIVMSG #esolangs :14[[07Oenvashpx14]]4 N10 02https://esolangs.org/w/index.php?oldid=148701 5* 03Tommyaweosme 5* (+242) 10Created 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 == ...>[....],<[.>].....[,<]+" < 1734906237 200649 :zenmov!~zenmov@user/zenmov QUIT :Ping timeout: 252 seconds < 1734908575 908995 :Everything!~Everythin@195.138.86.118 QUIT :Quit: leaving < 1734910351 568116 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1734910593 86474 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1734911449 442396 :zenmov!~zenmov@user/zenmov JOIN #esolangs zenmov :zenmov