LINUX.ORG.RU

Сообщения AndreyKl

 

кто нибудь покупал на limette.ru?

Собственно, сайт limette.ru. смотрю на вот эту материнскую плату. довольно адекватные цены по нынешним временам. интересуют отзывы о магазине. кто нибудь покупал там ? проблемы/подводные камни или всё ок? что с гарантией?

ЗЫ. Линукс тут при том что у меня уже лет 20 основная (и наврное 90% из этого времени - единственная) система - линукс.

ЗЗЫ (никакого отношения к сайту не имею).

 ,

AndreyKl ()

посоветуйте тесты для процессора / процессор

Думаю обновить процессор. Сейчас пользуюсь AMD Phenom(tm) II X6 1075T. Последнее время приходится писать много скриптов (тактики Coq) и притормаживает всё это жутко. Раньше такие задачи были редкими, поэтому всё устраивало. Но видно пришло время.

Основная задача соответственно это компиляция (один поток).

Я так понимаю тут важна целочисленная арифметика в первую очередь. Вопрос. Посоветуйте, какой тест поглядеть чтобы сравнить процессоры? Я имею ввиду что то вроде PassMark/Cinebench... И сайт где поглядеть результаты разных процессоров (я знаю только cpuboss, но там не нашёл i5 11600 к примеру.. может плохо искал..).

Ориентируюсь на упомянутый i5 11600KF. АМД тоже ок. Единственное, хотелось бы тестов поглядеть. Может есть что то вроде «сколько компилялась гента»?

 , ,

AndreyKl ()

DIY датчик скорости для велосипеда (лазерный?)

Пришла идея собрать с ребёнком спидометр для велосипеда на микроконтроллере. Кажется очевидным решение - лазер и фоточувствительный элемент, при пересечении спицей луч прерывается, ну и нужно записать что спица прошла мимо датчика и сделать вычисления, затем отобразить всё это на экране.

Понятно что время от времени придётся протирать датчик и лазер, поэтому кажется что нужно сделать трубки приёмника и излучателя чуть длиннее и съёмные, чтобы удобно было чистить. Сейчас думаю напечатать это на 3д принтере, а там не знаю.

В целом всё понятно, но есть пара вопросов

1) Может кто то подскажет более технически интересное решение (может ультразвук например чтобы датчики грязи не боялись?, готовые устройства интересуют только как примеры решений, интересно собрать самим).

2) Если кто то может подсказать конкретные модели лазера, датчика, аккумулятора и контроллера заряда (можно ссылку в инторнетах/на алиэкспресс), буду благодарен. А то я совсем не знаком с этим.

ЗЫ. Линукс тут притом что я пишу с линукса.

 , ,

AndreyKl ()

с++ и зависимые типы

а вот так можно ?

std::cin>>(int)x;
std::cout << workingFunction<x>() << std::endl;

monk

 ,

AndreyKl ()

обучение программированию: советов мне

Был кто то на ЛОРе, кто развлекался обучением программированию. Напомните пожалуйста ник.

Помню он говорил что то вроде

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

Или может кто встречался с вопросом, тоже неплохо бы советов.

Ситуация такая. Есть у меня друг детства. Он какое-то экономически-гуманитарное образование имеет, маркетолог по-моему. Работает в одном крупном банке. ЗП у него хорошая, в целом (по-моему) всё хорошо. Но он говорит вроде того что рынок его профессии сильно сужается в связи с приходом всяких там технологий ИИ. Ну соответственно волнуется о будущем. Смотрит в сторону программирования. Конечно привлекает уровень ЗП.

Я ему сказал с год назад что переход на новую профессию займёт лет 5 до желаемой ЗП. А если лет трёх не потратишь и не научишься сам, то никто не захочет и за 20 тыс рублей брать на работу.

Так вот думаю.. Скажем, человек готов учиться. Т.е. целенаправленно посвящать время исключительно обучению.

Сколько интересно с нуля надо учится программировать на java, скажем, чтобы дойти до миддла? Т.е. хотелось бы услышать оценок от тех кто либо дошёл до миддла, либо кого то обучал. Возможно не на java.

 

AndreyKl ()

Зорич. Матан. Задача из первой главы.

учебник.

Глава 1. Параграф 3. Упражнения. Упражнение 4. b).

На сколько я понимаю из f^-1(f(A)) = A должна следовать инъективность f. У меня не получается доказать этот факт.

