'블록체인' 검색 결과 2건
초기화
4월 26일
[심층분석] 직접 만들어보면서 배우는 게 진짜다: 'Build Your Own X'가 50만 별을 받은 이유
## 들어가며: 왜 우리는 "직접 만들어보기"에 끌리는가 혹시 이런 경험 해보셨어요? React를 몇 년째 쓰고 있는데, 막상 "가상 DOM이 어떻게 동작해요?"라는 질문을 받으면 머릿속이 하얘지는 그런 순간이요. 또는 매일 `git commit...
3월 15일
TLA+ 명세와 TypeScript 코드의 불일치를 원천 차단하는 도구, tla-precheck
## TLA+ 명세를 코드와 동기화하는 새로운 접근 **tla-precheck**는 TLA+로 작성한 형식 명세(formal specification)와 실제 TypeScript 구현 코드가 서로 어긋나는 것을 방지해주는 프리커밋(pre-commit...