Danila Fedorin DanilaFe

0 Followers · 0 Following

• Portland, OR
• https://danilafe.com
• Joined on 2017-09-09

Repositories

11

Projects Packages Code Public Activity Starred Repositories

DanilaFe pushed to master at Web-Projects/blog-static 2021-11-26 09:40:19 +00:00

bc754c7a7d Start working on a verified UCC evaluator.

DanilaFe pushed to master at Web-Projects/blog-static 2021-11-25 08:34:12 +00:00

84ad8d43b5 Start on a draft for rant about Coq documentation

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-11-22 00:39:37 +00:00

d2bad7c5d5 Update block source

DanilaFe pushed to master at Web-Projects/blog-static 2021-11-22 00:38:57 +00:00

e440630497 Re-generate Stork index

71689fce79 Update tags

Compare 2 commits »

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-11-21 20:41:55 +00:00

f0c377eb2a Update blog

DanilaFe pushed to master at Web-Projects/blog-static 2021-11-21 20:41:09 +00:00

e7185ff460 Fix calling UCC Dawn

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-11-21 07:42:28 +00:00

e2cf1e6c7f Update blog

DanilaFe pushed to master at Web-Projects/blog-static 2021-11-21 07:40:01 +00:00

18f493675a Publish the dawn post

0c004b2e85 Edit the Dawn post a bit

c214d9ee37 Add the initial version of the Dawn article.

Compare 3 commits »

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:57:00 +00:00

540887a5e9 Try derive hosts from derivation, too

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:54:49 +00:00

de86c5b672 Try derive hosts from derivation, too

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:53:59 +00:00

680a1941d9 Try derive hosts from derivation, too

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:51:22 +00:00

88ffa40207 Try derive hosts from derivation, too

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:43:23 +00:00

e27024dc8a Try relax on derivation attribute to check for SSL

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:42:13 +00:00

48c40f1fc4 Try relax on derivation attribute to check for SSL

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:35:45 +00:00

853dcaac4b Make minor adjustments to lib.nix

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:34:32 +00:00

7662f3b531 Make minor adjustments to lib.nix

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:33:28 +00:00

bb25560c8d Make minor adjustments to lib.nix

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 07:27:55 +00:00

30bd041431 Try rewrite code to improve service configuration

DanilaFe pushed to master at Nix-Configs/blog-static-flake 2021-10-23 06:46:00 +00:00

78c30ffc51 Scripts are no longer needed

DanilaFe transferred repository DanilaFe/blog-static-flake to Nix-Configs/blog-static-flake 2021-10-23 06:43:09 +00:00