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

WebDAV Isn't Dead Yet (via fanf) — discussion

#web

Retrospective on weaknesses in fuzzing research (by addison) — discussion

#science #testing

(fifteenth RacketCon) playlist is now up (via Kratacoa) — discussion

#event #lisp #video

The roots of software development in the textile industry (2024) (via rbr) — discussion

#historical