Tired: test-driven development
Wired: proof-driven development
Падабаецца 0
Рэпосты 0
@vitaut
sounds like Dijkstra and/or Hoare iirc
Падабаецца 0
Рэпосты 0
Адказаў пакуль няма 🐣