Show Notes
OCaml – уникальный язык и по своему историческому значению, и по фичам. Он сильно повлиял практически на все современные языки, на нем до сих пор написаны многие из их компиляторов, и одновременно с этим он считается идеальным входом для новичков в мир функционального программирования. А погружаемся в этот язык мы вместе с Павлом Аргентовым, программистом из Evrone, который страстно любит OCaml и пишет на нем очень много кода.
Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! Telegram-чат: https://t.me/podlodka Telegram-канал: https://t.me/podlodkanews Страница в Facebook: www.facebook.com/podlodkacast/ Twitter-аккаунт: https://twitter.com/PodcastPodlodka
Ведущие в выпуске: Евгений Кателла, Егор Толстой
Полезные ссылки:
Официальные ресурсы Документация и туториалы: OCaml.org — официальный сайт. Getting Started, документация, packages https://ocaml.org/
OCaml Manual — полная справка по языку. Формальная семантика, все языковые конструкции https://ocaml.org/manual/
Real World OCaml — практическая книга (2nd Edition).Jane Street, Yaron Minsky, Anil Madhavapeddy https://dev.realworldocaml.org/
CS3110: Data Structures and Functional Programming (Cornell). Лучший образовательный ресурс для начинающих https://cs3110.github.io/textbook/
Инструменты: OPAM — package manager. 4,600+ packages https://opam.ocaml.org/
Dune — build system. Композируемая, быстрая система сборки https://dune.build/
Merlin — IDE support (LSP). Автодополнение, type information, jump to definition https://github.com/ocaml/merlin
OCamlFormat — code formatter. Opinionated formatting https://github.com/ocaml-ppx/ocamlformat
Полный список ссылок на странице выпуска https://podlodka.io/465
More from Podlodka Podcast
Рассказать AI о своих переживаниях бывает проще, чем записаться к психологу: он терпеливо выслушает даже в три часа ночи и, кажется, неплохо вас поймёт. Но достаточно ли этого, чтобы стало лучше? В этом выпуске вместе с Натальей Кисельниковой разбираемся, что исследования говорят об эффективности такой помощи, с какими запросами AI может справиться, а в каких случаях на него точно не стоит полагаться. А ещё заглянем по другую сторону терапии: как сами специалисты используют AI в своей практике и как это меняет работу психотерапевта. Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! Telegram-чат: https://t.me/podlodka Telegram-канал: https://t.me/podlodkanews Twitter-аккаунт: https://twitter.com/PodcastPodlodka
Тема стартапов неисчерпаема, и в этот раз мы сосредоточились на самой нервной и драматичной её части — фандрейзинге. Аня Коган, CEO Fitwise и руководитель разработки OpenCV.ai, поделилась искренней историей о том, как она поднимала раунд. Обсудили процесс поиска инвесторов и подготовки питч-дека, разницу в мышлении инвесторов и фаундеров, психологию отказов и то, как AI меняет весь венчурный ландшафт. Спойлер: теперь не только идея ничего не стоит, но и реализацией впечатлить сложновато, а вот раскрученная ферма TikTok-аккаунтов вполне может стать весомым аргументом для инвестора. За остальными инсайтами — скорее включайте выпуск!
Заказная разработка переживает сложные времена: проектов меньше, клиенты экономят, а AI заставляет пересматривать модель работы. В первой части говорим с Денисом Германенко, СЕО CleverPumpkin. Он рассказывает, что происходит с рынком мобильной разработки в России, какие проекты еще отдают подрядчикам и за что им готовы платить.
Несколько лет назад никто толком и не знал, что такое RAG, а сейчас трудно себе представить агентскую работу без них. Retrieval augmented generation - что это такое, и почему скрестить LLM с поиском оказалось такой удачной идеей - разбираемся в выпуске!
Ещё год назад AI в математике осиливал разве что олимпиадные задачки. Сегодня промпт «сделай научный прорыв» разваливает гипотезу почти тридцатилетней давности, а OpenAI заявляет решение Навье–Стокса силами десяти тысяч агентов. Вместе с Александром Куликовым, доктором физико-математических наук и исследователем JetBrains, разбираемся, где здесь красивая история и маркетинг, а где – настоящий результат, который не только удивляет, но и пугает математическое сообщество, и почему филдсовские медалисты отвечают на всё это письмами протеста.