Скрыть

По вопросам о работе ресурса обращайтесь по ссылке ниже.

>>> Подробнее

Скрыть

Под эгидой ACM SIGPLAN состоится двадцать пятая конференция International Conference on Functional Programming (ICFP) 2020. В этом году конференция будет проводиться онлайн, и все события, проходящие в её рамках, будут доступны онлайн. C 17 июля по 20 июля 2020 года (то есть, уже через два дня) будет проведено соревнование ICFP по программированию. Сама конференция будет проходить с 24 по 26 августа 2020 года, и укладываться в два тайм-слота.

<p>Первый слот будет проходить с 9:00 до 17:30 по времени Нью-Йорка, и будет включать как технические, так и социальные мероприятия. Второй тайм-слот будет проходить с 9:00 до 17:30 по Пекинскому времени, на следующий день, и будет с незначительными вариациями повторять содержимое предыдущего дня, включая технические и социальные мероприятия. Новостью этого года является "менторская программа", записаться на которую участники конференции могут как в качестве ментора, так и в качестве фолловера.

<p>В конференции 2020 будут принимать участие два приглашённых докладчика: Evan Czaplicki, с докладом о языке программирования Elm и о трудностях, сопутствующих процессу внедрения новых языков программирования, а также Audrey Tang, эксперт по языку Haskell, и одновременно "министр без портфеля" в Исполнительном Юане Тайваня, с докладом о том, как разработчики программного обеспечения могут сделать свой вклад в борьбе с пандемией.

На ICFP будут представлены 37 статей, а также (в качестве эксперимента) состоятся презентации 8 статей, недавно принятых в the Journal of Functional Programming. Проводимые параллельно с конференцией симпозиумы и воркшопы (в числе которых Scheme Workshop, на котором у переводчика сего анонса есть статья) состоятся в день, предшествующий первому дню конференции, а так же в течении двух дней следующих за её завершением. <p>Регистрация для посетителей уже открыта. Дедлайн по "ранней регистрации" 8 августа 2020. Регистрация не бесплатна, но стоимость значительно ниже обыкновенной оффлайновой, а также включает членство в SIGPLAN. Студенты-члены ACM или SIGPLAN могут участвовать в конференции бесплатно.

Также нельзя не отметить, что на Scheme Workshop в рамках конференции будет выступать Светоч Вселенского знания, гуру педагогики и гений функционального программирования, по совместительству являющийся завсягдатаем настоящего Сайта и Форума (когда тот ещё назывался ЛОР-НГ), Товарищ lockywolf. В связи с чем, посещение конференции для всех регистрантов форума является обязательным.

>>> Подробнее

Скрыть

Не буду тут разводить пафосные речи, но помянем погибших. Людям просто не повезло родиться и жить в такое время. Поэтому, считаю, что самое время вспомнить в первую очередь тех, кто не вернулся с фронта. Это не их выбор, но всё же могли бы ещё пожить. Выражаю надежду, что мировое сообщество образумилось и больше не будет загонять людей на войну.

Скрыть

30 января на YouTube-канале конференции TEDx опубликовали выступление юриста в сфере технологий Дамьена Риля (Damien Riehl). Он рассказал, как с напарником Ноа Рубиным (Noah Rubin) решил остановить судебные тяжбы музыкантов из-за авторских прав, которые «душат творчество и свободу».

Для этого программисты сгенерировали «все возможные» мелодии в MIDI, защитили их авторским правом, а затем сделали «общественным достоянием» — так мелодии не подпадают под права интеллектуальной собственности.

Часто музыканты судятся из-за того, что музыка в их песнях похожа частями или отдельными наборами нот. По мнению Риля, в таких ситуациях есть место не только для умышленной кражи, но и для «ограниченных математических уравнений» — всегда есть шанс, что артисты придумали две похожие мелодии независимо друг от друга. По мнению программистов, именно от таких разбирательств они и хотят спасти музыкантов.

