LINUX.ORG.RU

Избранные сообщения mtk

Допилил unitybar

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

Именно так в итоге я назвал свой гибрид тасклиста с тэглистом. Интересующимся копаться до просветления, конкретно в файлах topjets/unitybar.lua и statusbar.lua. Эксперимент лично для меня оказался удачным, привык очень быстро; теперь экономится чуть места по вертикали, и еще удобно сразу видеть что на каком теге запущено.

Также благодарность TODD за предоставленный им настольный виджет для плеера. Я пока прилепил его к своему локальному awesompd, но когда дотестирую - отправлю в апстрим.

Скриншот с окнами (постановочный, окна обычно во весь экран).

>>> Просмотр (1366x768, 1283 Kb)

 , vertical

unlog1c
()

Что посоветуете для изучения андроида?

Форум — Mobile

Доброго времени суток

Посоветуйте что-нибудь для изучения ведроида. Например, прочитать книгу А или установить альтернативную прошивку Б, которая известна хорошей документацией. Например, в изучении линукса мне помогли статьи Федорчука, курс на интуите и самостоятельная сборка LFS. Например, возможно ли скомпилировать и переустановить часть андроида?

Я понимаю что андроид работает на ядре linux, но так же понимаю что весь софт запускается в виртуальных машинах дальвика ( java ) и с дистрибутивами линукса имеет мало общего. И время от времени у меня появляются вопросы, при решении которых я не могу опереться на свой опыт работы с линуксом, потому что в андроиде он почти бесполезен.

Хотелось бы видеть свой планшет рабочим инструментом, а не чёрным ящиком от гугла.

 , ,

router
()

Гномопакеты

Форум — Talks

Как хорошо ноутбуку проснуться после суспенда вечерним утром. Загорается KDM, приветливо мигая курсором в строке ввода пароля для юзера. Несколько секунд томительного ожидания, предвкушение новой солнечной ночи с любимым арчем - и вот передо мною уже открывается двухколейная железная дорога с обоев, убегающая в неведомые дали... Старый товарищ, Kwallet, просит пароль. Что-ж - я не могу заставлять его ждать, и удовлетворяю его желание. Одно за другим, неспеша, открываются приложения из автозапуска. Всё оживает, приходит в движение, трей наполняется индикаторами, над курсором запрыгал значок Firefox... Всё живёт. Но почему я печален? Что за тревога беспокоит меня? Что-то изменилось. Я ещё не понимаю что; лишь ощущаю это, каким-то внутренним шестым чувством. Хочется избавиться от тревоги, забыть её, ведь всё в порядке. F1, yakuake, 'pacman -Syu'... На лбу выступает холодный пот, красноватые глаза становятся по-настоящему красными. Мне не показалось. В списке пакетов для обновления я замечаю 'gnome-icon-the...', '3.10...', ещё что-то лишнее, выделяющееся, вопиюще безобразное. Я чувствую, что через мгновение потеряю сознание, земля уходит у меня из под ног. Я в панике озираюсь по комнате, но что это - из-за мебели, из приоткрытой двери, со всех сторон я чувствую на себе пристальный взгляд... Взгляды десятков, сотен маленьких глаз пакетов от гнома. Боковым зрением замечаю крошечный гномопакет, который юркнул из-за тумбочки прямо под стол. Моё сердце бешено колотится, в ушах стучит. Я слабею, не могу больше выдерживать взгляд сотен этих маленьких глаз гномопакетов. За мгновение ещё несколько гномопакетиков прыгают в ноутбук, и я, держа пальцы на клавиатуре, буквально чувствую, как вместе с электронами гномопакетики проникают в мою систему. Я слышу вокруг какофонию из перешёптований и шорохов, и коротеньких глухих шажков сотен гномопакетов... Они окружают меня. Они лезут в стенах, по стенам, по потолку, по проводам, уже цепляются за стол... Счёт идёт на секунды. В висках стучит, трудно дышать. Трясущимися руками я хватаю флешку - я знал, что рано или поздно это всё должно случиться. Там уже записан свежий образ арча. Сердце буквально вырывается из груди, в глазах начинает темнеть, я уже сам не понимаю, что кричу и плачу во весь голос. Меня колотит, я почти не контролирую себя, я вижу как гномопакеты уже десятками запрыгивают в ноутбук, ползут с электронами, и захыватывают мой /... Чудом мне удаётся вставить флешку, заодно сбросив с края стола несколько гномопакетов, уже готовых взобраться на него и броситься в мой /. Нет времени на аккуратность - зажимаю кнопку выключения, зажмуриваюсь... Тишина. Робко приоткрываю один глаз - гномопакеты вокруг меня исчезли. Но они не обманут меня, я знаю, что не меньше сотни их уже залезла в мой /. Главное, что я выдержал их волну. У меня есть передышка. Сейчас я загружусь с флешки, и уничтожу грязное старое, уничтожу этих маленьких пакетотварей, осквернивших мой храм... И завтра загрузится другой арч - свежий и чистый, как утренняя роса, и ни одного gnome-пакета при обновлении. В этот раз я устоял. Но они придут ещё. Они ещё вернутся, вернутся...

 ,

