So, if you want to know what's going on this weekend with #MerlinOS (a brand new #RISC_OS redesigned from the ground up), check this blog post of mine:
paolozaino.wordpress.com/2025/08/08/m...
#OperatignSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming
paolozaino.wordpress.com/2025/08/08/m...
#OperatignSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming
Merlin OS: Building Trust in RISC OS Merlin with Formal Verification Methods
In this article, we’ll take a look at an important new effort I am adding to my operating system, Merlin OS: formal verification, using a set of tools available to all Rust developers, as wel…
paolozaino.wordpress.com
August 8, 2025 at 5:25 PM
So, if you want to know what's going on this weekend with #MerlinOS (a brand new #RISC_OS redesigned from the ground up), check this blog post of mine:
paolozaino.wordpress.com/2025/08/08/m...
#OperatignSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming
paolozaino.wordpress.com/2025/08/08/m...
#OperatignSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming