Skip to content
View bangyen's full-sized avatar
10 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLO

Block or report bangyen

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.

Content in all repositories owned by your account will be closed.
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
bangyen/README.md

Hey, I’m Bangyen

I build systems that blend AI, distributed computing, and optimization.

Featured Projects

  • ZSharp: +5.26% accuracy and 4.4× faster training with Sharpness-Aware Minimization, Apple Silicon optimized.
  • Oligopoly: 98.5% collusion detection, 1e-6 precision, and 72.3% strategy adaptation in advanced economic simulations.

Publications

  • Generalized Collective Algorithms for the Exascale Era — CLUSTER 2023
  • Revisiting Computation for Research: Practices and Trends — SC 2024

Quick Links

Pinned Loading

  1. esolangs esolangs Public

    Interpreters and compilers for esoteric programming languages, from stack-based to modern register-based systems

    Python 12 3

  2. leanfunge leanfunge Public

    Machine-checked Befunge-93 in Lean 4: a 2D playfield interpreter with a verified Turing-completeness construction.

    Lean

  3. zsharp zsharp Public

    Sharpness-Aware Minimization with Z-Score filtering, achieving +5.26% accuracy with 4.39x Apple Silicon optimization and full reproducibility.

    Python 1

  4. leansharp leansharp Public

    Formal Lean 4 verification of Z-Score filtered Sharpness-Aware Minimization (SAM) focusing on algorithmic correctness and stochastic robustness.

    Lean

  5. surrogate surrogate Public

    Rust explainable chess engine achieving 86.7% decisive faithfulness via surrogate ML models and an Axum-powered visual audit dashboard.

    Rust

  6. oligopoly oligopoly Public

    Advanced market simulation featuring validated collusion detection, research-grade precision (1e-6), and Q-learning for adaptive strategy evolution.

    Python 1