LINUX.ORG.RU

Избранные сообщения Artamudo

Хочешь бесплатно получить крышу над головой, еду и научиться программировать?

Форум — Talks

Просто присядь в английскую тюрьму https://www.bbc.com/news/technology-47570134 Оплати только билет из Москвы в Англию. Думаю в районе 5-10К руб. из регионов наверное дороже, а летом можно и автостопом почти бесплатно.

Еда, крыша над головой и изучение программирования под чутким руководством тюремной охраны.

P.S. В английском уголовном кодексе рассматривайте статьи на 2-3 года. Примерно столько нужно до джуна. Заодно и английский язык подтянете.

 ,

foror
()

Логика и грамматика в программировании

Форум — Development

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

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

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

Каково соотношение межуд логикой и формальной логикой? Что общего между ними?

 ,

protsquest
()

Рогалики

Форум — Games

Тред для обсуждения всех возможных рогаликов. Как свободных, так и нет, как с графикой, так и ASCII, как каноничных, так и более современных hack'n'slash-ей.

Основные современные рогалики: Angband, Nethack, ADOM, Crawl, ToME.

Классические рогалики: Rogue (родоначальник жанра), Hack, Moria, Larn, Omega.

Множество других рогаликов описано на roguebasin.com

buddhist
()

почему не стоит использовать manjaro?

Форум — Talks

в связи с переездом на новую материнку из-за глюков текущей, подумываю заодно и о смене дистрибутива. использую xubuntu 18.04 почти год, вполне сносно, но «вот что-то все не то, а и не понятно что». задачи рабоче-крестьянские: инет, почта, немного питона, виртуалки и записи видео. так же присутствует легкая неприязнь к вейланду и гному, основанная на их глючности, поэтому склоняюсь к иксам и, в идеале, к простецкому иксэфэсе. поглядел дистровотч и дерево дистрибутивов на википедии и выбор то не особо велик:

деб

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

рпм

  • центос и редхад слишком старые и для энтерпрайза + там софта либо нет, либо он древний.
  • федора всегда выкачивала по 100 метров апдейтов каждый день + опять же заточена на гном.
  • опенсуся огорожена ястом, который напоминает виндовый менеджер сервера, хотя плотно я на ней не сидел. хотя, сейчас посмотрел софт в репах, obs studio нет, vmware плеера тоже нет, придется ставить ручками.

участники специальной олимпиады

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

финишная прямая

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

внимание вопрос: какие могут быть подводные камни в использовании манджары вместо убунты с указанными вводными данными?

пс «Мы что-то упустили? Вы знаете дистрибутив, который вы ожидали найти в нашем списке и не нашли?»

 ,

chenbr0
()

Настройка wine в 2019 году для запуска игр

Форум — Games

Здравствуйте.Давно пытаюсь перейти на линукс,побывал много дистрибутивов.Но 1 проблема никак не могу запустить Wow. помню когда еше была Ubuntu 16 то он легко запускался.установкой вайн и пары библиотек вайнтриксом.

И так что пробовал... Имеется Ubuntu 18.10 wine 4.0. драйвера на видеокарту те что поставились сами из коробки кс го идет хорошо. Wine ставил так как написано тут https://wiki.winehq.org/Ubuntu Подумал что нынче в 2019 этого хватит запустил игру (включил эмуляцию рабочего стола) открылся рабочий стол дало выбрать язык и все тишина. начал ставить библиотеки различные с помощью вайнтрикс. В конфиге игры изменил на запуск c Opengl. все чего добился ето прозрачное окно игры и надпись ошибка 3Dускорителя. glxinfo пишет что рендеринг YES

Как вы поняли я в линуксе не смыслю.рыскаю по сайтам и делаю все возможные «how to»

В общем вопрос таков.Подскажите алгоритм действий установки и настройки wine для запуска игр. P/s пробовал deepin и доступный там crosover бутылку он создал но с ошибками ( не смог установить он шрифты и vc++) попробовал запустить и 0 на массу

