Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.9K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#openbsd

77 posts57 participants9 posts today
Public
h3artbl33d :openbsd: :ve:

The SSD in my mailserver has 19,782 power on hours (which is 825 days, little over two years) with 'just' 13 powercycles. And let me tell you, those 13 powercycles are solely because I rebooted the system (upgrade, maintenance).

That is how rock-stable #OpenBSD and #OpenSMTPD are.

Continued thread
Public
Felix Palmen :freebsd: :c64:

About the #random thingie ... I need random data in #swad to generate unpredictable #session IDs.

I previously had an implementation trying the #Linux-originating #getrandom if available, with a fallback to a stupid internal #xorshift #PRNG, which could be disabled because it's obviously NOT cryptographically secure, and WAS disabled for the generation of session IDs.

Then I learned #arc4random is available on many systems nowadays (#FreeBSD, #NetBSD, even Linux with a recent-enough glibc), so I decided to add a compile check for it and replace the whole mess with nothing but an arc4random call IF it is available.

arc4random originates from #OpenBSD and provides the only sane way to get cryptographically secure random data. It automatically and transparently (re-)seeds from OS entropy sources, but uses an internal CSPRNG most of the time (nowadays typically #ChaCha20, so it's a misnomer, but hey ...). It never fails, it never blocks. It just works. Awesome.

Public
crc

The initial konilo-over-irc system is running in the #retro and ##forth channels on libera.chat. This provides a full #Konilo #Forth system, with separate memory, block storage, and stacks per user, and persistence between uses. It uses a lightly modified version of the standard VM, and runs on a stock #OpenBSD system.

The initial code snapshot has been released on my patreon, and a general release will be made in the next few weeks, after further testing, cleanups, and documenting.

I've also been working on a hosted shell-based system, which should be released to my patrons within a few days, and more broadly next month.

Public
Jez Caudle :verified:

Time for bed. Trying be to upgrade to the latest #OpenBSD snapshot. Getting all sorts of errors.

I was typing syspatch -s, syspatch -R etc etc whilst reading the sysupgrade man page.

A few pages from my book and then sleep time.

Public *
Bryan Steele :flan_beard:

With 7.7 on track, I think it's time for some OpenBSD #77HYPE :flan_hacker:​ :flan_cool:​

#OpenBSD 7.7 adds ice(4), a new driver for Intel E810 based 100Gb Ethernet devices, and ixv(4), a driver for the virtual functions (SR-IOV) of the Intel 82598EB, 82559, and X540.

bsd.network/@brynet/1134116206

UEFI support improvements, such as preferring GPT in the installer over MBR when installing on modern machines... as well as initial UEFI boot manager support! :flan_cheer:​

bsd.network/@brynet/1140012716

bsd.network/@brynet/1140328597

bsd.network/@brynet/1142914585

Jonathan Gray (jsg@) updated the drm(4) graphics drivers (inteldrm/radeondrm/amdgpu) in #OpenBSD 7.7 to 6.12.y/6.12.21 longterm stable drivers, from 6.6.68 (addendum: OpenBSD 7.6 had 6.6.52, was updated in -current)

bsd.network/@brynet/1139604047

OpenBSD 7.7 extends pf(4) HFSC Queues to support larger than 4Gbit/s values.

bsd.network/@brynet/1134693228

OpenBSD now has separate performance policies (hw.perfpolicy) for when on battery power vs. on AC power, extending the syntax for hw.perfpolicy=ac-policy,battery-policy.

bsd.network/@brynet/1135209145

AF_FRAME a new socket(4) type, intended for implementing low-overhead/data rate protocols, such as LLDP.

bsd.network/@brynet/1136577293

Many previously unsupported internal webcams now work on more laptops, numerous improvements to the uvideo(4) driver, USB3 speeds, and video(4), the V4L2 compat layer.

bsd.network/@brynet/1136984206

bsd.network/@brynet/1140881252

An issue with flaky PS/2 keyboards/trackpads on some laptops, such as chromebooks was fixed by Miod Vallat.

bsd.network/@brynet/1139810265

Support for the Radxa Orion O6 Armv9 motherboard was as added for OpenBSD 7.7.

bsd.network/@brynet/1140002768

#OpenBSD/arm64 now has SVE (Scalable Vector Extension) support.

bsd.network/@brynet/1139877321

..and lots more for users to discover in the 7.7 release! Keep a look out for the announcement later this month! :flan_guns:​

BSD NetworkBryan Steele :flan_beard: (@brynet@bsd.network)A new ixv(4) driver has been added to #OpenBSD -current, for the virtual functions (SR-IOV) of the Intel 82598EB, 82559, and X540 devices. > yasuoka@ modifed src/*: Add ixv(4), a driver for virtual functions of Intel 82598EB, 82559, and X540. The driver was originally written by Intel and released as ixv driver version 1.5.32 and ported to OpenBSD by Yuichiro NAITO, naito.yuichiro at gmail.com. tested by henson at acm.org and many others. > > ok jmatthew iavf(4) was added in 2019 for Intel 700 series SR-IOV devices.
Public *
Bryan Steele :flan_beard:

Kevin Lo has added Realtek RTL8125D support to the #OpenBSD rge(4) driver in #OpenBSD -current.

This is an integrated 2.5Gb Ethernet chipset found on some more recent AM5 motherboards.

kevlo@ modified src/*: Add support for the Realtek RTL8125D chip to the rge(4) driver and update microcode for RTL8125B.

The RTL8125D chip can be found on motherboards like MSI PRO B840-P WIFI.

Public
Paul SomeoneElse
#techpost #rust
#openbsd

I am enjoying going thru these rust exercises.
They start off simple, which is good. Establish the endorphin
boost flow.

https://github.com/mainmatter/100-exercises-to-learn-rust

It works great on the command line and using OpenBSD.
(For me, Exercism got difficult under OpenBSD, and with things like this any barrier
to entry can kill the motivation. I was sorta serious about that endorphin boost quip.)

Oh it's nice that it works inside an existing git repo. It (and they specifically) encourages
you to branch and check in your work. Which is great for coming back to reference
things. This is another thing Exercism isn't as good at.

I realize I said two negative things about Exercism which is not my intention.
I only brought them up as they are relative to the new thing. Exercism is great!
They helped me A LOT learning rust the first time some years ago.

(It's normal for me to learn a language in a few sittings and maybe over
gaps in time, it actually works very well. I recently went thru a second
(or even third?) leveling up in common lisp, and that has been delightful.)
A self-paced course to learn Rust, one exercise at a time. - mainmatter/100-exercises-to-learn-rust
GitHubGitHub - mainmatter/100-exercises-to-learn-rust: A self-paced course to learn Rust, one exercise at a time.A self-paced course to learn Rust, one exercise at a time. - mainmatter/100-exercises-to-learn-rust
SearchLive feeds
About