Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-09 19:44:48 -07:00
25e7e4f2aa Add more draft updates
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-09 19:43:57 -07:00
df75d6e017 Slightly expand the draft.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-09 19:39:42 -07:00
71c0347943 Update blog source with new draft and theme changes
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-09 18:53:36 -07:00
29c9af4902 Update theme to generate links to file ranges where possible
7b03183e75 Continue expanding on the map draft
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-09 18:51:44 -07:00
df22cb2b87 Use data from hosts.json to pull in link anchors
4b19da5006 Reduce whitespace in templates and avoid polluting the page scratch
ec7b58c8ec Avoid passing in .Site-variables to geturl.html
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 22:41:56 -07:00
1306acdd21 Update with newer draft of lattices pt. 2
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 22:41:25 -07:00
4c70e61a14 Write some more in combining lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 21:08:23 -07:00
d7f1c91a05 Merge in yet another patch for analyze.rb
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 21:07:38 -07:00
b2b225f4ae Create only undirected edges from smaller node ID to higher node ID
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 20:58:54 -07:00
a55ea19a98 Pull in analyze.rb bugfix
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 20:58:13 -07:00
c17142e648 Fix the call to 'uniq' in analyze.rb
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 20:53:20 -07:00
b87f5c8b5a Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 20:52:50 -07:00
8e4759bd2b Start on the navigation links in Agda SPA intro
d2807917d2 Insert sequential links for series in analyze.rb
71c030b947 Slightly tweak wording and front matter in Agda SPA posts
1f3ab5349a Restore the dates in 'learning emulation' to their proper ones.
Compare 4 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 00:39:25 -07:00
61315cf94a Update blog source with new content graph script
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 00:38:46 -07:00
daaccb9b2f Add new groups to content graph script
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-30 00:32:47 -07:00
694d2fac14 Update blog source and publish Agda+Hugo
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-30 00:30:24 -07:00
b66c58b68e Lightly edit and publish the Agda+Hugo post
13636a0d29 Write more about Agda+Hugo
5232f0a6e2 Update theme with new code highlighting
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-05-27 18:58:14 -07:00
97e965feec Add a nicer comment color in dark mode
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-05-25 23:29:14 -07:00
feea668396 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-05-25 23:28:31 -07:00
6a168f2fe1 Start on a draft about Agda and Hugo