Tired: test-driven development
Wired: proof-driven development
Падабаецца 0
Рэпосты 0
@vitaut what about:
Lgtm-driven development
?
Падабаецца 0
Рэпосты 0
@hattom sounds like vibe coding
Падабаецца 0
Рэпосты 0
@vitaut I started to think the same yesterday.
"Vibes-coding" should be "I wrote this because it felt right"
Падабаецца 0
Рэпосты 0
@vitaut
sounds like Dijkstra and/or Hoare iirc
Падабаецца 0
Рэпосты 0