Попробовал, наконец, классную математическую настольную игру "Машина Тьюринга".
На самом деле не столько игра, сколько головоломка, которую вы можете решать в одиночку, совместно или соревнуясь. Она совершенно гениально сделана, и я не до конца понимаю, как именно, но она работает и приносит много удовольствия.
Каждая задача в игре — трехзначное число с цифрами 1..5, зашифрованное в наборе карточек. Карточки двух видов: выражение и его валидатор. Выражение, например, может быть таким: "Вторая цифра меньше трех". Вы выдвигаете гипотезу, каким именно будет число-ответ. А дальше происходит магия — каждое такое число собирается из трёх перфокарт с отверстиями, вы прикладываете к сборке валидатор, и в единственном оставшемся отверстии видете бинарный результат: истина или ложь. Таким образом, получаете информацию о том, справедливо ли выражение для загаданного числа.
Ход за ходом вы должны выбирать самые эффективные гипотезы и выражения, которые отсекут больше всего неверных вариантов. В какой-то момент информации для однозначного ответа становится достаточно. Чем меньше ходов вы потратили, тем лучше.
Если вы нерд и любите фокусы с цифрами, то это прям мастхэв. Играется очень приятно, и вызывает неподдельный кайф каждый раз, когда вы собираете из кусочков ответ, хотя за мгновение до этого может казаться, что до решения ещё очень далеко.
Если же вы не фанат подобного, то подарите коробку знакомому математику, он будет рад!
#games
[$] SFC v. VIZIO: who can enforce the GPL?
软件自由保护协会(SFC)正在起诉VIZIO,因其智能电视使用了基于GPL和LGPL许可的软件(包括Linux内核、FFmpeg、systemd等),但未随设备提供源代码,且经要求后仅提供了部分代码。与通常由版权持有者发起的GPL执行诉讼不同,SFC是以电视普通所有者的身份提起诉讼。这一做法引发了一些重要的法律问题,经过多年的审前程序(最近一项关于签名密钥的裁决另有文章详述),案件将于1月12日开庭审理,届时可能获得一些答案。目前看来,法官很可能裁定GPL执行诉讼可基于合同法而不仅是版权法,这将对GPL的执行方式产生重大改变。
原文链接:https://lwn.net/Articles/1052734/
#开源许可#GPL#法律诉讼#VIZIO#软件自由
#AIGC
Read more
#c_lang#c#drivers#gpl#hacktoberfest#kernel#operating_system#os#osdev#reactos#win32#win32api#windows#x86
ReactOS is a free, open-source operating system designed to be compatible with Windows applications and drivers, especially those for Windows Server 2003 and later versions. The latest version, 0.4.15, brings major improvements like better USB and driver support, enhanced system stability, 64-bit fixes, and new features in system tools such as Notepad and Paint. It can be tested safely on virtual machines and is ideal for users seeking a Windows-like experience without Microsoft’s software. ReactOS is still in alpha, so it’s best for testing, but it offers a promising alternative for Windows users wanting a free, open-source OS[1][2][3].
https://github.com/reactos/reactos