Category: it

Category was added automatically. Read all entries about "it".

Just for lulz

Завтра, кстати, предзащита у первых магистрантов направления «Информационные технологии» в ЮФУ. Не Бог весть что, конечно, но поскольку я на защиту, видимо, не попаду (да и стоит ли — см. ниже), то пишу об этом.

Сегодня были предзащиты в довольно сильной группе специалистов ПМИ и одного товарища (вполне внятного даже) не допустили к защите. Это преамбула. Амбула вытекает consequitur: завтра будет довольно весело. Заведующий тут подбросил такую историю: одна магистрантка вставила в текст диплома кусок английской статьи, переведённый Промтом. Я вот всё думал, что мне нравится в этой истории. Сидя сегодня на этом душеспасительном мероприятии, понял: это такой доморощенный аналог Корчевателя. Ну, заведующий тест прошёл.

На защитах обычно скучнее: вопросов уже мало, обсуждения почти нет (ходят устойчивые слухи, что в братском ТТИ ЮФУ всё намного серьёзней, например). А вот на предзащитах сотрудники не стесняются делать замечания, высказывать ценные мысли и просто упражнять психику выступающего (здесь стоит много ссылок на Луркмоар, выпиленных редакцией Уютненького).

Всем читателям, имеющим отношение к, большой «привет» и пожелание пламенных успехов в завоевании расположения заведующего (не-допуски ставит, в основном, только он).

Ня практикум!

 Этот пост полон любви и обожания. Возможно, стоит добавить ещё больше?

Сегодня на практикуме по функциональному программированию мы дошли до раздела с λ: мы отодвинули в сторону компьютеры и взяли в руки мел. Взяли, подошли к доске и стали писать. Это прекрасно.

Как же я задолбался (pardon my French) вести практикумы по программированию в дисплейных классах, и как же прекрасно вести практикумы с доской и мелом. Вот лекции читать — тяжёлое дело, их мне не хочется также, как и дисплейных классов. А вот практикумы с доской — это сила. Надо только кроме шаблонных задач подгонять ещё нешаблонных. Ну, это как получится. А пока я пребываю в восторге и думаю, как бы переквалифицироваться.

Этот пост [не] является рекламой

Просто-таки перл (в смысле — жемчужина) от Миши.
... понятно, что составитель задачника глубоко уверен, что каждый его чих дети обязаны записывать в специальную тетрадочку и потом заучивать наизусть, и все знание предмета по идее сводится именно к этому...
Всем, имеющим отношение к образованию, читать обязательно.

Я, кстати, тоже, когда в прошлом семестре, опасаясь неграмотности прикладников, составлял длиннющие тексты лабораторок по программированию, в тайне мечтал, что они их заучивать будут. Даром, конечно. Но зачётов-таки нет всего у двух человек — это просто рекордно мягкий результат для меня. Так что я хороший и добрый! И неавторитарный — да-да-да!

Известный приём

Чтобы представить себе, хотя бы в самых общих чертах, те направления, в которых развивается современная вычислительная наука, полезно взглянуть на названия сборников широко известной серии Lecture Notes in Computer Science...
Математическая логика в программировании (сборник статей), М.: Мир, 1991. — Предисловие редакторов перевода.

...привет Админу от издательства Springer, многие годы включающего такую ужасную математику, которая живёт в кодировании, в серию Lecture Notes in Computer Science
it.mmcs.sfedu.ru/forum, 13.11.2008.

ВНЕЗАПНО Samba

По некоторым причинам папе понадобился рутер. Рутер купили с вайфаем, и это был первый плюс: на один провод меньше идёт от моего ноута. Захотелось дотягиваться до десктопа (win←папа) и до принтера, который к нему подключён.

И получилось! Поставил smbfs, smbclient, winbind (чтобы не поднимать DNS на десктопе и не коннектиться по IP, которого я и не знаю вообще-то, а по win-имени десктопа). Подредактировал /etc/samba/smb.conf (прописал win-«рабочую группу») и /etc/nsswitch.conf (дописал в hosts значение wins с той же целью, что и ставил winbind).

Принтер создался совсем просто: в стандартом диалоговым окне Принтеры — Создать есть пункт «сетевой принтер через Самбу». В качестве пробной страницы распечатал текст упомянутой песни.

Под Виндовс нужно добавить в share диски, папки и принтеры: это всё делается одинаково просто: правый клик — Свойства — Доступ и там ставить все возможные галочки.

Учитывая полную мою серость в вопросах компьютерных сетей, я просто-таки горжусь собой!

О, ужас!

Eclipse RCP использует конвенцию именования, в соответствии с которой имена интерфейсов начинаются с I. (Это по модулю SWT, писавшегося приличными людьми из IBM, которые до такого опуститься не могли.)

По меньшей мере, ближайшую ночь я в трауре!

Все на семинар по информатике!

Что-то большое сдохлоСвершилось чудо, друг спас жизньна мехмате открывается кофейный автоматсеминар по информатике! Которая computer science. Которая «не-наука»©. Под началом, что характерно, зав. каф. информатики (что характерно для наших широт, математика). Будет идтить по понедельникам раз в две недели, начало — в ближайший, в 16-30.

Все фанаты bravit'а имеют прекрасную возможность послушать своего любимца: первый доклад — его, тема: «Теория типов и её приложения». И если вас пугает название — то так и должно бытьне пугайтесь! Можете быть уверены, что знакомых с этой темой людей на мехмате кроме bravit'а, может, и не найдётся совсем. А если и найдётся, то они будут в явном меньшинстве. А уж мы знаем, что bravit всегда старается быть максимально доступным для окружающих.

В общем, до встречи на семинаре!

Atheros Wi-Fi под Ubuntu

Благодаря пинкам bravit'a, а также любезно предоставленному им в его новой обители вай-фаю в качестве испытательного полигона, разобрался с этим самым вай-фаем под Ubuntu для моей ноутбучной карточки Atheros. Всё как написано тут (кроме того, что после распаковки архива с драйвером, имя папки, в которую нужно cd'иться, чуть другое). Мехматовский вай-фай пока не поймался — ловил около гардероба, может в „читалке“ повезёт...

Судя по тому, что написано в том же блоге, 9.04 надо ждать с замиранием...

UPD: в ММ-3,4 вай-фай ловится.

Заседание ростовского матобщества

Сегодня Б.Я. Штейнберг рассказывал про «теорию операторов в теории компиляторов». В общем, было мало нового: как считать ленточные СЛАУ параллельно, как измерять сложность (не количеством операций, а количеством обращений к памяти), как определить устойчивость преобразования, выполняемого оптимизирующим компилятором. Операторов было мало. Почти совсем не было. Удивительно много народу пришло, особенно из числа студентов: 5 третьекурсников (четверо с кафедры информатики, однако, без dzhonover) и пятеро второкурсников.

Ни одного студента «ИТ».

Порадовала В.П. Глушкова (о которой я уже упоминал как-то, тоже в связи с семинарами — имя только в комментах): очень бурно отреагировала на тезис о том, что семантику языков программирования формально описывать не умеют, стала бросаться прилагательным «денотационная» и именем собственным «Дана Скотт». В общем, самое обидное, что сидишь, сам разбираешься с этими вещами, а преподаватели, которые это могут рассказать (и рассказывают, как я понимаю) работают в ДГТУ. В общем, тезис о том, что в ДГТУ готовят лучших «программистов» (человек, выдвигающий тезис, употребляет это слово как синоним «computer scientist»), для меня уже давно не является чем-то противоречивым.