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
Совещание
Петров пришел во вторник на совещание. Ему там вынули мозг, разложили по блюдечкам и стали есть, причмокивая и вообще выражая всяческое одобрение. Начальник Петрова, Недозайцев, предусмотрительно раздал присутствующим десертные ложечки. И началось. — Коллеги…
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.