LINUX.ORG.RU

Сообщения pierre

 

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

Добрый день,

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

pierre
()

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

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

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

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

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

pierre
()

Ищем internship

Добрый день,

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

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

pierre
()

ld «undefined reference to bred»

День добрый.

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

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

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

pierre
()

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

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

Форт в котором:
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

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.

> 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
()

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

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

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

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

>>>

pierre
()

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

а еще маки:

> 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
()

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

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

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

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

>>>

pierre
()

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

http://haque.zombiehack.com

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

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

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

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

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

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

pierre
()

Google adwords на лоре?

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

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

pierre
()

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