tcc@tccNov 16, 2022Upgraded from @SlideasP to @iAPresenter, which features a powerful MD editor resembling iA Writer, numerous ready-to-use slide layouts, no decorated attr to show multiple columns, and plain-text drawing (@Monodraw) that works well 🤍.3
tcc@tccAug 29, 2017雖然著眼分散系統, 也適合各種資訊系統, 以實務角度(工具/方法)解決從 規格(TLA+), 測試, 可靠性 到 正式環境下發佈 的驗證。GOTO@GOTOconOct 14, 2016Recorded at @gotochgo: "Verification of a Distributed System" by @caitie! #VideosForDevelopers bit.ly/2dPbWSy
GOTO@GOTOconOct 14, 2016Recorded at @gotochgo: "Verification of a Distributed System" by @caitie! #VideosForDevelopers bit.ly/2dPbWSy
