@0xd34df00d

Тег /b/ в блоге 0xd34df00d

0xd34df00d

Две ночи подряд снится, как я с кем-то тру за равенство.

За пропозиционное равенство в идрисе и хаскеле, конечно.

#mbjcx
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Почему-то проиграл с обсоска:

// отвечал на вопрос https://stackoverflow.com/q...ec/49327145#49327145 , исходный код — полное говно. Haskell by night, хули.

#mbdjl 1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

std::function is the new dependency injection framework.

#micis
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

https://github.com/lexi-lambda/hackett

Какой-то хаскелист выебал a13, походу.

#mizbq
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Если дельфины признаны разумными существами, и среди дельфинов процветают групповые изнасилования самок дельфинов и их избиения, должны ли люди вмешаться и дать дельфинам феминизм?

Вопрос для коленки и семяшки))))))

#mxzps 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

А вообще нет никаких бесконечностей, есть только кванторы существования и всеобщности. Бесконечности — это упрощение логических высказываний для того, чтобы их было легче понять слабеньким человеческим мозгом.

#mxzvt 1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Если достаточно пристально смотреть, можно увидеть в лемме Фату неравенство Йенсена.

#mxzar
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Нахожу квиксорт проще пузырька.

#ojztr 4
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Приснилось, что я вместо традиционного категориального подхода к теории вероятности через категорию измеримых пространств и монаду Giry придумал что-то на профункторах, и всё так изящно получалось, прям прелесть. А потом я проснулся.

Хорошие новогодние сны.

#ozamb 7
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Чят, угадай последовательность: 2,3,5,7,10,13,17,21,25,30,35,40,45,50,56

#oknsw 4
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

В анкете на гринку есть вопрос о том, планирую ли я заниматься полигамией.

#ojcjg 5
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Сделал do-нотацию в плюсах через корутины: в самом низу https://godbolt.org/g/6XMDit

Все бы хорошо, но есть одна проблема: асм ужасен. Это все потому, что, похоже, значение из промиса копируется в кошках реализации, поэтому у меня нет выхода, кроме как создавать настоящее значение на хипе и передавать туда-сюда шаред_поинтер на него, что напрочь убивает все возможности для оптимизации.

А еще на самом деле это нечестная do-нотация, подходящая только для эффектов с early return-семантикой, либо что-нибудь типа STM. Как туда тот же List впихнуть, например, я сходу не знаю.

#ozbru 3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Надо сделать кодогенератор для CMakeLists.txt. Руками всю эту ебурду писать и читать нельзя.

#ojuin 13
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Заебись доказательство, кратенькое такое:

#ozafh
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

#ozkuf 5
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Выступают ли борцы за социальную справедливость против неравенства Чебышева?

#owitu 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d


TFW статистика соснула при переводе статистического^W теорверного термина.

#ojbsh
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Kek, https://github.com/rindeal/...o-overlay/issues/183 // в дополнение к #okdkg

#ozrkc
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d

Смотри, postman, у меня в коде теперь EQUALITY из-за твоего реквеста на адекватный мерж split album'ов: https://github.com/0xd34df0...138b2af179d4d23?ts=4

#owxpm
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
0xd34df00d


Зиганул.

#ojtyv 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.