Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to flakes at DanilaFe/custom-nix 2021-01-05 06:46:19 +00:00
b3ecef1dcc Start working on converting to Nix flakes.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-03 05:23:53 +00:00
b3ff2fe135 Add more text to draft.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2021-01-03 05:22:13 +00:00
7a8503c3fe Use auto instead of apply.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-03 02:38:33 +00:00
6a6f25547e Update post with tactic-based proof.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2021-01-03 02:16:06 +00:00
2b69cbd391 Rewrite using induction on list length.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-02 05:35:59 +00:00
43dfee56cc More progress on Coq post.
6f9a2ce092 Switch day 1 Coq post to use submodule'd code.
06014eade9 Add AoC submodule.
6f92a50c83 Make more progress on Coq post.
Compare 4 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2021-01-01 23:52:59 +00:00
661bcbb557 Add README.
DanilaFe pushed to master at DanilaFe/custom-nix 2021-01-01 05:52:34 +00:00
28fcd6e254 Update blog again.
4e4a894199 Add empty commit.
14f6079c6f Fix up blog updating script.
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-01 05:51:49 +00:00
60eb50737d Add draft of the first portion of day 8 Coq writeup.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-31 02:36:08 +00:00
250746e686 Test commit to see if blog updating script works.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-31 02:29:36 +00:00
93493fd2e9 Use UTF-8 instead of ASCII
3a829d6da5 Add script for automatically updating main blog view.
060674ed31 More blog updates.
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-31 02:06:44 +00:00
3bac151b08 Make the fooder divider a container.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-31 02:00:53 +00:00
c61d9ccb99 Adjust footer divider style.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-31 00:47:16 +00:00
56ad03b833 Remove index, since it's currently unused.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-31 00:42:36 +00:00
2f9e6278ba Use feather for starts.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 23:50:51 +00:00
17e0fbc6fb Remove search for now, since it screws with page load times.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 22:45:38 +00:00
7ee7feadf3 Link to favorite posts from footer.
b36ea558a3 Update index.
17d6a75465 Remove double toml extension from index.
d5541bc985 Add favorites page.
98a46e9fd4 Display star near favorite posts.
Compare 8 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-29 08:50:36 +00:00
c6ac448ad2 Add day 25 solution.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-29 06:44:42 +00:00
0467e4e12f Disable progress bar in Stork.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-29 06:41:25 +00:00
8164624cee Remove useless paragraph element and fix CSS.