Insights
Notes on AI, pedagogy, and engineering
How we think about Socratic tutoring, learning science, and building trustworthy AI for higher education.
Pedagogy
Why the Socratic method works for learning algorithms
Direct-instruction AI gives learners the wrong skill: pattern-matching to an answer. Socratic tutoring builds the skill that actually transfers — problem decomposition.
MiaCortex Team
Engineering
Building an AI tutor with Gemini on Google Cloud: our architecture
A tour through the MiaCortex stack — Gemini for reasoning, Pyodide for in-browser Python, Cloud Run for serving, and Prisma for persistence.
MiaCortex Engineering
Learning Science
Measuring learning: Bayesian Knowledge Tracing in practice
Completion is not comprehension. Here is how we use Bayesian Knowledge Tracing to estimate what a student actually knows — and to decide what they should practice next.
MiaCortex Team