Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
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.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 01:09:36 -07:00
e15daa8f6d Make the detailed time traveling example a subsection.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 00:59:01 -07:00
298cf6599c Publish time traveling post.
841930a8ef Add time traveling code.
9b37e496cb Add figure size classes to global CSS.
58e6ad9e79 Update lazy evaluation post with images and more.
3aa2a6783e Add images to time traveling post.
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:50:16 -07:00
ba141031dd Remove the tweet shortcode.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:45:35 -07:00
ebdc63f5a0 Make small edit to DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 13:41:41 -07:00
5af0a09714 Publish DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 14:38:07 -07:00
8a2bc2660c Update date on typesafe interpreter.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 14:35:26 -07:00
e59b8cf403 Edit and publish typesafe interpreter.
b078ef9a22 Remove implicit arguments from TypsafeIntrV2.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-21 15:35:09 -07:00
fdaec6d5a9 Make small adjustments to backend math post.
b631346379 Publish the mathematics post.
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-07-21 00:40:35 -07:00
05fcf11094 Pull upstream changes.
0752c56004 Pull and publish 12th part of compiler series.
Compare 2 commits »