Стивен Вольфрам разрабатывает теорию всего. Интересное описание на хабре: https://habr.com/ru/post/518206/

Перегрузил систему после очередного обновления и глянул free, вот сижу и думаю, почему эти жуткие гигабайты приписывают гному?! Ну ладно люди не могут осилить DNF, это понять можно, но в общем систему же надо настраивать под себя! Ясное дело, что дистрибутивы для десктопа упаковывают по полной, ведь проще отключать ненужное, чем искать нужное. Кароче, претензии к жручести гнома безосновательны.

$ free -h
              total        used        free      shared  buff/cache   available
Mem:          7.6Gi       340Mi       6.9Gi        84Mi       441Mi       7.0Gi
Swap:            0B          0B          0B

$ neofetch 
          /:-------------:\          me@my 
       :-------------------::        ----- 
     :-----------/shhOHbmp---:\      OS: Fedora 31 (Thirty One) x86_64 
   /-----------omMMMNNNMMD  ---:     Kernel: 5.6.8-200.fc31.x86_64 
  :-----------sMMMMNMNMP.    ---:    Uptime: 1 min 
 :-----------:MMMdP-------    ---\   Packages: 1082 (rpm), 6 (flatpak) 
,------------:MMMd--------    ---:   Shell: bash 5.0.11 
:------------:MMMd-------    .---:   Resolution: 1920x1080 
:----    oNMMMMMMMMMNho     .----:   DE: GNOME 
:--     .+shhhMMMmhhy++   .------/   WM: Mutter 
:-    -------:MMMd--------------:    WM Theme: my-theme 
:-   --------/MMMd-------------;     Theme: Adwaita [GTK2/3] 
:-    ------/hMMMy------------:      Icons: Adwaita [GTK2/3] 
:-- :dMNdhhdNMMNo------------;       Terminal: gnome-terminal 
:---:sdNMMMMNds:------------:        CPU: Intel i3-4330 (2) @ 3.500GHz 
:------:://:-------------::          GPU: Intel HD Graphics 
:---------------------://            Memory: 426MiB / 7824MiB 

Цветовая схема была построена на базе этой.

• Обои
• Цвета Atom — Beta Modified
• Цвета терминала
• Шрифт — Iosevka

>>> Просмотр (2560x1440, 1440 Kb)

https://pagure.io/fedora-workstation/issue/165

Allan Day предлагает в следующем релизе Workstation запретить удаление некоторых «важных системных компонентов»: gnome-control-center, gnome-software, gnome-terminal, yelp.

На резонное замечание

We see a very high number of complaints about gnome-software and cannot plausibly prevent users from removing it; they will switch to other distros over that issue alone. Honestly, blocking users from using dnf to install gnome-software would severely damage our reputation: we don't want to go there. Same for gnome-terminal and nautilus, since many users replace these with tilex, nemo, etc.

потрясающий ответ

These observations are news to me, and they go against the evidence I've seen when doing my own user research. It's hard to wrestle with these kinds of questions without having quantitative data, but knowing a bit more about what's been observed would be useful.

Внезапно многие вещи относительно направления движения гнома обретают смысл - главный дизайнер живет в золотом замке, ест пирожные вместо хлеба и слушает только хорошие новости.

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

Всем привет! Есть программа которая биндитится к ip адресу vpn (openvpn) сети. При перезагрузке происходит ситуация, когда сервис стартует до момента настройки tun интерфейса и как следствие возникает крит о том что не возможно создать сервер на заданном ip. Прописывание After openvpn не помогает, потому что последнему требуется время на создание и настройку интерфейса, а systemd считает что сервис успешно запустился еще за долго до этих действий. Вопрос - как без костыля в виде промежуточного скрипта запустить мой сервис после получения ip на tun?

Привет!

