Говорилка CatOps: AI

Всі розмови зараз про 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