Technology
Technology
This site has 7 technology pages, citing 63 numbered sources between them. Each page is a source-backed overview of a field: what published research says, the open questions, methods and limits, an interactive explainer, a glossary and numbered sources.
The overviews describe each field, not a list of INSTAR projects or results. For how the sources are checked, see how this site checks a fact.
Augmented Reality
What augmented reality is, how devices track the world and place digital content in it, and what the research literature says about usability and perception.
- Open questions
- 3
- Methods
- 4
- Sources
- 7
Explainer: the user-study evidence
Sources last checked on October 23, 2026.
Computer Science
A plain-language, source-backed overview of computer science: its theoretical foundations, quantum computing, and the open problems in the field.
- Open questions
- 3
- Methods
- 4
- Sources
- 8
Explainer: what the 2019 quantum experiment measured
Sources last checked on October 23, 2026.
Data Science
A plain-language, source-backed overview of data science: how evidence is drawn from data, how findings are checked, and what remains open.
- Open questions
- 3
- Methods
- 4
- Sources
- 10
Explainer: when a finding is likely true
Sources last checked on October 23, 2026.
Formal Methods
How mathematical proof is used to show that software and hardware behave as specified, where it works in practice, and what remains hard.
- Open questions
- 3
- Methods
- 4
- Sources
- 7
Explainer: testing and proof
Sources last checked on October 23, 2026.
Machine Intelligence
A plain-language, source-backed overview of machine intelligence: how learning systems work, how they are evaluated, and what remains unresolved.
- Open questions
- 3
- Methods
- 4
- Sources
- 11
Explainer: how accurate AlphaFold was
Sources last checked on October 23, 2026.
Natural Language Processing
A plain-language, source-backed overview of natural language processing: how computers handle human language, how it is tested, and what is unresolved.
- Open questions
- 3
- Methods
- 4
- Sources
- 9
Explainer: judging a language model
Sources last checked on October 23, 2026.
Quantum Computing
A plain-language look at quantum computing: what has been demonstrated, why error correction is the central obstacle, and why cryptography is already changing.
- Open questions
- 3
- Methods
- 5
- Sources
- 11
Explainer: error rates and RSA estimates
Sources last checked on October 23, 2026.
No technology page matches that. Try the A–Z research index, which also lists terms and sources.
See also the sciences pages, the laboratories and the A–Z research index.