• 1. Вопрос по Fedora 31 xfce spin, все работало нормально. После апгрейда до 32 начались неполадки: в процессе загрузки очень часто на разных элементах загрузки стало на секунду проскакивать a start job running... так и не понял как это побороть, это раз, второе, общий отклик от системы на мои действия увеличился, появился лаг, пусть на миллисекунды но он есть и раздражает. Собственно вопрос, насколько такие глюки «нормальны» для Fedora и возможно ли такое исправить кроме как полной переустановки системы? Я понимаю, что вопрос общий но все же интересно.
• 2. Вопрос по Centos 8. Установил минимальную систему CentOS-8.2.2004-x86_64-minimal.iso отсюда http://isoredirect.centos.org/centos/8/isos/x86_64/ Установка прошла успешно. Первый запуск загрузился в голую консоль. Сеть отсутствовала, помогло ifup имяинтерфеса Установил xfce:

$ sudo yum install -y epel-release
$ sudo yum groupinstall -y "Xfce"
$ sudo reboot

после установки оказалось, что нет некоторых апплетов таких как nm-applet и xfce4-xkb-plugin Вопрос, почему? Если nm-applet доустановил и он заработал, то как сделать чтобы флаги раскладок клавиатуры отображались в трее так и не понял. Через общие установки клавиатуры добавил нужные языки но в трее они не отображаются. И еще, оказалось что в этой минимальной установки присутствует ГНОМ3 но урезанный совершенно. Вопрос, откуда в минимальной установки ГНОМ и почему он урезан?

В целом скорость ЦентОС мне понравилась но почему сразу столько проблем? Или эта система предназначена только для серверов?

Или же правильнее скачать полный образ 7гб и уже с него выбирать минимальную установку?

UPD1

а можно установить xfce в centos8 из федоры? Если да, то из какого репозитория.

Имеются ввиду возможности, встроенные в сам язык. Что имеем:

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

Зачем нужна такая фича, когда можно генерировать код внешней утилитой?

Привет чуваки

Помогите разобраться, есть два вопроса , один касаемо gcc , другой касаемо Gentoo, в которой будет происходить сборка и установка. GCC нужно собрать для конкретного слабенького процессора ноутбука, в котором пишутся простенькие программки типа «здраствуй мир»

intel(R)Core2 Dou T9800

Вопрос что лучше и правильнее выставить вот тут

--with-cpu=?

Может core2?

чуваки, не говорите, что это нафиг ненадо, что это бред. Просто подскажите, что выставить?

Тут еще просят с нашей группы спросить у вас «гореассемблеристы» и не знают что выставить, если они хотят использовать Ассемблер из Gcc

--with-gnu-as

Что то надо добавить к этой опции?

и последнее, скажите уважаемые Gentooюзеры, как обновить всю систему после сборки и кстановки нового компилятора? Хотят пересобрать все полностью

Опытный разработчик игр проясняет смузихлебам за С++, линукс и emacs.

Для Ъ: аватар поставил хипсторов на место

P.S. на 02:00:00 самое интересное. Он рекомендует Croco.

Таймкоды в первом комментарии на ютубе.

У кого сколько? У меня самый старый рассыпается уже, 4 года - корпусу крышка, всё остальное норм

Доброй ночи.

Есть сильное желание разрулить бардак с файлами, который сейчас творится у меня на компьютерах. Сделать синхронизацию, регулярные бекапы и прочее. Пробовал пользоваться публичными облаками, но не зашло - Google Drive, OneDrive не поддерживают Linux, а отечественным сервисам нет доверия. Есть постоянно работающая машина, хочется организовать на ней файлопомойку. Я бы разделил все файлы на три категории:

1. Небольшие файлы типа документов, которые нужно синхронизировать между всеми машинами
2. Большие файлы, которые синхронизировать не нужно, но должна быть возможность оперативно достать их при необходимости. Храниться будут на отдельном диске.
3. Архивы и бекапы, доступ к которым нужен крайне редко и которые хранятся в публичном облаке в зашифрованном виде (спасибо, rclone)

Из того, что уже успел попробовать:

