CatOps
Avsnitt

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

Dela

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

Podden och tillhörande omslagsbild på den här sidan tillhör Yura Rochniak. Innehållet i podden är skapat av Yura Rochniak och inte av, eller tillsammans med, Poddtoppen.