Danila Fedorin e1efe0f406 Update theme and add thumbnails where available ...

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

2026-05-06 18:57:32 -07:00

..

00_types_intro

Bring in more theme updates

2024-09-15 16:28:07 -07:00

01_types_basics

Bring in more theme updates

2024-09-15 16:28:07 -07:00

05_spa_agda_semantics

Write up the "verified" portion of the forward analysis

2024-12-25 19:03:51 -08:00

06_spa_agda_cfg

Write a new post about proving the connection between semantics and CFGs

2024-11-28 20:33:08 -08:00

07_spa_agda_semantics_and_cfg

Write a new post about proving the connection between semantics and CFGs

2024-11-28 20:33:08 -08:00

08_spa_agda_forward

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

09_spa_agda_verified_forward

Publish the last two posts in the SPA series

2024-12-25 19:05:28 -08:00

12_compiler_let_in_lambda

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

13_compiler_cleanup

…

bergamot

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

blog_microfeatures

…

codelines

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

coq_dawn_eval

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

coq_docs

…

dell_is_horrible

…

dyno_alloy

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

haskell_lazy_evaluation

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

i_love_programming_languages

Slightly tweak wording

2026-01-19 10:23:02 -08:00

introducing_highlight

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

llm_personal_software

Add descriptions to new articles

2026-04-05 16:21:01 -07:00

modulo_patterns

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

pdf_flashcards_llm

Update theme and add thumbnails where available

2026-05-06 18:57:32 -07:00

_index.md

…

00_aoc_coq.md

…

00_compiler_intro.md

…

00_cs325_languages_hw1.md

…

00_spa_agda_intro.md

Fix slugs and add example of constant propagation

2024-12-01 22:19:08 -08:00

01_aoc_coq.md

…

01_compiler_tokenizing.md

…

01_cs325_languages_hw2.md

…

01_learning_emulation.md

…

01_spa_agda_lattices.md

Add a draft post on forward analysis

2024-12-01 22:16:02 -08:00

02_compiler_parsing.md

…

02_cs325_languages_hw3.md

…

02_learning_emulation.md

…

02_spa_agda_combining_lattices.md

…

02_types_variables.md

Update theme

2025-03-30 23:15:54 -07:00

03_compiler_typechecking.md

…

03_learning_emulation.md

…

03_spa_agda_fixed_height.md

Write more

2024-11-16 15:25:26 -08:00

04_compiler_improvements.md

…

04_spa_agda_fixedpoint.md

Write up the "verified" portion of the forward analysis

2024-12-25 19:03:51 -08:00

05_compiler_execution.md

…

06_compiler_compilation.md

…

07_compiler_runtime.md

…

08_compiler_llvm.md

…

09_compiler_garbage_collection.md

…

10_compiler_polymorphism.md

…

11_compiler_polymorphic_data_types.md

…

agda_expr_pattern.md

…

agda_hugo.md

…

agda_is_pattern.md

…

backend_math_rendering.md

…

better_explanations.md

…

blog_with_nix.md

…

boolean_values.md

…

chapel_runtime_types.md

Add a post on Chapel's runtime types

2025-03-02 22:56:10 -08:00

chapel_x_macros.md

…

coq_dawn.md

…

coq_palindrome.md

…

crystal_nix_revisited.md

…

crystal_nix.md

…

crystal_on_arm.md

…

haskell_catamorphisms.md

…

haskell_language_server_again.md

…

haskell_language_server.md

…

haskell_newtype.md

…

hugo_functions.md

…

idris_catamorphisms.md

Update theme

2025-03-30 23:15:54 -07:00

jos_local.md

…

lambda_calculus_integers.md

…

math_rendering_is_wrong.md

…

new_look.md

…

search_polynomials.md

…

sidenotes.md

…

stack_recursion.md

…

starbound.md

…

static_site.md

…

typeclasses_are_logic.md

…

typesafe_imperative_lang.md

…

typesafe_interpreter_revisited.md

…

typesafe_interpreter_tuples.md

…

typesafe_interpreter.md

…

typescript_typesafe_events.md

…