Danila Fedorin DanilaFe
DanilaFe pushed to master at DanilaFe/resume 2024-12-31 00:56:59 +00:00
369d7879e6 Tweak the two bullets
03995b386f Add thesis to education section
e7205c2207 Further remove bolding
72319a4e6f Add 'senior' to Chapel
e7d7542ad8 Only bold technologies etc
Compare 8 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-27 01:26:52 +00:00
6b4208003c Update resume
DanilaFe pushed to master at DanilaFe/resume 2024-12-27 01:25:40 +00:00
c08aba8c92 Add Agda SPA to resume
aa46087fe2 Add performance improvements to resume
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 20:35:48 +00:00
15af4fd7cb Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 20:35:27 +00:00
7130c6bd11 Fix cross-linking in whitespace-trimmed files
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 20:34:22 +00:00
98a9d78273 Generate source offset in HTML
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 19:54:05 +00:00
5243e4dffd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 19:53:44 +00:00
c5aacc060a Update theme with font improvements
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 19:50:35 +00:00
0cdd2fbf64 Bundle fonts instead of using Google fonts, and patch in missing math symbols
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 03:08:29 +00:00
0b5e18dc74 Update blog
03aa7ab07a Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 03:07:58 +00:00
6048dc0b9c Mark SPA series as completed
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 03:05:51 +00: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-26 03:03:26 +00: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 21:59:12 +00:00
479c5bccae Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-04 21:58:55 +00:00
fa180ee24e Fix thevoid theme on light mode devices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-02 06:20:21 +00:00
57186ed3b4 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-02 06:19:53 +00: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-29 04:41:47 +00:00
582566cc33 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-29 04:41:32 +00:00
147658ee89 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-11-29 04:41:13 +00:00
85ea55402e Add side-by-side shortcode