Quantum Arcadequantum computing by playing
English — change language
🗺️ Map

How this course is built

Every choice — from playing before reading, to how levels unlock, down to the colour of the buttons — comes from a specific strand of research. Here they are, listed openly, so you can argue with them.

In two lines: you learn by doing (interactive simulations), you consolidate by recalling from memory (quizzes), you remember over time (spaced review), you move on only after showing you understood (mastery learning), and the interface is designed to remove cognitive load, not to add it. Below you will find every choice, including the ones about level order, sound, mandatory registration and the way the commercial text on this site is written — with the sources at the bottom.

1. Why a video game and not a video

The meta-analysis by Wouters and colleagues (2013) over 77 studies (more than 5,500 participants) finds that "serious games" produce better learning than traditional instruction (d ≈ 0.29) and above all better retention (d ≈ 0.36). But with one decisive detail: they work better when the game is accompanied by other instruction and when the experience is spread over several sessions.

What we take from it here: no level is "just a game". Every mini-game is followed (or preceded) by a written explanation, a formula taken apart and a worked numerical example. And that is why the Flash review exists: to push towards several sessions instead of one marathon.

2. Why you touch before you read

The interactive simulations of the PhET project (University of Colorado Boulder) show conceptual gains equal to or better than those obtained with real lab apparatus, and they produce more productive discussion. The productive failure line of research (Kapur) further shows that attempting a problem before receiving the explanation — even failing — leads to deeper conceptual understanding than being handed the rule up front.

What we take from it here: in almost every level the slider comes before the formula. First you see the arrows cancel, then we tell you it is called destructive interference.

3. Why there are quizzes (and why they do not give grades)

The testing effect (Roediger & Karpicke) is one of the most solid results in cognitive psychology: recalling a piece of information from memory strengthens it far more than re-reading it for the same amount of time. Reviews of study techniques put practice testing and distributed practice at the top for effectiveness.

What we take from it here: the quizzes are low-stakes, with immediate feedback explaining why, endlessly retryable and with no negative marking. Getting it wrong is part of the method: a question you missed comes back sooner in the review, one you got right comes back later (Leitner box system: 1 day → 3 → 7 → 21 → 60).

4. Why levels only unlock through mastery

In mastery learning (Bloom) the student moves on once they have shown mastery of the current unit, with variable time and attempts instead of fixed ones. The measured effects are among the most consistent in individualised instruction, especially for those starting further behind.

Our unlock rule (deliberately doubled):

The first alone could be brute-forced with random attempts; the second alone can be guessed. Together they are a reliable signal. Anyone who wants to roam free anyway (an adult revising, a teacher preparing a lesson) can switch on free mode from the home page.

5. Why the interface is so bare

Cognitive load theory (Sweller) and the principles of multimedia learning (Mayer) prescribe some very concrete things, applied here to the letter:

PrincipleHow it is applied in Quantum Arcade
Coherence — cut the superfluousno decorative animation, no stock photos, no popups: the screen holds only what the concept needs
Signalling — highlight what mattersconsistent colours across the whole course: amplitude = yellow, phase = violet, result = pink, "present" = green, "absent" = red
Spatial contiguitynumbers are written inside the chart, next to the object they describe, not in a distant legend
Segmentinghard passages come in steps ("Next →"), paced by the reader
Pre-trainingterms are defined before they are used in a formula: that is what Part 0 is for
Conversational stylewe address you directly and use ordinary words: the "personalisation effect" shows it helps comprehension

6. Colours, contrast, accessibility

7. Motivation: why XP and levels, but no leaderboards

Self-determination theory (Deci & Ryan) identifies three drivers: competence, autonomy, relatedness. Meta-analyses on gamification show positive but fragile effects: points and badges work when they signal competence gained, and can backfire if they become the only reason to play or if they create social-comparison pressure.

What we take from it here: XP arrives only for things genuinely done (mission passed, question recalled), the ranks describe a skill ("Lord of the arrows", "Period hunter") and there is no leaderboard at all, nor a running timer — the reasons, with the research, are in section 22. Autonomy is protected by free mode and by the ability to replay any level.

8. And the last level?

Research on STEM learning distinguishes between being able to apply and being able to transfer. Transfer is only trained on ill-defined problems, where there is no procedure to repeat. That is why the last level is an open workshop: goals to reach, blocks at your disposal, no solution written down anywhere, and a counter of "how many times you queried the oracle" that pushes you to look for a smarter route.

9. Why the qubit arrives at level 1 and Fourier only at 13