• Nextcloud. То, что он тормозит, это ладно. Десктопный клиент уже второй раз отказывается синхронизироваться. Первый раз это был явный баг с поддержкой HTTP/2, который довольно оперативно пофиксили, во второй раз просто молча отказывался что-либо делать. Штатный конфиг MySQL постоянно что-то писал на диск, терзая SD-карту. Плагин для работы с внешними хранилищами дико глючный, с WebDAV отказывается показывать размеры файлов и дату изменения, с FTP через раз выдает ошибку при попытке выгрузки файла. Понятно, что можно дальше разбираться и дебажить, но в какой-то момент накипело, начал искать альтернативы.
• Seafile. Не поддерживает внешние хранилища. Для последней версии нет сборки под ARM. Попробовал собрать сам, система сборки работает на каких-то костылях и вызывает ощущение фрустрации. Пришлось вставлять несколько workaround, чтобы нормально заработало за nginx. В общем, доверия этому инструменту у меня нет.
• Syncthing. Та вещь, которой пользовался несколько лет до того, как решил привести всё в порядок. Работала сравнительно стабильно, но временами всё же тупила - либо не видела изменения, либо не торопилась отправлять их другим пирам, либо внезапно останавливала передачу. Это было в районе версии 1.2, если кто-то может подтвердить, что за это время подтянули стабильность, буду очень благодарен. Ну и другой важный минус - нужно где-то отдельно искать веб-интерфейс для оперативного доступа, кроме filestash пока что ничего не нашёл.
• Resilio Sync. Долгое время не решался пробовать, ограничивался Syncthing. На днях попробовал, вроде работает. Если ситуация со стабильностью лучше, чем у Syncthing, буду пользоваться этой утилитой. Та же проблема с веб-интерфейсом, про которую писал выше.

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

900 MHz счастья и 256 Mb радости. GPU Radeon 7000 (RV100), 18Gb HDD. Планирую сделать апгрейд до GeForce 4 MX (или посоветуйте что-нибудь лучше для AGP 4.x). Еще скриншот.

• Firefox 3.6.9 (40.х тоже норм, но 3-тий достаточно)
• gimp2
• Libreoffice 5
• mplayer (да, в HD 720p может)

Больше и не надо.

>>> Просмотр (1280x1024, 1197 Kb)

Всем привет! Спустя некоторое время выкладываю продолжение результатов «упорных» стараний над оптимизацией Gentoo на ПК с Intel Celeron Coppermine 900 MHz и 256 Mb RAM. Что сделал:

• С помощью ноута собрал 17-ую версию;
• Ядро теперь 4.14.8, а так же я поснимал еще больше звездочек в menuconfig (на старте без X и MariaDB - min 13 Mb RAM, c XFCE - min ~60 Mb RAM);
• Нет теперь dm, запуск X происходит автоматически с помощью getty+autologin;
• Браузер Palemoon SSE версия работает шустрее, страницы открывает почти как в 2018 году;
• Все тот же gimp2 и теперь OpenOffice 4, который пришел на смену LO, так как LO заколебал своими багами;

Была попытка использовать вылизанную Plasma 5, но черепашьему HDD это не понравилось.

Некоторое время Gentoo даже обновлялась до первого прихода gcc. ПК использовался в качестве печатной машинки, для работы с таблицами, для того, чтобы поправить картинки в gimp, и в качестве сервера CUPS и базы данных MariaDB с последующем подключением через OO Base.

Вот еще два скриншота:

• Десктоп
• rc-update, cpuinfo, lsblk

К сожалению, это последние скриншоты, ко мне наведался «ИТ отдел» с новым ПК, с установленным Windows 7, мой компьютер обещали форматнуть с аргументом !внезапно! «линукс нелицензионный, нельзя, точка», и скорее всего будет отправлен на свалку. Комп 04.01.2002 даты рождения, с ним я работал 2 года, был мной почищен от пыли и от XP ZverCD с заменой термопасты. По информации из BIOS с 45'С упало до 36. Оформляется stage4. Сегодня или завтра его последний день :(

И немного конфигов:

• Kernel Config
• make.conf
• xorg.conf

>>> Просмотр (1280x1024, 537 Kb)

Про Аду еще не забыли?

