Writing Archive

Essays, technical notes, and ideas worked through in public, kept in the order they were written.

  • The Death of Code Review: Toward Agent-Legible Systems

    Coding agents are reshaping the cost model of software engineering: code generation is becoming increasingly cheap, while human attention is becoming the new serial bottleneck. Software trustworthiness should not depend on the authority of an author or reviewer, but arise from verifiable and falsifiable system mechanisms. This essay proposes Agent-Legible Systems: systems designed from the outset so that agents can query, experiment with, and verify runtime state, critical invariants, and causal evidence, forming an automated verification loop through type systems, testing, CI, profiling, tracing, and more. Human judgment then moves upward from line-by-line implementation review to domain models, system contracts, and irreversible architectural decisions.

    • AI-native
    • Agent-Legible Systems
    • Software Engineering Paradigm
    • Code Review

  • Local Optima Under Closed Conditions

    Array-based red-black trees, gaokao finale problems, and PhDs who cannot find jobs are, at bottom, the same thing: closed systems can select for local optima, but the definition of this 'optimum' is itself distorted by the closed conditions. The information environment determines the output efficiency of intelligence, and you cannot price what lies outside your cognition.

    • Information Environment
    • Gaokao
    • Academia and Industry
    • C++

  • AI as a New Infrastructure for Knowledge Transmission

    The rise in humanity's average capability comes less from individuals studying longer than from the continuous upgrading of how knowledge is diffused, compressed, and invoked.

    • AI-Native
    • Knowledge Transmission
    • Academic Production

  • After Diligence Was Invented as an Ability

    To call exam-oriented education fair is a fundamental misrecognition: it merely renames the absence of choice as the superiority of the only available choice.

    • Education Critique
    • Institutional Analysis
    • Musings

  • Xianxia, Light Novels, and Cultural Models of Competition

    The fundamental fracture between premodernity and modernity lies in the optimization target: no longer whether I am omnipotent and miss nothing, but what specific demand I can satisfy within the supply chain.

    • Popular Culture
    • Modernity
    • Competition
    • Musings

  • C++ Fundamentals: Hardware Brutalism and Zero-Cost Abstraction

    From std::fma to allocator_traits, SFINAE, PMR, and Concepts: the sharpness of C++ lies in how it forces hardware facts and the type system into the same room.

    • Modern C++
    • Floating Point
    • Template Metaprogramming

  • A Heresy About AI

    Most schools, companies, and individuals have not really understood AI; what they understand is the anxiety, slogans, and imitative posture around it.

    • AI
    • AI-native
    • Musings

  • Refusing the Problem Set: From Standard Answers to Risk Consciousness

    The deepest side effect of exam training is not that it asks people to solve problems, but that it trains the world into a set of judgeable standard answers: rewarding the correct, punishing the wrong, and gradually making people fear error, deviation, and risk itself.

    • Self-Growth
    • Anti-Exam Culture
    • Risk Consciousness

  • Composition Is a Worldview

    Choices are hard to understand across different maps of the world; what moves us is not the amount of suffering endured, but the capacity to keep choosing love, goodness, and justice in the face of it.

    • Notes
    • Worldview
    • Ethics

  • Where Exactly Is the Boundary of Runtime Computation?

    When an operand does not originate from IO, runtime is often an engineering trade-off rather than an ontological fate.

    • Modern C++
    • Template Metaprogramming
    • Memory Management

  • Reddit Alt-Data Pipelines: Quantifying Memes into Market Signals

    Many quantitative teams really do scrape Reddit data and turn it into sentiment indexes; in that sense, memes, despair, and mania can all become observable market variables.

    • Quantitative Finance
    • Alternative Data
    • Market Sentiment

  • Concurrency and Parallelism: Dancing at the Edge of Computation

    From OpenMP and pthreads to CUDA, parallelization is not merely an expansion of toolchains, but a renewed interpretation of computational power, hardware limits, and formal models.

    • Computer Science
    • Concurrency
    • Parallel Computing

  • Cold-Starting Human Relations: Intimacy, Exchange, and the Visibility of Value

    Social life broadly has two forms: intimacy and exchange. Intimacy depends on contingency; exchange is the ordinary condition. The real question is not calculation, but how value becomes visible, felt, and reciprocal.

    • Self-Growth
    • Human Relations
    • Musings

  • Notes on a Paper Worth Reading

    This points to a transformation in the research paradigm. With PUCT (Predictor + UCB applied to Trees), the center of gravity shifts from solving problems to finding them, and toward designing evaluative measures that precisely reflect scientific goals.

    • Paper Reading
    • AI Systems
    • Musings

  • A Deep Dive into Compile-Time Fibonacci Calculation

    The history of compiler optimization resembles a discipline of expanding what is available while reducing what is wasted: on one side, optimization algorithms evolve; on the other, we feed the compiler more information and thereby move the boundary of semantic constraint. From a modern C++ perspective, template metaprogramming should be returned to its proper role as an abstraction over families of processes and a tool for policy-driven design. Computing Fibonacci numbers with templates was, above all, a pre-C++11 detour taken under constraint.

    • Modern C++
    • Templates
    • Compile-Time Computation

  • Notes Toward a Critique of University God-Making

    Just as academic taste requires long cultivation, the discernment of demand also contains a great deal of tacit knowledge, and it too must be trained. Yet this is precisely what the narrative sustaining the university refuses to provide: it teaches you how to 'solve problems,' but not how to 'find problems.' And the ability to 'find problems'—to discover and define valuable questions—will be far more precious in the future than the ability to 'solve them.'

    • Daily Rants
    • AI-native
    • New Possibilities

  • A Critique of the University's 'AI Practice Course'

    The current rush into deep learning resembles the posture of an investor, still far from the self-consciousness of an AI-native believer.

    • Daily Rants
    • AI-native

  • Some Advice for CS Undergrads (Free & Beginner Version)

    A low-cost starter protocol for young CS people, myself included.

    • Daily Rants
    • Career Advice

  • A Few Objections to Bilibili's Recommendation System

    I admit that I have not used Bilibili frequently enough to train my account profile properly; nevertheless, its personalization algorithm still feels remarkably crude. It may capture my general persona and field of interest, but it fails to match the corresponding depth and information density, remaining instead at the level of tag similarity. The signal-to-noise ratio is too low, and the experience is predictably poor.

    • Daily Rants
    • Bilibili

  • The Gap Between Ideal and Reality in Algorithm Learning

    Pure formal models are often a projection of reality, a selective reflection. Algorithms, as logical models, also face scrutiny regarding their scope of application in the real world.

    • Algorithm Learning
    • Data Structures

  • AI Model Selection: Domestic Solutions and Open-Source Alternatives

    There is no absolute perfection, only contextual suitability; to move along the boundary between real-world constraints and technical possibility is precisely the charm of computer science.

    • Model Selection
    • AI Engineering
    • Open-Source Models

  • Why Does the Empowerment of AI Seem Ineffective?

    AI has already become a technology with substantial barriers, far removed from a toy-like or student-level practice.

    • AI-native

  • Concepts in C++: Returning Algebraic Proofs to the Compiler

    A concept is not merely a more respectable syntax for templates; it is a way of handing algebraic-structure information to the compiler.

    • Modern C++
    • Type Systems

  • Vibe Coding: Forging a Standard-Library-Flavored Stack in 40 Minutes

    GPT-5 shows a genuine command of interfaces, type constraints, and allocator semantics.

    • Vibe Coding
    • Data Structures

  • The Subtle Differences Between C and C++

    While C is often treated as a subset of C++, several subtle differences between the two languages remain technically consequential.

    • C/C++
    • Assembly

  • The Core Qualities for Entering CS: Passion and Taste

    The key to entering CS is not some mystical talent, but the formation of passion and taste through methodology, metacognition, and institutional conditions.

    • CS
    • Learning Methods
    • Metacognition

  • Halfway Up the CS Mountain: A Defense Against Average-Making

    Between abstraction, derivation, and the cold bench, a return to the halfway point of computer science.

    • CS
    • Learning Methods
    • Epistemology

  • Contest-Oriented Computer Education Is Not Real CS

    Would it not also be good to become a small bird flying freely through computer science?

    • CS
    • Computer Education
    • Learning Notes