Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1 21.07.2023 19:42 Natasha_Klaus 3 Функциональное программирование Криптовалюты Cryptocurrencies Functional Programming
COQ: верификация функций, содержащих fold_left +7 20.07.2023 12:53 Natasha_Klaus 7 Функциональное программирование
Формальная верификация кода на Coq: тактики +4 18.07.2023 10:00 Natasha_Klaus 4 Функциональное программирование
Применение формулы бинома для определения простых чисел +3 17.07.2023 18:18 PicoPicoRobotWoman 23 Программирование Алгоритмы Математика Функциональное программирование Scala Algorithms Programming Mathematics Functional Programming
Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7 14.07.2023 23:10 PicoPicoRobotWoman 11 Программирование Алгоритмы Математика Функциональное программирование Scala Algorithms Programming Mathematics Functional Programming
Разработка расширяемого алгоритма строкового калькулятора +4 13.07.2023 18:21 PicoPicoRobotWoman 10 Алгоритмы Математика Функциональное программирование Scala Algorithms Mathematics Functional Programming
Больше классов богу классов +5 27.06.2023 08:30 ChessMax 2 Dart Функциональное программирование Разработка мобильных приложений Flutter Development of mobile applications Functional Programming
Как я писал свой распределенный мессенджер на Scala/fs2 и немного lock-free. Часть 1: Архитектура и бизнес-логика +12 19.06.2023 13:22 iboltaev 3 Функциональное программирование Scala Распределённые системы
Implicits в Scala — неявные методы, функции, значения и особенности +19 15.06.2023 09:37 Beeline_tech 0 Программирование Функциональное программирование Scala Programming Блог компании билайн Functional Programming билайн corporate blog
Что делать, если человечество не сможет создать искуственный интеллект никогда? +15 13.06.2023 06:09 YuriPanchul 108 Машинное обучение FPGA Функциональное программирование Искусственный интеллект Научно-популярное
5 антипаттернов при написании кода на функциональном ЯП +40 21.05.2023 10:00 Bright_Translate 22 Программирование Функциональное программирование Блог компании RUVDS.com Programming RUVDS.com corporate blog Functional Programming
Тварь дрожащая или право имею: как мы лепили виртуального юриста из русскоязычных нейросетей +24 18.05.2023 15:01 Alliesverse 20 Big Data Машинное обучение Функциональное программирование Искусственный интеллект Machine Learning Artificial Intelligence Functional Programming
Особенности сред исполнения различных систем эффектов в Scala +12 18.05.2023 12:15 KN878 9 Программирование Функциональное программирование Scala Блог компании TINKOFF
Тебе не нужно классическое ООП в твоём бэкенд микросервисе +23 16.05.2023 08:00 CodeShaman 40 Python ООП Проектирование и рефакторинг Функциональное программирование Блог компании ДомКлик
berry-lang — новый язык для BEAM со статической типизацией -2 03.05.2023 19:24 abetkin 14 Erlang/OTP Функциональное программирование Elixir/Phoenix