path: root/website
AgeCommit message (Expand)AuthorFilesLines
2021-09-30hide color paletteCasey Robinson1-0/+2
2021-09-30render blog list with hyphens and make landing page mobile friendlyCasey Robinson4-7/+54
2021-09-30lean in to the heraldry definition of "rampant" with website redesignCasey214-1305/+9241
2021-06-19fix some broken links to my git serverCasey Robinson4-16/+14
2021-04-01publish misc-vim-ideasCasey Robinson1-0/+19
2021-02-28some amusing front-end web development ideas I learned about recentlyCasey Robinson4-0/+42
2021-02-28bump date and remove public domain commentCasey Robinson1-2/+1
2020-12-05publish post 'solving zebra puzzles with minizinc'Casey Robinson4-0/+207
2020-05-05publish post about triangularization and property based testingCasey Robinson2-0/+750
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-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
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 Robinson3-6/+0
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
2019-08-26merge css filesCasey Robinson6-110/+110
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-08-26remove ambiguous icons from landing pageCasey Robinson1-5/+0
2019-08-26update date in website footerCasey Robinson1-1/+1
2019-02-17render old postsCasey Robinson5-86/+8
2019-02-10first pass at deleting website clutterCasey Robinson84-2491/+0
2018-10-16update reading list to reference harry potterCasey Robinson1-2/+2
2018-10-16remove problematic transitions on landing pageCasey Robinson1-7/+0
2018-08-24some quick thoughts on escape room story writingCasey Robinson2-0/+15
2018-08-24publish "Escape Rooms"casey@rampantmonkey.com1-0/+73
2018-07-08update expiration on gpg keyCasey Robinson1-84/+136
2018-06-25add metadata to thermochromatic bras postCasey Robinson1-3/+12
2018-06-25post about thermochromatic bras and dcphr 3casey@rampantmonkey.com1-0/+10
2018-04-29update date and source urlCasey Robinson1-2/+2
2018-04-29merge website into a subdirectoryCasey Robinson242-0/+11590