BranchCommit messageAuthorAge
masterPublish 'Modeling a Resource Pool' describing my experience using TLA+Casey Robinson14 days
projects_gridresponsive layout for mobile and tabletsCasey Robinson21 months
sauron-configsauron work in progress...Casey Robinson21 months
strangeloop_postmy thoughts on formal methods after first half of tla+ conferenceCasey Robinson14 days
AgeCommit messageAuthorFilesLines
14 daysPublish 'Modeling a Resource Pool' describing my experience using TLA+HEADmasterCasey Robinson4-1/+330
2019-11-06publish post about vim navigation visual aidsCasey Robinson2-0/+35
2019-10-11an outline of a year of exploration and changeCasey Robinson1-0/+28
2019-10-08publish post about dungeons and dragons season 1Casey Robinson1-0/+54
2019-09-04remove 'correct' from the things I enjoy.Casey Robinson2-3/+2
2019-08-26bring back vim configuration from historyCasey Robinson233-7/+41401
2019-08-26minimal install for windowsCasey Robinson13-0/+12
2019-08-26line drawing algorithms in 'project underway'Casey Robinson1-2/+2
2019-08-26Practical TLA+ to the reading listCasey Robinson1-2/+2
2019-08-26set font-display strategy to autoCasey Robinson1-0/+3