Valuable News – 2026/04/27 via DiscoverBSD

The Valuable News series curates noteworthy updates, articles, and resources primarily related to UNIX/BSD/Linux systems. This edition highlights FreeBSD advancements, including its path toward NIST FIPS 140-3 compliance, performance optimizations for ZFS in high-density email storage, and the release of GhostBSD 26.1 based on FreeBSD 15.0.

#bsd #linux #linuxITA #unixITA #guufXMPP #guufITA #fedilug

https://discoverbsd.com/p/f193b05d45

Progetto molto interessante, grazie a @giacomo per la segnalazione

"Principia Softwarica is a series of books explaining how things work in a computer by describing with full details all the source code of all the essential programs used by a programmer. All the programs come from Plan 9 from Bell Labs, an operating system designed as the successor to Unix whose code is remarkably elegant and small. "

#plan9 #c #dev #education #guufITA #unixITA #linuxITA #fedilug

https://principia-softwarica.org/

Vitruvian is the human-centric Operating System. Built on Linux and inspired by BeOS, it brings the elegance and simplicity of a classic operating system to modern hardware — without sacrificing the power and hardware support that Linux provides.
Custom-built kernel modules and real-time patches deliver a responsive, low-latency desktop experience. The BeOS/Haiku API is supported on Linux with minimal to no changes...

#linuxITA #guufITA #unixITA #fedilug #haiku #beos

https://v-os.dev/

VitruvianOS 0.3 Debuts as Haiku-Inspired Linux OS Without X11 or Wayland

VitruvianOS 0.3 is the first public release, featuring a Haiku-inspired design and a custom graphics stack built on the Linux kernel, without X11 or Wayland.

#linux #haiku #beos #linuxITA #unixITA #guuf #guufITA #fedilug

https://linuxiac.com/vitruvianos-0-3-debuts-as-haiku-inspired-linux-os/

Why is 40-year-old programming language Ada hot again?

@programmazione

"Nei primi anni 2000 Ada è caduto in disgrazia come linguaggio di programmazione, a causa di strumenti costosi e della carenza di sviluppatori. Ma ora sembra che i suoi punti di forza fondamentali siano tornati di moda. Poiché il nostro mondo fa sempre più affidamento su software complessi, la necessità di un codice sicuro e affidabile è più che mai fondamentale."

#guufITA #adalang #dev

https://www.developer-tech.com/news/why-is-40-year-old-programming-language-ada-hot-again/

Saranno disponibili a breve gli snapshot pre-release di NetBSD 11

Questa sarà la prima release con supporto RISC-V, C23 e POSIX 2024.

#unix #unixITA #bsdITA #NetBSD #guufITA #guufXMPP #linuxITA #fedilug #riscv #C23 #posix2024

Raccolta di risorse gratuite per il linguaggio Ada e Spark

"Ada è un linguaggio all'avanguardia utilizzato per la realizzazione di software di importanza cruciale: dai microkernel e dai sistemi embedded in tempo reale di piccole dimensioni alle applicazioni aziendali su larga scala [...]

SPARK è un sottoinsieme di Ada analizzabile formalmente e un set di strumenti che porta la sicurezza matematica nella verifica del software."

#guufITA #dev #ada #guufxmpp #adalang

https://learn.adacore.com/