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-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 »
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-20 22:35:46 -07: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-19 23:19:16 -07:00
1f734a613c Add the second part of the typechecking post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-07-19 17:17:49 -07: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-18 20:47:56 -07: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 02:39:51 -07: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-15 23:25:06 -07: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-15 21:53:14 -07: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 15:46:35 -07: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.
DanilaFe pushed to margin-rework at Web-Projects/blog-static 2020-07-15 15:46:24 -07:00
71fc0546e0 Move move code into common 'margin node' mixin.
871a745702 Extract margin variables and mixins into separate file.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 22:21:56 -07:00
3f0df8ae0d Add links for 12th part of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 00:51:46 -07:00
1746011c16 Publish 12th part of compiler series.