home.social

#redoxos — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #redoxos, aggregated by home.social.

  1. Redox gets GTK3, Tcl

    Redox did the develop cools stuff thing again for a month, so we've got progress to talk about. This past month, GTK3 has been ported to Redox, as well as the Tcl programming language. Support for per-window fractional scaling has been added to Orbital, Redox' desktop environment, but it's still relatively limited for now. There's also new USB gamepad support, which already works in quite a few

    osnews.com/story/145500/redox-

    #RedoxOS

  2. Redox gets GTK3, Tcl

    Redox did the develop cools stuff thing again for a month, so we've got progress to talk about. This past month, GTK3 has been ported to Redox, as well as the Tcl programming language. Support for per-window fractional scaling has been added to Orbital, Redox' desktop environment, but it's still relatively limited for now. There's also new USB gamepad support, which already works in quite a few

    osnews.com/story/145500/redox-

    #RedoxOS

  3. Proportional Share Resource Allocation
    Algorithm For Real-Time, Time-Shared Systems: A Closer Look

    Sarah Barnes Haddix, April 2026

    sarah-haddix.github.io/assets/

    ”Now that the Earlist Virtual Deadline First algorithm, or EEVDF, is the default fair scheduler in the #Linux kernel¹, we present expanded examples and explanations for its core concepts and a discussion of the current implementation of the algorithm in Linux.”

    ¹ And also #RedoxOS
    redox-os.org/news/this-month-2

    #SchedulingAlgorithm

  4. Xfce ported to Redox OS

    Redox progressed another month, and that means a ton of improvements and new features to talk about. The biggest news this past month is that Xfce has been ported to Redox, which offers a better X11 experience than MATE currently does. There's still some bugs but apparently is works quite well. The porting process for the COSMIC desktop environment also progressed, with COSMIC's new Monit

    osnews.com/story/145234/xfce-p

    #RedoxOS

  5. Xfce ported to Redox OS

    Redox progressed another month, and that means a ton of improvements and new features to talk about. The biggest news this past month is that Xfce has been ported to Redox, which offers a better X11 experience than MATE currently does. There's still some bugs but apparently is works quite well. The porting process for the COSMIC desktop environment also progressed, with COSMIC's new Monit

    osnews.com/story/145234/xfce-p

    #RedoxOS

  6. Redox gets partial window pixel updating, tmux, and more

    Another month, another progress report, Redox, etc. etc., you know the drill by now. This past month Redox saw improved booting on real hardware by making sure the boot process continues even if certain drivers fail or become blocked. Thanks to some changes on the RISC-V side, running Redox on real RISC-V hardware has also im

    osnews.com/story/144901/redox-

    #RedoxOS

  7. Redox gets partial window pixel updating, tmux, and more

    Another month, another progress report, Redox, etc. etc., you know the drill by now. This past month Redox saw improved booting on real hardware by making sure the boot process continues even if certain drivers fail or become blocked. Thanks to some changes on the RISC-V side, running Redox on real RISC-V hardware has also im

    osnews.com/story/144901/redox-

    #RedoxOS

  8. Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

    youtu.be/SVGw0uY1dsQ

    #telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

  9. Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

    youtu.be/SVGw0uY1dsQ

    #telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

  10. Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

    youtu.be/SVGw0uY1dsQ

    #telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

  11. Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

    youtu.be/SVGw0uY1dsQ

    #telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

  12. Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

    youtu.be/SVGw0uY1dsQ

    #telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

  13. Redox OS won't boot on my Thinkpad T530. :blobcatverysad:

    I actually got further with Ventoy than with a bare USB key.

    #redoxos

  14. #RedoxOS bannit définitivement tout code généré par #IA : contributions détectées = suppression immédiate + exclusion du projet, une politique stricte adoptée aussi par #Fedora, #Gentoo et #LLVM face aux contributions de mauvaise qualité.

    #Debian barre la route aux bots et au code des IA génératives.
    "sauf relecture humaine substantielle."
    Donc pas totalement fermé 🤔

    :noai: #NoAI #BanAI #Linux #OpenSource #FLOSS #FOSS #Environnement

    lsdm.live/2026/04/10/redox-os-

  15. Redox sees another months of improvements

    The months keep coming, and thus, the monthly progress reports keep coming, too, for Redox, the new general purpose operating system written in Rust. This past month, there's been considerable graphics improvements, better deadlock detection in the kernel, improved Unicode support thanks to switching over to ncurses library variant with Unicode support,

    osnews.com/story/144762/redox-

    #RedoxOS

  16. Redox sees another months of improvements

    The months keep coming, and thus, the monthly progress reports keep coming, too, for Redox, the new general purpose operating system written in Rust. This past month, there's been considerable graphics improvements, better deadlock detection in the kernel, improved Unicode support thanks to switching over to ncurses library variant with Unicode support,

    osnews.com/story/144762/redox-

    #RedoxOS

  17. 🦀 Redox OS — the Rust microkernel OS — has banned all AI/LLM-generated contributions.

    Their reasoning:
    ❌ LLMs produce code that "looks correct" but hides subtle bugs
    ❌ No chain of accountability for AI-written system code
    ❌ Legal risk from training data copyright
    ❌ Erosion of contributor understanding

    For OS-level code, this position makes sense. Every line of kernel code has a human who understands it.

    Full analysis:
    newsgroup.site/redox-os-ai-cod

    #RedoxOS #Rust #OpenSource #AI #Linux #Privacy

  18. Redox gets new CPU scheduler

    Another major improvement in Redox: a brand new scheduler which improves performance under load considerably.

    We have replaced the legacy Round Robin scheduler with a Deficit Weighted Round Robin scheduler. Due to this, we finally have a way of assigning different priorities to our Process contexts. When running under light load, you may not notice any difference, but under

    osnews.com/story/144733/redox-

    #RedoxOS

  19. Redox gets new CPU scheduler

    Another major improvement in Redox: a brand new scheduler which improves performance under load considerably.

    We have replaced the legacy Round Robin scheduler with a Deficit Weighted Round Robin scheduler. Due to this, we finally have a way of assigning different priorities to our Process contexts. When running under light load, you may not notice any difference, but under

    osnews.com/story/144733/redox-

    #RedoxOS

  20. 🚀 nowości w projekcie #RedoxOS redox-os.org/news/

    To w sumie jest pierwszy system napisany w RUST , obserwuje go od 2 lat rośnie, może w końcu da się go uruchomić w wirtualce

    Istnieją też inne projekty "Rust-only":
    #TheseusOS: Eksperymentalny system badający nowe sposoby działania struktur OS.
    #Kerla: Jądro systemu napisane w Rust, które próbuje być kompatybilne z binariami Linuxa.
    #Tock: System operacyjny czasu rzeczywistego (RTOS) dla internetu rzeczy (IoT) – również w całości w #Rust.

  21. Capability-based security for Redox: namespace and CWD as capabilities

    By reimplementing these features using capabilities, we made the kernel simpler by moving complex scheme and namespace management out of it which improved security and stability by reducing the attack surface and possible bugs. At the same time, we gained a means to support more sandboxing feature

    osnews.com/story/144701/capabi

    #RedoxOS

  22. Capability-based security for Redox: namespace and CWD as capabilities

    By reimplementing these features using capabilities, we made the kernel simpler by moving complex scheme and namespace management out of it which improved security and stability by reducing the attack surface and possible bugs. At the same time, we gained a means to support more sandboxing feature

    osnews.com/story/144701/capabi

    #RedoxOS

  23. Redox bans code regurgitated by “AI”

    Redox, the rapidly improving general purpose operating system written in Rust, has amended its contribution policy to explicitly ban code regurgitated by "AI".

    Redox OS does not accept contributions generated by LLMs (Large Language Models), sometimes also referred to as "AI". This policy is not open to discussion, any content submitted that is clearly labe

    osnews.com/story/144574/redox-

    #RedoxOS

  24. Redox bans code regurgitated by “AI”

    Redox, the rapidly improving general purpose operating system written in Rust, has amended its contribution policy to explicitly ban code regurgitated by "AI".

    Redox OS does not accept contributions generated by LLMs (Large Language Models), sometimes also referred to as "AI". This policy is not open to discussion, any content submitted that is clearly labe

    osnews.com/story/144574/redox-

    #RedoxOS

  25. 🎉 Redox OS, the hipster operating system nobody asked for, is now proudly enforcing a Certificate of Origin and banning LLMs like it's the 1990s! 🚫📜 Because nothing says "cutting-edge" quite like retro bureaucracy and a firm stance against those pesky large language models. 😏💻
    gitlab.redox-os.org/redox-os/r #RedoxOS #RetroBureaucracy #NoLLMs #HipsterTech #CertificateOfOrigin #HackerNews #ngated

  26. 🎉 Redox OS, the hipster operating system nobody asked for, is now proudly enforcing a Certificate of Origin and banning LLMs like it's the 1990s! 🚫📜 Because nothing says "cutting-edge" quite like retro bureaucracy and a firm stance against those pesky large language models. 😏💻
    gitlab.redox-os.org/redox-os/r #RedoxOS #RetroBureaucracy #NoLLMs #HipsterTech #CertificateOfOrigin #HackerNews #ngated

  27. @pointlessone @rayk @tomekw There are frameworks in the making aiming for that, more over there are frameworks aiming at that with use of WebAssembly instead of JavbaScript on the browser side. It's just complex problem to crack. Rails is 21 years old.

    The point was you're focused on web frameworks ignoring tons of other stuff built from zero within last 5-6 years, including adding #Rust to #Linux Kernel, #RedoxOS, #Cosmic Desktop and embedded ecosystems.

  28. @pointlessone @rayk @tomekw There are frameworks in the making aiming for that, more over there are frameworks aiming at that with use of WebAssembly instead of JavbaScript on the browser side. It's just complex problem to crack. Rails is 21 years old.

    The point was you're focused on web frameworks ignoring tons of other stuff built from zero within last 5-6 years, including adding #Rust to #Linux Kernel, #RedoxOS, #Cosmic Desktop and embedded ecosystems.

  29. Redox gets NodeJS, COSMIC’s compositor, and much more

    February has been a busy month for Redox, the general purpose operating system written in Rust. For instance, the COSMIC compositor can now run on Redox as a winit window, the first step towards fully porting the compositor from COSMIC to Redox. Similarly, COSMIC Settings now also runs on Redox, albeit with only a very small numbe

    osnews.com/story/144554/redox-

    #RedoxOS

  30. Redox gets NodeJS, COSMIC’s compositor, and much more

    February has been a busy month for Redox, the general purpose operating system written in Rust. For instance, the COSMIC compositor can now run on Redox as a winit window, the first step towards fully porting the compositor from COSMIC to Redox. Similarly, COSMIC Settings now also runs on Redox, albeit with only a very small numbe

    osnews.com/story/144554/redox-

    #RedoxOS

  31. #RedoxOS: “Wildan Mubarok fixed #Nushell which was not working for some time. He also dropped our fork and switched to latest upstream code.”

    redox-os.org/news/this-month-2

  32. Eventuell doch ein anderes ISO-Image ausprobieren. #redoxos

  33. Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

  34. Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

    #RedoxOS #Unix #UnixLike

  35. Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

    #RedoxOS #Unix #UnixLike

  36. Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

    #RedoxOS #Unix #UnixLike

  37. Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

    #RedoxOS #Unix #UnixLike

  38. CW: 2023 (Personal)

    Goal:
    Untangle my computer use from any commercial/capitalist presets...

    xkcd.com/743/
    mastodon.social/@mcc/109683380

    For 2023 a #LibreComputer AML-S905X-CC (#LePotato) (2GB) is my personal base level hardware platform

    Anything I develop/make has to be usable on the current base level hardware platform

    toadwater.net/Permacomputing.h

    viznut.fi/texts-en/

    "A useful frame of mind is thinking about your computer as offline first. You work with your computer and occasionally have network access. This usually means having data locally and occasionally synchronizing it with others."

    #LocalFirst #OfflineFirst
    #FrugalComputing #SustanableComputing #NetZeroComputing

    Expect to run zsh, X11, openbox(?), Emacs, terminal, neomutt, newsboat, mastodon?, tor, i2p?

    Test if Gnome is usable... ? xfce? CDE? is GnuStep still active? no desktop?

    Get used to do #Email, #UseNet, #Gopher, #IRC, #RSS in #terminal or #Emacs

    Use #Emacs and #TeΧ to write (dead tree) letters and missives (PDF?)

    Maybe do more in #RawText?

    Do callender things again on paper/pencil, #43folders, Whiteboard, etc.. physical things

    Expand use of Gopher, Gemini, IndieWeb?

    IM.. #XMPP via Dino? +OMEMO

    Find a sustainable open source alternative for keybase? Or develop a distributed alternative using tor or i2p? Trust via FOAF?

    Develop in #Pascal, #Lisp, #Ruby, #Haskell, #Scheme, #Forth :D

    #DigitalBarn
    #DigitalShed?

    Keep repositories in #mercurial,
    maybe source hut?

    #DigitalDorm?

    Find an #anonymous #pseudonymous hosting solution... shell account?... like rawtext.club, tildeverse.org, sdf.org .. ...my own?

    Get a low power #amd64 box? bc too many FOSS projects are still not platform independent & x86 only v.v

    Optimize to run many VMs?

    Maybe can run #android in VM and run banking, insurance, and other apps there? Otherwise maybe get an used M1 mac and run the #iOS apps? perhaps some <100 euro android phones will do as well? otherwise get an iPad mini and use that for the next 5-6 yrs

    Maybe set up a #FileServer (#NAS?) maybe even network boot? and perhaps even a #Postgresql database? Is having SQL DB available on the local network going to be useful? What about other databases?

    #DigitalStreams (#FediVerse?)

    #DigitalCampfires (#Tumblr? Blogs?)

    #DigitalGardens
    (#Wiki?)

    maggieappleton.com/garden-hist

    tomcritchlow.com/2018/10/10/of

    wiki.c2.com/?WikiGardener

    joelhooks.com/digital-garden

    Bring #DigitalGardens to the "#TheDarkNet" and set up basecamp there, #tor onion services, a p2p chat/IM app, etc.. also explore #i2p and see how to simplify using it.

    #DigitalHome?
    (Tilde?)

    Get back into #AI (but forget Artificial Intelligence, Artificial Innocence?) I want Augmented Intelligencekm

    Explore as many other fun projects as well ... Who knows, I might like them and use them more often...
    eg: #Guix #FreeBSD #OpenBSD #NetBSD #Minix #RiscV #Plan9 (#9Front) #RedoxOS #SmallTalk (#Pharo) #GoLang #RetroComputing #System7 #RiscOS #HaikuOS #Forth #Microcontrollers #68K #MIPS #PowerPC #HomeBrewComputer

    ——

  39. CW: 2023 (Personal)

    Goal:
    Untangle my computer use from any commercial/capitalist presets...

    xkcd.com/743/
    mastodon.social/@mcc/109683380

    For 2023 a #LibreComputer AML-S905X-CC (#LePotato) (2GB) is my personal base level hardware platform

    Anything I develop/make has to be usable on the current base level hardware platform

    toadwater.net/Permacomputing.h

    viznut.fi/texts-en/

    "A useful frame of mind is thinking about your computer as offline first. You work with your computer and occasionally have network access. This usually means having data locally and occasionally synchronizing it with others."

    #LocalFirst #OfflineFirst
    #FrugalComputing #SustanableComputing #NetZeroComputing

    Expect to run zsh, X11, openbox(?), Emacs, terminal, neomutt, newsboat, mastodon?, tor, i2p?

    Test if Gnome is usable... ? xfce? CDE? is GnuStep still active? no desktop?

    Get used to do #Email, #UseNet, #Gopher, #IRC, #RSS in #terminal or #Emacs

    Use #Emacs and #TeΧ to write (dead tree) letters and missives (PDF?)

    Maybe do more in #RawText?

    Do callender things again on paper/pencil, #43folders, Whiteboard, etc.. physical things

    Expand use of Gopher, Gemini, IndieWeb?

    IM.. #XMPP via Dino? +OMEMO

    Find a sustainable open source alternative for keybase? Or develop a distributed alternative using tor or i2p? Trust via FOAF?

    Develop in #Pascal, #Lisp, #Ruby, #Haskell, #Scheme, #Forth :D

    #DigitalBarn
    #DigitalShed?

    Keep repositories in #mercurial,
    maybe source hut?

    #DigitalDorm?

    Find an #anonymous #pseudonymous hosting solution... shell account?... like rawtext.club, tildeverse.org, sdf.org .. ...my own?

    Get a low power #amd64 box? bc too many FOSS projects are still not platform independent & x86 only v.v

    Optimize to run many VMs?

    Maybe can run #android in VM and run banking, insurance, and other apps there? Otherwise maybe get an used M1 mac and run the #iOS apps? perhaps some <100 euro android phones will do as well? otherwise get an iPad mini and use that for the next 5-6 yrs

    Maybe set up a #FileServer (#NAS?) maybe even network boot? and perhaps even a #Postgresql database? Is having SQL DB available on the local network going to be useful? What about other databases?

    #DigitalStreams (#FediVerse?)

    #DigitalCampfires (#Tumblr? Blogs?)

    #DigitalGardens
    (#Wiki?)

    maggieappleton.com/garden-hist

    tomcritchlow.com/2018/10/10/of

    wiki.c2.com/?WikiGardener

    joelhooks.com/digital-garden

    Bring #DigitalGardens to the "#TheDarkNet" and set up basecamp there, #tor onion services, a p2p chat/IM app, etc.. also explore #i2p and see how to simplify using it.

    #DigitalHome?
    (Tilde?)

    Get back into #AI (but forget Artificial Intelligence, Artificial Innocence?) I want Augmented Intelligencekm

    Explore as many other fun projects as well ... Who knows, I might like them and use them more often...
    eg: #Guix #FreeBSD #OpenBSD #NetBSD #Minix #RiscV #Plan9 (#9Front) #RedoxOS #SmallTalk (#Pharo) #GoLang #RetroComputing #System7 #RiscOS #HaikuOS #Forth #Microcontrollers #68K #MIPS #PowerPC #HomeBrewComputer

    ——

  40. Just curious, anyone daily-driving an OS other than Mac, Win, Linux, BSD, or Plan9?

    Anyone bold enough for daily-driving , , , , , , (please, no), / , , or other? ;)

  41. Just curious, anyone daily-driving an OS other than Mac, Win, Linux, BSD, or Plan9?

    Anyone bold enough for daily-driving #hpux, #aix, #aros, #morphos, #haiku, #qnx, #templeos (please, no), #MenuetOS / #KolibriOS, #ContikiOS, #RedoxOS or other? ;)