ARCHIVE · 아카이브
KO
-
CPU로 두루마리 표면을 찾으려 했지만, 읽은 글자는 0이었다
Vesuvius CT에서 CPU로 표면을 찾고 펼치는 코드를 구성했지만, 2026년 8월 18일 확인한 새 잉크와 글자는 0이었다. 입력 목록과 실행 결과를 대조하며 보존되지 않은 통과 표시를 바로잡았다.
-
기계 검증은 통과했지만 새롭지는 않았다
Ulrich u4의 무한 반모형을 형식화하고 Lean 4.33.0 강화판을 공개했다. 이후 같은 핵심 결과의 3월 선행 공개를 확인해, 2026년 9월 2일 저널 경로를 종료했다.
-
Rookiest Player에서 영상을 찾고 다시 보는 화면을 기획했다
2014년 Rookiest Player의 앱 제품 디자인과 UI·UX를 맡았다. 홈·멤버·추천 영상에서 리뷰와 코인·상점까지, 영상 서비스 구상을 화면과 이용 흐름으로 풀어낸 작업이다.
-
원격 업무 평가에 앞서 계약 조건부터 물었다
원격 전사·광고 품질·데이터 업무에 지원하고, 의학·생명과학 AI 업무의 평가 요청에는 계약 주체와 조건부터 물었다. 2026년 8월 말–9월 초의 실제 지원 과정을 설명한다.
-
공공데이터의 이상 신호를 발견으로 세지 않은 이유
공개 생의학 자료에서 나온 후보를 선행 기록과 자료 적합성, 반증 검사로 걸렀다. 2026년 8월 1일 보존 장부에는 다음 단계로 올린 후보가 없었고, 이름과 미출판 수치는 공개하지 않는다.
-
P2624의 증명 파일 일곱 개를 다시 만들었다
P2624의 공개 사양에서 증명 트리 일곱 개를 다시 만들었다. 점유 벡터와 정렬 규칙을 맞추고, 299,903,736개 노드와 파일별 해시를 비교한 2026년 8월 20일 재구성 과정.