Годное расставление точек над i с ЛОРа. Поддерживаю. *1. примитивные системы типов (навроде как в хаскеле) могут отловить лишь примитивные ошибки, логика все равно тестируется. 2. тесты на логику падают на примитивных ошибках в том числе, то есть в итоге эти ошибки один хер не пропускаются и профит от системы типов в области гарантий становится де-факто сильно преувеличен. 3. Не примитивные системы типов чрезвычайно сложны в использовании, перспективы использования ЯП с подобными системами типов в качестве ЯП общего назначения - весьма смутны. Хотя, естественно, существует определенный класс задач, где этот инструмент весьма эффективен. 4. Из-за типодрочесртва CS последние десятилетия не развивается вообще никак - вместо поиска и развития альтернативных подходов легче написать диссер про никому не нужное расширение лямбда-хуямбда-омега-стрелки зигохистоморфическими препроморфизмами. Вообще, сложилось мнение, будто CS = исследования в области систем типов и больше исследовать нечего. Тупик, как есть. То есть, понятно, системы типов исследовать тупо _удобно_, но хотя бы в некоторой мере наука должна идти и от требований практики в том числе, потому что, блять, оно так всегда - полезные для практики задачи обычно неудобны. Хотя бы потому что помимо гарантии корректности у системы типов есть еще и конструктивистская функция. Но для адептов динамики это просто не понятно. Это для адептов статики непонятно, что есть и альтернативные ебле с типами подходы к разработке программ, потому что за узким статическим мирком для этих адептов жизни нет. И ты, кстати, ни о какой "конструктивистской функции" не упоминаешь - а прыгаешь по тредам, как еблан, и срешь везде на тему "но без типов даже факториала не напишешь".*

За эту ночь я влюбился в Tcl/Tk: на нем можно клепать гуйцы и вообще кодить не приходя в сознание и не читая практически ничего кроме манов по командам. Активно оборачиваю vim в тк-виджет дабы можно было юзать оный вместо стандартного text в том же ткаббере. А вот vimscript, в отличии от, вызывает рвотные позывы.

какой-то справочник по скриптовым языкам http://www.ozon.ru/context/detail/id/5285368/ . Доставляет количество языков.

Кто тыкал newlisp (такой ЛNШП для скриптокостыляния). http://www.newlisp.org/ С одной стороны там всякие удобные костылики: * функции, как списки (можно костылять самомодифицирующийся код) * специальные контексты, неймспейсы со статическим связыванием * модули * неявное индексирование: (set 'myList '(1 1 2 3 5 8 '(13 21))) (myList '(6 1)) => 21 * ну и другие плюшки для скриптописательства Однако: * Какой-то странный refcounting GC * deep copy значений при передаче * семантика cons как у list * dynamic scoping * (нет?) поддержки в SLIME * оно вообще тормозное (на уровне питуха)

люблю писать в стиле "ничего не делаю, а все есть"

Двач, у меня сейчас был первый в жизни секс с собственноручно написанным драйвером какой-то хуйни-железки под какую-то хуйню-ось. Поздравьте меня. inspired by 1,3,7-trimetilxanthine

http://we.easyelectronics.ru/kovz/ispolz.....lenie.html ШАЛЫТО ШАЛЫТО ШАЛЫТО НА C/C++ БЫДЛОХАЛТ БЫДЛОХАЛТ БЫДЛОХАЛТ АВТОМАТЫ СВИТЧ-ТЕХНОЛОГИЯ КОКОКО СТИРАЛЬНАЯ МАШИНА ПЫЩ

Пишу слой абстракц^W^Wблевотный бойлерплейт для прикручивания lwIP к MQX, чувствую себя явамартышкой и байтоебом одновременно.

