HURD планирует очередной переход на новое ядро.

мда... "академики"

От С там действительно только "природа"

Если бы не "академики" ты бы до сих пор перфокартами пользовался.

монолит рулит.

Ковырять будут еще лет 30. И это понятно почему - если все сразу сделать, то грантов на эту тему больше не датут, а так - капает потихоньку.

Так на L4 они толком не смогли заставить работать, и вот опять переходят на что=то другое? L4Linux уже давно работает без проблем, значит надо что-то в самом хурде менять....

Может тоже занться?..

Сделать среднее ядро, и вперед ;)

пролистав по диагонали описание языка

у них ядро на лиспе что-ли?

Это не Лисп, это очень даже низкоуровневый язык. Читай внимательней.

А судя по http://www.gnu.org/software/hurd/gnumach.html основная ветка Hurd таки на Mach, а Hurd-L4 - форк.

надо им сделать пропаганду HURD. забить на Debian GNU/Linux

2catap (*) (04.11.2005 20:01:46)

> Может тоже занться?.. Сделать среднее ядро, и вперед ;)

Займись: http://www.retroforth.org/ ;)

EROS/Coyotos? Ой млин, как начнут девелоперы названия придумывать, никакое бомбоубежище не спасёт.

я правильно понял что их bitc пока-что только в виде спецификации существует?

GNU/TURD ? :)

"The badge is a session identifier for the server .... If a client gives his badge directly to another part, it allows to act on behalf the client."
19:57 <__20h__> The discovered passwords!
http://lists.gnu.org/archive/html/l4-hurd/2005-10/msg00897.html et all are really phunnay.

хых, есть на Земле жгучие люди... Есть unununium, который собрались писать на Питоне, предварительно реализовав его "сверхбыструю" модификацию :)

как я понял мои внуки все-же увидят альтернативу linux ядру которая хоть как-то будет работать =)

> EROS/Coyotos

Мда... Хоть бы название нормальное придумали. А так - очередной мертворожденный урод, даже хуже QNX.

В3.14зду L4 Это поделие на ц++ написано, что есть мегасакс!

QNX ставят на радарные системы в отличие от...

Блиин...

Они хотя бы один вариант довели бы до состояния "можно пользоваться". А то на L4 оно аж умело приглашения после загрузки написать, прежде чем зависнуть :-О

Скора на лор пойдут новости типа: "некий вася пупкин придумал новую схему ядра и т.д." # -------------------------

>В3.14зду L4 Это поделие на ц++ написано, что есть мегасакс!

Имбицил! L4 - это только набор API! есть L4/x86, который написан на ассемблере

> EROS/Coyotos

Я уж не знаю, что они хотели сказать с помощью EROS, но Coyotos напоминает медицинское название полового акта. Похоже потрахаться им придется на славу :)

"complete and usable operating system today. It is not ready for production use, as there are still many bugs and missing features. However, it should be a good base for further development and non-critical application usage."


Гы-гы.. "Это замечательная и удобная вещь, но она не работает и её почти не существует, зато она потом пригодится"
Хотя я завидую ребятам - столько упорства!

> я правильно понял что их bitc пока-что только в виде спецификации существует?

Чукча не читатель, чукча - писатель? :) По ссылкам ходил? Там версия аж 0.8+ :))))

Жаль, макры еще не прикрутили... ;)

Очень понравилось про установку сего под офтопиком... LOL!!!

> подтолкнут развитие конкурента данному продукту MS
> [http://research.microsoft.com/os/sing...]
Кстати, а почему Торвальдс над этим проектом работает
инкогнито:
http://research.microsoft.com/users/galenh/
Зачем скрывается под псевдонимом, ведь по фотке
всё равно его узнать можно :)

Макры и не прикрутят.

>Я уж не знаю, что они хотели сказать с помощью EROS, но Coyotos напоминает медицинское название полового акта. Похоже потрахаться им придется на славу :)

"HURD Эрос/Коитус: тема половых сношений раскрыта" ;)

"А воз и ныне там" Давайте давайте ребята - отрывайтесь от действительности.

Как же меня задолбали тупые гандоны (ну, такие, как ты, ничтожество), которые воняют из своих хлебалищ на академические разработки. Вонючие, тупые мрази не соображают, что индустрия только из этих академических разработок идеи и берёт. А потому как в индустрии работают тупые быдлы в основном, то идеи в неё доходят лет через 15-20 как минимум. Что не отменяет необходимости в таких разработках.

> Кстати, а почему Торвальдс над этим проектом работает инкогнито: http://research.microsoft.com/users/galenh/ Зачем скрывается под псевдонимом, ведь по фотке всё равно его узнать можно :)

не, непохож

> Макры и не прикрутят.

Ну, один раз попробовали, может потом еще попробуют... ;)

это уже на агонию похоже

http://www.mslinux.org/

Вот ОС будущего..

Одного не пойму, почему к новости о HURD приплели "небезызвестную немаленькую компанию"...

А ты типа аристократ?

>Макры и не прикрутят.

А кстати почему?

>А ты типа аристократ?

