Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2020-08-12 08:41:41 +00: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 08:39:05 +00: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 09:05:54 +00:00
7623787b1c Mention Kai's help in time traveling article.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 08:09:36 +00:00
e15daa8f6d Make the detailed time traveling example a subsection.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-30 07:59:01 +00: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 20:50:16 +00:00
ba141031dd Remove the tweet shortcode.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 20:45:35 +00:00
ebdc63f5a0 Make small edit to DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-23 20:41:41 +00:00
5af0a09714 Publish DELL post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 21:38:07 +00:00
8a2bc2660c Update date on typesafe interpreter.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-22 21:35:26 +00: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 22:35:09 +00: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 07:40:35 +00:00
05fcf11094 Pull upstream changes.
0752c56004 Pull and publish 12th part of compiler series.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-21 05:35:46 +00:00
e9f2378b47 Resume working on the draft of time traveling.
7d2f78d25c Add links and make small clarifications.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-20 06:19:16 +00:00
1f734a613c Add the second part of the typechecking post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-20 00:17:49 +00:00
a3c299b057 Start working on the improved type-safe interpreter.
12aedfce92 Make small fixes to math rendering code.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-19 03:47:56 +00:00
65645346a2 Adjust title in DELL post.
cb65e89e53 Add math rendering draft.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-18 09:39:51 +00:00
6a2fec8ef4 Update the about page.
aa59c90810 Add the draft of the DELL post.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-16 06:25:06 +00:00
2b317930a0 Add resume link.
e7d56dd4bd Clean up some styles.
a4fedb276d Adjust margin spacing.
277c0a2ce6 Rework sidenote spacing and TOC.
ef3c61e9e6 Make table of contents dark.
Compare 11 commits »
DanilaFe pushed to table-of-contents at Web-Projects/blog-static 2020-07-16 04:53:14 +00:00
e7d56dd4bd Clean up some styles.
a4fedb276d Adjust margin spacing.
277c0a2ce6 Rework sidenote spacing and TOC.
Compare 3 commits »
DanilaFe pushed to table-of-contents at Web-Projects/blog-static 2020-07-15 22:46:35 +00:00
ef3c61e9e6 Make table of contents dark.
1908126607 Add border to code.
2d77f8489f Move hiding code into margin SCSS.
0371651fdd Fix headings on Starbound post.
01734d24f7 Get started on tables of contents.