path: root/website/static
AgeCommit message (Expand)AuthorFilesLines
2021-09-30lean in to the heraldry definition of "rampant" with website redesignCasey115-7480/+0
2021-02-28some amusing front-end web development ideas I learned about recentlyCasey Robinson1-0/+0
2020-12-05publish post 'solving zebra puzzles with minizinc'Casey Robinson3-0/+115
2020-05-05publish post about triangularization and property based testingCasey Robinson1-0/+579
2020-02-03simplify posts pageCasey Robinson1-1/+1
2020-01-09Publish 'Modeling a Resource Pool' describing my experience using TLA+Casey Robinson2-0/+209
2019-11-06publish post about vim navigation visual aidsCasey Robinson1-0/+0
2019-09-04remove 'correct' from the things I enjoy.Casey Robinson1-2/+1
2019-08-26bring back vim configuration from historyCasey Robinson2-0/+0
2019-08-26set font-display strategy to autoCasey Robinson1-0/+3
2019-08-26merge css filesCasey Robinson4-108/+108
2019-08-26fix landing page after font changesCasey Robinson1-0/+3
2019-08-26use Junction font for normal text and League Mono for code blocksCasey Robinson3-5/+9
2019-02-17render old postsCasey Robinson1-0/+0
2018-10-16remove problematic transitions on landing pageCasey Robinson1-7/+0
2018-07-08update expiration on gpg keyCasey Robinson1-84/+136
2018-04-29merge website into a subdirectoryCasey Robinson111-0/+6523