56,966 blogs · [ { "id": "01a08c66-e5af-706f-bf9f-68c6dedde842", "title": "Learnings from 100K Lines of Rust with AI", "url": "https://zfhuang99.github.io/rust/claude%20code/codex/contracts/spec-driven%20development/2025/12/01/rust-with-ai.html", "published_at": "2025-12-01T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6df9fe87e", "title": "Lamport Agent - AI-assisted Formal Specification", "url": "https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/11/14/lamport-agent.html", "published_at": "2025-11-14T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6dfcaf25d", "title": "The Coming AI Revolution in Distributed Systems", "url": "https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/05/24/ai-revolution-in-distributed-systems.html", "published_at": "2025-05-24T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6e095b6cd", "title": "Evaluating Windsurf - A Production System Experiment", "url": "https://zfhuang99.github.io/windsurf/2024/12/15/evaluating-windsurf.html", "published_at": "2024-12-15T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6e167e919", "title": "TLA+ Made Simple with ChatGPT", "url": "https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html", "published_at": "2023-09-24T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6e168ec30", "title": "Practical Formal Verification for Distributed Systems", "url": "https://zfhuang99.github.io/formal%20verification/ivy/2023/06/18/practical-formal-verification.html", "published_at": "2023-06-18T00:00:00+00:00" }, { "id": "01a08c66-e5af-706f-bf9f-68c6e20c6084", "title": "Implementing Paxos in Rust with ChatGPT", "url": "https://zfhuang99.github.io/rust/chatgpt/2023/03/14/implementing-Paxos-in-Rust-with-ChatGPT.html", "published_at": "2023-03-14T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/zfhuang99.github.io/posts