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

912 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
06e8b8e022 Keep KaTeX css files 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 17:01:49 -08:00
Danila Fedorin
647f47a5f3 Remove KaTeX CSS includes if we don't need them. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 14:43:49 -08:00
Danila Fedorin
36e4feb668 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 14:14:15 -08:00
Danila Fedorin
11be991946 Print number of files processed 2025-02-23 13:25:18 -08:00
Danila Fedorin
a8c2b1d05a Fix bug in subsetting script 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 13:16:33 -08:00
Danila Fedorin
fb46142e9d Remove incorrect print 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:45:24 -08:00
Danila Fedorin
0b33d03b73 Pass the font folder as part of argv 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:35:45 -08:00
Danila Fedorin
804147caef Read SVG path from the command line 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:34:44 -08:00
Danila Fedorin
d847d20666 Adjust Python script to also just accept HTML files as args 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:28:19 -08:00
Danila Fedorin
07408d01a9 Use ARGV like other ruby post-processing scripts 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:22:06 -08:00
Danila Fedorin
816a473913 Add a (ChatGPT-provided) script to perform subsetting 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 12:05:02 -08:00
Danila Fedorin
ce8f8fb872 Add a (ChatGPT-provided) script to subset feather icons 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 11:58:41 -08:00
Danila Fedorin
2f60004241 Update theme with instanced fonts 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2025-02-23 11:43:38 -08:00
Danila Fedorin
7130c6bd11 Fix cross-linking in whitespace-trimmed files 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-26 12:35:03 -08:00
Danila Fedorin
c5aacc060a Update theme with font improvements 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-26 11:53:29 -08:00
Danila Fedorin
6048dc0b9c Mark SPA series as completed 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-25 19:07:26 -08:00
Danila Fedorin
1f01c3caff Publish the last two posts in the SPA series 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-25 19:05:28 -08:00
Danila Fedorin
bca44343eb Update theme with required shortcodes 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-25 19:04:10 -08:00
Danila Fedorin
3b9c2edcdd Write up the "verified" portion of the forward analysis 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-25 19:03:51 -08:00
Danila Fedorin
fa180ee24e Fix thevoid theme on light mode devices 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-04 13:58:32 -08:00
Danila Fedorin
5846dd5d04 Fix typos 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-01 22:19:45 -08:00
Danila Fedorin
f6b347eb05 Fix slugs and add example of constant propagation 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-01 22:19:08 -08:00
Danila Fedorin
c1b27a13ae Add a draft post on forward analysis 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-12-01 22:16:02 -08:00
Danila Fedorin
147658ee89 Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-28 20:41:21 -08:00
Danila Fedorin
4017c52fee Add a link to the future (not-yet-written) forward analysis post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-28 20:38:18 -08:00
Danila Fedorin
65d290556f Write a new post about proving the connection between semantics and CFGs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-28 20:33:08 -08:00
Danila Fedorin
854dccd4d2 Update caption / description of SPA part 6 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 16:34:03 -08:00
Danila Fedorin
07859cd1af Publish SPA part 6, for real this time 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 16:30:13 -08:00
Danila Fedorin
19be7eb1f5 Edit and publish post on control flow graphs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 16:27:26 -08:00
Danila Fedorin
5de2ae1203 Publish 'the void' 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 15:13:34 -08:00
Danila Fedorin
595a1ad99b More edits 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 12:27:56 -08:00
Danila Fedorin
32ccfc76ae Merge branch 'thevoid' 2024-11-27 00:41:05 -08:00
Danila Fedorin
ae0d54e567 Add draft warning to the void 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 00:40:44 -08:00
Danila Fedorin
b774f0e088 More minor edits 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 00:40:32 -08:00
Danila Fedorin
e294bcb2d0 Add conclusion and make some edits 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-27 00:21:47 -08:00
Danila Fedorin
1322e0249c Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-26 19:52:02 -08:00
Danila Fedorin
e40a05633c Update theme 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-25 19:17:13 -08:00
Danila Fedorin
e5fb0a2929 Write more 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-16 15:25:26 -08:00
Danila Fedorin
3bd1f0c8a0 Update Agda SPA imp 2024-11-16 15:16:57 -08:00
Danila Fedorin
948759b7d4 Update the SPA repo 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-16 14:44:02 -08:00
Danila Fedorin
f2e424944e Start working on the control flow graphs post 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-13 19:57:08 -08:00
Danila Fedorin
8a471c6b45 Add missing imp.bergamot file for rendering imperative programs 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-06 10:43:47 -08:00
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