Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
845 Commits 8 Branches 0 Tags 46 MiB
e4101f1396
Commit Graph

845 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Danila Fedorin
96c4d6fecc Fail if couldn't build Agda 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-23 00:04:13 -07:00
Danila Fedorin
4e1fd54c58 Add Gemfile and lock for nokogiri since a script now uses it 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 23:14:51 -07:00
Danila Fedorin
d6db020e1c Adjust build script to accept Agda invocation 
This might come in useful from NixOS

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 23:05:36 -07:00
Danila Fedorin
c0f4fe017f Replace absolute links with relrefs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 23:05:11 -07:00
Danila Fedorin
11d726a6ad Fix absolute link in favor of relref 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 23:01:26 -07:00
Danila Fedorin
37399afc68 Update theme to generate series meta 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 22:42:04 -07:00
Danila Fedorin
5c19fc4208 Automatically group files using the series meta 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 22:41:32 -07:00
Danila Fedorin
00f0f13b93 Support cross-file linking 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 22:29:26 -07:00
Danila Fedorin
54844fb954 Add script to generate HTML for all Agda files appropriately 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:34:32 -07:00
Danila Fedorin
6ffd3afeaa Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:07:37 -07:00
Danila Fedorin
9d0dcd98bd Improve support when code occurrs multiple times 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 17:05:38 -07:00
Danila Fedorin
f78f877e21 Support blocks that are the entire file 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:50:45 -07:00
Danila Fedorin
5d0b903c03 Support non-submodule code 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:47:42 -07:00
Danila Fedorin
032411fe9c Add a script to generate links using Agda's HTML output 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:28:00 -07:00
Danila Fedorin
76b061d699 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-22 16:23:47 -07:00
Danila Fedorin
08d37c839c Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-21 23:51:08 -07:00
Danila Fedorin
0a26230fe1 Remove unused shortcodes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-21 20:09:48 -07:00
Danila Fedorin
2e59beda0c Update theme 2024-05-21 19:05:07 -07:00
Danila Fedorin
ee8b1f5dc0 Write a bit more, enable support for paragraph links 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-21 19:04:08 -07:00
Danila Fedorin
4938cdaecd Work some more on lattices 2 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 22:46:18 -07:00
Danila Fedorin
84f28ae5ce Add tags to Agda articles 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 21:46:14 -07:00
Danila Fedorin
58e7a1f2dc Start on a draft of 'combining lattices' 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 21:39:03 -07:00
Danila Fedorin
78bba7a0e9 Update the blog for series navigation 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-20 00:37:16 -07:00
Danila Fedorin
9d31764073 Tie up Lattices (1), and plan to write Lattices (2) 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-19 22:29:24 -07:00
Danila Fedorin
d787548915 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 16:17:01 -07:00
Danila Fedorin
a29bca499f Switch to using data/ for submodule information 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-16 15:52:33 -07:00
Danila Fedorin
60d3b3025a Flesh out the Lattices post some more 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-14 21:43:12 -07:00
Danila Fedorin
c036041339 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-14 20:32:37 -07:00
Danila Fedorin
1df315612a Update "typesafe interpreter" article to new math delimiters 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-05-13 19:08:17 -07:00