Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2020-11-28 23:24:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Soft Kill - CHOKE
Entry tags:gentoo, linux

упаковано с поддержкой apulse
Много лет боялся везде поднимать новую версию firefox,
который после 52-й версии отказался поддерживать
звук без pulseaudio, так и сидел с 52-й, которая
давно сдохла. Но тут по случаю поднял последнюю,
обнаружил, что в Gentoo оно по умолчанию
упаковано с поддержкой apulse, и ни в какой
pulsaudio не нуждается. Неожиданно, но приятно.

Вообще gentoo в таких вещах радует, но надо не
забывать отключать говно, когда оно добавляется;
например, USE="-elogind", чудовищно вредоносная
штука, которую зачем-то добавили дефолтом к иксам.
И eudev вместо udev, естественно, он работает
на порядок стабильнее и лучше.

Это я тут себе всю систему пересобирал по случаю
всеобщего перехода на 17.1,
сто потов сошло.

Привет



(Читать комментарии) - (Добавить комментарий)


[info]_______
2020-12-01 04:17 (ссылка)
чем мотивируются ADT для детей в школе?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2020-12-01 14:51 (ссылка)
Тем же, чем вообще типы в программировании же: типизируем программу, стараемся обходиться без прямого доступа к памяти, насколько можно, компилятор спасает нас от ошибок.

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]_______
2020-12-02 02:49 (ссылка)
Да, окей, ну я про именно _алгебраические_. Обычные типы понятно зачем.

А что такое F*?

(Ответить) (Уровень выше)


(Читать комментарии) -