~/우성현

~/우성현 · Woo Sunghyeun

정확성을 검증하는 AI/ML 시스템 엔지니어

한국어 시스템 언어의 컴파일러를 만들었고, PyTorch 컴파일러와 LLM 추론 엔진이 오류 없이 틀린 값을 내는 지점을 찾아 보고하고 고칩니다. PyTorch 기여자로 수정 2건이 병합되었습니다.

AI 코딩 에이전트와 함께 빠르게 만들되, 결과는 믿기 전에 측정하고 검증합니다.

실행한 프로그램 약 21,000개 · 45분

def fn(x, src):
    y = torch.slice_scatter(x, src[1:3], dim=0, start=1, end=3)
    x.zero_()
    return y
eager
[0, 1, 2, 3, 4, 5, -6, -5]
inductor
[0, 0, 0, 0, 0, 0, 0, 0]

조용한 오답 · 오류 없이 값만 다름

scatter 결과를 입력 버퍼에 제자리 연산으로 바꿔 넣어, 뒤따르는 x.zero_()가 반환값까지 0으로 덮어씁니다. pytorch#198094 torch 2.14.0+cu130 · CUDA · 출력 앞 8개 값 · 퍼저가 돌린 약 21,000개 프로그램에서 찾은 계열 중 하나

핵심 성과 — 2026-10-07 기준 · 매일 자동 갱신

1장

오픈소스

검증받은 기여와 직접 운영하는 오픈소스

외부 프로젝트 기여

병합
2
열린 PR
6
이슈
9
프로젝트
5

PyTorch · pytorch/pytorch

이슈 6 · PR 6 · 병합 2

