|
|
dea14d236b
|
Update blog
|
2024-08-09 13:48:51 +00:00 |
|
|
|
9c7ad6ea08
|
Update blog
|
2024-08-09 00:55:10 +00:00 |
|
|
|
be048c72c6
|
Update blog
|
2024-08-09 00:30:38 +00:00 |
|
|
|
cf1f1c0776
|
Update blog
|
2024-08-08 23:45:54 +00:00 |
|
|
|
eb06a6fd72
|
Update blog theme
|
2024-07-16 21:31:37 +00:00 |
|
|
|
cbaeda55b2
|
Update blog
|
2024-07-07 00:53:25 +00:00 |
|
|
|
d3a47f1884
|
Update blog
|
2024-07-07 00:47:28 +00:00 |
|
|
|
16c4df9a0d
|
Update blog
|
2024-07-06 03:46:52 +00:00 |
|
|
|
7dfca96a92
|
Update blog
|
2024-07-05 19:10:18 +00:00 |
|
|
|
ddef357a6a
|
Update blog theme
|
2024-06-28 05:32:38 +00:00 |
|
|
|
f6641f5296
|
Update blog
|
2024-06-28 05:26:49 +00:00 |
|
|
|
335ee2545b
|
Update blog theme
|
2024-06-25 03:01:06 +00:00 |
|
|
|
1e7a0a28b0
|
Update blog theme
|
2024-06-25 02:50:26 +00:00 |
|
|
|
ec6028dd82
|
Update the theme and blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-25 02:30:50 +00:00 |
|
|
|
1f62373017
|
Once again update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-25 01:55:05 +00:00 |
|
|
|
2dc96c08f4
|
Update blog with theme changes
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-25 01:39:37 +00:00 |
|
|
|
77b550fe48
|
Update theme and publish new post
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-24 01:03:13 +00:00 |
|
|
|
f992d6e1c8
|
Update theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-20 05:45:13 +00:00 |
|
|
|
77d55f643c
|
More visual bugfixes from theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-20 05:30:57 +00:00 |
|
|
|
fc7b2c415a
|
Update blog theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-20 05:18:49 +00:00 |
|
|
|
1dcdd8b5f8
|
Update blog theme
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-20 05:05:59 +00:00 |
|
|
|
43119e7f5f
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-20 00:34:05 +00:00 |
|
|
|
a571954c4d
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-17 02:46:57 +00:00 |
|
|
|
25e7e4f2aa
|
Add more draft updates
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-06-10 02:44:29 +00:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
a55ea19a98
|
Pull in analyze.rb bugfix
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-31 03:58:28 +00:00 |
|
|
|
b87f5c8b5a
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-31 03:53:08 +00:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
feea668396
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-26 06:29:02 +00:00 |
|
|
|
850ddce3b9
|
Update blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-26 03:45:51 +00:00 |
|
|
|
9adf19a79e
|
Update blog source
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-25 06:25:14 +00:00 |
|
|
|
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 |
|
