Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations
TL;DR
This seminar challenges the traditional linear model of 'informal-to-formal' notation development, arguing that humans dynamically create new notations through collaborative practice while current AI systems are limited to 'instant formalization' into existing structures. The speaker presents a three-stage historical model of notation evolution—from culturally situated invention through community dispersion to institutional sanctification—to guide future HCI system design.
🤖 AI's Blind Spot: Instant Formalization vs. Creation 3 insights
AI locks users into dominant languages
While AI enables 'instant formalization' from vague prompts to runnable code like React or Python, this capability incentivizes users to abandon preferred languages for AI-optimized ones, suppressing notational diversity.
The creation dimension is missing
Current AI systems can translate informal ideas into existing formal representations but cannot dynamically co-create new abstractions with users to ground emerging shared understanding during collaborative work.
Risk of notational monoculture
As engineers default to languages like Python solely for better AI assistance, the feedback loop threatens to homogenize computational expression and erase context-specific notation innovations.
📊 Rethinking Formalization: Beyond the Spectrum 3 insights
The linear spectrum is insufficient
Traditional HCI theory (Shipman and McCall) models formalization as a simple horizontal progression from informal text to formal semantic nets, failing to capture how humans actually iterate on whiteboards.
Ad-hoc notation invention is constant
In practice, humans continuously invent and extend notations mid-think—such as modifying Venn diagrams with squares for AI and circles for humans to represent human-AI common ground.
Formalization requires two dimensions
Notation work involves both horizontal translation toward existing formalisms and vertical creation of entirely new representations, with AI currently supporting only the former while ignoring the latter.
📜 Historical Evolution of Notations 3 insights
Stage 1: Invention through metaphor
Notations originate as culturally situated inventions employing linking and grounding metaphors to accurately describe specific empirical phenomena within their birth communities.
Stage 2: Dispersion and divergence
As notations spread to broader communities, they naturally diverge and adapt to local needs unless active social and material infrastructure manages the dispersion process.
Stage 3: Institutional sanctification
Maturation culminates in standardization committees establishing canonical versions, effectively 'sanctifying' specific formal structures and often freezing further evolutionary adaptation.
Bottom Line
To advance human-AI collaboration, we must design systems that support the dynamic creation and evolution of new notations alongside users, rather than merely optimizing for instant formalization into existing dominant languages.
More from Stanford Online
View all
Stanford CS153 Frontier Systems | Nikhyl Singhal from Skip on Product Management in the AI Era
Nikhyl Singhal argues that product management is evolving from manual information gathering to AI-augmented strategic judgment, requiring PMs to focus on solving genuine customer problems while leveraging AI's ability to synthesize vast customer data streams.
Stanford CS153 Frontier Systems | Amit Jain from Luma AI on Unified Intelligence Systems
Amit Jain details Luma AI's evolution from 3D capture to video generation, revealing how the company learned to build scalable world simulators by designing algorithms around data physics rather than theoretical ideals, ultimately converging on unified intelligence systems that combine language, video, and reasoning.
Stanford CS153 Frontier Systems | Andreas Blattmann from Black Forest Labs on Visual Intelligence
Andreas Blattmann, co-founder of Black Forest Labs and co-creator of Stable Diffusion, argues that visual intelligence represents the critical next frontier for AI, requiring a fundamental shift from text-centric unimodal models to multimodal systems trained on 'natural representations' (video, audio, physics) to unlock true reasoning, robotics capabilities, and higher intelligence.
Stanford CS153 Frontier Systems | Mati Staniszewski from ElevenLabs on The Future of Voice Systems
ElevenLabs CEO Mati Staniszewski explains how the company pivoted from an AI dubbing vision to perfecting text-to-speech by staying close to Discord communities, leveraging open-source research, and running lean to solve the 'one voice' dubbing problem he experienced growing up in Poland.