The first version of this course followed the "logical" order: waves → Fourier → qubit. Impeccable on paper, wrong in practice: seven levels of maths before seeing the object you came here for.

The current order follows two well-established principles:

A rule I set myself: no tool may be introduced more than one level before the point where it is needed, and every concept must come back at least twice.

10. Why the classical computer comes first (and stays optional)

"Quantum" is not a thing: it is a difference. And a difference is only visible if you know what it is being compared with. Someone who has never got clear on what a bit is has no way of noticing what is strange about a qubit: they are missing the background the figure stands out against. Nearly every wrong sentence in circulation — "it tries every path at once", "it is infinitely faster" — comes from exactly there.

Hence two choices that hold each other up:

Why it is built this way and not as an opening theory chapter:

Intended side effect: anyone who finishes Part K has also properly learned classical computing — binary, gates, complexity, reversibility — which is useful in itself, and not merely the preamble to something else.
What it looks like in practice, level by level. Where the comparison is worth a game rather than a paragraph, the two modes live inside the same mini-game, with a switch that changes machine: same screen, same buttons, same mission. Only the mechanism changes. This happens at level 1 (the same three-cell register: one full column against eight), at level 3 (the same hand: jumps against rotations), at level 4 (the envelope challenge, where classical stops at 75% and entanglement reaches 85%) and at level 7 (two routes, where probabilities add and amplitudes cancel).

Three details of those four games are deliberate and worth declaring:

11. Sound: information, not decoration

An arcade without sound is not an arcade, but noise for the sake of noise violates Mayer's coherence principle (anything that does not serve the concept steals attention). The compromise applied here:

12. "Wow effect": immediate, specific feedback

In the first version, the Part 0 mini-games did not tell you whether you were doing well. Research on feedback (Hattie & Timperley; Shute) is clear on one point: feedback works when it is immediate, specific and about the task, not the person. Hence three additions, now present in all the games:

13. Why an account is mandatory (and why I do not like it)

Asking for registration is friction, and friction loses people: it would be more convenient for everyone to run everything in the browser. Two reasons make it the right choice anyway:

In exchange: only the data that is genuinely needed (first name, last name, email — date of birth is optional and serves to tell apart people with the same name), no profiling, no advertising, total deletion in one click. It is all written in the privacy notice.

14. The AI tutor that refuses to give you the solution

The tutor answers only from the content of this site (RAG) and, by design, does not provide mission solutions: it gives a hint and points you at the right slider. It is an uncomfortable choice but one supported by the research on desirable difficulties (Bjork): the effort of getting there yourself is precisely what produces durable learning. An obliging tutor would make everything look easier and leave less behind.

Every answer cites the level and links to it: the tutor's goal is to put you back inside the game, not to replace it. And if a question finds no answer in the content, it says so instead of making things up.

15. How do I know the simulator is not lying

A course that teaches with a simulator has a basic problem: if the simulator is wrong, it teaches the error — and teaches it convincingly, because it shows it. The project's tests check the properties you would expect (gates stay unitary, the QFT reproduces the Fourier matrix exactly, probabilities sum to one). But those tests are written by me, on the same reasoning the simulator is written on: if the error is in the reasoning, the tests confirm it instead of catching it.

That is why the simulator is compared against an independent implementation: QuantumSim, written in C by Francesco Sisini. Three hundred randomly generated circuits — up to 4 qubits, with Hadamard, Pauli, S, T, T†, phase rotations, CNOT, CZ and Toffoli — are run through both simulators and the amplitudes compared one by one. Different languages, different authors, code written without knowing each other: the largest gap is of the order of 10⁻¹⁵, that is, the limit of the computer's number precision. An error common to both, at that point, is very unlikely.

QuantumSim is released under the GNU GPL v3 and is not included in this site: it is downloaded and compiled only when the check is run (npm run test:cross), like a bench tool. Thanks to Francesco Sisini for letting me use it — and above all because it is from his books that I started learning this subject.

16. The site's copy: which persuasion techniques I use, declared

This site also has a professional purpose: making me known as someone who builds AI systems and teaches. I think it is only fair to declare which levers I am pulling, so you can weigh them:

