не то что бы обсуждаю действия, просто мысли вслух
Форум — Linux-org-ru
Гляжу лекции Москвина по лямбда исчислению (ссылка на видео, ссылка на pdf-конспект).
В pdf на странице 14 есть лемма. Если P-сигма, то SN. Лектор не разобрал лемму на лекции, однако сказал что лемма из Митчелла (на амазоне), но Митчела я не нашёл чтобы купить в электронном виде. Только твёрдый переплёт. И скачать что то не смог, увы.
Потому вопрос. В лемме, что будет IH1 и IH2 (как сформулировать), так сказать для начала. Я в математике не слишком силён.
PS. Модераторы, добавьте, пжл, тег «лямбда исчисление». Спасибо.
помогите, пжл
например, на арч-вики написано что amdgpu поддерживает Volcanic Islands, some cards of the Sea Islands family and the Southern Islands. так же много ещё чего написано, но мой вопрос звучит примерно так
Про драйвер radeon написано что it supports all Radeon generation from original R100 Radeons to R800 Radeons
Вот карта, написано, R5. это какие острава? или какое Rxx?
Вот ещё карта , написано «Кодовое название графического процессора Oland». Это острова или Rxx?
В целом если есть простой способ их классифицировать, я был бы благодарен.
Если же такого способа нет - хотелось бы конкретно по этим двум картам: каким двайвером они поддерживаются, amdgpu или radeon?
есть материнка с PCI-E 2 16x вот такая
гляжу на мониторы 4к, но для такого монитора моя видеокарта не подходит, нужна вот такая вот примерно (написано PCI-E 3 16x)
вопрос, будет ли работать видеокарта PCI-E 3 на материнке PCI-e 2?
Мне в игры особо играть не нужно, отсюда второй вопрос (на случай если карта встанет в слот), хватит ли пропускной способности шины для обычной работы с текстом?
UPD. вопрос 2: а у неё написано что 2 монитора поддерживает, разрешение 4096хчёрт его знает сколько, у карты это на каждый монитор или всего указано?
Перемещено Shaman007 из talks
вопрос по выбору мфу для дома. главный вопрос
МФУ
Samsung CLX-3305
HP Laserjet Pro 100 Color MFP 175a
HP Color LaserJet Pro MFP M176n (CF547A)
Xerox WorkCentre 6015B - основной кандидат
принтеры
Samsung CLP-365
Samsung Xpress C410W
HP Color LaserJet Pro CP1025
Canon i-SENSYS LBP7018C
будут ли работать на моей уютной убунточке без проблем? кто сталкивался близко с устройствами, пжл, отзовитесь.
Ниже несущественные детали.
собственно, основное желание - цветная печать.
дополнительное желание - сканер.
печатаю редко (от раза в пару месяцев и реже до нескольких раз в месяц), иногда, раз в пол года, страниц 200-500 бывает нужно распечатать, бог его знает от чего, но вот регулярно бывает. Сканирую ещё реже (может раз в три месяца случается).
почему не хочу струйный принтер - говорят, пересыхает если долго не пользоваться (правда ли?), ну и для ч/б печати иногда страниц по 500 когда бывает нужно, это конечно скорее проблема нежели чем решение.
решение чёрно-белый лазерник + цветной струйник выходит процентов на 10-15 дешевле чем цветной лазерник (гляжу самые дешёвые варианты), что в общем-то значит купить себе геморою за экономию в 600-900 рублей, поэтому не вариант.
сканер в принципе не необходим, но удобен.
поэтому рассматриваю лазерные устройства. но если гм, люди отговорят от лазерника в пользу МФУ-струйника, удасться сэкономить тысяч 6 рублей, а это уже деньги. так что буду рад выслушать аргументы. напомню, основная претензия к струйнику - пересыхает и дорогая печать, по цене ниже, а что по пересыханию?
UPD. для самого дешёвого струйного мфу картридж pg-445xl на 400 страниц стоит 1500 руб, итого, итого 3,75 руб/стр.
Для самсунга картридж на 1500 страниц 3000, итого 2 руб/стр.
Для ксерокса 4тыс 2к старниц, опять 2 руб/стр.
итого 7 тысяч рублей это примерно 4 года по 1000 страниц печати.
т.е. при таком раскладе выходит стоит купить лазерный.
но страниц на самом деле меньше, а цена заправки значительно дешевле картриджа (не знаю как для струйника, но для лазерного раза в 3-4). т.е. аргумент слабый. но гемороя с засыханием не хотелось бы, так что это наверное решающий аргумент будет.
только что на лоре увидел рекламу.
http://geekboards.ru/ - самая дешёвая клава 10к руб.
в чём смысл? я покупаю клаву за 500-700 руб. Зачем люди тратят такие деньги на клаву?
хотелось бы услышать мнение людей которые пользовались такой клавой но теперь покупают обычную ибо оно того не стоит и людей которые пользуются вот такой вот.
Вроде бы когда то в виме (поправьте если ошибаюсь) наблюдал такую фичу: текст центровался по горизонтали автоматически.
Сейчас пользуюсь эклипсом, часто приходится редактировать html и так у меня получается что слева отступы на пол экрана, а сам код уезжает за экран. Хотелось бы чтобы редактор автоматически двигал код влево по горизонтали до первого непробельного символа на экране. А то неудобно жутко.
Хотелось бы плагин под эклипс (гуглить пытался но что то безуспешно). Или посоветуйте редактор/ide (желательно с поддержкой скала и подсказками).
ОБН.
вот мой случай http://i.imgur.com/Vhw5DAK.png
я хочу чтобы оно автоматически сдвигалось влево когда оказывается в подобной ситуации.
Вот, встретились с товарищем с вопросом...
<?php
echo "check: " . ('x' == 0);
?>
выводит единицу. Это нормально?
PHP Version 5.5.9-1ubuntu4.2 PHP Version 5.3.13
Реквестирую объяснение. (И проверьте пжл на более свежих версиях).
Есть два андроид устройства, одно поновей, разрешение 1920х1080, другое постарше, разрешение поскромней. На новом андроид 4.2.1, на старом что то постарше, не помню. Суть такая - невозможно смотреть кино онлайн (например из группы вконтактике). Показывает с минуту, потом появляется кружочек посередине экрана вроде как «загрузка». Сеть хорошая. Доказывается тем что если взять в руки ipad подключённый к этой же сети по этому же вайфаю, то айпад ни разу не показывает этот пресловутый кружочек (кроме как в самом начале).
Как выличить? Подозреваю что буфер маловат, но я даже не знаю что за приложение показывает фильмы из вконтакта. Вообще этими безделушками редко пользуюсь, а домашние смотрят кинки и андроид хаят, ибо на обоих андроид-планшетах глядеть невозможно.
на ланчпаде написано что 14.04 ожидается 9 часов назад :)
ссылочка https://launchpad.net/ubuntu/ milestone/ubuntu-14.04
на оф сайте уже появилось что мир двигается к убунту и подпись про 14.04 и openstack. при клике на пресс-релиз правда страничка не открывается (видно, не выдерживает сервер). на релизес ещё нету.
желающие могут запилить новость.
Положим есть магнит. У него срок размагничивания (условно) 10 лет. Я им поднимаю 10кг железку и оставляю в подвешенном состоянии. Вопрос - будет ли железка висеть 10 лет или упадёт значительно раньше? Есть ли какой -то способ расчитать как магнит теряет энергию?
UPD. По настоятельным просьбам прицепляющихся к словам разбиваю на два случая
1) магнит примагничивает железку. скажем он поднял её с расстояния 10см. тратится ли при этом энергия магнита? и если мы будем примагничивать там эту железку раз в 10 секунд, то быстрее ли размагнититься магнит? как посчитать?
2) магнит уже примагнитил железку. и железка висит. значит сила магнита компенсирует силу тяжести. тратится ли при этом энергия магнита. как посчитать? тут скорее всего просто довольно - нет движения значит не совершается работа значит не тратится энергия. ок. что по пунтку 1?
UPD2. вообще интересует немного более общий вопрос - вот магнит когда намагничивается, положим .. ну положим я намотал обмотку вокруг железяки и фигнул туда эл. тока [и отключил]. Положим я потратил на это 1 Дж энергии. Получился постоянный магнит. Он [магнит] этот 1 Дж потратит и размагнититься? Или где? как это считать?
случайно наткнулся.. уже такие дешёвые... 3д-дрюкеры..
http://www.elv.de/velleman-3d-drucker-k8200.html
А, да, линукс тут при том то заявлена официальная поддержка линукса у данного друкера.
Попытался поиграть в MegaGlest - не вышло. В больше половины случаев просто не попадаю по юнитам. При клике на юнит выбирается либо другой юнит, либо вообще здание которое даже не рядом.
Это только у меня так? Или кто то ещё сталкивался?
ЗЫ. Вообще, когда я в прошлый раз захотел поиграть - пошёл изучать как писать под Андроид. Выучить - не выучил, но играть расхотелось.. хе-хе..
Говорят майкрософт раздаёт образы винды для виртуалок. Чтобы например тестить в браузерах свои сайты.
Не завалялось ли у кого ссылки?
Линукс тут при том что тестить сайты надо под онтопиком. А эксплореры ставятся только в оффтопике.
ссылка http://www.modern.ie/ru/virtualization-tools#downloads
Эти умники отключили возможность выводить на юса банк аккаунт... требуют подключить местный банк..
кто как из ситуации выходит?
ЗЫ. если что имелось ввиду слово «умники».
<moderator=riki>Извини, бро, подправил.</moderator>
Всем привет
хотим ребёнку на ДР подарить микроскоп (он хотел).
шибко дорогого не надо (порядка 4000 руб), хотелось бы глядеть инфузорию туфельку, да что ещё есть такого простого...
подключение к компьютеру желательно.
посоветуйте, чего брать, чего не стоит.
сейчас гляжу в сторону вот этого микроскопа (микромед с-12 1600) http://www.smotrivoba.com/index.php?productID=1497
привлекает увеличением за свою цену (1600 меньше 4000 руб я не находил), и возможностью в последуюющем купить насадку чтобы было подключение к компьютеру. но может есть какие подводные камни?
в общем прошу советов.
спасибо.
привет
собственно, суть в заголовке
нужно бы потестировать гуглплагин под линуксом. а то сегодня у меня этик фейл вышел с групповым видеочатом в скайпе. копец. купил себе премиум аккаунт ради этого (на день за 4 евро! уродцы). а оно не работает нифига. вот так...
короче у кого установлени и/или кому поставить не трудно, прошу помощи в тестировании. надо два человека (кроме меня, т.е. всего три). спасибо.
ЗЫ. под линуксом буду я, остальные могут пользоваться чем хотят.
ЗЫЫ. ну и это, посоветуйте тогда уже, чтобы звонки групповые и скриншаринг. а то блин надо винду ставить иначе.
Убунта. То меню которое нужно открыть для запуска приложений. Если навести на него мышь появляется хинт «главное меню». Вроде бы это называется «док»? Не уверен. Но, в общем, вот это самое меню (основное в системе): в нём есть отдел вроде «недавно просмотренные». И там показываются разные файлы, которые я недавно смотрел, да. Так вот гипотетически, если это например, какие-то личные файлы которые я недавно смотрел, то я не хотел бы чтобы они были в этом списке. Положим у меня есть директория /home/username/pron в которой лежат файлы которые я бы не хотел чтобы отображались. Так вот вопрос, как бы это сделать? Если нет способа исключить каталог, тогда надо эту фичу совсем отключить.
Посоветуйте, пжл, как это сделать. Спасибо.
модераторам: перенесите, пжл, в девелопмент. спс.
речь об оракле если кто не заметил тег.
ситуация: есть сторед процедура которая обновляет статистику некоторых таблиц.
у меня эта процедура вызывается прямо из приложения после инсерта. приложение тормозит. вот я думаю, может какую таблицу завести и обновлять там строку, если нужно обновить статистику, а потом «по крону» эту табличку проверять и вызывать запрос, если нужно.
нормально ли так делать или есть более лучшие методы?
в общем совета просьбы псто у оракловодов. спасибо.
Перемещено beastie из talks
| ← предыдущие | следующие → |