찾은 도구: torch.compile 정합성 퍼저 + PyTorch 수정 PR

  • PR 병합됨PR #198132

    [inductor] remove_noop_ops: keep a copy of an input that is mutated before the copy's user runs

  • PR 병합됨PR #198104

    [inductor] Realize consumers of aliasing buffers before a mutation of the aliased buffer

  • PR 리뷰 중PR #198103

    [dynamo] Graph break on an in-place view of a no-op alias of a graph input

  • PR 리뷰 중PR #198096

    [inductor] Do not reinplace into a graph input that a later, unrelated mutation overwrites

  • PR 변경 요청PR #198097

    [aot_autograd] Regenerate output aliases of merged (synthetic-base) inputs from metadata

  • 이슈 해결됨이슈 #198131

    [inductor] `dst[:] = src[:]; src.add_(1)` copies the *updated* `src` into `dst` (remove_noop_ops replaces a copy of an input by the input itself, which is mutated before the copy's user runs)

  • 이슈 해결됨이슈 #198101

    [inductor] Consumer of a dtype view of an input is computed after a later in-place mutation of that input (y = x.view(int32) * 2; y.sub_(-4); x[:, 2:5] = 2; return y.view(int64))

  • 이슈 분류됨이슈 #198102

    [functionalization] In-place mutation through a gapped unfold view (step > size) silently zeroes every base element not covered by a window under torch.compile

  • 이슈 분류됨이슈 #198100

    [dynamo] x.contiguous().unsqueeze_(d) / x.to(x.dtype).unsqueeze_(d) crashes guard creation with IndexError: list index out of range (in-place view through a no-op alias of the input)

  • 이슈 분류됨이슈 #198095

    [aot_autograd] Output that is a view of an aliased input (synthetic base) is regenerated from the wrong tensor: ta[0] returns t0[0], ta.view(-1) asserts on ViewMeta shape

  • 이슈 분류됨이슈 #198094

    [inductor] Scatter result reinplaced into a graph input that a later, unrelated mutation overwrites: y = slice_scatter(x, src); x.zero_(); return y returns zeros

  • PR 닫힘 · 이슈에서 먼저 논의하라는 절차 안내PR #198105

    [functionalization] unfold inverse: keep base elements that no window covers

TVM · apache/tvm

이슈 0 · PR 3 · 병합 0

  • PR 리뷰 중PR #20588

    [Fix][Relax] Accept a returned tuple bound to a Var in Gradient

  • PR 리뷰 중PR #20583

    [FIX][Relax] FuseTransposeMatmul: skip when the transpose has other users

  • PR 리뷰 중PR #20570

    [FIX][LLVM] Support bool Add/Sub/Mul in LLVM codegen

ComfyUI · Comfy-Org/ComfyUI

이슈 1 · PR 0 · 병합 0

찾은 도구: Entail

  • 이슈 열림이슈 #16490

    Dynamic VRAM: a ModelSamplingDiscrete schedule leaks into later runs of the same checkpoint (buffers restored by attribute path), giving wrong or black images reported as success

SGLang · sgl-project/sglang

이슈 1 · PR 0 · 병합 0

찾은 도구: Entail

  • 이슈 열림이슈 #41227

    [Bug] `--json-model-override-args '{"rope_scaling": ...}'` drops `rope_theta` for models without a per-model fallback: Llama-3.2-3B-Instruct GSM8K 161 → 106 (first 200)

vLLM · vllm-project/vllm

이슈 1 · PR 0 · 병합 0

찾은 도구: Entail

  • 이슈 열림이슈 #58675

    [Bug]: `--hf-overrides '{"rope_scaling": ...}'` drops `rope_theta` under Transformers v5; models without a per-file default silently run with base 10000

다른 개발자의 작업에 참여

PR 리뷰 4건 · 승인 4건 · 댓글 단 이슈·PR 7건

매일 자동 확인 · 마지막 변경 2026-10-07

직접 운영하는 오픈소스

1-1

Entail

2026.09 · 1인 개발 · AI 코딩 에이전트 협업

모델 파일이 선언한 설정이 추론 엔진에 실제로 도달했는지 검사하고, 가능하면 첫 토큰 전에 바로잡는 파이썬 라이브러리

자세히 보기 →

2026-09-30 기준 · 기여·릴리스 수치는 매일 자동 갱신

1-2

torch.compile 정합성 퍼저 + PyTorch 수정 PR

2026.09 · 1인 개발 · AI 코딩 에이전트 협업

별칭·뷰·in-place 연산에 특화한 차등 퍼저로 torch.compile이 오류 없이 틀린 값을 내는 버그를 찾아, PyTorch에 보고하고 수정 PR을 올렸습니다

자세히 보기 →

2026-09-29 기준 · 기여·릴리스 수치는 매일 자동 갱신

1-3

글(Geul) 프로그래밍 언어

2026.03 – 2026.09 · 1인 개발 · AI 코딩 에이전트 협업

한국어 어순과 조사를 문법으로 쓰는 시스템 언어. 글로 쓴 컴파일러가 자기 자신을 컴파일하고, LLVM이나 C 컴파일러 없이 x86-64 Windows 실행 파일을 직접 만듭니다

자세히 보기 →

2026-09-29 기준

1-4

inversa-bench

2026.06 · 1인 개발 · AI 코딩 에이전트 협업

답을 먼저 주고 그 답이 나오는 문제를 "구성"하게 하는 수학 벤치마크. sympy로 기계 채점하고 LLM 심판을 쓰지 않습니다

자세히 보기 →

2026-09-29 기준

1-5

asahi — 동아리 AI 개발 에이전트

2026.07 – 현재 · 개발·운영 (동아리 창립 회장) · AI 코딩 에이전트 협업

동아리 디스코드에 상주하며 부원들의 개발 작업을 돕는 AI 에이전트. 봇과 실행 워커를 나누고 권한·보안 경계를 둔 구조입니다

자세히 보기 →

2026-09-30 기준 · 기여·릴리스 수치는 매일 자동 갱신

2장

개인 프로젝트

직접 만든 제품과 실험

  1. 2-1

    바른오더 — 이사청소 매칭 플랫폼

    서버 중지

    이사청소 견적 요청·비교, 업체 매칭, 실시간 채팅, 구독 요금제, 관리자 기능을 갖춘 웹 서비스

    바른오더 고객 관리 조회의 쿼리 수고정 쿼리 3개와 고객마다 4개씩 나가던 조회(4N+3)를 고정 2개와 한 번에 가져오는 5개, 모두 7개로 줄였습니다. 고객이 5명이면 23개에서 7개입니다.이전 · 4N+3고정 3 + 고객마다 4이후 · 7고정 2 + 한 번에 5고객 5명일 때 23개 → 7개 (커밋 f586b65)
  2. 2-2

    맛집큐브 — 맛집 지도·리뷰 서비스

    서버 중지

    부천·인천·서울 맛집 지도와 리뷰 플랫폼. 자체 도메인, 약관, 검색 엔진 최적화까지 갖춰 런칭을 준비했습니다

    맛집큐브 홈 화면의 API 호출홈 화면이 따로 받던 API 4개(배너, 카테고리, 맛집 목록 2번)를 통합 API /api/home/data 하나로 묶었고, 서버는 응답을 만들 때 Supabase 쿼리를 병렬로 실행합니다.이전 · 요청 4개홈 화면배너카테고리맛집 목록맛집 목록이후 · 요청 1개홈 화면/api/home/data쿼리 병렬 실행통합 API로 교체(커밋 5b130a1, 2025-09-30)
  3. 2-3

    nogada RPG — 서버 권위형 생활기술 RPG

    노가다RPG 팬메이드 프로젝트입니다. 게임 규칙을 서버가 판정하는 웹 RPG 모노레포와, 미니PC의 자가 호스팅 러너로 배포하는 CI/CD를 갖췄습니다

    • TypeScript 코드 / 테스트 규모약 36.5K줄 / 36.7K줄 (테스트 파일 124개)근거 → 비공개 저장소 · 면접에서 화면 공유로 시연
    • CI (실제 PostgreSQL 17 테스트 + 자가 호스팅 배포)27회 중 26회 성공근거 → 비공개 저장소 · 면접에서 화면 공유로 시연
    nogada의 동시 갱신 유실 방지같은 캐릭터에 요청이 동시에 들어오면, 읽은 판본이 그대로일 때만 저장하고 어긋나면 처음부터 다시 읽어 최대 3번 시도합니다. 모든 판정은 서버가 합니다.읽기판본 v서버 판정저장판본이 v일 때만판본이 바뀌었으면 처음부터 다시 · 최대 3번 시도저장됨

경력 · 활동

  1. 2026.06 – 현재

    이루리랩스 (Iruri Labs)

    패스드림 AI · 학원용 AI 채점 SaaS · 프론트엔드 중심 풀스택 개발 · 개발 근로 (청운대 취업연계 국가근로)

    • 하드코딩된 색상 1만여 곳을 의미 기반 디자인 토큰으로 옮기는 자동 변환(코드모드)을 만들고, 다시 들어오지 않게 커밋 전 검사를 붙였습니다.
    • 출석 코드 기능을 백엔드와 프론트엔드 모두 구현했습니다(3자리 코드, 5분 유효, 시도 횟수 제한).
    • 운영 현황 통계 모듈과 시간표 데이터 마이그레이션을 맡았습니다.
    • 학원 고객 인터뷰와 교육 박람회에 참여했습니다.
  2. 2026.06 – 현재

    코딩 동아리 세미콜론 (Semicolon) · 창립 회장

    • 동아리 회칙을 작성하고 GitHub 조직을 운영합니다.
    • 동아리 AI 개발 에이전트 asahi와 홈페이지 semicollon.com의 개발을 이끌고 운영합니다.
  3. 2023.09 – 2025.03

    병역

    현역 복무 완료

  4. 2022.03 – 현재

    청운대학교 인천캠퍼스 · 컴퓨터공학과

    3학년 재학 중

일하는 방식

설계 문서 → 구현 계획 → 테스트 먼저 → 구현 → 측정·검증설계 문서구현 계획테스트 먼저구현측정·검증

그 밖의 프로젝트

GeulOS

2026.05 – 2026.06 · 1인 개발 · AI 코딩 에이전트 협업

AI-네이티브 OS의 참조 구현 시도. QEMU 위의 Linux VM에서 도는 Rust 코어가 화면의 요소를 객체 트리로 다루고, 사용자 클릭과 AI 호출이 같은 이벤트 경로를 지납니다

  • Rust
  • tokio
  • QEMU
  • Alpine Linux

AI 대화 효율 개선 (ADR-041, 요약 요청 1건으로 측정) 도구 호출 5 → 3회 (−40%) · 응답 지연 32.2 → 23.6초 (−27%)

Connect 메신저

2025.05 – 2025.09 · 1인 개발 · 생성형 AI 도움

Windows 데스크톱 실시간 메신저(WPF). 백엔드 서버와 SignalR로 채팅하고, 설치 파일 배포와 자동 업데이트, AI 캐릭터 대화까지 만들었습니다. 마지막 버전은 v1.7.2이며 저장소에는 클라이언트 코드만 있습니다

  • C#
  • .NET 8
  • WPF
  • SignalR

채팅 데이터 전송 방식 (README v1.1.0) tick rate 방식 → SignalR 방식

monney

2026.09 – 현재 · 1인 개발 · AI 코딩 에이전트 협업

실제 한국 주식 시세에 동기화되는 자체 가상 거래소. AI 에이전트와 사람을 같은 자본·같은 도구로 비교하려는 실험 환경이며, 거래소 코어와 사람용 브라우저 화면까지 구현했고 AI 에이전트 실행기는 아직 없습니다

  • Python
  • FastAPI
  • SQLite
  • pytest

체결 규칙 (주문 접수 이후 도착한 틱으로만 체결해 미래 참조 편향 차단) 다음 틱 체결 + 시장가 슬리피지

기술 스택 — 프로젝트로 증명된 것만

AI/ML 시스템
AI 에이전트

끝까지 봐 주셔서 감사합니다.

연락처