TechniqueReference researchHow I use it here
Goal-gradient effectKivetz, Urminsky & Zheng (2006) visible XP bar and levels: motivation grows the closer the finish line gets
Endowed progressNunes & Drèze (2006) Part 0 is already "path covered" for anyone who knows the basics: you start from a bar that is not empty
Social proofCialdini real numbers: 8 organisations I have taught at, 55 levels, over 300 automated tests. No made-up "10,000 happy students"
ReciprocityCialdini the full course is free and stays free: the contact request comes afterwards, and only if it was useful to you
Friction reductionFogg's model (B = MAP) one main action per section and a calendar to book, instead of a long form
What I do NOT do, on purpose: no fake countdowns, no invented "scarcity", no inflated numbers, no promise of an accredited certification I do not have. Persuasion techniques applied to a false claim are not marketing: they are a con, and on a site that teaches how to tell true from merely plausible they would also be ridiculous.

17. How it is written for search engines and for AIs

Half of today's searches end up inside an AI-generated answer instead of a list of links. The guidance emerging from research on Generative Engine Optimization is consistent with writing well:

Note: the same research shows that the content cited by AIs is the structured and verifiable kind. Another way of saying that writing honestly and writing to be found, for once, coincide.

18. The three languages, and how you move between them

The course exists in full in Italian, English and Spanish: not a translated summary, three complete editions — exam and certificate included. The addresses are translated too (/en/lessons/, /es/lecciones/), because a page in Spanish living in a folder called "lezioni" is a half-translated page, and it shows.

The selector at the top follows four rules, and none of them is about looks:

The rule underneath all four: offer, do not decide. The reader knows which language they want to read in better than their browser does.

19. The glossary that stays open while you read

For a while the glossary was the last page of the course. Wrong: the word that blocks your reading is not waiting at the end, you meet it at level 4 — and a word you do not understand does not postpone the problem, it multiplies it, because every sentence after that uses it as if it were clear.

The glossary now sits at the top of every page and stays open while you read. The specific choices come from five research findings, not from a visual fashion:

