#AI Pro
7406 related articles
·4 min
Project Rai-chan Technical Breakdown: A Complete Guide to Building a Fully Local AI Companion
Deep dive into Project Rai-chan's tech stack: Ollama+Gemma local LLM, Unity rendering, VOICEVOX speech synthesis, and more — exploring the technical path for local AI companions.
Read more →
·3 min
Implementing Zanzibar in Lean4: A Formally Verified Permission Engine for AI Projects
Deep dive into a Datalog permission DSL built on Google Zanzibar using Lean4 theorem prover. How formal verification strengthens AI permission management.
Read more →
·3 min
Inbox Pattern Explained: An Elegant Solution to Duplicate Message Processing
Deep dive into how the Inbox Pattern solves duplicate message processing in distributed systems, covering core principles, MassTransit implementation, alternatives comparison, and practical selection guidance.
Read more →
·3 min
Inbox Pattern Explained: An Elegant Solution for Duplicate Message Processing
Deep dive into the Inbox Pattern for solving duplicate message processing in distributed systems, covering core principles, MassTransit implementation, alternatives comparison, and selection guidance.
Read more →
·2 min
If AI Writes All the Code, What's Left for Programmers?
AI coding tools are spreading fast—so where does programmer value lie? This article analyzes three key role shifts: from writer to reviewer, implementer to designer, and lone wolf to coordinator.
Read more →
·3 min
Running Android Apps in Docker Containers: A Comparison of Three Approaches with Practical Guide
Explore running Android apps in Docker containers, comparing containerized emulators (redroid/docker-android), API packet capture, and notification forwarding tools with GMS push limitations analysis.
Read more →
·4 min
Harness Engineering: The Core Infrastructure for Taking AI Agents from Demo to Production
Deep dive into Harness Engineering: why AI Agents need memory management, durable execution, guardrails & approvals to go from demo to production.
Read more →
·3 min
Claude Code vs Codex: Hands-On Comparison and Installation Guide for AI Programming Tools
In-depth comparison of Claude Code and Codex AI programming tools covering accuracy, installation, and network setup tips to help developers choose the best solution.
Read more →
·4 min
Harness Engineering: The Core Infrastructure for Taking AI Agents from Demo to Production
Deep dive into Harness Engineering: why AI Agents need memory management, durable execution, guardrails & approvals to reach production. Based on Scott Moss's workshop.
Read more →
·5 min
Loop Engineering Explained: The New Programming Paradigm Where AI Prompts Itself
Loop Engineering is a paradigm shift in AI usage. Learn how to build automated loops where agents explore, execute, and verify tasks autonomously, with a hands-on e-commerce case study.
Read more →
·6 min
Harness Engineering: From Context Engineering to the Third Phase of AI Programming
Explore Harness Engineering: the next evolution beyond context engineering for AI programming. Learn how to build enterprise-grade Skill systems and deliver real projects with mid-tier models.
Read more →
·2 min
A Beginner's Guide to Vibe Coding: Building Your Career Moat with AI Programming
A detailed guide to Vibe Coding with AI programming tools like Claude Code, Cursor, and Codex. Learn how to leverage AI-driven development to ship products independently and build lasting career value.
Read more →
·2 min
How Gamma Uses AI to Reinvent Presentations: A Complete Revolution from Product to Workflow
Gamma CEO Grant Lee shares how the company deeply integrates OpenAI technology to drive presentation innovation with AI—from image generation to content creation and internal development workflows.
Read more →
·4 min
Deep Dive into AI Short Drama "Nido de Villanas": How AIGC Mass-Produces Binge-Worthy Content
Using AI-generated Spanish short drama Nido de Villanas as a case study to analyze AIGC script generation, character consistency, multilingual dubbing, and the commercial logic of scaled AI drama production.
Read more →
·4 min
Deep Dive into AI Short Drama "Nido de Villanas": How AIGC Mass-Produces Binge-Worthy Content
Using AI-generated Spanish short drama "Nido de Villanas" as a case study, this deep dive analyzes AIGC script generation, character consistency, multilingual dubbing, and the industry trends of scaled AI drama production.
Read more →
·2 min
Chrome Built-in AI Explained: How Locally Running Models Protect Your Privacy
Explore Chrome Built-in AI technology and how running AI models locally in the browser enables zero data upload, instant responses, and stronger privacy protection.
Read more →
·2 min
Chrome Built-in AI Explained: How Locally Running Models Protect Your Privacy
Deep dive into Chrome Built-in AI technology, exploring how running AI models locally in the browser achieves zero data uploads, instant responses, and stronger privacy protection.
Read more →
·2 min
The Rise of AI-Powered Short Dramas: How Spanish-Language Micro-Series Are Reshaping Content Production
Explore how AI empowers Spanish-language micro-drama production—from script generation and voice synthesis to multilingual distribution—and its profound impact on the global content industry.
Read more →
·3 min
Gemini 3.1 Pro Rate Limiting Exposed: Why Paid Users Can Never Use Their Full Quota
Deep analysis of Google Gemini 3.1 Pro's rolling window rate limiting, revealing the gap between paper quotas and real usability for paid AI subscribers.
Read more →
·3 min
Three Essential Hard Skills Traditional Product Managers Need to Transition into AI PM
How can traditional product managers transition to AI PM? This article analyzes the essential differences and details three must-have skills: AI product cognition, advanced Prompt engineering, and large model technical logic.
Read more →