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-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
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 12:28:07 -08:00
595a1ad99b More edits
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-27 00:43:13 -08:00
0d3ac91a55 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-27 00:42:36 -08:00
32ccfc76ae Merge branch 'thevoid'
ae0d54e567 Add draft warning to the void
b774f0e088 More minor edits
e294bcb2d0 Add conclusion and make some edits
b216581f2b Editing pass
Compare 9 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-26 19:52:11 -08:00
1322e0249c Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-11-26 19:51:56 -08:00
7a263ce2e5 Do not wrap text around icon on small screens
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-25 19:18:09 -08:00
b41d106186 Update blog theme
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-25 19:17:58 -08:00
e40a05633c Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-11-25 19:17:09 -08:00
8b8d3c7fd0 Implement collapsing consecutive posts in a series
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-16 15:28:58 -08:00
cc79adb0d2 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-16 15:28:33 -08:00
e5fb0a2929 Write more
3bd1f0c8a0 Update Agda SPA imp
948759b7d4 Update the SPA repo
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-16 15:26:08 -08:00
dd5f160246 Update blog