Best viewed with LeechCraft on Microsoft Linux. Войти !bnw Сегодня Клубы
УНЯНЯ. У нас есть немножечко инфы об этом пользователе. Мы знаем, что он понаписал, порекомендовал и даже и то и другое сразу. А ещё у нас есть RSS.
Теги: Клубы:

OOM всё чаще стал приходить в момент, когда памяти, казалось бы, ещё дофига. Кажется, я начинаю догадываться, почему: MemFree: 1940452 kB MemAvailable: 3082928 kB Buffers: 30792 kB Cached: 7696368 kB Dirty: 256 kB Writeback: 0 kB С каких пор Available стал меньше Free+Buffers+Cached-Dirty-Writeback? Кто и зачем спиздил у меня эти 6,5 гигов памяти?
#DAM9SD (9) / @enterprize / 45 дней назад
После `swapoff *` количество занятой памяти уменьшилось на (29,6+29,4)—44 = 15 ГБ. WTF? Для накладных расходов на поиск страниц соотношение 1:2 какое-то дохуя жирное. В SwapCached столько не было; точно не помню, но где-то меньше пяти гигов.
#UIFDTT (0+1) / @enterprize / 207 дней назад
? tla
Где-нибудь вообще можно почитать про использование TLA⁺ без ебанутой гуйни, которая ломается даже от простого GTK_IM_MODULE=xim?
#JF5QTQ (1) / @enterprize / 1250 дней назад
?
Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.
#MJ3ULP (6+2) / @enterprize / 1422 дня назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.