Зашел в соседний отдел, там сидят одни программисты, хоть и эмбедщики вроде (пишут под эмбедед-прыщи). Задача: прошить загрузчик в девайс через JTAG. Есть собственно девайс, программатор (какая-то уебищная самоделка на FT2232, оборудованная пачкой светодиодов и спаянная левой пяткой), прога для прошивки под венду (тоже вроде самоделка). Программатор и прогу делал один и тот же чел, девайс проектировал он же, но это к делу не относится. Эта операция успешно проделывалась много раз с этим набором барахла. Итак, что же я увидел: плата, в нее воткнут чудо-жтаг, на компе заущена прога, в ней потихоньку идут звездочки, якобы что-то прошивается. Выше звездочек - инфа о детекте флеша, все числа - FF'ки. Прошивка вроде завершается, верификация фейлится на первом же байте: прочитан FF вместо чего-то разумного. Что делают программисты: создают файл размером 100 байт из рандомного хлама и начинают ПЕРЕБИРАТЬ СТАРТОВЫЕ АДРЕСА, с которых прошивать этот файл, авось что-нибудь куда-нибудь да прошьется. Я параллельно занимаюсь своим делом, слежу краем глаза. После ШЕСТОЙ НЕУДАЧНОЙ ИТЕРАЦИИ они начали думать, что бы еще такого сделать. Обращаю их внимание на то, что в проге всюду одни FF'ки, на чудо-жтаге из шести светодиодов активность проявляет только питание, вбрасываю идею выдернуть нахуй жтаг из девайса и попробовать прошить. Выдергиваем. В проге бегут звездочки! Ликую. Предлагаю потыкать в жтаг осцилом штоб узнать, жив ли он вообще. Мне отвечают "Ты что! Мы же программисты! Это не наш метод!" и продолжают перебирать стартовые адреса и совершать прочие странные телодвижения, ожидая ответа от разработчика чудо-жтага, который не пашет, и чудо-проги, которой вообще похуй, девайс у нее там или деревянный брусок. Мне этот цирк с конями надоел, я сделал фейспалм и ушел.

Ничего не понимаю. И это программисты. Говно какое-то. Пидоры, блядь. Блядь, Шейнфинкель с Карри им дали комбинаторы. Комбинируй, комбинируй комбинаторы, блядь, "не хочу! хочу жрать говно!" Что такое? Это программирование? Это программирование? Суки. Мудачьё. Программисты. SCIP прочитали. Говно жрут. Придоры блядь ёбаные.

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

Железка и правда крутилась на половинной частоте: протыкал все подряд осцилом, прочитал и сверил с даташитом инициализацию из BSP, подумал, посверлил проц взглядом, еще подумал, выдернул нахуй программатор, все запахало, лол. Скорость флуда по езернету поднялась в два раза. Все равно мало. "Хм" подумал я, ткнулся осцилом в эзернет. Сплошная стена болтовни, канал не простаивает, все клево, вот только несущая нихера не похожа на 100 мбит. Кажется, сраная физика ниасиливает зделать auto-negotiate с китайским свитчом, а при взгляде в сорцы драйвера, иных вариантов не обнаружилось. Обмазываюсь даташитом и дописываю драйвер.

Разобрался таки с MQX. Запилил простенький бенчмарк RTCS TCP/IP-стека: по TCP выдает полтора мегабита, чота маловато. Алсо, у меня вообще подозрение, что камень крутится на половинной частоте: уарт, работающий системной консолью вместо прописанных в BSP 115200 болтает на 57600 и _time_delay(1000) делает задержку в две секунды вместо одной, дерганье переключалок на борде в разные стороны не меняет вообще ничего, прозреваю баг в оном BSP, надо будет потыкать чем-нибудь штоле. Пора домой.

Задача: пишу мейкфайл, есть директория, в ней кучка поддиректорий. Нужно запихнуть в переменную все поддиректории, кроме некоторых. Пока родил такой вот отвратительный пиздец: DIR_NOT_NEEDED = bsp eds edserial include profile psp DIR = $(foreach d, $(filter-out $(DIR_NOT_NEEDED), $(notdir $(wildcard $(MQX_SRC_PATH)/*))), $(MQX_SRC_PATH)/$(d)) Я совсем упорок или это ок? :3

Есть битмап из черных и белых точек. Надо оставить на нем только связанные области, состоящие из менее чем k точек. Пока придумал алгоритм за два прохода чуть более чем по O(n²) каждый (первый проход нумерует точки в каждой связной области слева направо сверху вниз, второй соответственно удаляет в обратном порядке), можно ли быстрее? Интерес чисто теоретический, j4f.

Разыскивается книга: Curt Schimmel. Unix® Systems for Modern Architectures: Symmetric Multiprocessing and Caching for Kernel Programmers. Addison-Wesley Professional, 1994 Гуглил, искал на thepiratebay, rutracker, paperc.de, books.google.com — нету (на гуглокнигах есть только сниппет, всю книгу посмотреть нельзя). Если кто знает, где скачать или хотя бы почитать онлайн — откликнитесь, пожалуйста!

новый стандарт плюсов принят! ура товарищи!!