Он типа студент с манией величия и полным отсутсвием понятия нужд бизнеса - в акедемиях такому не учат - вот непризнаный гений и шумит (видать под видом технологии попытался впарить процедуру на 30 листах и без комментаривем - его послали - теперь он в науке :D ).

> Чукча не читатель, чукча - писатель? :) По ссылкам ходил? Там версия аж 0.8+ :))))

ходил. _спецификацию_ версии 0.8+ видел, мне понравилось. а вот код-то где?

Не путай бизнес и академическую науку. Бизнес нового не создаёт никогда, он только использует то, что создали раздолбаи-академики лет 20 назад. Так что ещё лет через 20 будет продаваться ОС, сделанная на микроядре, написанном на языке, подозрительно смахивающим на BitC. А те, кто сейчас тявкает на разработчиков - просто жалкие ничтожества и должны сдохнуть.

>Не путай бизнес и академическую науку. Бизнес нового не создаёт никогда, он только использует то, что создали раздолбаи-академики лет 20 назад. Так что ещё лет через 20 будет продаваться ОС, сделанная на микроядре, написанном на языке, подозрительно смахивающим на BitC. А те, кто сейчас тявкает на разработчиков - просто жалкие ничтожества и должны сдохнуть.

Чувак очнись и выгляни за дверь своей аспирантуры - множество IT компаний имеет свои R департаменты где всяких PhD разов в 10 меньше чем инженеров - потому что без инженеров от PhD только лет через 20 саму идею получить можно, и то грамотные инженеры сами такую толкнут если безнес попросит. А идея ради идеи и через 20 лет не будет востребованна. Да и IT не фармацефтика - тут 20 лет ждать не станут - и каждый гаражный разработчик есть камень в гроб академического IT

А новый язык для написания ОС это круто - смахивает на плохого танцора у которого между ног асм, С, и C++ да и форт еще

> множество IT компаний имеет свои R департаменты

Ага. И все они - убыточные. Потому что результаты их лет через 20 только и будут востребованы. Посмотри на IBM, посмотри на Microsoft Research, да на тот же Fijitsu и Ericsson, в конце концов. Публикаций столько, что Большой Театр обклеить можно, а реально в индустрии воспользовались менее чем процентом от их наработок.

Просто наука так работает - с очень херовым КПД. И только последняя сволочь станет за это насмехаться над героями-подвижниками, которые в науке работают, зная, что результата практического при жизни и не увидят.

> Да и IT не фармацефтика - тут 20 лет ждать не станут

Ишь какой вумный шпанёнок. А фигли ждут тогда? Почему все исследовательские (дико убыточные) подразделения до сих пор не разогнали нах?

> А новый язык для написания ОС это круто

Ты на язык посмотрело, животное?

Он заточен под возможность доказательства корректности кода (к нему ACL2 прикручен). У тебя есть то же самое, но для быдло-си или быдло-асма? А оно реально нужно, военные ссутся кипятком от радости, когда разработчики им дают гарантию надёжности.

>> Да и IT не фармацефтика - тут 20 лет ждать не станут

>Ишь какой вумный шпанёнок. А фигли ждут тогда? Почему все исследовательские (дико убыточные) подразделения до сих пор не разогнали нах?

Хоть один пример 20 летнего ресерча в IT области приведи. И так чтобы ресерчь велся все 20 лет и по только по окончанию был результат революционный результат не опоздавший на 15 лет.

>Он заточен под возможность доказательства корректности кода (к нему ACL2 прикручен). У тебя есть то же самое, но для быдло-си или быдло-асма? А оно реально нужно, военные ссутся кипятком от радости, когда разработчики им дают гарантию надёжности

Дауж аспиранты жгут - 100% тестами не могут сделать для своих кривых писюлин но гарантийны сертификат выдать могут. А тебе не кажется что доказательство корректности кода ОС будет стоит военным на несколько порядков больше чем вся ОС со 100% покрытием тестами? Им проще по старинке std-mil и ада и отлаженные годами методики.

> Хоть один пример 20 летнего ресерча в IT области приведи.

Вся история IT - пример.

XML появился через 30 лет после того, как придумали S-выражения. Сборка мусора начала промышленно применяться через 20 лет после первых языков с GC, ООП более 15 лет не признавалось индустрией, даже структурное программирование - и то, 10 лет тормозило. Учи историю.

> но гарантийны сертификат выдать могут

Читай, что такое доказательство кода, ничтожество. В основном это в железе применяют (например, ARM свои процессоры ДОКАЗЫВАЕТ, для чего и язык специальный придумали), но часто и вполне юзерский софт доказывать умудряются (e.g., система, управляющая метро в Париже).

> А тебе не кажется что доказательство корректности кода ОС будет стоит военным на несколько порядков больше

Не кажется. Тесты - дерьмо, они ничего не гарантируют.

Кстати, микроядро в QNX - доказанное. Только - ручками, а не автоматом. Это стоило ОЧЕНЬ дорого. Автоматом - дешевле, чем тесты лепить.

Ты такой вежливый...

А те, кто тявкает на настоящих людей, на героев, на первопроходцев - типа тоже вежливые? Нет уж. С мразью - на доступном мрази языке. Только так, и никак иначе!

Опять луговского выпустили...

Сам дурак