#embedded verification
275 related articles
·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 →
·3 min
Carta: Pandoc Rewritten in Rust — 45x Faster, 20x Smaller
Carta is a Rust reimplementation of Pandoc with a 9MB binary (1/20th of Pandoc) and up to 45x faster conversion. Supports Markdown, DOCX, LaTeX, and Pandoc JSON filters.
Read more →
·3 min
Claude Shared Links Indexed by Google: Privacy Risks and Protection Guide
Claude's shared conversation links and Artifacts may be crawled and indexed by Google, risking sensitive data exposure. Learn the technical causes and how to protect yourself.
Read more →
·3 min
Claude Shared Links Indexed by Google: Privacy Risks and Protection Guide
Claude's shared conversation links and Artifacts may be crawled and indexed by Google, exposing sensitive information publicly. Learn the technical causes and how to protect yourself.
Read more →
·3 min
Codex Beginner's Guide: Hands-On Review of OpenAI's Programming Assistant with Practical Tips
A detailed guide to OpenAI Codex's core features, real-world usage, comparison with Claude Code, and DeepSeek configuration tips for developers choosing AI programming tools.
Read more →
·3 min
Carta: Pandoc Rewritten in Rust — 45x Faster, 20x Smaller
Carta is a Rust reimplementation of Pandoc that produces a 9MB binary (1/20th of Pandoc) and achieves up to 45x faster conversion speeds for Markdown, DOCX, LaTeX, and more.
Read more →
·4 min
Building a High-Performance Lock-Free Queue from Scratch: A Modern C++ Practical Guide
A deep dive into building high-performance lock-free queues with modern C++, covering CAS atomic operations, memory ordering, Michael-Scott algorithm, ring buffers, ABA problem solutions, and memory reclamation mechanisms.
Read more →
·2 min
ag-kit: A Deep Dive into the TypeScript-Based AI Agent Development Toolkit
An in-depth analysis of ag-kit, a TypeScript-based AI Agent development toolkit covering core architecture, modular design, use cases, and tech selection advice for full-stack developers.
Read more →
·7 min
DIY Companion Robot: Building Your AI Desktop Buddy with Jetson Orin
A maker builds a DIY companion robot with NVIDIA Jetson Orin and 4S LiPo battery. Explore the full development journey from first power-up to AI interaction, including edge computing, power design, and companion robot trends.
Read more →
·3 min
Cursor + Claude in Action: Building a Python Student Management System from Scratch with AI
A step-by-step guide to building a Python student management system from scratch using the AI editor Cursor with Claude. Covers Agent, Ask, and Manual modes, model selection, and the full workflow.
Read more →
·3 min
AI Agent in Action: Building a Local Netlist Analysis Plugin for JLCEDA from Scratch
How a Bilibili creator used AI Agent, MCP, and Playwright to build a JLCEDA local netlist analysis plugin from scratch—covering features, setup, and the full Agent-driven dev process.
Read more →
·6 min
How the Creator of Redis Squeezed a 284B-Parameter DeepSeek into an Ordinary Laptop
Redis creator antirez built DS4 "Dwarf Star," a pure-C inference engine, using asymmetric quantization to compress DeepSeek V4 Flash from 500GB to 80.8GB for local 128GB unified-memory deployment at 26.7 tokens/sec.
Read more →
·6 min
How the Creator of Redis Squeezed a 284-Billion-Parameter DeepSeek Into an Ordinary Laptop
Redis author antirez built the pure-C inference engine DS4 "Dwarf Star," compressing DeepSeek V4 Flash from 500GB to 80.8GB via asymmetric quantization for local deployment on 128GB unified memory at 26.7 tokens/sec.
Read more →
·2 min
OfficeCLI Hands-On: AI Batch Read, Edit & Generate Word/Excel/PPT Without Installing Office
Hands-on test of open-source OfficeCLI: a single binary reads, edits, and generates Word/Excel/PPT. 1,000 cells rewritten in 0.37s, Chinese text supported. Covers XML internals, real failures, and AI Agent integration.
Read more →
sqlite-utils 4.1 Released: The --code …
·7 min
sqlite-utils 4.1 Released: The --code Option, Type Overrides, and AI-Assisted Development in Practice
sqlite-utils 4.1 brings practical new features: the --code option for generating rows with Python, field type overrides fixing leading-zero ZIP codes, STRICT table mode switching, drop-index, and more. A deep dive into each design and the AI-assisted dev workflow.
Read more →
·7 min
Getting Started with Codex: Installation and Usage Guide for OpenAI's AI Coding Agent
A comprehensive guide to OpenAI's new AI coding agent Codex: from concept and comparison of its four forms, to installing Git/Node.js/VS Code, configuring the API Key, and creating a workspace.
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
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 →
·7 min
Claude Code in Action: Building an Embedded Tetris Game with AI in Under 3 Hours
A hands-on case: using Claude Code and the LVGL graphics library to build a Tetris game running on an embedded board from scratch in under 3 hours.
Read more →
·7 min
Claude Code in Action: Building an Embedded Tetris Game with AI in 3 Hours
A hands-on case study: using Claude Code and the LVGL graphics library to build a Tetris game running on an embedded dev board from scratch in under 3 hours.
Read more →