211 Commits (d5f478b3c6b6c6c2b3f33f40bb2681e18f64dc38)

Author SHA1 Message Date
Danila Fedorin d5f478b3c6 Add donations 10 months ago
Danila Fedorin 0f96b93532 Fix broken link in about page 11 months ago
Danila Fedorin d688df6c92 Update about page. 1 year ago
Danila Fedorin 77ae0be899 Add search and links to it. 1 year ago
Danila Fedorin ca939da28e Add hugo functions post. 1 year ago
Danila Fedorin d1ea7b5364 Add Hugo codelines post. 1 year ago
Danila Fedorin 755364c0df Publish second Coq post. 1 year ago
Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 1 year ago
Danila Fedorin b3ff2fe135 Add more text to draft. 1 year ago
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 1 year ago
Danila Fedorin 43dfee56cc More progress on Coq post. 1 year ago
Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 1 year ago
Danila Fedorin 6f92a50c83 Make more progress on Coq post. 1 year ago
Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 1 year ago
Danila Fedorin d5541bc985 Add favorites page. 2 years ago
Danila Fedorin 2e3074df00 Add favorite posts 2 years ago
Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 2 years ago
Danila Fedorin 234b795157 Add Coq advent of code post. 2 years ago
Danila Fedorin 29d12a9914 Publish new Idris post. 2 years ago
Danila Fedorin b459e9cbfe Update typesafe imperative language post draft. 2 years ago
Danila Fedorin 52abe73ef7 Make the typesafe imperative language work properly. 2 years ago
Danila Fedorin f0fe481bcf Add post about the typesafe imperative language. 2 years ago
Danila Fedorin 4c099a54e8 Publish part 13. 2 years ago
Danila Fedorin 9f77f07ed2 Finish 13th part of the compiler series. 2 years ago
Danila Fedorin 04ab1a137c Mark 13th post as draft 2 years ago
Danila Fedorin 53744ac772 Fix wording 2 years ago
Danila Fedorin 50a1c33adb Adjust code lines. 2 years ago
Danila Fedorin 97eb4b6e3e Fix silent error in set_mangled_name 2 years ago
Danila Fedorin 430768eac5 Add a TODO to part 13. 2 years ago
Danila Fedorin 5db864881a Fix use of wrong environment for name mangling. 2 years ago
Danila Fedorin d3b1047d37 Renamed the file since we have no optimization. 2 years ago
Danila Fedorin 98cac103c4 Update blog post, switching away from two sections. 2 years ago
Danila Fedorin 6b8d3b0f8a Refactor errors and update post draft. 2 years ago
Danila Fedorin 1f6b4bef74 Start working on part 13 of compiler series. 2 years ago
Danila Fedorin 06cbd93f05 Publish boolean values post. 2 years ago
Danila Fedorin 6c3780d9ea Finish up the draft of the boolean values post. 2 years ago
Danila Fedorin 6f0667bb28 Add draft of boolean values post. 2 years ago
Danila Fedorin 8368283a3e Add warning about evaluation model. 2 years ago
Danila Fedorin b0e501f086 Publish the new typesafe interpreter post. 2 years ago
Danila Fedorin 49469bdf12 Fix issues in typesafe interpreter article. 2 years ago
Danila Fedorin 020417e971 Add draft of new Idris typechecking post. 2 years ago
Danila Fedorin 068d0218b0 Fix typesafe interpreter post. 2 years ago
Danila Fedorin 7623787b1c Mention Kai's help in time traveling article. 2 years ago
Danila Fedorin e15daa8f6d Make the detailed time traveling example a subsection. 2 years ago
Danila Fedorin 298cf6599c Publish time traveling post. 2 years ago
Danila Fedorin 9b37e496cb Add figure size classes to global CSS. 2 years ago
Danila Fedorin 58e6ad9e79 Update lazy evaluation post with images and more. 2 years ago
Danila Fedorin 3aa2a6783e Add images to time traveling post. 2 years ago
Danila Fedorin ba141031dd Remove the tweet shortcode. 2 years ago
Danila Fedorin ebdc63f5a0 Make small edit to DELL post. 2 years ago