The BSDCan streams can be found on Youtube, https://www.youtube.com/@BsdcanOrg along with recordings from earlier conferences.

Also see https://www.bsdcan.org/2025/ for livestream info

#bsdcan #bsd #conference #freebsd #openbsd #netbsd #unix #development #devops #freesoftware #libresoftware

Formal-Ed – a formalized line editor in Coq. It provides an implementation of a line editor in Coq, and then prove that it is a complete text editor. https://archiveapp.org/formal-ed/ #texteditor #linux #bsd #unix

My #OpenBSD blog setup got mentioned in the BSDNow.tv Podcast (In the Feedback section) :-) https://www.bsdnow.tv/614 #BSD #podcast #runbsd

#BSD #RunBSD #Unix #FOSS #UseBSD

#Linux is VHS and #BSD is Betamax. While BSD is technically better, Linux won anyway.

Migrating to FreeBSD -CURRENT with pkgbase using Boot Environments | https://սարեան.ցանցառներ.հայ/s/evs95b | https://antranigv.am/posts/2025/06/migrating-to-freebsd-current-with-pkgbase-using-boot-environments/ | #BSD

Next at #bsdcan, in the plenary room - "A distributed filesystem for OpenBSD" by Rob Keizer https://indico.bsdcan.org/event/5/contributions/115/ #conference #bsd #filesystem #openbsd #freesoftware #libresoftware

@eamon @neauoire

Well said!

Like, "Here's a #BSD. You may or may not even get a GUI, but everything is beautifully documented and fairly understandable."

Vs, "Here's a Linux. It's got a gorgeous interface hiding a eldritch horror of corporate-spewed components and dozens of millions of lines of code complexity."

Disclaimer: I use, daily-drive, and love Linux. Some days, I just want to use the pretty GUI and not worry about the underparts. But the underparts are there, and getting more complex and unwieldy by the hour.

Another example: look at the Harrier "Jump Jet" vs. the F-35.

The Harrier's RCS (reaction control system) is very simple, just a series of jet exhaust ports directly linked (hydraulically??) to the main yoke. The F-35 is an incredibly complex system of avionics.

I'm not saying that an F-35 could vertically land an F-35 or anything silly like that, but it's an order of magnitude easier to fly (AIUI) than the Harrier, which requires constant input from the pilot.

So often, simplicity and elegance in the system (e.g., Harrier, BSD) is inversely linked to external/surface ease-of-use (e.g., F-35, Linux).

(If anyone is familiar with the F-35 or Harrier and would like to correct any factual errors (considering my understanding of those systems are less than surface/casual), I would absolutely appreciate it)

Wishing all the #BSD folks a great time at #BSDCan

Want to speak at EuroBSDcon 2025? You have one week to submit via https://events.eurobsdcon.org/2025/ (until 2025-06-21)

Main conferfence site: https://2025.eurobsdcon.org/, Sponsoring: https://2025.eurobsdcon.org/sponsorship.html

See you in Zagreb!

#eurobsdcon #bsd #conference #freebsd #openbsd #netbsd #unix #development #devops #freesoftware #libresoftware @eurobsdcon

Next up at #bsdcan plenary room, "Why (and how) we're migrating many of our servers from Linux to the BSDs" by Stefano Marinelli https://indico.bsdcan.org/event/5/contributions/123/ #conference #bsd #freebsd #openbsd #netbsd #freesoftware #libresoftware

Quick question to #FreeBSD and #NetBSD C programmers! I've got a printf() issue.

I've got some code [here}(https://gist.github.com/thelastpsion/74c1d776c4a588fba8a28d2d792adb3d) that I'm trying to compile. Works fine on Linux and Haiku, but I'm getting absolutely no output from printf() on FreeBSD or NetBSD.

What am I doing wrong?

#runbsd #bsd

One done, the other still in process. ​​ #FreeBSD #RunBSD #BSD

