Графин-шутиха

Советские графины с петухом завода "Красный май" в Вышнем Волочке ...

Вольтеровское кресло

Кресло в музее Щепкина

Посещая музеи можно узнать о...

Three greats who we’ve lost

Sir Charles Antony Richard Hoare (1934-2026) won the 1980 Turing Award for numerous contributions to computer science, including foundational work on concurrency and formal verification and the invention (with Dijkstra) of the dining philosophers problem. But he’s perhaps best known, to pretty much everyone who’s ever studied CS, as the inventor of the Quicksort algorithm. I’m sorry that I never got to meet him.

Michael O. Rabin (1931-2026), of Harvard University, was one of the founders of theoretical computer science and winner of the 1976 Turing Award. In 1959, he and Dana Scott introduced the concept...

Eleventy

When I started this blog in 2011, I built it using Jekyll. Jekyll served me well for fifteen years. It was fast enough, and though it would take me an hour or two to get the system reinstalled when I switched laptops, it mostly just worked. But late last year, I was in the midst of updating all of my local installations to the latest versions of their runtimes, and when I tried to update Jekyll to Ruby 4, it wouldn't go. The Jekyll project did eventually merge support for Ruby 4 (a one-line fix) in February , but I...

Пишем простой REST-сервис на Rust

Поднимаем собственный сервер Matrix

Before we start on quantum

Imagine that every week for twenty years, people message you asking you to comment on the latest wolf sighting, and every week you have to tell them: I haven’t seen a wolf, I haven’t heard a wolf, I believe wolves exist but I don’t yet see evidence of them anywhere near our town.

Then one evening, you hear a howl in the distance, and sure enough, on a hill overlooking the town is the clear silhouette of a large wolf. So you point to it — and all the same people laugh and accuse you of “crying wolf.”

Now...

In the Atmosphere

The mascot of ATmosphereConf is a goose, accompanied by the motto we can just do things. I thought about this line often while I was in Vancouver for the event. Everyone was active: writing, managing communities, building side projects or businesses on Bluesky, and building Bluesky itself. The energy was fertile and optimistic. Even deep critiques, like Erin Kissane's beautiful Landslide or Blaine Cook's Software Ecologies, had hope that this community and technology could 'fix' the social internet.

The other refrain of the conference was that Meta, Google, TikTok, and other centralized social platforms have failed, and the AT Protocol could...

Как создать резервную копию Android-приложения

Quantum computing bombshells that are not April Fools

For those of you who haven’t seen, there were actually two “bombshell” QC announcements this week. One, from Caltech, including friend-of-the-blog John Preskill, showed how to do quantum fault-tolerance with lower overhead than was previously known, by using high-rate codes, which could work for example in neutral-atom architectures (or possibly other architectures that allow nonlocal operations, like trapped ions). The second bombshell, from Google, gave a lower-overhead implementation of Shor’s algorithm to break 256-bit elliptic curve cryptography.

Notably, out of an abudance of caution, the Google team chose to “publish” its result via a cryptographic zero-knowledge proof...