Commit Graph

89 Commits

Author SHA1 Message Date
08246ed696 Update blog 2024-11-06 18:44:33 +00:00
4001c236f2 Update with fix for blog
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-11-04 02:00:08 +00:00
68406e3947 Update with new blog posts that use new Bergamot 2024-11-04 01:52:32 +00:00
8546a16acd Update blog 2024-09-16 03:11:41 +00:00
c32e922940 Update blog 2024-09-15 23:39:44 +00:00
eb1710b902 Update blog and bergamot
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 23:37:02 +00:00
d4d627889a Update with new Bergamot version
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-09-15 17:40:11 +00:00
507a8fa0ea Update blog 2024-08-31 18:38:10 +00:00
0ebeb2f4ff Update blog 2024-08-19 01:07:35 +00:00
3ccd612c87 Update blog 2024-08-19 00:17:08 +00:00
e80bb5010e Update blog 2024-08-19 00:08:06 +00:00
9ea34ddf5f Update blog 2024-08-18 23:31:28 +00:00
6ad81dae17 Update blog 2024-08-18 22:30:47 +00:00
1af36f4ab9 Update blog 2024-08-18 21:14:27 +00:00
fcedeaaa87 Update blog 2024-08-18 21:06:27 +00:00
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
f5c1772de0 Test update to blog-source
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2024-05-24 20:45:08 +00:00