diff --git a/content/blog/08_spa_agda_forward/thumbnail.png b/content/blog/08_spa_agda_forward/thumbnail.png new file mode 100644 index 0000000..cecf094 Binary files /dev/null and b/content/blog/08_spa_agda_forward/thumbnail.png differ diff --git a/content/blog/12_compiler_let_in_lambda/thumbnail.png b/content/blog/12_compiler_let_in_lambda/thumbnail.png new file mode 100755 index 0000000..a65b951 Binary files /dev/null and b/content/blog/12_compiler_let_in_lambda/thumbnail.png differ diff --git a/content/blog/bergamot/thumbnail.png b/content/blog/bergamot/thumbnail.png new file mode 100644 index 0000000..e538773 Binary files /dev/null and b/content/blog/bergamot/thumbnail.png differ diff --git a/content/blog/codelines/thumbnail.png b/content/blog/codelines/thumbnail.png new file mode 100644 index 0000000..aed915f Binary files /dev/null and b/content/blog/codelines/thumbnail.png differ diff --git a/content/blog/coq_dawn_eval/thumbnail.png b/content/blog/coq_dawn_eval/thumbnail.png new file mode 100644 index 0000000..b07c13d Binary files /dev/null and b/content/blog/coq_dawn_eval/thumbnail.png differ diff --git a/content/blog/dyno_alloy/thumbnail.png b/content/blog/dyno_alloy/thumbnail.png new file mode 100644 index 0000000..193c3da Binary files /dev/null and b/content/blog/dyno_alloy/thumbnail.png differ diff --git a/content/blog/haskell_lazy_evaluation/thumbnail.png b/content/blog/haskell_lazy_evaluation/thumbnail.png new file mode 100644 index 0000000..02c75f4 Binary files /dev/null and b/content/blog/haskell_lazy_evaluation/thumbnail.png differ diff --git a/content/blog/introducing_highlight/thumbnail.png b/content/blog/introducing_highlight/thumbnail.png new file mode 100644 index 0000000..c782444 Binary files /dev/null and b/content/blog/introducing_highlight/thumbnail.png differ diff --git a/content/blog/modulo_patterns/thumbnail.png b/content/blog/modulo_patterns/thumbnail.png new file mode 100644 index 0000000..35db1cc Binary files /dev/null and b/content/blog/modulo_patterns/thumbnail.png differ diff --git a/content/blog/pdf_flashcards_llm/thumbnail.png b/content/blog/pdf_flashcards_llm/thumbnail.png new file mode 100644 index 0000000..f4e1b76 Binary files /dev/null and b/content/blog/pdf_flashcards_llm/thumbnail.png differ diff --git a/themes/vanilla b/themes/vanilla index cb73f4e..6b178be 160000 --- a/themes/vanilla +++ b/themes/vanilla @@ -1 +1 @@ -Subproject commit cb73f4e7a5dd95e10391d90149182e25a4cc7469 +Subproject commit 6b178bebcbed61b4365dcbe384c586f2e4ad6bda