Риль и Рубин разработали алгоритм, который записал все возможные комбинации из восьми нот и 12 тактов. По сути, они использовали тактику брутфорса, перебирая все комбинации до единой. По словам разработчиков, алгоритм генерировал 300 тысяч мелодий в секунду, и их вышло 68 миллиардов.

Авторы проекта опубликовали все мелодии под лицензией Creative Commons Zero, предусматривающей отказ от авторских прав. Как отмечает издание Vice, это самый простой способ сделать что-то фактически «общественным достоянием». К этому программисты и стремились — все свои наработки они опубликовали на Github.

Пока нельзя сказать, сработает ли это во время будущих судебных разбирательств из-за музыки. Также неизвестно, попали ли в сгенерированные комбинации уже созданные и защищённые авторскими правами мелодии. Но Риль и Рубин настроены по этому поводу оптимистично.

>>> Подробнее

Скрыть

Ресурс скорее мёртв, чем жив, однако администрация всё же нашла в себе силы и, отодвинув гранитную плиту, таки поздравляет постоянных и не очень посетителей ресурса с новым 2020-м годом!

Был ли 2019-й год непрост? Определённо. Будет ли грядущий год не проще? Точно. Не зря даже календарь древних, выдержку из которого который вы можете увидеть в самом низу страницы, говорит о том, что в 2020-м что-то закончится.

Ну а что произойдёт, уважаемые посетители - этого не знает никто, увы или к счастью. Так что остаётся только встречать Новый Год с надеждой на лучшее, чего мы вам и рекомендуем. Удачи в новом году!

Скрыть

Распространённые системы публичного общения (такие как Internet-форумы и социальные сети) не обеспечивают идентичных прав для всех собеседников. Владелец ресурса и модераторы всегда обладают расширенными правами. Злоупотребление этими правами может в итоге привести к расколу и вырождению сообщества. Для решения этой проблемы создана одноранговая сеть Dscuss.

Введение

Dscuss — это сеть для публичного общения, ключевыми свойствами которой являются равноправие всех участников сообщества и децентрализованный способ модерации сообщений. Каждому пользователю предоставляется возможность модерировать сообщения других пользователей. И каждый пользователь свободен выбирать себе модераторов, которых пожелает. Для пояснения предпосылок к созданию новой сети и её ключевых свойств введена классификация средств публичного общения.

Принципы функционирования

Протокол Dscuss построен на объектах трёх типов: пользователи, сообщения и операции. Пользователи выполняют роль учётных записей и идентифицируются публичным ключом. Сообщения представляют информацию, опубликованную от имени пользователя в определённой рубрике. Пользователи подписываются на заинтересовавшие их рубрики и получают сообщения только из этих рубрик. Операции представляют определённое действие, выполненное от имени пользователя над объектами (например, блокировка пользователя или удаление сообщения). Объекты всех типов идентифицируются в общем адресном пространстве. Все объекты, попадающие под интересы пользователя, хранятся на локальной машине самого пользователя. Безопасность С точки зрения безопасности, Dscuss спроектирована для обеспечения следующих свойств данных: доступность, целостность и подлинность. Предусмотрена защита от SPAM и flood-атак. Модель нарушителя, принятая в Dscuss формализована.

Стоит отметить, что Dscuss не предназначен для обеспечения анонимности пользователей. Но пользователи могут добиться анонимности в сети с использованием сторонних средств (таких как Tor).

Протокол взаимодействия

Два узла сети связываются одним мультиплексируемым TCP-соединением, которое используется для передачи всех данных между узлами. Взаимодействие узлов происходит синхронно – отправитель пакета ждет ответа перед отправкой другого пакета. Пакеты передаются в текстовом виде (в формате JSON). Алгоритм взаимодействия узлов в сети описан в Protocol description.

Реализация

