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

Algebraic Effects: Another mistake carried through to perfection? (via veqq) — discussion

#plt

Spatial Data-Management (1979) (via calvin) — discussion

#cogsci #design #pdf

A Formal Analysis of Apple’s iMessage PQ3 Protocol (via brokebit) — discussion

#ios #pdf #security

16-bit Intel 8088 Chip by Charles Bukowski (via mattrose) — discussion

#culture

Joys and sorrows of designing a language (via tuhaj) — discussion

#distributed #javascript #security #video