Чтобы добавлять сообщения и комментарии, .

@Darwin:
Darwin

подборка видеокурсов по Computer Science: habrahabr.ru

@qnikst:
qnikst

Вот есть люди, которые в Chalmers пилят всякие инетерсные штуки типа линейных типов.
А почему если заходить на сайт и смотреть какие есть программы для Post Doc то там какая-то туфта :(

@Darwin:
Darwin

typetheory.ru (из хаскель-чятика утащено)

@Darwin:
Darwin

github.com — что вы знаете о задротстве?

@fmap:
fmap

Нищета это дедлок

@qnikst:
qnikst

тем временем в параллельной вселенной (98 год):

itu.dk .

@qnikst:
qnikst

чистил Downloads, нашёл кучу классных книжек, не могу правда вспомнить в каком контексте я их скачивал и зачем оно было надо.
Вот нафига мне было:
Naming and synchronization in a decentralized computer system, 78 года и стоит ли её читать.

@NoName00:
NoName00

и вообще, есть же старая-добрая классификация:
танки — это КС для тормозов
корабли — это танки для тормозов

@masai:
masai

Метасписок списков различных компьютерных полезняшек. В списках ссылки как на рецепты, так и на библиотеки, IDE и прочую годноту. Нашёл много любопытного.

@eugene-pnf:
eugene-pnf

a DDL statement is an operation on a type.

@ndtimofeev:
ndtimofeev

А где почитать почему сейчас все пытаются делать mark-and-move вместо mark-and-sweep? Ну то есть основные достоинства перемещающего сборщика мусора мне понятны, но в целом концепция выглядит контринтуитивно. Ганс Боём например всячески защишает mark-and-sweep.

@taufyn:
taufyn

может кто играет. заходите. 188.120.229.59:33020 сервер молодой в стадии настройки, раскрутки и наполнения.

@zxc-by:
zxc-by

Да ты же просто кодер, имитация компьютерсцаентиста. Может ли кодер написать тройку Хоара для fold, сделать шедевр?

@4DA:
4DA

О, годнота в cs-клубе:

1. Семинар по параметризованным алгоритмам.
2. Вычислительная геометрия.
3. Параллельное программирование.
4. Суффиксные деревья: новые идеи и открытые проблемы.
5. Визуализация графов.

compsciclub.ru

Сам хочу сходить посмотреть на вычислительную геометрию и если хватит времени на параллельное программирование.
any1?

@4DA:
4DA

cstheory.stackexchange.com

Чото там про папиры который должен прочитать любой воннабе комптутер саентист.

@alar:
alar

Кто может объяснить, что такое guarded corecursion? А то гугол какую-то невнятицу принёс

@segfault:
segfault

Pookan has been planted

@4DA:
4DA

mathematics for computer science
cs.princeton.edu

@drs:
drs

Человек придумал новый ЯП: urbit.org Документации ноль, а самомнения дофига.

@zweipluse:
zweipluse

Уборка :)

@4DA:
4DA

Значит как оно в приложении к CS? Берется уже существующий язык, ну который дан, который успешен, который популярен. Ну, не знаю, пусть будет джава как конкретный пример. Мы вполне можем писать на джаве и иметь профит — но вот нам мало, по-этому мы берем какой-то формализм и описываем на нем джаву, весь ее стандарт, со всеми гофовскими паттернами и прочей хренью (но такого формализма нет, беда), причем полностью описываем, безо всяких там «подмножеств», понятное дело. Потом смотрим, и внезапно оказывается, что язык удовлетворяет какому-то свойству Х, которого мы не ожидали! И, оказывается, на нем можно делать какое-то Y, которое мы, читая стандарт языка, и не думали, что можно! Вот это и называется практическим результатом.

Если же берется какой-то готовый язык типа агды там, петуха или идриса, который изначально заточен под определенную формализацию — то тут никакого профита не будет, понятное дело, все, где написано про зависимые типы и всякие агды — это не наука, это бестолковая херня. Ну просто господа, которые занимаются CS, не могут осилить настоящие задачи, а потому переливают из пустое в порожнее — я их в этом понимаю, конечно. Статьи, диссеры, гранты — все это нахаляву, безо всякого труда, сложность работ на уровне средней школы. Кто не соблазнится? Но вот тех людей, которые это читают, нахваливают и просят еще — я понять не могу.

linux.org.ru

@4DA:
4DA

CS держится на 3-х китах: Logic, Typed-LC, CT

@zamotivator:
zamotivator

Классическая задача — есть очередь, есть один писатель что фигачит в неё задачи, есть много читателей, что задачи разгребают.
Из-за mutex'а читатели тупят.

