Forwarded from dd if=/dev/stuff of=/dev/tg
Верификация корректности музыки с помощью системы типов:
https://www.infoq.com/articles/type-systems-verifying-musical-correctness
TL;DR: музыкальные композиции могут быть проверены с помощью системы типов, чтобы сделать негармоничные переходы между нотами непредставимыми. Для этого используется библиотека для хаскеля Mezzo и приводятся примеры с завтипами на идрисе. «Корректность» музыки вообще расплывчатый термин, поэтому в статье применяется дескриптивный подход — «если музыкальная тема отклоняется от ожидаемой модели, то это необычно» — и построение матрицы энтропии для различных комбинаций переходов от ноты к ноте.
https://www.infoq.com/articles/type-systems-verifying-musical-correctness
TL;DR: музыкальные композиции могут быть проверены с помощью системы типов, чтобы сделать негармоничные переходы между нотами непредставимыми. Для этого используется библиотека для хаскеля Mezzo и приводятся примеры с завтипами на идрисе. «Корректность» музыки вообще расплывчатый термин, поэтому в статье применяется дескриптивный подход — «если музыкальная тема отклоняется от ожидаемой модели, то это необычно» — и построение матрицы энтропии для различных комбинаций переходов от ноты к ноте.
InfoQ
It Ain't Necessarily So: Exploring Type Systems for Verifying Musical Correctness
Chris Ford explores what makes music correct and how we might encode it in a type system.
Forwarded from канал закрылся! если чё пишите (Machine (=)
спец в виаме такой токсик
То приятное чувство, когда открываешь свой код однолетней давности, вчитываешься: "Чёт какая-то хуйня написана...что за бред...таак...ааа, понял. Ебать, а ведь изящно!"
Forwarded from Я придумал теннис | RYTP объявления.
Пусть теперь тут будет ещё и газета о проходящих теннисах, коллабах, анонсах (те что были увидены и те что прислали в редакцию)
> Сейчас выйду в отпуск и режим сна собьется, ожидание:
Буду ложиться в 4 утра и вставать после полудня
Реальность:
Вырубает в 11, встаю в полвосьмого
Буду ложиться в 4 утра и вставать после полудня
Реальность:
Вырубает в 11, встаю в полвосьмого
А ведь обучение действительно может быть скомпроментировано, как и любая другая передача данных.
Шифрованное обучение - новый тренд!
Шифрованное обучение - новый тренд!
Forwarded from Цифровой геноцид
Словарь юного юзабилиста.
Троянское обучение
И внезапно немного педагогики. Троянское обучение - это скрытое, неявное для обучаемых обучение их тому, что организатор обучения считает необходимым. В советской и российской педагогике термин обычно распространялся на работу с трудными подростками, когда педагог под видом красивых или увлекательных историй вводил изучение предмета. В современном электронном образовании или инфобизнесе термин «троянского обучения» распространяется и на обучение вредным и опасным для самого ученика знаниям и навыкам.
Например, вы вводите для MOOC курс по изготовлению взрывчатки, но с ошибками, чтобы студентам оторвало руки. Такие внедрения делают спецслужбы на дистанционных курсах, которые распространяют террористы. Более понятный пример: обучение конкурентов на рынке маркетинга, дизайна или программирования, когда корпорация сознательно обучает неправильно. Злой умысел в курсах по работе с рекламным кабинетом, с инструментами дизайна или с платформой для того, чтобы сохранить коммерческую тайну, не такое уж редкое явление. Вторым распространенным способом являются подставные ученики: уже квалифицированные специалисты, которые изображают учащихся на курсах. Это и мотивирует хорошо учится(благая цель), и, наоборот, создает эффект того, что курс успешен и на нем можно чему-то научится(злой умысел).
Вот же человек, который стал программистом за два месяца! Правда, этот человек окончил университет по специальности Computer Science и пять лет проработал кодером...
Троянское обучение
И внезапно немного педагогики. Троянское обучение - это скрытое, неявное для обучаемых обучение их тому, что организатор обучения считает необходимым. В советской и российской педагогике термин обычно распространялся на работу с трудными подростками, когда педагог под видом красивых или увлекательных историй вводил изучение предмета. В современном электронном образовании или инфобизнесе термин «троянского обучения» распространяется и на обучение вредным и опасным для самого ученика знаниям и навыкам.
Например, вы вводите для MOOC курс по изготовлению взрывчатки, но с ошибками, чтобы студентам оторвало руки. Такие внедрения делают спецслужбы на дистанционных курсах, которые распространяют террористы. Более понятный пример: обучение конкурентов на рынке маркетинга, дизайна или программирования, когда корпорация сознательно обучает неправильно. Злой умысел в курсах по работе с рекламным кабинетом, с инструментами дизайна или с платформой для того, чтобы сохранить коммерческую тайну, не такое уж редкое явление. Вторым распространенным способом являются подставные ученики: уже квалифицированные специалисты, которые изображают учащихся на курсах. Это и мотивирует хорошо учится(благая цель), и, наоборот, создает эффект того, что курс успешен и на нем можно чему-то научится(злой умысел).
Вот же человек, который стал программистом за два месяца! Правда, этот человек окончил университет по специальности Computer Science и пять лет проработал кодером...
Кстати тот, кто говорит, что на линуксах нет вирусов, вероятно никогда не работал в веб-хостингах. Точно так же линуксы становятся частью ботнетов, а уж веб-софт на них ломают только так.
Правильнее будет сказать "десктопный линукс крайне непопулярен и не является целью васянов вирусописателей"
Правильнее будет сказать "десктопный линукс крайне непопулярен и не является целью васянов вирусописателей"
https://www.youtube.com/watch?v=IAuGjSGG5b0
Старею что ли, начинают нравиться ранние свои работы. Вот эта например.
Старею что ли, начинают нравиться ранние свои работы. Вот эта например.
YouTube
Бивис и Баттхед наткнулись на задорное вещание с планеты Татупед | RYTP
«...меры предосторожности при использовании квантового TV-ресивера:
1) Беречь от физического воздействия, сильных направленных флуктуаций.
2) Регулярно обслуживать в квалифицированных лабораториях субатомных манипуляций
3) Никогда, слышите, никогда (!)…
1) Беречь от физического воздействия, сильных направленных флуктуаций.
2) Регулярно обслуживать в квалифицированных лабораториях субатомных манипуляций
3) Никогда, слышите, никогда (!)…
Фабрис Беллар настолько крут, что использовал псевдоним для работы над созданием ffmpeg.
Может кодить за себя и за того Васю.
Может кодить за себя и за того Васю.
Forwarded from wintermute
Electronic Frontier Foundation выпустил очередное обновление - без особого повода - о системах слежки за школьниками и студентами в США. ну все равно интересно
за детьми наблюдать проще всего, потому что дети - это святое и люди, пораженные в правах. любой тотальный контроль за их физическим и онлайновым существованием оправдывается необходимостью их защиты о всех угроз
например, школы выдают учащимся ноутбуки с предустановленным софтом, которые следит за всем, что они набирают и на какие сайты ходят. либо заставляют установить их установить приложения с теми же функциями. либо следят за их аккаунтами в социальных сетях и геолокациями телефонов - в том числе с помощью родителей, которых убеждают в необходимости такой слежки
школы, конечно, оборудуются системами видонаблюдения с распознаванием лиц (но это теперь везде). но с недавних пор в школах и колледжах устанавливают микрофоны, которые, с помощью специального программного обеспечения, должны распознавать кашель (профилактика заболеваний) или голоса с "агрессией" (предотвращение конфликтов и правонуршений)
в принципе, все новое, что придумывается в области гражданских систем подслушивания, подсматривания, чтения и анализа написанного, серфинга в интернете и физического перемещения в пространстве, тут же испытывается на детях, потому что они же не могут отказаться
https://www.eff.org/deeplinks/2020/02/schools-are-pushing-boundaries-surveillance-technologies
за детьми наблюдать проще всего, потому что дети - это святое и люди, пораженные в правах. любой тотальный контроль за их физическим и онлайновым существованием оправдывается необходимостью их защиты о всех угроз
например, школы выдают учащимся ноутбуки с предустановленным софтом, которые следит за всем, что они набирают и на какие сайты ходят. либо заставляют установить их установить приложения с теми же функциями. либо следят за их аккаунтами в социальных сетях и геолокациями телефонов - в том числе с помощью родителей, которых убеждают в необходимости такой слежки
школы, конечно, оборудуются системами видонаблюдения с распознаванием лиц (но это теперь везде). но с недавних пор в школах и колледжах устанавливают микрофоны, которые, с помощью специального программного обеспечения, должны распознавать кашель (профилактика заболеваний) или голоса с "агрессией" (предотвращение конфликтов и правонуршений)
в принципе, все новое, что придумывается в области гражданских систем подслушивания, подсматривания, чтения и анализа написанного, серфинга в интернете и физического перемещения в пространстве, тут же испытывается на детях, потому что они же не могут отказаться
https://www.eff.org/deeplinks/2020/02/schools-are-pushing-boundaries-surveillance-technologies
Electronic Frontier Foundation
Schools Are Pushing the Boundaries of Surveillance Technologies
Learn more at EFF's Surveillance Self-Defense guide for students.A school district in New York recently adopted facial recognition technology to monitor students, and it is now one of a growing