LINUX.ORG.RU

Сообщения pierre

 

Кто печатает 'segmentation fault'?

Форум — Development

Добрый день,

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

pierre ()

НТВ: Новинка от «Линукс»

Форум — Talks

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

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

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

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

pierre ()

Ищем internship

Форум — Job

Добрый день,

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

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

pierre ()

ld «undefined reference to bred»

Форум — Development

День добрый.

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

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

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

pierre ()

Glasgow Haskell Compiler 6.10.1

Новости — Open Source
Группа Open Source

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

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

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

Страница GHC

>>> Анонс

 ,

pierre ()

[Forth] Статическая типизация.

Форум — Development

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

Форт в котором:
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, поэтому заранее извините за такое примитивное понимание).

pierre ()

MS Azure

Форум — Talks

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

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

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

pierre ()

MS спрашивает, что делать с windows 7.

Форум — Talks

> 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. Быть может, нам удастся изменить жизнь к лучшему ;-)

>>>

pierre ()

Буква Ꙑ

Галерея — Скриншоты

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

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

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

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

pierre ()

Бинарник внутри си

Форум — Development

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

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

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

>>>

pierre ()

Кнут использует убунту

Форум — Talks

а еще маки:

> 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

>>>

pierre ()

Бывает ли такое?

Форум — Talks

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

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

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

>>>

pierre ()

Блог на статическом xhtml

Форум — Web-development

http://haque.zombiehack.com

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

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

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

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

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

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

pierre ()

Google adwords на лоре?

Форум — Linux-org-ru

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

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

pierre ()

emacs 23 и wmii-3.5

Галерея — Скриншоты

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

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

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

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

pierre ()

Перешел на KDE с XFCE

Галерея — Скриншоты

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

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

pierre ()

Google анонсирует хостинг для свободного ПО

Новости — Open Source
Группа Open Source

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

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

pierre ()

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