pidge @pidge.bsky.social · 27/05/2023Are type systems and unit tests always good when the programmer is an LLM? 140