Все, конечно, и так уже знают, но...

«Quipper is based on a classical programming language called Haskell, which is particularly suited to programming for physics applications. What Selinger's team has done is to customise it to deal with qubits.»

--New language helps quantum coders build killer apps

Поскольку несколько последних дней я колонизирован дальним предком по эволюционной линии -- сволочью-микробом, и сколь-нибудь серьёзные вылазки стали не столь желанными, сижу дома, просвещаюсь.

Понравилась задачка из главы про формальные системы (aka системы Поста) "Гёделя, Эшера, Баха", где дана простая система MIU о четырёх правилах и где из ( Read more... )

Совершенно случайно вчера выяснил, что книга, которую я с нетерпением жду на бумаге, вовсю свободно доступна в интернете и обещает таковой остаться. Это безумно здорово! Бумажную я, впрочем, всё равно скорее всего куплю.


( Read more... )