Commit Graph

143 Commits

Author SHA1 Message Date
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
Danila Fedorin d065ca364e Build resume using nix derivation 2023-02-20 05:49:59 +00:00
Danila Fedorin 1b7cf307db Update blog source with diff fixes 2023-01-02 04:54:13 +00:00
Danila Fedorin 65efe9d60b Update blog with fix for double quote issue 2023-01-02 03:55:17 +00:00
Danila Fedorin aec571a4a5 Update blog version 2023-01-02 00:13:53 +00:00
Danila Fedorin 85373a73b0 Adjust builder for the removal of the graph static directory 2023-01-01 21:34:07 +00:00
Danila Fedorin e7615c4947 Generate static files as part of the build process 2022-12-30 15:42:32 -08:00
Danila Fedorin 29e03c2732 Update flake.lock 2022-12-30 21:37:01 +00:00
Danila Fedorin 1c0c7355c1 Use Nix function to perform replacement 2022-05-01 20:12:41 +00:00
Danila Fedorin 0f22123471 Update website 2022-04-10 07:54:13 +00:00
Danila Fedorin 67b47d9c29 Properly expose a default package for all operating systems 2022-04-09 22:34:21 +00:00
Danila Fedorin 29c6c9bcba Update blog and use generated submodule configuration 2022-04-09 10:20:02 +00:00
Danila Fedorin f2bb36b862 Update website to mitigate another rendering issue 2022-03-28 23:06:28 +00:00
Danila Fedorin f7e2133eed Apply one last flake.lock update for the day 2022-03-28 05:38:41 +00:00
Danila Fedorin 5e51a6a5bb Remove reliance on nokogiri and other tools 2022-03-28 04:51:18 +00:00
Danila Fedorin 337bbed852 Remove more unused files 2022-03-28 04:49:28 +00:00
Danila Fedorin 13951761ca Use updated ACME configuration option 2022-03-28 04:46:10 +00:00
Danila Fedorin 8fd2a854f3 Update blog and katex-html 2022-03-27 21:29:04 -07:00
Danila Fedorin 982ef99a2f Remove unused scripts 2022-03-27 18:48:06 -07:00
Danila Fedorin ac1eec35ec Extract KaTeX handling into a program 2022-03-27 18:47:07 -07:00
Danila Fedorin 17e18872bf Update flake.lock 2021-12-04 02:46:15 +00:00