Hi!

I would like to chip-in on this fantastic thread with some thoughts, esp 
in regards to digital preservation, which I think is quite relevant to 
forth.

Nowadays, the only language I use is something like forth, and I feel 
like my life has been better for it. It does feel like cheating, dadgum 
had this excellent quote:

---
Don't fall in love with your technology the way some Forth and Linux 
advocates have. If it gives you an edge, if it lets you get things done 
faster, then by all means use it. Use it to build what you've always

I stumbled on an interesting problem this morning while implementing a 
reversible circuit in Fractran using the CNOT gate. Where non-reversible 
logic can be implemented by testing against the absence of symbols:

:: x y and > true
:: x   and > false
::   y and > false
::     and > false

The CNOT gate[1], to be reversible has this particularity where without 
the presence of the negative symbols, is not reversible:

:: c t cnot > c   cnot
:: c   cnot > c t cnot

Typed the first series too fast:

Binary Logic

:: x y and > true
:: x   and > false
:: y   and > false
::     and > false

:: x y or > true
:: x   or > true
:: y   or > true
::     or > false

Since this is a topic that comes up a lot, I'd like to share a public 
copy of the multiset rules for binary logic and comparison operations so 
anyone can take them and adapt them to their own runtime:

Binary Logic

:: x y and > true
:: x   and > false
:: y   and > false
::     and > false

:: x y or > true
:: x   or > true
:: y   or > true

The talks are online!

https://www.youtube.com/watch?v=OfnEfFb8yks&t=1908s

31:48 Devine Lu Linvega - A shining palace built upon the sand
52:30 Q&A
1:26:11 Wryl - Democratizing Software
2:14:54 Q&A

 > I was aware of System/expansion, but I think it's used pretty 
exclusively for assets right? It seems to me that the concept of paging 
around executable code crosses an important line.

Oh, I haven't done anything like that yet, and I'm not planning to. Even 
the BIOS is not doing anything like paging code. The main uxn core's 
stacks and device page is located in the 0x8000 range of the bios core's 
ram so it can monitor what is held in the stacks and print them. The 
core is not doing any kind of multi-tasking, the bios is another uxn 
instance running its own programs in its own memory space.

I made this to simplify things and not bloat the emulator, if anything, 
this removes code from the emulator :)

Hi Virgil, and everyone :)

That's a good question, and there's a good answer to it.

To start off, varvara has had pagination for nearly as far as I can 
recall. One of the first projects Rek and I created for Uxn was Oquonie, 
which is around 400kb and that was many years ago, so the pagination 
feature is nothing new. It has been part of the docs for nearly as long, 
and it's a feature found in uxn5, uxnds, uxnemu, uxn32, raven, etc..

While uxnemu is the sort of standard cross-platform thing people are 
most likely to use, uxn11(the X11 implementation of uxn) is the one I 
use everyday, and I built it especially to respond to the needs I have 
of it, it's nearly identical with uxnemu except for a few things:

Here's an idea that doesn't need any special implementation, it should 
work right off in any catlang.

 > Basically: Sneaking a rewriting language in a concatenative language 
that operates on integers for manipulating bags of prime encoded reagents.

For example, let's say we want to make a fruit-cake from a fruit-salad 
and an apple-cake, we have three bags:

- A grocerybag {apple, apple, cherries, orange} = 5*5*13*11 = 3575
- A cabinet {flour, sugar} = 2*3 = 6
- A saladbowl{} = 0
- A cakepan{} = 0

Thanks! Merged :)

Wryl & I will be there and you can bet there will be lots of 
conversations about rewriting systems. If you can't afford time the time 
or money for the conference, let us know anyhow, I'm sure we'll have 
plenty of chats outside of the conference's hallways(aka @ KEXP).

https://handmadecities.com/seattle/

I will also have copies of Pocket Rewriting for anyone who wants a copy

https://lists.sr.ht/~rabbits/horadric/%3Ce3c95c81-5aaf-4474-85a8-f6bf62d4ba9d@100r.co%3E

See you there :)

Dll