Рассуждаю так.
Определение1. f(A) := все y∈Y т.ч. ∃ x∈A т.ч. y = f(x).
Определение2. f^-1(f(A)) := все x∈X т.ч. f(x)∈f(A).

Положим, инъективность не выполнена, т.е. ∃ y1 = f(x1) = f(x2), при этом x1 <> x2.

Тогда у1 окажется в f(A), поскольку существует, например, x1.

Но тогда и x1 и x2 окажутся в f^-1(f(A)), поскольку они оба лежат в X и для обоих найдётся нужный у = у1∈f(A). Таким образом f^-1(f(A)) = A и без инъективности.

Подскажите пожалуйста, где ошибка в рассуждении?

 ,

AndreyKl ()

отзыв о плеере (устройство)/посоветуйте плеер

Нашёл вот такой на алиэкспрессе https://ru.aliexpress.com/item/33042912816.html

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

Либо прошу посоветовать устройство с предполагаемой хорошей управляемостью, с bluetooth 5 желательно, более-менее приличным сигнал/шум и желательно в пределах 3 т.р.

У меня до этого был простой плеер digma за тысячу рублей. В нём не слишком удобная перемотка и нельзя подключить наушники беспроводные. Поэтому хочу другой плеер.

Линукс тут при том что прошу так же указать, если есть возможность, может ли устройство подключатся к линуксу (например, как usb-носитель).

 

AndreyKl ()

помогите вспомнить рассказ

Кажется, американский автор. Помню такую зарисовку:

Толпа людей, возможно метро. Вдруг какой то мужик начинает всех то ли резать, то ли стрелять. Люди кричат и в панике разбегаются. Мужик убивает пару человек, его самого убивают полицейские. Паника сразу уходит, и люди, как ни в чём не бывало, обсуждают ситуацию, вроде: «этот довольно мало убил», «да, вот на прошлой неделе в другом городе был - тот народу покрошил так покрошил»...

// Линукс тут при том что я использую его когда пишу это

 

AndreyKl ()

ubuntu 18.04, unity после блокировки экрана перестаёт переключаться раскладка

ubuntu 18.04, unity.

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

Анамнез.
Ubuntu 18.04. Поставил юнити. Мне предложили выбрать дисплей менеджер, я выбрал lightdm. Перестала переключаться раскладка клавиатуры. По наводке pon4ik'а* сделал dpkg-reconfigure gdm3. После этого стала переключаться раскладка. Но это работает до блокировки экрана. После блокировки раскладка переключается только если щёлкнуть мышкой по значку в трее. По сочетанию клавиш не переключается.

Так же заметил что после блокировки приглашение для ввода пароля похоже не от gdm а от lightdm. Однако ps ax не показывает лайтдм, только гдм3.

Если есть идеи, прошу высказывать.

теме.

 , , ,

AndreyKl ()

ubuntu 18.04 не переключается раскладка после установки unity

В 18.04 по умолчанию идёт гном. В нём переключение работало. После установки юнити переключение в юнити не работает. В настройках клавиатуры поглядел, вроде всё ок. Идеи?

 ,

AndreyKl ()

за что мы любим javascript

for(var j = 0; j < 3; j++) {
  console.log('j1 %s', j)
  for(var j = 0; j < 3; j++) {
    console.log('j2 %s', j)
  }
}



результат

j1 0
j2 0
j2 1
j2 2


В общем то я уже давно знаю что javascript так не умеет. И когда встретил неожиданное поведение, наверное и минуты не потратил... но как то осадочек.

 

AndreyKl ()

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

Вопрос по лямбда исчислению. На самом деле он больше по выводу чего то из набора аксиом (практическому). Мне это сильно напоминает булевы алгебры что ли..

В общем вопрос: есть барендрегт ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps

там на странице 55 есть definition 4.1.14

и чуть ниже есть

For example one has
w ~ w -> w (1)
((s -> t) & (s' -> t)) <= ((s & s') -> t) (2)

собственно вопрос, как это получено?

я полагаю что (1) получено путём применения правил w <= w -> w и s <= w, предполагая что s = w->w для данного случая.

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

подскажите, пжл, кто понимает.

 

AndreyKl ()

openshift и тормоза, если купить будет лучше?

Вопрос к тем кто пользовался платной версией.

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


ВОпрос собственно: на платной версии у них работает или такая же малина? За платную надо получается 600 баксов заплатить (за год). И я что то не вижу опции «попробуй наш платный план бесплатно». И опции возврата денег не вижу.

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

