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 2024-08-18 23:31:19 +00:00
7c65afbc93 Fix more line numbers
fb071e55aa Update 'submodules.json' with new submodule
406c934b7a Update code in blog post to match new line numbers
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 22:31:02 +00:00
6ad81dae17 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 22:29:51 +00:00
292cf009e6 Remove --local-interfaces as it is no longer needed
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-18 21:14:35 +00:00
1af36f4ab9 Update blog
fcedeaaa87 Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 21:14:22 +00:00
6bf7659b19 Fix line numbering issues due to updating Agda
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-18 21:06:12 +00:00
0a90e8da29 Write a draft of the fixed point algorithm article
32fe8e5ee6 Update the referenced Agda submodule
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-08-18 20:29:54 +00:00
828b652d3b Rename 'a' to 'b' in fixedpoint algorithm proof
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 13:49:11 +00:00
dea14d236b Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 13:48:36 +00:00
7ccbaa7829 Make sure all links are consistent
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 00:55:24 +00:00
9c7ad6ea08 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 00:55:00 +00:00
7817c9a4ce Add draft link support to analyze.rb
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-09 00:31:02 +00:00
be048c72c6 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-09 00:30:29 +00:00
bf9b0aedf9 Edit and publish part 3
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-08-08 23:46:02 +00:00
cf1f1c0776 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-08 23:45:23 +00:00
21b2ff208e Edit and publish part 2
ecad4541f6 Add a (not-yet-valid) link to part 4
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-08-08 20:39:50 +00:00
12971450e3 Add guardedness to Main directly
DanilaFe pushed to master at Web-Projects/blog-static 2024-08-05 02:33:53 +00:00
864276ea72 Delete .DS_Store file
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-16 21:32:16 +00:00
eb06a6fd72 Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-16 21:31:23 +00:00
23eb36b911 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-07-16 21:30:39 +00:00
acaa00754b Fix sidenotes bleeding into text inline