Чем пользуются в с++ чтобы печатать [свой произвольный текст] в стиле 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 баксов заплатить (за год). И я что то не вижу опции «попробуй наш платный план бесплатно». И опции возврата денег не вижу.

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

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

стратегия.

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

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

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

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

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

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

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

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

+css

+javascript

+html

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

Спасибо.

Может кому пригодится: у меня не работал звук через 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 ?

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

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

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

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

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

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