#BSD
#OpenZFS 2.1.13 has been released (#ZFSonLinux / #ZFS / #ZettabyteFileSystem / #Linux / #Kernel / #FreeBSD / #BSD) https://openzfs.org/
📦 FreeBSD on Raspberry Pi with Bastille Jails
➥ ELDAPPER
https://eldapper.wordpress.com/2023/09/18/freebsd-on-raspberry-pi-with-bastille-jails/
-current has moved to 7.4 https://undeadly.org/cgi?action=article;sid=20230927052519 #openbsd #current #newrelease #OpenBSD7.4 #freesoftware #BSD
@freakazoid Let's go #BSD!
Friends of #BSDCafe and the #Fediverse, I was reminiscing on Matrix just a moment ago and decided to reveal a secret of mine.
Back in 2002, I convinced my parents to buy me a laser printer. They were quite expensive back then, but the cost per page was significantly lower than inkjets.
They asked me why I needed to print so many pages, and I assured them it was for the materials for my thesis.
That wasn't true. I just wanted to print the FreeBSD Handbook and have the ability to print all the documentation available on BSD systems.
I could've just taken the file to a print shop, but the allure of doing it myself was greater.
So yes, I lied to my parents, and the printer was only marginally used for my thesis. But that printer (a Samsung ML-1210, which I still have and still works) allowed me to comfortably study the BSD systems on paper, taking notes, before testing things on my computer of that time.
So thank you, parents, for buying me that printer, and forgive me for the fib 🙂
#FreeBSD #BSD #OpenSource #TechMemories #Throwback #Lies #Revelation
Big O Notation, REST Servers in Go, and Comfy FreeBSD Jails
#ComputerScience #go #bsd #security
👉 Please retweet if you ❤ Plurrrr. Thanks! 👍
voy a echar mucho de menos ver bungō stray dogs :gif_acnh_catty:
no sé cuánto tiempo pasará hasta que salga una nueva temporada puesto que asagiri tiene que adelantar muchísimo el manga porque todo el final y demás de la última temporada ni siquiera sale aún en el manga, el anime está un poco mucho adelantando jdjdjsjs :nkoSweat:
lo que estoy segura es que pasarán más de 5 años hasta que tengamos nueva temporada y lo voy a llevar muy mal :pika_sad:
mientras tanto, viviré a base de teorías y conspiraciones de lo que pasará, leeré el manga entero, todas las novelas ligeras, los libros de los autores que dan nombres a sus personajes y veré el anime hasta saberme todos los diálogos. :gif_acnh_luna:

is there a curses based console office suite that supports opendocument files? #linux #libreoffice #console #gnu #bsd
Children of BIOS
We saw the flower come into bloom, watched the landline bees pollinate. We listened to the machine clatter and wiped away the drops of mechanical tears we thought sweat.
Now our struggle is with the rust in the knees, as our stories turn into myth. The touch of the index finger running down the side of a CRT screen a distant memory.
Tell me, dear viewer. Where were you, when the machine wept?
#unix_surrealism #runbsd #bsd #linux #mastoart #fediart #monochrome

BSD people, in the 80ies, were absolutely relaxed while coding (open the link and read). 🤣
https://github.com/dank101/4.3BSD-Reno/blob/master/sbin/shutdown/shutdown.c#L290
#BSD #FreeBSD #NetBSD #OpenBSD #DragonflyBSD #Coding #IT #SysAdmin #Fun #VintageCode #Linux
JSON:API, Dynamic Tracing, and Build a web server with Rust
👉 Please retweet if you ❤ Plurrrr. Thanks! 👍
This is a poll for people who run their own infrastructure!
Bare metal vs Cloud?
The "simple virtual machine" case is if you rent a VM without boilerplate around it :flan_thumbs:
If you have hardware at home with VMs in it, this counts as Bare metal.
If you have some Open Stack or something at home, this would count as Cloud I guess :flan_think:
You can even reply which OS you use on which kind of host!

I started to test FreeBSD and OpenBSD, and it's awsome, i wonder if it's easier to create custom iso's for it. If it is them i guess i'll cook something up.
#openbsd #freebsd #bsd #customdistro
In case you need to test #FreeBSD hardware compatibility (or perform recovery actions etc.), the #NomadBSD persistent live USB system is your thing. 🔗https://nomadbsd.org/ #BSD #Unix

