"Баранина с жирком" — eto ya...

C.P. Snow’s chapter (with Norbert Wiener of Cybernetics as discussant) predicted a world where software would rule our lives, but the people who wrote the software would be outside the democratic process. He wrote, “A handful of people, having no relation to the will of society, having no communication with the rest of society, will be taking decisions in secret which are going to affect our lives in the deepest sense.”

In nineteen-fucking-sixty-one! And sixty years later here we are. 😒
From https://computinged.wordpress.com/2021/11/26/computer-science-was-always-supposed-to-be-taught-to-everyone-but-not-about-getting-a-job-a-historical-perspective/

Android: слушай, пальцами в экран тыкать -- это не твоё, лучше Ассистенту объясни голосом, что тебе надо, а?

https://osc-delft.github.io/posts/2021/11/24/open-data-and-software-in-tackling-the-climate-crisis/
Любопытная дискуссия в которой упомянули некоторые неочевидные проблемы. Интересный набор ссылок в конце. В частности, https://www.worldcommunitygrid.org/ — как старый добрый SETI@Home, но для других целей.

Я, конечно, не ставил, но если кому интересно -- пробуйте.

У scite_ появилось расширение для браузера, показывающее список литературы (кнопочка со списком), цитирования (зеленая галочка — поддерживающие, черная косая черта — просто упоминающие, синий знак вопроса — противопоставляющие), а также эрраты и ретракции: https://scite.ai/extension-install Имхо, грех не поставить себе! 👍 #инструменты

https://acmsigsoft.github.io/EmpiricalStandards/about/
An initiative to have some common research standards for Empirical Software Engineering (that's a term).

https://thehottgameguide.readthedocs.io/en/latest/index.html
The Homotopy Type Theory Game.
Sounds like a lot of fun doesn't it? 😁

https://www.wombo.art/

Не знаю, насколько это "легально", но картинки (временами) генерирует крутые! 😃

https://buttondown.email/hillelwayne/archive/defense-in-depth-is-actually-a-good-thing/

Another (pretty comprehensive) argument for combining both formal methods and testing (and code reviews, and everything else) from Hillel Wayne.

The only part I slightly disagree about is cohesion: I don't think all the techniques necessarily push code in different directions. Kinda obvious counterexample is static types and deductive functional verification: they both push code in the same direction, namely Functional Programming (yep, even in OO and other languages). Which perfectly aligns with Property-Based Testing. I'd argue it aligns with Unit Testing as well. And if all of your team does all of that — types, verification, PBT, etc. — they all will consider such code "natural" so your code reviews will push it in the same direction. Maybe, cohesion wouldn't be so bad with DiD after all. 😊

Куда ему тягаться с Кметтом! 😂

OK, it did surprisingly much better than I expected. Still missed by a mile of course and completely ignored the proof, but could pass a Turing test other day.

https://deadlockempire.github.io/

Become The Scheduler and destroy miserably concurrent code thrown at you! For the Emperor!!! 😈

http://www.cs.nott.ac.uk/~pszit/cp.html

Введение в программирование используя Python от Thorsten Altenkirch. Выглядит любопытно, но что внутри — не смотрел. Зато обложка — огонь!
http://www.cs.nott.ac.uk/~psztxa/cpwp.jpg

https://en.wikipedia.org/wiki/Mathematics_Made_Difficult

It was funny in 1972 but 50 years later in 2022 nLab took it to the whole new level. Probably mathematicians misunderstood what "post-irony" means.

https://guzey.com/co-working/#why-co-work-in-the-first-place

Вот, оказывается, зачем нужен gather.town. Может, кому пригодится.

Наконец-то по-настоящему полезный ИИ! 😁

elicit.org, некий рисёрч ассистент нейросеть

https://haslab.github.io/formal-software-design/index.html
"Formal Software Design with Alloy 6"

Includes a short section on teaching with Alloy4Fun and primers on relational and temporal logics for the reference.
But didn't read yet.