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-13 21:39:49 -08:00
d1ea7b5364 Add Hugo codelines post.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-13 16:56:45 -08:00
ebdb986e2a Remove useless sidenotes partial
4bb6695c2e Move margin include into TOC
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-11 17:08:21 -08:00
a6c5a42c1d Split generated and handwritten configuration.
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-11 17:02:17 -08: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-10 22:51:21 -08:00
bfeae89ab5 Update codelines to use submodule link information
DanilaFe pushed to master at Web-Projects/blog-static 2021-01-10 22:49:18 -08: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-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 »