Заранее извиняюсь за свое невежество)

 ,

stykaloaleksey
()

Человеческое управление пакетами в Linux

Форум — General

Предыстория тут

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

Касательно NixOS: _формально_ в ней есть то, чего мне хочется, но вместе с этим - куча всего на тему «как нам обустроить Линукс», причём сделано это как-то сумрачно, сопряжено с красноглазием, и мне трудно представить NixOS на среднем десктопе или ноуте, так что нужно что-то попроще.

Суть предложения: переделать FHS и немного пропатчить ядро, чтобы умело хардлинки для каталогов.

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

Поэтому корневой каталог будет выглядеть как-то так:

/Alyssa
/Bob
/root

На втором уровне много чего можно разместить, но речь про управление пакетами, так что ограничимся очевидным /pkg:

/Alyssa
  /pkg
/Bob
  /pkg
/root
  /pkg

Каждый пакет устанавливается в отдельный каталог:

/Alyssa
  /pkg
    /firefox:85.0.2
    /firefox-developer-edition:127.0.0.1
    /smplayer:28.6
    /telegram-desktop:4.8.2
/Bob
/root
  /pkg
    /linux-ubuntu:6.3.9600
    /linux-vanilla:6.3.9600
    /systemd:666
    /ubuntu-core:24.04
    /ubuntu-core:25.17

Логика такова:

  • Для каждого пакета разработчики/мантейнеры указывают зависимости (deps) пофайлово (чтобы отвязаться от названий пакетов, которые в каждом дистрибутиве свои).
  • В репозиториях лежат данные, в каком пакете какие файлы содержатся.
  • При установке пакета ПМ скачивает нужные deps-пакеты и устанавливает их в каталог пакета же.
  • Но если такой deps-пакет уже где-то установлен - вместо каталога с новым экземпляром deps-пакета создаётся хардлинк на уже установленный экземпляр (можно менять политики поиска дубликатов - только у root или же у любого пользователя, ради пущей экономии места).
  • Установка deps-пакета ничем не отличается от установки любого пакета. Т.е. всё вышеописанное выполняется рекурсивно вплоть до самого «нижнего» пакета (наверное, это ядро).

То есть:

/Alyssa
  /pkg
    /firefox:85.0.2
      /deps  - тут зависимости фаерфокса
        /ffmpeg:5.8.12
          /deps
            /bzip2:2.4.8  --хардлинк------------
            /lame:3.200                        |
              /deps                            |
                /ncurses:10.20  --хардлинк-----|-----
              /usr                             |    |  
          /usr                                 |    |
        /gtk:4.2  --хардлинк--------------     |    |
      /usr   - файлы самого фаерфокса    |     |    |
/root                                    |     |    |
  /pkg                                   |     |    |
    /ubuntu-core:24.04  - метапакет      |     |    |
      /deps                              |     |    |
        /bzip2:2.4.8  <------------------|------    |
        /gtk:4.2  <-----------------------          |              
        /ncurses:10.20  <----------------------------

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

Далее:

  • Обновления пакета как такового нет. Всегда идёт установка новой версии параллельно прежним.
  • При установке новой версии пакета, ПМ может переключить зависящие от него пакеты на эту новую версию, если это явно указано мантейнерами.
  • По умолчанию пакет остаётся с текущими версиями deps-пакетов и может так работать сколь угодно долго, пока в ядре что-нибудь не отломают.
  • Чтобы перенести пакет на новую систему, достаточно скопировать его каталог - это вытянет рекурсивно все его зависимости, кроме самых общих (ядро и systemd).
  • При удалении пакета полностью удаляется его каталог со всеми deps-пакетами. Если они где-то используются - они остаются там. Если больше нигде не используются - удаляются вместе с пакетом. Такая автоматическая сборка мусора без лишних сущностей.

