linux

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack https://lobste.rs/s/locapv #linux #security #vibecoding
https://www.basis.ai/blog/verified-nftables/

So I guess it's time for an #introduction. Well, I'm a 30 something #Black #queer woman. I love to read #books. I love the #NYKnicks. I like #bicycles even though, it's not my primary mode of transportation. I like refurbishing and upgrading old electronics, specifically #iPods and #laptops. #TV and music have kept me going more than anything else. I'm branching into #Linux and getting more familiar with #FOSS. I am a #blogger and I have linked my blog in my bio.

PNG and XCF on request :)

#plushtodon #mastodon #plushtoys #plushie #plushies #plush #xenia #linux #linuxKernel #Tux #firefox #mozilla #mozillafirefox #meme #edit #MyEdit #OC

I saw this post and it motivated me to do a quick test:
https://phanpy.social/#/hachyderm.io/s/115891592999188880

Stop opening huge files in screen editors.

Screen editors (nvi, vim, etc.) assume you want to scroll,
see context, and move a cursor interactively.
Huge files break those assumptions.

For large files (1GB+):

Inspect: head, tail, grep
Understand structure: awk, sed -n (stream, don’t load)
Surgical changes: ed or sed

Open a screen editor only when you need to rewrite text.

Benchmark (1GB text file):

nvi -> 20.1s (eager line indexing ~25M lines)
vim -> 7.7s (lazy loading, deferred UI cost)
ed -> 4.0s (I/O-bound buffering, no TUI overhead)

Large files don’t need better editors.
They need better workflows.

For huge files, the right solution is not tuning screen editors,
but using the right tools:

shell tools for inspection
ed for known, surgical changes
screen editors when interactive rewriting is actually needed

PS:
nvi chooses predictability over perceived speed.
The slowdown is not a flaw — it’s the cost of preserving
classic vi semantics within a screen-editor model.

#vim #nvi #ed #unix #linux #cli #sysadmin

Was randomly browsing and it occurred to me when I saw mention of #VoidLinux that since it offers a #musl flavor and not fork, it actually technically is Void #Linux without the #GNU bit if you choo6to use a musl-based version? Interesting!

What method does everyone use when backing up their #Linux workstation to an archive?

Hoping someone has a cleaner solution to what I'm doing currently :D

Just got boxes of these donated!!

Could be #linux servers, #nixbook kiosks, or even mini family computers. So much potential!

#Linux 系統的用戶被說成游手好閒的自閉單身窮男,這刻板印象真是...
https://g0v.social/@hanawa@nya.one/113672884393921816

Do you know any new open source projects that deserve recognition?

Projects that are:
- Solving real world problems and driving technical innovation
- Improving science, research or medicine
- Challenging long standing platforms or paradigms
- Just super nerdy and doing something novel!

If you do, please share them and perhaps we can help them get the attention they deserve. 🧡
#opensource #linux #Innovation

👩: 🐧💻❗️

🧔‍♂️: 🪑💫 🤓☝️ "🐧➡️🐧🌽, 🐧➕ ❗️"

👩: 😏 "🏔️🐧, ❌ "

🧔‍♂️: 😨😵‍💫🤢

🧔‍♂️: " ❗️❗️ 🟰 ❗️" 🤮

👩: 🤔 " ➕ 🟰 ❓" 🤷‍♀️
"🔜 🌽🙅‍♂️🟰 "

🧔‍♂️: 💀

👩: 👩‍🏫✨

#memes #shitposting #copypasta #linux #alpine #alpinelinux #gnu

Hello old new “Projects” directory https://lobste.rs/s/2htlsp #linux #programming
https://blog.tenstral.net/2026/04/hello-projects-directory.html

I think that's a no-brainer right now that Europe should pursue digital sovereignty aggressively.

It's not about MS Office vs Libre Office, it's about banking apps, cloud services, your phone, your daily life. Which is a way bigger leverage #Trump has about your daily life. #FOSS is security.

#linux

I love the gestation period of new ideas. I'm going to try not rushing this one out the door, but I'm excited!

I spent most of this year on the sidelines, feeling timid about my career path. That period of inaction is over.

Creating brands and communities is just in my nature, and I can't keep ignoring the calling to help make a fundamental difference in the #Linux world.

