NetBSD 10.x kernel MATH_EMULATION (via jaypatelani) — discussion

#netbsd

Organize your Go middleware without dependencies - Alex Edwards (via telemachus) — discussion

#go

louise: Polynomial-time Meta-Interpretive Learning for logic programming (via classichasclass) — discussion

#programming

Naked objects (via sebastien) — discussion

#plt

STEPS 2012 Progress and Final NSF Report (via calvin) — discussion

#compsci #pdf

Exploiting Copilot AI for SharePoint (via Garbi) — discussion

#security

DCJ11 Single Board Computer (PDP-11) (via classichasclass) — discussion

#hardware #retrocomputing

Announcing Lix 2.93 “Bici Bici” (via FedericoSchonborn) — discussion

#nix #release

Reverse engineering the 386 processor's prefetch queue circuitry (via calvin) — discussion

#hardware #historical #reversing

I Want to Love Linux. It Doesn’t Love Me Back (via kowale) — discussion

#a11y #linux

Are We Serious About Using TLA+ For Statistical Properties? (by ajessejiryudavis) — discussion

#formalmethods

Secure by Design: Google’s Perspective on Memory Safety (2024) (via matklad) — discussion

#pdf #security

Changelog Slack is dead. Long live Zulip (by jerodsanto) — discussion

#culture

Lume 3 was released (by oscarotero) — discussion

#javascript

TrueNAS CORE is Dead – Long Live zVault (by vermaden) — discussion

#freebsd #linux #virtualization

HACKSAT25: The first multi-tenant satellite unikernel security challenge (via edwintorok) — discussion

#ml #security

Introduction to Universal Scene Description (2021) (via manuel) — discussion

#databases #graphics #practices

A tool to verify estimates, II: a flexible proof assistant (via jmillikin) — discussion

#formalmethods #math

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (via oger) — discussion

#vibecoding

A Performance Investigation Challenge — (via oger) — discussion

#performance