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 2025-02-23 12:22:18 -08:00
07408d01a9 Use ARGV like other ruby post-processing scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 12:07:39 -08:00
816a473913 Add a (ChatGPT-provided) script to perform subsetting
ce8f8fb872 Add a (ChatGPT-provided) script to subset feather icons
2f60004241 Update theme with instanced fonts
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-02-23 12:05:31 -08:00
2b7645a572 Generate instances of variable fonts
DanilaFe pushed to main at DanilaFe/agda-spa 2025-01-05 19:39:23 -08:00
33cc0f9fe9 Implement constant analysis
9f2790c500 Actually force proof of 'analyze-correct'
105321971f Slightly help along implicit inference by moving binary less-than
236c92a5ef Add definitions about monotonicity to Lattice
Compare 4 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-01-04 22:59:45 -08:00
ca375976b7 Re-export members of isLattice together with the record where needed
c0238fea25 Clean up how proofs of fixed height are imported
1432dfa669 Clean up FiniteMap module structure a bit
ffe9d193d9 Parameterize FiniteMap by its keys right away
Compare 4 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-01-04 22:09:15 -08:00
cf824dc744 Switch product to using instances
70847d51db Swich AboveBelow to using instances
d96eb97b69 Switch maps (and consequently most of the code) to using instances
d90b544436 Use binary operator for decidable equality consistently
b0488c9cc6 Make 'IsDecidable' into a record to aid instance search
Compare 6 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 19:26:05 -08:00
4da9b6d3cd Fuse 'FiniteMap' and 'FiniteValueMap'
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 17:37:55 -08:00
c2c04e3ecd Rewrite Forward analysis to use statement-based evaluators.
f01df5af4b Slightly tweak module style in Forward.agda
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 00:36:25 -08:00
b28994e1d2 Tighten exported definitions in Forward.agda
10332351ea Use instance search to avoid multiply-nested modules
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-30 16:59:34 -08:00
b0ca0f3916 Update resume
DanilaFe pushed to master at DanilaFe/resume 2024-12-30 16:56:59 -08: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-26 17:26:52 -08:00
6b4208003c Update resume
DanilaFe pushed to master at DanilaFe/resume 2024-12-26 17:25:40 -08: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 12:35:48 -08:00
15af4fd7cb Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 12:35:27 -08:00
7130c6bd11 Fix cross-linking in whitespace-trimmed files
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 12:34:22 -08:00
98a9d78273 Generate source offset in HTML
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 11:54:05 -08:00
5243e4dffd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 11:53:44 -08:00
c5aacc060a Update theme with font improvements
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 11:50:35 -08: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-25 19:08:29 -08:00
0b5e18dc74 Update blog
03aa7ab07a Update blog
Compare 2 commits »