'블록체인' 검색 결과 22건
초기화
3월 15일
TLA+ 명세와 TypeScript 코드의 불일치를 원천 차단하는 도구, tla-precheck
## TLA+ 명세를 코드와 동기화하는 새로운 접근 **tla-precheck**는 TLA+로 작성한 형식 명세(formal specification)와 실제 TypeScript 구현 코드가 서로 어긋나는 것을 방지해주는 프리커밋(pre-commit...
3월 4일
코딩으로 돈버는 방법 일주일만에 가능? #코딩 #부업 #돈버는법
## 비전공자도 코딩으로 일주일만에 돈 버는 법? 블로그 자동화로 본 현실적인 인사이트! "코딩으로 돈 번다"는 말, 막연하게 들리나요? 특히 "일주일만에" 수익을 낸다는 건 더더욱 허황된 이야기처럼 느껴질 수 있습니다. 하지만 최근 한 유튜...