A Book Written in Types
PDF

A Book Written in Types

Working title

bugabinga

A book whose source is Typst, built to a website and a PDF by one pipeline.

Start reading Download the PDF EPUB

Contents

  1. Preface

Part I: Foundations

  1. 1 Machine and program
  2. 2 Information and entropy
  3. 3 Knowledge
  4. 4 Software and its forms
  5. 5 Operating systems

Part II: Craft

  1. 6 Learning the craft
  2. 7 Beauty and mechanical sympathy
  3. 8 The cycle and its costs
  4. 9 The practices
  5. 10 Intent and product engineering

Appendices

  1. Open questions
  2. Agents
  3. Citations
  4. Glossary
  5. Prelude reference