AI

A hands-on look at Claude Code Channels, letting you control your AI coding assistant through Telegram, Discord, and more — no matter where you are.

Ramp, America’s fastest-growing enterprise finance platform valued at $32B with 50,000+ customers and $100B+ in annual transaction volume, chose a ‘one Agent + a thousand skills’ architecture over building many agents. This is a deep dive into Ramp’s AI实战经验.

Spent 3 hours reading the official documentation. Forge wants to turn fine-tuning into an all-in-one service - you just feed it data, and it handles everything else. But how low is the barrier really?

Mistral AI releases Leanstral, the first open-source Lean 4 code agent that lets AI both write code and prove its correctness. Let’s talk about formal verification and AI programming.

Literate programming has been around for 40 years but never caught on — because maintaining parallel narratives of code and prose is exhausting. AI agents change that equation entirely.

When AI programming tools become goldfish - discussing the context loss pain point and how to make AI remember what you’re working on

A macOS tool that sandboxes AI agents like Claude Code and Codex, preventing accidental file deletions and credential leaks once and for all.

Build multiple independent Telegram Bots into a collaborative Agent team. This article covers three architecture patterns and complete configuration methods.

Andrej Karpathy has done it again! This time he implemented a trainable, inferable GPT model in just 200 lines of pure Python with no dependencies. This might be the most concise large language model implementation ever.

Jane Street released a special ML puzzle: given the complete neural network weights, find an input that makes it output non-zero. This isn’t a typical black-box attack - it requires truly understanding what the network is computing. A college student spent days, going from linear programming to SAT solvers, and finally discovered the network was hiding an MD5 hash function.