Как известно, бесконечности бывают разных типов. Бывают счетные, бывают несчетные. Несчетные делятся на множества мощности континуум и все остальные. Счетные множества это такие, элементы которых можно упорядочить в длинный ряд и занумеровать. С несчетными такой фокус не удается. Тогда как же можно представить несчетное множество, в частности множество вещественных чисел [0;1)? Ответ под катом.
Читать полностью »
Архив за 12 августа 2014 - 2
Как вообразить несчетное множество?
2014-08-12 в 16:53, admin, рубрики: всем давно известно, математика, теория множеств, что за хреньNvidia раскрыла некоторые подробности о 64-разрядной платформе Tegra K1 Denver
2014-08-12 в 16:48, admin, рубрики: Новости, метки: новостиКак мы знаем, в мае Nvidia объявила о том, что более не нацеливается на рынок однокристальных платформ для смартфонов, тем самым косвенно подтвердив невозможность использования SoC Tegra K1 в таких устройствах. В принципе, и в планшетах эта система пока не прижилась. Первый планшетный ПК, основанный на данной платформе, буквально только успел попасть на рынок.
Правда, Читать полностью »
На Wiki, к сожалению, очень мало информации по настройке оконного менеджера Awesome. Поэтому решил внести свои пять копеек в популяризацию этого замечательного WM. В этой статье разбираем панель задач.
Панель задач — отображает по умолчанию клиенты с активного тега/тегов.
Читать полностью »
MediaCodec или понимаем как хотим
2014-08-12 в 16:25, admin, рубрики: android, Разработка под androidС выходом Android 4.3 (API 18), Google привнесла долгожданный компонент под названием MediaCodec. Класс был открыт публике с выходом API 16, но для нормального использования и поддержки в Android системе требуется минимальный уровень API 18.
Материал рассчитан на опытного Android разработчика. Я попробую объяснить и показать примеры кодирования видео на лету с использованием Surface как входа и выхода потока данных. Если интересно, прошу под кат.
Читать полностью »
Статически типизированные продолжения
2014-08-12 в 16:08, admin, рубрики: c++, high order function, ненормальное программирование Намедни на RSDN был задан такой вопрос:
Пусть у нас есть функция, возвращающая полиморфный тип
class Base { virtual int foo() const = 0; };
class A : public Base { int foo() const { return 1; } };
class B : public Base { int foo() const { return 2; } };
class C : public Base { int foo() const { return 3; } };
class D : public Base { int foo() const { return 4; } };
Base* getconfig(char cfg) // не будем пока отвлекаться на уборку мусора
{
switch(cfg)
{
case 'a': return new A();
case 'b': return new B();
case 'c': return new C();
case 'd': return new D();
default: throw std::invalid_argument("bad type");
}
}
и функция, принимающая его экземпляры
int entry(Base* x, Base* y) { return x->foo()*10 + y->foo(); }
которую используют примерно так
void run(char cx, char cy) { std::cout << cx << cy << " : " << entry(getconfig(cx), getconfig(cy)) << std::endl; }
Можно ли протащить полиморфизм на стадию компиляции?
Читать полностью »
Gainward представила три адаптера GeForce GT 720, включая один с активной системой охлаждения
2014-08-12 в 14:41, admin, рубрики: Новости, метки: новостиКак и многие другие, Gainward анонсировала свои адаптеры GeForce GT 720. Компания представила сразу три устройства, отличающиеся не только объёмом памяти, но и системами охлаждения.
Адаптеры Asus GeForce GT 720 выполнены в низкопрофильном варианте
2014-08-12 в 14:29, admin, рубрики: Новости, метки: новостиСегодня Nvidia анонсировала бюджетный графический адаптер GeForce GT 720, основанный на ядре GK208 с 192 ядрами CUDA. А это значит, что большинство партнёров компании также представили свои варианты новинки.
Zotac оснастила видеокарту GeForce GTX 750 Zone Edition пассивной системой охлаждения
2014-08-12 в 14:11, admin, рубрики: Новости, метки: новостиКомпания Zotac пополнила ассортимент 3D-карт GeForce GTX 750 новым представителем под именем Zone Edition. Адаптер выделяется пассивной системой охлаждения с использованием пары тепловых трубок.
Несмотря на наличие такого охладителя, частоты новинки даже несколько выше референсных значений, правда, сугубо номинально: 1030/1111 МГц для ядра. Память же работает на стандартной частоте 5000 МГц.
«Цифровой шаббат» или как месяц без компьютеров изменил меня
2014-08-12 в 14:07, admin, рубрики: жизнь, интернет, Киберпанк, путешествия, разработка, ЧуланЯ разобрал всю почту и отправил последнее письмо. Написал родным, передал свои проекты друзьям. Отправив последний твит, я выключил свой ноутбук, телефон и планшет. Через 10 минут начнётся мой «цифровой шаббат», и я в течении месяца не смогу управлять ни одним цифровым устройством.
Со времён Батлерианского Джихада, когда «мыслящие машины» были стёрты с лица большей части вселенной, компьютеры внушали недоверие.
— Мессия Дюны
Слева мои вещи из цифровой жизни — я бережно выключил питание, собрал их вместе и положил глубоко в сумку. Для новой жизни я достал те вещи, которые на фотографии справа.Читать полностью »
Nvidia наделила видеокарту GeForce GT 720 графическим ядром GK208 с 192 ядрами CUDA
2014-08-12 в 13:53, admin, рубрики: Новости, метки: новостиПока все с нетерпением ждут анонса топовых графических адаптеров Nvidia, основанных на архитектуре Maxwell, компания выпустила на рынок самое младшее решение в «семисотой» линейке, среди предназначенных для розничной продажи. Речь идёт об адаптере GeForce GT 720.
На сайте Nvidia о новинке информации пока нет, но об анонсе говорят множественные пресс-релизы партнёров компании. К сожалению, в данном случае речь не идёт об использовании GPU Maxwell. В основе новинки лежит графическое ядро GK208, располагающее, в данном случае, 192 ядрами CUDA. К слову, столько же находится в распоряжении платформы Tegra K1.