Tech
Blueprints, Not Prompts: Using TLA+ to Guide AI-Written Code
Article URL: https://mulgadc.com/blog/blueprints-not-prompts-tla-plus Comments URL: https://news.ycombinator.com/item?id=50175574 Points: 1 # Comments: 1
Article URL: https://outerzone.co.uk/plans.asp?cat=Engines
Comments URL: https://news.ycombinator.com/item?id=50322994
Points: 2
# Comments: 0
Discussion (0)
No comments yet. Start the conversation!