Я сейчас думаю, как правильней вкрутить параллельные очереди чтобы уменьшить тупняки.
Напомните структуру данных, которая позволит поддерживать сортированным список очередь с наименьшим количеством элементов.
Ну или просто хороший способ выбирать очередь с наименьшим количеством элементов (кроме rounds-robbin).
Крайне жалательно чтобы он был lock-free (atomic'и)

@borman:
borman

Схороню: весьма кошерная реализация классических алгоритмов и структур данных — ics.uci.edu

@skobkin-ru:
skobkin-ru

Дело было в 2007 году. Мой провайдер проводил чемпионат по Counter-Strike 1.6.
Я собрал команду из знакомых игроков зарегистрировал на сайте провайдера. Позже выяснилась проблема. Сайт писал мудак, который не осилил кодировки. Так мой одноклассник стал ебцемхами.
img-fotki.yandex.ru

@dukkha:
dukkha

Одно из определений класса NP из книги "Классические и квантовые вычисления" (А. Китаев, А. Шень, М. Вялый):

Имеются два персонажа: король Arthur (Артур), умственные способности которого полиномиально ограничены, и волшебник Merlin (Мерлин), который интеллектуально всемогущ и знает правильные ответы на все вопросы. Король A интересуется некоторым свойством (например, "есть ли у графа гамильтонов цикл"), а волшебник M хочет, чтобы король признал наличие этого свойства (ну, скажем, граф стремится к званию гамильтонова и дал M взятку). A не доверяет своему волшебнику, зная его корыстолюбие, и хочет иметь возможность самостоятельно проверить предложенный M ответ.
Поэтому они действуют следующим образом. A и M оба смотрят на слово x, после чего M сообщает некоторую информацию (слово y), которая должна убедить A, что L(x)=1. Используя эту информацию, A проверяет убедительность аргументов M некоторым полиномиальным способом.
В этих терминах определение класса NP можно сформулировать так: свойство L принадлежит классу NP, если у Артура есть полиномиальный способ проверять убедительность доводов Мерлина, причем:
L(x)=1 => у M есть способ убедить A в этом;
L(x)=0 => как бы M ни изощрялся, A не поверит, что L(x)=1.

@xorkrus:
xorkrus

Неужели ВОТ стоит того, чтобы люди платили за танки и маскировки?
Неужели игры вообще стоят того, чтобы за них платили?
Говно говном же.
Кроме TTD\OTTD и NFSWM — ни одна игрушка меня не зацепила. И если за TTD я бы заплатил (будь она... посовременней), то NFSMW не на столько хороша. Просто достойна.
А все остальные кризисы фарсру и прочая муть с чернобылем — гавно.

@masai:
masai

Набросал-таки статейку про вейвлеты → habrahabr.ru
Рассчитано на тех, кто совсем ничего про них не знает. Иногда, по-моему, я перегибал палку и совсем уж всё примитизировал. Вставлять какой-то код было лень, ограничился формулами.
Под конец я понял, что если излагать всё, что хочу сказать, то книжка получится, так что местами получилось скомкано и очень кратко. Надеюсь, идею передать удалось.

@masai:
masai

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

@partizan:
partizan

посмотрел я на cs:go, ну, контр-страйк, графика получще чем source, но мне не понравилось в нем то же что и в source — движения все какие-то суперплавные, как будто я управляю камерой с приклееным ко лбу пистолетом. и прицелиться никак, реально привык к крузису — по умолчанию стреляем типа навскидку, а если надо точнее — целимся. это же круто, ну.
или это соревновательная игра для задрачивания на точность-скорость и тут такое только мешает? эх, жду свой крузис!

@masai:
masai

Проверь свою интуицию! ;) Пусть x = 0,7. Операция x ← 11x-7 не должна менять его значение. Но есть ошибки округления и представления чисел в ЭВМ. За сколько шагов накопленная ошибка для типа double превысит тысячу?

@zweipluse:
zweipluse

Таки первый раз в жизни прикупил контру! store.steampowered.com (p.s. там вроде скидками заманивают)
Посмотрим, что там изменилось!

@4DA:
4DA

Normalized Device Coordinates -> Нормализованное пространство приборных координат
Ничотак перевод, да?

@Equidamoid:
Equidamoid

Кстати, мб кто-нибудь подскажет алгоритм морфологического разбора? Для русского.

@skobkin-ru:
skobkin-ru

Ох детство, детство... Когда слышу песню Marylin Manson — Rock is dead — вспоминаю это: youtube.com

@Equidamoid:
Equidamoid

Я в конторе самый нуб в контерстрайк =(

@drs:
drs

Твиттер-стайл публикации: tinytocs.org Краткость — сестра.

@Softovick:
Softovick

Вот и CounterStrike добрался до Хабра habrahabr.ru

@k1lg0reTr0ut:
k1lg0reTr0ut

а у кнута уже 4 книжки?

@skobkin-ru:
skobkin-ru

Сходил с утречка в CS:Source. Зашел на сервер, где запрещено AWP. Взял 4-2(CT). Начал делать народу хедшоты, получил бан. Мне интересно, админ не осилил добавить 4-2 к запретам или решил, что я читер?:)