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

branchless development (via quobit) — discussion

#openbsd #practices

Ada in China (1994) (via veqq) — discussion

#historical #pdf #plt

Composition: the feature I've wanted in Flox since I joined the company (by zmitchell) — discussion

#programming

Can It Run Doom? An Archive of All Known Ports (via jaredkrinke) — discussion

#games #hardware