:don:

Jay 🚩 :runbsd:From Ironclad Operating system Developer:"Since we are talking about the US...This 14 at 11 am PST Ironclad is having an online presentation at UC Berkeley's IEEE branch (the home of the BSD family of OSes) talking a bit about Ironclad as a project and how formal verification can help operating system development.Ill share here (whenever I have it) a jitsy link for joining the presentation for those interested"Even Gplv3 licensed project but interesting one for everyone interested in <a href="https://bsd.network/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://bsd.network/tags/RunBSD" class="mention hashtag" rel="nofollow noopener" target="_blank">#RunBSD</a>

jbzHaiku ❤ Nvidia (porting Nvidia GPU driver) <a href="https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520" rel="nofollow noopener" translate="no" target="_blank">https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520</a><a href="https://indieweb.social/tags/haikuos" class="mention hashtag" rel="nofollow noopener" target="_blank">#haikuos</a> <a href="https://indieweb.social/tags/beos" class="mention hashtag" rel="nofollow noopener" target="_blank">#beos</a> <a href="https://indieweb.social/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#opensource</a> <a href="https://indieweb.social/tags/nvidia" class="mention hashtag" rel="nofollow noopener" target="_blank">#nvidia</a> <a href="https://indieweb.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

Compsci WeeklyHaiku loves Nvidia (porting Nvidia GPU driver)<a href="https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520" rel="nofollow noopener" translate="no" target="_blank">https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520</a>Discussions: <a href="https://discu.eu/q/https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://discuss.haiku-os.org/t/haiku-nvidia-porting-nvidia-gpu-driver/16520</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/graphics" class="mention hashtag" rel="nofollow noopener" target="_blank">#graphics</a> <a href="https://mastodon.social/tags/haikuos" class="mention hashtag" rel="nofollow noopener" target="_blank">#haikuos</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

Compsci WeeklyThis Month in Redox - February 2025<a href="https://www.redox-os.org/news/this-month-250228/" rel="nofollow noopener" translate="no" target="_blank">https://www.redox-os.org/news/this-month-250228/</a>Discussions: <a href="https://discu.eu/q/https://www.redox-os.org/news/this-month-250228/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://www.redox-os.org/news/this-month-250228/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a>

Compsci WeeklyA Quick Journey Into the Linux Kernel<a href="https://www.lucavall.in/blog/a-quick-journey-into-the-linux-kernel" rel="nofollow noopener" translate="no" target="_blank">https://www.lucavall.in/blog/a-quick-journey-into-the-linux-kernel</a>Discussions: <a href="https://discu.eu/q/https://www.lucavall.in/blog/a-quick-journey-into-the-linux-kernel" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://www.lucavall.in/blog/a-quick-journey-into-the-linux-kernel</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#linux</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#unix</a>

Compsci WeeklyArcaOS 5.1.1 released (modern OS/2)<a href="https://www.arcanoae.com/wiki/arcaos/change-history-arcaos-5-1/" rel="nofollow noopener" translate="no" target="_blank">https://www.arcanoae.com/wiki/arcaos/change-history-arcaos-5-1/</a>Discussions: <a href="https://discu.eu/q/https://www.arcanoae.com/wiki/arcaos/change-history-arcaos-5-1/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://www.arcanoae.com/wiki/arcaos/change-history-arcaos-5-1/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/release" class="mention hashtag" rel="nofollow noopener" target="_blank">#release</a>

NerdNextDoor :Blobhaj:And over one and a half years later, with 1.1K posts, I reach 100 followers on <a href="https://mastodon.social/tags/Mastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mastodon</a>.This means a lot to me. Seriously, thank you everyone who has stuck with me through my <a href="https://mastodon.social/tags/OSDev" class="mention hashtag" rel="nofollow noopener" target="_blank">#OSDev</a> journey, to my <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> posts, to showing off my projects for all of you to see, it’s been a very fun experience.I will continue to post about my projects and my free time random acitivities so if you’re into anything I do or post about, drop me a follow! I’d appreciate it!Once again, thanks <a href="https://mastodon.social/tags/fedi" class="mention hashtag" rel="nofollow noopener" target="_blank">#fedi</a>.<a href="https://mastodon.social/tags/fediverse" class="mention hashtag" rel="nofollow noopener" target="_blank">#fediverse</a>