На данный момент существует единственная реализация протокола, исходный код которой доступен под лицензией GPLv3. Реализация выполнена на языке Go в виде набора пакетов. Архитектура решения описана в Dscuss service architecture. Реализация протокола имеет три сторонних зависимости: драйвер SQLite, реализация scrypt и Kademila DHT.

Текущая стабильная версия реализации – proof-of-concept. В ней реализованы самые базовые функции: регистрация пользователей, соединение узлов, подписки на рубрики, публикация сообщений в рубриках и выполнение операций удаления сообщений и блокировки пользователей. Для отладки и автоматического тестирования разработан клиент с интерфейсом командной строки. Он также позволяет на практике ознакомиться с концепцией сети. Версия 0.1 находится в разработке. В ней уже реализована синхронизация данных между узлами, улучшена связанность сети через поиск узлов в DHT и разработан клиент сети Dscuss с Web-интерфейсом.

Слайды с презентации Dscuss на конференции разработчиков свободного ПО: OSSDevConf2019_presentation.pdf.

>>> Подробнее

Скрыть

Дырявое ведро этот ваш Intel, скажу я вам. Не успел народ нарадоваться на Meltdown и Spectre, как подвезли 4 новых уязвимости:

•   CVE-2018-12126: микроархитектурная выборка данных в буфере хранения (Microarchitectural Store Buffer Data Sampling);
•   CVE-2018-12130: микроархитектурная выборка данных в буфере загрузки (Microarchitectural Fill Buffer Data Sampling);
•   CVE-2018-12127: микроархитектурная выборка данных порт загрузки (Microarchitectural Load Port Data Sampling);
•   CVE-2019-11091: микроархитектурная выборка данных некэшируемой памяти (Microarchitectural Data Sampling Uncacheable Memory).

Сразу подвезли и три новых типа атак, основанные на этих уязвимостях:

•   RIDL (Rogue In-Flight Data Load) позволяет, в частности, выводить данные, проходящие через порты загрузки и буферы заполнения. На практике это означает, что злоумышленники, имеющий возможность запуска непривилегированного кода в системе на базе уязвимых процессоров, может красть данные из других программ, запущенных на той же машине, минуя любые защитные барьеры - защиту других приложений, ядра операционной системы, других виртуальных машин и даже безопасных SGX-анклавов.
•   Fallout позволяет выводить данные из буфера хранения CPU, которые используются каждый раз, когда процессор хранит какие бы то ни было данные вообще. Это позволяет нейтрализовывать защитный механизм KASLR (рандомизация адресного пространства ядра) и выводить данные, записанные в память ядром оперцаионной системы. Эксперты, обнаружившие Fallout, указывают, что недавние защитные меры Intel, реализованные для защиты новых процессоров от атаки Meltdown, усиливают их уязвимость перед Fallout.
•   ZombieLoad позволяет шпионить за частными данными просмотра и другими конфиденциальными данными. На практике это открывавет возможность следить за деятельностью пользователя в Сети, даже когда он использует защитные средства. На видео демонстрируется возможность слежки за действиями пользователя в Сети при посещении rulinux.net с использованием браузера Tor и поиcковой системы DuckDuckGo. С ZombieLoad они бесполезны

Проверить свой процессор на уязвимости можно следующей командой:

bash

grep -qi intel /proc/cpuinfo && echo "сломан"
 

>>> Подробнее

Скрыть

Pica Pica Messenger - свободный программный проект, нацеленный на создание и поддержку децентрализованного обмена сообщениями с использованием стойкой криптографии для обеспечения приватности и аутентификации.

В состав Pica Pica входят две программы: pica-node — сервер-узел (нода) распределенной сети и pica-client — графический клиент. Распределенная сеть нод pica-node поддерживается на добровольных началах. Каждый желающий может установить на своем компьютере pica-node и обеспечивать передачу служебного трафика и сообщений между участниками сети.

В роли адреса Pica Pica выступает SHA224 хэш от сертификата с открытым ключом пользователя, представленный в формате Base64, к примеру: m+2TC+ZYDx0crQZK1p97cuAIp1rH5i1SLe6EtA==

