ai code review
Introducing LiveReview: World's First Generally Available Risk-Aware Code Review System
Auto Approve 40-50% of Your Low-Risk PRs, Safely
Shrijith Venkatramana
lean 4
Introducing LeanPort: Bring Proven Lean 4 Modules into Your Go Projects
LeanPort compiles Lean 4 modules and their proofs into a Go package, so ordinary Go code can call logic checked against a stated rule for every input. A six-example tour, from one function to a verified authorization tool.
AI
When Coding with AI, You Get What You Inspect, Not What You Expect
AI coding assistants have made code generation cheap, but correctness has not gotten cheaper at the same rate. This is why inspection, not expectation, decides whether AI-assisted code actually works.
postgresql
Introducing dbctx: Compile PostgreSQL Database into LLM-Friendly Context
dbctx compiles a PostgreSQL database into a compact, queryable context file. AI agents and text-to-SQL systems get only the schema, relationships, and field meaning they need, instead of the entire information_schema.
AI
Perfectly Hitting the Wrong Target: The Story of an AI Code Review Benchmark
A first-principles critique of the AI Code Review Bench methodology, arguing that AI code review has split into two distinct problems — human comprehension and machine verification — that no single benchmark can yet capture.
AI
What's Happening With AI Token Prices, and What It Means for Your Budget
A practical look at why AI token prices can feel both expensive and rapidly cheaper, and how falling inference costs change what customers should expect from AI products.
AI
Understanding AI Code Fast: A 60-Second Habit for Institutional Memory
Why teams using AI-generated code still need lightweight verification, and how a 60-second micro-review habit with git-lrc can build institutional memory without reading every line.
AI
A New Method for Stable Software: Micro Code Reviews for the AI Era
Why AI-generated code needs lightweight verification, and how micro code reviews with git-lrc can improve software stability and developer comprehension.
AI
The Subsidy Era Is Over: A Reality Check on AI-Powered Dev Tool Pricing
A reality check on AI-powered dev tool pricing, shrinking subsidies, workload-based costs, and predictable pricing for code review tooling.
AI
Why Agentic Engineering Must Replace Vibe Coding
A critique of vibe coding and a case for agentic engineering built on verification, feedback loops, accountability, and engineering rigor for serious software systems.
design
Responsible Design: Shaping Large-Scale Consequences by Organizing Agents
A reflection on AI accountability, individual responsibility, and why careful design is the only viable way to shape outcomes in complex agentic systems.
Git
Git Packfiles from the Ground-Up: What they are and Why they Matter
A friendly, from-scratch walkthrough of how Git packfiles shrink storage and speed up transfer, backed by real outputs and a full reproducible script appendix.