How we continuously validate formal specifications in production

Rune: A native GPU-rendered Rust UI framework for macOS, Windows, Linux and web

Rune: Native UI framework. Contribute to anomalyco/rune development by creating an account on GitHub.

Don't Write Markdown Files for Your Coding Agent. Write Scripts.

If you want agents to do what you want, you need to learn how to box them into deterministic actions.... Tagged with ai, programming, devops, productivity.

How Anthropic Redesigned Source Control

In this article, we’ll look at the architecture behind Scion.

Saving 100TB of RAM with Math. Rebuilding Cloudflare’s Hash Ring from Scratch in Rust

“” is published by Ridwan Alam.

PyTorch 2.15 tackles the 'one bad GPU' problem

PyTorch 2.15 ships a rewritten NCCL backend that stops a single failing GPU from forcing a full training restart. The new ProcessGroupNCCL allows only one communicator per process group during initialization, which by default eliminates the crosstalk that the old version's many communicators caused. A third-party orchestrator can now exclude a crashed or slow GPU and assign a replacement worker. A new 'flight recorder' captures operation snapshots for debugging stalls. The legacy backend remains as a rollback option but will be removed in 2.16, planned for early next year. The release also totals 3,117 commits from 583 contributors and includes parallel processing improvements for Apple gear and support for Nvidia's next-generation Blackwell GPUs.

5 Event Driven Architecture Problems (And How to Avoid Them)

Event-driven architecture (EDA) phổ biến nhưng tiềm nhiều thách thức trong production environment. Vấn đề truy xuất lỗi (tracing) trở nên phức tạp khi sự kiện (event) đi qua nhiều service khác nhau, đòi hỏi hệ thống phân tích log tập trung như ELK stack. Hàng đợi tin hỏi (dead letter queues) dễ bị đầy nếu không implement validation logic kỹ càng, dẫn đến mất dữ kiện quan trọng. Sự không nhất quán cuối cùng (eventual consistency) gây race condition khi nhiều consumer xử lý cùng event đồng thời. Các EDA system cần thiết kế event schema versioning và comprehensive testing framework với Contract Testing để đảm bảo reliability khi số lượng service tăng lên.

Bài viết này giúp lập trình viên nhận diện và giải quyết các vấn đề phổ biến trong kiến trúc hướng sự kiện như tracing, dead letter queues, tính nhất quán cuối cùng và testing.

What Is OpenTelemetry? A Guide to the OTel Framework

What is OpenTelemetry? See how the OTel framework standardizes traces, metrics, and logs so you can switch backends freely.

Outbox Pattern in .NET With Postgres: Concurrent Workers vs the WAL

An API can save an order and crash before publishing the message that tells other services about it.