An update on the Knuckledragger theorem prover project, covering kernel changes, AI experiments, symbolic union, and future development plans.
A guide comparing strategies for providing context to AI models in workflows, analyzing tradeoffs in cost, latency, and observability.
Explains how to emulate external import maps for web dependencies using a simple injector script, enabling centralized JavaScript module management.
Analysis of AGENTS.md files for AI coding agents, explaining why human-written files improve performance while auto-generated ones can hurt.
Analyzes the hidden costs and skill erosion of using AI for coding, emphasizing the need for human oversight.
Updated SQL Server diagnostic queries for March 2026, including versions for various SQL Server editions and Azure SQL.
Exploring the UMAP-MLX project, which achieves up to 46x speedups for UMAP using Apple's MLX, with performance benchmarks.
A technical architect explores using local LLMs as junior developers for a blog migration, analyzing their strengths and common pitfalls.
A developer discovers and details a JSON serialization bug in Adobe ColdFusion 2025 related to java.lang.Character escaping.
Explains the bash shell shortcut ~- as a handy alternative to $OLDPWD for referencing the previous working directory.
A look at ElementaryUI, a framework that enables Swift web development in the browser via WebAssembly.
A developer's policy on using AI for writing blog posts, code docs, and proofreading, distinguishing human opinion from AI assistance.
Using Azure Bicep's local extensions to treat a smart light as Infrastructure-as-Code, deploying declaratively to physical hardware.
GExperts introduces a new scope-aware Rename Identifier editor expert for Delphi/Pascal, accessible via Shift+F2.
A developer details the challenges of modifying a file browser menu for a hex dump tool, including API limitations and internal system changes.
Explains Lagrange interpolation polynomials, a method for finding a polynomial that perfectly fits a given set of data points.
A developer's monthly roundup featuring tech articles on React, JPEG XL, CSS, Go testing, and PostgreSQL, plus personal updates.
Introduces ready-to-use virtual clusters with vCluster and Alloy for streamlined Kubernetes logging and operations.
A tutorial on using Dremio's AI_CLASSIFY SQL function to categorize data like customer sentiment and support tickets directly within a data lakehouse.
Tutorial on using Dremio's AI_COMPLETE SQL function to generate product summaries, marketing copy, and translations directly within a data pipeline.
