Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:

"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."

и

"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."

как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(

пиздос уязвимость
http://secunia.com/multiple_browsers_window_injection_vulnerability_test/

(не могу молчать типа - парсил мыло, натолкнулся)

Сколько нужно кода, чтобы написать один пробел?
Вот как это делает MS Outlook.

<p class=MsoNormal><font size=2 color=black face=Arial><span style='font-size:
10.0pt;font-family:Arial;color:black'><o:p> </o:p></span></font></p>

// wish you happy debugging. part 2
void swap(int &a, int &b)
{
a *= 2;
b *= 4;
}

[11:32] ОНО: пипл, дайте ай-пи какого-нить лоха!!
[11:32] Кто-то: 127.0.0.1
[11:32] ОНО: пасиба!
[11:32] ОНО: щас он подохнет
[11:32] ** ОНО вышло из чата

Компьютерный термин "master/slave" признан самым неполиткорректным выражением 2004 года
http://www.cnews.ru/newsline/index.shtml?2004/12/06/169603

// Wish you happy debugging
#define i j

http://oskin.ru/pics/tech_support.wmv
будни саппорта /4,5Мб/

local \\wagner\Video\tech_support.wmv

Раз, два, три, четыре, пять -
Я иду свой баг искать!

http://bugtraq.ru/rsn/archive/2004/11/05.html
ОС в 3,5 килобайт кода.

(сочинение 7-летнего Тараса по теме «Кем я хочу стать когда я буду большим»)

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

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

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

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

Еще мне нравитса зарплата, которую программисты получают. Они получают столько денег, что не успевают их все тратить. Это происходит потому, что все считают работу программиста трудной, кроме программистов, которые знают, как это просто.

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

Надеюсь, что у меня нет аллергии на офисную пыль, потому что на нашу собаку у меня аллергия. Eсли у меня будет аллергия на офисную пыль, программиста из меня не получится и придется искать настоящую работу.

http://brainhaze.blogspot.com/2004/11/blog-post_23.html

если интересно - есть вакансия старшего сисадмина в Free Software Foundation
требования и зарплата - по ссылке
http://www.fsf.org/jobs/fsf-sysadmin.html
интересно, на каком уровне можно жить на эти деньги...

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



Опытный программист профессионально устранит баги в коде инициализации Вашей переменной и присвоения ей целочисленного значения. Возможна накопительная скидка при дополнительном заказе на обработку массива....

Опытный бета-тестер профессионально протестирует верно ли инициализированна ваша переменная требуемым целочисленным значением под любой операционной системой с любыми параллельно запущенными задачи на оборудовании заказчика. При работе с массивами оплата возрастает на 10%.

Опытный архитектор профессионально спроектирует приложение по присваиванию значения целочисленной переменной и поможет выбрать удобный диапазон значений. Проектирование инициализации массивов - со скидкой. Использование UML - по договоренности (возможны диаграммы как use-case, так и state/activity и static-structure)

Опытный менеджер предлагает услуги по профессиональному управлению проектами присваивания целочисленных, а также любых других значений. Для больших значений доплата по 15% за каждый двоичный разряд. При отсутствии в команде неопытных программистов, бета-тестеров и архитекторов - скидка 10%.

ВНИМАНИЕ!
Срочно производится набор на первый курс университета по оптимизации оптимизирующих компиляторов, соответствующих последним стандартам, для реализации программ, присваивающих одну переменную.
Набор ограничен.
По окончанию обучения - дипломная работа по оптимизации оптимизирующего компиляторов, соответствующего последним стандартам, для реализации программ, присваивающих одну переменную.
По результатам димлома присвоение квалификаций:
-специалист по оптимизации оптимизирующих компиляторов,для реализации программ, присваивающих одну переменную.
-старший помошник специалиста по оптимизации оптимизирующих компиляторов,для реализации программ, присваивающих одну переменную.
-старший помошник старшего помошника специалиста по оптимизации оптимизирующих компиляторов, для реализации программ, присваивающих одну переменную.

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

http://davidguy.brinkster.net/computer/