|
|
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 |
|
|
|
f5c1772de0
|
Test update to blog-source
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 20:45:08 +00:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
fda466a8cf
|
Apply theme bugfix
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-23 07:58:17 +00:00 |
|
|
|
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 |
|
|
|
abba267fec
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-23 01:02:07 +00:00 |
|
|
|
7a1eb96fcc
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-22 06:54:16 +00:00 |
|
|
|
3d74e6f5a2
|
Update blog
|
2024-05-20 07:40:09 +00:00 |
|
|
|
7dad80f44d
|
Update blog source with theme fix
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-16 23:17:22 +00:00 |
|
|
|
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 |
|
|
|
1c3436fdc3
|
Update blog source
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-15 04:51:55 +00:00 |
|
|
|
6b8fa513b4
|
Update lock to new dependency versions
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 02:45:15 +00:00 |
|
|
|
c1283b0165
|
Use instable nix pkgs
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-14 02:43:26 +00:00 |
|
|
|
9b64a99074
|
Update the blog with the katex-expression etc. changes.
|
2023-12-31 03:57:17 +00:00 |
|
|
|
76e8f1c998
|
Replace katex-expression with katex as in web-files
|
2023-12-31 03:50:32 +00:00 |
|
|
|
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 |
|
|
|
782c9ed45a
|
Include resume in build
|
2023-12-30 23:09:44 +00:00 |
|
|
|
df95db0f2d
|
Update flack.lock with recent versions
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-30 22:56:39 +00:00 |
|
|
|
1216263fd8
|
Patch in more static files from web-files.
|
2023-12-30 22:54:10 +00:00 |
|
|
|
f704ceda8d
|
Update web-files version which has newer bergamot.
|
2023-11-30 07:35:55 +00:00 |
|
|
|
aebf198ca8
|
Bundle files from web-files at build time.
|
2023-11-30 07:09:28 +00:00 |
|
|
|
ab4b92d031
|
Remove accidental tabs
|
2023-04-11 02:54:30 +00:00 |
|
|
|
211237d9be
|
Remove module in favor of letting system configure nginx
|
2023-04-11 02:53:15 +00:00 |
|
|
|
d44e5fc12f
|
Update blog and resume code
|
2023-02-20 06:57:07 +00:00 |
|
|
|
d065ca364e
|
Build resume using nix derivation
|
2023-02-20 05:49:59 +00:00 |
|
|
|
1b7cf307db
|
Update blog source with diff fixes
|
2023-01-02 04:54:13 +00:00 |
|
|
|
65efe9d60b
|
Update blog with fix for double quote issue
|
2023-01-02 03:55:17 +00:00 |
|
|
|
aec571a4a5
|
Update blog version
|
2023-01-02 00:13:53 +00:00 |
|
|
|
85373a73b0
|
Adjust builder for the removal of the graph static directory
|
2023-01-01 21:34:07 +00:00 |
|
|
|
e7615c4947
|
Generate static files as part of the build process
|
2022-12-30 15:42:32 -08:00 |
|
|
|
29e03c2732
|
Update flake.lock
|
2022-12-30 21:37:01 +00:00 |
|
|
|
1c0c7355c1
|
Use Nix function to perform replacement
|
2022-05-01 20:12:41 +00:00 |
|
|
|
0f22123471
|
Update website
|
2022-04-10 07:54:13 +00:00 |
|
|
|
67b47d9c29
|
Properly expose a default package for all operating systems
|
2022-04-09 22:34:21 +00:00 |
|
|
|
29c6c9bcba
|
Update blog and use generated submodule configuration
|
2022-04-09 10:20:02 +00:00 |
|
|
|
f2bb36b862
|
Update website to mitigate another rendering issue
|
2022-03-28 23:06:28 +00:00 |
|
|
|
f7e2133eed
|
Apply one last flake.lock update for the day
|
2022-03-28 05:38:41 +00:00 |
|
|
|
5e51a6a5bb
|
Remove reliance on nokogiri and other tools
|
2022-03-28 04:51:18 +00:00 |
|
|
|
337bbed852
|
Remove more unused files
|
2022-03-28 04:49:28 +00:00 |
|
|
|
13951761ca
|
Use updated ACME configuration option
|
2022-03-28 04:46:10 +00:00 |
|
|
|
8fd2a854f3
|
Update blog and katex-html
|
2022-03-27 21:29:04 -07:00 |
|
|
|
982ef99a2f
|
Remove unused scripts
|
2022-03-27 18:48:06 -07:00 |
|
|
|
ac1eec35ec
|
Extract KaTeX handling into a program
|
2022-03-27 18:47:07 -07:00 |
|
|
|
17e18872bf
|
Update flake.lock
|
2021-12-04 02:46:15 +00:00 |
|
|
|
5a0bb8dbdf
|
Update blog input
|
2021-11-29 00:51:23 +00:00 |
|
|
|
d2bad7c5d5
|
Update block source
|
2021-11-22 00:39:29 +00:00 |
|
|
|
f0c377eb2a
|
Update blog
|
2021-11-21 20:41:40 +00:00 |
|
|
|
e2cf1e6c7f
|
Update blog
|
2021-11-21 07:41:32 +00:00 |
|
|
|
540887a5e9
|
Try derive hosts from derivation, too
|
2021-10-23 00:56:52 -07:00 |
|