Хотелось бы отзывов.

 

AndreyKl ()

помогите вспомнить игру

стратегия.

Можно выбрать рассу. Те что помню: японцы. Точно есть ещё куча каких то.

Начало игры: у тебя кучка мужиков. Нужно построить крепость. Нужно прокачивать мужичков. Мужичков в бой ведёт генерал. Не помню там экономики как таковой, но вроде бы что то есть. Вроде как зависит от населения. Графика - древняя. Есть версия под линукс (вроде бы клон оригинала).

Мне собственно версию под онтопик.

 

AndreyKl ()

php-mode для emacse

К тем кто сталкивался с вопросом:

Хочу попробовать emacs в качестве редактора php (да, я не шучу, редактора).

Эпопея началась с того что эклипс стал тормозить как не в себя. Т.е. на моём железе (phenom 1075T) работать больше не получается, даже с оракловской явой. Т.е. плохо стало уже давно, но вот последний эклипс как то совсем удручил. Может правда дело в том что я убунту новую поставил, не знаю.

Только что закончился эвал период на WebStorm. В принципе, мне нравится: тормозит на моём железе настолько мало, что можно работать. Но всё таки тормоза есть. Управление не совсем удобное, хоть и emacs-mode.

Решил попробовать emacs в итоге. В идеале хотелось бы чтобы оно могло по иерархии классов ходить, как в Eclipse/WebStorm. Очерь нравится фича самоскрывающегося левого дерева файлов (раскрыть по Alt+1), вместе с тем чтобы в дереве показывался текущий открытый файл. Ну мелочи типа раскраска кода.

+css

+javascript

+html

Кто чем пользуется? Вообще, есть ли жизнь или проще саблайм попробовать?

Спасибо.

 ,

AndreyKl ()

amd и DP звук, ubuntu 16.04

Может кому пригодится: у меня не работал звук через DP на ubuntu 16.04 , видеокарта RX 470.

Кроме того не работает 5к разрешение.

Спасибо уважаемому steemandlinux за советы

Я обновил HWE Stack по инструкции здесь https://wiki.ubuntu.com/Kernel/LTSEnablementStack

Затем поставил вот это https://www2.ati.com/drivers/linux/ubuntu/amdgpu-pro-17.10-414273.tar.xz

В результате появился звук через DP. 5к стало «гораздо лучше» чем было, если можно так выразиться: я вижу в настройках два монитора по 2560х2880 (так и должно быть), правда при попытке использовать, всё начинает плыть и ехать. Но прогресс очевиден, раньше для второго монитора был выбор только 848х480, что конечно было ещё страннее чем чейчас.

Большое спасибо за совет, звук через ДП заработал, это большой прогресс.

А что такое https://launchpad.net/~paulo-miguel-dias/+archive/ubuntu/mesa ?

или надо было ставить только именно amdgpu-pro-dkms_17.10, а остальное проигнорировать и поставить из archive/ubuntu/mesa ?

 ,

AndreyKl ()

управление вентилятором на ноутбуке

Как включить вентилятор на полную мощность у ноутбука?

После обновления похоже что то сломалось в управлении охлаждением и теперь у ноутбука не включается вентилятор. Соответственно ноутбук виснет.

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

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

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

в общем мне бы способ как управлять вентилятором руками. я бы делал что то вроде echo 128 > /sys/куда то где то в rc.local и был бы счастлив.

 

AndreyKl ()

не то что бы обсуждаю действия, просто мысли вслух

leave, ну ё моё, хорошо ж сидели..

Перемещено leave из talks

 

AndreyKl ()

доказательство леммы, помогите разобраться

Гляжу лекции Москвина по лямбда исчислению (ссылка на видео, ссылка на pdf-конспект).

В pdf на странице 14 есть лемма. Если P-сигма, то SN. Лектор не разобрал лемму на лекции, однако сказал что лемма из Митчелла (на амазоне), но Митчела я не нашёл чтобы купить в электронном виде. Только твёрдый переплёт. И скачать что то не смог, увы.

Потому вопрос. В лемме, что будет IH1 и IH2 (как сформулировать), так сказать для начала. Я в математике не слишком силён.

PS. Модераторы, добавьте, пжл, тег «лямбда исчисление». Спасибо.

 

AndreyKl ()

разобраться с сериями amd-шных карт

помогите, пжл

например, на арч-вики написано что 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?

 ,

AndreyKl ()

RSS подписка на новые темы