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 2021-01-02 18:38:33 -08:00
6a6f25547e Update post with tactic-based proof.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2021-01-02 18:16:06 -08:00
2b69cbd391 Rewrite using induction on list length.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-01 21:35:59 -08: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 15:52:59 -08:00
661bcbb557 Add README.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-31 21:52:34 -08: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 2020-12-31 21:51:49 -08:00
60eb50737d Add draft of the first portion of day 8 Coq writeup.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 18:36:08 -08:00
250746e686 Test commit to see if blog updating script works.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-30 18:29:36 -08: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-30 18:06:44 -08:00
3bac151b08 Make the fooder divider a container.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 18:00:53 -08:00
c61d9ccb99 Adjust footer divider style.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 16:47:16 -08:00
56ad03b833 Remove index, since it's currently unused.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 16:42:36 -08:00
2f9e6278ba Use feather for starts.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-30 15:50:51 -08: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 14:45:38 -08: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 00:50:36 -08:00
c6ac448ad2 Add day 25 solution.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-28 22:44:42 -08:00
0467e4e12f Disable progress bar in Stork.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-28 22:41:25 -08:00
8164624cee Remove useless paragraph element and fix CSS.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-28 22:33:18 -08:00
e0451d026c Update index.
1f1345477f Use Hugo's plaintext instead of file path for Stork index.
44529e872f Fix wrong path name for index file.
a10996954e Redirect search index.
4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix.
Compare 11 commits »
DanilaFe pushed to search at Web-Projects/blog-static 2020-12-28 22:32:53 -08:00
e0451d026c Update index.
1f1345477f Use Hugo's plaintext instead of file path for Stork index.
44529e872f Fix wrong path name for index file.
a10996954e Redirect search index.
4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix.
Compare 6 commits »
DanilaFe pushed to search at Web-Projects/blog-static 2020-12-27 22:24:51 -08:00
8215c59122 Change search highlight color.
eb97bd9c3e Add search box to main page.
d2e100fe4b Add search CSS.
de09a1f6bd Enable TOML output.
c40672e762 Add a way to generate TOML template for Stork.