Forwarded from Dr. Friedrich von Never
А мне название нравится. Сразу видно, что преимущества сразу двух языков.
#prog #c #abnormalprogramming
Крестики-нолики, упакованные в вызов printf в цикле.
github.com/carlini/printf-tac-toe
Крестики-нолики, упакованные в вызов printf в цикле.
github.com/carlini/printf-tac-toe
GitHub
GitHub - carlini/printf-tac-toe: tic-tac-toe in a single call to printf
tic-tac-toe in a single call to printf. Contribute to carlini/printf-tac-toe development by creating an account on GitHub.
👍1
Forwarded from Matwey Kornilov
В итоге вчера тренировал случайный лес с максимальной глубиной в 200 слоев и 3 деревьями
#prog #article
Как гарантировать, что слияние отсортированных списков сливает списки, отсортированные по одному предикату? Как доказать, что данному ключу в ассоциативном массиве обязательно соответствует значение? И как ещё и не платить за всё это в рантайме? Обо всём этом можно прочитать в Ghosts of Departed Proofs. Читать одно удовольствие.
kataskeue.com/gdp.pdf
Как гарантировать, что слияние отсортированных списков сливает списки, отсортированные по одному предикату? Как доказать, что данному ключу в ассоциативном массиве обязательно соответствует значение? И как ещё и не платить за всё это в рантайме? Обо всём этом можно прочитать в Ghosts of Departed Proofs. Читать одно удовольствие.
kataskeue.com/gdp.pdf
#prog #rust #abnormalprogramming #article
"Имитируем функционал зависимых типов в системе типов Rust". Да, примерно то, что вы прочитали. И это действительно НАРКОМАНИЯ.
habr.com/ru/post/477330/
"Имитируем функционал зависимых типов в системе типов Rust". Да, примерно то, что вы прочитали. И это действительно НАРКОМАНИЯ.
habr.com/ru/post/477330/
Хабр
Имитируем функционал зависимых типов в системе типов Rust
Системы типов — это настоящее безумие. Некоторое время назад я уже отметился здесь со статьёй, в которой пытался разобрать, какие гарантии в compile-time может...
∏ρ؃uñçτØρ Øπτµç∑ | 👁🗨››››
Photo
Хабр
Язык программирования Go тоже очищают от «расистских» терминов
В репозиторий языка программирования Go внесены изменения с целью очистить документацию и исходные тексты от потенциально оскорбительных терминов whitelist/blacklist и master/slave (хозяин/раб). В...
Forwarded from 𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Можно просто добавлять, что раз его/её иде может правильно разрулить типы и сделать правильный анализ его/её продукта мысли, значит никакого динамизма там нет и можно было бы не выёживаться и взять нормальную статически типизированную платформу.
#prog #haskell
Говорят, что в Haskell нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
Говорят, что в Haskell нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
Вы, наверное, слышали бородатую историю про семь перпендикулярных красных линий. Мало кто знает оригинал. Вот он.
Livejournal
Совещание
Петров пришел во вторник на совещание. Ему там вынули мозг, разложили по блюдечкам и стали есть, причмокивая и вообще выражая всяческое одобрение. Начальник Петрова, Недозайцев, предусмотрительно раздал присутствующим десертные ложечки. И началось. — Коллеги…