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:

https://paolozaino.wordpress.com/2025/08/08/merlin-os-building-trust-in-risc-os-merlin-with-formal-verification-methods/

#OperatingSystem #rustlang #rustproof #kernel #SoftwareEngineering #CodingLife #rust #programming #opensource

This weekend I forgot to post about the progresses on project #MerlinOS, sorry it has been a busy weekend. However lots of things, so check the thread for details, here is the current progress: 👇
https://riscoscommunity.org/projects/risc-os-merlin/

#riscos #risc_os #merlinOS

This weekend I had some time to continue working on Project Merlin, so progress tracking update!:
https://riscoscommunity.org/projects/risc-os-merlin/

#RISC_OS #riscos #kernel #rust #rustlang

Thread: I bought an Acorn Archimedes A310

This is the first consumer device with a RISC based processor (a few high end workstations preceded it) and the first wide public release of the ARM processor (the CPU inside of it is literally referred to as the ARM)

Managed to get it with the original cords, manuals, box for the monitor, mouse mat, and the purchase receipt  just had to get it back to Nottingham from Llandudno on the train...

#VintageComputing #acorn #archimedes #arm #vintage #VintageTechnology #RISC_OS

#ProjectMerlin work continues, and so do progresses:
More info/details on it's official page here:
https://riscoscommunity.org/projects/risc-os-merlin/

#risc_os #riscos #kernel #rust #RustLanguage #OperatingSystem

#RISC_OS I've put together a presentation page for #ProjectMerlin, which also includes a real-time progress update widget. This is to help answer questions I've received from various people. Please note: I am doign this for fun, I am NOT trying to save #riscos .

https://riscoscommunity.org/projects/risc-os-merlin/

#rust #RustLanguage #operatingSystem #programming