Quixe – a pure-Javascript interpreter for the Glulx IF virtual machine. It can play any Glulx game file (.ulx or .gblorb) in a web browser. It does not require a server component; it runs entirely in the browser. https://archivegame.org/quixe/ #game #emulator #linux #osx #windows #bsd #unix #solaris

Also, now that things are quieter today, gonna #FreeBSD 14.3 all the FreeBSD things. ​​ #RunBSD #BSD

New discovery: A rank 4 rational subgroup on elliptic curve 5077a1

We discovered four rational points on 5077a1 that are linearly independent of Sage’s known basis. Canonical height matrix confirms full rank. This suggests the true rank is ≥ 4 and that Sage’s basis lies outside the discovered lattice.

📝 Preprint + scripts + coordinates:
https://doi.org/10.5281/zenodo.15651876

Comments, verification, and feedback welcome!

#math #numbertheory #ellipticcurves #LMFDB #BSD

FreeBSD 14.3 with major advances in the WiFi stack

FreeBSD has been somewhat weak in the WiFi stack. With FreeBSD 14.3 and considering the upcoming FreeBSD 15, the developers are focusing precisely on this.

https://www.heise.de/en/news/FreeBSD-14-3-with-major-advances-in-the-WiFi-stack-10443360.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

#Betriebssystem #BSD #FreeBSD #IT #news

@lfa #X11 rather than #Wayland for me is my choice at the moment. I have a huge soft spot for #BSD - it was the first UNIX I used in 1982 and SunOS was never quite the same after v3.5!

#FOSS is all about options:

- I chose not to use #RedHat systems 28 years ago.
- I chose not te use #GNOME 15 years ago
- I chose not to use #SystemD 6 years ago.

- I choose to accelerate the migration of all the Linux based systems I can to #BSD systems because:
- I choose to keep up with the #UNIX way
- I choose to use stable systems which don't change for the sake of change
- I choose to be part of healthier communities, that don't promote monoculture or fall so easily into arrogance

I often think about creating a new window manager. Maybe for #FreeBSD. It could be inspired by Apple. Now might be the right time, since #Gnome has shifted in another direction. The Aqua-looking buttons could be replaced with something else, that's not important at the moment. There are also a lot of opportunities to create an interesting dock that is more interactive, similar to what Enlightenment #WM did, but in a more stylish way. Who wants to help me with the code?

#ui #windowmanager #bsd

Alt...

New Window Manager for FreeBSD

FreeBSD 14.3 mit großen Fortschritten beim WiFi-Stack

Bislang schwächelte FreeBSD etwas beim WiFi-Stack. Mit FreeBSD 14.3 und in Hinblick auf das kommende FreeBSD 15 fokussieren sich die Entwickler genau darauf.

https://www.heise.de/news/FreeBSD-14-3-mit-grossen-Fortschritten-beim-WiFi-Stack-10443153.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon

#Betriebssystem #BSD #FreeBSD #IT #news

@BenBen @fabiscafe @okapi @chesheer I don't deny this to be a problem, far from it.

• In an ideal world, stuff would be portable enough that the underlying init (and Userland in general) as well as Kernel didn't matter and merely be a different config file.

In reality, a substantial part of #Gnome devs (or at least contributors) are paid by the 3 major #Linux distros (#RHEL, #SLED, #Ubuntu) and whilst not being antragonistic towards #BSD|s don't get employed to enshure it runs on #FreeBSD, but that it runs better on the distro their employer is selling…

• And given that these projects don't have infinite resources and espechally maintainers I don't blame them to redelegate a lot of work to #SystemD instead of reimplementing something themselves.

OFC it's saddening in regards to non-Linux #Unix-esque OSes, but given self-amplifying network effects both the murder of #OpenSolaris at the hands of #Oracle (with @EUCommission and #FTC as enablers!) and @iXsystems ditching #FreeBSD in #trueNAS alongside regressing #driver support for hardware outside of Linux, #macOS and #Windows, it's not a good time for these projects.

