Посмотрел один ролик, где про ФП рассказывается. Так сладко рассказывает, а по факту оно не используется в проде. Значит оно не так хорошо, как о нём поют? :)

Завтра придет девушка на работу(не устраиваться) а программу ее компании переустановить из-за ошибки после обновления. Хочу пригласить ее в свой отдел после попить кофе/чай с конфетами, если согласится. О чем поговорить? Вряд ли о линуксе, нужны идеи - опыта мало в этом вопросе

Привет!

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

• Haskell — чистый функциональный, библиотек много, развитая инфраструктура, высокий порог вхождения. Компиляторы, верификаторы, финансы.
• SML/OCaml — классика функционального программирования, относительно низкий порог вхождения. В индустрии применяются жостаточно редко: компиляторы, верификаторы, финансы, числодробилки.
• Scala — гибридный язык, развитая система типов, интероп с джавой. Высокий порог вхождения. Финансы, корпоративный сектор.
• Agda/Coq — мощная система типов, экстрация программ в разные языки, верификация. Компиляторы, верификаторы.
• F# — гибридный язык, дотнет/моно. Корпоративный сектор.

А теперь вопрос: с точки зрения изучения теории типов и прочего матана, который стоит за языками программирования, какой язык лучше взять?

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

Полное резюме https://www.liltechdude.xyz/resume.pdf

Вкратце

• Студент третьего курса уральского физтеха по направлению “Программирование”.
• Есть опыт в написании веб приложений (Python, Clojure)
• Настраивал/обслуживал сервера (CentOS, FreeBSD).
• Английский на уровне чтения документации.
• Ищу полную занятость. Готов к переезду так и на удалёнку.
• Опыт: 8 месяцев оплачиваемой стажировки в Сбербанке, 2 года Open Source
• Рассмотрю предложения как из знакомой мне сферы, так и что-то новое.

Вопрос для всех пораженных аудиофилией головного мозга.

Как перешел на ресивер вместо встройки, заметил что файлы CD формата 16/44,1 стали звучать хуже (больше ВЧ-шума), нежели допотопная SBLive5.1! При этом файлы 24/96 звучали нормально. Включал софтовый ресемплинг на 96кГц - не помог.

Освоив инженерное меню ресивера, понял корень проблемы - dmix по дефолту ресемплит всё в 48кГц. С этим разобрался, шум ушел.

Осталась проблема с разрядностью потока - если судить по инженерному меню, приходит 16/96 при источнике 24/96

 cat /proc/asound/card*/pcm0p/sub0/hw_params
access: RW_INTERLEAVED
format: S32_LE
subformat: STD
channels: 2
rate: 96000 (96000/1)
period_size: 1200
buffer_size: 4800

При этом карта принимает либо 16, либо 32, но на ресивер всё равно приходит 16.

Хотя, допускаю, что с битностью потока может быть всё в порядке (В инженерном меню показывается только частота, а на дисплейчике есть отдельные символы 24/96, ожидаю что они должны светиться когда приходит такой поток, но это неточно).

Кто-нибудь добивался 24 битного потока по SPDIF?

Или как вариант, чем создать файл с разрядностью 24 бита, где все 16-битные отсчеты смещены в нижние 8 бит, чтобы уж точно понять, приходят 24 бита, или нижние отсекаются?

Как ии повлияет на мир, мое предположение:

1. Все предметы (посуда, одежда, мебель, электроника, архитектура) будет проектировать ИИ. Все это удешевит производство. Но будут вещи и сделаные полностью человекм, которые будут стоить в несколько раз дороже.

2. У каждого будет персональный бот-секретарь. Которого можно будет постоянно обучать, и делать его полностью персонализованным. Он будет помнить все, что ты ему когда-то говорил, возможно даже будет воспроизводить эмоции. Его состояние можно будет сохранить к себе как дамп, размером несколько терабайт.

Привет.

Установил свежую опенсьюз на новый комп и среди прочих бед отвалился AiRplay стримминг на Airport.

Оказыватся свежая сьюзи поставила вместо пульса pipewire (вообще первый раз вижу). Ну ок, понимая что пульс ща будет похоронен, ставить его не буду, тем более libpipewire-raop-discover обещает что всё должно работать, но в жизни всё как всегда.

В КДЕ5 виджет про аудио устройства вообще показывает какую то дичь, из серии GK104 HDMI Audio Controller Pro, 6 штук под разными номерами, и пофигу что у меня только видеокарта да дискретная аудио карта. Puls называл что это аудио HDMI, то удиокарта, а вот это AiRplay. Но ведь это слишком просто и не тру, и устарело, а список виртуальных устройств - это настоящее, крутое и вообще хорошо (сорри, но искренне бесят постоянные замены в Linux хорошо работающего на всякий полуфабрикат).

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

qpwgraph ясности не прибавил.

Спасите-помогите пожалуйста…

Привет.

Поскольку shairplay так и не запустился, хочу сделать из виндового (ввиду наличия дров для аудиокарты только под вин) аудиоклиента.

Т.е. чтобы тупо звук выводило, а управление и каталог аудио на линуксе.