The Rise and Fall of the Operating System
"We ended up building a #unikernel based on the drivers offered by rump kernels via rumpkernel.org: Rumprun. We were not trying to build an #OS-like layer but one day simply realized that we could build one which would just work, with minimal effort. The noteworthiness of the Rumprun unikernel does not come from the fact that existing software such as Nginx, PHP, and mpg123 can be cross-compiled in the normal fashion and then run directly on the cloud or on bare metal. The noteworthiness comes from the fact that the implementation is a few thousand lines of code ... plus drivers. The ratio of drivers to “operating system” is on the order of 100:1, so there is very little operating system in there. The #Rumprun implementation is that of an orchestrating system, which conducts the drivers."
#bsd #rumpkernel
http://www.fixup.fi/misc/usenix-login-2015/login_oct15_02_kantee.pdf
🐡 OpenBSD/arm64 on Hetzner Cloud
➥ Frederic Cambus, cambus.net
「 Hetzner introduced its Ampere Altra powered arm64-based cloud servers earlier this year, making it possible to easily run OpenBSD/arm64 on their platform.
The only caveat for now is that the viogpu(4) driver is required, which was committed by jcs@ in April 2023 and thus only available in snapshots. It will first appear in OpenBSD 7.4 」
I have been working in computing professionally since 1996. My first computer ran GNU/Linux and been in the #BSD and #Linux world ever since (my family was poor so I didn't get a computer until I hustled for parts to build my own and didn't have Internet service for the first 6 months, so I mostly read man pages and learned #programming languages), only recently catching up to Windows stuff as part of switching to pentesting as a career (away from #sysadmin, #coding, and #dba stuff) in 2020.
I'm pretty chill and love talking to folks, so don't be afraid to reach out, you won't be bugging me and I welcome the conversation!
[JEU] Le nouveau jeu mobile Bungô Stray Dogs Gakuen, qui était en développement, est entré en phase de test !
C'est une exclusivité japonaise pour le moment, avec un accès sur pré-inscriptions.
Plus informations sur le Twitter officiel (JP) : https://twitter.com/bunst_gakuen
Ou sur le site officiel (JP) : https://www.bunst-gakuen.com/



[ACTU] La bande originale et les chansons de la série anime Bungô Stray Dogs, saison 4 et 5, sont sorties !
Elle contient de la musique de Taku Iwasaki et les 4 chansons des générique OP/ED au format TV.
La couverture illustre l'équipe des Chiens de chasse, dessinée par Nobuhiro Arai !
Plus d'info sur : bungosd.com/music/
#bsd #bungostraydogs #actu #anime





