LINUX.ORG.RU

Сообщения x4DA

 

Theorem Proving System

Кто-нибудь пытался собрать Theorem Proving System, которая написана на CL?

Сайт TPS

CMUCL пишет такую ерунду:

(EXPORT (P HELP S OK R ...) <br> #<The CORE package, 7/21 internal, 7/9 external>)
Source: Error finding source:
Error in function DEBUG::GET-FILE-TOP-LEVEL-FORM:
Source file no longer exists:
target:code/package.lisp.

x4DA
()

[Наука]

 

Что делать, если я хочу заниматься наукой, но учусь в отраслевом вузе на 4-ом курсе, где никакой computer science и не пахнет?

Варианты вдоль и поперек просьба не предлагать;)

x4DA
()

Просыпание. Как бороться?

Постоянно все просыпаю. Сегодня вот проспал экзамен в ГАИ.
Просплю лишних 3-4 часа - день кажется потерянным. Настроения нет никакого.

Кто как борется?

x4DA
()

Java, ORM

Какое существует простое решение? (Компонент?)

Методу передается класс-модель, а на выходе - SQL код, для добавления, удаления, модификации объекта в БД.

(я думаю получение списка полей на осуществляется основе рефлексии и Java Beans) ?

x4DA
()

gnus+usenet

Как нормально заюзать gnus для чтении новостей usenet'a через eternal-september.org?

x4DA
()

Системный анализ

[Универ] Предложили бакалавриат (4 семестра) - системный анализ.

Расскажите что за штука?
Пригодится?
Стоит ли игра свеч?

x4DA
()

Работа в Европе

Добрый день!

Собственно вопрос к программистам, работающим (работавшим) в Европах. Какие там возможности? Зарплаты? Какой уровень требования к кандидатам? Какие специализации наиболее востребованы? Как вообще вам там живется?

x4DA
()

Код ZFS перенесен в ядро NetBSD

 , ,

Группа BSD

В рассылке NetBSD tech-kernel появилось письмо, в котором сообщается, что у разработчика Adam Hamsik получилось перенести код файловой системы ZFS (доступной под лицензией CDDL) из OpenSolaris в ядро NetBSD.

У него получилось собрать код с применением некоторых патчей, которые должны быть рассмотрены сообществом более тщательно.

Однако автор просит пока воздержаться от использования/сборки ядра NetBSD с кодом ZFS.

>>> Ссылка на письмо (nabble.com)

x4DA
()

Vmware вечером, когда делать нечего

debian sid+openbox+tint+conky+amarok. настроил xxkb чтобы у каждого окна был свой язык для ввода.

Пока каникулы, нетеропясь мучаю свой Samsung wimax swc-200. Хочу заставить его работать под NetBSD.

Нужный USB-device без проблем прокидывается вмварой внтурь и там хватается моим драйвером. (Собственно ничего больше не сделал, впереди таинственный мир USB =) )

Вот остальном все стандартно.

x4DA
()

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