Size: a a a

2020 June 06
Блог*
А я обезъяна
источник
Блог*
Перепутал в вашем питоне порядок аргументов
источник
Блог*
В итоге вчера тренировал случайный лес с максимальной глубиной в 200 слоев и 3 деревьями
источник
Блог*
#prog #article

Как гарантировать, что слияние отсортированных списков сливает списки, отсортированные по одному предикату? Как доказать, что данному ключу в ассоциативном массиве обязательно соответствует значение? И как ещё и не платить за всё это в рантайме? Обо всём этом можно прочитать в Ghosts of Departed Proofs. Читать одно удовольствие.

kataskeue.com/gdp.pdf
источник
2020 June 07
Блог*
#prog #rust #abnormalprogramming #article

"Имитируем функционал зависимых типов в системе типов Rust". Да, примерно то, что вы прочитали. И это действительно НАРКОМАНИЯ.

habr.com/ru/post/477330/
источник
2020 June 08
Блог*
Это просто АААААААААААААААААААААААААААААА
#prog #meme
источник
Блог*
источник
Блог*
dereference_pointer_there
источник
Блог*
#prog #quotes
источник
Блог*
Переслано от Nick Linker
Можно просто добавлять, что раз его/её иде может правильно разрулить типы и сделать правильный анализ его/её продукта мысли, значит никакого динамизма там нет и можно было бы не выёживаться и взять нормальную статически типизированную платформу.
источник
2020 June 09
Блог*
#successstory
источник
Блог*
Переслано от Artem
У нас есть проект один на элексире, оказалось что чёто медленно и чтобы сэкономить 2к в месяц впихнули часть функционала в go
источник
2020 June 10
Блог*
#prog #haskell

Говорят, что в Haskell нет циклов. Это, конечно же, не так, просто циклы там являются не конструкциями языка, а библиотечными функциями.
источник
Блог*
Вы, наверное, слышали бородатую историю про семь перпендикулярных красных линий. Мало кто знает оригинал. Вот он.
источник
Блог*
#quotes
источник
Блог*
Переслано от ilya sheprut
когда цитируешь кого-то в канале своём, имхо лучше скидывать ссылку на чат, откуда ты это взял, чем пересылать сообщение, так можно хотя бы контекст отследить
источник
Блог*
#prog #article

Поверить не могу, что не выкладывал это раньше. JSON — недостаточно точно определённый формат.

habr.com/company/mailru/blog/314014/
источник
2020 June 11
Блог*
#video

Eye of the tiger, сыгранная на матричном принтере. То, что по праву можно называть "техно".

youtube.com/watch?v=u8I6qt_Z0Cg
источник
Блог*
источник
2020 June 14
Блог*
#prog #amazingopensource

Аллокатор памяти snmalloc, написанный в рамках разработки рантайма для исследовательского языка программирования от MIcrosoft Verona. Кажется, первый аллокатор, основанный на обмене сообщениями: операция освобождения памяти посылает сообщение об освобождении потоку, в котором память изначально была выделена. Уверяется, что эта пересылка задействует минимум атомарных операций и потому имеет небольшой оверхед. Также освобождение памяти в том же потоке, в котором она была выделена, не требует синхронизации вовсе.
источник