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

911 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Danila Fedorin
b216581f2b Editing pass 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2024-11-03 15:54:18 -08:00