# Summary

Today on the Austrian AI Podcast, we join the hype and talk about big language models and program synthesis.

I am sure you have heard about OpenAI's code pilot, or AWS Codewhisper, or even about Google's internal projects to use big language models to help developers write better code, faster.

Program synthesis models are all over the news and today I have the pleasure to talk to Klaudius Kalcher cofounder of Magic.dev an AI startup that builds Software, that builds Software.

In the episode we talk about how to use big language models for program synthesis. About what is out there already, open challenges and what is the state of the art. Klaudius shares with us how he thinks about the program synthesis and how at Magic.dev they are building a software development support system in the form of an AI companion.

# References

[https://www.linkedin.com/in/klaudiuskalcher/](https://www.linkedin.com/in/klaudiuskalcher/)

[https://magic.dev/](https://magic.dev/waitlist)

[https://arxiv.org/pdf/2207.11280.pdf](https://arxiv.org/pdf/2207.11280.pdf) - PanGu-Coder

[https://github.com/features/copilot](https://github.com/features/copilot)

[https://aws.amazon.com/blogs/aws/now-in-preview-amazon-codewhisperer-ml-powered-coding-companion/](https://aws.amazon.com/blogs/aws/now-in-preview-amazon-codewhisperer-ml-powered-coding-companion/)

[https://ai.googleblog.com/2022/07/ml-enhanced-code-completion-improves.html](https://ai.googleblog.com/2022/07/ml-enhanced-code-completion-improves.html)