Известно, что исключения в C++ с одной стороны упрощают обработку нештатных ситуаций, а с другой стороны делают программный код часто сложнее, потому что такой код уже должен поддерживать «гарантии безопасности», что составляет определенную сложность для языка без сборки мусора (GC). Очень много нюансов.

Исключения в Аде появились раньше, чем в C++. Они были уже в стандарте 83-го года. Это была одна из продающихся фишек первого стандарта языка. Как поддержка исключений соотносится с безопасной средой исполнения кода? В Аде есть элементы GC? Там что-то было про подчищение памяти еще в стандарте 83-го года, но я уже давно все забыл.

Гарантируется ли в Аде безопасность на базовом уровне? Не может ли брошенное исключение привести к утечке или какому другому дефекту в памяти? Если нет, то как это соотносится со скоростью исполнения кода?

Я имею ввиду структура папок и формат файлов(вэб наример) на манер системы УДК. Еще такой вопрос, как это устроено в базах данных?

В Европе собираются ослаблять карантин, при этом граждане остерегаются новой волны заражений. Если карантин всё же ослабят, значит ли это что упадок экономики важнее для государства, чем заражение и смерть своих граждан?

Когда-то давно thunderbird сворачивался дополнением firetray, сейчас же даже ничего не гуглится чтобы thunderbird 68 как-то свернуть в трей. Я стал пропускать письма :) Есть вариант как его свернуть в kde5 ?

Тут один молодой «программист» у меня на днях спросил: а вы что самоучка что ли, вас никто не учил программированию ? При том, что у меня мехмат лет 15 назад был.

Я даже не знал, что ответить … - всегда думал что для программирования в приоритете математическая база, а не «обучение»

Несколько лет назад я сформулировал из чего состоит универсальная интеллектуальная система. Тезисы следующие:

1. Весь мир функционирует по математическим функциям (см.определение в вики). И возможно составить программу которая будет находить таковые функции существующие в реал.мире статистически методами.

2. Любая задача и решение, или вопрос и ответ, это то же функция, и как следствие она будет одной из найденных в п.1.

3. Среди прочих функций находимых в п.1, функцию задачи из п.2 можно идентифицировать по подобию значений по тестовым примерам (введем несколько вопрос-ответ примеров, и посмотрим какая функция наиболее соответствует этим примерам).

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

И к моему не пониманию, программисты ИИ относятся к этому с непониманием. Отклики которые я получаю, это типа все есть чушь, либо умные мысли тех кто вообще не занимается программированием, в основном об прочей шелухе о которой я повествую на сайте. Вопрос: почему эти утверждения никем не воспринимаются? То ли я не ясно изъяснился, то ли, здесь видят изъяны, то ли просто те кто все же соглашаются, те соглашаются молча без отзывов.

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

Так же существует мое дополнительное утверждение, что другим способом, кроме как указанным в этих утверждениях, сделать универсальную интеллектуальную систему никак. Но это как ИМХО.

Простите, друзья, копипаста с Хабра, но я надеюсь, что здесь есть люди, которым это было бы интересно:

https://habr.com/ru/post/495050/

Научно-практическая конференция Scheme and Functional Programming Workshop 2020 открывает подачу заявок на доклады.

Scheme and Functional Programming Workshop — это ежегодное мероприятие, научно-практическая конференция, на которой собираются специалисты про языкам программирования, эстетически или технологически отвечающим основным принципам, заложенным в Алгоритмическим Языке Scheme: минимализму, сохраняющему универсальность, и тщательному проектированию, обеспечивающему гибкий дизайн.

От докладчиков ожидаются статьи о передовых научных результатах, а также отчёты о практических достижениях, как в инженерной, так и в образовательной сферах, а также развёрнутые предложения по рассмотрению идей сверх-ранней стадии или переосмыслению старых подходов. Приветствуются и поощряются работы, имеющие отношение к любым языкам, входящим в семейство Scheme: от чистых подмножеств RnRS, до «вариаций на тему Схемы», таких как Racket, других диалектов Lisp, включая Closure, Emacs Lisp, Common Lisp, и иных функциональных языков, поддерживающих замыкания и/или макросы (или имеющих таковую поддержку в средствах расширения языка, например, библиотеках). Примерами подобных могут являться Dylan, ECMAScript, Hop, Lua, Scala, Rust и ещё множество других. Общая элегантность работы и релевантность заявленной тебе будут являться более важным критерием оценки, нежели отдельные элементы синтаксиса, в котором реализованы примеры.