Happy holidays, my friends. Thanks for being here. I'll see you on the other side.

A daily #Linux command from #LinuxLexiconBot:

rawtoppm (1) - convert raw RGB bytes into a portable pixmap

I am a human, but my little bot posts a random Linux command daily. If you don't want to see it you can mute the LinuxLexiconBot hashtag.

Happy hacking!

A daily #Linux command from #LinuxLexiconBot:

fstopgm (1) - convert a Usenix FaceSaver(tm) file into a portable graymap

I am a human, but my little bot posts a random Linux command daily. If you don't want to see it you can mute the LinuxLexiconBot hashtag.

Happy hacking!

Mini-taller d'instal·lació lliure! 💻🔧

+ info (y en español 🇪🇸):
https://gnulinuxvalencia.org/divendres-31-de-gener-de-2025-1700h-taller-dinstal%c2%b7lacio/

Aquest 2025 comencem amb força! Vine a Les Naus el 31 de gener:
🔧 Ajuda amb programari lliure per a la teua vida digital des de les 17:00.
💬 A les 18:30, debat sobre tXitter, BlueSky i Mastodon.

#GNULinux #València #AjudaDigital #TallerInstal·lació #InstallParty #ProgramariLliure #LasNaves #SoftwareLibre #Android #Linux #Google

Did you notice the command error exit in the shell? https://lobste.rs/s/eqawpx #linux
https://monzool.net/blog/2026/04/10/error-banner-in-shell/

Va de nuevo, aquí le pago mi #presentación

Hola a todos, me gusta el #anime ​ y #manga ​ y uno que otro #videojuegos 📱 , soy algo afín con la #astrología, #yoga 🧘‍♂️ y el #vegetarianosmo.

Ideológicamente soy de la ultra hiper mega extrema derecha ideológica, básicamente #conservador ✝️ , y más en mi #México 🇲🇽 mágico que está lleno de zurdos.

Usó recientemente #Linux Mint

Does anyone know when the #PinePhone comes into stock? I need to buy one for testing (EU) and I've been checking their shop almost daily for weeks now and it's always sold out.

#Linux #IndieDev

Right I'm not interested in starting a flame war but I am interested to see how many folk in 2026 use #Wayland or #Wayback and how many use #X11 or even #Xlibre . Feel free if you wish to say what OS/Distribution you use and which window manager or desktop environment below. #Linux #FreeBSD #OpenBSD #NetBSD
Please boost and thanks in advance.

Had a panic this morning as my #Fairphone 4 was dead. Wouldn't respond to the power button no screen nothing. Had to remove the battery for a few seconds and put it back in. Booted up fine then, I wonder if this is a sign for me to source a replacement ? Although I'm not decided on getting a Fairphone 5 that can run #Linux or #IodeOS or whether to get a pixel pro 9 and go with #GrapheneOS ? I'll probably end up procrastinating until my FP4 dies properly knowing me. 🙃

Comment 🐧

#linux

Good morning, #hatclan! Happy Monday!
My streams for this week:

- Monday: „Caravan SandWitch“ (DE/EN)
- Tuesday & Wednesday: no stream
- Thursday: „Baphomets Fluch 5“ & „The Sundew” (DE)
- Friday: „Chained Echoes“ (DE/EN)
- Saturday: „The Mystery Of Woolley Mountain“ (DE/EN)
- Sunday: „Boxes: Lost Fragments“ (DE/EN)

The streams start at 20 CET / 19 UTC, and usually finish 5 hours later. I'd be happy to see you around.
https://live.hatnix.net #Owncast #Linux #Gaming #DRMfree #Livestream

Modern web needs like 100MB just to say "Hello World". I went the other way.

Introducing GASM: A Gopher server in pure i386 Assembly.

💾 Binary: 1.5KB
🧠 RAM: 24KB (Verified with pmap)
🚫 Dependencies: 0 (No libc, pure syscalls)
🦕 Min Spec: Intel 386DX (1985)

Probably runs on the shittiest hardware you can find, or on your Ryzen 9.

https://github.com/someodd/gasm

#assembly #gopher #lowlevel #linux #retrocomputing #foss

KDE Linux experiences via @w8l https://lobste.rs/s/ate5gb #linux
https://akselmo.dev/posts/kde-linux-experiences/