evilmanul
()

как избавиться от libtool не избавляясь от automake?

Форум — Development

всем привет.

в первую очередь, попрошу фанатов cmake покинуть помещение, за исключением тех кто разбирается в предмете, и может сообщить что-то по теме. промахнувшихся темой буду нещадно френдить.

теперь, собственно, описание проблемы.

есть automake, есть много Makefile.am, в которых делается что-то вроде такого:

pkglib_LTLIBRARIES = mylibrary.la
mylibrary_la_SOURCES = mylibrary.c
mylibrary_la_LDFLAGS = -module

соответственно, для таких модулей будет использоваться libtool, который

  • сгенерирует огромную кучу всяких файлов, типа .la, .lo, .lai, .Plo
  • при сборке будет автоматически использоваться libtool при подключении чужих библиотек, используя .la файлы в /usr/lib например
  • помимо mylibrary.so, будут сгенерированы mylibrary.so.0.0.0 и mylibrary.so.0, и засимлинканы друг на друга
  • при попытке кросскомпилить, или использовать не-системные версии библиотек при сборке, libtool ведет себя совершенно непредсказуемо, выдает бредовые ошибки, использует не те библиотеки которые ему сказано, и вообще говно.
  • .la файлы будут включены в install target, и создадут бесполезный мусор в /usr/lib
  • сборка статического билда очень усложняется, т.к. неизвестно, увидел ли libtool именно нужную библиотеку, или слинковался с системной (а это он умеет)
  • к библиотекам неявно прилинковывается всякий шлак, который добавляется по типу исходника — например, при сборке .cpp файлов автоматом к линку добавляется всякий libstdc++ и libgcc_s, даже если он не нужен, т.е. в скрипте libtool (некоторых версиях) можно увидеть добавление вот таких аргументов к командной строке "-lstdc++ -lm -lgcc_s -lc -lgcc_s", gcc_s 2 раза видимо для надежности.

короче, предполагается, что целевая аудитория данного треда в курсе о чем речь :)

ну и собсно, финальный вопрос. есть ли в природе какие-то альтернативные automake macros, чтобы вообще совсем навсегда избавиться от libtool?

что от макроса(-ов) требуется:

  • компилить .so, как с префиксом «lib», так и без него, т.е. как в libtool с -module
  • чтобы указание -lname линковало только libname.so из -L (с соблюдением стандартного search order), и всегда игнорировало .la файлы в $LIBDIR
  • чтобы никаких la файлов и versioned so не создавалось (опциональная возможность versioning приветствуется)
  • чтобы сборка работала на linux/win/osx/bsd (через gcc/llvmgcc)

понимаю, что вменяемого способа решить эту проблему может и не быть, поэтому предложения полной смены билд системы тоже приветствуются. но альтернативная система не должна требовать установки ничего кроме make+coreutils у юзера, и должна быть не хуже autotools по фичам — т.е. уметь make distcheck, make install/uninstall, использовать configure, и всякие подобные штуки (в связи с чем предлагателей cmake, опять же, попрошу не обращаться).

например, кто-то смотрел что используется в ffmpeg? там что-то свое, или у него есть сайт?

 , ,

waker
()

Что за железо и софт внутри принтера?

