Programming

Are We Serious About Using TLA+ For Statistical Properties? (emptysqua.re)
7 days ago

Secure by Design: Google's Perspective on Memory Safety (2024) (storage.googleapis.com)
7 days ago Google

Changelog Slack is dead. Long live Zulip (changelog.com)
7 days ago Slack

Lume 3 was released (lume.land)
7 days ago

TrueNAS CORE is Dead – Long Live zVault (vermaden.wordpress.com)
7 days ago

HACKSAT25: The first multi-tenant satellite unikernel security challenge (hacksat.dev)
7 days ago InfoSec

Introduction to Universal Scene Description (2021) (openusd.org)
7 days ago

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
7 days ago

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
7 days ago AI GitHub

A Performance Investigation Challenge — (www.mgaudet.ca)
8 days ago

bold linker v0.2.0 release - bold just got faster (github.com)
8 days ago

Slow Software for a Burning World (bonfirenetworks.org)
8 days ago

Tuscolo Static Certificate Transparency Log (bsky.app)
8 days ago

In praise of grobi for auto-configuring X11 monitors (michael.stapelberg.ch)
8 days ago

Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape (www.microsoft.com)
8 days ago InfoSec

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)
8 days ago

A Formal Analysis of Apple's iMessage PQ3 Protocol (www.usenix.org)
8 days ago Apple

Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)
8 days ago

Spatial Data-Management (1979) (www.media.mit.edu)
8 days ago

16-bit Intel 8088 Chip by Charles Bukowski (kottke.org)
8 days ago Intel

Joys and sorrows of designing a language (www.youtube.com)
8 days ago

branchless development (flak.tedunangst.com)
8 days ago

Ada in China (1994) (dl.acm.org)
8 days ago China

Permalink to Why AI agents need a protocol like MCP to reach their potential (sdtimes.com)
8 days ago AI

Permalink to Android Studio Meerkat Feature Drop, Neo4j Aura Graph Analytics, and more software development news (sdtimes.com)
8 days ago Android Neo4j

Composition: the feature I've wanted in Flox since I joined the company (tinkering.xyz)
8 days ago

Can It Run Doom? An Archive of All Known Ports (canitrundoom.org)
8 days ago

Write the most clever code you possibly can (buttondown.com)
8 days ago

Microservices Are a Tax Your Startup Probably Can't Afford (nexo.sh)
8 days ago Microservice Tax Startup

Static as a Server (overreacted.io)
8 days ago Server

Previous Page Next Page