BranchCommit messageAuthorAge
masterpublish post about triangularization and property based testingCasey Robinson3 months
projects_gridresponsive layout for mobile and tabletsCasey Robinson2 years
sauron-configsauron work in progress...Casey Robinson2 years
strangeloop_postmy thoughts on formal methods after first half of tla+ conferenceCasey Robinson7 months
AgeCommit messageAuthorFilesLines
2020-05-05publish post about triangularization and property based testingHEADmasterCasey Robinson2-0/+750
2020-02-20minimal kotlin modeCasey Robinson3-0/+14
2020-02-20set prolog as default mode for files with 'pl' extensionCasey Robinson1-0/+7
2020-02-03add a description to the remaining postsCasey Robinson4-0/+4
2020-02-03simplify posts pageCasey Robinson3-18/+12
2020-02-03allow raw html in my postsCasey Robinson2-1/+4
2020-02-03actually display the post summary on the landing pageCasey Robinson1-3/+5
2020-02-03add go directory on ubuntu to the pathCasey Robinson1-1/+1
2020-01-27listing of posts by tagCasey Robinson2-0/+22
2020-01-09Publish 'Modeling a Resource Pool' describing my experience using TLA+Casey Robinson4-1/+330