Форум — Talks

Вот есть у меня струйный принтер. Подключается к компьютеру как через USB, так и через Wi-Fi. Есть небольшой дисплей с менюшкой и кнопками для навигации по этой менюшке. Оттуда можно запустить копирование со встроенного сканера, там же можно печатать мелочи типа календарика или сеточки а-ля тетрадка. Есть встроенный веб-сервер, правда печатать оттуда нельзя, но можно сканировать и менять настройки принтера.

И вот стало любопытно, а что за железо там внутри? Микроконтроллер будет слабоват, в первую очередь для вайфая, а MIPS SoC наоборот слишком жирно. Плюс во втором случае наверняка бы там стоял Linux или VxWorks, но никаких следов оных я не нашел. Кто-нибудь копался в подобных аппаратах? Что за железо там внутри? Что за софт?

Кстати, раз уж такая пьянка пошла, не очень понимаю, как правильно заправлять картриджи шприцем. Вроде бы губка полная, т.е. стоит немного залить краски с одной стороны как тут же начинает вытекать с другой. Однако после установки картриджа принтер печатает только несколько страницу, после чего идут белые листы. Достаю обратно картридж, для эксперимента ставлю его на тряпочку и замечаю, что из него вообще ничего не вытекает! Опять беру шприц, опять заливаю краску с одной стороны и опять начинает вытекать с другой. ЧЯДНТ?

 , ,

h31
()

Дерево ядра линукса, Linux kernel map

Форум — General

Куплено у еврея за 4 доллара.

http://www.makelinux.net/kernel_map/

Выкладываю на скачивание.

https://www.dropbox.com/s/kfkne3cky8f4006/LKM.pdf

 ,

shgurbanov
()

10 причин почему программист на С++ может выбить много денег

Форум — Development

Список в конце поста написан Лавсаном 2 года назад. (2011-03-23 19:56:00) (источник)
Надеюсь, автор не подаст жалобу в Роспатент за перепечатку :-)
Кстати, sudo cast lovesan.

Чтобы проверить актуальность вопроса, всю последнюю неделю я долго и нудно использовал этот список в дискуссиях. Чтобы разобрать отдельные пункты отдельно.

Временное резюме: С++ всё еще актуален по историческим причинам. Еще есть мобилки (sudo cast mono), гиперкластеры для шиндовс 3.11 (sudo cast vromanov) и базы данных. Т.к. он актуален, но не предназначен ни для чего (см. выводы в конце списка) новых специалистов по нему должно быть мало. Маленькая конкуренция на огромной области применения — огромное лавэ $$$. Вот это и есть истинная причина использовать кресты — возможность срубить €€€.

Честно говоря, «хитрый план» мне уже очень надоел, поэтому пора открыть карты.

Заодним, крестопоклонники смогут выйти на последний и решительный бой, т.к. сегодня пятница и вечером будет время пообщаться. Поклонникам мамкиного борща тоже наверняка есть что добавить, конструктивно и аргументированно.