• Which is bad because BSDs and other OSes force Linux to innovate and 'get gud'!

Novius OS – an open-source PHP content management system (CMS) designed as an applications platform, hence the ‘OS’ suffix. Novius OS is built with the MVC framework, FuelPHP. https://archiveapp.org/novius-os/ #cms #linux #osx #windows #bsd #unix

Alt...

cms novius os

@fabiscafe @okapi OFC @chesheer 's criticism is understandable on #FreeBSD given that #SystemD is inherenty focussed and intertwined with #Linux (just as it's Inspiration, #LaunchD, is intertwined with #macOS's Darwin/NeXTstep kernel).

• The problem is after some hefty "init wars" with like #Upstart and others SystemD became the de-facto standard, and the "(statistical) rounding errors" of #BSD users got sidelined, in part because BSDs looked at that mess and went like "Nyet, SysVinit is fine!" and continued their fiddling around...

And sadly there's nothing they (or anyone else) could've done unless they had multiplied suddenly and being able to keepcthe old tech stack maintainable.

• Similarly #Xorg is dying and there are already GPUs that only support #Wayland and #X11 apps get run using #XWayland.

OFC I wish for more diversity in solutions, but #Linux being #streamlined is what makes #portability across distros easier and boosted adoption as well as providing massive gains in solutions like #DXVK, #Proton and #Wine in general.

• And TBH most "#TechIlliterates" aka. "#Normies" frankly don't give a shit what OS they use. All it needs to do is serve them their eMails and allow them to 'consoom themselbes happy' as in watching YouTube, Play games, etc.

#BSD #UseBSD $RunBSD #unix #FOSS

@sehnsucht

Interesting. I don't have much choice though - if you look at man newfs NetBSD there are three FFS options, if you search for ‘which file systems are best supported by OpenBSD’ you get FAT and FFS.

And if you suggest looking at Illumos, I think even FreeCAD would be hard to use as they clearly don't like AMD GPUs there😉 #bsd

https://github.com/illumos/gfx-drm

@mitch

I think a lot of it is "you use what you know," and some folks have used #BSD for a long time.
Another part of it is that the BSDs give you the sense of being an operating system, and not just a massive assemblage of parts that can change radically at any given minute for no really good reason (RIP ifconfig).
Also, there are things that the various BSDs excel at that aren't necessarily Linux's strengths. It could be NetBSD's amazing support for retro hardware (including earlyish 1990s Macintoshes!), FreeBSD's excellent Jails containers, bhyve vms, or networking performance (or ZFS), or OpenBSD's balls-to-the-wall emphasis on security (which you'll probably either love or hate).

He might be busy today, but I'll tag @stefano, who's a BSD guy, well-spoken, and exceptionally kind. 🥹

Also, this talk by Deb Goodkin, the head of the FreeBSD Foundation is a good starting point, and helped me understand a lot when I started getting interested in BSD a couple years ago:

https://inv.nadeko.net/watch?v=w6oGeTm95no

https://www.youtube.com/watch?v=w6oGeTm95no

@mitch

Wrong BSD, I think. #OpenBSD only natively supports Berkeley FFS.

Here's my own newbie-ish view of the three major BSDs:

#FreeBSD:

• Almost Linux-like, but better in some ways, because it's an OS project, not a collection of parts
• SO MANY FEATURES
• Ok hardware compatibility. Ask someone when shopping for FreeBSD hardware to be sure everything's well-supported
• Fast as heck (particularly networking performance)
• No GUI out of the box, you have to do a wee bit of installing & configuring
• Good "online" documentation (manpages), excellent manual PDF
• ZFS is what bcachefs wishes it will become, not sorry
• Has a TUI installer, can do full-disk encryption in the installer
• The most popular #BSD
• Popular forks like MidnightBSD and NomadBSD provide GUIs and GUI installers

#OpenBSD:

