How terminal-sharing tools put your shell in a browser

Hello, I'm Maneshwar, and I'm building LiveReview — a blast-radius aware AI code review built for your business-critical systems. Star us to help devs discover the project, give it a try, and share your feedback to help improve the product. You have probably done this dance. You

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.

5 Skills That Make Your Coding Agent Work Better

I gave a coding agent five skills and one real bug. Here's how each skill changed what the agent did, with the actual output.

LLMs Can Generate Paragraphs. But What If You Just Need a Decision? Meet Jev

Meet Jev, a model designed for decision-making rather than text generation. Learn how its decision types work and how to structure requests and questions to get meaningful results.

From Linear Algebra to OpenCV: Understanding Image Transformations

Learn how fundamental linear algebra concepts like vectors, matrix multiplication, and span power everyday image transformations in OpenCV.

Affordable RAG in Go with Gemini File Search: no vector DB, two calls, one hosted store

Hello, I'm Maneshwar, and I'm building LiveReview — a blast-radius aware AI code review built for your business-critical systems. Star us to help devs discover the project, give it a try, and share your feedback to help improve the product. Every team I have been on has

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.

A Headless Browser Without a Rendering Engine, Built for Agents

Puppeteer and Playwright run Chromium's full rendering pipeline on every page load, even though nothing is ever shown. Here is the architecture of a headless browser built without one.

How Does AI Know What's Inside an Image? Meet Vision Language Models

Learn how Vision-Language Models process images and text, and discover what happens behind the scenes when AI understands visual information.

How I Reduced AI Coding Agent Token Waste by 70%

AI coding agents often read more code than necessary. When a developer asks a simple question about a function, the agent searches multiple files, opens entire source files, and fills the context window with irrelevant tokens. Usually, with a bigger codebase, it takes a lot of time to execute, consumes

Teaching Your AI Web Design Some Actual Taste

Let me guess. You opened Claude Code, typed "build me a modern landing page," hit enter, and got back something that technically works but somehow looks like every other site you have ever scrolled. Purple to blue gradients. Inter for everything. Little rounded icon tiles floating above every

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.