ARCHIVE · 아카이브
Externally Validated · 외부 검증
-
모르는 글자를 아는 척하지 않는 전사 워크플로
시각장애인용 대체자료 제작 봉사에서 문단, 각주, 수식과 불확실한 글자를 다루는 전사·검수 규칙을 만들었다. 활동은 확인되지만 수혜 효과는 측정하지 않았다.
-
A transcription workflow built around marking uncertainty
In volunteer work on alternative-format material for blind readers, I developed rules for paragraphs, notes, formulas and uncertain text. The activity is documented; its effect for readers was…
-
P2624의 공개 증명 트리를 독립적으로 다시 만든 기록
공개 사양에서 일곱 개 증명 트리를 다시 생성해 299,903,736개 노드와 공개된 파일별 해시를 모두 맞췄다. 새 정리나 공식 난제 해결을 주장하는 작업은 아니다.
-
Independently rebuilding P2624’s public proof trees
I regenerated seven proof trees from a public specification, matching all 299,903,736 nodes and all seven published component hashes. This was not a new theorem or a recovery…
-
The record behind the second CADINAR
The second CADINAR took place at D.CAMP in March 2015. I went back through its poster, an archived OnOffMix page and a later university notice to separate what…
-
제2회 CADINAR를 준비한 기록
2015년 3월 D.CAMP에서 열린 제2회 CADINAR. 당시 포스터와 OnOffMix 보존 페이지, 이듬해 대학 공지를 대조해 행사와 내가 맡았던 역할을 다시 확인했다.