• Almost minimalist in its focus on code quality. Non-essential features like Bluetooth and fastdeps (something akin to filesystem journaling) have been dropped for the sake of the understandability and maintainability of the kernel code
• Strong security emphasis over things like performance
• Has the best hardware compatibility in my personal (albeit limited) experience
• Has X11 in the base install, pre-configured and ready to go
• Limited unicode/emoji support (priorities!)
• Has a script-style (but very functional and pretty easy-to-use) installer, can do full-disk encryption in the installer
• Has a vm system, but it's less mature than FreeBSD's (no vm video console)
• Excellent on-line documentation

#NetBSD:

• Runs on almost anything. Probably your toaster.
• Somewhat similar to OpenBSD (which was forked from NetBSD early on)
• No full-disk encryption in the installer yet, but it can be set up manually
• I have the least experience in this one

P.S. There's one other aspect to the contrast between BSD and Linux I just remembered: In the Linux world the notion of a "Unix" operating system is seen as just another giant's shoulders to stand on (at best), and some old thing to be scoffed at, at worst. In the BSD world, there's more of a sense of carrying on the ideas/ideals of #Unix. There's more of a link to the past and a sense of tradition, whether you think that's good or bad is up to you.

The OpenBSD guys, in particular talk about Unix a lot, even though they also have a strong emphasis on "we do things the 'right' way, even if that breaks backward compatibility." A famous quote of Theo de Raadt (the head dev for OpenBSD) is, "The Linux guys do what they do because they hate Microsoft. We do what we do because we love Unix." Of course, that was 21 years ago (IIRC), and the Linux community was a very different beast then. ;)

@mitch

The "write your own" defense is so asinine.

Like, can we be a COMMUNITY or something?!?

The way the #Linux world is run is just so weird to me.

"Earthrape, Inc. is paying the devs that are writing the widgetloader, so they'll write it the way they want to, with no input from the peanut gallery, thank you."

