Nix-Configs/blog-static-flake
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
163 Commits 1 Branch 0 Tags 604 KiB
ddef357a6a
Commit Graph

163 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
ddef357a6a Update blog theme 2024-06-28 05:32:38 +00:00
Danila Fedorin
f6641f5296 Update blog 2024-06-28 05:26:49 +00:00
Danila Fedorin
335ee2545b Update blog theme 2024-06-25 03:01:06 +00:00
Danila Fedorin
1e7a0a28b0 Update blog theme 2024-06-25 02:50:26 +00:00
Danila Fedorin
ec6028dd82 Update the theme and blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-25 02:30:50 +00:00
Danila Fedorin
1f62373017 Once again update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-25 01:55:05 +00:00
Danila Fedorin
2dc96c08f4 Update blog with theme changes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-25 01:39:37 +00:00
Danila Fedorin
77b550fe48 Update theme and publish new post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 01:03:13 +00:00
Danila Fedorin
f992d6e1c8 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-20 05:45:13 +00:00
Danila Fedorin
77d55f643c More visual bugfixes from theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-20 05:30:57 +00:00
Danila Fedorin
fc7b2c415a Update blog theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-20 05:18:49 +00:00
Danila Fedorin
1dcdd8b5f8 Update blog theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-20 05:05:59 +00:00
Danila Fedorin
43119e7f5f Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-20 00:34:05 +00:00
Danila Fedorin
a571954c4d Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-17 02:46:57 +00:00
Danila Fedorin
25e7e4f2aa Add more draft updates 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-10 02:44:29 +00:00
Danila Fedorin
71c0347943 Update blog source with new draft and theme changes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-10 02:39:26 +00:00
Danila Fedorin
1306acdd21 Update with newer draft of lattices pt. 2 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-31 05:41:38 +00:00
Danila Fedorin
d7f1c91a05 Merge in yet another patch for analyze.rb 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-31 04:08:07 +00:00
Danila Fedorin
a55ea19a98 Pull in analyze.rb bugfix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-31 03:58:28 +00:00
Danila Fedorin
b87f5c8b5a Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-31 03:53:08 +00:00
Danila Fedorin
61315cf94a Update blog source with new content graph script 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 07:38:59 +00:00
Danila Fedorin
694d2fac14 Update blog source and publish Agda+Hugo 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 07:30:58 +00:00
Danila Fedorin
feea668396 Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-26 06:29:02 +00:00
Danila Fedorin
850ddce3b9 Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-26 03:45:51 +00:00
Danila Fedorin
9adf19a79e Update blog source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-25 06:25:14 +00:00
Danila Fedorin
7d6f362936 Avoid using rev in Agda derivation 
This might make the derivation more cacheable

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-25 06:06:10 +00:00
Danila Fedorin
f5c1772de0 Test update to blog-source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 20:45:08 +00:00
Danila Fedorin
0962df69ad Factor out building Agda HTML from building the blog 
This saves a lot of time since typechecking Agda is slow.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 20:33:34 +00:00
Danila Fedorin
2a86640401 Use duktape to run KaTeX from ruby with Node 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 04:23:25 +00:00
Danila Fedorin
fda466a8cf Apply theme bugfix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 07:58:17 +00:00
Danila Fedorin
ee116b138f Add building and linking Agda as build step 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 07:37:52 +00:00
Danila Fedorin
abba267fec Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 01:02:07 +00:00
Danila Fedorin
7a1eb96fcc Update blog 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 06:54:16 +00:00
Danila Fedorin
3d74e6f5a2 Update blog 2024-05-20 07:40:09 +00:00
Danila Fedorin
7dad80f44d Update blog source with theme fix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 23:17:22 +00:00
Danila Fedorin
9ea42f306b Udjust for blog no longer requiring a generated config file 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 23:08:27 +00:00
Danila Fedorin
1c3436fdc3 Update blog source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-15 04:51:55 +00:00
Danila Fedorin
6b8fa513b4 Update lock to new dependency versions 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-14 02:45:15 +00:00
Danila Fedorin
c1283b0165 Use instable nix pkgs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-14 02:43:26 +00:00
Danila Fedorin
9b64a99074 Update the blog with the katex-expression etc. changes. 2023-12-31 03:57:17 +00:00
Danila Fedorin
76e8f1c998 Replace katex-expression with katex as in web-files 2023-12-31 03:50:32 +00:00
Danila Fedorin
abb2e1da3b Update katex-html to fix rendering LaTeX in script tags 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-30 23:16:42 +00:00
Danila Fedorin
782c9ed45a Include resume in build 2023-12-30 23:09:44 +00:00
Danila Fedorin
df95db0f2d Update flack.lock with recent versions 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-30 22:56:39 +00:00
Danila Fedorin
1216263fd8 Patch in more static files from web-files. 2023-12-30 22:54:10 +00:00
Danila Fedorin
f704ceda8d Update web-files version which has newer bergamot. 2023-11-30 07:35:55 +00:00
Danila Fedorin
aebf198ca8 Bundle files from web-files at build time. 2023-11-30 07:09:28 +00:00
Danila Fedorin
ab4b92d031 Remove accidental tabs 2023-04-11 02:54:30 +00:00
Danila Fedorin
211237d9be Remove module in favor of letting system configure nginx 2023-04-11 02:53:15 +00:00
Danila Fedorin
d44e5fc12f Update blog and resume code 2023-02-20 06:57:07 +00:00