https://news.ycombinator.com/item?id=25123138 TLA⁺ (вернее, TLAPS) и Lean, кажется, опасносте.

https://scinquisitor.livejournal.com/184333.html Комменты, конечно, тоже хороши.

Искал в интернете https://www.famicol.in/language_checklist.html Вместо этого нашёл https://www.wikihow.com/Create-a-Programming-Language Вечный сентябрь становится всё более вечным.

Решил оцифровать пару мимолётных расчётов, вспомнил про TeX, который не ковырял лет 10. Это ж ебануться можно тому, что пишут в этих ваших интернетах. Хотите систему из двух выражений? «Поставьте systeme! Не ставьте systeme! Накостыляйте на array! Накостыляйте на cases! Не костыляйте на cases, это неидиоматично!» \\ не работает в \[…\]? Да какая разница, почему, смотрите, сколько у нас опций: euqation, align, gather! А какая между ними разница, выясняй сам: вот тебе поисковик, или без него сам наэкспериментируй со всеми. Листаешь викиучебник, а там через раз поминают какие-то костыли вроде mathbin. Это точно WYSIWYM для математиков, а не пародия на M4 для увлекающихся типографией линуксоидов? Я-то за полдня с перерывами справился с двумя страницами, залил куда надо и забыл, а если и откопаю в ближайшее время, то довольно быстро вспомню всё назад. Страшно представить, что же творится с Настоящими Молодыми Учёными™, которые отродясь фортрану не нюхали^W^W^W^W и библиотеки-то пишут нередко на отвали, лишь бы бумагу опубликовать.

Где-нибудь вообще можно почитать про использование TLA⁺ без ебанутой гуйни, которая ломается даже от простого GTK_IM_MODULE=xim?

Невидия. nouveau — тормозное говно, с которым тормозит даже смена воркспейсов с двумя urxvt в i3wm. Проприетарь — глюкавое говно, которое роняет аптаймы самыми изощрёнными способами, вставляет палки в колёса (xrandr уже починили?) и вечно выкидывает поддержку того, что едва перестало продаваться. Штеуд. Скатился: fifo underrun, картинка может начать плясать, смещаться или вообще почернеть в рандомный момент. Срочно требую таких же охуительных историй про амудэ, пока я не купил их карточку. На игрульки, 4к-видосики, tearing, wayland, майнинг и прочую модную херню насрать.

> We've open-sourced Retrie, a powerful tool for easier code refactoring in Haskell. https://engineering.fb.com/open-source/retrie/

Есть ли вообще в природе такая VCS, в которой можно засунуть исправленный руками или написанный с нуля дифф, а не алгоритмически сгенерированную срань вида «ты удалил тыщу строк перед "}" и добавил тыщу после»? Нет, patience diff тоже творит говно. (inb4 :set undofile и забей на фиксированные версии)

> I will not touch Git with a long stick. It is an undesigned duct tape and cable tie hack, the epitome of masochism in user interfaces. I have much better uses for my brain cells and time than to study for a PhD in gitology, prequisite for using a tool that gets in the way of doing the job instead of simply doing it. Хе-хе, Туомыч не меняется. Хочется создать петицию за возрождение блога и подписаться на патреоне, но он и эту идею наверняка обосрёт, а жаль.

http://www.sansbullshitsans.com/ я требую предустановки этой хуйни на все калькуляторы мира

Бвахахахаха. Первая глава саги «как переизобреталась гента»: https://www.linux.org.ru/news/redhat/15707456 Даже до старпёров уже доходит, а в Nix всё жопу чешут.

Фигасе, tux3fs ещё шевелится: https://github.com/OGAWAHirofumi/linux-tux3/commits/hirofumi-user

Оказывается, у всяких интерактивно-рекламных пидоров есть способ обойти dom.min_background_timeout_value: > Firefox 50 no longer throttles background tabs if a Web Audio API AudioContext is actively playing sound. Firefox 51 further amends this such that background tabs are no longer throttled if an AudioContext is present in the tab at all, even if no sound is being played. These resolve a number of issues with apps which play note-based music not being able to time or synchronize the music properly when the tab is in the background.

как же вы заебали плодить вебсокеты

Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.

Есть смутное подозрение, что самый большой источник учечек в современном огнелисе — гуй или ipc, а не сраный вебтриноль. Можно сколько угодно выгружать вкладки или заменять их на about:blank, но их закрытие часто освобождает гораздо больше памяти. Пиздец, не правда ли? Столько подпорок и костылей к высерам веб-макак — и всё для того, чтобы потолстеть в других местах.

https://www.opennet.ru/opennews/art.shtml?num=52867 А вы продолжайте по привычке покупать диски одной модели и из одной партии ради улучшения производительности RAID-массива аж на 0.0001%.