Skip to content
View FIERsity's full-sized avatar
🌴
Eating trees
🌴
Eating trees

Block or report FIERsity

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
FIERsity/README.md

Hi, I'm Fier 👋

Typing introduction

Econometrics Reproducible Research AI for Math AI-assisted Coding

About me

I'm a student focused on econometrics and empirical research, with a foundation in computer science and a habit of turning research bottlenecks into small, useful tools.

I enjoy AI-assisted development: moving quickly from an idea to a working system, then making it inspectable with tests, explicit assumptions, provenance, and reproducible workflows. Recently, I've been exploring AI for mathematical reasoning—especially how models reason, verify, and fail on mathematical problems.

Toolbox

Python   R   Rust   C#   Ruby   LaTeX   Lean   Git   GitHub   GitHub Actions   Docker   Bash

GitHub activity

Fier's GitHub activity Fier's contribution activity overview

Beyond research

Sometimes I build things simply because they are fun—like a tiny Slay the Spire 2 joke mod. Side quests are part of the process too.


GitHub contribution grid snake animation

Pinned Loading

  1. china-prefecture-crosswalk china-prefecture-crosswalk Public

    中国城市行政区划沿革查询工具与资料库,收录1983年以来地级及县级行政区划变更、规范名称和来源,服务中国区域与城市研究。

    Python 10

  2. empirical-research-standards empirical-research-standards Public

    Python

  3. envorigin envorigin Public

    Explain where environment variables come from — Docker Compose, GitHub Actions, GitLab CI, CircleCI

    Rust

  4. LeanWeaver LeanWeaver Public

    让形式化证明对人类可读——Lean 4 中文错误解释器 + 证明翻译器。Make formal proofs readable to humans: Lean 4 Chinese error explainer & proof translator.

    Python