LINUX.ORG.RU

Сообщения encyrtid

 

Bodyfuck

Оказывается есть и такое:

bodyfuck is a computer programming environment that translates bodily movement into computer programs. Each physical motion committed by the programmer/performer becomes an operation in the esoteric programming language brainfuck. Theoretically, because bodyfuck is Turing-complete, all computable operations are possible. Despite this, physical difficulty in implementing more complicated programs may prove to concede the theoretical limitations of the potentially computed output.

http://www.nikhanselmann.com/public/etc/thesis/

 bodyfuck, ,

encyrtid
()

Анонсировано кодовое имя Debian 9.0

Кодовым именем будет Zurg.

Источник

 

encyrtid
()

SBCL 1.1.15

Позавчера вышла новая версия sbcl. Список изменений.

 ,

encyrtid
()

Новая система модулей для Haskell

Module systems like that of Haskell permit only a weak form of modularity in which module implementations directly depend on other implementations and must be processed in dependency order. Module systems like that of ML, on the other hand, permit a stronger form of modularity in which explicit interfaces express assumptions about dependencies, and each module can be typechecked and reasoned about independently.

In this paper, we present Backpack, a new language for building separately-typecheckable packages on top of a weak module system like Haskell's. The design of Backpack is inspired by the MixML module calculus of Rossberg and Dreyer, but differs significantly in detail. Like MixML, Backpack supports explicit interfaces and recursive linking. Unlike MixML, Backpack supports a more flexible applicative semantics of instantiation. Moreover, its design is motivated less by foundational concerns and more by the practical concern of integration into Haskell, which has led us to advocate simplicity—in both the syntax and semantics of Backpack—over raw expressive power. The semantics of Backpack packages is defined by elaboration to sets of Haskell modules and binary interface files, thus showing how Backpack maintains interoperability with Haskell while extending it with separate typechecking. Lastly, although Backpack is geared toward integration into Haskell, its design and semantics are largely agnostic with respect to the details of the underlying core language.

Подробности

 backpack,

encyrtid
()

Google проверяет все файлы, загруженные на его сервисы, по базе хешей — и при необходимости отправляет данные в полицию

http://sacramento.cbslocal.com/2013/11/21/googles-role-in-woodland-child-pornography-arrest-raises-privacy-concerns/

Недавняя новость вызвала довольно большой резонанс на Западе, но полностью прошла мимо нас. В начале ноября благодаря Гуглу в Калифорнии арестовали подозреваемого в хранении детской порнографии — он залил пару известных фотографий в свой (закрытый?) альбом на Picasa.

Казалось бы, ничего необычного, все согласуется с Terms of Service пикасы и гугл драйва:

Сексуальное насилие над детьми. В Google запрещено публиковать изображения сексуального насилия над детьми. Если мы получим уведомление о том, что кто-то публикует или распространяет подобные изображения, мы удалим аккаунт этого пользователя и направим отчет о его действиях в правоохранительные органы.

Because of the gravity of the issue, we repeat that we don't allow materials that promote or depict unlawful or inappropriate sexual acts with children or animals. Google has a zero-tolerance policy against child sexual abuse imagery. If we become aware of child sexual abuse imagery on our properties, the content will be removed and we will report it and its owners and purveyors to the appropriate authorities. This means that you can't use our services to create, possess, or distribute child sexual abuse imagery, and you can't use our services to create a gallery of children's pictures with sexually explicit commentary, for example.

Но в статье подробно рассказывается, как на самом деле реализовано это «получим уведомление».

Google says if you have an account with them, it’s not just indiscriminately searching through your pictures, but their servers are looking for possible digital fingerprints the FBI may be interested in.

The company says its database is share with law enforcement and watchdog groups such as the Internet Watch Foundation and the National Center For Missing And Exploited Children.

When an image is found, an employee will inspect it to make sure it’s actual abuse and not just a picture of a child at bathtime.

Итого, каждая фотография, загружаемая на Пикасу (даже в закрытый альбом) проверяется на совпадение хешей с базой незаконного контента. Учитывая, что TOS одинаков и на другие сервисы Гугла, как минимум Google Drive тоже занимается аналогичными проверками, а возможно и Gmail.

