00:00:41 <imode> https://en.wikipedia.org/wiki/Ambient_calculus this is interesting.
00:01:39 <kmc> i don't like this syntax
00:01:49 <imode> which one, ambient or pi.
00:01:55 <imode> I like neither.
00:02:33 <kmc> pi
00:02:59 <imode> I feel like the unrestricted use of channels is a problem.
00:03:07 <imode> no one man needs all those channels.
00:03:32 <kmc> 800 channels and nothing on...
00:04:33 <imode> 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 }
00:06:22 <kmc> i don't know this language, how does it work
00:06:28 <kmc> is it a stack based concurrent calculus?
00:06:55 <imode> close. queue based.
00:07:07 <kmc> ok
00:08:06 <imode> each process (the stuff between { and }s) gets allocated a single channel. `receive` always references that channel.
00:08:47 <imode> `send`, though, references any channel at the head of the queue, and sends the value after that channel through it.
00:08:48 <HackEso> ​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: send`,: not found
00:08:54 <imode> sorry.
00:10:06 <imode> 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.
00:12:15 <imode> one sec..
00:12:16 -!- imode has quit (Quit: WeeChat 2.6).
00:15:05 -!- imode has joined.
00:15:42 <imode> forking a process for every loop could be.. useful, I suppose.
00:22:19 <imode> an if construct would be @{VVV:..$^}{VVV:..$^}^^^ sans some shuffling ops.
00:22:31 <imode> it's just @ true true send send send
00:28:02 <pikhq> I feel like that'd be relatively easy to build on top of BEAM.
00:29:16 -!- imode has quit (Ping timeout: 240 seconds).
00:35:16 -!- xkapastel has joined.
00:41:14 -!- FreeFull has quit.
00:46:07 -!- tromp_ has joined.
00:48:24 -!- tromp has quit (Ping timeout: 246 seconds).
01:07:55 <lf94> my lang is built off of pi calculus
01:08:14 <lf94> http://leefallat.ca/notes/p-lang/rambling-2019-10-20.html
01:08:26 <lf94> the whole thing is just a vague blur
01:08:29 <lf94> :)
01:28:29 -!- imode has joined.
01:28:49 <imode> pikhq: it really would. I've been trying to build it in Go.
01:29:40 <pikhq> Fair enough. Could probably get it to work alright there. Dunno if it'd be efficient, but 🤷🏻‍♀️
01:31:14 <imode> 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.
01:32:26 -!- oerjan has quit (Quit: Nite).
01:36:21 -!- imode has quit (Quit: WeeChat 2.6).
01:52:07 -!- imode has joined.
01:57:09 <imode> I had an epiphany: 01[] may still very well be turing complete. you just need to be creative in how you format things.
01:57:20 <imode> 010 can stand for false, and 0110 can stand for true
01:59:52 <imode> I had a formulation for NOT and AND.
02:00:13 <imode> along with dup. and swap.
02:26:54 <imode> [][] is drop in this.
02:27:10 <imode> 0110 010 [][] -> 010
02:36:21 <imode> duplicate is.. difficult. I'm having a hard time recognizing compound symbols.
02:38:53 <imode> ideally I'd have something like...
02:39:09 <imode> 0110 <accept 0110> 010 <end of accept 0110>
02:42:32 <imode> I could probably brute force search it (with an evaluation step limit), but...
02:45:03 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:47:40 <imode> oh well. concurrency primitives might yield something better. who knows.
03:38:10 -!- MDude has quit (Read error: No route to host).
03:40:55 -!- MDude has joined.
04:25:41 -!- ArthurStrong has joined.
04:32:00 <esowiki> [[Newbiefuck]]  https://esolangs.org/w/index.php?diff=66953&oldid=53250 * Rdebath * (-209) Fix for bignum cells and add expected result
05:29:54 <imode>  01[]$ presents an easier gateway to being turing complete.
05:46:48 <imode> 0110 [][[010[]0$]0$] recognizes 0110.
06:17:44 -!- moony has quit (Ping timeout: 276 seconds).
06:18:52 -!- iovoid has quit (Ping timeout: 268 seconds).
06:19:02 -!- probability has quit (Ping timeout: 276 seconds).
06:19:29 -!- Bowserinator has quit (Ping timeout: 268 seconds).
06:24:43 -!- iovoid has joined.
06:25:39 -!- imode has quit (Ping timeout: 268 seconds).
06:27:51 -!- iczero has joined.
06:28:39 -!- moony has joined.
06:28:56 -!- Bowserinator has joined.
07:02:42 -!- tromp_ has quit (Read error: Connection reset by peer).
07:03:09 -!- tromp has joined.
07:08:08 -!- aloril has quit (Ping timeout: 246 seconds).
07:12:07 -!- aloril has joined.
07:24:48 -!- Bowserinator has quit (Quit: Blame iczero something happened).
07:25:12 -!- iovoid has quit (Quit: iovoid has quit!).
07:25:12 -!- iczero has quit (Quit: rip).
07:25:17 -!- moony has quit (Quit: Bye!).
07:33:31 -!- moony has joined.
07:34:25 -!- Bowserinator has joined.
07:39:13 -!- iczero has joined.
07:40:22 -!- iovoid has joined.
08:08:26 -!- hppavilion[1] has joined.
09:04:54 -!- atslash has joined.
09:10:13 -!- atslash has quit (Ping timeout: 265 seconds).
09:11:02 -!- atslash has joined.
09:39:30 <esowiki> [[User:TonyBrown148]]  https://esolangs.org/w/index.php?diff=66954&oldid=62379 * TonyBrown148 * (+52) 
09:43:51 -!- cpressey has joined.
10:22:04 <cpressey> `? password
10:22:08 <HackEso> The password of the month is not what it seems
10:22:34 <cpressey> Huh, spaces are allowed in the password of the month. Okay.
10:22:58 <cpressey> (Or ARE they...?)
10:54:59 -!- ais523_ has joined.
10:55:42 <ais523_> it's a different month now anyway
10:55:53 <ais523_> `le//rn password//The password of the month is mostly irrelvant.
10:55:56 <HackEso> Relearned 'password': The password of the month is mostly irrelvant.
10:56:05 <ais523_> `le//rn password//The password of the month is mostly irrelevant.
10:56:10 <HackEso> Relearned 'password': The password of the month is mostly irrelevant.
11:02:48 <cpressey> Ah, I assumed that /was/ the new password, seeing as it's the 4th already today.
11:02:55 <cpressey> Slow!
11:03:31 <ais523_> I'm not even sure why we have that thing anyway :-D
11:25:28 -!- wib_jonas has joined.
11:26:01 <wib_jonas> 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
11:28:50 <wib_jonas> and yes, it was the old password
11:29:28 <ais523_> I had the old one memorized, that's what you do with passwords, right?
11:34:33 <wib_jonas> ais523_: some people ask computers to memorize it.
11:34:36 <wib_jonas> or stick notes.
11:54:46 -!- arseniiv has joined.
11:55:07 <esowiki> [[The Program Is Mostly Ignored]] N https://esolangs.org/w/index.php?oldid=66955 * Ais523 non-admin * (+9322) new language
11:56:10 <esowiki> [[User:Ais523]]  https://esolangs.org/w/index.php?diff=66956&oldid=66798 * Ais523 non-admin * (+35) +[[The Program Is Mostly Ignored]]
11:56:49 <esowiki> [[Language list]]  https://esolangs.org/w/index.php?diff=66957&oldid=66930 * Ais523 non-admin * (+36) /* T */ +[[The Program Is Mostly Ignored]]
11:56:59 -!- ais523_ has quit (Quit: quit).
11:57:26 <wib_jonas> "The Program Is Mostly Ignored" -- like in the pear tree?
11:59:20 <arseniiv> ehehe blockchain
12:03:08 <fizzie> `` 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
12:03:18 <fizzie> (It'll take a while.)
12:03:33 <HackEso> https://hack.esolangs.org/tmp/paste/paste.32417
12:05:05 <wib_jonas> 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
12:05:20 <wib_jonas> maybe I should look up in the docs of hg how to properly do that
12:06:52 <fizzie> Yes, it's pretty slow. Probably that password list also just barely made it.
12:14:49 <wib_jonas> fizzie: yeah, admittedly I tried it on quotes , which has among the longest history 
12:15:16 <wib_jonas> what's the URL if I just want to clone the repository to do such dumb things locally?
12:15:26 <wib_jonas> `url wisdom
12:15:27 <HackEso> https://hack.esolangs.org/repo/file/tip/wisdom
12:15:28 <wib_jonas> `url quotes
12:15:29 <HackEso> https://hack.esolangs.org/repo/file/tip/quotes
12:16:47 <wib_jonas> yeah, that seems to work
12:16:49 <wib_jonas> `url
12:16:50 <HackEso> https://hack.esolangs.org/repo/
12:16:54 <wib_jonas> `whatis url
12:16:56 <HackEso> 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
12:16:56 <wib_jonas> `? url
12:16:58 <HackEso> url? ¯\(°​_o)/¯
12:17:09 <wib_jonas> I should edit that
12:21:20 <wib_jonas> `whatis url
12:21:21 <HackEso> 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
12:25:06 -!- imode has joined.
12:32:56 -!- cpressey has quit (Quit: Imagine a pithy phrase in Latin here).
13:24:52 <imode> found 'roll'. 0[][1]0
13:25:43 <imode> 'dup' is gonna be harder.
13:29:50 <imode> recognize <number> = <number> [] ([ * <number>) [] <body> (0$] * <number>)
13:55:59 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
14:07:28 -!- imode has quit (Ping timeout: 265 seconds).
14:21:47 -!- xkapastel has joined.
15:21:31 -!- imode has joined.
15:35:56 -!- andrewtheircer has joined.
15:39:18 -!- andrewtheircer has quit (Remote host closed the connection).
15:44:53 -!- imode has quit (Ping timeout: 245 seconds).
15:46:53 -!- imode has joined.
16:10:46 -!- Bowserinator has quit (Quit: Blame iczero something happened).
16:11:16 -!- iovoid has quit (Quit: iovoid has quit!).
16:11:18 -!- moony has quit (Quit: Bye!).
16:11:19 -!- iczero has quit (Quit: rip).
16:23:47 -!- iczero has joined.
16:24:04 -!- Bowserinator has joined.
16:25:52 -!- iovoid has joined.
16:28:25 -!- moony has joined.
16:42:00 <arseniiv> wib_jonas: pointer machines seem to be unrelated to GMM
16:42:53 <wib_jonas> arseniiv: in that case what are GMM?
16:43:39 <arseniiv> before any better name arises, they are GMM ;)
16:44:05 <arseniiv> we could call them algebraic machines, for instance
16:44:41 <arseniiv> I think GMM is still a perfectly valid instance of register machine
16:44:42 <imode> remind me to ask you about your machines, arseniiv.
16:45:28 <arseniiv> it has registers, albeit typed ones which contain references to trees
16:45:36 <arseniiv> imode: how soon?
16:45:47 <imode> in the next day or so. ;)
16:46:23 <arseniiv> imode: do you use lambdabot messaging?
16:46:48 <imode> yeah.
16:47:37 <arseniiv> in this case ehehe
16:47:38 <arseniiv> @tell imode I remind you to ask me about my overgeneralized machines
16:47:38 <lambdabot> Consider it noted.
16:47:55 <wib_jonas> 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.
16:48:13 <arseniiv> though maybe I’ll still remember it for myself tomorrow too
16:48:55 <imode> gratzi.
16:49:21 <arseniiv> 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
16:49:39 <arseniiv> there it seems they are different enough
16:50:52 <arseniiv> 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
16:51:49 <imode> TMs can't do arithmetic either.
16:52:08 <arseniiv> hm I probably misinterpret what that meant to mean, yeah
16:53:25 -!- imode has quit (Quit: WeeChat 2.6).
17:04:36 -!- wib_jonas has quit (Remote host closed the connection).
17:19:13 -!- xkapastel has quit (Quit: Connection closed for inactivity).
17:49:43 -!- LKoen has joined.
18:00:53 -!- Phantom_Hoover has joined.
18:08:46 -!- FreeFull has joined.
18:10:27 -!- LKoen has quit (Remote host closed the connection).
18:11:24 -!- kritixilithos has joined.
18:12:45 -!- LKoen has joined.
18:24:41 <esowiki> [[User:Arseniiv/Generalized Minsky machine]] N https://esolangs.org/w/index.php?oldid=66958 * Arseniiv * (+4231) initial commit
18:29:29 <esowiki> [[User:Arseniiv]] M https://esolangs.org/w/index.php?diff=66959&oldid=66638 * Arseniiv * (+44) own
18:31:04 <arseniiv> though I can go more technical
18:42:15 -!- ArthurStrong has quit (Quit: leaving).
18:51:12 -!- b_jonas has joined.
19:15:55 -!- kritixilithos has quit (Quit: leaving).
20:12:29 -!- hppavilion[1] has joined.
20:15:03 <b_jonas> [ _1^i.39
20:15:13 <b_jonas> j-bot?
20:28:47 -!- LKoen has quit (Remote host closed the connection).
20:55:14 -!- LKoen has joined.
20:56:14 -!- imode has joined.
21:20:26 -!- imode has quit (Ping timeout: 240 seconds).
21:49:32 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
22:02:22 -!- hppavilion[1] has joined.
22:21:50 <esowiki> [[User:Arseniiv/Generalized Minsky machine]] M https://esolangs.org/w/index.php?diff=66960&oldid=66958 * Arseniiv * (+820) forgot the interesting stuff
22:26:15 -!- oerjan has joined.
23:52:22 -!- hppavilion[1] has quit (Remote host closed the connection).
23:53:33 -!- hppavilion[2] has joined.
23:53:34 -!- hppavilion[1] has joined.
23:54:26 -!- arseniiv has quit (Ping timeout: 240 seconds).