Now I have a little bit of time on my hands (surprisingly little actually) I was doing a bit of retro programming.

And here's something I forgot: anyone remember when hard drives were called Winchester drives?

Now we have the Internet I can look these terms up and see how those names came about...

@dpiponi I'm increasingly wanting to go back to the 6502. It was just more fun working within those constraints and I bet it still is. And I felt (if probably incorrectly) that I had some idea how the machine worked underneath.

I wonder if I could make any useful fragment of a dependently typed language fit in 32k. Probably not but it'd be fun to try.

@edwinb Ha! My thoughts exactly But I was thinking statically typed because I don't know how to implement dependent typing. But yes, there is surely some fragment that could be built to fit in a 16K ROM (*) that could be burnt to an EPROM and run on a real Beeb :) I actually now have a nice setup (thanks to some AI) for doing ROM development on a Linux or MacOS host focused on text rather than graphics :)

(*) Hmmm...it could be split over multiple ROMs.

@dpiponi @edwinb it's not exactly the same but for the last few years i've really enjoyed working within the #uxn ecosystem [1] for similar reasons.

a stack machine with 64k of memory is powerful enough to do interesting things but with real constraints. (it's also nice that it can easily run on modern hardware, game systems, web browsers, and even some "retro" systems)

[1] https://git.sr.ht/~rabbits/uxn

~rabbits/uxn - Stack Ordinator, written in ANSI C(SDL2) - sourcehut git