https://dosi.dev/tags/tla+/ Recent content in TLA+ on dosi.dev Hugo ko Mon, 28 Sep 2026 00:00:00 +0000 https://dosi.dev/post/2026-09-28-tla-summary/ Mon, 28 Sep 2026 00:00:00 +0000 https://dosi.dev/post/2026-09-28-tla-summary/ TLA+를 처음 보는 사람이 이 한 장으로 책 전체의 지도와 핵심 문법을 잡을 수 있게 만든 요약이다. 전체 번역은 Learn TLA+ 한국어판에 있다. https://dosi.dev/post/2026-09-28-tla/ Mon, 28 Sep 2026 00:00:00 +0000 https://dosi.dev/post/2026-09-28-tla/ 설계 버그를 코드 전에 잡는 정형 명세 언어 TLA+의 대표 무료 입문서를 통째로 옮긴 한국어판이다. 책 전체를 한 페이지로 훑는 원페이지 요약도 함께 있다.