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 @dpiponi Maybe compile _to_ 6502, but run the compiler on some (VM) variant with "unlimited" address space?
@BoydStephenSmithJr @dpiponi perhaps, but the fun would really start when running it on an actual BBC B. Which seems quite a challenge...