estamos aqui discutindo sobre licenças de software. apareceu uma boa dúvida - porque alguém focado em software livre escolheria uma licença permissiva (#MIT, #BSD) para software ao invés de uma copyleft? algum cenário específico faz sentido?
(estamos nessa hashtag #saberlivre)
@fedel
🎉 Celebrating two months since launching the BSD Cafe! 🎉
Exactly two months ago today (20th July 2023), I released the #Mastodon instance of BSD Cafe, effectively announcing to the world the idea behind BSD Cafe. The response was much warmer than expected from both *BSD enthusiasts and the entire #Fediverse community. This overwhelming support motivated me to keep pushing forward, expanding the Cafe with new services.
We've introduced a wiki (https://wiki.bsd.cafe - currently a site describing the Cafe services, but in the future, it will also host tutorials, tips, experiences, etc.), a Miniflux server (https://miniflux.bsd.cafe - for personalized RSS feed reading), and recently, a Matrix server (https://element.bsd.cafe - for BSD Cafe users to chat in the Lounge, discuss various *BSD topics or interact with the world due to the decentralized nature of the protocol).
BSD Cafe will also be mentioned in the upcoming FreeBSD Status Report (https://github.com/freebsd/freebsd-doc/files/12642300/Introducing.the.BSD.Cafe.project.pdf).
User numbers are growing weekly. Some stay active, some not as much, but one thing remains consistent among all: a passion for technology, free operating systems (especially *BSD), and a desire to collaborate and grow together.
So, a big thank you to everyone who contributes daily to make BSD Cafe vibrant and growing, those who offer advice, participate in polls, and believed in us these past two months. Without you, all of this wouldn't make sense.
Stay tuned! 🚀
#BSD #FreeBSD #OpenBSD #NetBSD #DragonFlyBSD #opensource #technology #community #BSDCafe #BSDCafeUpdates #BSDCafeServices
For everyone interested, here is a page I filled up with info and requirements for my Ultima VM, a bytecode VM designed to improve coding experience on #risc_os and allow RISC OS Apps written for Ultime to run also on #linux , #windows , #macos and #bsd and on #ARM , #x86 , #ppc and even the #68k
https://paolozaino.wordpress.com/portfolio/ultima-vm-unified-lightweight-typed-instructions-machine/
[TRADFR] Notre équipe de Traduction vient de publier le Prologue de Dazai, Chûya, quinze ans.
https://www.wattpad.com/story/347723301-light-novel-dazai-ch%C3%BBya-quinze-ans
Bonne lecture ! :blobcatcoffee:
#bsd #community #traduction #bungostraydogs
TuxArcade – a multi-emulator frontend. It’s designed for arcade cabinets https://archivegame.org/tuxarcade/ #game #emulator #linux #bsd


Nevertheless, such η-expansions are already standard practice in ghc: a similar situation arises when using rank-2 types. core language of #ghc does not accept g f for
g :: (∀a. (Eq a, Show a) ⇒ a → Int) → Char
f :: ∀a. (Show a, Eq a) ⇒ a → Int
surface language, again, accepts g f, and elaborates it into g (λa (d1 :: Eq a) (d2 :: Show a) →
f a d2 d1). We simply extend this mechanism to linear types.
Polymorphism & multiplicities. Consider the definition: “id x = x”. Our typing rules would
validate both id :: Int → Int and id :: Int ⊸ Int. So, since we think of multiplicities ranging over
{1,ω}, surely we should also have id :: ∀p. Int →p Int? But as it stands, our rules do not accept it.
To do so we would need x :p Int ⊢ x : Int. Looking at the (var) rule in Fig. 6, we can prove that
premise by case analysis, trying p = 1 and p = ω. But if we had a domain of multiplicities which
includes 0 (see Sec. 7.2), we would not be able to prove x :p Int ⊢ x : Int, and rightly so because it
is not the case that id :: Int →0 Int.
More generally, we could type more programs if we added more laws relating variables in
such as p + q = ω, but this would prevent potential extensions to the set of multiplicities
Divergence. Consider this definition6
f :: [Int] ⊸ [Int]
f xs = repeat 1 ++ xs
Does f really consume its argument xs exactly once? After all, (repeat 1) is infinite so f
will never evaluate xs at all
In corner cases like this we look to metatheory. Yes, the typing rules give the specified types
for (++) and f.
Yes, the operational claims guaranteed by the metatheory remain valid. Intuitivelyyou may imagine it like this: linearity claims that if you were consume the result of f completely,exactly once, then you would consume its argument once; but since the result of f is infinite wecannot consume it completely exactly once, so the claim holds vacuouslyr to implement the linear arrow, we added a multiplicity annotation to function arrows as in λ q →. The constructor for arrow types is constructed and destructed frequently in #ghc’s type checker, and this accounts for most of the modifications to existing code
multiplicities are an output of the type inference algorithm. Inorder to infer the multiplicities coming out of a case expression we need a way to aggregate themultiplicities coming out of the individual branches. To this effect, we compute, for every variable,the join of its multiplicity in each branch.
#bsd socket api is a standard, if not the standard, through which computers connect overnetworks. It involves a series of actions which must be performed in order: on server-side,a freshly created socket must be bound to an address, then start listening incoming traffic, thenaccept connection requests; said connection is returned as a new socket, this new socket can nowreceive traffic. as precise sequence of actions is protocol-dependent. For tcp traffic you would do as described, but for udp, which does not need connections, you would not accept a connection but receive messages directly.socket library for #Haskell, exposes precisely this sequence of actions. Programming with itis exactly as clumsy as socket libraries for other languages: after each action, the state of the socket changes, as do permissible actions, but these states are invisible in the types. pure interface takes an update function u : Scene → Scene which is tasked withreturning the next state that the screen will display. The scene is first converted to a pure treewhere each node keeps, along with the pure data, a pointer to its imperative counterpart when itapplies, or Nothing for new nodes.data Node = Node {payload :: Int,ref :: Maybe (IORef ImperativeNode), children :: [Node] }On each frame, SpriteKit applies u to the current scene, and checks if a node n was updated. If itwas, it applies the update directly onto ref n or creates a new imperative node.Things can go wrong though: if the update function duplicates any proxy node, one gets thesituation where two nodes n and n’ can point to the same imperative source ref n = ref n’, buthave different payloads. In this situation the Scene has become inconsistent and the behaviour ofSpriteKit is unpredictable
Informal survey for folks who use BSD Unix:
1. Are you aware of any variety of BSD that has converted its base filesystem layout such that either /bin and /lib are symlinks to /usr/bin and /usr/lib respectively (possibly with several more such symlinks), or, the other way around, /usr is a symlink to /?
2. Are you aware of any variety of BSD that has concrete plans to make either of the above changes in the foreseeable future?
3. Are you aware of any variety of BSD that has considered and *rejected* making any such change?
I'm asking these questions in my capacity as /de facto/ maintainer of Autoconf. Your answers will help me document how to write third-party software that works correctly regardless of whether /usr is separate from the root.
[For the record, Autoconf already does, and will continue to, support both of the above altered filesystem layouts as well as the traditional one. The only exception I'm currently aware of is that configure scripts may malfunction or fail to start if /bin/sh does not exist at all, which I hope everyone can agree is a pathological case.]
Please boost for reach. Answers accepted either by replaying to this toot, or by email (zack at owlfolio dot org). It is helpful if you can provide references to release notes, mailing list discussions, etc. to support your answers.
tag farm below, you can stop reading here
#unix #bsd #freebsd #netbsd #openbsd #dragonflybsd #ghostbsd
Following the #EuroBSDCon posts as an outsider, one could get the impression that #BSD users consist mostly of a particular type of middle-aged, bearded and balding male wearing glasses. No offence intended. I’m middle-aged, bearded and balding myself. ☺️
🐡 3D printing on OpenBSD? Yes, that’s a thing!
➥ @openbsdjournal
https://undeadly.org/cgi?action=article;sid=20230914075444
Thankfully I was an EMACS guy in school. I loved the ability to split the screen in the Non-GUI OS and type without having to ask permission first.
I don't think anyone has to do development in the shell anymore, so I think Nano is more sane for editing config files.
Still, this is a fascinating story
@343max No, no. I simply cannot afford the #MacBookPro with the M2 processor on my wishlist. So this was more of an #envy attack.
And obviously, I was talking about #BSD 😇
@mmu_man @EuroBSDCon missing #bsd or #eurobsdcon2023
Aaand the @EuroBSDCon schedule is available in Giggity:
pls, #hackers, boost:
Halloween is just around the corner. DM me your scary #BSD stories.
#runbsd #openbsd #freebsd #netbsd #dragonflybsd #spooky #unix_surrealism
Post vacation podcast catch-up days:
phase 2 #infosec @riskybusiness edition
phase 1 is obviously #BSD-related
phase 3 is #Elixir stuff it’s thankfully a lot shorter!
25 years ago today, Google was founded.
On the same day, I wiped Windows 98 off my computer, believing that Debian Linux (which I had been using for a while but still kept Windows on another partition) could do everything I had been doing with Windows until then.
Since that day, many installations of Linux, *BSD, MacOS have graced my computers, but Windows has remained, on a few occasions, only an occasional (unwelcome) guest.
In the spirit of a typical support group phrase, I can joyfully say:
'Hello, I'm Stefano, and I haven't been using Windows as my primary operating system for 25 years.'
Please boost and share your experience!
#Linux #OpenSource #OperatingSystems #TechJourney #GoogleAnniversary #Debian #MacOS #BSD #WindowsJourney #Mastodon #TechLife #GeekLife #Google #Windows
NetBSD's Endurance: A Decade-Long Server Uptime Record
https://debugpointnews.com/netbsd-uptime/
Client (a bit clumsy but positive and honest) calls: "Help! Just came back from lunch break and accidentally deleted all files on the file server!"
Me, unfazed: "Alright, besides you, who else worked on the file server during lunch break?"
Client: "No one, we were all away and I'm the first one back. Others will be back by 15:00"
Me, looking at the clock and noticing it's 14:30: "Okay, what time did you go to lunch?"
Client: "At 13:30. How long will it take to restore from the backup? Do you think we'll be able to work tomorrow?"
Me, without flinching as I type "zfs rollback *dataset-13:45-snapshot": "Done"
Client: "All the files reappeared!"
Me: "Thank #ZFS, #FreeBSD, and whoever set up automatic snapshots every 15 minutes."
#ITSupport #DataRecovery #BackupHeroes #SysAdmin #Snapshots #BSD
🗿 That Old NetBSD Server, Running Since 2010
➥ @stefano
「 I now understand why I'm not – and will never be – rich. My first (and last) employer complained about my preference for stable and reliable solutions, equating it with lesser profits. According to him, unstable solutions requiring frequent maintenance meant more revenue. To me, a job is well-done when it works consistently, not when it demands constant fixes 」
https://it-notes.dragas.net/2023/08/27/that-old-netbsd-server-running-since-2010/
⚡Making FreeBSD QUIC By: Tom Jones
「 This talk looks at the performance of QUIC implementations on Linux and FreeBSD and explores the changes that made QUIC implementations faster. We will will dig into network performance and techniques that can used to understand the performance of any application on FreeBSD.
With this we try to answer the question, How can we make FreeBSD QUIC? 」
🧨 FreeBSD on Firecracker
➥ Colin Percival
#FreeBSD #BSD #Firecracker #Opensource https://www.usenix.org/publications/loginonline/freebsd-firecracker#Colin%20Percival
Dear friends from #BSDCafe and the #Fediverse, today marks one month since the public announcement of the beginning of the BSD Cafe project.
The results have exceeded my expectations: we now have around 80 active users (some signed up but deleted their accounts after a few days, and I had to handle a few problematic ones - otherwise we'd be more or less 90).
There are several bots up & running (also quite popular), and the poll for the #RSS reader just ended - #Miniflux won, but I suspected it and had already prepared everything in anticipation.
Soon, I'll be launching the #wiki, which will also include instructions and details about other services. BSD Cafe, in fact, won't just be this instance, but a series of services and tools (#BSD based).
Stay tuned, have a great #Sunday, and happy first month to the friends of BSD Cafe!
「 OpenBSD remains a crucial yet largely unacknowledged player in the open source field. This talk aims to highlight the project's signature security features and development practices -- razor sharp focus on correct and secure code coupled with continuing code audit -- as well as the project's role as source of innovation in security practices and 'upstream' source for numerous widely used components such as OpenSSH, PF, LibreSSL and others 」
#OpenBSD #BSD
https://nxdomain.no/~peter/what_every_it_person_needs_to_know_about_openbsd.html
Michael MJD published a nice video on #youtube about @haiku . Good first insight, if you are interested in #alternative #operationsystems that are different from #Linux or #BSD. It’s origins go back to #BeOS and the #BeBox in the 1990s. #RetroComputing #retro #haiku #HaikuOS #OS #AlternativeOS
https://youtu.be/6-zgv0CZfco
Just heard the sad news that Bram Moolenaar died on the 3rd Aug. Vim forever. :(
:wq!
#vim #linux #opensource #bsd #unix
No, I'm not logged into this PDP-11/70 from my Z80 "personal computer" kit to change my grade in Biology class. But I am logged into the BSD 2.11 Unix that is currently running on it using serial-to-telnet capability that understands Hayes-like modem commands.
...
With #BSD, there's no silly info pages or html help (at least as a primary source of documentation). There's just REALLY good manpages, especially on OpenBSD. FreeBSD comes with (or it might be an optional install) their excellent handbook as a PDF you can peruse at your leisure. Again, NetBSD I have the least knowledge of.
My experience with the big three #BSDs:
...
Woke up this morning #BSD curious. For all the users out there, is there a reason for someone running Linux desktop to consider running #BSDDesktop (of any kind or flavor), or is it more useful to have as a tool for servers? My only previous experience with BSD is brief dalliances with TrueNAS.
Good morning, friends of the #BSDcafe and #fediverse
I'd like to share some details on the infrastructure of BSD.cafe with you all.
Currently, it's quite simple (we're not many and the load isn't high), but I've structured it to be scalable. It's based on #FreeBSD, connected in both ipv4 and ipv6, and split into jails:
* A dedicated jail with nginx acting as a reverse proxy - managing certificates and directing traffic
* A jail with a small #opensmtpd server - handling email dispatch - didn't want to rely on external services
* A jail with #redis - the heart of the communication between #Mastodon services - the nervous system of BSDcafe
* A jail with #postgresql - the database, the memory of BSDcafe
* A jail for media storage. The 'multimedia memory' of BSDcafe. This jail is on an external server with rotating disks, behind #cloudflare. Aim is georeplicated caching of multimedia data to reduce bandwidth usage.
* A jail with Mastodon itself - #sidekiq, #puma, #streaming. Here is where all processing and connection management takes place.
All communicate through a private LAN (in bridge) and is set up for VPN connection to external machines - in case I want to move some services, replicate or add them. The VPN connection can occur via #zerotier or #wireguard, and I've also set up a bridge between machines through a #vxlan interface over #wireguard.
Backups are constantly done via #zfs snapshots and external replication on two different machines, in two different datacenters (and different from the production VPS datacenter).
How can I convince someone that having #windows servers running #hyper-v to host 100+ VMs (mix of #windows and #linux machines) to run a web hosting operation is not the best idea? 🤔
How would #BSD as the backbone running these VMs could make a difference? Please share your thoughts... I have mine and definitely doesn't involve this setup.
Cheers and I wish the community a great day!
"Si se te hace dificil #bsd puedes probar #hellobsd"
Si se te hace difícil BSD, podrías preguntarte para qué lo estás instalando, y si vale la pena ponerte a aprender el uso y funcionamiento del sistema, o usar otra cosa, en lugar de bajar a un sistema más fácil que en definitiva hace que no sepas qué está pasando, que -se supone- era lo que querías evitar.