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-08-31 22:30:53 -07:00
6b24d67409 Minor wording updates to the Agda post.
DanilaFe pushed to master at Web-Projects/blog-static 2023-08-31 22:16:32 -07:00
48c3105f42 Finish and publish the IsSomething article
DanilaFe pushed to master at DanilaFe/dotfiles 2023-08-30 09:11:32 -07:00
7747bb47e2 Pull some changes from the work machine
DanilaFe pushed to master at Web-Projects/blog-static 2023-08-28 23:04:49 -07:00
032453c4d0 Add a first draft of the IsSomething article
DanilaFe pushed to master at Web-Projects/blog-static 2023-08-28 20:46:41 -07:00
f093868da1 Add the missing general-base pattern drawing code
DanilaFe pushed to master at DanilaFe/resume 2023-08-06 14:32:39 -07: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 12:34:05 -07:00
7e99c35112 Put Master's degree first
DanilaFe pushed to master at DanilaFe/resume 2023-06-17 12:31:43 -07:00
0e7eb39043 Put Master's degree first
DanilaFe pushed to master at Web-Projects/blog-static 2023-06-04 22:03:46 -07:00
1f5e38190d Fix DeMorgan's link
DanilaFe pushed to master at Web-Projects/blog-static 2023-06-04 21:58:11 -07:00
250884c7bc Edit and publish Alloy article
8a2e91e65e Update theme
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-06-04 21:54:14 -07:00
502190055d Add a details shortcode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-22 21:42:35 -07:00
5910ce7980 Say screw it and publish polynomial article
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-22 20:45:09 -07:00
00bec06012 Make some edits to the polynomial draft
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-14 21:23:27 -07:00
54dccdbc7d Fix accidentally lowercased shortcode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-14 21:18:37 -07: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 16:01:08 -07:00
384f5de765 Make some more progress on the Alloy article.
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-04 21:03:44 -07:00
9ae4798d80 Hide Alloy article even from draft side
850ccbdcee Update theme
d8ab3f2226 Continue working on the Alloy blog post
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2023-05-04 21:02:02 -07:00
7e3099aae3 Make the keywords not grey on dark mode
DanilaFe pushed to master at Web-Projects/blog-static 2023-05-04 01:04:03 -07:00
9ddd2dd3bc Add initial draft of alloy article
DanilaFe pushed to master at DanilaFe/resume 2023-04-22 14:34:00 -07:00
a41834c1d1 Change 'expected' to 'completed'