Ironclad OS tops the news: a Unix-like kernel crafted in Ada and SPARK, bringing formal verification to a real-time, POSIX-friendly world. 🧠🔐 Debian/GLIBC-like familiarity, MAC security, and growing portability—plus Gloire on top. Learn more: https://www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/ #IroncladOS #Ada #SPARK #UnixLike #OSDev #newz
Ironclad OS project popping out Unix-like kernel in a unique mix of languages

: There's more to safer systems languages than Rust

The Register
🚀 Presenting MyraOS: because what the world really needs is yet another x86 Unix-like OS built from scratch by a lone hacker with delusions of grandeur. 👨‍💻 Don't worry, folks, it's got GitHub buzzwords sprinkled like confetti to distract from its irrelevance. 🎉
https://github.com/dvir-biton/MyraOS #MyraOS #UnixLike #HackerNews #IndieDev #GitHubBuzz #HackerNews #ngated
GitHub - dvir-biton/MyraOS: A x86 Unix-like OS made entirely from scratch

A x86 Unix-like OS made entirely from scratch. Contribute to dvir-biton/MyraOS development by creating an account on GitHub.

GitHub
OpenBSD -current is now "7.8-current"

Now that OpenBSD-current is 7.8-beta, it is time to reprise "You Have Installed OpenBSD. Now For The Daily Tasks." https://nxdomain.no/~peter/openbsd_installed_now_for_the_daily_tasks.html (tracked version https://bsdly.blogspot.com/2024/09/you-have-installed-openbsd-now-for.html) to prepare :)

#openbsd #newrelease #78beta #upgrading #sysadmin #unixlike #devops #development

You Have Installed OpenBSD. Now For The Daily Tasks.

In one month (2025-09-25), there will be a "Network management with the OpenBSD Packet Filter Toolset" tutorial https://events.eurobsdcon.org/2025/talk/FW39CX/ at #eurobsdcon in #zagreb To register: https://2025.eurobsdcon.org/registration.html #openbsd #freebsd #networking #security #unixlike
Network Management with the OpenBSD Packet Filter Toolset (T5) EuroBSDCon 2025

The OpenBSD Packet Filter (PF) is at the core of the network management toolset available to professionals working with the OpenBSD and FreeBSD operating systems. Understanding the PF subsystem and the set of networking tools that interact with it is essential to building and maintaining a functional environment. The present session will both teach networking and security principles and provide opportunity for hands-on operation of the extensive network tools available on OpenBSD and FreeBSD in a lab environment. Basic to intermediate understanding of TCP/IP networking is expected and required for this session. Topics covered include The basics of and network design and taking it a bit further Building rulesets Keeping your configurations readable and maintainable Seeing what your traffic is really about with your friend tcpdump(8) Filtering, diversion, redirection, Network Address Translation Handling services that require proxying (ftp-proxy and others) Address tables and daemons that interact with your setup through them The whys and hows of network segmentation, DMZs and other separation techniques Tackling noisy attacks and other pattern recognition and learning tricks Annoying spammers with spamd Basics of and not-so basic traffic shaping Monitoring your traffic Resilience, High Availability with CARP and pfsync Troubleshooting: Discovering and correcting errors and faults (tcpdump is your friend) Your network and its interactions with the Internet at large Common mistakes in internetworking and peering Keeping the old IPv4 world in touch with the new of IPv6 The tutorial is lab centered and fast paced. Time allowing and to the extent necessary, we will cover recent developments in the networking tools and variations between the implementations in the OpenBSD and FreeBSD operating systems. Participants should bring a laptop for the hands on labs part and for note taking. The format of the session will be compact lectures interspersed with hands-on lab excercises based directly on the theory covered in the lecture parts. This session is an evolutionary successor to previous sessions. Slides for the most recent version of the PF tutorial session are up at https://nxdomain.no/~peter/pf_fullday.pdf, to be updated with the present version when the session opens.

This UNIX-based operating system looks like it's from the 90s, but it's still receiving updates

Explore SerenityOS, an open-source UNIX-like OS with a 90s aesthetic, custom core, and focus on productivity. Learn about its unique features, installation process, and suitability for power users.

XDA

FreeBSD is making strides toward supporting Plasma as an out-of-the-box installer option by the 15.0 release. That means a smoother setup for folks who want a functional desktop right from install

Check out the GitHub issue that’s driving this forward:

https://github.com/FreeBSDFoundation/proj-laptop/issues/25

Original post by @kkremitzki: https://mastodon.social/@kkremitzki/114866829934967996

It’s an exciting step forward for more desktop usability on FreeBSD. Thoughts?

#FreeBSD #KDE #PlasmaDesktop #OpenSource #UnixLike

EuroBSDCon 2025 — EuroBSDCon 2025

5 Linux Commands You’ve Probably Never Heard Of, by (not on Mastodon or Bluesky):

https://archive.fo/bNGsJ

#unixlike #commandline

EuroBSDCon 2025

Schedule, talks and talk submissions for EuroBSDCon 2025