2025

• 28 Apr Why programming can't be fully formalized
• 28 Apr Why LLMs Won't Replace Software Engineers