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

865 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
9b93582d18 Fix meta description on part 4 of SPA 2024-11-03 17:59:37 -08:00
Danila Fedorin
9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 17:51:13 -08:00
Danila Fedorin
f00c69f02c Edit and publish SPA part 5 2024-11-03 17:50:11 -08:00
Danila Fedorin
4fc1191d13 Proofread and publish part 4 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 17:37:44 -08:00
Danila Fedorin
951aafc90a Stop using 'symeq' 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 17:12:39 -08:00
Danila Fedorin
ee13409b33 Add a visualization of two ASTs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 17:06:19 -08:00
Danila Fedorin
615aeb72da Finish most of part 5 of SPA series 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 16:58:06 -08:00
Danila Fedorin
3be67ca4c8 Use unification-based 'eq' for numbers and symbols 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 16:05:04 -08:00
Danila Fedorin
37dd9ad6d4 Write the semantics section using Bergamot 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-10-13 13:31:47 -07:00
Danila Fedorin
77dade1d1d Move all bergamot partials and shortcodes into theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 20:10:04 -07:00
Danila Fedorin
d140422225 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 20:05:46 -07:00
Danila Fedorin
2defe99c73 Update theme w/ more Bergamot affordances 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 19:49:37 -07:00
Danila Fedorin
0766211d79 Turn semantics post into page bundle 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 18:47:32 -07:00
Danila Fedorin
b854eade3c Remove configs from website that are now defined in theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 18:46:23 -07:00
Danila Fedorin
c6f34f8eaa Delete unused shortcodes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 17:46:13 -07:00
Danila Fedorin
0ba5799c75 Update theme with missing file 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 16:39:17 -07:00
Danila Fedorin
324fa948e6 Bring in more theme updates 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 16:28:07 -07:00
Danila Fedorin
3e46ff8be6 Update vanilla theme to handle loading Bergamot 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 15:47:26 -07:00
Danila Fedorin
18eb1da5ba Allow render rules to be customized using render presets 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 13:49:57 -07:00
Danila Fedorin
dde7df4604 Update to new Bergamot version 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-15 10:33:40 -07:00
Danila Fedorin
e4101f1396 Fix missing paren 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-09-01 15:19:47 -07:00
Danila Fedorin
d94ceeab2e Make minor edits to part 5 of SPA 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-31 11:37:28 -07:00
Danila Fedorin
697f083237 Reference more future posts in SPA intro 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 15:05:55 -10:00
Danila Fedorin
3e97fdcfea Start work on the draft about semantics 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 15:05:39 -10:00
Danila Fedorin
40007c427e Avoid using a non-greedy match and just avoid $ in {{< latex >}} 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 14:16:42 -10:00
Danila Fedorin
5ab0d0d40e Use a non-greedy match for the double-dollar-sign escaping 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 14:07:16 -10:00
Danila Fedorin
7c65afbc93 Fix more line numbers 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 13:31:08 -10:00
Danila Fedorin
fb071e55aa Update 'submodules.json' with new submodule 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 13:23:20 -10:00
Danila Fedorin
406c934b7a Update code in blog post to match new line numbers 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 13:22:28 -10:00
Danila Fedorin
292cf009e6 Remove --local-interfaces as it is no longer needed 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 12:29:35 -10:00
Danila Fedorin
6bf7659b19 Fix line numbering issues due to updating Agda 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 11:14:09 -10:00
Danila Fedorin
0a90e8da29 Write a draft of the fixed point algorithm article 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 11:05:51 -10:00
Danila Fedorin
32fe8e5ee6 Update the referenced Agda submodule 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-18 10:30:21 -10:00
Danila Fedorin
7ccbaa7829 Make sure all links are consistent 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-09 06:48:26 -07:00
Danila Fedorin
7817c9a4ce Add draft link support to analyze.rb 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-08 17:54:25 -07:00
Danila Fedorin
bf9b0aedf9 Edit and publish part 3 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-08 17:30:17 -07:00
Danila Fedorin
21b2ff208e Edit and publish part 2 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-08 16:45:13 -07:00
Danila Fedorin
ecad4541f6 Add a (not-yet-valid) link to part 4 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-08 16:44:48 -07:00
Danila Fedorin
864276ea72 Delete .DS_Store file 
No idea how I managed to commit it.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-08-01 21:23:13 -07:00
Danila Fedorin
23eb36b911 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-16 14:31:06 -07:00
Danila Fedorin
51bcd116b3 Update other dates on lattice drafts 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-07-06 17:52:17 -07:00
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