» Tag
programming
197 postsThe Lean Theorem Prover: Design and Evolution Overview
Lean plays a crucial role in formal verification and AI integration. Lean FRO was established in 2023.
log4k 2.3.0 — Kotlin IR Compiler Plugin for Tracing, Logging, and Metrics
log4k 2.3.0 is a compiler plugin for Kotlin that provides tracing and logging functionality.
Golang Maps: How Swiss Tables Replaced the Old Bucket Design
The Go 1.24 map redesign enhances memory efficiency by adopting Swiss Tables over the old bucket design.
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.comStarting the Shooting Gallery Project for ZX Spectrum
Bumbershoot Software is starting the port of its shooting gallery program to ZX Spectrum. Learn about the project details and memory management.
Compile Time OTel Instrumentation for Go Released as v1
The new v1 compile time OTel instrumentation for Go keeps your code clean while adding automatic telemetry.
Understanding Why AI Agents Get Stuck in Loops
Explore the challenges AI agents face in task completion and strategies to overcome them.
Deriving the Android ViewModel from 8 Problems for Interview Prep
A guide to understanding the Android ViewModel by solving eight core problems.
Using .NET Native AOT for Writing Node.js Addons
Explore the benefits of using .NET Native AOT for Node.js addon development with C#.
Making Your Rust Program Space-Flight Ready
The hugebool crate enhances Rust programs for space flight safety with a 16-byte Booléan type, improving data integrity.
Build Your First MCP Server in Python: Give Claude Your Notes
Learn to build a simple MCP server in Python using the Model Context Protocol. Integrate it with Claude Code.