Взломщик проявил недюжинную смекалку, чтобы ценой неимоверных стараний и долгой кропотливой работы по аудиту кода WordPress внедрить в него свой бэкдор https://github.com/WordPress/WordPress/pull/18

Множество разрозненных проектов и разработчиков llvm/linux kernel объединились на пути к общей цели - полноценная сборка ядра linux clang-ом. Здесь можно посмотреть статус проекта этого проекта (равно как и ознакомиться с публикациями на эту тему, и другими материалами) Clang/LLVM http://llvm.linuxfoundation.org/index.php/Main_Page

Похоже эта идея наконец стандартизуется, вместо каждый свой велосипед (как у Qt и GTK+) http://benzilla.galbraiths.org/2012/08/27/pixate/ и http://www.kickstarter.com/projects/pixate/beautiful-native-mobile-apps

• Математическая теория мозга
• Теория сетевой динамики
• Стохастичность в живой природе
• Новая теория жидкостной динамики
• Биологическое применения теории квантового поля
• Вычислительный дуализм, как развитие математического дуализма
• Бритва Оккама для больших размерностей

И далее, лень писать все :)

http://www.darpa.mil/Our_Work/DSO/Programs/23_Mathematical_Challenges.aspx

Возможно ли создавать динамические графики, например в MathGL? Например нарисовать распределение энтропии по блокам в большом файле, в полярных координатах, чтобы этот график можно было крутить, увеличивать, менять прозрачность, и все в реальном времени? Или какой другой интерфейс/библиотека позволяют это сделать?

Онлайн редактор LaTeX на JS с поддержкой совместного редактирования http://writelatex.com/

В рамках проекта возникла задача использовать символьное выполнение (symbolic execution) некоторого псевдокода, получающегося из программы. Один из участников активно продвигает Z3 от микрософта, но мне эта идея категорически не нравится (проект будет открыт). Нашел много - OpenSMT, VeriT, Coq (?), etc. Но нужен совет, и еще, существует ли такая программа, но на Haskell. Жду советов и просвещения.

Вот и эти решились - знаменитый редактор теперь доступен на гитхабе https://github.com/textmate/textmate под GPLv3.

Знаменитый редактор, правда сам им ни разу не пользовался (предпочитаю vim)

Весьма занимательный способ борьбы с распространением SecureBoot придумали здесь http://kephra.de/blog/Stop_UEFI.html#en

Суть метода заключается в принесении экономического ущерба произвоителям с SecureBoot. То есть, заказ ноутбука или компьютера (с включенным SecureBoot), вскрытие упаковки, уничтожение сопровождающих установочных дисков и доументации, и возвращения товара обратно, с money-back, а в причине возврата - невозможность установки Linux. Очень легко это будет сделать жителям тех стран, законодательство которых обязывает принимать товар обратно, например Германии.

Интересная идея, как мне кажется.

Уже опоздала регистрация студентов, но на будущее - хочу упомянуть, поскольку поиск по ЛОРу показал, что не упоминался нигде. Уже второй год ESA проводит конкурс Summer of Code, аналогичный подобному от Google. Список проектов более ориентирован на космические, физические и математические проекты.

Ссылка на сам проект - http://sophia.estec.esa.int/socis2012/

Ссылка на timeline - http://sophia.estec.esa.int/socis2012/timeline

Принятые проекты в этом году - http://sophia.estec.esa.int/socis2012/?q=node/13

