< 1720569749 695843 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds
< 1720569752 168168 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720569947 623247 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs * :Textual User
< 1720570670 342475 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Remote host closed the connection
< 1720570861 666770 :Everything!~Everythin@37.115.212.219 JOIN #esolangs Everything :Everything
< 1720570867 399944 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720571154 928750 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Remote host closed the connection
< 1720571236 426789 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
> 1720572694 978959 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=132726&oldid=132721 5* 03Tommyaweosme 5* (+21) 10
< 1720573011 132626 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I know about one's complement and two's complement. But is there a term for every word of memory having a special dedicated sign bit?
< 1720573046 70706 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :On a related note, General Mills, the cereal company, designed a computer. NASA used a computer designed by General Mills, the cereal company. https://bitsavers.org/pdf/generalMills/GeneralMillsComputerBrochure_1961.pdf
< 1720573227 612780 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :The CPU's instruction set is intended to be easily modified
< 1720573421 831843 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://ed-thelen.org/comp-hist/BRL61-g.html#GENERAL-MILLS-AD/ECS
< 1720573516 381278 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Sgeo: yes, sign-magnitude. Some older computers use that.
< 1720573775 688520 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :These were old computers where the RAM and CPU ran at slow speeds and the CPU was very simple so it could execute even simple instructions very slowly, but had dedicated hardware for multiplication and possibly division, because then you need fewer instructions to do double or triple width multiplication, and they were used for numerical computations where that came up often. The drawback is that you're
< 1720573781 695446 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wasting one bit in every word except the highest one in a double or triple width number.
< 1720573814 253536 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :But it's also possible that it didn't make sense even back then but the designers didn't realize that. I don't know.
< 1720573886 792433 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Quit: ZNC 1.8.2 - https://znc.in
< 1720575428 244633 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720575800 600470 :X-Scale14!~X-Scale@83.223.232.4 QUIT :Quit: Client closed
< 1720576441 152785 :Everything!~Everythin@37.115.212.219 QUIT :Quit: leaving
< 1720576506 75762 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Read error: Connection reset by peer
< 1720576518 155096 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720576851 659174 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 256 seconds
> 1720576931 735396 PRIVMSG #esolangs :14[[07ReadArticle14]]4 M10 02https://esolangs.org/w/index.php?diff=132727&oldid=132669 5* 03None1 5* (+2) 10/* Execution */
> 1720577229 732884 PRIVMSG #esolangs :14[[07Sakana14]]4 10 02https://esolangs.org/w/index.php?diff=132728&oldid=132724 5* 03TheCanon2 5* (+139) 10Re-formatted the page
< 1720577286 989812 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720578535 989528 :^[!~user@user//x-8473491 JOIN #esolangs ^[ :user
< 1720578836 516996 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Excess Flood
< 1720580184 491783 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
> 1720582367 933546 PRIVMSG #esolangs :14[[07Joke language list14]]4 M10 02https://esolangs.org/w/index.php?diff=132729&oldid=132726 5* 03PythonshellDebugwindow 5* (+0) 10Sort
> 1720582657 532448 PRIVMSG #esolangs :14[[07Brainword14]]4 M10 02https://esolangs.org/w/index.php?diff=132730&oldid=132722 5* 03PythonshellDebugwindow 5* (+114) 10Infobox, categories
> 1720583606 860325 PRIVMSG #esolangs :14[[07EHTML14]]4 10 02https://esolangs.org/w/index.php?diff=132731&oldid=132720 5* 03CadenC 5* (+796) 10String testing functions and string case conversions
> 1720583727 264948 PRIVMSG #esolangs :14[[07User:EvyLah14]]4 10 02https://esolangs.org/w/index.php?diff=132732&oldid=132092 5* 03EvyLah 5* (+215) 10
> 1720583789 944907 PRIVMSG #esolangs :14[[07Txet14]]4 M10 02https://esolangs.org/w/index.php?diff=132733&oldid=132714 5* 03PythonshellDebugwindow 5* (+104) 10Distinguish confusion, add categories
> 1720583865 448951 PRIVMSG #esolangs :14[[07Text14]]4 M10 02https://esolangs.org/w/index.php?diff=132734&oldid=131212 5* 03PythonshellDebugwindow 5* (+31) 10Distinguish confusion
> 1720584165 925637 PRIVMSG #esolangs :14[[07Cantor14]]4 M10 02https://esolangs.org/w/index.php?diff=132735&oldid=132676 5* 03PythonshellDebugwindow 5* (+95) 10Categories
> 1720584362 724873 PRIVMSG #esolangs :14[[07Deadfish/Implementations (nonalphabetic and A-L)14]]4 M10 02https://esolangs.org/w/index.php?diff=132736&oldid=131654 5* 03PkmnQ 5* (+30) 10/* Deadfish */ fix this link
> 1720584719 431412 PRIVMSG #esolangs :14[[07What!?14]]4 M10 02https://esolangs.org/w/index.php?diff=132737&oldid=58956 5* 03PythonshellDebugwindow 5* (+80) 10Categories
< 1720584805 203764 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Is there information about how the instruction cards are working?
> 1720585111 529537 PRIVMSG #esolangs :14[[07Tip14]]4 10 02https://esolangs.org/w/index.php?diff=132738&oldid=75469 5* 03Ais523 5* (-3) 10/* Specification */ fix reversed sentence
< 1720586338 957423 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :zzo38, the ed-thelen.org link is the most detailed thing I found. So, other than "diode logic", not much.
< 1720586350 228549 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I'm tempted to try emailing General Mills. Or NASA.
< 1720586365 774351 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :(NASA was a customer according to the brochure)
< 1720586410 30097 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :It seems like, the way computers have expansion boards, this CPU uses expansion boards for individual instructions
< 1720586570 126327 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 256 seconds
< 1720586840 833086 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
> 1720586980 49752 PRIVMSG #esolangs :14[[07Kalgarn14]]4 N10 02https://esolangs.org/w/index.php?oldid=132739 5* 03PrySigneToFry 5* (+1430) 10Created page with "It is also made to simplify the programming language. == Variables == There are 28 normal variables. They are . All of them are infinity, signed, integer and initialized to 0. == Commands == === Assignment and initialization ===
=== Constant
> 1720587096 542240 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=132740&oldid=132715 5* 03PrySigneToFry 5* (+14) 10
< 1720587194 72396 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Yes, I had read that much. But I don't know all of the details.
< 1720587222 402855 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Remote host closed the connection
> 1720587544 205680 PRIVMSG #esolangs :14[[07Sakana14]]4 M10 02https://esolangs.org/w/index.php?diff=132741&oldid=132728 5* 03TheCanon2 5* (+27) 10Added Sakana to the Unimplemented category.
> 1720587944 799167 PRIVMSG #esolangs :14[[07User:TheCanon214]]4 10 02https://esolangs.org/w/index.php?diff=132742&oldid=132713 5* 03TheCanon2 5* (+67) 10Adding information about my esolangs
> 1720587984 366816 PRIVMSG #esolangs :14[[07User:TheCanon214]]4 M10 02https://esolangs.org/w/index.php?diff=132743&oldid=132742 5* 03TheCanon2 5* (+4) 10fixed formatting
< 1720587990 126368 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720588311 91376 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 268 seconds
< 1720588399 661766 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I wonder how an emulator would work. Probably not every possible instruction card implemented, but a set... but it would need to be possible to tell the emulator which card is which instruction
< 1720588426 672747 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :I don't know if there was a "default" set or if each institution that used one needed to write their own software or what
< 1720588621 934387 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720589075 269680 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 264 seconds
< 1720589269 28216 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720589563 533747 :X-Scale!~X-Scale@83.223.232.129 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
< 1720590794 279706 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1720591964 787952 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Possibly when compiling the emulator, you can add your own instruction cards into the emulator; at run time you will tell it which of those instruction cards you want to use.
< 1720592278 991393 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Server closed connection
< 1720592315 48380 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1720592530 75315 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720594402 430594 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Quit: ZNC 1.8.2 - https://znc.in
< 1720594556 197906 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720595300 240050 :b_jonas!~x@88.87.242.184 QUIT :Quit: leaving
> 1720595580 126753 PRIVMSG #esolangs :14[[07Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=132744&oldid=129251 5* 03Ractangle 5* (-2) 10/* Loops */
> 1720596581 666999 PRIVMSG #esolangs :14[[07Talk:Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=132745&oldid=126851 5* 03Ractangle 5* (+28) 10
> 1720596617 151861 PRIVMSG #esolangs :14[[07Talk:Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=132746&oldid=132745 5* 03Ractangle 5* (+15) 10
> 1720596685 151575 PRIVMSG #esolangs :14[[07Talk:Uyjhmn n14]]4 10 02https://esolangs.org/w/index.php?diff=132747&oldid=132746 5* 03Ractangle 5* (+30) 10
< 1720596699 856419 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 256 seconds
< 1720596790 926346 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
> 1720596902 402010 PRIVMSG #esolangs :14[[07User talk:Truttle114]]4 10 02https://esolangs.org/w/index.php?diff=132748&oldid=131179 5* 03Ractangle 5* (+193) 10/* It whould be cool if trutle1 made an another esolang */ new section
< 1720596993 939406 :X-Scale!~X-Scale@83.223.232.129 QUIT :Ping timeout: 250 seconds
< 1720597365 200249 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Excess Flood
< 1720597478 515287 :X-Scale!~X-Scale@83.223.232.56 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
< 1720597483 635279 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
> 1720597494 470713 PRIVMSG #esolangs :14[[07User:Unname479814]]4 10 02https://esolangs.org/w/index.php?diff=132749&oldid=132632 5* 03Unname4798 5* (+63) 10
> 1720597500 528471 PRIVMSG #esolangs :14[[07User:Unname479814]]4 10 02https://esolangs.org/w/index.php?diff=132750&oldid=132749 5* 03Unname4798 5* (+1) 10
> 1720597517 3360 PRIVMSG #esolangs :14[[07User:Unname479814]]4 10 02https://esolangs.org/w/index.php?diff=132751&oldid=132750 5* 03Unname4798 5* (+0) 10
> 1720597532 266873 PRIVMSG #esolangs :14[[07User:Unname479814]]4 10 02https://esolangs.org/w/index.php?diff=132752&oldid=132751 5* 03Unname4798 5* (+0) 10
> 1720597661 739374 PRIVMSG #esolangs :14[[07Brainnumber14]]4 N10 02https://esolangs.org/w/index.php?oldid=132753 5* 03Unname4798 5* (+229) 10Created page with "{{lowercase}}{{WIP}} Brainnumber is an [[esolang]] like [[Brainword]], but there are no words, only numbers. ==Commands== 0 - increment the selected accumulator 1 - decrement the selected accumulator 2 - switch the accumulator"
> 1720597712 119476 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132754&oldid=132753 5* 03Unname4798 5* (+74) 10
> 1720597790 684244 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132755&oldid=132754 5* 03Unname4798 5* (+92) 10
> 1720597813 208137 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132756&oldid=132755 5* 03Unname4798 5* (+21) 10
> 1720597833 991166 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132757&oldid=132756 5* 03Unname4798 5* (+21) 10
> 1720597850 216972 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132758&oldid=132757 5* 03Unname4798 5* (+7) 10
> 1720597995 17806 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132759&oldid=132758 5* 03Unname4798 5* (+67) 10
< 1720598009 930282 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 252 seconds
> 1720598018 941855 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132760&oldid=132759 5* 03Unname4798 5* (+16) 10categories
> 1720598058 176212 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132761&oldid=132760 5* 03Unname4798 5* (+57) 10
> 1720598070 891775 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132762&oldid=132761 5* 03Unname4798 5* (-1) 10
> 1720598105 33445 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132763&oldid=132762 5* 03Unname4798 5* (+37) 10
> 1720598184 238207 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132764&oldid=132763 5* 03Unname4798 5* (+71) 10
< 1720598283 94314 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720598782 199824 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 268 seconds
> 1720598988 706497 PRIVMSG #esolangs :14[[07Q4714]]4 10 02https://esolangs.org/w/index.php?diff=132765&oldid=132699 5* 03Europe2048 5* (+635) 10
< 1720598994 579429 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720599073 978446 :X-Scale!~X-Scale@83.223.232.56 QUIT :Ping timeout: 250 seconds
< 1720599177 50733 :APic!apic@apic.name QUIT :Server closed connection
< 1720599195 246891 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1720599195 888509 :APic!apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149
< 1720599526 303684 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 246 seconds
< 1720599756 317233 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720600661 700279 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Ping timeout: 240 seconds
> 1720601009 646035 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132766&oldid=132764 5* 03Unname4798 5* (+24) 10
> 1720601030 849372 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132767&oldid=132766 5* 03Unname4798 5* (+4) 10
> 1720601080 42959 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132768&oldid=132767 5* 03Unname4798 5* (-102) 10
> 1720601100 483440 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132769&oldid=132768 5* 03Unname4798 5* (+0) 10
> 1720601129 609230 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132770&oldid=132769 5* 03Unname4798 5* (+38) 10
< 1720602229 83491 :Koen!~Koen@2a04:cec0:103b:dcc1:3444:5061:cea0:1a80 JOIN #esolangs * :Koen
< 1720604142 469836 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu JOIN #esolangs b_jonas :[https://web.libera.chat] wib_jonas
< 1720604269 839987 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720604520 131964 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720605023 199209 :Noisytoot!~noisytoot@user/meow/Noisytoot QUIT :Quit: ZNC 1.8.2 - https://znc.in
< 1720605270 882350 :Noisytoot!~noisytoot@user/meow/Noisytoot JOIN #esolangs Noisytoot :Ron
< 1720606254 525016 :X-Scale!~X-Scale@83.223.234.156 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
< 1720607771 262744 :amby!~ambylastn@2a00:23c5:ce05:7801:ae42:fb4b:66be:fa08 JOIN #esolangs * :realname
< 1720608324 651937 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat
< 1720609041 274465 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :The "rewriter functions" are useful for me not only because they are an abstract representation of rewrite rules (whereas making the entire rewrite system abstract is a bit too much), but also because they can be an abstract representation of abstract data types. (OK, the rewrite rules are *too*, because a rewrite theory implies an equational theory, and that's another way of looking at an
< 1720609043 275242 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :algebra, which is more or less the same thing as an ADT. But.. the rewriter is more abstract.)
< 1720609066 185600 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1720609190 941995 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :One twist is that rewrite rules are purely syntactic. In one sense this is appealing. In another sense this is unappealing. Do abstract rewriter functions hold out some potential to operate non-syntactically? That's one thing I'd like to try to understand.
< 1720609365 442725 :riv!river@tilde.team/user/river PRIVMSG #esolangs :i imagine rewriting is turing complete
< 1720609369 289133 :riv!river@tilde.team/user/river PRIVMSG #esolangs :in many ways
< 1720609375 242086 :riv!river@tilde.team/user/river PRIVMSG #esolangs :we can consider string rewrite systems
< 1720609382 185502 :riv!river@tilde.team/user/river PRIVMSG #esolangs :operating on adjacent bytes
< 1720609383 286315 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720609387 241109 :riv!river@tilde.team/user/river PRIVMSG #esolangs :or operating on regular patterns
< 1720609394 907227 :riv!river@tilde.team/user/river PRIVMSG #esolangs :and we can consider tree structured rewriting
< 1720609396 897700 :riv!river@tilde.team/user/river PRIVMSG #esolangs :term systems
< 1720609406 697612 :riv!river@tilde.team/user/river PRIVMSG #esolangs :evaluators and arithmetic are natural in that context
< 1720609427 450026 :riv!river@tilde.team/user/river PRIVMSG #esolangs :keeping things very syntactic and first order
< 1720609436 999576 :riv!river@tilde.team/user/river PRIVMSG #esolangs :but then you have lambda, GLORIOUS lambda...
< 1720611215 939268 :X-Scale!~X-Scale@83.223.234.156 QUIT :Ping timeout: 250 seconds
< 1720612885 735448 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Yeah I used to be really interested in term rewriting, a long time ago, and then kind of lost interest in it. And then the paths led back to it kind of unexpectedly. A big thing was just understanding that every rewriting system implies an equational theory. Which seems obvious in hindsight. If you say that 2+2 rewrites to 4, you are also saying 2+2=4. With all that implies.
< 1720613003 766629 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( you've been converted )
< 1720613061 679338 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net QUIT :Ping timeout: 256 seconds
< 1720613176 702850 :mtm!~textual@c-71-228-84-213.hsd1.fl.comcast.net JOIN #esolangs mtm :Textual User
< 1720613231 643246 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 256 seconds
> 1720613382 120653 PRIVMSG #esolangs :14[[07Nope. without a quine14]]4 10 02https://esolangs.org/w/index.php?diff=132771&oldid=124662 5* 03PrySigneToFry 5* (-16) 10
> 1720613607 153922 PRIVMSG #esolangs :14[[07Talk:Text14]]4 10 02https://esolangs.org/w/index.php?diff=132772&oldid=113080 5* 03PrySigneToFry 5* (+391) 10/* I have a C++ Interpreter, which can only interprets 1 line of program. */ new section
> 1720613666 991547 PRIVMSG #esolangs :14[[07Talk:Text14]]4 10 02https://esolangs.org/w/index.php?diff=132773&oldid=132772 5* 03PrySigneToFry 5* (+255) 10
< 1720614532 196236 :fria!uid151648@id-151648.ilkley.irccloud.com JOIN #esolangs fria :fria
> 1720614872 358634 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=132774 5* 03PrySigneToFry 5* (+11983) 10Created page with " is an Esolang made by PSTF. It has only 1 command(maybe the longest) which prints all lyrics to . Shown as below: ..."
> 1720614904 775045 PRIVMSG #esolangs :14[[07Joke language list14]]4 10 02https://esolangs.org/w/index.php?diff=132775&oldid=132729 5* 03PrySigneToFry 5* (+184) 10
< 1720615576 393076 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1720616069 298678 PRIVMSG #esolangs :14[[07Translated ORK/PSTF14]]4 N10 02https://esolangs.org/w/index.php?oldid=132776 5* 03PrySigneToFry 5* (+1914) 10Created page with "Even true ultra fictional imaginary reality f*cking vunda xonna yotte exa peta giga tera mega hyper super terminusly f*cking absolutely SCARE!!!!!! Remember that is MY version. Here is version MHPP(Mihai Popa's version): [[Translated ORK/Mihai Popa]
> 1720616168 320927 PRIVMSG #esolangs :14[[07Translated ORK/Mihai Popa14]]4 10 02https://esolangs.org/w/index.php?diff=132777&oldid=129204 5* 03PrySigneToFry 5* (+275) 10
< 1720616543 750247 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat
> 1720616646 231612 PRIVMSG #esolangs :14[[07Brainletter14]]4 N10 02https://esolangs.org/w/index.php?oldid=132778 5* 03Tommyaweosme 5* (+560) 10Created page with "Brainletter is [[brainword]] with characters instead of commands. == Commands == + increments selected accumulator - decrement selected accumulator | switches accumulator ^ repeats the commands after it selected accumulator times . outputs ascii if it is va
< 1720616844 759459 :cpressey!~weechat@176.254.71.203 QUIT :Quit: WeeChat 4.3.0
> 1720617014 565833 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=132779&oldid=132774 5* 03PrySigneToFry 5* (+0) 10
< 1720619392 237224 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 246 seconds
> 1720619497 481924 PRIVMSG #esolangs :14[[07Template:PSTF's Version14]]4 N10 02https://esolangs.org/w/index.php?oldid=132780 5* 03PrySigneToFry 5* (+87) 10Created page with "'''PrySigneToFry{{{1}}}{{{2}}}'''"
> 1720619540 255210 PRIVMSG #esolangs :14[[07User:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=132781&oldid=129341 5* 03PrySigneToFry 5* (+49) 10
> 1720619593 924607 PRIVMSG #esolangs :14[[07User:PrySigneToFry14]]4 10 02https://esolangs.org/w/index.php?diff=132782&oldid=132781 5* 03PrySigneToFry 5* (+75) 10
> 1720619950 190316 PRIVMSG #esolangs :14[[07Oh, fuck!14]]4 10 02https://esolangs.org/w/index.php?diff=132783&oldid=125660 5* 03PrySigneToFry 5* (+4) 10
> 1720620680 657033 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 N10 02https://esolangs.org/w/index.php?oldid=132784 5* 03TheCanon2 5* (+784) 10Created a (somewhat incomplete) article for my esolang.
< 1720622256 409234 :fria!uid151648@id-151648.ilkley.irccloud.com QUIT :Quit: Connection closed for inactivity
< 1720622731 27527 :Melvar!~melvar@dslb-092-074-060-060.092.074.pools.vodafone-ip.de QUIT :Quit: WeeChat 4.3.2
> 1720622971 511569 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=132785&oldid=132300 5* 03PrySigneToFry 5* (+976) 10
> 1720623045 291199 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=132786&oldid=132785 5* 03PrySigneToFry 5* (+22) 10
> 1720623149 341354 PRIVMSG #esolangs :14[[07BFInfinity14]]4 10 02https://esolangs.org/w/index.php?diff=132787&oldid=132786 5* 03PrySigneToFry 5* (-737) 10
> 1720623659 597288 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 10 02https://esolangs.org/w/index.php?diff=132788&oldid=132784 5* 03TheCanon2 5* (+800) 10Added a Python implementation.
> 1720623807 901354 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 10 02https://esolangs.org/w/index.php?diff=132789&oldid=132788 5* 03TheCanon2 5* (+76) 10Added categories.
< 1720624130 987295 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1720625258 62754 PRIVMSG #esolangs :14[[07Brainnumber14]]4 10 02https://esolangs.org/w/index.php?diff=132790&oldid=132770 5* 03Unname4798 5* (-131) 10
> 1720625348 992183 PRIVMSG #esolangs :14[[07Brainletter14]]4 10 02https://esolangs.org/w/index.php?diff=132791&oldid=132778 5* 03Unname4798 5* (-143) 10
> 1720625580 272052 PRIVMSG #esolangs :14[[07Brainletter14]]4 10 02https://esolangs.org/w/index.php?diff=132792&oldid=132791 5* 03Unname4798 5* (-26) 10
< 1720626093 179464 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720628573 147878 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown
< 1720628865 91327 :Koen!~Koen@2a04:cec0:103b:dcc1:3444:5061:cea0:1a80 QUIT :Ping timeout: 272 seconds
< 1720630193 853063 :Melvar!~melvar@dslb-092-074-060-060.092.074.pools.vodafone-ip.de JOIN #esolangs Melvar :melvar
> 1720630459 279201 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 10 02https://esolangs.org/w/index.php?diff=132793&oldid=132789 5* 03TheCanon2 5* (+107) 10Made modifications to the Python script
> 1720630788 109370 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 M10 02https://esolangs.org/w/index.php?diff=132794&oldid=132793 5* 03TheCanon2 5* (+3) 10Added a space
< 1720631921 83596 :Koen!~Koen@2a04:cec0:103b:dcc1:914f:31ee:9006:210c JOIN #esolangs * :Koen
< 1720632416 576409 :Koen!~Koen@2a04:cec0:103b:dcc1:914f:31ee:9006:210c QUIT :Remote host closed the connection
< 1720632419 960571 :Ae`!Ae@linux.touz.org JOIN #esolangs * :Ae
< 1720632432 233812 :Koen!~Koen@2a04:cec0:103b:dcc1:914f:31ee:9006:210c JOIN #esolangs * :Koen
< 1720632453 25953 :Koen!~Koen@2a04:cec0:103b:dcc1:914f:31ee:9006:210c QUIT :Client Quit
< 1720632697 300681 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat
> 1720632766 970965 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 10 02https://esolangs.org/w/index.php?diff=132795&oldid=132794 5* 03TheCanon2 5* (+403) 10Added example programs.
< 1720633101 152458 :__monty__!~toonn@user/toonn QUIT :Quit: leaving
> 1720633485 938551 PRIVMSG #esolangs :14[[07Talk:Uyjhmn n14]]4 M10 02https://esolangs.org/w/index.php?diff=132796&oldid=132747 5* 03PythonshellDebugwindow 5* (+20) 10Convert to unsigned
< 1720633548 247370 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1720633564 762246 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :So when a rewriter function represents an ADT, it rewrites a term like `top(push(x,s))` to `x`, or similar. To go "beyond the syntactic", it needs to rewrite `top(*)` to, uh, the top of the stack object `*` which isn't representable as a term. This sounds plausible?
< 1720634946 972405 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Pity the poor rewriting rules from other ADTs that can't process *. But that's the point of opacity, they're not supposed to be able to process it.
< 1720635049 980287 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720635401 931865 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Hm, in that light, concrete rewriting rules aren't that great for ADTs, because they don't actually hide the representation. They can specify an equational theory, but it's not opaque.
< 1720635430 391321 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Right, when they use algebras to define ADTs, they slap a signature on them, don't they.
< 1720635469 94362 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :But could you still confuse two ADTs if they used terms with the same function name internally?
< 1720635728 957200 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
< 1720635786 470499 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1720635839 76415 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 264 seconds
< 1720636000 277531 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
< 1720636690 200989 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de QUIT :Quit: Leaving
< 1720637009 97063 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN #esolangs * :rodgort
< 1720637367 805999 :b_jonas!~x@88.87.242.184 JOIN #esolangs b_jonas :b_jonas
< 1720637395 844607 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :`olist 1304
< 1720637397 941586 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
< 1720637439 194651 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? slist
< 1720637441 214182 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Update notification for the webcomic Homestuck.
< 1720637598 38726 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`? smlist
< 1720637600 158220 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Non-update notification for the webcomic Super Mega.
< 1720637891 729097 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 JOIN #esolangs Corbin :Corbin
< 1720638087 178556 :Corbin!~Corbin@2604:a880:4:1d0::4d6:d000 NICK :korvo
> 1720640519 444077 PRIVMSG #esolangs :14[[07User:TheCanon214]]4 10 02https://esolangs.org/w/index.php?diff=132797&oldid=132743 5* 03TheCanon2 5* (+94) 10Added more information about my esolangs.
> 1720640614 694534 PRIVMSG #esolangs :14[[07Semiconkfalos14]]4 10 02https://esolangs.org/w/index.php?diff=132798&oldid=132795 5* 03TheCanon2 5* (+6) 10Bolded the title.
< 1720642300 45545 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1720642416 352131 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
> 1720643785 531440 PRIVMSG #esolangs :14[[07Shinda Sakana14]]4 N10 02https://esolangs.org/w/index.php?oldid=132799 5* 03TheCanon2 5* (+2744) 10This is an article documenting the older version of my esolang.
> 1720643837 854957 PRIVMSG #esolangs :14[[07Shinda Sakana14]]4 10 02https://esolangs.org/w/index.php?diff=132800&oldid=132799 5* 03TheCanon2 5* (+26) 10Fixed the categories
> 1720643932 190983 PRIVMSG #esolangs :14[[07Sakana14]]4 10 02https://esolangs.org/w/index.php?diff=132801&oldid=132741 5* 03TheCanon2 5* (+62) 10Mentioned Shinda Sakana.
> 1720643964 953927 PRIVMSG #esolangs :14[[07Shinda Sakana14]]4 10 02https://esolangs.org/w/index.php?diff=132802&oldid=132800 5* 03TheCanon2 5* (+4) 10Forgot to properly link my username.
> 1720644386 956936 PRIVMSG #esolangs :14[[07SPIKE14]]4 10 02https://esolangs.org/w/index.php?diff=132803&oldid=132691 5* 03Ractangle 5* (+148) 10/* Commands */
> 1720644413 41419 PRIVMSG #esolangs :14[[07SPIKE14]]4 10 02https://esolangs.org/w/index.php?diff=132804&oldid=132803 5* 03Ractangle 5* (+17) 10/* Commands */
> 1720644424 96394 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=132805&oldid=132740 5* 03TheCanon2 5* (+42) 10/* S */ Added more of my esolangs
> 1720644898 34144 PRIVMSG #esolangs :14[[07Shinda Sakana14]]4 M10 02https://esolangs.org/w/index.php?diff=132806&oldid=132802 5* 03PythonshellDebugwindow 5* (+82) 10Categories
< 1720644944 908369 :cpressey!~weechat@176.254.71.203 JOIN #esolangs * :weechat
< 1720645165 233183 :riv!river@tilde.team/user/river QUIT :Server closed connection
< 1720645232 907695 :cpressey!~weechat@176.254.71.203 QUIT :Ping timeout: 252 seconds
< 1720646162 534188 :X-Scale!~X-Scale@83.223.234.123 JOIN #esolangs X-Scale :[https://web.libera.chat] X-Scale
< 1720646594 697851 :cpressey!~weechat@176.254.71.203 JOIN #esolangs cpressey :weechat
< 1720646709 492658 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1720646746 403778 :visilii!~visilii@213.24.125.33 QUIT :Quit: ZNC - https://znc.in
< 1720646938 481707 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User
< 1720647255 436371 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :Silly me, actually this has hardly anything to do with term rewriting systems at all. Ha, ha, ha, ha. Ha.
< 1720647341 474808 :cpressey!~weechat@176.254.71.203 PRIVMSG #esolangs :No one ever goes back to the same drawing board twice.
< 1720647374 78672 :cpressey!~weechat@176.254.71.203 QUIT :Quit: WeeChat 4.3.0
< 1720648213 262806 :salpynx!~salpynx@161.29.23.120 JOIN #esolangs salpynx :realname
< 1720648867 478427 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
> 1720651433 347186 PRIVMSG #esolangs :14[[07User:TheCanon214]]4 M10 02https://esolangs.org/w/index.php?diff=132807&oldid=132797 5* 03TheCanon2 5* (+21) 10added esolang
< 1720651957 58879 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1720654635 942824 :X-Scale!~X-Scale@83.223.234.123 QUIT :Ping timeout: 250 seconds
> 1720655197 336003 PRIVMSG #esolangs :14[[07Nulla14]]4 N10 02https://esolangs.org/w/index.php?oldid=132808 5* 03TheCanon2 5* (+1672) 10Created the page Nulla.
< 1720655425 983310 :citrons!~citrons@alt.mondecitronne.com QUIT :Server closed connection
< 1720655435 908204 :citrons!~citrons@alt.mondecitronne.com JOIN #esolangs citrons :citrons
> 1720655738 687161 PRIVMSG #esolangs :14[[07Shinda Sakana14]]4 M10 02https://esolangs.org/w/index.php?diff=132809&oldid=132806 5* 03TheCanon2 5* (+0) 10Capitalisation.