Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe created branch main in ChapelCon/ChapelCon2025-Slides 2025-10-10 13:13:20 -07:00
DanilaFe pushed to main at ChapelCon/ChapelCon2025-Slides 2025-10-10 13:13:20 -07:00
6ccf99656c Finalize slides given timing constraints
86f1ba686a Apply Jade's feedback
0c4129337a Remove information learned later from intro
d9ff3953f7 Add meme
9c24aac627 Fix numerous typos
DanilaFe created repository ChapelCon/ChapelCon2025-Slides 2025-10-10 13:11:17 -07:00
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 10:56:42 -07:00
d99d4a2893 [WIP] Demonstrate partial lattice construction
fbb98de40f Prove the other absorption law
706b593d1d Write a lemma to wrangle PartialAbsorb proofs
45606679f5 Prove one of the absorption laws
Compare 4 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 08:26:07 -07:00
7e099a2561 Delete debugging code
2808759338 Add instances of semilattice proofs
42bb8f8792 Extend laws on Path' to Path versions
05e693594d Prove idempotence of meet and join
90e0046707 Prove missing congruence law
Compare 8 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-22 09:05:24 -07: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-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