Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-25 19:07:58 -08:00
6048dc0b9c Mark SPA series as completed
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-25 19:05:51 -08:00
1f01c3caff Publish the last two posts in the SPA series
bca44343eb Update theme with required shortcodes
3b9c2edcdd Write up the "verified" portion of the forward analysis
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-25 19:03:26 -08:00
431d4b0990 Add new internal ref shortcodes
9536c9fb25 Allow stripping leading whitespace from code blocks
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-04 13:59:12 -08:00
479c5bccae Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-04 13:58:55 -08:00
fa180ee24e Fix thevoid theme on light mode devices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-01 22:20:21 -08:00
57186ed3b4 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-01 22:19:53 -08:00
5846dd5d04 Fix typos
f6b347eb05 Fix slugs and add example of constant propagation
c1b27a13ae Add a draft post on forward analysis
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-28 20:41:47 -08:00
582566cc33 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-28 20:41:32 -08:00
147658ee89 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-11-28 20:41:13 -08:00
85ea55402e Add side-by-side shortcode
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-28 20:39:27 -08:00
86b8966290 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-28 20:39:08 -08:00
4017c52fee Add a link to the future (not-yet-written) forward analysis post
65d290556f Write a new post about proving the connection between semantics and CFGs
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-27 16:34:51 -08:00
fe2a356510 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 16:34:32 -08:00
854dccd4d2 Update caption / description of SPA part 6
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-27 16:30:39 -08:00
96ff06fd8b Update blog
90e4e35230 Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 16:30:28 -08:00
07859cd1af Publish SPA part 6, for real this time
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 16:27:42 -08:00
19be7eb1f5 Edit and publish post on control flow graphs
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-27 15:14:15 -08:00
fc1d8d5a86 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 15:13:50 -08:00
5de2ae1203 Publish 'the void'
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-27 12:29:14 -08:00
338ff7540c Update blog