Programming

Introduction to Universal Scene Description (2021) (openusd.org)
2025-5-10

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
2025-5-10

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews (piware.de)
2025-5-10 AI GitHub

A Performance Investigation Challenge — (www.mgaudet.ca)
2025-5-10

bold linker v0.2.0 release - bold just got faster (github.com)
2025-5-10

Slow Software for a Burning World (bonfirenetworks.org)
2025-5-10

Tuscolo Static Certificate Transparency Log (bsky.app)
2025-5-10

In praise of grobi for auto-configuring X11 monitors (michael.stapelberg.ch)
2025-5-10

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

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)
2025-5-10

A Formal Analysis of Apple's iMessage PQ3 Protocol (www.usenix.org)
2025-5-10 Apple

Algebraic Effects: Another mistake carried through to perfection? (kjosib.github.io)
2025-5-10

Spatial Data-Management (1979) (www.media.mit.edu)
2025-5-10

16-bit Intel 8088 Chip by Charles Bukowski (kottke.org)
2025-5-10 Intel

Joys and sorrows of designing a language (www.youtube.com)
2025-5-10

branchless development (flak.tedunangst.com)
2025-5-10

Ada in China (1994) (dl.acm.org)
2025-5-10 China

Permalink to Why AI agents need a protocol like MCP to reach their potential (sdtimes.com)
2025-5-10 AI

Permalink to Android Studio Meerkat Feature Drop, Neo4j Aura Graph Analytics, and more software development news (sdtimes.com)
2025-5-10 Android Neo4j

Composition: the feature I've wanted in Flox since I joined the company (tinkering.xyz)
2025-5-10

Can It Run Doom? An Archive of All Known Ports (canitrundoom.org)
2025-5-10

Write the most clever code you possibly can (buttondown.com)
2025-5-10

Microservices Are a Tax Your Startup Probably Can't Afford (nexo.sh)
2025-5-9 Microservice Tax Startup

Static as a Server (overreacted.io)
2025-5-9 Server

Wasm 2.0 Completed (webassembly.org)
2025-5-9

Rusty Nu POSIX (mort.io)
2025-5-9

eBPF mystery: When is IPv4 not IPv4? When it's pretending to be IPv6 (blog.gripdev.xyz)
2025-5-9

Constexpr optional and trivial relocation (quuxplusone.github.io)
2025-5-9

200 and change (pdubroy.github.io)
2025-5-9

Building your own Atomic (bootc) Desktop (fedoramagazine.org)
2025-5-9

Previous Page Next Page