• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с хабом Функциональное программирование

Формальная верификация кода на Coq: тактики +4

  • 18.07.2023 10:00
  • Natasha_Klaus
  • 4
  • Функциональное программирование

Применение формулы бинома для определения простых чисел +3

  • 17.07.2023 18:18
  • PicoPicoRobotWoman
  • 23
  • Programming
  • Algorithms
  • Mathematics
  • Functional Programming
  • Программирование
  • Алгоритмы
  • Scala
  • Математика
  • Функциональное программирование

Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7

  • 14.07.2023 23:10
  • PicoPicoRobotWoman
  • 11
  • Programming
  • Algorithms
  • Mathematics
  • Functional Programming
  • Программирование
  • Алгоритмы
  • Scala
  • Математика
  • Функциональное программирование

Разработка расширяемого алгоритма строкового калькулятора +4

  • 13.07.2023 18:21
  • PicoPicoRobotWoman
  • 10
  • Algorithms
  • Mathematics
  • Functional Programming
  • Алгоритмы
  • Scala
  • Математика
  • Функциональное программирование

Больше классов богу классов +5

  • 27.06.2023 08:30
  • ChessMax
  • 2
  • Functional Programming
  • Development of mobile applications
  • Разработка мобильных приложений
  • Dart
  • Функциональное программирование
  • Flutter

Как я писал свой распределенный мессенджер на 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
  • билайн corporate blog
  • Programming
  • Functional Programming
  • Блог компании билайн
  • Программирование
  • Scala
  • Функциональное программирование

Что делать, если человечество не сможет создать искуственный интеллект никогда? +15

  • 13.06.2023 06:09
  • YuriPanchul
  • 108
  • Функциональное программирование
  • Машинное обучение
  • FPGA
  • Научно-популярное
  • Искусственный интеллект

5 антипаттернов при написании кода на функциональном ЯП +40

  • 21.05.2023 10:00
  • Bright_Translate
  • 22
  • RUVDS.com corporate blog
  • Programming
  • Functional Programming
  • Блог компании RUVDS.com
  • Программирование
  • Функциональное программирование

Тварь дрожащая или право имею: как мы лепили виртуального юриста из русскоязычных нейросетей +24

  • 18.05.2023 15:01
  • Alliesverse
  • 20
  • Functional Programming
  • Machine Learning
  • Artificial Intelligence
  • Big Data
  • Функциональное программирование
  • Машинное обучение
  • Искусственный интеллект

Особенности сред исполнения различных систем эффектов в Scala +12

  • 18.05.2023 12:15
  • KN878
  • 9
  • Блог компании TINKOFF
  • Программирование
  • Scala
  • Функциональное программирование

Тебе не нужно классическое ООП в твоём бэкенд микросервисе +23

  • 16.05.2023 08:00
  • CodeShaman
  • 40
  • Блог компании ДомКлик
  • Python
  • Проектирование и рефакторинг
  • ООП
  • Функциональное программирование

berry-lang — новый язык для BEAM со статической типизацией -2

  • 03.05.2023 19:24
  • abetkin
  • 14
  • Erlang/OTP
  • Функциональное программирование
  • Elixir/Phoenix

Как я убеждал блондинку Машу перейти с программирования RTOS в проектирование железа (а также Coq, Lisp и Haskell) +15

  • 03.05.2023 06:49
  • YuriPanchul
  • 21
  • Программирование
  • Функциональное программирование
  • FPGA
  • Программирование микроконтроллеров
  • Электроника для начинающих

Обобщай это, обобщай то +40

  • 25.04.2023 09:00
  • Stefanio
  • 2
  • Блог компании RUVDS.com
  • .NET
  • C#
  • Математика
  • Функциональное программирование
  • «
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • »
Страница 15 из 26
ЛУЧШЕЕ

  • Вчера
  • Позавчера
09:01

Как изобрели письменность? Часть 7. Путь китайской иероглифики через тысячелетия и династии +35

13:02

Луна — сложная цель +25

14:05

«Первое» устройство BlackBerry: уникальный КПК с x86-процессором от Intel. Изучаем диковинку +15

11:59

Шесть миллиардов прогонов ради одной галочки: как устроено ревью научного софта на GitHub +12