В общем, суть такова. На мой взгляд, это хороший баланс между стабильностью, обновляемостью, экономией места и «ленивостью» сопровождения. Мантейнерам больше не придётся бежать в колесе, постоянно починяя отвалы программ из-за того, что A хочет B, а в репах уже B1 во все поля. Особенно это касается программ не из центральных репозиториев, а из всяких AUR и PPA. Ну а юзеры, в свою очередь, могут очень долго пользоваться необновляемыми программами при свежей системе.

Дискасс!

 , ,

Deleted
()

Дебильная тенденция

Форум — Talks

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

Или может быть наоборот, те, на кого рассчитана такая документация, совсем идиоты, и могут только повторять за видео движения рук и нажатия на клавиши, как макаки?

 видеофилия, ,

seiken
()

А вы заметили, что 5 лет назад и ранее, Интернет был книгой/газетой, а сегодня превратился в телевизор?

Форум — Talks

Полагаю, что через 5 лет он окончательно превратится в ТВ. Интерфейс изменится, всё перейдёт на голосовое управление, весь текст будет воспроизводиться на манер аудиокниги. А чё, посмотрел, как дочь общается в ВК: они вместо текста надиктовывают аудио и отправляют в сообщении. Соответственно, все комменты будут в виде аудио, поиск будет по видосикам, в Википедии всё заменят «видеостатьи»... Картавые и заики будут страдать, как сейчас страдают слепые, но что ж теперь. Это прогресс.

 , , ,

tiinn
()

Профессору Дональду Кнуту исполняется 81 год

Новости — Open Source
Группа Open Source

Сегодня, 10 января 2019 года, американский ученый в области информатики и математики профессор Дональд Эрвин Кнут отмечает свое 81-летие.

( читать дальше... )

>>> Персональная страница Д. Кнута

 ,

aquadon
()

Предтечи Computer Science

Форум — Development

Какие вещи предшествовали Computer Science? Наверное, теория информации, теория вычислимости, кибернетика. Возможно сюда следует отнести цифровую электронику (т.е. построение систем, на которых мы будем применять идеи теории информации и кибернетики). Возможно, математическая логика (ну это может в теорию вычислимости нужно отнести). Что ещё?

И есть ли какие-то книги или статьи, которые бросают взгляд на эти области и показывают, как всё это сливается в Computer Science? (я понимаю, что таких книг возможно и нет, и эти вещи надо просто осиливать самому до «полного просветления»).

 ,

arado
()

Современные погроммисты

Форум — Talks

Использование терминала при разработке под Андроид - https://habrahabr.ru/post/336348/

Маякните, когда появится статья «использование клавиатуры при программировании».

 , ,

andreyu
()

Вышел Steel Bank Common Lisp 1.4.15

Новости — Open Source
Группа Open Source

Steel Bank Common Lisp, реализация языка программирования Common Lisp, обновился до версии 1.4.15.

( читать дальше... )

>>> Скачать

 ,

saahriktu
()

С++ 2018

Форум — Talks

Не буду особо подводить итоги года, подведу лучше итоги C++ за 20 лет.

С тех пор как вышел стандарт C++98, утекло довольно много воды, поменялись мейнстримовые операционные системы, браузеры, базы данных, принципы и методы разработки ПО, и вообще, кто бы мог подумать что Microsoft станет одним из главных контрибьюторов в Open Source.

C++ все так же остается разрастающимся монструозным говном, однако в 98 году, у него была действительно важная область применения - системный софт для десктопных операционных систем. Сейчас область применения C++ - разве что поддержка всех тех сраных легаси систем, которые на нем когда-либо были, по недоразумению, написаны. Ну и конечно, социальные пособия умственно отсталым «программистам», которые не способны понять простой факт, что не все является гвоздем если у тебя в руках молоток, а переусложненное монструозное говно, представляющее из себя набор исключительно идиотских архитектурных недоразумений и просто случайных ляпов, не имеет смысла применять хоть где-то кроме как для перемножения матриц на стеке(уау, как круто перегрузили оператор сложения!) и то, если ваш проект не выходит за рамки «Мама, смотри, я написал треугольник на DirectX!».