• Marble Картография для KDE - Project page: http://community.kde.org/SoCiS/2012/Ideas
• Gerbil Обработка спектров - Project page: https://sourceforge.net/p/gerbil/docs/SOCIS/
• pyNastran - Project page: http://code.google.com/p/pynastran/wiki/FutureDevelopmentIdeas
• GNU Octave - Project page: http://octave.org/wiki/index.php?title=GSoC_Project_Ideas
• Helioviewer Физика Солнца - Project page: http://wiki.helioviewer.org/wiki/SOCIS-2012_Ideas
• GICI Delta Обработка мультиспектральных изображений - Project page: http://gici.uab.es/GiciWebPage/delta.php
• Orekit Обработка телеметрии и орбитальных данных - Project page: https://www.orekit.org/forge/projects/orekit/wiki/SOCIS
• CGoGN Комбинаторное и геометрическое моделирование - Project page: http://cgogn.unistra.fr/Wiki/index.php/SOCIS2012
• OpenCube OpenHardware платформа наноспутника - Project page: http://opencubeproject.org/get_involved/socis2012
• HI-Lite Project page: http://www.open-do.org/projects/hi-lite/socis-2012-project/
• SunPy Физика Солнца - Project page: https://github.com/sunpy/sunpy/wiki/SOCIS-2012-Ideas-Page
• RTEMS - Project page: http://www.rtems.org/wiki/index.php/Open_Projects
• OpenSAND Эмулятор спутниковой телекоммуникации - Project page: http://opensand.org/support/wiki/doku.php?id=todo_list
• NEST Обработка больших обьемов сырых данных со спутников и их датчиков - Project page: http://nest.array.ca/web/nest/socis
• FFmpeg - Project page: http://wiki.multimedia.cx/index.php?title=FFmpeg_Summer_Of_Code_In_Space...
• Open Mission Control OpenSource ЦУП - Project page: http://openmissioncontrol.wordpress.com/socis/
• KStars Планетарий KDE - Project page: http://community.kde.org/SoCiS/2012/Ideas#KStars_
• Interface Communication Modeling Language - Project page: https://sites.google.com/site/icmlmodellinglanguage/
• Open Source DSLS for Space - Project page: http://wiki.eclipse.org/Polarsys/ProjectsIdeas/SOCISObeo
• BRL-CAD - Project page: http://brlcad.org/wiki/ESA_Summer_of_Code_in_Space/Project_Ideas

Может кто и новость оформить захочет.

Заинтересовал вдруг вопрос, существуют ли терминалы, поддерживающие больше чем 256 цветов, например 65536? Или 262 144? 21-й век на дворе, как никак. Да и в ESC последовательностях, нет особого труда использовать более длинные числа.

Израильский The Weizmann Institute of Science в 2002 году выпустил работу http://www.wisdom.weizmann.ac.il/~vision/single_image_SR/files/single_image_S... описывающую новый метод аппроксимации изображения при увеличении размера. Здесь - http://www.wisdom.weizmann.ac.il/~vision/SingleImageSR.html представлены сравнения на изображениях с другими методами.

Добрый вечер! В утилите обработки MSR регистров CPU данные сохраняются в таком виде:

	{ 0x10000021, MSRTYPE_RDWR, MSR2(0x000000FF, 0xFFF00000), "GLIU0_P2D_BM1", "GLIU0 P2D Base Mask Descriptor 1", {
		{ 63, 3, "PDID1", "Descriptor Destination ID", PRESENT_BIN, {
			{ MSR1(0), "Port 0 = GLIU0:GLIU GLIU1:GLIU" },
			{ MSR1(1), "Port 1 = GLIU0:GLMC GLIU1:Interface to GLIU0" },
			{ MSR1(2), "Port 2 = GLIU0:Interface to GLIU1 GLIU1:Not Used" },
			{ MSR1(3), "Port 3 = GLIU0:CPU Core GLIU1:GLCP" },
			{ MSR1(4), "Port 4 = GLIU0:DC GLIU1:GLPCI" },
			{ MSR1(5), "Port 5 = GLIU0:GP GLIU1:GIO" },
			{ MSR1(6), "Port 6 = GLIU0:VP GLIU1:Not Used" },
			{ MSR1(7), "Port 7 = GLIU0:Not Used GLIU1:Not Used" },
			{ BITVAL_EOT }
		}},
		{ 36, 1, "PCMP_BIZ", "Compare Bizarro Flag", PRESENT_BIN, {
			{ MSR1(0), "Only act if Bizarro Flag = 0 (Memory or I/O)" },
			{ MSR1(1), "Only act if Bizarro Flag = 1 (PCI, Shutdown or Halt)" },
			{ BITVAL_EOT }
		}},
		{ 59, 20, RESERVED },
		{ 39, 20, "PBASE", "Physical Memory Address Base", PRESENT_HEX, {
			{ BITVAL_EOT }
		}},
		{ 19, 20, "PMASK", "Physical Memory Address Mask", PRESENT_HEX, {
			{ BITVAL_EOT }
		}},
		{ BITS_EOT }
	}},

Сборник видео по различным аспектам обучения компьютеров от California Institute of Technology:

