Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to main at DanilaFe/agda-spa 2025-04-20 19:13:44 -07:00
a611dd0f31 Add 'ExtendBelow' lattice, which adds new bottom to lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-12 17:57:46 -07:00
41fea82c93 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-04-12 17:57:01 -07:00
7fbd4ea9f8 Update theme with syntax highlighting fix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-04-12 17:56:34 -07:00
952502e690 Re-enable syntax highlighting in light mode
388a4f1589 style: Fix inconsistent indentation in SCSS files for clarity
Compare 2 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2025-04-12 17:42:15 -07:00
f684de8e5e Add screenshots of pages
7028e64fab Latest settings
4cd4cf18f0 Add playwright configs
85321cf744 Delete backstop stuff
6f29015422 Set up a mostly-default project with BackstopJS
DanilaFe created branch main in Web-Projects/blog-versions 2025-04-12 17:42:14 -07:00
DanilaFe created repository Web-Projects/blog-versions 2025-04-12 17:40:32 -07:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-07 22:46:09 -07:00
ce09d9d7a4 Update resume
DanilaFe pushed to master at DanilaFe/resume 2025-04-07 22:45:35 -07:00
d210f80b03 Add new performance work to bullet.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-30 23:23:26 -07:00
eed8febf6e Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-30 23:21:14 -07:00
6fd1e1962b Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-03-30 23:20:57 -07:00
806d3a318f Switch TODO to be a quote syntax to avoid shortcodes
b06b695653 Use mutable variables instead of scratch where possible
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-02 23:38:01 -08:00
cbe766ea2d Disable minification to avoid weird escaping issues
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-02 22:57:08 -08:00
1f3a8b9447 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-02 22:56:39 -08:00
62c338e382 Add a post on Chapel's runtime types
DanilaFe pushed to master at Nix-Configs/server-config 2025-03-02 19:02:04 -08:00
f611576c46 Update blog etc. again
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-02 19:01:17 -08:00
386062a6a6 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-02 19:00:16 -08:00
40ea9ec637 Update theme for newer Hugo
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-03-02 18:59:57 -08:00
4ff04221b0 Adjust summaries to account for Hugo breaking changes
DanilaFe pushed to master at Nix-Configs/server-config 2025-03-02 18:58:23 -08:00
40b806f249 Update blog etc. again