Вот этот список:

  1. Вырвиглазный синтаксис и контекстно-зависимая грамматика
    • медленная компиляция
    • частые «internal error» в компиляторах
    • код плохо читается и его сложно поддерживать
    • разбор кода различными инструментами, вроде IDE, и его генерация - сильно затруднены
  2. ручное управление памятью
    • неудобства при работе с динамической памятью
    • утечки памяти
    • висячие ссылки
    • сегфолты
    • стандартные средства, как то malloc/new, работают медленно
    • фрагментация кучи
    • велосипедные аллокаторы на каждом шагу
      • которые далеко не факт что эффективнее malloc/new

    • велосипедные счетчики ссылок на каждом шагу, опять же
      • медленная работа
      • перерасход по памяти

    • отладка затруднена
    • написание GC, по факту, невозможно, отчасти из-за (5), (7) и (8)
  3. Никакого ABI
  4. Нестандартизированный и непредсказумый name mangling
  5. Дублирование функционала Си
    • сами фичи из Си никуда не деваются при этом
      • отчасти из-за того, что по функционалу превосходят аналоги из C++

    • запутывает новичков
    • malloc - new/new[], free - delete/delete[]
    • препроцессор - шаблоны
    • указатели - ссылки
      • ссылка не может быть NULL, что способствует появлению висячих ссылок и сегфолтов

    • структуры - классы
    • stdio - iostream
  6. Стандартная библиотека убога
    • Отсутствует даже такой функционал, как вменяемая работа со строками и многомерные массивы
      • Юникод?

  7. Слабая типизация
    • способствует ошибкам
    • затрудняет отладку
    • const не дает абсолютно никаких гарантий
    • при этом система типов невероятно переусложенена
      • в основном из-за пунктов (2), (5) и (9)
      • медленная компиляция
      • частые внутренние ошибки в компиляторах

  8. объектая система убога
    • практически никакой интроспекции
      • отладка затруднена
    • передача объектов по значению
      • понятие идентичности объекта теряет смысл
      • добавляет сложностей в управлении памятью
      • добавляет сложностей при отладке
      • используется часто, по причине (2)
        • перерасход по памяти
        • медленная работа

    • множественное наследование неудобно в использовании
      • проблема ромба по дефолту не разрешается никак

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

    • деструктор можно вызывать до выхода из блока кода, или до delete
      • гарантированная утечка ресурсов/сегфлот
      • это не предотвратить никак, деструктор обязан быть public

    • одиночная диспетчеризация
      • виртуальные методы в конструкторах не работают
      • реализована убого
        • pure virtual function call
        • сложности в случае с множественным наследованием
        • деструкторы обязаны быть виртуальными
          • по дефолту - не виртуальные

        • никаких интерфейсов, только классы

    • порядок инициализации статических членов классов не определен
    • private, public и protected не дают никаких гарантий сокрытия данных
      • к инкапсуляции же не относятся совершенно никак

    • отсутствие «свойств»
      • вынуждает городить getter'ы и setter'ы
        • раздувание кода
        • размывание интерфейса класса

    • неявно генерирумые конструкторы, деструкторы и операторы присваивания
    • «friend» нарушают инкапсуляцию
  9. шаблоны
    • очень сильно замедляют компиляцию
    • раздувание кода
    • обфускация кода
    • результат раскрытия плохо предсказуем
    • сложности в отладке
      • километровые и плохо читаемые сообщения об ошибках при компиляции

    • нарушают инкапсуляцию
      • обязаны содержать реализацию в заголовочных файлах

    • позволяют генерировать некорректный код
  10. исключения
    • отсутствие finally/unwind-protect
      • заставляет городить классы ради одних деструкторов
        • раздувание кода
        • медленная компиляция
        • медленная работа

    • конфликтуют с другими возможностями языка
      • конструкторы/деструкторы
      • ручное управление памятью

    • работают медленно
    • малофункциональны (ср. CL condition system)

По причинам 3, 4, 5, 9 и 10 C++ совершенно неприменим для системного и низкоуровневого программирования. А по причинами 1, 2, 5, 6, 7, 8, и, опять же, 9 и 10 - и для прикладного.

У C++ нет области применения.

stevejobs
()

А как же процессор понимает себя.

Форум — Talks

Вдруг стало интересно. Как всё таки процессорам, после их изготовления объясняют, что например команда PUSH это именно такой набор единиц и нулей. Где это всё хранится? И как всё это работает? Статьи на тему того как изготавливаются процессоры я читал, но ответа на вопрос каким же образом в них «зашивают» определенные команды так и не нашёл. Так как же они понимают нас?

 ,

Mr_Jke
()

Разрезать CUE на FLAC

Форум — Multimedia

К сожалению, некоторые альбомы некоторых исполнителей у меня не получается найти в виде нормальных отдельных FLAC-файлов (а lossless послушать таки хочется), а телефон жрать cue отказывается, да и вообще я считаю, что такой формат зло. Чем под Linux можно качественно порезать flac на отдельные треки?

И кто вообще придумал этот cue?

KivApple
()

Делимся интересными курсами на Coursera

Форум — Talks

Скидывайте сюда название курсов, о чем они были и что вам понравилось

 

vertexua
()

доведенный до ума less

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

давеча выдались свободные минутки, наконец-то доконфигурировал less до приемлемого состояния, когда им можно заменить дефолтный просмотрщик в mc.

