Hacker News: pramodbiligiri

New comment by pramodbiligiri in "Intro to TLA+ for the LLM Era: Prompt Your Way to Victory"

pramodbiligiri — Wed, 20 May 2026 12:53:27 +0000

There's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s...

New comment by pramodbiligiri in "Learnings from 100K lines of Rust with AI (2025)"

pramodbiligiri — Wed, 20 May 2026 10:47:14 +0000

It is described in the "Code Contracts" section of the article: "Code contracts specify preconditions, postconditions, and invariants for critical functions. These contracts are converted into runtime asserts during testing but can be disabled in production builds for performance". The .NET framework article that he links to: https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...

Learnings from 100K lines of Rust with AI (2025)

pramodbiligiri — Wed, 20 May 2026 10:04:28 +0000

Article URL: https://zfhuang99.github.io/rust/claude%20code/codex/contracts/spec-driven%20development/2025/12/01/rust-with-ai.html

Comments URL: https://news.ycombinator.com/item?id=48205415

Points: 116

# Comments: 114

Evolving specs (2025)

pramodbiligiri — Tue, 19 May 2026 07:48:02 +0000

Article URL: https://github.com/github/spec-kit/discussions/152

Comments URL: https://news.ycombinator.com/item?id=48190463

Points: 1

# Comments: 0

New comment by pramodbiligiri in "Zerostack – A Unix-inspired coding agent written in pure Rust"

pramodbiligiri — Sun, 17 May 2026 10:52:26 +0000

Looks like that time command was invoked from "fish" shell: https://fishshell.com/docs/current/cmds/time.html

An introduction to TLA+ and its use in parties (2023)

pramodbiligiri — Sat, 16 May 2026 17:24:36 +0000

Article URL: https://www.innoq.com/en/articles/2023/04/an-introduction-to-tla/

Comments URL: https://news.ycombinator.com/item?id=48162089

Points: 2

# Comments: 0

GNAP: Git Native Agent Protocol

pramodbiligiri — Fri, 15 May 2026 16:42:22 +0000

Article URL: https://github.com/farol-team/gnap

Comments URL: https://news.ycombinator.com/item?id=48150774

Points: 2

# Comments: 0

New comment by pramodbiligiri in "I'm going back to writing code by hand"

pramodbiligiri — Tue, 12 May 2026 16:54:35 +0000

Some kind of planning / speccing out is becoming inevitable. No personal experience with openspec but I do rely on generating plans, and then a set of tasks from the plan. And keeping a close eye on what's going as the tasks are churned through (although I wonder if simply saying Yes to the diffs has been adding much value /shrug).

Matt Pocock talks about specs and Openspec after 23:00 minute mark and again after 33:00 minute mark here: https://www.youtube.com/watch?v=-QFHIoCo-Ko. He doesn't believe in simply translating specs-to-code. He emphasizes tracer bullets, TDD, setting up quick feedback loops.