Приняли два патча в GNU Guix с пакетами Python:
- python-wasabi — "Console printing and formatting toolkit": https://git.savannah.gnu.org/cgit/guix.git/commit/?id=6caac30e444ef9d0ca7e303ff72be1139453e833
- python-catalogue — "Lightweight function registries for your library": https://git.savannah.gnu.org/cgit/guix.git/commit/?id=4f122abfe0732e40f9422cc90c6c067d2825cf0a

\o/

#gnu #guix #python

Впервые за долгое время смог заставить себя дописать стихи, которые были в работе уже много лет:
https://memory-heap.org/~avp/poetry/2022/2022-05-27.html

Если у вас по какой-то причине не открывается сайт, то вы также можете прочитать стихи на GitHub.

#стихи #творчество

Потрясающе красивое произведение от Sun Rai (Rai Thistlethwayte):
https://www.youtube.com/watch?v=MOrWGYmCBWM

#music

GitHub Skyline:
https://skyline.github.com/artyom-poptsov/2021

#dev

Модель GitHub Skyline можно выгрузить в формате STL — вот здесь она крутится во FreeCAD 0.19.

Собственно сама модель.

 ✏️ Парк науки ННГУ «Лобачевский Lab»: Всем привет! Мы решили сделать одну из лекций образовательной программы Лаборатория Science HUB (https://vk.com/club112765957) доступной всем!

⚡ 3 июня в 19:00 / Парк науки (Ульянова, 10б)
Лекция Александра Соколова «Как отличить науку от лженауки»

Существует множество определений лженауки. Однако очевидно, что важно не какое-то самое точное определение, а инструментальные критерии, позволяющие увидеть симптомы этого пагубного явления. Александр Соколов расскажет о том, как отличить добротный научпоп от псевдонаучного суррогата, где за красивыми словами скрывается некомпетентность. Выступление будет проиллюстрировано конкретными примерами из научно-популярных книг.

Александр Соколов, редактор портала АНТРОПОГЕНЕЗ.РУ, научный журналист

🖖🏻 Вход свободный! Необходима регистрация: lobachevskylab.timepad.ru/event/2054538/

Проект реализуется при поддержке Президентского фонда культурных инициатив
#ЛабораторияScienceHUB #фондкультурныхинициатив

Записал на слух часть выступления Лесли Лэмпорта (перевод ниже):

"So... Programmer should know about thinking? What everyone should now about thinking? Everyone thinks they think. But when you don't write your thoughts — you're fooling yourself. What a programmer should know about thinking that you should think before you code. Which means you should write before you code. A speck is simply what you write before you coding.

So what code you should specify? [...] Basically any piece of code that someone else might want to use or modify. And that 'somebody else' will likely be you in a month when you forgotten what this piece of code you written does. It could be an entire program or system, a class, a method or just a tricky piece of code inside of a method.

What should you specify about the code? What it does — which means everything anyone needs to know to use it. And perhaps how it does it — if it's complicated, subtle, [you] need to think hard about it to get it right. This is what sometimes called an algorithm, a high-level design.

How should you think about or specify your code? Above the code level — in terms of states and behaviors, or functions for input/output relationships; should do it mathematically as rigorously and formally as is necessary. You should be thinking mathematically even if you're writing mathematics things very informally — perhaps with pseudo-code or Pascal if you're specifying how something does it.

So how do you learn how to write specs? By writing formal specs — even if you never need to write a complete formal spec in your life, learning to write formal specs will really help you learn to write informal specs you need to write.

You learn to write programs by writing them, running them and correcting your errors. You can learn to write formal specs by writing them, running them with a model checker and correcting your errors."

Мой перевод:

"Таким образом... Что должен знать программист о мыслительных процессах? Что все остальные должны знать о мыслительных процессах? Каждый думает, что он думает. Но если вы не записываете ваши мысли — вы обманываете себя. Что должен знать программист по поводу мыслительных процессах — так это то, что вы должны думать перед тем, как писать код. И это означает, что вы должны писать перед тем, как начинать кодирование.

И для какого же кода следует писать спецификации? В целом, для любого куска кода, котороый кто-то другой может захотеть использовать или модифицировать. И этот 'кто-то другой' скорее будет вами через несколько месяцев, когда вы забудете, что этот кусок кода, который вы написали, делает. Это может быть целая программа или система, один класс, метод или просто хитрый кусок кода внутри метода.

Что нужно писать в спецификации по коду? Что он делает — то есть, всё, что нужно знать кому-либо, чтобы использовать его. И возможно также как код делает то, что он делает — если он сложен, неочевиден, и вы должны напряжённо думать для того, чтобы написать его правильно. Это [описание] часто называется алгоритмом, или высокоуровневымы дизайном.

Как вы должны думать о коде или писать спецификацию? На уровне, который выше уровня вашего кода — в терминах состояний и поведений, или функций для взаимодействия ввода/вывода; вы должны делать это математически так строго и формально, насколько это необходимо. Вы должны думать математически, даже если вы пишите математические вещи очень неформально — например, псевдо-кодом или на Паскале, если вы описываете, как что-то работает.

Так как же вы можете научиться писать спецификации? Через написания формальных спецификаций — даже если вам никогда не потребуется писать полностью формальную спецификацию в вашей жизни, обучение написанию формальных спецификаций реально вам поможет научиться писать неформальные спецификации, которые вам надо сделать.

Вы учитесь программированию через написание программ, запуск программ и исправление ошибок. Вы можете научиться писать формальные спецификации через их написание, запуск их через программное обеспечение для проверки моделей и исправление ошибок."

#dev #translations

Очень круто:
https://www.youtube.com/watch?v=tPB7Rvk2yzQ

#music

Пробуем на практике по Android в колледже сделать аналог игры 1991-го года "Dangerous Dave in the Haunted Mansion"

#dev #gamedev #нртк

В аудитории достаточно темно

П: Guys, do you need some more light?
С: No...
П: Little vampires...

Соломоновская А.Л.

#НГУ

The Central Social Institution in Prague, Czechoslovakia, 1937 (Score: 150+ in 1 day)

Link: https://readhacker.news/s/5dFSJ
Comments: https://readhacker.news/c/5dFSJ

Обновили фрезер для гравировки печатных плат. На видео -- первые испытания.

Сверление платы.