Building a bare-metal bootable game for Raspberry Pi in C#

Re:Building a bare-metal bootable game for Raspberry Pi in C# by chrismsimpson on Monday December 11, 2023 @09:01AM (#38600695)

Mojo’s model looks interesting here. No GC and no ref counts, something akin to a reference count mechanism at compile time. Not sure how it works exactly and the documentation (as is the whole project) very alpha.

[ Parent | on HN ]

Re:Building a bare-metal bootable game for Raspberry Pi in C# by lambda_garden on Monday December 11, 2023 @09:46AM (#38601069)

The only way this can work in practice is restricting the memory patterns that the developer can use, which is what we see in Rust.

Is it impossible to prove memory safety in the general case due to the halting problem?

[ Parent | on HN ]

Re:Building a bare-metal bootable game for Raspberry Pi in C# by naasking on Monday December 11, 2023 @11:20AM (#38601907)

It's possible to permit arbitrary memory patterns by adding ref counts in specific ways:

https://www.microsoft.com/en-us/research/publication/perceus...

It's interesting how much there still is to discover in this space, despite decades of research.

[ Parent | on HN ]

Re:Building a bare-metal bootable game for Raspberry Pi in C# by pjmlp on Tuesday December 12, 2023 @02:19AM (#38610602)

It is like Xerox and ETHZ use of memory safe systems languages for graphical workstations, monetary and human issues hinder adoption of great research ideas.

[ Parent | on HN ]