Nicole Tietz-Sokolskaya personal blog
Where are we going from here? Software engineering needs formal methods
The job of a software engineer is not to produce code, but to solve problems; we just happen to solve most of those problems by producing code. Ultimately, producing code is hard, and we need help. That's why GitHub's Copilot is exciting, but it's far from ideal, and it's the tip of the iceberg of what's been done and…
- Points
- 139
- HN comments
- 131
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 3, 2021 | Where are we going from here? Software engineering needs formal methods by ntietz | 139 | 131 |
