Comment by pjmlp
3 months ago
While folks keep discussing C vs Rust, what got my attention was MicroPython and Pancake (https://trustworthy.systems/projects/pancake).
3 months ago
While folks keep discussing C vs Rust, what got my attention was MicroPython and Pancake (https://trustworthy.systems/projects/pancake).
When I read about Pancake, for a very short moment I was hoping for some Elan[1] influences…
1: https://os.inf.tu-dresden.de/L4/l3elan.html
For a short while, I ran the Eumel operating system and wrote an application in Elan. Among other interesting properties, files weren't saved, but were checkpointed by the OS. I enjoyed this exercise, although Eumel remained a very small niche.
Cool, thanks for the link.
I have not heard of Pancake, seems interesting. It led me to https://cakeml.org. Looking at https://github.com/CakeML/cakeml/blob/3194e00b69ce817cf47751..., I feel quite dumb. :P