#declarative programming AI
180 related articles
·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
Cynative: A Read-Only CLI Tool Written in Go That Makes Infrastructure Explainable
Cynative is a read-only CLI tool written in Go focused on explaining live infrastructure state. This article analyzes its safety-first design, explainability philosophy, and implications for cloud-native operations tooling trends.
Read more →
·3 min
Cynative: A Read-Only CLI Tool Written in Go That Makes Infrastructure Explainable
Cynative is a read-only CLI tool written in Go that focuses on explaining live infrastructure state. This article analyzes its safety-first design, explainability philosophy, and cloud-native tooling implications.
Read more →
·4 min
What It Feels Like When Production Actually Runs Like Localhost
Why does production never match local? This article analyzes root causes like config gaps and dependency drift, and explores how Docker, Twelve-Factor App, and IaC practices bridge the dev-prod divide.
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 →
·3 min
ChatGPT Plugins Get a Major Upgrade: From Conversational Tool to Workflow Hub
Deep dive into ChatGPT's plugin upgrade: how AI connects email, docs, calendars & more to transform from a chatbot into a workflow hub with cross-app aggregation.
Read more →
·3 min
ChatGPT Plugins Get a Major Upgrade: From Conversational Tool to Workflow Hub
Deep dive into ChatGPT's plugin directory upgrade—how AI connects email, docs, calendars and more to transform from a chat tool into a workflow hub platform.
Read more →
·4 min
WebMCP in Practice: How MakeMyTrip Is Reshaping the Travel Booking Experience
India's largest OTA platform MakeMyTrip uses WebMCP to standardize AI Agent interactions with web apps, replacing fragile DOM scraping with natural language-driven test automation and simplified complex booking scenarios.
Read more →
·4 min
WebMCP in Practice: How MakeMyTrip Is Reshaping the Travel Booking Experience
India's largest OTA platform MakeMyTrip uses WebMCP to standardize AI Agent interaction with web apps, solving DOM scraping fragility, enabling natural language test automation, and simplifying complex international flight bookings.
Read more →
·3 min
The Next Evolution of Coding Agents: Letting the Brain Break Free from the Sandbox
Exploring the key evolution in coding agent architecture: separating the reasoning core from code execution environments to decouple control and execution planes.
Read more →
·3 min
Rusty HLP Viewer: A Cross-Platform Tool for Natively Opening Legacy HLP Help Files
Rusty HLP Viewer is the first open-source tool to natively open Windows HLP help files. Built in Rust, it runs on Windows, Linux, and macOS without format conversion.
Read more →
·3 min
The Next Evolution of Coding Agents: Letting the Brain Escape the Sandbox
Exploring the next evolution in coding agent architecture: decoupling the reasoning core from code execution environments to separate control and execution planes.
Read more →
·3 min
Getting Started with Codex: A Beginner's Guide to AI Agentic Coding Tools
A detailed guide to getting started with Codex and Claude Code AI agentic coding tools, from environment setup to hands-on practice, helping beginners master AI programming assistants.
Read more →
·3 min
Getting Started with Codex: A Zero-to-Hero Guide to AI Agentic Coding Tools
A detailed guide to getting started with Codex and Claude Code—two leading AI agentic coding tools. From environment setup to hands-on practice, even beginners with no coding experience can master AI programming assistants.
Read more →
·3 min
Jenkins Deep Dive: The Evergreen King of CI/CD Automation
An in-depth analysis of Jenkins' technical architecture, plugin ecosystem, distributed builds, and use cases — explaining why it remains the CI/CD leader.
Read more →
·4 min
Gemini API in Practice: Building AI Agents with Files
Google's official hands-on: how to go from idea to production fast with AI Studio and build AI Agents using the now-GA Interactions API. The core idea—Agents are just combinations of files.
Read more →
·5 min
Gemini API in Practice: Building AI Agents with Files
Official Google hands-on: go from idea to production fast with AI Studio, and build AI Agents with the now-GA Interactions API. The core idea: an Agent is just a composition of files—Markdown plus a few scripts, no complex Python loops needed.
Read more →
·5 min
Inside Liang Wenfeng's Closed-Door Meeting: DeepSeek's Philosophy of Restraint and Its AGI Strategy
A full breakdown of DeepSeek founder Liang Wenfeng's 4-hour closed-door meeting: no KPIs, only reasonable profits, open-sourcing top models, and tackling AGI via continual learning—a rare AI strategy confession showing how restraint becomes a core edge.
Read more →
·8 min
Quick Start with SpringBoot from Scratch: From Java Projects to Enterprise Application Practice
Discover why beginners study SpringBoot for six months without getting started. Learn the 'focus on the big picture' methodology and evolve a simple Java project into a runnable enterprise-level SpringBoot application step by step.
Read more →
·8 min
Quick Start with SpringBoot for Beginners: From a Java Project to a Real Enterprise Application
Discover why beginners study SpringBoot for six months without getting started. Learn the 'focus on the big' methodology, and evolve a simple Java project step by step into a runnable enterprise application with IDEA.
Read more →