Fantastic! Is there something like this also for the scratch and hiss of old LP vinyl records? And the various types of squeals, crackles and fuzz of old ham radio setups? Never found anything that can really simulate those well.
I like how the McCarthy's paper maps the fundamental operations to machine instructions and memory model. It's like something you can actually implement.
Cool! Thanks for the hard work, and the insight. For those of us that don't speak Verilog, do you have a paper or some other writeup of the things that make MMIX less than ideal? Other than the scaling up/scaling down. Does that primarily consist of the 256 registers? Neither more or less?
Wow, that video is a lecture by one of the leaders of RISC-V. I had no idea there was a RISC-2 and RISC-3, and that they were optimized for SmallTalk and Lisp respectively. Wonder what Alan Kay has to say about RISC-V? He's been banging on about how Intel messed up their chip design, does he approve of RISC-V? Seems like the perfect time to get things done right.
So, how does RISC-V compare with Donald Knuth's MMIX instruction set? Did they use it as a starting base? Consider it at all? Be cool to program MMIX in actual hardware.