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-12 01:08:21 +00:00
a6c5a42c1d Split generated and handwritten configuration.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-12 01:02:17 +00:00
c44c718d06 Remove accidentally commited test submodule.
5e4097453b Update submodule script to properly gather submodule paths.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-11 06:51:21 +00:00
bfeae89ab5 Update codelines to use submodule link information
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-11 06:49:18 +00:00
755364c0df Publish second Coq post.
dcb1e9a736 Finish up draft of Coq post.
c8543961af Add generated section of configuration.
cbad3b76eb Add script to generate submodule links.
Compare 4 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2021-01-11 04:23:26 +00: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-11 03:57:34 +00:00
7aeb03f813 Add code to properly link submodules.
DanilaFe pushed to master at Crystal-Bots/joann-pupper-bot 2021-01-05 07:21:07 +00:00
e5549e22db Add shard.lock
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.