#formal specification
315 related articles
·3 min
Discovering Cryptographic Vulnerabilities with Claude: A New Paradigm for AI-Assisted Security Research
How Anthropic's Claude assists in discovering cryptographic implementation vulnerabilities, analyzing AI's real capabilities and limitations in code review, side-channel detection, and protocol analysis.
Read more →
·3 min
Practical Guide to Agent Development: The Complete Path from Zero to Commercial Deployment
A systematic guide to AI Agent development from beginner to deployment, covering task planning, tool calling, memory management, learning paths, and realistic commercial monetization considerations.
Read more →
·5 min
WebMCP in Practice: Building Browser AI Agent Tools & DevTools Debugging Guide
A detailed guide to Google's WebMCP standard proposal, covering imperative and declarative tool building, smart home and car configuration demos, and Chrome DevTools debugging for AI agent tools.
Read more →
·2 min
Chrome Web Store Review Approval Guide: Dead Code Cleanup and Packaging Best Practices
Chrome Web Store submission rejected? Learn how to pass review by cleaning dead code, removing node_modules from builds, and ensuring compliance with store policies.
Read more →
·2 min
Kimi K3 Launches on Telnyx Inference API: A New Path for Chinese LLMs Going Global
Moonshot AI's Kimi K3 is now available on Telnyx Inference API. Explore how Chinese LLMs are entering global developer ecosystems through third-party inference platforms.
Read more →
·2 min
Why 'Clean Code' Author Uncle Bob No Longer Reviews AI-Generated Code Line by Line
Clean Code author Robert C. Martin no longer reviews AI-generated code line by line, shifting to test-driven verification. We explore the logic, debate, and implications.
Read more →
·3 min
Running AI Inside DRAM: A Processing-in-Memory Experiment That Breaks DDR4 Timing Rules
Explore how deliberately violating DDR4 timing rules enables running PrismML's Bonsai AI model inside DRAM, covering the principles, energy benefits, and challenges of processing-in-memory.
Read more →
·3 min
Simplified Technical English (STE): A Cross-Disciplinary Approach to Optimizing LLM Prompts
Explore how ASD-STE100 Simplified Technical English from aviation can be applied to LLM prompt engineering. STE's disambiguation principles—controlled vocabulary, short sentences, active voice—can improve LLM output accuracy and consistency.
Read more →
·3 min
Complete Guide to Self-Hosted Music Servers: A Cross-Platform Navidrome Alternative to Spotify
Compare Navidrome, Jellyfin, and other self-hosted music servers. Covers cross-platform clients, remote access setup, and metadata management to replace Spotify.
Read more →
·4 min
AI Coding Tools in Practice: Which Ones Actually Stuck with the Team?
A 12-person product team shares real-world experiences with Cursor, Codex, Claude Code, and CodeRabbit—exploring efficiency plateaus, scenario matching, and selection criteria for AI coding tools that actually stick.
Read more →
·3 min
Vibe Coding in Practice: Building a Personal Website with AI from Scratch
Build a personal website with Vibe Coding even from scratch! Practical tips for collaborating with AI via Codex and DeepSeek: have AI restate requirements, use screenshots to locate, change one thing at a time, and handle long Chinese text.
Read more →
·3 min
Vibe Coding in Practice: Building a Personal Website with AI from Zero
Build a personal website with Vibe Coding even with zero coding background! Practical tips for collaborating with AI via Codex and DeepSeek: have AI restate needs, use screenshots, change one thing at a time, and deploy your site with ease.
Read more →
·4 min
Office CLI: The Open-Source Tool That Lets AI Agents Generate and Deliver Office Files
Office CLI is an open-source GitHub Trending tool that lets AI Agents create Word, Excel, and PowerPoint files directly — with preview rendering and auto-checks, no Microsoft Office required.
Read more →
·4 min
Building an AI-Automated Topic Selection System: A Practical Guide to the Three-Dimension Method
Learn how Bilibili creator JK built an AI-automated topic selection system using Codex and Feishu — covering the three-dimension method: practice, trending topics, and benchmarking.
Read more →
·3 min
ChatGPT Client Widespread Outage: Why the App Fails While the Web Version Works
ChatGPT's iOS and macOS clients suffered a global outage with preauth_cookie_device_check_failed and 403 errors, while the web version worked fine. Here's why.
Read more →
·7 min
Auditing Cryptographic Libraries with AI: What We Found in Cloudflare's CIRCL
An in-depth look at using AI LLMs to audit Cloudflare's open-source cryptographic library CIRCL, covering constant-time detection, side-channel vulnerabilities, and human-AI collaboration.
Read more →
·5 min
China Weighs Restricting Top AI Model Exports as DeepSeek Develops Its Own Inference Chip
China's Commerce Ministry weighs restricting overseas access to top open-weight AI models from Alibaba, ByteDance, and DeepSeek, while DeepSeek develops its own inference chip amid a US-China AI export standoff.
Read more →
·5 min
China Weighs Restricting Top AI Model Exports, While DeepSeek Quietly Builds Its Own Inference Chip
China's Ministry of Commerce is weighing restrictions on overseas access to top open-weight AI models from Alibaba, ByteDance, and DeepSeek. Meanwhile, DeepSeek is quietly building its own inference chip and raising ~$7B in first external funding.
Read more →
·3 min
The Complete Beginner's Guide to Vibe Coding: Core Logic and Practical Learning Path
Vibe Coding is the new AI-era programming paradigm. Describe what you want in plain language; let AI generate the code. Learn the 3-stage path: mindset, quality, and real projects.
Read more →
·5 min
From Vibe Coding to AI Engineering: A Complete Guide to Enterprise-Grade Development
In the AI programming era, Vibe Coding alone can only build toys. This article deeply analyzes the complete engineering path from Vibe Coding to SDD spec-driven development, covering Claude Code and Codex tool selection, the SuperPower plugin, and domestic LLM comparisons.
Read more →