Constructive Specifications: A Short Story
substack.com · 354 words · saved by 1 readers
Or why prosa language specifications are mostly useless
specification noun spec·i·fi·ca·tion (spe-sə-fə-ˈkā-shən) The act or process of specifying. A detailed precise presentation of something or of a plan or proposal for something. Alice is a smart programmer. She has created a programming language called Carta. Other smart programmers have taken an interest in Carta, and they’ve helped Alice improve the language and its implementation. Then, other smart programmers have played with Carta, and some even started to build things with it. Alice is happy. Bob is a smart programmer. He has learnt Carta and he likes it, but he wants to build…
related reading
- Would you fly on an AI-coded plane | Hackle's bloghacklewayne.com
- Reading 4: Specificationsweb.mit.edu
- AddyOsmani.com - How to write a good spec for AI agentsaddyosmani.com
- Pseudoprosetaylor.town
- Speculative Everything : Design, Fiction, and Social Dreamingreadings.design
- Reading 5: Designing Specificationsweb.mit.edu
- Reading 7: Designing Specificationsweb.mit.edu
- Human Judgment as a Specificationblog.brownplt.org
- Ralph Wiggum as a "software engineer"ghuntley.com
- Galois - Specifications Don't Existgalois.com
- Quint: executable specifications for reliable systemsquint.sh
- Reading 6: Specificationsweb.mit.edu