ARCHIVE · 아카이브
Postmortem · 사후 분석
-
CPU로 두루마리 표면을 찾으려 했지만, 읽은 글자는 0이었다
Vesuvius CT에서 CPU로 표면을 찾고 펼치는 코드를 구성했지만, 2026년 8월 18일 확인한 새 잉크와 글자는 0이었다. 입력 목록과 실행 결과를 대조하며 보존되지 않은 통과 표시를 바로잡았다.
-
A CPU pipeline for scroll surfaces, with zero characters read
My CPU attempt aimed to locate scroll surfaces and flatten CT data, but confirmed new ink and characters were zero on 18 August 2026. Missing raw outputs led…
-
기계 검증은 통과했지만 새롭지는 않았다
Ulrich u4의 무한 반모형을 형식화하고 Lean 4.33.0 강화판을 공개했다. 이후 같은 핵심 결과의 3월 선행 공개를 확인해, 2026년 9월 2일 저널 경로를 종료했다.
-
Machine-checked, but not new
I published a strengthened Lean 4.33.0 formalization of an infinite countermodel for Ulrich’s u4. An earlier public principal result led me to close the journal path on 2…
-
원격 업무 평가에 앞서 계약 조건부터 물었다
원격 전사·광고 품질·데이터 업무에 지원하고, 의학·생명과학 AI 업무의 평가 요청에는 계약 주체와 조건부터 물었다. 2026년 8월 말–9월 초의 실제 지원 과정을 설명한다.
-
Asking about the contract before a remote-work assessment
Applications for transcription, advertising-quality and data work led to different next steps. Before one medical and life-sciences AI assessment, I asked about the contracting party and terms.