Tag
The author explains why they have switched from writing markdown files to using Claude Code to generate HTML for them, arguing that HTML is the new markdown.
KimiFlare is a CLI code editor powered by Kimi K2.6 and hosted on Cloudflare Workers AI.
Signal Shot is a major formal verification initiative to verify the Signal protocol and its Rust implementation using Lean, combining advances in Rust-to-Lean translation (Aeneas), mathematical foundations (Mathlib/CSLib), automated tactics (grind/SymM), and AI-assisted formalization. This represents a significant test of whether Lean can scale from pure mathematics to deployed real-world software systems.
A user with no lab experience used Claude to guide them through building a home wetlab and sequencing their own genome, highlighting the democratization of DIY biology through AI assistance.
ArcKit is an open-source enterprise architecture governance toolkit that provides AI-assisted workflows for architecture principles, risk management, business case justification, technology research, and design reviews, with native Claude Code integration and support for Azure, AWS, and Google Cloud.