|
Top-level
 @pry In the paper I linked up on top, if you can get over the snarky remarks ;), Backus goes on defining a few alternative futures, one of those is something like a stack machine. But there's a lot of different possibilities, the lisp machines don't really do anything special but are still worth looking into: http://wiki.xxiivv.com/docs/memo528_cadr.html You might get a kick out of the LispKit books(SECD-style), or the BQN VM(APL-style): 5 comments
 @pry You might want to look into OCCAM parallel computing, or Fredkin's BBM: http://cell-auto.com/bbm/2d/index.html Or, imagine a OISC that is just Fractran, its one task is to hold prime encoded numbers and multiply! There's so many cool designs out there to try. I'd love to see a combinatory computer where opcodes are permutations of the combinatorics :mocking: Or ternary! http://wiki.xxiivv.com/docs/dssp.txt Or linear! https://plover.com/~mjd/misc/hbaker-archive/ReverseGC.html @neauoire yea idk hardware design for these sorts of models is such a fascinating problem. this summer I'll be working at a company designing CPUs (am just doing software simulation work) but I rlly do want to spend some more time thinking about alternate methods of instantiating computation in hardware @neauoire ooh I have been meaning to look into SECD and yea just checked and the paper mentions Mago which looks like it might be another thread to look into |
Gregory's Server
@pry alternatively, you can imagine a Thue-like computer where its only instruction is string replacement, and how that might look like.
http://wiki.xxiivv.com/site/thue.html