08:00

Откуда взялся ИИ и причем тут слово перцептрон +11

10:49

Правильная сажа — потенциальный источник углеродных нанотрубок. Guest Post +9

09:02

LLM уверенно врёт про ваш микроконтроллер +9

09:00

Игры для Sega Mega Drive, в которые я играю до сих пор +9

08:25

Я написал программу для записи экрана, которой не нужен мощный ПК +7

12:16

Чтение на выходные: «Разумный инвестор» Бенджамина Грэма +6

12:03

«Я знаю, что ты не знаешь»: три задачи о спрятанном призе +6

09:15

Qwen3.8. MTP и тензорный параллелизм в llama.cpp: 75 ток/сек на двух RTX 3090 +6

07:38

Как песни могут помочь облегчить боль — и даже лечить симптомы инсульта +6

07:01

Превращаем сгенерированные ассеты в анимации часть 2 +6

19:34

Бенчмарк на AGI. Если ARC‑AGI-3 решён, есть ли у нас AGI? +4

14:06

Автономное ПО для велокомпьютера +4

12:55

GhostBusters — райтап простой машины от платформы Aclabs.pro +4

11:16

Почему Алиса AI и ГигаЧат отвечают по-разному и как помочь ИИ понять ваш сайт +4

10:15

Распилили монолит на 6 сервисов — и случайно собрали распределённый монолит: где мы ошиблись с границами +4

10:14

Почему Deno быстрее Node.js: расследование +4

11:48

Как Telegram удалил 800 ГБ моих данных и причем тут орфография +158

05:25

Как ChatGPT создал Культ Роя для сотен AI-нейросетей: вся правда про взлом Hugging Face +115

07:03

«Великое ограбление»: сейф, палочка для суши и девять вольт +71

19:30

Что творится внутри реактора: история радиационной разведки «Укрытия» +60

09:01

Кустарные вакуумные триоды Клода Пайяра. Часть 7. Обобщение, вакуумная обработка, мелочи +58

13:01

skitter-creek-bath-salts — обход аппаратной изоляции памяти в современных CPU +48

09:36

Пятиступенчатый ускоритель «Гаусса» +46

08:05

Охранные сигнализации советской эпохи +42

21:02

11 минут у Backblaze, и неделя бездействия у reg.ru: как компании обрубают инфраструктуру трояна в России и за рубежом +39

08:17

Эра инженерной зрелости: как выглядит стек JS-разработки в 2026 году глазами сообщества +37

07:02

Рыбно‑пузырьковая энтропия в KMS +29

07:02

Рыбно‑пузырьковая энтропия в KMS +29

07:05

Хранение информации в звуковой волне? +26

20:55

Написал свой ассемблер, чтобы понять, откуда берётся ff010113. Почти половину моей программы он выдумывает +25

15:41

CSS задачи на 200 IQ +25

08:00

HighLoad в облаке: как выжать максимум производительности за счет выделенных ядер +25

11:28

Подмена страницы интернет-банка First Partner Bank на Standoff 365 +23

08:00

Кому верит Яндекс Браузер и как попасть в этот список: запускаем Yandex Browser Root Certificate Program +23

09:01

Любишь, чтобы сервер работал, — люби и BMC: кто и как решает проблемы на стыке железа и прошивки +19

10:38

Rich Messages в Telegram Bot API: как превратить одно сообщение в интерактивный интерфейс +17

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Как Telegram удалил 800 ГБ моих данных и причем тут орфография +158

    • 141

    Как ChatGPT создал Культ Роя для сотен AI-нейросетей: вся правда про взлом Hugging Face +115

    • 120

    Конец программирования -9

    • 49

    ЕГЭ не готовит к вузу. Он готовит к ЕГЭ +13

    • 41

    Пятиступенчатый ускоритель «Гаусса» +46

    • 37

    Охранные сигнализации советской эпохи +42

    • 28

    «Великое ограбление»: сейф, палочка для суши и девять вольт +71

    • 27

    Эра инженерной зрелости: как выглядит стек JS-разработки в 2026 году глазами сообщества +37

    • 21

Подписка


  • Главная
  • Контакты
© 2026. Все публикации принадлежат авторам.