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-07-22 16:05:24 +00:00
36ae125e1e Prove associativity
6055a79e6a Prove a side lemma about nothing/just
01f7f678d3 Prove congruence of various operations
14f1494fc3 Provide a definition of partial congruence
d3bac2fe60 Switch to representing least/greatest with absorption
Compare 15 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-04-21 02:13:44 +00:00
a611dd0f31 Add 'ExtendBelow' lattice, which adds new bottom to lattices
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-13 00:57:46 +00:00
41fea82c93 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-04-13 00:57:01 +00:00
7fbd4ea9f8 Update theme with syntax highlighting fix
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-04-13 00:56:34 +00: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-13 00:42:15 +00: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-13 00:42:14 +00:00
DanilaFe created repository Web-Projects/blog-versions 2025-04-13 00:40:32 +00:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-04-08 05:46:09 +00:00
ce09d9d7a4 Update resume
DanilaFe pushed to master at DanilaFe/resume 2025-04-08 05:45:35 +00:00
d210f80b03 Add new performance work to bullet.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-31 06:23:26 +00:00
eed8febf6e Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-31 06:21:14 +00:00
6fd1e1962b Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-03-31 06:20:57 +00: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-03 07:38:01 +00:00
cbe766ea2d Disable minification to avoid weird escaping issues
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-03 06:57:08 +00:00
1f3a8b9447 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-03 06:56:39 +00:00
62c338e382 Add a post on Chapel's runtime types
DanilaFe pushed to master at Nix-Configs/server-config 2025-03-03 03:02:04 +00:00
f611576c46 Update blog etc. again
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-03-03 03:01:17 +00:00
386062a6a6 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-03-03 03:00:16 +00:00
40ea9ec637 Update theme for newer Hugo
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-03-03 02:59:57 +00:00
4ff04221b0 Adjust summaries to account for Hugo breaking changes