Ну я знаю, как "переместить то сюда" :)

Завидоват

Я рубика собирать умею только разобрав на детали

+

Ну ведь это и получается по формулам. Ты знаешь последовательность чтобы переместить одну часть в другое место не изменив остальное

^

Очень сложный вопрос!

Тогда третий вариант

Поставлю «да» авансом

Можно переголосовать

/toxic_top@ToxicometerBot

У нас оказывается бот какой-то есть

Я знаю, что и куда переместится и что при этом изменится (и как уже от этого избавиться потом)

Это позволяет фигуры делать, например, но не даёт способа быстро собирать

Своими мозгами по формулам, вот

Спасибо за ссылку на модель кубика, если который взял сегодня в Мосигре не будет удовлетворять, буду заказывать по инету.
ЗЫ я для младшего сына брал, не себе. Сам я только в свои годы средней школы научился собирать по поясам по формулам из журнала "Наука и Жизнь", даже осталось на задворках памяти

Фасад 2 - верх - СП - верх 2 - С1П - верх - фасад 2

но это конечно далеко не спидкубинг и не мозгокубинг

не познал дзен — собрать одной ладонью

Жонглируя

1 июля в 15:00 по мск
состоится вебинар в рамках пре-школы состоится вебинар
Игоря Коннова на тему:

Apalache: symbolic model checker for TLA+

TLA+ -- формальный язык, предназначенный для спецификации всех видов
компьютерных систем. Системные архитекторы применяют TLA+ для описания
параллельных, распределенных и отказоустойчивых протоколов. Такие системы
обычно описываются на полуформальных языках в виде псевдокода или диаграмм
состояний. Мы применяем TLA+ для описания протоколов в экосистеме блокчейнов
Tendermint/Cosmos

В первой половине доклада мы рассмотрим принципы спецификации протоколов на
примере протокола обмена криптотокенами в системе Cosmos IBC. На основе примера
показывается подход к итеративной разработке протоколов с применением
верификатора моделей Apalache

Во второй половине доклада мы рассмотрим принципы работы Apalache. Apalache
транслирует спецификацию на языке TLA+ в систему логических ограничений на
языке SMTLIB и вызывает решатель Z3 для проверки ограничений.

Ссылка на zoom встречу будет опубликована в день события.

Огнище 👍😁