а ну это еще веселее

Что веселее? Это тупо тип маркер, чтобы промаркировать что тип удовлетворяет неким инвариантам, которые сам компилятор проверить не может.

Новый результат в проблеме кота Шрёдингера: " I’ll then discuss a new result, by me and Yosi Atia, that might add a new wrinkle to the problem.  Very roughly, our result says that if you had the technological ability, as measured by (say) quantum circuit complexity, to prove that a cat was in a coherent superposition of the alive and dead states, then you’d necessarily also have the technological ability to bring a dead cat back to life"

Если вы можете проверить, что кот действительно находится в суперпозиции живой/мёртвый, то вы можете и оживить его.

А надо доказывать? До этого не известно что он в суперпозиции?

Неизвестно, конечно. Если просто посмотреть, то он станет не в суперпозиции (или раньше стал, даже без подглядывания).

Мастер-класс продуктивного кодирования:

https://twitter.com/relizarov/status/1252872811028209664?s=21

котлин топ

Котлин фу

Джава ок

+

что бы раст делал без Stjepan

почему?

Это все языки прошлого поколения, просто котлин немного убрал куски легаси

так гайз как мне теперь сделать &mut чтобы передать футурке

так вроде работает
ololo(&mut state)

так ну началось опять

expected a closure that implements the Fn trait, but this closure only implements FnMut(

----------------------------------------------- closure is FnMut because it mutates the variable state here