ARCHIVE · 아카이브
Stopped · 종료
-
작약·감초 전사체 재분석에서 추가 자료를 찾다 멈췄다
작약·감초 전사체 재분석을 확장하려고 추가 자료의 출처와 비교 조건을 살폈다. 독립 검증 자료를 확보하지 못해 멈춘 판단과, 이미 공개해 둔 재현 패키지를 설명한다.
-
Why I stopped looking for an extension to a Paeonia–Glycyrrhiza reanalysis
Why I checked the origins and contrasts of additional transcriptomic data, stopped the Paeonia–Glycyrrhiza rework, and retained its public reproducibility package.
-
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…