I find the #BSD paradigm of governance (such as I understand it) to be so much more transparent and honest, even if it's someone on the OpenBSD core team basically saying, "lol no fu you don't know what you're talking about."
(And they're rarely that rude)

#DragonFlyBSD Updates Its Graphics Drivers With New GPU Support But Still Years Behind • Phoronix

｢ Yesterday's push to the DragonFlyBSD Git tree syncs the DRM driver code against what's found in Linux 4.20.17. Yes, the 4.20 series that debuted at the end of 2018 compared to Linux 6.16 being the very latest upstream. It's also far behind FreeBSD currently using around Linux 6.7 kernel graphics driver code ｣

https://www.phoronix.com/news/DragonFlyBSD-DRM-Linux-4.20.17

#bsd #unix #opensource

After 20 years of using #pf on #BSD and only dabbling in iptables when I absolutely had to in #Linux, nftables looks like an unreadable, incomprehensible shitshow; A crayon scrawl by a toddler of weird nat and mangle chains that make no sense.

The Linux developers would have been much better off porting pf to Linux.

#BSD

JavaCPC – an Amstrad CPC-Emulator in JAVA, based on JEMU by R. Wilson. I am searching for good JAVA-coders who are also knowledgable in emulating 8bit homecomputers. https://archivegame.org/javacpc/ #game #emulator #amstrad #linux #osx #windows #bsd

Alt...

javacpc amstrad emulator

📢 Calling all BSD enthusiasts! 😈⛳️🐡

Have fun at at @bsdcan !!

The call for papers for EuroBSDCon 2025 in Zagreb is still open, and we're looking for your ideas! 🌟

Got a groundbreaking discovery in BSD applications, architecture, or implementation? Or maybe you've cracked the code on performance and security? We want to hear from you!

Don't miss this chance to share your insights on:
- Applications: Show us how BSD-based systems are solving real-world problems!
- Architecture: Dive deep into the inner workings of BSD.
- Implementation: Share your tips and tricks for making BSD systems purr like a kitten.
- Performance: Help us squeeze every last drop of speed out of BSD.
- Security: Show off your fortress-building skills in the world of BSD.
- Economic or organizational aspects: How BSD is making a difference in the real world.

https://events.eurobsdcon.org/2025/cfp

Let's make EuroBSDCon 2025 the best one yet! See you in Zagreb! 🌟

EuroBSDCon 2025 in Zagreb, Croatia 🇭🇷
September 25-28, 2025

#RUNBSD #FreeBSD #NetBSD #OpenBSD #EuroBSDCon #EuroBSDCon2025 #BSD #CFP #Conference

FreeBSD 14.3 is out! Seems Syscons wasn't UEFI compatible - guess you could say it wasn't playing nice with the cool kids. 😼

The update brings shiny new WiFi drivers, ZFS improvements, and kicks that legacy console to the curb. Sometimes you gotta let go of the Giant-locked past!

#BSD #Unix

https://bsd.slashdot.org/story/25/06/10/2146224/freebsd-143-released

Okay internet freaky people, I have a Google Pixel 4a (Sunfish) device that's been sitting in a drawer pretty much since unboxing. I installed #grapheneos on it a month or so ago, but on first boot got a notification that the device is no longer supported. #calyxos is EOLing it in August, and their web installer doesn't support it now. #lineageos _does_ support it, but there is enough of a time investment in making it happen that I may as well consider more... outré setups.

Sooo, any recommendations? Doesn't need to be an Android variant, as long as it's #linux or #bsd under the hood and I can get a shell on it.

The FreeBSD Release Engineering Team is pleased to announce the availability of FreeBSD 14.3-RELEASE.
# #FreeBSD #BSD # #RunBSD ##BSDRelease

https://www.freebsd.org/releases/14.3R/announce/

Food for thought, re: national digital independence, national security, individual privacy, and overall digital freedom, for individuals and whole countries/states.

#FOSS #NationalSecurity #enshittification #TurdReich #USPol #BSD #Linux #MicroSoft #Apple

｢ Berkeley's most important contribution was not software; it was the way Berkeley created software. At Berkeley, a small core group -- never more than four people at any one time -- coordinated the contributions of an ever-growing network of far-flung, mostly volunteer programmers into progressive releases of steadily improving software ｣

https://www.salon.com/2000/05/16/chapter_2_part_one/

#opensource #unix #bsd

Została wydana nowa wersja FreeBSD 14.3. FreeBSD to uniksowy system operacyjny z rodziny BSD, zgodny z normą Posix. https://linuxiarze.pl/freebsd-14-3/ #bsd #freebsd #server

Alt...

freebsd

🦕 The Land Before Linux: The Unix desktops • The Register

｢ While the Unix companies were busy ripping each other to shreds, Microsoft was smiling all the way to the bank. The core problem was that the Unix companies couldn't settle on software standards. Independent Software Vendors (ISV) had to write applications for each Unix platform. Each of these had only a minute desktop market share ｣

https://www.theregister.com/2024/01/27/opinion_column/

#unix #bsd #sunos #hpux #nextstep #sco #opensource

Random #Linux / #BSD tip:

If you're running #Wayland but you need to force an application to ignore it and connect to an #X11 server instead, set these environment variables:

GDK_BACKEND=x11
QT_QPA_PLATFORM=xcb

You might also want to check if you have WAYLAND_DISPLAY set, and unset it if so.

🍏 Apple’s Open Source Roots: The BSD Heritage Behind macOS and iOS • @TheNewStack

｢ At the heart of macOS is the XNU kernel, a hybrid kernel that combines the Mach microkernel, BSD components and the I/O Kit, an object-oriented API for device drivers. This integration ensures that macOS benefits from the Unix-like robustness of BSD while leveraging the flexibility of the Mach microkernel ｣

https://thenewstack.io/apples-open-source-roots-the-bsd-heritage-behind-macos-and-ios/

#apple #opensource #bsd #darwin #xnu #unix #bsd #nextstep