Всі розмови зараз про AI, от і ми обговорили цю тему. Вийшло аж 3 години.

Матеріали, що згадуються у випуску:

* https://cline.bot/

* https://replit.com/

* https://github.com/Aider-AI/aider

* https://github.com/joshuavial/aider.nvim

* https://github.com/exo-explore/exo

* https://github.com/continuedev/continue

* https://github.com/ray-project/kuberay

* https://codeium.com/windsurf

* https://fstar-lang.org/

* https://hacl-star.github.io/HaclValeEverCrypt.html

* https://github.com/FStarLang/karamel

* https://hacl-star.github.io/HaclValeEverCrypt.html

* https://www.amd.com/en/products/adaptive-socs-and-fpgas/versal.html

* https://arxiv.org/abs/2404.19756

Музика на початку та в кінці епізоду: Metre - Depth Charge

This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit newsletter.catops.dev