Software Is About Promises

Comments (1)

hosh · 4h ago

There's an entire semi-formal language on promises, called promise theory. This includes promises autonomous agents (humans, back when this was conceived) make for other autonomous agents. Promise Theory was the basis for CFEngine, which spawned Puppet and Chef, but it's applicability is much broader. The kind of promises examined within this article can be described and analyzed by promise theory.

The central insight is understanding that promises are not obligations, and why and how that matters. From there, interesting things can be analyzed -- using types and contracts in a development team, unit tests, integration tests, specs, user interface and user experience, compliance, signaling, APIs, etc.

I think it is particularly useful now in the age of LLMs, agenic AIs, and autonomous robots that have to navigate spaces shared with humans.

https://markburgess.org/promises.html

How to get started with writing tech video essays

Ask HN: How to learn CUDA to professional level

Ask HN: In 15 years, what will a gas station visit look like?

Ask HN: Is there any demand for Personal CV/Resume website?

Ask HN: Startup getting spammed with PayPal disputes, what should we do?

Ask HN: What Happened to the Apple Vision Pro?

Ask HN: How long do you ever leave your server running without updates?

Ask HN: Any good tools for viewing congressional bills?

Ask HN: What's your open source stack?

Ask HN: Has anybody built search on top of Anna's Archive?

Ask HN: Who is hiring? (June 2025)

What is a modern successor to HyperCard?

Bill Atkinson has passed away

Ask HN: How do I learn robotics in 2025?

Ask HN: Share real complaints about outsourcing data annotation

Best place for small remote gigs?

Ask HN: Who wants to be hired? (June 2025)

Ask HN: What would you work on if you couldn't fail?

Ask HN: Options for One-Handed Typing

Ask HN: Best practices for building front ends with AI assistance?

Ask HN: Resources to Learn AI/ML Fundamentals

Ask HN: Anyone else feeling increasingly alienated from the industry?

OpenAI's update to ChatGPT's Advanced Voice is terrible

60–70% of YC X25 Agent Startups Are Using TypeScript

Get Your Dev Tool Mentioned by ChatGPT, Gemini Not Just Ranked on Google

Ask HN: Running AI agents in isolated environments

Ask HN: What Does Your Self-Hosted LLM Stack Look Like in 2025?

When Profit Overshadows Community: A Look at Golang Conferences

Ask HN: In-house or outsourced data annotation? (2025)

Ask HN: What powerful but lesser-known Python libraries are out there?

Tiptap open-sources 10 formerly Pro extensions under MIT license

Ask HN: What do you put in claude.md and what you leave out?

Ask HN: Do we need a language designed specifically for AI code generation?

Reaching my first 100 users without money or audience (at 10K users now)

Ask HN: A Tetris variant with greater tactical and strategic depth?

Ask HN: Is synthetic data generation practical outside academia?

I Built an AI Agent with Gmail Access and Discovered a Security Hole

Summer projects (preferably open source) for college sophomores

How do you store and maintain your CV/resume over time?

O(1) memory, no-preprocessing reachability algorithm for 2D grids

Ask HN: Where do you go for cutting-edge dev news and info?

Ask HN: What are some good resources for coding best practices?

Ask HN: Should I build a directory product?

Ask HN: Dealing with Vibe Coding Depression?

Ask HN: What is your favorite quote from a book?

Ask HN: What are your fav/goto decision making hacks/heuristics?

Ask HN: What's with the repeated job posts on "Who's hiring"?

Ask HN: Walking while working and having meetings

Ask HN: Who's Using the Origin Private File System?

Ask HN: Does anyone know of a general news site akin to Hacker News?

Software Is About Promises

Comments (1)