Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-02-23 14:14:11 -08:00
2beded7c14 Remove bold inconsolata font
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 13:28:21 -08:00
d25e8219f2 Update with subsetting scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 13:25:32 -08:00
11be991946 Print number of files processed
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 13:22:41 -08:00
bbc8a48d57 WIP
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 13:19:44 -08:00
8c4ede1216 WIP
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 13:17:03 -08:00
a8c2b1d05a Fix bug in subsetting script
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 13:07:37 -08:00
81f365e272 Update with subsetting scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 12:45:45 -08:00
fb46142e9d Remove incorrect print
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 12:35:58 -08:00
0b33d03b73 Pass the font folder as part of argv
804147caef Read SVG path from the command line
d847d20666 Adjust Python script to also just accept HTML files as args
Compare 3 commits »
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 »