В связи с этим вопрос - когда уже закопают труп?

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

 , ,

lovesan
()

Изучаем Common-Lisp

Галерея — Скриншоты

Все банально - емакс с набираемым кодом и результат исполнения этого кода. Пишем CAD по мере изучения.

>>> Просмотр (1680x1050, 545 Kb)

bioreactor
()

McCLIM 0.9.7 «Imbolc»

Новости — Разработка
Группа Разработка

После десяти лет разработки команда разработчиков решила выпустить релиз McCLIM — Common Lisp библиотеки для создания GUI, свободной реализации (лицензия LGPL) спецификации CLIM — спецификации полностью объектно-ориентированного тулкита на базе CLOS и идях потоков ввода и вывода, обладающего средствами платформонезависимости. CLIM унаследованна от GUI систем Dynamic Windows в лисп-машинах Symbolics.

Понятно что за 10 лет разработки список изменений очень большой и желающие могут ознакомиться с более подробной информацией в блоге McCLIM, git log и issue tracker.

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

Сайт проекта

>>> Подробности

 ,

ados
()

Нужно ли ФП обычным смертным программистам?

Форум — Development

Я c++ джуниор, работаю в интересной компании. Я хочу развиваться как программист.

Что делать с ООП понятно: книжки по паттернам и наизусть свежие стандарты. Но что делать с ФП? Есть ряд вопросов.

  • 1. Нужно ли обычному программисту (не теоретику, а человеку для которого программирование - работа) понимать Функциональщину чтобы профессионально развиваться?
  • 2. Есть ли на этом дружелюбном ресурсе люди, которые как я не осилили монады, лямбда-исчисление и при этом стали хорошими программистами?
  • 3. Полезно ли вообще программисту читать книжки вроде SICP? (у которого нет главной жизненной цели - блистать умом на лоре).

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

 , ,

JANB
()

Как учиться программированию?

Форум — Development

Где и как научиться программированию, а не только синтаксису? Вернее, чтобы вообще не стоял вопрос об ЯП. Есть ли признанные книги, курсы? Может есть варианты решения: изучаешь программирование через изучение синтаксиса или наоборот?

Посоветуйте пожалуйста для уровня нуба.

К примеру вот навскидку, что-то из подобного подойдёт?

1. https://www.intuit.ru/studies/courses/3533/775/info

2. https://www.intuit.ru/studies/courses/2193/67/info

3. https://www.intuit.ru/studies/courses/11876/1156/info

Буду благодарен за советы.

P.S. Это не толксы, не нужно тут чсв показывать.

 

le_legioner
()

А вам что, не очевидно, что информация это свойство объектов?

Форум — Talks

Ну или группы объектов или даже просто материи, если говорить про поля.

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

Кто-нить может пояснить ход мыслей этих людей? Ну или привести пример нематериальности информации.

 , ,

ya-betmen
()

Rust основан на LLVM?

Форум — Development

В одном треде высказывалось мнение, что язык Rust зависит от LLVM. Когда я написал, что его вполне можно собрать с GCC, мне ответили, что он точно так же будет зависеть от GCC и вообще он паразитирует на компиляторе C++.

Но ведь и GCC, и Clang написаны на C и C++ соответственно и что же, они паразитируют сами на себе?

Как я понимаю процесс сборки Rust: некий компилятор C++ собирает базовый компилятор Rust, который уже собирает полный компилятор Rust. Таким образом Rust может работать на тех платформах, на которых можно собрать его базовый компилятор, написанный на C++.

Верны ли мои представления или я заблуждаюсь?

 , , ,

ArkaDOSik
()

Почему место латыни в наше время занимает инглиш?

Форум — Talks

Сабж. Чем латынь плоха?

//Линукс тут при том, что он внутри тоже на основе английского весь. Хотя ASCII-таблицы и на латынь спокойно хватит.

 , ,

MiniRoboDancer
()