Добрый день,

Подскажите пожалуйста, кто именно печатает саркаментальную строчку «Segmentation fault» (в случае если никаких хендлеров sigsegv не ставилось)? Это libc? шелл?

Всего через неделю после громкой премьеры операционной системы от «Майкрософт» (Microsoft) сегодня без особых фанфар стартовала новая версия операционки «Убунту» (Ubuntu) на основе «Линукса» (Linux).

«Убунту» в ряде африканских языков значит «человечность», передает НТВ. Она распространяется бесплатно, а благодаря открытому программному коду ее могут модифицировать все желающие.

«Убунту» используют 12 миллионов человек. Это ничто по сравнению с миллиардной армией «Виндоуз» (Windows) , но среди ее поклонников, например, французская жандармерия, испанские школы и сетевая энциклопедия «Википедия» (Wikipedia). Само собой, все они внесли в операционную систему нужные им коррективы.

http://www.ntv.ru/novosti/178965/

Добрый день,

Мы -- два студента. Любим K/Q, Ocaml, Haskell, и не только. На лето у нас определенных планов нет, но нам хочется произвести какую-то практическую и полезную деятельность с возможностью применения интересных нам технологий. Поэтому мы хотим попросить internship в произвольной организации, которая заинтересует нас работой. Деньги для нас не особо важны, намного важнее интересность деятельности.

Мы находимся в Петербурге. C нами можно связаться по почте: pierre at breds.ru.

День добрый.

Разбираюсь с u-boot и хочу в порядке извращения прилинковать тамошнюю libgeneric вместо libc к моей программе. nm показывает что в libgeneric все необходимое есть, но тем не менее получаю "undefined reference". ld --verbose показывает что в нужном файле оно ищет.

Дело происходит при кросс-компиляции в mips из x86_64

В чем может быть дело и как посмотреть, что происходит с ld?

Вышел долгожданный релиз наиболее распространенного компилятора языка Haskell — Glasgow Haskell Compiler 6.10.1.

В новой версии:

• Quasiquotations — можно писать любым синтаксисом.
• Type Families — серьезное расширение системы типов, мощная замена Functional Dependencies.
• Generalised (SQL-Like) List Comprehensions, View Patterns.
• Параллельный сборщик мусора.
• Data Parallel Haskell теперь полностью интегрирован в GHC.

И многое другое!

Страница GHC

>>> Анонс

Я в форте разбираюсь совсем слабо, поэтому прошу местных его любителей оценить такую бредовую идею:

Форт в котором:
1. Все слова имеют constant stack effect
2. Все строго типизировано (Возможно даже Hindley-Milner)
3. Стек работает типизированно, т.е. слово с опред. типом будет брать из стека не, например, значение в вершине, а наиболее высокое значение опр. типа.

Будет ли этот бред жизнеспособен? Почти уверен, что идея не нова, но не могу найти папиры.

Вот небольшие примеры из фп (точнее -- из хаскеля):

: map(Cons) uncons apply map cons ;
: map(Nil) ; -- как быть с pattern matching я еще не придумал, поэтому в такой условной форме.

: foldl(Cons) uncons apply foldl ;
: foldl(Nil) ;

Занимательно то, что простыми арифметическими действиями -- просто проверяя условия underflow стека -- можно вывести типы и того, и другого. (Я к сожалению не знаю как работает вывод типов в hindley-milner, поэтому заранее извините за такое примитивное понимание).

http://lenta.ru/articles/2008/10/28/azure/ :

> 27 октября Рэй Оззи, главный программный архитектор Microsoft, представил платформу Windows Azure (azure - по-английски означает "лазурь"), по совместительству являющуюся операционной системой нового типа. Windows Azure позволит переместить обычные настольные приложения в интернет, а также заменит собой жесткий диск и мощный процессор.

http://www.microsoft.com/azure/default.mspx

> With this blog we’re opening up a two-way discussion about how we are making Windows 7.

