» Tag
programming
195 postsGalois Connections for Composable Numeric Casts in Rust
Discover Galois connections in Rust for lawful numeric type casting and safe composability.
AI Agents Write PostgreSQL Like Python
Exploring how AI agents write SQL in a Pythonic style and the resulting challenges.
Understanding the Real Essence of OOP: State, Behavior, and Invariants
Explore the true meaning of OOP: the importance of state, behavior, and invariants.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comFleet: Hierarchical Task-Based Abstraction for Multi-Die GPUs
Fleet is a new task model that reduces memory traffic in multi-die GPUs, enhancing performance.
SQLite Needs Rust-Style Editions for Better Defaults
SQLite's default settings risk data integrity. Solutions for developers include enabling foreign keys and using strict types.
The Silent Socket: A Gemini-TTS Batch That Hanged Indefinitely
A silent socket caused a batch process to hang indefinitely. The fix involved adding timeouts to detect stalls.
API Key Rotation Without Downtime: Patterns and Implementation
Explore two methods for zero-downtime API key rotation and their implementations. Essential insights for engineers.
Go 1.23 Iterators: Understanding the Yield Contract and Traps
Learn about the yield contract and traps in Go 1.23 iterators.
Understanding Linux Transparent Proxy Internals
Linux transparent proxying can be complex for engineers. This article explores its fundamentals and guides building a simple proxy server.
Emerging Paradigms in Software Development: Ideaware and Programming Languages
Important discussions on the evolution of ideaware and programming languages in software development.