Skip to content
View Betalgeuse's full-sized avatar

Highlights

  • Pro

Block or report Betalgeuse

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

Sanghyuk Lee

I turn unmeasured uncertainty into measured risk, so decisions rest on evidence instead of fear of missing out.

Crop science at Seoul National University (with entrepreneurship), now building agent systems and honest, reproducible analysis for insurance and risk.

Selected work

  • crop-risk. Korean crop disaster insurance loss ratios reproduced from public data only. 2012–2024 payouts were 99.3% of the risk premium, yet 2012 alone hit 357%, and crops are priced unevenly against each other. A rebuild from the raw files is byte-identical.
  • octo (private). A one-person operating system where agents take work from issue to PR, verification and merge. State rules are checked with TLA+ models and gates, not by a person reading logs.
  • V-Contents at Vibers AI. Product-image generation for K-beauty brands: a multi-step Gemini chain, Seedream, background removal and OpenCV text placement on an editable canvas. I wrote 209 of the repository's 289 commits (2025-09 to 2025-10).
  • OT1L. A Slack community bot for daily "one thing" goals and retrospectives, run by agents with operator review.

Experience

  • Vibers AI. Customer Success Owner, 2025.
  • BioResearch AI. Research Analyst Intern, 2023. Structured pharma press releases and clinical-trial data, and checked LLM output against the sources.
  • Tridge. Data Science Intern, 2022. Satellite crop monitoring: NASA POWER weather data, DSSAT crop model, MODIS and Landsat NDVI time series, vegetation-index regression.

Links

hyuk.me · Medium · Threads · starcasso@snu.ac.kr

Pinned Loading

  1. crop-risk crop-risk Public

    Korean crop disaster insurance loss ratios, reproduced from public data only

    Python

  2. ot1l ot1l Public

    Slack에서 최우선 원씽과 후기를 기록하는 선택 참여 커뮤니티 봇

    JavaScript 1 1

  3. trust-lab-sat trust-lab-sat Public

    MODIS NDVI over the Gimje-Mangyeong rice plain, 2012 vs 2017: real satellite evidence beside crop insurance tail years

    Python