Skip to content
View RanchoTao's full-sized avatar
35 followers · 18 following
  • Beijing Insititude of Mathematical Sciences and Applications
  • Beijing China
  • 03:31 (UTC +08:00)
  • X @RanchoTao

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report RanchoTao

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
RanchoTao/README.md

Math & AI at BIMSA

I am interested in building systems that extend human cognition and decision-making.

C++ Python TypeScript Overleaf Git

Pinned Loading

  1. Visual-Deadline Visual-Deadline Public

    A cognitive scheduling system that visualizes task pressure, attention load, and life progress.

    TypeScript 6 1

  2. BIMSA-MathAI BIMSA-MathAI Public

    本人于2025年11月14日开始攻读BIMSA数学与人工智能项目。本资料库记录了我自项目开始以来的学业进展和日常生活。在此，我谨向北京雁栖湖应用数学研究院表示衷心的感谢，感谢他们给予的支持与帮助。 本人能力有限，本仓库内容如有疏漏，还请谅解，希望本项目能够有所帮助。

    Jupyter Notebook 2

  3. LogicalWorldModel LogicalWorldModel Public

    Abstract models based on events, logic, and probability are more abstract and efficient, and directly correspond to decision-making and causal reasoning.

    Python

  4. macro-monitor macro-monitor Public

    macro-monitor

    TypeScript