#MerlinOS

Latest posts tagged with #MerlinOS on Bluesky

Trending

#Ukraine Conflict #U.S. Foreign Policy #F1 #Chinese Grand Prix #SNL #Venezuela Baseball #AEW Collision #Six Nations #Newcastle United #Arsenal vs Everton #Ukraine Conflict #U.S. Foreign Policy #F1 #Chinese Grand Prix #SNL #Venezuela Baseball #AEW Collision #Six Nations #Newcastle United #Arsenal vs Everton

Posts tagged #MerlinOS

Paolo Fabio Zaino ☮️🌍💻🎸🎮☕️🍩🍕

@paolofabiozaino.bsky.social

3 months ago

Merlin: A Modern, Memory-Safe Kernel and Platform Merlin is a work-in-progress operating system kernel and platform, designed to explore what RISC OS might have become if reimagined with modern engineering principles.

💻 Weekend project: I finally got time to update the #MerlinOS presentation with the newest features:

paolozaino.wordpress.com/portfolio/me...

#OperatingSystem #KernelDevelopment #SystemsProgramming #EmbeddedSystems #MemorySafety #FormalVerification #OpenSource #SoftwareEngineering #LowLevel

5 1 2 0

Paolo Fabio Zaino ☮️🌍💻🎸🎮☕️🍩🍕

@paolofabiozaino.bsky.social

7 months ago

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…

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

2 2 0 0

Paolo Fabio Zaino ☮️🌍💻🎸🎮☕️🍩🍕

@paolofabiozaino.bsky.social

7 months ago

RISC OS Merlin (MerlinOS) progresses weekend 02/03 August 2025

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: 👇
riscoscommunity.org/projects/ris...

2 3 1 0