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 нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
Forwarded from илья optozorax
когда цитируешь кого-то в канале своём, имхо лучше скидывать ссылку на чат, откуда ты это взял, чем пересылать сообщение, так можно хотя бы контекст отследить
#prog #parsing #article
Поверить не могу, что не выкладывал это раньше. JSON — недостаточно точно определённый формат.
habr.com/company/mailru/blog/314014/
Поверить не могу, что не выкладывал это раньше. JSON — недостаточно точно определённый формат.
habr.com/company/mailru/blog/314014/
Хабр
Парсинг JSON — это минное поле
JSON — это стандарт де-факто, когда заходит речь о (де)сериализации, обмене данными в сети и мобильной разработке. Но насколько хорошо вы знакомы с JSON? Все м...
#video #music
Eye of the tiger, сыгранная на матричном принтере. То, что по праву можно называть "техно".
youtube.com/watch?v=u8I6qt_Z0Cg
Eye of the tiger, сыгранная на матричном принтере. То, что по праву можно называть "техно".
youtube.com/watch?v=u8I6qt_Z0Cg
YouTube
Rocky's Printer - Eye of the tiger on a dot matrix printer [HD]
How would rocky's printer be? Like this!
Hear "Eye of the Tiger" from Survivor on a dot matrix printer!
Eye of the Tiger by Survivor published in 1981 was part of the Rocky III soundtrack.
Hear "Eye of the Tiger" from Survivor on a dot matrix printer!
Eye of the Tiger by Survivor published in 1981 was part of the Rocky III soundtrack.
Forwarded from oleg_log (Oleg Kovalov)
К P A C U B 0
https://www.youtube.com/watch?v=DuB8VUICGqc // will occasionally show ads
https://www.youtube.com./watch?v=DuB8VUICGqc // will not show ads
тред https://www.reddit.com/r/webdev/comments/gzr3cq/fyi_you_can_bypass_youtube_ads_by_adding_a_dot/
https://www.youtube.com/watch?v=DuB8VUICGqc // will occasionally show ads
https://www.youtube.com./watch?v=DuB8VUICGqc // will not show ads
тред https://www.reddit.com/r/webdev/comments/gzr3cq/fyi_you_can_bypass_youtube_ads_by_adding_a_dot/
#prog #amazingopensource
Аллокатор памяти snmalloc, написанный в рамках разработки рантайма для исследовательского языка программирования от MIcrosoft Verona. Кажется, первый аллокатор, основанный на обмене сообщениями: операция освобождения памяти посылает сообщение об освобождении потоку, в котором память изначально была выделена. Уверяется, что эта пересылка задействует минимум атомарных операций и потому имеет небольшой оверхед. Также освобождение памяти в том же потоке, в котором она была выделена, не требует синхронизации вовсе.
Аллокатор памяти snmalloc, написанный в рамках разработки рантайма для исследовательского языка программирования от MIcrosoft Verona. Кажется, первый аллокатор, основанный на обмене сообщениями: операция освобождения памяти посылает сообщение об освобождении потоку, в котором память изначально была выделена. Уверяется, что эта пересылка задействует минимум атомарных операций и потому имеет небольшой оверхед. Также освобождение памяти в том же потоке, в котором она была выделена, не требует синхронизации вовсе.
GitHub
GitHub - microsoft/snmalloc: Message passing based allocator
Message passing based allocator. Contribute to microsoft/snmalloc development by creating an account on GitHub.
#prog
Tckb ds rjulf-yb,elm gbcfkb d nthvbyfkt
github.com/danakt/pshe
Tckb ds rjulf-yb,elm gbcfkb d nthvbyfkt
git dvtcnj пше, nj, djpvj;yj, dfv ghbujlbncz 'nf ghjuhfvvf, rjnjhfz fdnjvfnbxtcrb bcghfdkztn zpsr yf ghfdbkmysq.github.com/danakt/pshe
GitHub
GitHub - danakt/pshe: Незаменимый помощник для работы с git
Незаменимый помощник для работы с git. Contribute to danakt/pshe development by creating an account on GitHub.