Наиболее интересующие темы включают (но не исчерпываются):

• Взаимодействие с разработчиком: средства написания программ, интегрированные среды разработки, отладка, тестирование и рефакторинг
• Реализация вычислительных движков: интерпретаторы, компиляторы, инструменты, сборщики мусора, бенчмарки
• Средства расширения языка: макросы, гигиена, доменно-специфичные языки, рефлексия, а так же как таковые влияют на процесс разработки
• Выражения: средства управления, модульность, полиморфизмы разных видов, типы, аспекты, модели владения, параллельные вычисления (конкурентные вычисления, многопоточность), иные способы параллельного выполнения, недетерминированные вычисления, вероятностные вычисления, и тому подобное
• Средства интеграции: инструменты сборки, развёртывания, взаимодействия с другими языками и системами
• Формальная семантика: теория, анализ и преобразования, частичное выполнение (partial evaluation)
• Человеческий фактор: прошлое, настоящее и будущее, эволюция и социология языке Scheme, стандарт и диалекты
• Образование: подходы, практические отчёты, образовательные программы
• Приложения: промышленные применения Scheme
• Искусство: элегантные и красивые трюки и применения Scheme

Даты

• Окончание подачи заявок: 15 Мая 2020
• Уведомление о рассмотрении заявок 12 Июня 2020
• Финальные версии работ для печати: 30 Июня 2020

Под датой дедлайна подразумевается таковая в любой точке Земли (23:59 UTC-12)

Формат подачи

Финальные бумажные версии работ должны использовать формат acmart и подформат acmlarge. Они должны быть в PDF, и допускать печать на бумаге формата US Letter. Microsoft Word/LaTeX шаблоны можно скачать:

http://www.sigplan.org/Resources/Author/

Этот формат согласуется с общепринятым форматом конференций ACM (включая ICFP, которая проходит в том же месте в то же время). Рекомендуеся использовать опцию «review» для нумерации строк, это упрощает рецензирование.

Конференция приветствует все возможные виды докладов, включая полноценные научные статьи, практические отчёты и блиц-доклады (lightning talks). Статьи и отчёты ограничены в объёме 14 страницами, но и меньшие размеры приветствуются. Блиц-доклады ограничены 192 словами. На каждую статью или доклад отводится слот в 25 минут, включая вопросы. На блиц-доклад отводится два пятиминутных слота, один для доклада и один для вопросов.

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

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

Труды конференции (Proceedings) будут опубликованы в формате технического отчёта (Technical Report) Мичиганского Университета (University of Michigan), а также загружены на http://arXiv.org

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

Ссылки

• http://schemeworkshop.org
• http://icfp20.sigplan.org/home/scheme-2020#Call-for-Papers

Персоналии:

Оргкомитет

• Michael D. Adams (Program Co-Chair), University of Michigan
• Baptiste Saleil (Program Co-Chair), IBM Canada
• Jason Hemann (Publicity Chair), Northeastern University

Программный комитет

• Michael D. Adams (Program Co-Chair), University of Michigan
• Baptiste Saleil (Program Co-Chair), IBM Canada
• Maxime Chevalier-Boisvert, Université de Montréal
• Ryan Culpepper, Czech Technical University
• Kimball Germane, University of Utah
• Yukiyoshi Kameyama, University of Tsukuba
• Andy Keep, Cisco Systems, Inc
• Julien Pagès, Université de Montréal
• Alexey Radul

Направляющий комитет

• Will Byrd, University of Alabama at Birmingham
• Will Clinger, The Larceny Project
• Marc Feeley, Université de Montréal
• Dan Friedman, Indiana University
• Olin Shivers, Northeastern University