FindingHow it is applied
Split-attention effect (Ayres & Sweller): holding a sentence in mind while hunting for a definition elsewhere spends the very working memory the concept needed the panel opens beside the text and, when the screen allows it, pushes the page instead of covering it: you never change page and never lose your place
Spatial contiguity (Mayer): the explanation belongs next to the thing explained terms are marked inside the text and the definition appears next to the word, in two lines, with the number of the level that explains it properly
Recognition rather than recall (Nielsen, 6th heuristic): you should not have to remember that a feature exists the 📖 button is in the top bar of every page of the course — map, lessons and this one — and the shortcut (G) is the same across the whole site
Glosses (Nation; Yun's meta-analysis of hypertext glosses): short definitions one gesture away help comprehension and vocabulary retention; long ones interrupt reading two lines, never a wall of text, and the search box also accepts a level number ("what was that thing in 12?")
Expertise reversal effect (Kalyuga et al.): the help a beginner needs gets in the way of someone who already knows each term is marked once per page, the first time; and the highlighting has an off switch that stays off on the pages after it

The panel is deliberately not modal: it does not block the lesson and does not demand to be closed before you can carry on. Blocking the page to show a definition would be like shutting the book to open the dictionary. Below 1100 px of width there is no room for two columns: there it does cover the text, and a tap outside closes it.

A useful side effect: the terms now live in a single file (js/core/glossario.js), so the level 23 table, the panel and the tap-for-definition bubbles can no longer say three different things — which had already started happening between the Italian version and the translations.

20. Funny examples: when a joke teaches and when it gets in the way

Almost everyone carries around some silly thing a teacher said twenty years ago and never forgot. It was put to me like this: «my maths teacher explained the quadratic formula with the dwarfs example, and besides laughing, that stuck with us». The memory is real and the research backs it — but on one precise condition, without which a funny example is not neutral: it makes learning worse, not better.

The result has two halves, and they have to be held together:

The rule that follows, and it holds for every exercise in this course: the funny story is allowed only if it is the mathematics. Every piece of it must match a piece of the formula: the characters are the terms, what they do is what the calculation does. The acid test: if removing the story costs you no step of the reasoning, then it was a seductive detail — and out it goes.

A third result completes the rule. The keyword method (Pressley, Levin & Delaney, 1982) shows that a vivid mental image which links two things holds them together far better than repetition: that is the same mechanism that makes "the dwarfs" work. But the same line of work dismantles the idea that bizarre is better: what counts is not absurdity, it is the clarity of the image and whether it really ties the two pieces together. A wacky but vague story does nothing; a simple one where you can see who is who stays.

So, in practice, in this course's maths exercises:

An honest note: the humour part is the weakest item on this whole list in terms of strength of evidence — the literature is made of small studies, modest average effects and a lot of variation between teachers. That is why it is used as seasoning on an example that stands up on its own, never as the main vehicle for a concept.

21. Part M: the maths in full, and why it is optional

The course has a rule that holds everywhere: mathematical tools arrive played, right before they are needed, and in the minimum amount needed there. Clock arithmetic arrives before Shor, eigenvectors before phase estimation, the derivative before variational methods. That keeps the course walkable, but it leaves a debt: anyone who wants to know where what they have just used comes from will not find the answer inside the level, because there it would have been dead weight.

Part M pays that debt. It is twelve optional levels covering the syllabus from the first year of secondary school to second-year calculus — but only the pieces this course actually uses, and always with the question «why is it built like that» at the centre: why the quadratic formula has that shape, where the number e comes from, why Grover's √N is a Taylor series stopped at the first term, how you compute e^(iHt), which is how you simulate a molecule.

Why it is organised this way:

Honest note: Part M is the youngest part of the site and the one with the least testing on real users. The choices above are defensible on the literature, but the field evidence — how many start it, how many finish it, whether it actually helps those who do — I do not have yet.

22. Ranks, leaderboards and community

The course shows two numbers, and they are two different things on purpose.

The optional parts pay XP but not ranks, and the levels you do there are counted separately, in plain sight, under the rank line. That is a matter of honesty: a rank says how far you are through the course.

Why there is no leaderboard

It was the first question I asked myself, and the literature answers it more sharply than I expected. The systematic review by Li and colleagues (2024) collects the studies on leaderboards in higher education: they work depending on how they are built, and the most frequently reported problem is a specific one — the discomfort of the learners who see themselves at the bottom of an absolute, public ranking. Which amounts to saying that a leaderboard helps whoever is already ahead and discourages whoever is behind: exactly the person this course exists for.

This is not a theoretical worry. Hanus and Fox (2015) followed two identical courses for a semester, one with a leaderboard and badges and one without: the students in the gamified course declined in intrinsic motivation and satisfaction over the semester, and their lower final exam score was mediated by precisely that decline. And the same leaderboard does not even do the same thing to everyone: a 2024 study in Computers & Education finds that a high ranking mostly helps learners low in trait competitiveness, while a low ranking spurs only those high in it — the same device, on the same page, with opposite signs on different people.

The mechanism was known before gamification existed: when feedback is normative, telling you where you stand against others, whoever does badly attributes it to their own lack of ability and does less on the next task — whereas self-referenced feedback, telling you where you stand against yourself, supports mastery goals, which are the ones tied to interest that lasts (Ames, 1992; on negative feedback and intrinsic motivation, the meta-analysis by Fong and colleagues, 2019).

So instead of a leaderboard there is «Last 7 days», under the rank line: how many levels and how many reviews you did this week, and how many the week before. It is a comparison, but with yourself. It needs no account, no other players, and it has nobody at the bottom.

If a leaderboard ever appears, this is the shape the research supports, and it is worth stating now rather than inventing later: opt-in (you join it, you don't land in it), weekly with a reset (whoever starts today is not chasing three years of head start), in small randomly drawn groups of thirty, showing only your neighbours in the ranking and not the whole table. Never an all-time absolute ranking, and never a yearly one: that is the shape with every flaw described above, multiplied by how long it takes to catch up. There is also a practical reason not to build it now: a leaderboard makes sense when there are enough simultaneous players to fill a group, otherwise it is a list of three names.

Community

Here the research says the opposite, and it is a yes. Relatedness is one of the three needs in self-determination theory, alongside competence and autonomy; and a sense of belonging correlates with mastery goals and with staying (Korpershoek and colleagues, 2020, eighty-two studies). But a community is not a generic chat: the kind that helps learning is tied to the task. The natural place here is level 22 — the workshop where you invent an algorithm of your own: a place to publish yours and look at other people's does exactly the work of comparing cases (see the section on analogies), on top of the work of relatedness.

Honest note: the community does not exist yet, and I will not open one until I can moderate it — an abandoned public space does more harm than none at all. And «Last 7 days» is new: it is defensible on the literature, but on this site I have not yet measured it on real users.

Sources

Listed in the order they appear in the text. Where there is no link it is because the reference is a book or a classic paper that is easy to find: I prefer citing it that way rather than linking a copy of dubious provenance.

Intellectual honesty: none of these studies is about this course in particular, and effect sizes in education are averages, not guarantees. If you notice something is not working — a level that is too steep, a game that is unclear — that is useful data: write and tell me.

The whole project is public on GitHub under a free non-commercial licence: studying it, modifying it and using it in state education is always allowed; paid training needs an agreement. If you find an error in these pages, report it.