В Европе и США такое поведение вызвало дискуссии, насколько оно допустимо и насколько далеко готов зайти Гугл. Проверка почты на ключевые слова и хеши файлов? Может быть, проверка локальных машин гугл хромом? Чего же не сделаешь ради защиты детей!

Добавлю, что в базе данных могут встретится и весьма неожиданные результаты, например http://en.wikipedia.org/wiki/Internet_Watch_Foundation_and_Wikipedia или хентай — в штатах он легален, но в Австралии, Канаде, Англии — нет.

http://habrahabr.ru/post/204760/

 , ,

encyrtid
()

Adblock Plus научился блокировать рекламу и комментарии на YouTube

Создатели браузерного расширения Adblock Plus, позволяющего блокировать интернет-рекламу, объявили о запуске ресурса YouTube Customizer page. Сообщение об этом 21 ноября появилось на сайте adblockplus.org. Новый портал позволит пользователям отключать рекламу на видеохостинге YouTube.

С помощью YouTube Customizer page можно отключать отображение на видеохостинге комментариев, рекомендуемых видеороликов, описаний к видео, запретить аннотации внутри видеозаписи, а также отказаться от просмотра «похожих каналов». Для настройки всех перечисленных параметров достаточно установить стандартное расширение Adblock Plus и выбрать соответствующие установки на сайте.

При этом, отключать можно не только все указанные функции YouTube сразу, но и каждую из них по отдельности. Тем не менее, на рекламу, которая показывается непосредственно перед видеозаписью, действие YouTube Customizer page не распространяется.

Расширение Adblock Plus было создано в 2006 году. AdBlock Plus позволяет пользователям блокировать на интернет-страницах нежелательную рекламную информацию и различные баннеры. Создатели проекта также составляют так называемый «белый список» площадок, реклама которых признается «приемлемой». В настоящее время в такой список входят около 150 сайтов. Adblock Plus поддерживается такими браузерами, как Google Chrome, Mozilla Firefox и Internet Explorer.

http://lenta.ru/news/2013/11/22/youtubeads/

 ,

encyrtid
()

Утвержден R7RS

The final draft of R7RS-small has been ratified by a unanimous vote of the Scheme Language Steering Committee. A formal announcement will be made by the SLSC at the Scheme 2013 workshop.

Источник

Draft

 , ,

encyrtid
()

ПО uProxy от Google позволит заходить на запрещённые сайты в любой стране

Google начала предлагать пакет сервисов для СМИ и групп по защите прав человека, которые поддерживают «свободу самовыражения в Сети».

На презентации в Нью-Йорке компания также показала новую технологию uProxy, которая позволяет гражданам, живущим в странах, где в интернете есть цензура, обходить государственные запреты. Изначально это ПО окажется доступно для браузеров Chrome и Firefox. Программа будет создавать зашифрованное соединение между двумя пользователями (как в VPN), при этом один из них станет предоставлять второму возможность просматривать сайты, которые в его стране закрыты.

Project Shield — другой проект фирмы. В его рамках Google будет предлагать хостинг для сайтов, которые часто подвергаются DDoS-атакам по политическим соображениям. Сервера компании смогут справиться с повышенной нагрузкой, так как возможности компании в этом плане практически безграничны.

Оба продукта пока находятся в стадии испытаний. В промовидеоролике сервисов упоминается иранское издание Balatarin, которое уже смогло испытать хостинг Google. Компания также хостила ресурсы во время выборов в Кении.

Google показала и новую карту, которая демонстрирует кибератаки по всему миру в реальном времени.

Источник

 ,

encyrtid
()

Erlang/OTP R16B02 has been released

 

encyrtid
()

Programming language Ya

Наткнулся на такое творение. Для Ъ варианта не будет.

 , ,

encyrtid
()

Glasgow Haskell Compiler 7.6.3

21 апреля вышло минорное обновление GHC 7.6.3 — одного из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго. Релиз включает в себя только исправления багов.

Подробности

 , ,

encyrtid
()

Rust, tail call optimization

Rust не будет поддерживать оптимизацию хвостовых вызовов.

Пруф

 ,

encyrtid
()

Glasgow Haskell Compiler 7.6.2

Вчера вышло минорное обновление GHC 7.6.2 — одного из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.

Список изменений

 , ,

encyrtid
()

Разумные грибы

Наткнулся тут на статью:

Профессор Тошиюки Накагаки (Toshiyuki Nakagaki), биолог и физик из университета Хоккайдо (Япония), взял крошечный кусочек жёлтого плесневого гриба и положил его у входа небольшого лабиринта – 30-ти сантиметровой копии лабиринта, применяющегося обычно для проверки интеллекта и памяти мышей. В другом конце лабиринта он поместил кубик сахара.

Обычно грибы растут вокруг круглой и симметричной сети паутинок, но желтоватый грибок Physarum polycephalum, растущий в природных условиях на листьях и камнях, вёл себя совершенно иначе. Он как будто издалека почувствовал запах сахара и начал посылать на его поиски свои ростки. Паутинки гриба раздваивались на каждом перекрёстке лабиринта и те из них, кто попадал в тупик, разворачивались и начинали искать путь в других направлениях. В течение нескольких часов грибные паутинки заполнили проходы лабиринта и к концу того же дня одна из их них нашла дорогу к сахару.

После этого Тошиюки и группа его исследователей взяли маленький кусочек паутинки гриба, участвовавшей в первом опыте, положили его у входа точной и пустой копии того же лабиринта, также с кубиком сахара на другом его конце. То, что произошло дальше, не мог бы предсказать никто. В первое же мгновение паутинка разветвилась на две: один тонкий и точный отросток проложил свой путь прямо к сахару без единого лишнего поворота. Второй отросток паутинки вскарабкался на стену лабиринта и пересёк лабиринт по прямой линии, по потолку, прямо к цели. Грибная паутинка не только запомнила дорогу, но и изменила правила игры. Опыт повторяли снова и снова и с разными лабиринтами. В одном из опытов учёные положили два кубика сахара – по одному у каждого из двух выходов из лабиринта. Паутине хватило одного опыта, чтобы узнать, на каком перекрёстке разветвиться и кратчайшим путём добраться до сахарных кубиков.

«Я впервые подумал об этом опыте в тот момент, когда мысленно осмелился сопротивляться естественной склонности относиться к этим созданиям как к растениям,» – говорит Тошиюки в своём телефонном интервью изданию «Мосаф калкалист» – «После того, как ты занимаешься исследованиями грибов в течение нескольких лет, ты обращаешь внимание на две вещи. Первое это то, что грибы ближе к животному миру, чем это кажется. Второе, что их поведение иногда выглядит как результат сознательного решения, а не как проявление просто инстинкта. Я подумал, что грибам стоит дать возможность попробовать решить загадки, чтобы лучше понять что происходит.»

Это исследование удостоилось резонанса в мировом масштабе, было опубликовано в самом известном в мире научном журнале «Природа» («Nature»), а его участники даже удостоились приза Игнобель – «за исследования, которые сначала заставляют смеяться, а потом - задуматься» – за 2008 год. В прошлом году Тошиюки вторично удостоился приза Игнобель, на этот раз за исследование, обнаружившее, что грибы могут планировать транспортные маршруты не хуже инженеров-профессионалов, но намного быстрее последних. Тошиюки взял карту Японии и поместил кусочки пищи в местах, соответствующих большим городам страны. Грибы он положил «на Токио» и подождал 23 часа – время, необходимое грибам, чтобы построить линейную сеть паутинок ко всем кусочкам пищи. В результате получилась почти точная копия железнодорожной сети вокруг Токио. «Надо понимать, что это не так уж сложно - соединить несколько десятков точек; а вот соединить их эффективно и наиболее экономно – это уже совсем не просто,» – хвалит грибы Тошиюки. Когда провели подобные эксперименты на картах Англии и Испании, то получили точные модели сетей шоссейных дорог, существующих в этих странах, включая, в некоторых случаях, расширения и изменения, сделанные в последнее время из-за неоптимального изначального планирования. В эти дни в университете Хоккайдо пробуют перенести эту удивительную способность гриба на компьютерную модель. «Я верю, что то, что мы изучаем сейчас, поможет в будущем не только понять, как строить инфраструктуру с улучшенную архитектурой, но и как строить более эффективные и быстрые информационные сети,» – говорит Тошиюки.

Источник: http://xn--b1adef0ban2h.com.ua/popularly/266-griby-kollektivnyj-razum

Дискасс.

 ,

encyrtid
()

Scheme, идентификаторы

R5RS, 7.1.1 Lexical structure:

<identifier> --> <initial> <subsequent>* | <peculiar identifier>
<initial> --> <letter> | <special initial>
<letter> --> a | b | c | ... | z
<special initial> --> ! | $ | % | & | * | / | : | < | = | > | ? | ^ | _ | ~
<subsequent> --> <initial> | <digit> | <special subsequent>
<digit> --> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
<special subsequent> --> + | - | . | @
<peculiar identifier> --> + | - | ...
<syntactic keyword> --> <expression keyword>
     | else | => | define 
     | unquote | unquote-splicing
<expression keyword> --> quote | lambda | if
     | set! | begin | cond | and | or | case
     | let | let* | letrec | do | delay
     | quasiquote
Вопрос по синтаксису идентификаторов: по спецификации невозможны идентификаторы типа ++, ...., ---. Однако racket и chicken спокойно работают с такими идентификаторами. Где я туплю?

 

encyrtid
()

Цен на митол-концерты тред

Наткнулся на дарксайде на следующую информацию: 3 декабря в Минске выступают вместе Morbid Angel, Kreator и Nile. Отлично. Однако от стоимости билетов мне поплохело, стоимость билетов на концерт каждой группы по отдельности будет раз в 50 меньше (в Москве). Теперь главный вопрос: откуда такие цены?

http://darkside.ru/show/6408/

 ,

encyrtid
()

Международный экспериментальный термоядерный реактор

ITER (ИТЭР) — проект международного экспериментального термоядерного реактора. Задача ИТЭР заключается в демонстрации возможности коммерческого использования термоядерного реактора и решении физических и технологических проблем, которые могут встретиться на этом пути. Проектирование реактора полностью закончено и выбрано место для его строительства — исследовательский центр Кадараш (фр. Cadarache) на юге Франции, в 60 км от Марселя. В настоящее время (по состоянию на март 2012 г.) близятся к завершению работы по созданию железобетонного фундамента под реактор и возведению стен в котловане. Стройку, стоимость которой первоначально оценивалась в 5 миллиардов евро, первоначально планировалось закончить в 2016 году, однако постепенно предполагаемая сумма расходов выросла вдвое, и затем срок начала экспериментов сдвинулся к 2020 году.

Wiki

Взлетит или нет?

 , реактор

encyrtid
()

DRAKON-Erlang, гибрид ужа с ежом

Некие товарищи скрестили DRAKON и Erlang, получилось довольно забавно.

Подробнее

 drakon, ,

encyrtid
()

«Ov» вместо «Of» в black metal

В связи с недавним посещением выступления Behemoth возник вопрос: почему в чорном митоле распространена замена «of» на «ov»? Например песни у Behemoth: «Ov fire and the void», «The reign ov Shemsu-Hor». Или псевдоним бывшего басиста Gorgoroth - «King ov Hell». Беглое гугление ничего внятного не выдает, но я верю что местные специалисты знают ответ и на этот вопрос.

 , ,

encyrtid
()

Долгий запуск компьютера

Привет ЛОР. Дело в том что есть один системный блок и у него проблемы с запуском. Т.е. вечером я нажимаю кнопку запуска и запуск происходит через 5-10 минут (и этот промежуток постепенно увеличивается). За 1-2 месяца до начала симптомов сменил процессор с Core2Duo E7200 на CoreQuad Q6600. В какую сторону копать?

encyrtid
()

RSS подписка на новые темы