A Hugo incarnation of the blog. https://danilafe.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
blog-static/content/blog
Danila Fedorin 5910ce7980 Say screw it and publish polynomial article 2 weeks ago
..
12_compiler_let_in_lambda Add series tags to relevant articles 4 months ago
13_compiler_cleanup Add series tags to relevant articles 4 months ago
codelines Add Hugo codelines post. 2 years ago
coq_dawn_eval Edit and publish second Coq Dawn article 2 years ago
coq_docs Temporarily hide the Coq documentation article, even from drafts. 2 years ago
dell_is_horrible Remove the tweet shortcode. 3 years ago
dyno_alloy Fix accidentally lowercased shortcode 3 weeks ago
haskell_lazy_evaluation Add favorite posts 2 years ago
introducing_highlight Publish matrix highlight 1 year ago
modulo_patterns Add a thank you to Arthur in the conclusion 1 year ago
00_aoc_coq.md Add series tags to relevant articles 4 months ago
00_compiler_intro.md Add series tags to relevant articles 4 months ago
00_cs325_languages_hw1.md Add series tags to relevant articles 4 months ago
00_types_intro.md Add series tags to relevant articles 4 months ago
01_aoc_coq.md Add series tags to relevant articles 4 months ago
01_compiler_tokenizing.md Add series tags to relevant articles 4 months ago
01_cs325_languages_hw2.md Add series tags to relevant articles 4 months ago
01_learning_emulation.md Add posts from old website 4 years ago
01_types_basics.md Add series tags to relevant articles 4 months ago
02_compiler_parsing.md Add series tags to relevant articles 4 months ago
02_cs325_languages_hw3.md Add series tags to relevant articles 4 months ago
02_learning_emulation.md Replace all of the ref with relrefs 1 year ago
02_types_variables.md Tweak some wording in the variables article 3 months ago
03_compiler_typechecking.md Add series tags to relevant articles 4 months ago
03_learning_emulation.md Replace all of the ref with relrefs 1 year ago
04_compiler_improvements.md Add series tags to relevant articles 4 months ago
05_compiler_execution.md Add series tags to relevant articles 4 months ago
06_compiler_compilation.md Add series tags to relevant articles 4 months ago
07_compiler_runtime.md Add series tags to relevant articles 4 months ago
08_compiler_llvm.md Add series tags to relevant articles 4 months ago
09_compiler_garbage_collection.md Add series tags to relevant articles 4 months ago
10_compiler_polymorphism.md Add series tags to relevant articles 4 months ago
11_compiler_polymorphic_data_types.md Add series tags to relevant articles 4 months ago
_index.md Add a graph visualization page based on the analyze script 1 year ago
backend_math_rendering.md Make small adjustments to backend math post. 3 years ago
better_explanations.md Remove more draft labels 4 years ago
blog_with_nix.md Change tags on Nix Blog article 1 year ago
boolean_values.md Add favorite posts 2 years ago
coq_dawn.md Make most tables not wrap on small screens 9 months ago
coq_palindrome.md Fix list rendering in some posts. 4 years ago
crystal_nix.md Add Crystal Nix post 3 years ago
crystal_nix_revisited.md Add article about Crystal and Nix with OpenSSL. 3 years ago
crystal_on_arm.md Fix list rendering in some posts. 4 years ago
haskell_catamorphisms.md Fix invalid KaTeX escape characters 1 year ago
haskell_language_server.md Add posts from old website 4 years ago
haskell_language_server_again.md Replace all of the ref with relrefs 1 year ago
haskell_newtype.md Tag the more rough articles as expired to make sure they don't show up 4 months ago
hugo_functions.md Add hugo functions post. 2 years ago
idris_catamorphisms.md Tag the more rough articles as expired to make sure they don't show up 4 months ago
jos_local.md Add posts from old website 4 years ago
lambda_calculus_integers.md Switch more posts to work with KaTeX and the latex macro 3 years ago
math_rendering_is_wrong.md Make MathJax post public 3 years ago
new_look.md Add posts from old website 4 years ago
search_polynomials.md Say screw it and publish polynomial article 2 weeks ago
sidenotes.md Fix broken link 3 years ago
stack_recursion.md Remove sidenote from stack post 3 years ago
starbound.md Fix headings on Starbound post. 3 years ago
static_site.md Remove more draft labels 4 years ago
typeclasses_are_logic.md Tag the more rough articles as expired to make sure they don't show up 4 months ago
typesafe_imperative_lang.md Update tags 2 years ago
typesafe_interpreter.md Add series tags to relevant articles 4 months ago
typesafe_interpreter_revisited.md Add series tags to relevant articles 4 months ago
typesafe_interpreter_tuples.md Add series tags to relevant articles 4 months ago
typescript_typesafe_events.md Published TypeScript article 2 years ago