Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 14:44:22 -08:00
c5f6c4a8fa Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 14:44:02 -08:00
647f47a5f3 Remove KaTeX CSS includes if we don't need them.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 14:38:44 -08:00
37d5bac9d0 Update blog with KaTeX stripping
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 14:35:51 -08:00
d258886a64 Remove KaTeX CSS includes if we don't need them.
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 14:16:27 -08:00
ef8369e26a Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 14:16:02 -08:00
36e4feb668 Update theme
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 »