Tag
OpenWiki 0.6.0 is released with new features including shared workspaces, faster code wiki generation through concurrency controls, and integration with @antigravity and oh my pi.
The tweet discusses using formal verification methods like TLA+ and Lean to ensure the correctness and scalability of mission-critical AI infrastructure software, with references to Intent Lab and Boris Cherny's work on the Claude Agent SDK.
The author reviews the free online textbook 'Is Parallel Programming Hard, And, If So, What Can You Do About It?' by Paul E. McKenney, discussing its focus on lock-free concurrency and CPU cache effects, and shares personal context about reading it during a vacation.
An AI agent designed to assist developers in writing idiomatic, production-grade Go code for APIs, CLIs, and concurrent services, with features for error handling, concurrency, and project context retention.
This article compares exception handling behaviors in C++ concurrency mechanisms: magic statics, std::call_once, and std::async, explaining their differences and providing usage recommendations.
The article explores how AI agents should handle user-initiated task changes during execution, proposing solutions like task revision IDs and discussing edge cases to avoid stale or conflicting actions.
The paper characterizes the resource and performance dynamics of LLM-based AI agents across tasks like question answering and coding, revealing bottlenecks and proposing optimizations that improve latency by up to 5.4×.
This article systematically introduces the principles, usage, and application of Git Worktree in helping developers manage concurrent tasks and local development environments in the AI coding era.
jemalloc 5.4.0 has been released, an updated version of the general-purpose memory allocator emphasizing fragmentation avoidance and scalable concurrency, with source code and documentation available.
The article compares std::call_once and std::async for deferred execution in C++, discussing their differences in implementation, performance, and exception behavior.
This study evaluates deordering and reordering strategies to enhance execution flexibility in automated planning, finding that block deordering-based approaches substantially outperform MaxSAT-based methods in terms of flexibility and efficiency.
This article explains concurrency and threads in inference engineering, covering multi-threading, parallelization, and race conditions with visual examples.
This paper explores the application of medieval East Asian logical principles to reconstruct concurrency invariants, bridging historical logic with modern computer science research.
The blog post details optimizing a spin-lock in C++ to achieve a 5.7x speedup and 5.4x energy reduction through step-by-step improvements and benchmarks.
The article explains turnstiles, a concurrency primitive from Solaris that optimizes mutex usage by reducing overhead and preventing priority inversion, with widespread influence in modern systems.
A benchmarking report on running multiple AI agents concurrently using llama.cpp on 2× RTX 4090 GPUs, revealing performance limits and optimal configurations for Qwen models.
The article explains how to handle race conditions in PostgreSQL when modeling state transitions with an append-only table, suggesting the use of SELECT FOR UPDATE to serialize transactions and avoid inconsistencies.
Go 1.27 introduces a goroutine leak profiler to accurately detect and prevent goroutine leaks in running programs, including production systems, with minimal false positives.
The article distinguishes between two types of abstraction in system design: modularity abstraction, which hides internals, and modeling abstraction, which reduces systems to essential behaviors for formal reasoning.
This article explains the evolution of Go's sync.Map from a normal map to a hash trie implementation, detailing changes in Go 1.24 and 1.26, and providing a step-by-step breakdown of its API and internal mechanics.