Learning Regular Languages with RPNI Algorithm (by vrthra) — discussion

#compsci

Why Your social.org Files Can Have Millions of Lines Without Any Performance Issues (by andros) — discussion

#emacs

Simple Control Flow for Automatically Steering Agents (by MrFantastik) — discussion

#vibecoding

Distroless Containers for corporate use: Nix Flakes vs Fedora (via Verfeuil) — discussion

#devops #nix

Formal or not formal? That is the question in AI for theorem proving (via xcthulhu) — discussion

#formalmethods #vibecoding

Encryption using SSH Keys with age in Linux (by WorksOnMyMachine) — discussion

#cryptography #linux

You should feed the bots (via LolPython) — discussion

#programming

the bug that taught me more about PyTorch than years of using it (via knl) — discussion

#debugging

ASK: Tag proposal: typesetting (by runxiyu)

#meta

You already have a git server (via runxiyu) — discussion

#vcs

Let's Help NetBSD Cross the Finish Line Before 2025 Ends (via jaypatelani) — discussion

#netbsd

ASK: What are you reading this week? (by vlnn)

#ask #book #culture

We want to move Ruby forward (via bt) — discussion

#ruby

Property-Based Testing in Practice (via natfu) — discussion

#ml #pdf #testing

Sandbox Your Program Using FreeBSD's Capsicum (via mccd) — discussion

#freebsd #osdev #security #video

The Linux Boot Process: From Power Button to Kernel (via runxiyu) — discussion

#linux

The FSF considers large language models (via runxiyu) — discussion

#law #vibecoding

The Journey Before main() (via matheusmoreira) — discussion

#programming

KDE Linux deep dive: package management is amazing, which is why we don’t include it (via strugee) — discussion

#linux

An Overview of Attestations in CI (by jbeckford) — discussion

#security