Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
824 Commits 8 Branches 0 Tags 47 MiB
928adbd594
Commit Graph

824 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
928adbd594 Publish Agda SPA post about lattices 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-06 17:46:54 -07:00
Danila Fedorin
e91b6f692f Publish introducton to SPA in Agda 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-06 17:42:44 -07:00
Danila Fedorin
861dafef70 Finish up draft about lattices of finite height. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-05 20:43:26 -07:00
Danila Fedorin
388c23c376 Write more on finite height lattices 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-05 12:09:29 -07:00
Danila Fedorin
82d9196c90 Update theme with bugfix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-27 22:32:13 -07:00
Danila Fedorin
826a16eb66 Start working on part 3 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-27 22:26:01 -07:00
Danila Fedorin
0b97eb85a1 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-26 19:49:24 -07:00
Danila Fedorin
a2132001e8 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-26 19:25:32 -07:00
Danila Fedorin
4fd6dd5606 Make minor edits to article and update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 19:59:51 -07:00
Danila Fedorin
7b71ec4402 Update theme some more 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 19:49:05 -07:00
Danila Fedorin
07771117ac Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 19:28:41 -07:00
Danila Fedorin
7fbc884e94 Actually disable new tab external links 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 18:48:13 -07:00
Danila Fedorin
b40be72590 Disable opening external links in new tab 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-24 17:52:14 -07:00
Danila Fedorin
b3db25c470 Fix some typos and publish the microfeatures post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-23 18:02:13 -07:00
Danila Fedorin
6a7b6ffc1f Write an article about microfeatures 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-23 17:59:03 -07:00
Danila Fedorin
c87bb90c48 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-23 17:57:06 -07:00
Danila Fedorin
a6225191d0 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 22:44:53 -07:00
Danila Fedorin
afb904a64c Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 22:29:09 -07:00
Danila Fedorin
cbad391dcd Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 22:18:19 -07:00
Danila Fedorin
0bf3facf6c Add series navigation before appendix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 22:04:01 -07:00
Danila Fedorin
a9da39b987 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 22:03:54 -07:00
Danila Fedorin
1071bdd35a Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-19 17:31:34 -07:00
Danila Fedorin
8656985885 Introduce "join" and "meet" as terms 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-16 20:12:39 -07:00
Danila Fedorin
3be523b79e Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-16 19:45:29 -07:00
Danila Fedorin
1fb7e5ff85 Finish draft of part 2, combining lattices 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-16 18:09:56 -07:00
Danila Fedorin
df75d6e017 Slightly expand the draft. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-09 19:39:00 -07:00
Danila Fedorin
29c9af4902 Update theme to generate links to file ranges where possible 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-09 18:52:01 -07:00
Danila Fedorin
7b03183e75 Continue expanding on the map draft 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-06-09 18:02:04 -07:00
Danila Fedorin
4c70e61a14 Write some more in combining lattices 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 22:41:15 -07:00
Danila Fedorin
b2b225f4ae Create only undirected edges from smaller node ID to higher node ID 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 21:07:23 -07:00
Danila Fedorin
c17142e648 Fix the call to 'uniq' in analyze.rb 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 20:58:03 -07:00
Danila Fedorin
8e4759bd2b Start on the navigation links in Agda SPA intro 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 20:52:33 -07:00
Danila Fedorin
d2807917d2 Insert sequential links for series in analyze.rb 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 20:52:14 -07:00
Danila Fedorin
71c030b947 Slightly tweak wording and front matter in Agda SPA posts 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 20:02:49 -07:00
Danila Fedorin
1f3ab5349a Restore the dates in 'learning emulation' to their proper ones. 
I found the original dates using the Wayback machine.

https://web.archive.org/web/20161022053013/https://danilafe.com/

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 18:58:38 -07:00
Danila Fedorin
daaccb9b2f Add new groups to content graph script 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 00:38:27 -07:00
Danila Fedorin
b66c58b68e Lightly edit and publish the Agda+Hugo post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 00:30:05 -07:00
Danila Fedorin
13636a0d29 Write more about Agda+Hugo 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-30 00:13:48 -07:00
Danila Fedorin
5232f0a6e2 Update theme with new code highlighting 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-27 18:58:20 -07:00
Danila Fedorin
6a168f2fe1 Start on a draft about Agda and Hugo 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-25 23:28:18 -07:00
Danila Fedorin
04f12b545d Minor edits to 'lattices 2' 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-25 20:45:19 -07:00
Danila Fedorin
711b01175d Put the number back to what it was 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 23:12:27 -07:00
Danila Fedorin
272c2666c5 Inconsequential tweak to test Agda caching in build system 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 13:44:34 -07:00
Danila Fedorin
60ba43378a Make the destination folders 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 13:21:33 -07:00
Danila Fedorin
1da60b3b28 Print result of executing command 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 13:17:44 -07:00
Danila Fedorin
ee118b07e5 Make build-agda-html.rb more configurable 
This should use it from Nix, and cache the Agda compilations

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-24 12:31:26 -07:00
Danila Fedorin
06ee998d54 Allow executing non-remote JS for KaTeX 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 21:14:49 -07:00
Danila Fedorin
c197a45540 Port over the HTML conversion script to execute JS 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 21:03:03 -07:00
Danila Fedorin
4d23b45633 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 00:57:07 -07:00
Danila Fedorin
c027efa931 Stop crashing on failed Agda invocation 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 00:31:36 -07:00