<p>Всі розмови зараз про AI, от і ми обговорили цю тему. Вийшло аж 3 години. </p><p>Матеріали, що згадуються у випуску: </p><p>* https://cline.bot/</p><p>* https://replit.com/</p><p>* https://github.com/Aider-AI/aider</p><p>* https://github.com/joshuavial/aider.nvim</p><p>* https://github.com/exo-explore/exo</p><p>* https://github.com/continuedev/continue </p><p>* https://github.com/ray-project/kuberay</p><p>* https://codeium.com/windsurf</p><p>* https://fstar-lang.org/</p><p>* https://hacl-star.github.io/HaclValeEverCrypt.html</p><p>* https://github.com/FStarLang/karamel</p><p>* https://hacl-star.github.io/HaclValeEverCrypt.html</p><p>* https://www.amd.com/en/products/adaptive-socs-and-fpgas/versal.html</p><p>* https://arxiv.org/abs/2404.19756 </p><p>Музика на початку та в кінці епізоду: Metre - Depth Charge</p> <br/><br/>This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit <a href="https://newsletter.catops.dev?utm_medium=podcast&utm_campaign=CTA_1">newsletter.catops.dev</a>