В который раз встречаюсь с такой проблемой в течение пары последних лет.
Устанавливаю линукс с флешки. Загрузчик (grub) загружается отлично. Но дальше, при выборе варианта загрузки/установки (например при установке убунту это «try or install ubuntu» или «failsafe graphics mode») grub надолго «зависает» (выглядит как чёрный экран просто". А потом выдаёт ошибку (по памяти что то про то что не находит устройство с которого нужно читать файлы).

На ноубуке решилось тем что вытащил мышку из usb-порта.
На компьютере при установке убунту решилось перевтыканием флешки в более удачный слот.

Сейчас специально провёл эксперимент с nixos. Загрузился с флешки. Выбрал «установить LTS» (первый пункт в меню загрузчика дистрибутива nixos).

Система впала в задумчивость примерно на 10 минут (выглядит как чёрный экран). А потом выдала grub но не в оформленом nixos виде, а дефолтный - просто текст на чёрном фоне. Но пункты меню те же. Я опять выбрал первый пункт. Дальше система выдала такую ошибку error: start_image returned 0x8000000000000001 . Железо PC Ryzen 7950X Gigabyte X670.

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

Такое ощущение что у загрузчика сбивается нумерация разделов.

что это за проблема и как бороться в общем случае?

железо, если кому то о чём то это говорит

PC-1 i7-12700K Gigabyte Z690 UD DDR4.
PC-2 Ryzen 7950X Gigabyte X670.
+ ноутбук китайский, посмотрю железо - допишу.

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

34Гб (своп)
200Гб (/)
200Гб
1300Гб (/home)
1.3Гб (efi)


не то что бы это вопрос.. попробую или убунту 25, или никс ос.

но вот вопрос так вопрос - так же не бывает чтобы настолько глючный инсталлятор был? какая же всё таки причина?


Решение/результат
=================

В общем, чтение логов кое что дало. Жалобы в логе были на обращение к диску с вопросами мультипарт ли это девайс и ещё некоторые (не помню точно), а потом сообщение об отказе. Что навело на мысль что проблема с диском (либо физическая, диск новый, либо же разметка которая делалась с помощью gparted).

Далее попробовал опцию инсталлятора «стереть диск и установить убунту». И она поставилась.

Ради интереса запустил инсталлятор и переразбил диск с помощью убунтовского инсталлятора вот так:


1.3Гб (efi)
200Гб (/)
200Гб
34Гб (своп)
1300Гб (/home)


опять та же ошибка установки..

предварительный вывод - либо я (и с помощью gparted и с помощью инсталлятора) как то неверно разметил диск. Либо инсталлятор как то неудачно его читает.

Ну и разметку я поменял с live-usb убунтовского и всё вроде работает... вероятно можно сделать вывод что ошибка в инсталляторе.

Всем спасибо за советы, особенно дельные.

Хотелось бы во время прогулки с ребёнком слушать уроки иностранного языка и пояснять если что то непонятно. Решением кажется плеер с двумя парами наушников.

Существуют ли подобные плееры?

Ну, желательно чтоб работали под линукс (он тут при том..).

Чем пользуются в с++ чтобы печатать [свой произвольный текст] в стиле Philip Wadler's Pretty Printer ?

Что то один из лучших вариантов которые гуглятся у меня это https://www.haber-kucharsky.com/proj/pretty/index.html но там автор предупреждает что это всё сугубо в порядке эксперимента. Ещё пара вариантов гуглится, но тоже не особо звёзд у них и апдейты лет 5 назад. С одной стороны понятно что зачем там апдейты, оно довольно прямое. С другой стороны, почему звёзд мало? никто не пользуется? Чем тогда пользуются?

В общем то ли в с++ это не очень популярно ,то ли я гуглю криво как то.

Посоветуйте библиотеку что ли или поясните за жизнь..

// Сам с с++ на Вы.

Например, есть код.

class A {
private:
  const X& x;
public:
  A(const X& x) : x(x) {};
  getX() { return x; }
}

int main() {
  X x1;
  A a(x1);
  std::cout<<a.getX()<<"\n";
}

Верно ли я понимаю что в таком случае созданная в main() переменная x1 типа X не будет копироваться, а поле класса x будет инициализировано ссылкой на оригинальный x1?

учебник стр. 22, Proposition 1.10

Composing gives a homomorphism ī ◦ j̄ : M → M such that |ī ◦ j̄|i = i.

С чего это композиция имеет такое свойство? не пойму откуда следует.

То что композиция гомоморфизмов - гомоморфизм, вроде ясно. То что должен существовать такой гомоморфизм h что |h|i = i следует из определения UMP (1.9), если i и f взять равными i. Но с чего мы решили что это h и есть ī ◦ j̄ ?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

monk

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

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

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

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

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

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

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

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

учебник.

Глава 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 и без инъективности.

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

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

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

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

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

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

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

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

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

ubuntu 18.04, unity.

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

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

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

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

*В теме.

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

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

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

В общем вопрос: есть барендрегт 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 - вообще ставит меня в тупик. никак не пойму как оно получено..., уже наверное больше часа (а может и двух) проглядел на это в общей сложности, а там вроде и запутаться негде.

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

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

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


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

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

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

стратегия.

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

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

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