Media Summary: ... have been uh thinking a lot about categories and type theories since so today my talk is uh going to be about From how to get started to formatting prompts and more, these tips will help advance your This is why I don't use agentic coding tools like Cursor/Cline/Windsurf/Copilot in my
Shaowei Lin Ai Assisted Coding - Detailed Analysis & Overview
... have been uh thinking a lot about categories and type theories since so today my talk is uh going to be about From how to get started to formatting prompts and more, these tips will help advance your This is why I don't use agentic coding tools like Cursor/Cline/Windsurf/Copilot in my 22nd of April, 2021. Part of the Topos Institute Colloquium. ----- Abstract: The Curry-Howard correspondence between proofs and ...