На данный момент Pica Pica Messenger позволяет:

- Общаться текстом - Передавать файлы - Использовать одну учётную запись с нескольких компьютеров. (Синхронизация переписки и контактов пока что не поддерживается)

Компоненты Pica Pica доступны в виде исходных кодов, оверлея для Gentoo, репозиториев для Ubuntu 16.04 и Ubuntu 18.04, также есть бинарные сборки для Windows и OS X.

>>> Подробнее

Скрыть

Тихо и незаметно компания Jolla, основанная бывшими сотрудниками Nokia с целью разработки новых смартфонов, построенных на базе Linux-платформы MeeGo, опубликовала релиз операционной системы Sailfish 3.0.2. Сборки подготовлены для устройств Jolla 1, Jolla C, Jolla Tablet, Sony Xperia X, Gemini, и уже доступны в форме OTA-обновления. Ростелеком использует Sailfish в качестве основы для отечественной мобильной операционной системы, предлагаемой под брендом "Аврора" (компания Jolla предоставила лицензию на создание локализованного варианта ОС Sailfish).
Sailfish использует графический стек на базе Wayland и библиотеки Qt5, системное окружение построено на основе Mer (форк MeeGo) и пакетов Mer-дистрибутива Nemo. Пользовательская оболочка, базовые мобильные приложения, QML-компоненты построения графического интерфейса Silica, прослойка для запуска Andrоid-приложений, движок умного ввода текста и система синхронизации данных являются проприетарными, но их код планировалось открыть ещё в 2017 году.
В новой версии:

•   В верхнее всплывающее меню добавлены переключатели для приглушения рингтонов и активации работы через прокси;
•   Добавлен режим экономии заряда аккумулятора, при котором снижается яркость экрана и отключаются операции фоновой синхронизации данных. Возможно задание уровня заряда, при достижении которого режим включается автоматически (по умолчанию 20%);
•   В почтовый клиент добавлена опциональная возможность отправки подтверждений о прочтении писем;
•   Улучшена работа в окружениях с большим числом Bluetooth устройств и беспроводных сетей - сканирование доступных сетей больше не тормозит работу устройства;
•   Значительно расширены возможности встроенного межсетевого экрана, в том числе реализована поддержка IPv6 и включена блокировка всего трафика к портам системных сервисов (доступ к каждому порту требует подтверждения от пользователя);
•   Добавлена возможность определения глобального прокси, применяемого для всех соединений при подключении через WiFi или мобильные сети; Проведения оптимизация потребления памяти в коде отображение обоев на домашнем экране, добавлена поддержка высвобождения занятой обоями памяти для других приложений;
•   Расширены средства удалённого управления мобильным устройством (MDM, Device Management), добавлены API для сбора статистики по звонкам и трафику, управления определением местоположения, настройки прокси, автозапуска приложений, контроля за настройками подключения к сотовым сетям;
•   До Android 8.1 обновлена прослойка Aliendalvik для Xperia XA2, предоставляющая средства для запуска приложений, написанных для платформы Android. Повышена надёжность сетевого доступа Android-приложений при подключении через мобильную сеть;
•   В браузере улучшена обработка ссылок "mailto" для исключения случайного запуска почтового клиента; Решены проблемы с фокусировкой передней камеры.

Цельнотянуто с opennet.ru

>>> Подробнее

Скрыть

Вышло ядро 5.0. Ничего нового, просто Линусу сложно считать больше чем до 20 (видать на пальцах считает), поэтому очередная версия ядра неожиданно сменила главную цифру в версии и вместо 4.21 стала 5.0.

Чтобы хоть как-то закрепить в памяти чего же такого нового в новой версии ядра, предлагаю считать внедрение в ядро патча от родного КГБ с реализацией криптографического алгоритма ГОСТ Р 34.11-2012. Остальне изменения можно почитать тут

>>> Подробнее