Compsci WeeklySunsetting Cursed Terminal Emulation<a href="https://arcan-fe.com/2025/01/27/sunsetting-cursed-terminal-emulation/" rel="nofollow noopener" translate="no" target="_blank">https://arcan-fe.com/2025/01/27/sunsetting-cursed-terminal-emulation/</a>Discussions: <a href="https://discu.eu/q/https://arcan-fe.com/2025/01/27/sunsetting-cursed-terminal-emulation/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://arcan-fe.com/2025/01/27/sunsetting-cursed-terminal-emulation/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

Lisp & Scheme WeeklySupreme Sexp System - SSS - a Lisp machine adventure<a href="https://codeberg.org/jjba23/sss" rel="nofollow noopener" translate="no" target="_blank">https://codeberg.org/jjba23/sss</a>Discussions: <a href="https://discu.eu/q/https://codeberg.org/jjba23/sss" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://codeberg.org/jjba23/sss</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>

Rust Weekly 🦀Rhai: An embedded scripting language for Rust<a href="https://github.com/rhaiscript/rhai" rel="nofollow noopener" translate="no" target="_blank">https://github.com/rhaiscript/rhai</a>Discussions: <a href="https://discu.eu/q/https://github.com/rhaiscript/rhai" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://github.com/rhaiscript/rhai</a><a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a>

C & C++ WeeklyBringing SerenityOS to real hardware, one driver at a time<a href="https://sdomi.pl/weblog/23-serenityos-realhw/" rel="nofollow noopener" translate="no" target="_blank">https://sdomi.pl/weblog/23-serenityos-realhw/</a>Discussions: <a href="https://discu.eu/q/https://sdomi.pl/weblog/23-serenityos-realhw/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://sdomi.pl/weblog/23-serenityos-realhw/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener" target="_blank">#cpp</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>

Compsci WeeklyPlan 9 -> Linux (2020)<a href="https://asyncial.github.io/plan-9-linux/" rel="nofollow noopener" translate="no" target="_blank">https://asyncial.github.io/plan-9-linux/</a>Discussions: <a href="https://discu.eu/q/https://asyncial.github.io/plan-9-linux/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://asyncial.github.io/plan-9-linux/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#linux</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/plan9" class="mention hashtag" rel="nofollow noopener" target="_blank">#plan9</a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#unix</a>

Compsci WeeklyAtmosphère is a work-in-progress customized firmware for the Nintendo Switch<a href="https://github.com/Atmosphere-NX/Atmosphere" rel="nofollow noopener" translate="no" target="_blank">https://github.com/Atmosphere-NX/Atmosphere</a>Discussions: <a href="https://discu.eu/q/https://github.com/Atmosphere-NX/Atmosphere" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://github.com/Atmosphere-NX/Atmosphere</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/nintendo" class="mention hashtag" rel="nofollow noopener" target="_blank">#nintendo</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

C & C++ WeeklyFREE C++ OS SOURCE CODE OF MINE!!! feel free to fork :D<a href="https://github.com/neksodebe/InsideOut-OS" rel="nofollow noopener" translate="no" target="_blank">https://github.com/neksodebe/InsideOut-OS</a>Discussions: <a href="https://discu.eu/q/https://github.com/neksodebe/InsideOut-OS" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://github.com/neksodebe/InsideOut-OS</a><a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener" target="_blank">#cpp</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>

Compsci WeeklyFedora Moves Towards Forgejo<a href="https://fedoramagazine.org/fedora-moves-towards-forgejo-a-unified-decision/" rel="nofollow noopener" translate="no" target="_blank">https://fedoramagazine.org/fedora-moves-towards-forgejo-a-unified-decision/</a>Discussions: <a href="https://discu.eu/q/https://fedoramagazine.org/fedora-moves-towards-forgejo-a-unified-decision/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://fedoramagazine.org/fedora-moves-towards-forgejo-a-unified-decision/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/fedora" class="mention hashtag" rel="nofollow noopener" target="_blank">#fedora</a> <a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#linux</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener" target="_blank">#unix</a> <a href="https://mastodon.social/tags/vcs" class="mention hashtag" rel="nofollow noopener" target="_blank">#vcs</a>

