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 2023-10-10 03:24:33 +00:00
88c5daa561 Add the 'chapel' tag to the alloy article
4f281ef108 Add a draft article about X Macros
12aca7ca58 Update the Alloy blogpost to point to the GitHub files.
77ec1aa969 Update the 'vanilla' theme
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-10-09 21:40:37 +00:00
b5761d4d81 Add a new shortcode for referencing lines in a GitHub repo
DanilaFe pushed to master at Web-Projects/blog-static 2023-09-03 18:38:31 +00:00
8710a5554c Fix mistakes in the example.agda file for IsSomething.
DanilaFe pushed to master at Web-Projects/blog-static 2023-09-01 05:30:53 +00:00
6b24d67409 Minor wording updates to the Agda post.
DanilaFe pushed to master at Web-Projects/blog-static 2023-09-01 05:16:32 +00:00
48c3105f42 Finish and publish the IsSomething article
DanilaFe pushed to master at DanilaFe/dotfiles 2023-08-30 16:11:32 +00:00
7747bb47e2 Pull some changes from the work machine
DanilaFe pushed to master at Web-Projects/blog-static 2023-08-29 06:04:49 +00:00
032453c4d0 Add a first draft of the IsSomething article
DanilaFe pushed to master at Web-Projects/blog-static 2023-08-29 03:46:41 +00:00
f093868da1 Add the missing general-base pattern drawing code
DanilaFe pushed to master at DanilaFe/resume 2023-08-06 21:32:39 +00:00
c756fd5efa Fix typo
c47e49dabe Add a new bullet point and slightly bump line height to occupy space
88396133d0 Significantly shorten bullet points.
fcd14cb866 Workshop bullet points some more.
f48dbaad78 Update location to Portland
Compare 8 commits »
DanilaFe pushed to master at DanilaFe/resume 2023-06-17 19:34:05 +00:00
7e99c35112 Put Master's degree first
DanilaFe pushed to master at DanilaFe/resume 2023-06-17 19:31:43 +00:00
0e7eb39043 Put Master's degree first
DanilaFe pushed to master at Web-Projects/blog-static 2023-06-05 05:03:46 +00:00
1f5e38190d Fix DeMorgan's link
DanilaFe pushed to master at Web-Projects/blog-static 2023-06-05 04:58:11 +00:00
250884c7bc Edit and publish Alloy article
8a2e91e65e Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-06-05 04:54:14 +00:00
502190055d Add a details shortcode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-23 04:42:35 +00:00
5910ce7980 Say screw it and publish polynomial article
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-23 03:45:09 +00:00
00bec06012 Make some edits to the polynomial draft
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-15 04:23:27 +00:00
54dccdbc7d Fix accidentally lowercased shortcode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-15 04:18:37 +00:00
2bd776ec55 Add a description and disclaimer to the Alloy draft.
23cf7c9e8b Finish initial draft of the Alloy article.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-14 23:01:08 +00:00
384f5de765 Make some more progress on the Alloy article.
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-05 04:03:44 +00:00
9ae4798d80 Hide Alloy article even from draft side
850ccbdcee Update theme
d8ab3f2226 Continue working on the Alloy blog post
Compare 3 commits »