что сделано:

  • написан фильтр для LESSOPEN - http://pastebin.com/keGVyn6S
  • выставлены нормальные дефолтные аргументы
    LESSHISTFILE=-
    LESS=-cRSM~#1PMФайл\: ?f%F:stdin. | Строки\: %lt-%lB?L/%L. ?PB(%PB\%) .| Страница\: %d?L/%D.
    
  • добавлены пара кейбиндингов для разных удобств, типа переключения режима переноса строк и показа номеров строк
     \e\e    quit
    ^[[19~  toggle-option N
    ^[OQ    toggle-option S
    
    эта гадость скармливается lesskey
  • чтобы не портилась статусная строка у man был сделан алиас для zsh - alias man='nocorrect LESS= man'
  • ну и напоследок - убрана галка «использовать встроенный просмотр» в mc

внутренний перфекционист жутко протестовал против коряво-обрезанной нижней строки в less, потому его (less, а не внутреннего перфекциониста) пришлось малось пропатчить

--- less-458/command.c.orig	2013-04-04 19:55:05.000000000 +0300
+++ less-458/command.c	2013-11-01 10:40:03.189045787 +0200
@@ -741,14 +741,19 @@
 	if (is_filtering())
 		putstr("& ");
 	if (p == NULL || *p == '\0')
+	{
 		putchr(':');
+		clear_eol();
+	}
 	else
 	{
+		int i;
+		char *ptr;
 		at_enter(AT_STANDOUT);
 		putstr(p);
+		clear_eol();
 		at_exit();
 	}
-	clear_eol();
 }
 
 /*

пока результатом доволен

>>> Просмотр (1024x600, 24 Kb)

 

ananas
()

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

Форум — Talks

Посоветуйте сайт с сабжем.

Геймификация, автоматическое тестирование для популярных языков, адекватная система классификации задач всячески приветствуется.

Tweaker
()

Жизнь во Framebufer'е

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

Очень долгое время работал я в FVWM, и не то что конфигурацию - даже скриншот не думал менять. Браузером и почтовиком при этом служила мне Opera.
Но стоило мне начать активно использовать suspend-to-disk, (как он правильно называется я уж и не помню, так как давно настроил его на кнопку выключения питания на системном блоке) как оказалось что в Икс'вых приложениях память с течением времени куда-то убегает. Опера только на старте ест 200 Мб с моим набором не закрываемых вкладок, а памяти у меня всего 768 Мб. Кто-то скажет, что за 8 лет пора бы машине и апгрейд сделать, но я думаю что мне и самому хочется писать приложения бережно относящимся к ресурсам компьютера, а не уходить по пути растраты, который взяли большинство программ сегодня.
И начал уходить я под Новый год во Framebuffer. Directfb в Ubuntu уже был, вручную собрал XDirectFB, links с поддержкой графического режима (с выводом в directfb).
Казалось бы XDirectFB не нужен если есть X, но он обладает важным преимуществом - запускает X'сы без прав суперпользователя прямо на той консоли с которой был произведён запуск (а не на 7-й или 8-й консоли). Из минусов - почему-то падает после настройки с работой с X font server'ом при запусках приложений вроде xcalc или того же fvwm. Но разработчикам сообщено, даст Бог - исправят.

Итак теперь screen встал у меня на службу для увеличения количества консолей.
vim остался текстовым редактором.
mutt - мой новый почтовик (есть на скрине), отлично справляется с годовой почтой в 3000 сообщений на 300 Мб, быстро стартует и завершает работу. Чего не скажешь об Опере.
links - в том числе это сообщение отправлено из links в текстовом режиме. Однако, если хочется посмотреть картинки, я настроил букву «l» на запуск текущей странице в том же links но графическом, ну а если и флеш хочется видеть, то есть клавиша «k», которая запускает XDirectFB с chromium на той же странице. На скриншоте можно найти уменьшенные скрины одной из страниц LOR'а во всех трёх режимах.

Впрочем о последнем хотелось бы сказать подробнее. Дело в том, что не стартует DirectFB сам из под виртуального терминала screen. Поэтому пришлось малость изголится со скриптами, которые делают detach screen запускают нужную команду и по завершении графического приложения возвращают управление screen.
Задача скриптов этих была бы простой если бы DirectFB запускался хотя бы из произвольного скрипта, так нет максимум он запускается из скрипта запущенного командой вроде ". <имя-скрипта>".

Но зато теперь я доволен. Определившись с браузером и почтовиком я также открыл для себя просмотрщик fbi - отличная вещь, открывает картинки очень быстро, позволяет их и листать и поворачивать. И даже огромное изображение 14720x10800 открывает без лишнего шума и качественно масштабирует. На скриншоте - информация о фотографии с пингвином - это и есть скриншот fbi.

fbgs - вполне себе годный скрипт для просмотра pdf с помощью того же fbi.

mplayer - работает так как надо с опциями «mplayer -autosync 30 -fs -vo fbdev -zoom -xy 1024».

Скриншоты сделаны утилитой fbgrab.

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

Вот такая жизнь во фреймбуфере. Вот такой вот новый год.

>>> Просмотр (1024x768, 534 Kb)

 , , , ,

unDEFER
()

Adroid подбор софта и советы

Форум — Talks

Привет. Кому читать лень , сразу напишите софт каким пользуютесь под android.

Вчера прилитела моя моторолка , покрутил в руках полностью оправдала мои ожидания. Теперь осталось определиться с софтом, до этого юзал и планшеты и Китайские телефоны на андроиде но особо с софтом не заморачивался на планшеты игры,телефон сугубо как звонилку.

Требуется мессенджер xmpp с частичным функционалом psi понимаю что на андроиде весь функционал psi требовать глупо, из основного желательно поддержка gpg,otr,нормальная поддержка хистори в отдельных файлах для переноса и синхронизации,поддержка нескольких аккаунтов,jingle по возможности но не обезательно. Jasmine_IM и ещё пару смотрел , все уг

Записная книжка, на компе mars notebook юзаю, что то с подобным функционалом нужно

Todo+ календарик

Vpn клиент и прокси клиент типа Proxifier хотя не думаю что даже с минимальным функционалом есть.

Браузер какой под андроид юзать ? Слышал что опера хреновенькая на андроиде.Ucbrowser ?

Читалка для книг txt,pdf

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

q9
()

Numix-Dark

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

ASUS K46CM / Ubuntu 13.04 / Openbox / tint2

GTK: Numix (модифицирована)
Openbox: Несколько значков
Sublime: Soda UI Theme
Firefox: FXChrome (модифицирована)
Шрифт: Самопальный (А почему радуга на панели?)
Обоина: Stupid Fox
compton -r 12 -t-12 -l-18 -o.5 -z -c --vsync opengl

Три картинки (1366x1638, 851 Kb)

>>> Просмотр (1366x768, 302 Kb)

 , , , stupid fox,

zezic
()

Лучшие игры на андроиде

Форум — Games

Вайс сити таки завелась, чему я люто обрадовался и даже,

на удивление,

неплохое управление.

Итак, вот список моих игр: radiant defense, solar 2. angry birds space, chess free, defense zone.

darkenshvein
()

Какое же говнище этот ваш С++

Форум — Development

Решил намедни углубить свои знания по плюсам, чувствуя, что скоро нехило так потребуются по работе. Теперь сижу, обмазываюсь тут всякими трупами страусов, Скоттом Майерсом и другими. Г-пди, как же можно на этом писать, особенно после знания божественных лиспов, хаскелей и прочих матанских агд (sic!). Это какая-то пытка, честное слово, мне натурально мерзко и противно читать как люди пытаются вырезать гланды через задний проход да ещё и хвалятся этим, поглядите, мол, как это круто. Такое ощущение, будто плюсисты все поголовно латентные мазохисты.

template <typename T>
class Rational
{
    public:
    ...
    friend const Rational operator*(const Rational& lhs, const Rational& rhs)
    {
        return Rational(lhs.numerator() * rhs.numerator(), // same impl
            lhs.denominator() * rhs.denominator()); // as in Item 24
    }
}

An interesting observation about this technique is that the use of friendship has nothing to do with a need to access non-public parts of the class. In order to make type conversions possible on all arguments, we need a non-member function (Item 24 still applies); and in order to have the proper function automatically instantiated, we need to declare the function inside the class. The only way to declare a non-member function inside a class is to make it a friend. So that's what we do. Unconventional? Yes. Effective? Without a doubt.

Нафиг так жить, почему нельзя всё было сделать по-человечески, как в нормальных языках? Ненавижу страуса, ненавижу плюсы, ненавижу тех идиотов, которые упорно продолжают куда ни попадя совать этот мёртвородженный язычок. И ниасилил, да.

Перемещено mono из talks

 

mix_mix
()

Курс лекций «Автоматическое доказательство теорем»

Новости — Конференции и встречи
Группа Конференции и встречи

С 28 сентября Джон Харрисон прочитает серию лекций об автоматическом доказательстве теорем:

  • Background, history and propositional logic.
  • First-order logic with and without equality.
  • Decidable problems in logic and algebra.
  • Interactive theorem proving and proof-checking.
  • Applications to mathematics and computer verification.

Лекции будут проходить в ПОМИ РАН (Санкт-Петербург, наб. р. Фонтанки, 27), Мраморный зал, второй этаж.

Слайды, видеозаписи и другие материалы лекций будут доступны для всех желающих на странице курса.

Клуб открыт абсолютно для всех: вход свободный, лекции бесплатные, никакой предварительной регистрации не требуется.

Профессор Харрисон занимается формальной верификацией в компании Intel Corporation. Его основной специализацией является верификация алгоритмов, работающих с числами с плавающей точкой.

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

 ,

ymn
()

Киев - Сишник под свитчи (Embedded C Developer) - $2200 - $2500

Форум — Job

Сплоченная израильская команда ищет молчаливого разработчика на Сях не ниже уровня Middle. Город - Киев. Продукт - активное сетевое оборудование. Вознаграждение - достойное, но не так шоб слишком. Офис чистенький и приятненький. Печенюшка и кофейок организованы. Метро Голосеевская гулять пешком недолго.

Взамен требуется:

Знать на отличненько ANSI C, Embedded programming; Быть хорошо знакомым с L2/L3 протоколами (ARP, STP, IGMP, Radius...); Без Linux и VxWorks у нас делать нечего; Уметь общаться надо на хорошем английском (читать, писать, говорить). Условия:

Работа с качественным продуктом; Стабильный высокий зароботок без задержек ( 2200-2500 у. е. ); Командировки - возможность посетить Иерусалим и Хайфу :) Отпуск - не меньше 24-х таки рабочих дней. Резюме отправляем на v.mameshyn@hex.kiev.ua

 , , , ,

imvimm
()

DWA 125

Форум — Linux-hardware

Debian Wheezy;

Вначале пытался поставить как написано в DebianWiki. Не пошло.

Скачал исходники ядра.

Скачал исходники с D-Link но при компиляции вылетает ошибка:

Подбираю неудачно завершившегося потомка 0x08a67190 PID 6193

make[4]: ***[/home/ekso/Downloads/2009_1204_RT3070_Linux_STA_v2.1.2.0/os/linux/../../common/rtmp_init.o] Ошибка 1 Removing child 0x08a67190 PID 6193 from chain. Подбираю неудачно завершившегося потомка 0x082f2a10 PID 6141

make[3]: *** [_module_/home/ekso/Downloads/2009_1204_RT3070_Linux_STA_v2.1.2.0/os/linux] Ошибка 2 Removing child 0x082f2a10 PID 6141 from chain. Подбираю неудачно завершившегося потомка 0x09676e40 PID 5987

make[2]: *** [sub-make] Ошибка 2 Removing child 0x09676e40 PID 5987 from chain. Подбираю неудачно завершившегося потомка 0x08d569f0 PID 5984

make[1]: *** [all] Ошибка 2 Removing child 0x08d569f0 PID 5984 from chain. make[1]: Leaving directory `/usr/src/linux-headers-3.1.0-1-686-pae' Подбираю неудачно завершившегося потомка 0x0834c340 PID 5983 make: *** [LINUX] Ошибка 2 Removing child 0x0834c340 PID 5983 from chain.

Гуглил, но решений не нашел. Кто знает, куда копать??? Спасибо!

ekso
()