Raspberry Pi hardware supports a pretty wide range of operating systems, but its makers offer an official Raspberry Pi OS that's based on Debian Linux. The latest is based on Debian 13 "trixie" and brings a new theme and Control Centre application. #Linux #OperatingSystems #RaspberryPiOS #RaspberryPi https://www.raspberrypi.com/news/trixie-the-new-version-of-raspberry-pi-os/
Stefano Marinelli
boosted
The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:
https://tori.jutty.dev/updates/iganaq-ocaml/
iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.
Details are still vague, but Google's Rick Osterloh essentially confirmed that it's developing Android for laptop & desktop PCs, possibly as an end result of merging Android and ChromeOS. https://www.androidauthority.com/google-android-on-pc-qualcomm-snapdragon-summit-3600612/ #AndroidOnPC #OperatingSystems #Android #ChromeOS #Google
The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:
https://tori.jutty.dev/updates/iganaq-ocaml/
iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.
Stefano Marinelli
boosted
Some thoughts on the past six months daily driving Alpine Linux and why I don't think I'll stay on it
https://blog.jutty.dev/posts/half-an-year-on-alpine/
#AlpineLinux#Linux#VoidLinux #operatingsystem#OperatingSystems
Some thoughts on the past six months daily driving Alpine Linux and why I don't think I'll stay on it
https://blog.jutty.dev/posts/half-an-year-on-alpine/
#AlpineLinux#Linux#VoidLinux #operatingsystem#OperatingSystems