Что то типа МПД клиента, но гуй нужен не на клиенте а на линуксе, типа дистанционного управления, как для андроид есть.

В идеале,вообще отправлять с climentine аудиопоток.

Плохой вариант - на винде поднять тот же клементайн, самбой подключить библиотеку и прокинуть гуй с помощью Х или RemoteApp на линь, но не очень это красиво.

Компания DeepMind, дочка Alphabet, создала систему искусственного интеллекта AlphaCode, которая, по заявлению самой компании, может справляться с написанием кода на уровне среднего программиста. Об этом пишет The Verge.

Возможности AlphaCode проверялись на платформе Codeforces, на которой выкладываются задачи и тесты для настоящих программистов. Нейросеть выполнила 10 тестов и попала в 54% лучших участников. В DeepMind подчеркнули, что при этом система создавала новый код с нуля, а не использовала готовые шаблоны.

В DeepMind отметили, что нейросеть смогла составить конкуренцию программистам среднего уровня впервые в истории. В то же время в компании сказали, что пока находятся на раннем этапе работы — сейчас AlphaCode может участвовать только в конкурсном программировании и неспособна автоматически решать практические задачи.

https://www.theverge.com/2022/2/2/22914085/alphacode-ai-coding-program-automatic-deepmind-codeforce

Начались ещё в 14-15 году (именно диагностированные), но на работоспособность особо не влияли. Даже когда думал о совершении ркн, мог работать по 8 часов в день. А вот последние года 2 не могу. Пришлось уйти с постоянной работы на фриланс, так как постоянно брал отгулы. Сейчас поставили биполярочку 2 типа. В гипомании могу спать по 4 часа в день, а остальное время работать. Бывает это крайне редко. Вообще такое состояние тоже не очень, ни о чём кроме работы думать не могу, отдохнуть не получается. Но большую часть времени либо сонливость, либо просто не могу сосредоточиться и начать работать. Какой-то страх, ступор. К врачам ходил, разумеется, много препаратов перепробовал.

Есть ли тут люди с похожими проблемами, кто как справляется?

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

ПО которое можно наблюдать:

• Debian bookworm/sid
• awesome 4.3
• thunar 4.16.10
• ranger 1.9.3
• rofi 1.7.3
• fish 3.5.1
• kitty 0.21.2
• blueman 2.3.1
• duf 0.8.1
• gnome-disk-utility 42.0

Шрифты:

• SauceCodePro Nerd Font
• Sans Regular
• fonts-font-awesome 5.0.10

Оформление:

• GTK+: Midnight-GrayNight
• Icons: Qogir-ubuntu-dark
• Cursor: DMZ-Black

Добрый вечер, ЛОР!

Хочу настроить переключение раскладки по Caps lock чтобы легко видеть текущую раскладку при помощи светодиода на клавише. Но проблема в том, что когда я задаю основную комбинацию для переключения Caps lock, то переключение раскладки происходит, но индикатор не загорается. Если же я задаю Caps lock как альтернативную комбинацию, то происходит переключение и горит индикатор, но на экране каждый раз появляется изображение включаемой раскладки, из-за которого иногда пропадает фокус из поля ввода.

Как мне и рыбку съесть и переключение настроить?

Сколько я пользуюсь компами с виндой и линем, столько испытываю эти проблемы. Некая десктопная софтина жрет оперативу. потом еще немного жрет, и еще немного, и потом внезапно система висит, бешенно читая SSD накопитель. OOM не срабатывает, потому что память в медленном сценарии не исчерпана. Хуже всего то, что при отсутствии свопа данный сценарий наступает очень резко, лавиннобразно, система работает как ни в чем ни бывало, а потом за несколько секунд замирает.

Прописал vm.vfs_cache_pressure = 20 в /etc/sysctl.conf — ничего не поменялось. Systemd до недавних пор в этом плане тоже была поломатое, вроде в бунте 21.10 пофиксили, но у меня деб 11: https://github.com/systemd/systemd/issues/10581

Речь идёт про какие-то там жонглирования состояниями фокусов при открытых контекстных меню, которые вызываются по правой кнопке мыши или через главное меню программы, там где File, Edit, View, Help и т. д.

Этот иксовый баг ну очень сильно мешал сделать нормальный скриншот области экрана или окна в то время, когда активно контекстное меню. Поэтому приходилось изворачиваться и пердолиться всякими разными костылями и способами вроде переопределения хоткея на снятие скриншота всего содержимого экрана и потом последующей обрезке изображения в GIMP’е. Помнится, что это довольно сильно раздражало и напрягало, потому что я очень часто делал и делаю скриншоты.

С полгода назад я установил Ubuntu 22.04 LTS с дефолтным Wayland-сеансом и вот только сейчас заметил что куда-то пропало то раздражение, которое я всегда испытывал при попытке заскринить что-либо в Linux. Оказывается что баг этот зафиксили! К хорошему быстро привыкаешь, поэтому я переключился на X.Org-сеанс и решил протестировать поведение в различных приложениях там. Кто знает, вдруг и там пофиксили эту срань?! Ага, хрен там:

1. Gedit
   Открываем контекстное меню по правой кнопке мыши, нажимаем Prt Sc – ноль реакции.
   А вот главное меню программы по кнопке «бутерброд» даёт себя скриншотить.
2. GNOME Terminal
   Поведение аналогичное Gedit.
3. Nautilus
   Поведение аналогичное Gedit.
4. Firefox
   Открываем контекстное меню по правой кнопке мыши, нажимаем Prt Sc – меню пропадает.
   Открываем главное меню по нажатию Alt, открываем любой пункт, нажимаем Prt Sc – меню тупо закрывается.
5. Chrome
   Открываем контекстное меню по правой кнопке мыши или главное меню по кнопке «бутерброд», нажимаем Prt Sc – оно пропадает и лишь изредка в скриншот попадает белый прямоугольник без текста.
6. Qt Creator
   При открытом контекстном или главном меню нет вообще никакой реакции на нажатия кнопки Prt Sc.
7. GIMP
   Аналогично, нет реакции на Prt Sc при открытом главном и контекстном (оно там тоже главное) меню.
8. Telegram
   Поведение аналогичное тому что в Qt Creator, ничего не работает, хотя казалось что там все меню имплементированы поверх QPainter.

На Wayland-сеансе перечисленных выше проблем просто не наблюдается. Всё удобно и комфортно, скриншоты контекстных и главных меню, как и различных всплывающих элементов в приложениях запущенных как под Wayland, так и под XWayland делаются без какого-либо пердолинга, раз и готово:

https://baat.exlmoto.ru/~exl_lab/screens/Wayland_Menus.png

Напомните пожалуйста, какую там шизу публикуют различные луддиты в оправдание этого иксового бага? И ладно бы этот баг был какой-то там недавней регрессией, так нет, вот уже как ~20 лет в этом иксовом позоре Linux-десктопа он присутствует и всех раздражает. Я его ещё во времена KDE 3 и GNOME 2 помню, а воз и ныне там.

Со спокойной душой переключаюсь обратно в Wayland-сеанс: да там тоже есть шероховатости и свои глюки, но то, что вот это дурацкое поведение и детские баги иксового говнокода наконец-то подфикшены, не может не радовать.

Шалом, котята.

Интересует сабж и опыт с ним. Можно ли полноценно использовать Lua как не встраиваемый язык, а именно основной? Интересует сеть, графические интерфейсы etc.

subj

Я в последнее время стал склоняться к версии, что причины такого катастрофического упадка примерно те же самые, что и в советской экономике периода застоя: отказ от конкурентной модели вычислений, излишняя централизация. В частности это напрямую касается операционных систем, которые отказались от кооперативной многозадачности. Как решать данную проблему в контексте юникс? Устранить столлмана и вернуь микроядерную архитектуру?

PS К сожалению и в качестве образования IT глубочайшие проблемы. Даже преподавательский состав путает конкуренцию с параллелизмом, например, это в последние десять лет стало обычным делом. А кадровые пробелы затыкать нечем. Специалистов нет.

Перемещено ilinsky из development

Страуструп велел использовать http://www.stroustrup.com/Programming/std_lib_facilities.h со своими хелловорлдами, причем подразумевается, что они заточены под c++11/14. Подключаю этот хедер к любому (даже дефолтному) хелловорлду, выбираю в эклипсе диалект с++11 или с++1y и хеллоуворлд перестает компилироваться с ошибками которые я не могу распарсить

Description	Resource	Path	Location	Type
make: *** [src/dd.o] Error 1	dd		 	C/C++ Problem
template-id ‘do_get<>’ for ‘String std::messages<char>::do_get(std::messages_base::catalog, int, int, const String&) const’ does not match any template declaration	dd		line 1869, external location: /usr/include/c++/4.8/bits/locale_facets_nonio.h	C/C++ Problem

ЧЯДНТ?
PS

Ubuntu 14.04
Eclipse 3.8.1
CDT 8.30
gcc 4.8.4

Всем привет!

Вот спустя некоторое время (проведенное мною под виндами на работе) я решил немного доработать свой домашний деск под свое "суицидное" настроение :)

Валлпапер заделан под гамму вручную. оригинал взят из коллекции фанарта группы Fleur.

В емаксе открыт код либы на с++ (который я по понятным причинам не буду показывать), а также играет тот самый Флёр в еммс :)

Смотрелка пдф - Гпдф. Весьма удобная. за фонты в ней не пинайте - какие есть.
В Гпдф в свою очередь открыта книга Страуструпа - какя сами догадаетесь.
Фонты почти всюду терминус. ВМ как обычно в последние месяцы - fvwm2.
Руттейл убрал - нафиг не нужно, тока глаза мусолит :)

И чтобы веселее было - вопрос! Какая это ОС/Distr/Whatever? :)
Вот такие дела. пойду ка я спати :)

Я хочу изучать программирование и писать программы, чтобы было максимально удобно работать. Решил начать с Паскаля(да, я в 8(9) классе), чтобы изучить начальное строение программ. Теперь учу С++. Можете подсказать, подойдёт ли Линукс для моих целей? Если да, то какой)