Software Correctness and Programming Languages with Sean Allen
·164 words·1 min
A deep conversation on the biggest challenges of developing with AI – while trying not to mention the phrase “AI” once.
Ada
Learning From Ada
How a younger me chose C over Ada, and what that choice taught me about how we pick technologies.