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

bold linker v0.2.0 release - bold just got faster (by kubkon) — discussion

#compilers

Slow Software for a Burning World (via chobeat) — discussion

#elixir #philosophy #practices

Tuscolo Static Certificate Transparency Log (via giffengrabber) — discussion

#cryptography #security

In praise of grobi for auto-configuring X11 monitors (by stapelberg) — discussion

#linux

Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape (via fro) — discussion

#mac #security

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (via freddyb) — discussion

#security