Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at DanilaFe/custom-nix 2021-01-10 20:23:26 -08:00
b64227d1da Roll back submodule-related changes.
a8ee845721 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/custom-nix
6f060b01bc Update blog URLs.
1b5b09dbe1 Fetch git submodules when computing hash.
77059e3938 Make sure prefetch clones submodules.
Compare 6 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2021-01-10 19:57:34 -08:00
7aeb03f813 Add code to properly link submodules.
DanilaFe pushed to master at Crystal-Bots/joann-pupper-bot 2021-01-04 23:21:07 -08:00
e5549e22db Add shard.lock
DanilaFe pushed to flakes at DanilaFe/custom-nix 2021-01-04 22:46:19 -08:00
b3ecef1dcc Start working on converting to Nix flakes.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-02 21:23:53 -08:00
b3ff2fe135 Add more text to draft.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2021-01-02 21:22:13 -08:00
7a8503c3fe Use auto instead of apply.
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 »