< 1572825641 195773 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Ambient_calculus this is interesting.
< 1572825699 650829 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i don't like this syntax
< 1572825709 18627 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :which one, ambient or pi.
< 1572825715 510491 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I like neither.
< 1572825753 837131 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :pi
< 1572825779 514016 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I feel like the unrestricted use of channels is a problem.
< 1572825787 687641 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :no one man needs all those channels.
< 1572825812 432070 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :800 channels and nothing on...
< 1572825873 932605 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :T in Mode would be { receive receive receive roll drop last send }, while F in mode would be { receive receive receive roll roll drop last last send }
< 1572825982 567229 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i don't know this language, how does it work
< 1572825988 977155 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :is it a stack based concurrent calculus?
< 1572826015 517703 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :close. queue based.
< 1572826027 677879 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :ok
< 1572826086 435364 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :each process (the stuff between { and }s) gets allocated a single channel. `receive` always references that channel.
< 1572826127 631851 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :`send`, though, references any channel at the head of the queue, and sends the value after that channel through it.
< 1572826128 767021 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: send`,: not found
< 1572826134 313367 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :sorry.
< 1572826206 494700 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I have stuff like looping constructs, but I wonder if I can render them obsolete by treating { and } as looping processes with a halt operation.
< 1572826335 401774 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :one sec..
< 1572826336 445131 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.6
< 1572826505 76876 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572826542 685912 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :forking a process for every loop could be.. useful, I suppose.
< 1572826939 200564 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :an if construct would be @{VVV:..$^}{VVV:..$^}^^^ sans some shuffling ops.
< 1572826951 796263 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's just @ true true send send send
< 1572827282 4903 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :I feel like that'd be relatively easy to build on top of BEAM.
< 1572827356 989519 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds
< 1572827716 32792 :xkapastel!uid17782@gateway/web/irccloud.com/x-xswhpxlsxoqdgfhg JOIN :#esoteric
< 1572828074 334966 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1572828367 774578 :tromp_!~tromp@ip-213-127-58-74.ip.prioritytelecom.net JOIN :#esoteric
< 1572828504 14098 :tromp!~tromp@2a02:a210:1585:3200:fc32:aa2a:2f75:3f27 QUIT :Ping timeout: 246 seconds
< 1572829675 530880 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :my lang is built off of pi calculus
< 1572829694 814111 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :http://leefallat.ca/notes/p-lang/rambling-2019-10-20.html
< 1572829706 970252 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric :the whole thing is just a vague blur
< 1572829709 804382 :lf94!~lf94@unaffiliated/lf94 PRIVMSG #esoteric ::)
< 1572830909 989480 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572830929 251430 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :pikhq: it really would. I've been trying to build it in Go.
< 1572830980 640388 :pikhq!uid394595@gateway/web/irccloud.com/x-putygvflmnyxxsta PRIVMSG #esoteric :Fair enough. Could probably get it to work alright there. Dunno if it'd be efficient, but 🤷🏻‍♀️
< 1572831074 565924 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :it's some of the same concepts. every process gets a single channel and can accept channels owned by other processes. so very much like erlang/BEAM's model of processes and pids. but you can easily map them to goroutines and channels.
< 1572831146 933089 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite
< 1572831381 133944 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.6
< 1572832327 661693 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572832629 486051 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I had an epiphany: 01[] may still very well be turing complete. you just need to be creative in how you format things.
< 1572832640 495567 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :010 can stand for false, and 0110 can stand for true
< 1572832792 399178 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I had a formulation for NOT and AND.
< 1572832813 177786 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :along with dup. and swap.
< 1572834414 447966 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :[][] is drop in this.
< 1572834430 346733 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :0110 010 [][] -> 010
< 1572834981 482490 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :duplicate is.. difficult. I'm having a hard time recognizing compound symbols.
< 1572835133 684928 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :ideally I'd have something like...
< 1572835149 899781 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :0110 <accept 0110> 010 <end of accept 0110>
< 1572835352 446999 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :I could probably brute force search it (with an evaluation step limit), but...
< 1572835503 718246 :xkapastel!uid17782@gateway/web/irccloud.com/x-xswhpxlsxoqdgfhg QUIT :Quit: Connection closed for inactivity
< 1572835660 36059 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :oh well. concurrency primitives might yield something better. who knows.
< 1572838690 105680 :MDude!~MDude@c-174-55-101-236.hsd1.pa.comcast.net QUIT :Read error: No route to host
< 1572838855 514625 :MDude!AdiIRC@c-174-55-101-236.hsd1.pa.comcast.net JOIN :#esoteric
< 1572841541 655323 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net JOIN :#esoteric
> 1572841920 441211 PRIVMSG #esoteric :14[[07Newbiefuck14]]4 10 02https://esolangs.org/w/index.php?diff=66953&oldid=53250 5* 03Rdebath 5* (-209) 10Fix for bignum cells and add expected result
< 1572845394 340230 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric : 01[]$ presents an easier gateway to being turing complete.
< 1572846408 851512 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :0110 [][[010[]0$]0$] recognizes 0110.
< 1572848264 574110 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 276 seconds
< 1572848332 764459 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 268 seconds
< 1572848342 539639 :probability!iczero@hellomouse/dev/iczero QUIT :Ping timeout: 276 seconds
< 1572848369 760355 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Ping timeout: 268 seconds
< 1572848683 148658 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1572848739 643997 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 268 seconds
< 1572848871 450961 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric
< 1572848919 97922 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1572848936 280901 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1572850962 761430 :tromp_!~tromp@ip-213-127-58-74.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer
< 1572850989 13580 :tromp!~tromp@2a02:a210:1585:3200:4483:6b9d:b95:a54b JOIN :#esoteric
< 1572851288 966085 :aloril!~aloril@mobile-access-2e845f-1.dhcp.inet.fi QUIT :Ping timeout: 246 seconds
< 1572851527 976763 :aloril!~aloril@mobile-access-2e845f-1.dhcp.inet.fi JOIN :#esoteric
< 1572852288 110826 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened
< 1572852312 490313 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1572852312 623533 :iczero!iczero@hellomouse/dev/iczero QUIT :Quit: rip
< 1572852317 588887 :moony!moony@hellomouse/dev/moony QUIT :Quit: Bye!
< 1572852811 666083 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1572852865 806351 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1572853153 917336 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric
< 1572853222 803518 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1572854906 518563 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric
< 1572858294 351836 :atslash!~atslash@46.188.0.82 JOIN :#esoteric
< 1572858613 376807 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 265 seconds
< 1572858662 729049 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
> 1572860370 89359 PRIVMSG #esoteric :14[[07User:TonyBrown14814]]4 10 02https://esolangs.org/w/index.php?diff=66954&oldid=62379 5* 03TonyBrown148 5* (+52) 10
< 1572860631 653515 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric
< 1572862924 225546 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :`? password
< 1572862928 455897 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month is not what it seems
< 1572862954 645563 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Huh, spaces are allowed in the password of the month. Okay.
< 1572862978 932053 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :(Or ARE they...?)
< 1572864899 748212 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 JOIN :#esoteric
< 1572864942 708543 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 PRIVMSG #esoteric :it's a different month now anyway
< 1572864953 954559 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 PRIVMSG #esoteric :`le//rn password//The password of the month is mostly irrelvant.
< 1572864956 57007 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is mostly irrelvant.
< 1572864965 723899 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 PRIVMSG #esoteric :`le//rn password//The password of the month is mostly irrelevant.
< 1572864970 435744 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is mostly irrelevant.
< 1572865368 340139 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Ah, I assumed that /was/ the new password, seeing as it's the 4th already today.
< 1572865375 840990 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Slow!
< 1572865411 803277 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 PRIVMSG #esoteric :I'm not even sure why we have that thing anyway :-D
< 1572866728 975281 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1572866761 813144 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :cpressey: spaces are technically allowed in a password, but not recommended, because on many keyboards, the space bar makes a very distinctive sound, making side channel attacks easier
< 1572866930 41849 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and yes, it was the old password
< 1572866968 613435 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 PRIVMSG #esoteric :I had the old one memorized, that's what you do with passwords, right?
< 1572867273 12119 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :ais523_: some people ask computers to memorize it.
< 1572867276 155324 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :or stick notes.
< 1572868486 870588 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru JOIN :#esoteric
> 1572868507 915841 PRIVMSG #esoteric :14[[07The Program Is Mostly Ignored14]]4 N10 02https://esolangs.org/w/index.php?oldid=66955 5* 03Ais523 non-admin 5* (+9322) 10new language
> 1572868570 404047 PRIVMSG #esoteric :14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=66956&oldid=66798 5* 03Ais523 non-admin 5* (+35) 10+[[The Program Is Mostly Ignored]]
> 1572868609 466238 PRIVMSG #esoteric :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=66957&oldid=66930 5* 03Ais523 non-admin 5* (+36) 10/* T */ +[[The Program Is Mostly Ignored]]
< 1572868619 907554 :ais523_!93bcc3db@gateway/web/cgi-irc/kiwiirc.com/ip.147.188.195.219 QUIT :Quit: quit
< 1572868646 645229 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :"The Program Is Mostly Ignored" -- like in the pear tree?
< 1572868760 825695 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :ehehe blockchain
< 1572868988 648488 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` hg log -T "{sub(r'-\d\d .*','',date|isodate)} {node}\n" wisdom/password | while read m r; do echo "$m: $(hg cat -r $r wisdom/password)"; done | paste
< 1572868998 575318 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(It'll take a while.)
< 1572869013 870266 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/tmp/paste/paste.32417
< 1572869105 581343 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: I tried such hg log -R {rev} -r 0: somefile | (while read m r; do hg cat -r "$r" | grep somestring; done) loops, to find the first revision . they seemed to not work too well for some reason, probably timeout or something
< 1572869120 943895 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :maybe I should look up in the docs of hg how to properly do that
< 1572869212 663562 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, it's pretty slow. Probably that password list also just barely made it.
< 1572869689 379542 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: yeah, admittedly I tried it on quotes , which has among the longest history 
< 1572869716 819344 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :what's the URL if I just want to clone the repository to do such dumb things locally?
< 1572869726 872334 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`url wisdom
< 1572869727 584357 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/wisdom
< 1572869728 982249 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`url quotes
< 1572869729 767671 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/quotes
< 1572869807 902032 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah, that seems to work
< 1572869809 783063 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`url
< 1572869810 943192 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/
< 1572869814 638695 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`whatis url
< 1572869816 101866 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :url(7) - uniform resource identifier (URI), including a URL or URN \ url(1hackeso) - print URL to view contents of a hackenv file \ url(8lambdabot) - no description
< 1572869816 892131 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`? url
< 1572869818 929873 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :url? ¯\(°​_o)/¯
< 1572869829 4529 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I should edit that
< 1572870080 568953 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :`whatis url
< 1572870081 435650 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :url(7) - uniform resource identifier (URI), including a URL or URN \ url(1hackeso) - print URL for a file in the hackenv hg repository and web access of the repository \ url(8lambdabot) - no description
< 1572870306 355256 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572870776 464015 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: Imagine a pithy phrase in Latin here
< 1572873892 30698 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :found 'roll'. 0[][1]0
< 1572873943 1805 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :'dup' is gonna be harder.
< 1572874190 601233 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :recognize <number> = <number> [] ([ * <number>) [] <body> (0$] * <number>)
< 1572875759 519406 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 276 seconds
< 1572876448 344692 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 265 seconds
< 1572877307 540709 :xkapastel!uid17782@gateway/web/irccloud.com/x-djdkexvzpnbgimlx JOIN :#esoteric
< 1572880891 329037 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572881756 635701 :andrewtheircer!5d565177@93-86-81-119.dynamic.isp.telekom.rs JOIN :#esoteric
< 1572881958 938124 :andrewtheircer!5d565177@93-86-81-119.dynamic.isp.telekom.rs QUIT :Remote host closed the connection
< 1572882293 398023 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 245 seconds
< 1572882413 92816 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572883846 569617 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator QUIT :Quit: Blame iczero something happened
< 1572883876 448685 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1572883878 314223 :moony!moony@hellomouse/dev/moony QUIT :Quit: Bye!
< 1572883879 159599 :iczero!iczero@hellomouse/dev/iczero QUIT :Quit: rip
< 1572884627 263704 :iczero!iczero@hellomouse/dev/iczero JOIN :#esoteric
< 1572884644 314143 :Bowserinator!Bowserinat@hellomouse/dev/Bowserinator JOIN :#esoteric
< 1572884752 988679 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1572884905 980102 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1572885720 135766 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :wib_jonas: pointer machines seem to be unrelated to GMM
< 1572885773 604754 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: in that case what are GMM?
< 1572885819 340141 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :before any better name arises, they are GMM ;)
< 1572885845 855127 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :we could call them algebraic machines, for instance
< 1572885881 43630 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :I think GMM is still a perfectly valid instance of register machine
< 1572885882 314221 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :remind me to ask you about your machines, arseniiv.
< 1572885928 567418 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :it has registers, albeit typed ones which contain references to trees
< 1572885936 553607 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :imode: how soon?
< 1572885947 785769 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :in the next day or so. ;)
< 1572885983 657589 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :imode: do you use lambdabot messaging?
< 1572886008 847871 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :yeah.
< 1572886057 990898 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :in this case ehehe
< 1572886058 95139 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :@tell imode I remind you to ask me about my overgeneralized machines
< 1572886058 184704 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted.
< 1572886075 930173 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: yes, that's how pointer machines work, if all the structures allocated on the heap are immutable. that's not the most common definition, usually people allow mutable structures, but I prefer the pure version.
< 1572886093 788526 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :though maybe I’ll still remember it for myself tomorrow too
< 1572886135 889458 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :gratzi.
< 1572886161 653084 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :wib_jonas: hm it seems I didn’t understand what a pointer machine is in general, then. I had read https://en.wikipedia.org/wiki/Pointer_machine
< 1572886179 909776 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :there it seems they are different enough
< 1572886252 721135 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :they write there: “Pointer machines cannot do arithmetic. Computation proceeds only by reading input symbols, modifying and doing various tests on its storage structure—the pattern of nodes and pointers, and outputting symbols based on the tests.” This is suspicious
< 1572886309 698145 :imode!~linear@unaffiliated/imode PRIVMSG #esoteric :TMs can't do arithmetic either.
< 1572886328 867057 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :hm I probably misinterpret what that meant to mean, yeah
< 1572886405 329134 :imode!~linear@unaffiliated/imode QUIT :Quit: WeeChat 2.6
< 1572887076 515445 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection
< 1572887953 157347 :xkapastel!uid17782@gateway/web/irccloud.com/x-djdkexvzpnbgimlx QUIT :Quit: Connection closed for inactivity
< 1572889783 717407 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
< 1572890453 889942 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1572890926 354046 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1572891027 339277 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection
< 1572891084 101711 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric
< 1572891165 611233 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
> 1572891881 35580 PRIVMSG #esoteric :14[[07User:Arseniiv/Generalized Minsky machine14]]4 N10 02https://esolangs.org/w/index.php?oldid=66958 5* 03Arseniiv 5* (+4231) 10initial commit
> 1572892169 502925 PRIVMSG #esoteric :14[[07User:Arseniiv14]]4 M10 02https://esolangs.org/w/index.php?diff=66959&oldid=66638 5* 03Arseniiv 5* (+44) 10own
< 1572892264 370321 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru PRIVMSG #esoteric :though I can go more technical
< 1572892935 668581 :ArthurStrong!~ArthurStr@slow.wreckage.volia.net QUIT :Quit: leaving
< 1572893472 872164 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu JOIN :#esoteric
< 1572894955 14501 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: leaving
< 1572898349 399292 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric
< 1572898503 355895 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :[ _1^i.39
< 1572898513 245261 :b_jonas!~x@catv-176-63-13-112.catv.broadband.hu PRIVMSG #esoteric :j-bot?
< 1572899327 226667 :LKoen!~LKoen@81.255.219.130 QUIT :Remote host closed the connection
< 1572900914 532596 :LKoen!~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr JOIN :#esoteric
< 1572900974 897210 :imode!~linear@unaffiliated/imode JOIN :#esoteric
< 1572902426 873640 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds
< 1572904172 379986 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 265 seconds
< 1572904942 762206 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric
> 1572906110 635980 PRIVMSG #esoteric :14[[07User:Arseniiv/Generalized Minsky machine14]]4 M10 02https://esolangs.org/w/index.php?diff=66960&oldid=66958 5* 03Arseniiv 5* (+820) 10forgot the interesting stuff
< 1572906375 398321 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1572911542 776282 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Remote host closed the connection
< 1572911613 870768 :hppavilion[2]!~omegasome@172.98.86.92 JOIN :#esoteric
< 1572911614 429849 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric
< 1572911666 870633 :arseniiv!~arseniiv@95.105.4.44.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds