• 4 июня 1996 года европейская ракета-носитель Ariane 5 развалилась на части на 39 секунде полета из-за ошибки в ПО (64bit float -> 16bit int). ущерб — 7 млрд. вечнозеленых;
• февраль 1991 года, ракета Patriot промахнулась мимо цели из-за ошибки округления, успела пролететь 500 метров. ущерб — 28 убитыми, сотня ранеными;
• 1987 год, медицинский ускоритель Therac-25 переоблучал пациентов с онкологическими заболеваниями из-за race condition. ущерб — несколько смертей;
• 1991 год, нефтяная платформа Sleipner A затонула после землетрясения силой 3 балла из-за ошибки в программе моделирования. ущерб — 700 млн.

А какие есть еще истории глобальных факапов, произошедших из-за ошибки в программном обеспечении?

Стало известно о выходе новой версии Debian GNU/Hurd. Этот проект сочетает в себе окружение Debian «Wheezy», работающее поверх ядра GNU/Hurd.

Образы установочных дисков могут быть загружены с сайта Debian Ports. Debian GNU/Hurd в настоящее время доступен для архитектуры i386 и содержит более 10000 пакетов.

Следует отметить, что Debian GNU/Hurd 2013 выпущен по инициативе разработчиков этого порта и не является официальным релизом Debian.

Напоминаю, что GNU Hurd является заменой ядра Unix для проекта GNU. Он представляет собой набор серверов, которые запускаются на микроядре Mach для реализации файловых систем, сетевых протоколов, контроля доступа к файлам, а также других функций, которые реализованы в ядре Unix или аналогичных ядрах (например, Linux).

>>> Подробности

Команда разработчиков рада сообщить о выходе новой версии языка программирования Go — 1.1.

Go — компилируемый многопоточный язык программирования, разработанный компанией Google. Первоначальная разработка Go началась в сентябре 2007 года, а его непосредственным проектированием занимались Роб Пайк и Кен Томпсон.

Версия 1.1 включает в себя множество усовершенствований, наиболее значительные из которых связаны с производительностью:

• оптимизация компилятора и компоновщика;
• улучшение работы сборщика мусора;
• многочисленные улучшения в стандартной библиотеке.

Таким образом, код, собранный новой версией компилятора, скорее всего будет работать быстрее.

Кроме того, есть некоторые изменения и в самом языке:

• оператор return;
• добавлены механизмы обнаружения ошибок синхронизации.

С момента выхода Go 1.0 было внесено 2600 изменений от 161 разработчика за пределами Google.

На данный момент поддержка Go осуществляется для операционных систем FreeBSD, OpenBSD, Linux, Mac OS X, Windows.

>>> Подробности

Сменив работу, решил немного подправить свой боевой emacs и вот что из этого вышло:

• в стабильный Debian был воткнут emacs-snapshot;
• прикручена тема zenburn, убран меню-бар и всякая лишняя обвеска;
• в качестве ШГ уже достаточно давно использую terminus;
• кроме того, прикрутил подсветку текущей строки и выпирающих концов длинных строк, которые выделяются красным цветом.

Теперь по скриншоту. Слева видны полируемые исходники модуля для ejabberd. Для работы с Erlang использую EDTS, который может почти всё и не тормозит как erlang-mode.

Для ускорения эрланга в узких местах иcпользую ocaml. Когда возможностей окамла не хватает или нужно доказывать некоторые утверждения о коде, использую coq.

Работу с окамлом обеспечивает tuareg-mode, а исходниками на coq заведует ProofGeneral.

Ругайте.

Операционная система DragonFly BSD, основанная на FreeBSD4, обовилась до версии 3.4.

Основные изменения:

• добавлена экспериментальная поддержка DPorts;
• существенное улучшение производительности на многоядерных системах;
• два основных компилятора поменялись ролями: GCC 4.7, представленный в качестве альтернативного компилятора в версии 3.2, в настоящее время осуществляет сборку всей операционной системы. GCC 4.4 остается в системе и до сих пор играет важную роль в качестве основного компилятора DPorts. Новый компилятор также предлагает улучшенную поддержку C++ и Objective-C, и предоставляет поддержку LTO;
• доступен стек USB4BSD.

>>> Подробности

В компанию РОН-Телеком нужен Erlang-программист.

Некоторые формальные требования:

• опыт разработки под GNU/Linux;
• опыт программирования на Erlang или желание это опыт приобрести;
• уверенное владение языками C и/или C++;
• опыт работы с СУБД, понимание базовых принципов;
• знание классических алгоритмов и структур данных;
• понимание работы сетевых протоколов;
• умение тестировать свой код;
• опыт работы с системами контроля версий git, svn;
• английский язык на уровне чтения документации и общения с коллегами по электронной почте;
• готовность работать под NDA;
• bash/tcl/perl/python для автоматизации ручной работы.

Работать надо в офисе в центре Челябинска, удаленки нет, ДМС нет.

Зарплата обсуждается на собеседовании, нижняя планка 40 тыр.

Также готовы взять молодых специалистов без опыта и студентов старших курсов. Обучение за счет конторы. Зарплата от 20 тыр.

Контакты в профиле.

В результаты поисковой выдачи неплохо бы добавить раздел Job, дабы искать вакансии, соответствующие поисковому запросу.

Дискасс.

Есть заброшенный проект под лицензией BSD:

Copyright (C) 2009 Enrique Marcote, Miguel Rodriguez All rights reserved.

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.

Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

Neither the name of ERLANG TRAINING AND CONSULTING nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.

Мы внесли в него много изменений: понаписали тестов, прикрутили dialyzer, исправили ошибки и т.п. Теперь есть желание выложить все это дело в open source.

Вопрос специалистам по всему: как грамотно оформить форк? Нужно ли менять название проекта? Как правильно указывать новые копирайты?

Словом, ткните в нужные маны.

Некоммерческая организация Linux Foundation объявила о включении Xen в состав курируемых проектов.

Компании Amazon Web Services, AMD, Bromium, Calxeda, CA Technologies, Cisco, Citrix, Google, Intel, Oracle, Samsung и Verizon заявили о намерении поддерживать разработку Xen.

Проект Xen представляет собой открытую платформу для виртуализации и распространяется согласно условиям лицензии GPLv2. Разработанный с самого начала для облачных вычислений, проект имеет более чем десятилетнюю историю развития и в настоящее время используется более чем 10 миллионами пользователей.

>>> Подробности

Вышла новая версия популярной документо-ориентированной базы данных Apache CouchDB — 1.3.0.

Основные изменения:

• поддержка Server-Sent Events;
• экспериментальная поддержка Cross-Origin Resource Sharing (CORS);
• добавлен новый алгоритм utc_id для генерации UUID;
• улучшено определение компиляторов C/C++ в системе сборки;
• для хэширования паролей задействован алгоритм PBKDF2.

>>> Подробности

Бертран Мейер выступит 11 апреля 2013 г. в 11:00 в конферец-зале ИВМиМГ СО РАН (ВЦ) с лекцией «Достижения в области параллельного программирования»

В настоящее время профессор Мейер возглавляет Chair of Software Engineering в Цюрихе, является CTO компании Eiffel Software, а также возглавляет кафедру программной инженерии и верификации программ в ИТМО.

http://www.iis.nsk.su/ershov_lectures/2013

11 апреля в Санкт-Петербурге пройдет третья конференция для Scala-разработчиков.

Программа конференции:

• Илья Ключников (Huawei Research) «Введение в lightweight modular staging и scala virtualized»;
• Дмитрий Найданов (JetBrains) «Play 2.0 в IntelliJ IDEA»;
• Павел Фатин (JetBrains) «Поддержка компиляции в Scala Plugin с использованием Zinc»;
• Алексей Злобин (GridGain) «Легкое распределённое программирование со Scala и GridGain»;
• Багманов Рафаэль (Grid Dynamics) «Scala in a wild enterprise».

Вход свободный, необходима предварительная регистрация.

>>> Подробности

копипаста с опеннета

Компании Red Hat и Rackspace добились решения федерального суда США о досрочном отклонении претензий по всем пунктам в патентном иске, предъявленном компанией Uniloc. Компания Uniloc, в 1990-х годах активно продававшая свои собственные разработки, в настоящее время является известным патентным троллем с обширной историей исков, в том числе против таких хай-тек компаний как Adobe, Microsoft, Sony и Symantec. Изначально иск был подан против компании Rackspace, использующей на своих серверах дистрибутив RHEL, в котором по заявлению Uniloc был зафиксирован факт нарушения одного из патентов. Компания Red Hat в рамках программы Open Source Assurance предоставляет клиентам защиту от патентных исков, поэтому также подключилась к судебному разбирательству.

Так победим!

Состоялся релиз дистрибутива Scientific Linux 6.4, созданного совместными усилиями Fermilab и CERN на основе исходных кодов RHEL 6.4.

Основная цель базового дистрибутива — обеспечить полную бинарную совместимость с Red Hat Enterprise Linux при нескольких сделанных незначительных дополнениях или изменениях.

Основные изменения:

• процедура формирования пакетов с модулем ядра для поддержки OpenAFS претерпела существенные изменения: для каждого минорного выпуска собирается отдельный вариант модуля;
• пакет yum-conf-sl6x теперь ставится по умолчанию. Он нужен для осуществления автоматического обновления по мере выпуска новых версий SL;
• в yum-conf-sl-other добавлена поддержка репозитория sl-addons;
• прекращена поддержка Matahari API.

С полным списком изменений можно ознакомиться на официальном сайте проекта.

>>> Подробности

true_admin, ты больше не модератор?

Я опять что-то пропустил?

Анонсирована новая версия кроссплатформенной библиотеки элементов интерфейса — GTK+ 3.8.0.

Некоторые изменения:

• поддержка Wayland 1.0;
• добавлена поддержка broadwayd — отдельного сервера, обеспечивающего отрисовку элементов интерфейса GTK+ в браузере;
• поддержка CSS для шрифтов (свойства xx-small, medium, smaller, larger и др.);
• управление геометрией: невидимые виджеты теперь возвращают размер 0x0. Это экспериментальное новшество позволяет использовать GtkWidget::visible аналогично «display: none» в CSS;
• поддержка протокола оконного менеджера для кадровой синхронизации;
• оптимизирован рендеринг текста для GtkLabel и некоторых других виджетов;
• при загрузке иконок задействован кэш GtkIconInfo;
• в GtkTreeView и GtkIconView добавлена активация в один клик.

>>> Подробности

Факультет свободных искусств и наук СПбГУ 27 марта 18:00 — открытая лекция Роджера Пенроуза (Оксфордский университет) «Нужна ли новая физика, чтобы понять мозг? Почему я не верю, что можно создать мозг на основе существующих теорий искусственного интеллекта» («Is New Physics Needed to Understand the Mind? Why I do not believe a Mind will be built on the basis of current theories of Artificial Intelligence.»)

Язык лекции: английский

Адрес: СПбГУ, Факультет свободных искусств и наук, Дворец Бобринских, ул. Галерная 58-60, Кинозал (ауд. 223)

http://artesliberales.spbu.ru/events/2013

Дополнение

Просьба к гостям факультета иметь при себе паспорт (это требование охраны) и заранее отправить короткое сообщение на электронный адрес andrei@philomatica.org указав в качестве темы сообщения «лекция Пенроуза». Дополнительную информацию можно получить у Андрея Родина andrei@philomatica.org

http://club.pdmi.ras.ru/moodle/

Как известно, lorcode осиливает небольшая часть рекрутеров и прочих работодателей. Поэтому мы и наблюдаем в разделе Job over 9000 тем с вырвиглазным и нечитаемым форматированием.

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

Дискасс.

Представлена новая версия OpenSSH — 6.2.

Некоторые изменения:

• добавлена поддержка AES-GCM в протоколе SSH 2;
• добавлена поддержка режима encrypt-then-mac (EtM) подстановки MAC (Message Authentication Code). Этот режим считается более безопасным и отныне используется по умолчанию;
• поддержка алгоритма UMAC-128;
• исправлены некоторые известные ошибки.

>>> Подробности

Уникальный «воздушный дисплей» DisplAir, созданный астраханскими разработчиками, поступит в продажу 28 марта и будет стоить 398 000 рублей.

бла-бла-бла

DisplAir проецирует изображение на турбулентный поток твердых частиц воды размером до 2 мкм, свойства которых позволяют фиксировать до 1500 одновременных касаний. Эти твердые микрочастицы устойчивы к жаре и морозу: они не испаряются и не замерзают.

http://hi-tech.mail.ru/news/misc/air_display.html

А теперь вопрос: чего они натолкали внутрь за 400 тыр?