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 23:11:00 +00:00
4febf06c5c Enable minification in Hugo
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 22:44:22 +00:00
c5f6c4a8fa Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 22:44:02 +00: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 22:38:44 +00:00
37d5bac9d0 Update blog with KaTeX stripping
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 22:35:51 +00: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 22:16:27 +00:00
ef8369e26a Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 22:16:02 +00:00
36e4feb668 Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2025-02-23 22:14:11 +00:00
2beded7c14 Remove bold inconsolata font
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 21:28:21 +00:00
d25e8219f2 Update with subsetting scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 21:25:32 +00:00
11be991946 Print number of files processed
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 21:22:41 +00:00
bbc8a48d57 WIP
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 21:19:44 +00:00
8c4ede1216 WIP
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 21:17:03 +00:00
a8c2b1d05a Fix bug in subsetting script
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2025-02-23 21:07:37 +00:00
81f365e272 Update with subsetting scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 20:45:45 +00:00
fb46142e9d Remove incorrect print
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 20:35:58 +00: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 20:22:18 +00:00
07408d01a9 Use ARGV like other ruby post-processing scripts
DanilaFe pushed to master at Web-Projects/blog-static 2025-02-23 20:07:39 +00: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 20:05:31 +00:00
2b7645a572 Generate instances of variable fonts
DanilaFe pushed to main at DanilaFe/agda-spa 2025-01-06 03:39:23 +00: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 »