MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
unix-like
Recherche

Ironclad OS project popping out Unix-like kernel in a unique mix of languages

lundi 10 novembre 2025, 18:15 , par TheRegister
There's more to safer systems languages than Rust
If you're looking for a Unix-like, POSIX-compatible, real-time kernel, there's no shortage of projects trying to build one. Ironclad stands out for using the Ada programming language and its formally verifiable SPARK subset.…
Lire la suite sur TheRegister
https://go.theregister.com/feed/www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/

Voir aussi

unix-like Love languages: Words, formulas, and PowerPoints—all $19.97 BoingBoing10 Nov
kernel [$] Magic kernel functions for BPF LWN.net10 Nov
out Kernel prepatch 6.18-rc5 LWN.net10 Nov
languages A proposed kernel policy for LLM-generated contributions LWN.net 9 Nov
ironclad Ironclad 0.7.0 and 0.8.0 released, adds RISC-V support OS News 9 Nov
there's Blue Origin Postpones Attempt to Launch Unique ''EscaPADE' Orbiters to Mars Slashdot 9 Nov
mix Blue Origin Livestreams Attempt to Launch Unique ''EscaPADE' Mission to Mars Slashdot 9 Nov
unique Lost Unix v4 Possibly Recovered on a Forgotten Bell Labs Tape From 1973 Slashdot 9 Nov
project 52-year-old data tape could contain only known copy of UNIX V4 TheRegister 7 Nov
popping Tape containing UNIX v4 found OS News 7 Nov
unix-like Amazon is Testing an AI Tool That Automatically Translates Books Into Other Languages Slashdot 6 Nov
kernel Google's Next Moonshot Is Putting TPUs In Space With 'Project Suncatcher' Slashdot 5 Nov
out LLMs are lousy at reading Asian languages, finds Singapore’s Grab TheRegister 4 Nov
languages Defeating KASLR by Doing Nothing at All (Project Zero) LWN.net 4 Nov
ironclad A new kernel port — to WebAssembly LWN.net 3 Nov
there's Kernel prepatch 6.18-rc4 LWN.net 3 Nov
mix Three stable kernel updates LWN.net 2 Nov
unique Les montages du dimanche, Saison 2 : Project VESA par LiquidHaus CowcotLand 2 Nov
project Canva Lance son « Système d'Exploitation Créatif » : Une plateforme unique de conception assistée par l'IA ZDNet.fr31 Oct
popping Une grosse collaboration CORSAIR et CD PROJECT RED pour les dix ans de The Witcher 3 CowcotLand30 Oct
News copyright owned by their original publishers | Copyright © 2004 - 2025 Zicos / 440Network
Date Actuelle
lun. 10 nov. - 21:01 CET