http://blogs.msdn.com/e7/default.aspx

Предлагаю всем пройти по ссылке и принять участие в дискуссии о будущем windows. Быть может, нам удастся изменить жизнь к лучшему ;-)

>>>

В последнее время появилась острая необходимость читать и писать букву Ꙑ, замечательно сочетающую в себе труъшность и ышность (credits go to L29ah). К сожалению, в нормальных шрифтах вроде Liberation она отсутствует, в связи с чем было принято знаменательное решение ее дорисовать (точнее -- докопипастить в FontForge). Результат можно видеть на скриншоте.

В данный момент идет подготовка нормального патча для Liberation.

Из прочего -- xmonad, xcompmgr, gedit, убунта где-то между 7 и 8.

>>> Просмотр (1280x1024, 118 Kb)

Родилась идея посдавать задач на всякие олимпиадные автопроверки (вроде acm.timus.ru) на веселых языках.

В связи с этим вопрос:

Положим, у меня есть object-файл гцц (а может быть даже elf-бинарник), и я смог его загнать в некоторую область памяти. В этом коде где-то есть main. Каким образом я могу все это выполнить?

>>>

а еще маки:

> I currently use Ubuntu Linux, on a standalone laptop—it has no Internet connection. I occasionally carry flash memory drives between this machine and the Macs that I use for network surfing and graphics; but I trust my family jewels only to Linux. Incidentally, with Linux I much prefer the keyboard focus that I can get with classic FVWM to the GNOME and KDE environments that other people seem to like better. To each his own.

http://www.informit.com/articles/article.aspx?p=1193856

>>>

Вот интересно, бывает ли такой дистрибутив:

1. Инсталлируется при помощи tar, без всяких "установщиков" 2. Конфигурация примерно как в archlinux. 3. При этом все работает "из коробки" без извращенной настройки. В том числе иксы, локализация (включая маны), ну и т.д. вплоть до прописанного заранее выключения через acpi (в арче это зачем-то надо делать самому). 4. Существует тупейшая пакетная система, при этом имеются в наличии бинарные сборки всех популярных и достаточно тяжелых программ.

archlinux, слака, crux -- не то по 3. debian, fedora, ... -- не то по 1,2

>>>

http://haque.zombiehack.com

(поддерживается только firefox 1.5+)

Практически все делается на клиенте -- на сервере только серверная логика. Какое-либо генерирование xhtml на сервере отсутствует.

Клиентский софт представляет из себя единственную xhtml-страницу. На сервере -- dsl для серверной логики (интерпретатор написан на хаскеле), называется haque.

Поддерживаются пользователи, администрирование, модерирование комментариев, markdown.

Строк кода: xhtml -- 262, скрипт на самописном dsl (haque) -- 76.

Основной вопрос -- имеется ли в таком бреде смысл?

Это что, правда? Или мне только кажется?

http://www.linux.org.ru/profile/_white/view-message.jsp?msgid=1336225

На скрине -- последний снапшот wmii. Перешел с древнего wmii-4, в сравнении -- стало во многих местах удобнее.

Прозрачность и тени делает xcompmgr. Теперь-то уж никто не скажет, что wmii -- убожество :-)

Прочее: emacs 23, haskell-mode, ghc 6.6

>>> Просмотр (1280x1024, 178 Kb)

Перешел на kde, попытавшись сохранить стиль. Получился по моим меркам почти идеал. Особенно в kde радует оформление окон в стиле B II (можно делать некое подобие табов, перемещая заголовки окон) и красивый таскбар :-) Благодаря таким заголовкам таксбар практически всегда убран. Все запускается с клавиатуры, поэтому нет идиотских значков ни в панели, ни на рабочем столе.

>>> Просмотр (1280x1024, 181 Kb)

По словам представителей google, проект весьма похож на небезызвестный SourceForge, но "не предназначен для конкуренции с ним". В качестве репозитория для исходников используется subversion. В будущем планируется переезд на новый хостинг всех проектов google.

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