Top all-time · #14770
Cheng Huang
Personal blog · zfhuang99.github.ioaiprogrammingsystems
Cheng Huang's personal blog at zfhuang99.github.io covers ai, programming and systems. Since 2025, 5 different Hacker News readers have linked it 5 times, most often “The Coming AI Revolution in Distributed Systems”. It is still writing: the last post was on 2025-12-01, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Commenters link these posts about using LLMs with formal methods, including a TLA+/PlusCal and ChatGPT post and a post on GitHub Copilot and formal verification. The comments do not discuss the writing itself.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
a corner of learning and sharing
Most-linked posts?
- The Coming AI Revolution in Distributed Systems2 people · 2 mentions · first linked 2025-05-29
- Learnings from 100K lines of Rust with AI (2025)2 people · 2 mentions · first linked 2026-01-02
What Hacker News says?
Have a look at https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/...
Comment linking /tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html
on “Things that helped me get out of the AI 10x engineer imposter syndrome”Submitted Learnings from 100K lines of Rust with AI (2025) as a story · 24 points
HN discussionTalking about averages is really misleading. Talk about capabilities instead, framed in tool language if you must. Quoting https://buttondown.com/hillelwayne/archive/ai-is-a-gamechang... about https://zfhuang99.github.io/github%20copilot/formal%20verifi... "In the post, Cheng Huang claims that Azure successfully used LLMs to examine an existing codebase, derive a TLA+ spec, and find a production bug in that spec." T…
Comment linking /github%20copilot/formal%20verification/tla+/2025/05/24/ai-revolution-in-distributed-systems.html
on “BYU study: Why some people choose not to use artificial intelligence”Submitted Learnings from 100K Lines of Rust with AI as a story · 2 points
HN discussionSubmitted The Coming AI Revolution in Distributed Systems as a story · 1 points
HN discussion