http://work.caltech.edu/library/

Надеюсь, кому-нибудь пригодится.

Быстрый поиск по гуглу ничего не дал на русском, даже странно. Тем не менее, 12 июня NASA заявило что NRO ( http://www.nro.gov ) отдало им свои два орбитальных телескопа, как более им не нужные. По утверждениям представителей NASA эти телескопы в два раза «круче» чем Хаббл. NRO мотивировала передачу тем, что они уже не справляются со своей задачей (использовались для разведки, были направлены на планету). Эти два телескопа были построены в начале 2000-х. Предположительно основаны на спутниках модели KH-11 Kennan. Какого же тогда уровня их текущее оборудование? К сожалению, как стоимость самих телескопов, так и текущий бюджет строго засекречен.

Презентация о них - http://sites.nationalacademies.org/xpedio/idcplg?IdcService=GET_FILE&dDoc...

По утверждениям экспертов НАСА - телескопы имеют размер зеркала 2.4 метра, равное аналогичному значению у Хаббла, но имеют в 100 раз большее поле видимости(?)

По-видимому один из них заменён на более новый http://en.wikipedia.org/wiki/USA-224

WashingtonPost

Вчера добавили информацию в проекте TianoCore об утилитах подписи uefi образов и драйверов из Linux систем:

Linux Signing Tools Status

The following Linux hosted PE/COFF Signing Tools are being developed:

https://github.com/vathpela/pesign git://kernel.ubuntu.com/jk/sbsigntool

Secure Boot Results Linux Loaders and Kernels

EFI_STUB Kernel - has been signed with the Microsoft* SignTool and successfully secure booted. Fixes are available in tip:x86/efi branch at: http://git.kernel.org/?p=linux/kernel/git/tip/tip.git;a=shortlog;h=refs/heads...

efilinux Loader - has been signed with the Microsoft* SignTool and successfully secure booted. These fixes have been merged into the 'next' branch prior to being merged into the 'master' branch and a planned 1.1 release. https://github.com/mfleming/efilinux

The .reloc section fix on x86-64 was merged into the efi-linux library’s sourceforge repository and a new version was released (3.0q). UEFI Applications Built with UDK Linux Tool Chains

UDK GCC44 & GCC46 UDK Tool Chain

UEFI applications (such as HelloWorld.efi) built with the GCC44 and GCC46 UDK tool chains have been signed with the Microsoft* SignTool and successfully secure booted.

UDK UNIXGCC UDK Tool Chain

UEFI applications built with the UNIXGCC tool chain are not currently secure bootable. This problem is under investigation.

На данный момент как nginx так и lighttpd вполне полноценно работают как со статикой, так и с динамикой (через разнообразные интерфейсы). Для многих языков используются свои серверы (Python, Java) или их разновидности(php-fpm). Для кэширования - varnish. Обьясните мне, есть ли такая задача, с которой способен справиться только апач?

Знаю только Absolute Radio и классическое http://radio.cesnet.cz:8000/cro-d-dur.flac

Поделитесь ссылками на радио с роком (тяжелым) и техно, трансом. Если немецкое - то вообще отлично.

Спасибо!

Прочитав страницу Gentoo GSoC2012, нашел весьма интересный проект - OpenRC Extensions

Суть его в том, что на основе долгих раздумий и эпопеей с systemd, разработчики gentoo решили развить openrc до расширяемостью плагинами. Предполагаемы плагины:

• Механизм автообнаружения ошибок загрузки библиотек
• OOM-killer
• Действия по таймеру (например перезагрузка)

Список не ограничен лишь этими возможностями - возможно и расширение, были бы желающие реализовывать.

Здесь много тем бывает, про «посоветуйте ...», просмотрел в поиске, не нашел ничего подходящего. В общем, критерии таковы:

• Экран >= 15"
• Процессор - Intel i5 или i7 с частотой не менее 2GHz (или аналог от AMD)
• Памяти >= 4Gb
• Видеокарта - обязательно дискретная, без всяких оптимусов и подобных им штук, от AMD, чтобы работала под открытым драйвером.
• Жесткий диск - чтобы был :)
• Наличие WiFi

Экран желательно матовый. Все остальное не важно. Бюджет <= 24.000 руб

Заранее спасибо!