Danila Fedorin DanilaFe
DanilaFe pushed to master at DanilaFe/custom-nix 2020-09-02 17:26:02 -07:00
07f0596f6e Reformat default.nix
DanilaFe pushed to master at DanilaFe/custom-nix 2020-09-02 17:03:16 -07:00
8f8ebe68e0 Allow for multi-host configuration.
DanilaFe pushed to localization at Web-Projects/blog-static 2020-09-02 16:56:45 -07:00
cd574b43fd Finalize draft of compilers part 0.
DanilaFe pushed to localization at Web-Projects/blog-static 2020-09-02 14:43:02 -07:00
8466a5601e Add a draft of a big portion of the translation of the 0th compilers post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-02 13:50:10 -07:00
b921ddfc8d Update resume.
DanilaFe pushed to master at DanilaFe/resume 2020-09-01 15:20:46 -07:00
e19dff800f Add university name.
a24768990b Switch away from project columnns.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-29 00:19:36 -07:00
bf3c81fe24 Fix invalid property for flexbox.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-21 23:06:35 -07:00
06cbd93f05 Publish boolean values post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-21 17:37:41 -07:00
6c3780d9ea Finish up the draft of the boolean values post.
DanilaFe pushed to localization at Web-Projects/blog-static 2020-08-20 21:20:10 -07:00
845d1ae7d8 Add russian index.
988bf72786 Enable localization for Russian.
8557dc4399 Replace more hardcoded strings with their i18nized versions.
7d1fcdb0c5 Add rough russian translation.
bda78fed78 Use localization files in templates.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-20 21:19:59 -07:00
6f0667bb28 Add draft of boolean values post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-15 01:38:17 -07:00
8368283a3e Add warning about evaluation model.
18ee3a1526 Add margins to code tables.
Compare 2 commits »
DanilaFe pushed to colors at Web-Projects/blog-static 2020-08-12 17:03:13 -07:00
49469bdf12 Fix issues in typesafe interpreter article.
DanilaFe pushed to master at DanilaFe/resume 2020-08-12 16:51:35 -07:00
db30141c08 Disable font ligatures.
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-12 15:49:02 -07:00
b0e501f086 Publish the new typesafe interpreter post.
385ae59133 Merge branch 'colors' into master
49469bdf12 Fix issues in typesafe interpreter article.
020417e971 Add draft of new Idris typechecking post.
eff0de5330 Allow the codelines shortcode to use hl_lines.
Compare 7 commits »
DanilaFe pushed to master at CS-162-Reference/Early-Projects 2020-08-12 14:50:52 -07:00
77074f02e6 Add early projects markdown file.
DanilaFe created repository CS-162-Reference/Early-Projects 2020-08-12 14:50:37 -07:00
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-12 01:41:41 -07:00
068d0218b0 Fix typesafe interpreter post.
3e9f6a14f2 Fix single-line scroll bug
Compare 2 commits »
DanilaFe pushed to colors at Web-Projects/blog-static 2020-08-12 01:39:05 -07:00
020417e971 Add draft of new Idris typechecking post.
eff0de5330 Allow the codelines shortcode to use hl_lines.
b219f6855e Change highlight color for code.
65215ccdd6 Start working on improving color handling in code.
3e9f6a14f2 Fix single-line scroll bug
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 02:05:54 -07:00
7623787b1c Mention Kai's help in time traveling article.