Code generation is one of the most promising applications of large language models (LLMs), offering substantial productivity boosts for developers. However, this benefit is tempered by serious concerns surrounding the correctness and security of the generated code - especially outside the happy path.
Writing client-facing APIs involves mundane tasks, whether it be REST, GraphQL, or gRPC. In this talk, I will pick two repetitive tasks during API development and demonstrate how we can utilize Scala to automate the most boring parts.
This will be a live coding demonstration of Scala's newest feature set: capture checking.
So, is there a modern solution for web apps that is powerful, simple, and blazingly fast in both CI and the browser? A solution that lets you write in your favorite backend language and is fun? The answer is Datastar!
This talk presents McCCT, a new concurrency testing tool developed at KTH by the speakers in the context of an ongoing research project.
In my talk I will argue that we can do much better by relying in a systematic way on types and capabilities.