Size: a a a
2020 February 25
Азат Мифтахов сейчас знакомится с материалами своего уголовного дела. Один из возможных мотивов по версии следствия — участие в пикетах в поддержку политзаключенных.
Math is your insurance policy: https://bartoszmilewski.com/2020/02/24/math-is-your-insurance-policy
Бартош неспешно рассказывает, почему нужно бросать натягивать CSS-шкурки на вордпресс и садиться изучать математику.
Бартош неспешно рассказывает, почему нужно бросать натягивать CSS-шкурки на вордпресс и садиться изучать математику.
Я бы хотел, чтобы у меня был большой пулемет
Прекрасный проект, вовсю эксплуатирующий (псевдо)полноту по Тьюрингу системы типов TypeScript. Есть даже решение задачи о N ферзях! Правда, натуральные числа кодируются вручную через словарь, так что данный проект умеет считать только до 10. Кодировка чисел Пеано может с этим помочь, но тогда автор упрётся в ограничение глубины рекурсии при выводе типов.
В любом случае, код хорошо документирован и достоен изучения:
https://github.com/ronami/meta-typing
В любом случае, код хорошо документирован и достоен изучения:
https://github.com/ronami/meta-typing
(к.о.: разница только в критериях к пределу; хз как во втором случае автор мема определял непрерывность, дифференцируемость подынтегральной ф-ции)
То есть, если какие-то ссаные ДПС’ники увидят, как я поднимаю что-то с земли, они могут ехать за мной, а потом окружить, заставить разблокировать телефон, повалить на землю, избить и отвезти в отделение?
Боже, какую безумную дичь защищает Ройзман — он ничем не лучше этих мразей.
А так же напоминаю: сажать и поддерживать посадки наркопотребителей (не барыг) — это одинаковое говно, которым может заниматься только тупая необразованная мразь, коей и является Ройзман. И, скорее всего, преступник (в этой вашей ПРБ его делишки нужно расследовать).
Боже, какую безумную дичь защищает Ройзман — он ничем не лучше этих мразей.
А так же напоминаю: сажать и поддерживать посадки наркопотребителей (не барыг) — это одинаковое говно, которым может заниматься только тупая необразованная мразь, коей и является Ройзман. И, скорее всего, преступник (в этой вашей ПРБ его делишки нужно расследовать).
Ор #предложка
«Когда болит все тело, нельзя отделить какую-то отдельную часть. Боль распространяется по всему телу, кажется, что болит все, хотя бьют в конкретные места»
Вспоминаем историю фигуранта «пензенского дела» Виктора Филинкова. Приговор программисту из Казахстана вынесут, вероятно, уже в течение месяца
https://mediazona.ca/article/2020/02/25/filinkov-kz
Вспоминаем историю фигуранта «пензенского дела» Виктора Филинкова. Приговор программисту из Казахстана вынесут, вероятно, уже в течение месяца
https://mediazona.ca/article/2020/02/25/filinkov-kz
Ну действительно, что?! Разовая Формула? Рамзан Федорович? Революционная Фабрика? Вечно у этих либералов ничего не понятно
