Observed arrival · 2026-10-15

Quantum PL Wiki maps the path from qubits to proofs

quantum-pl.wiki Visit website

Editorial interest 78/100 Selection signal · not a rating of the site

A Chinese-language personal encyclopedia guides readers through quantum programming languages, program semantics, and formal verification.

Landing page captured for the 2026-10-15 issue.

For: Readers studying quantum programming-language theory
Worth noticing: Its 14 entries are split across four volumes, with six devoted to logic and formal verification.

Field notes

The catalog groups its entries into foundations, languages and types, program semantics, and logic and verification; the last volume contains six entries. Listed subjects include quantum while-program execution rules, weakest preconditions, noncommuting quantum predicates, and a Hoare-logic proof of Grover search. The homepage also offers a paper collection divided into classic, latest, and editor-recommended reading.

Observed signals

Read the marks

Editorial observations of this landing page, not a rating.

○OpenPublic substance visible

✦PrettyNotable craft visible

●ProPolished or operationally mature

◎NicheUnusually specific use

◉HumanPersonal, local, civic, or handmade

One card from the complete issue

The Hike Before the Hike

396,902 arrived 1,000 judged 985 catalogued Enter the complete issue