施秉佚 SHI Bingyi

Portrait of SHI Bingyi

I am a student of statistics and economics, interested in how probability, statistical inference, and econometric reasoning help us make sense of empirical questions.

I am completing a B.Sc. in Statistics at Nankai University and will begin a Ph.D. in Economics at The Chinese University of Hong Kong, Shenzhen in 2026.

This site collects my research, formal writing, and working notes in mathematics, statistics, economics, logic, and computation.

Email GitHub X RSS

Projects:
statistics & economics

Statistical foundations, economic questions, and quantitative methods.

  1. Statistical inference and probabilistic modeling

    Foundations for clear quantitative reasoning

  2. Federated causal structure inference

    A current draft on causal discovery

  3. Independent blocks technique

    Technical writing on a probabilistic method

More work

  1. Publications and technical writing

    Papers, drafts, and selected formal work

  2. Current research interests

    Statistics, econometrics, and reproducible analysis

Working notes

  1. Probability and statistics

    Concepts, derivations, and study notes

  2. Measure theory

    Foundations of integration and probability

  3. Linear algebra

    Structures and tools used throughout quantitative work

Writing from
the notebook

Essays, updates, and ideas that are more provisional than formal papers.

  1. Notes and writing plan

    Directions for developing this site as a place to think in public

  2. First post

    An introduction to the website and its purpose

  3. Thoughts on programming

    Notes on languages, abstraction, and computation

  4. Logic study guide

    A route through proof, semantics, and formal reasoning

All writing

Notes:
a working library

Study materials and evolving references, organized by subject rather than chronology.

  1. Mathematics and statistics

    Analysis, probability, inference, and linear algebra

  2. Programming languages and semantics

    Language design, macros, types, and implementation

Logic and foundations

  1. Proof theory

    Proofs, calculi, and logical complexity

  2. Category theory

    Categorical methods and structural mathematics

  3. Homotopy type theory

    Types, spaces, and constructive foundations

Browse the full notes index

More,
misc, meta

Teaching, background, contact details, and useful paths through the site.

Academic

  1. Teaching

    Instructional approach and future course materials

  2. Curriculum vitae

    Education, research, and academic experience

  3. Links and friends

    People, websites, and resources worth revisiting

Contact

  1. Email

    shibingyi@mail.nankai.edu.cn

  2. GitHub

    Code and public repositories