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.

https://www.pcworld.com/article/559001/the-future-of-esports-is-microsoft-excel-and-its-on-espn.html

Not a joke. The competition indeed took place, and there's a winner.

https://roganmurley.com/2021/12/11/free-monads.html

Not even mentioning that monads are a fun game in itself! 😁