home tags events about rss login

Things happen.

sergeyb honked 28 May 2023 23:00 +0300

Мультфильмы Хаяо Миядзаки станут недоступны в российских онлайн-кинотеатрах с 1 июня. На ivi.ru можно купить каждый его мультфильм за 1 руб.

sergeyb bonked 28 May 2023 19:47 +0300
original: corbet@social.kernel.org

So I am distinctly grumpy with the Internet for having, for some unknown and inexplicable reason, failed to tell me about NO_COLOR for the last five years or so. Maybe I can finally stop cursing the people who think that yellow text on a white background is somehow legible...


sergeyb bonked 28 May 2023 15:51 +0300
original: grunfink@comam.es

I'm glad to announce the release of version 2.33 of #snac, the simple, minimalistic #ActivityPub instance server written in C. It includes the following changes:

Polls (in #ActivityPub lingo, Questions) are shown and can be voted on. Creating a poll is not yet implemented, though.

If an URL written in a post links to an image, it's converted to an attachment.

Fixed a bug in the semaphore code that caused total hangs on OpenBSD.


If you find #snac useful, please consider buying grunfink a coffee: https://ko-fi.com/grunfink

sergeyb honked 26 May 2023 15:37 +0300

TIL: с cat(1) можно напечатать файл с указанием номеров строк. Удобно, когда нужно кому-то показать код и ссылаться на него по номерам строк. GNU cat --number cc.lua, BSD cat -n cc.lua.

sergeyb bonked 26 May 2023 10:08 +0300
original: dleberre@mastodon.social

If you have heard about the SAT problem and wonder why SAT solvers are incredible piece of software (and knowledge), you may find this article of interest:

Johannes K. Fichte, Daniel Le Berre, Markus Hecher, and Stefan Szeider. 2023. The Silent (R)evolution of SAT. Commun. ACM 66, 6 (June 2023), 64–72. https://doi.org/10.1145/3560469