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-07-07 00:53:36 +00:00
cbaeda55b2 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-07 00:52:58 +00:00
51bcd116b3 Update other dates on lattice drafts
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-07 00:47:53 +00:00
d3a47f1884 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-07 00:47:04 +00:00
928adbd594 Publish Agda SPA post about lattices
e91b6f692f Publish introducton to SPA in Agda
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-07-07 00:36:58 +00:00
c00867d46b Markdown-ify sidenote labels
8c3d93bc2d Add a 'draft link' shortcode
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-06 03:47:02 +00:00
16c4df9a0d Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-06 03:45:58 +00:00
861dafef70 Finish up draft about lattices of finite height.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-07-05 19:10:30 +00:00
7dfca96a92 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-07-05 19:10:13 +00:00
388c23c376 Write more on finite height lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-28 05:32:45 +00:00
ddef357a6a Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-28 05:32:26 +00:00
82d9196c90 Update theme with bugfix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-28 05:32:07 +00:00
f931e6eceb Properly close placeholder div
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-28 05:27:27 +00:00
f6641f5296 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-28 05:26:12 +00:00
826a16eb66 Start working on part 3
0b97eb85a1 Update theme
a2132001e8 Update theme
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-27 02:49:19 +00:00
acf86b8d76 Add a placeholder for "next in series" if the series is ongoing
a5cda19e5e Remove unused whitespace in seriesnav.html
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-27 02:22:10 +00:00
7c085b4d39 Always link to root RSS feed on every page
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-25 03:01:13 +00:00
335ee2545b Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-06-25 03:00:12 +00:00
4fd6dd5606 Make minor edits to article and update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-06-25 02:53:33 +00:00
5b5b971538 Make headings clickable
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-06-25 02:50:34 +00:00
1e7a0a28b0 Update blog theme