Rust Weekly 🦀VEKOS, a cryptographically verified hobby OS written in Rust<a href="https://github.com/JGiraldo29/vekos" rel="nofollow noopener" translate="no" target="_blank">https://github.com/JGiraldo29/vekos</a>Discussions: <a href="https://discu.eu/q/https://github.com/JGiraldo29/vekos" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://github.com/JGiraldo29/vekos</a><a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#rustlang</a>

André Machado :debian:Exploring OSDev: Building Your Own Operating System from ScratchOperating System Development (OSDev) is a fascinating field that empowers developers to understand and create the very core software that controls hardware resources, manages applications, and provides user interfaces.Read More: <a href="https://machaddr.substack.com/p/exploring-osdev-building-your-own" rel="nofollow noopener" target="_blank">https://machaddr.substack.com/p/exploring-osdev-building-your-own</a><a href="https://mastodon.sdf.org/tags/OSDEV" class="mention hashtag" rel="nofollow noopener" target="_blank">#OSDEV</a> <a href="https://mastodon.sdf.org/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#Programming</a> <a href="https://mastodon.sdf.org/tags/Network" class="mention hashtag" rel="nofollow noopener" target="_blank">#Network</a> <a href="https://mastodon.sdf.org/tags/Computer" class="mention hashtag" rel="nofollow noopener" target="_blank">#Computer</a> <a href="https://mastodon.sdf.org/tags/Science" class="mention hashtag" rel="nofollow noopener" target="_blank">#Science</a> <a href="https://mastodon.sdf.org/tags/Tutorial" class="mention hashtag" rel="nofollow noopener" target="_blank">#Tutorial</a> <a href="https://mastodon.sdf.org/tags/Operating" class="mention hashtag" rel="nofollow noopener" target="_blank">#Operating</a> <a href="https://mastodon.sdf.org/tags/Systems" class="mention hashtag" rel="nofollow noopener" target="_blank">#Systems</a> <a href="https://mastodon.sdf.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSource</a>

Lisp & Scheme WeeklyGuix User and Contributor Survey<a href="https://guix.gnu.org/blog/2024/guix-user-contributor-survey-2024/" rel="nofollow noopener" translate="no" target="_blank">https://guix.gnu.org/blog/2024/guix-user-contributor-survey-2024/</a>Discussions: <a href="https://discu.eu/q/https://guix.gnu.org/blog/2024/guix-user-contributor-survey-2024/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://guix.gnu.org/blog/2024/guix-user-contributor-survey-2024/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#lisp</a> <a href="https://mastodon.social/tags/nix" class="mention hashtag" rel="nofollow noopener" target="_blank">#nix</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a>

Compsci WeeklyQNX becomes free for non-commercial use<a href="https://www.osnews.com/story/141089/qnx-becomes-free-for-non-commercial-use-releases-raspberry-pi-4-image/" rel="nofollow noopener" translate="no" target="_blank">https://www.osnews.com/story/141089/qnx-becomes-free-for-non-commercial-use-releases-raspberry-pi-4-image/</a>Discussions: <a href="https://discu.eu/q/https://www.osnews.com/story/141089/qnx-becomes-free-for-non-commercial-use-releases-raspberry-pi-4-image/" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://www.osnews.com/story/141089/qnx-becomes-free-for-non-commercial-use-releases-raspberry-pi-4-image/</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

Compsci WeeklyA Dream of an Ultimate OS (1995)<a href="https://okmij.org/ftp/DreamOS.html" rel="nofollow noopener" translate="no" target="_blank">https://okmij.org/ftp/DreamOS.html</a>Discussions: <a href="https://discu.eu/q/https://okmij.org/ftp/DreamOS.html" rel="nofollow noopener" translate="no" target="_blank">https://discu.eu/q/https://okmij.org/ftp/DreamOS.html</a><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/osdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#osdev</a>

Recent searches

Search options

Administered by:

Server stats:

#osdev