2022-06-02 05:44:54 <lilo_booter > lagash: i'm also experimenting with rust, and wrote this while learning it: https://gitlab.com/lilo_booter/rrpn (it's an interprerter rather than a virtual machine/compiler) - the demo has a pretty cool game of life in there :)
2022-06-02 06:04:09 <lilo_booter > looking at the rust code there, i see he does stuff like: let v1 = x.dstack.pop(); let v2 = x.dstack.pop(); x.dstack.push( v1 OP v2 ); - this can be made a lot more efficient by avoiding the second pop and getting a mutable ref instead
2022-06-02 06:04:37 <lilo_booter > also, he could go further with macros to reduce the line count
2022-06-02 06:05:01 <lilo_booter > (though 500 lines is pretty decent for what he has :))
2022-06-02 12:52:01 <tangentstorm> lispmacs[work]: https://github.com/sabren/b4/tree/main/turbo  (although that readme is out of date). i'm trying to slowly bring it in line with the version in ../j (which has a good start on a self-hosted assembler)
2022-06-02 13:26:14 <lispmacs[work]> tangentstorm: when I try to "make retro", it fails because it fails to clone the other libs, e.g.:
2022-06-02 13:26:20 <lispmacs[work]> fatal: clone of 'git@github.com:tangentstorm/aggpasmod.git' into submodule path '/home/christopher/Repos/b4/lib/aggpas' failed
2022-06-02 13:26:27 <lispmacs[work]> git@github.com: Permission denied (publickey).
2022-06-02 13:31:18 <lagash      > siraben: Aha! I forgot you were involved in Coq! Reminds me, I didn't re-join #coq after I switched bouncers..
2022-06-02 13:31:40 <lagash      > are you aware of any more formalization of Forth-likes?