Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to fable-lean-migration at DanilaFe/agda-spa 2026-06-10 06:37:59 +00:00
b16f14fdfd Lean migration: typeclass-based parameter passing, as in the Agda original
b26d6b5acd Lean migration: final notes — Lean output verified identical to Agda
a82d54666a Lean migration: Phase 7 (Sign + Constant analyses, executable)
739fbb503c Lean migration: Phase 6 (forward analysis framework)
2cfd0a2fb7 Lean migration: Phase 5 (language, CFGs, traces, Program)
Compare 8 commits »
DanilaFe created branch fable-lean-migration in DanilaFe/agda-spa 2026-06-10 06:37:59 +00:00
DanilaFe pushed to pynchon at Web-Projects/blog-static 2026-05-31 05:43:21 +00:00
4918558893 Tweak styles to make things work nicely with "page-looking things"
25f8e31fd3 Finish draft
f92b8bcab1 Add initial draft of Pynchon before repurposing
Compare 3 commits »
DanilaFe created branch pynchon in Web-Projects/blog-static 2026-05-31 05:43:20 +00:00
DanilaFe pushed to main at Web-Projects/blog-versions 2026-05-20 01:33:53 +00:00
9af115e403 Update to latest blog and update image for fixed code in SPA part 6
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-05-20 00:57:00 +00:00
4481c38cf3 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2026-05-20 00:56:11 +00:00
98e2e7da6c Update theme with i18n stuff
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-05-20 00:55:35 +00:00
b1b5408301 Pull more text into translation
DanilaFe pushed to master at Web-Projects/blog-static 2026-05-20 00:07:04 +00:00
f57e3d370b Bump theme version
8795003ce7 Fix submodule links in SPA part 6 which got out of sync with the code
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-05-20 00:06:47 +00:00
d206ed9f3e Bump Hugo version
DanilaFe pushed to master at Nix-Configs/server-config 2026-05-19 06:32:38 +00:00
d413712135 Update dependencies and enable cache on CSS
8875d5cbed Update blog
Compare 2 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2026-05-19 05:40:29 +00:00
5105d9e582 Update with fix to Bergamot typo
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-05-19 05:32:26 +00:00
96c46ce537 Update blog with theme / architecture tweaks
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-05-19 05:12:01 +00:00
3da5952b87 Move bergamot and writing CSS into theme
DanilaFe pushed to master at Web-Projects/blog-static 2026-05-19 05:11:56 +00:00
487681df16 Move bergamot.css and writing.css into theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-05-19 05:10:43 +00:00
28e3b5e1cf Fix typo
DanilaFe pushed to master at Web-Projects/blog-static 2026-05-19 05:05:19 +00:00
51964e1d9f Add fingerprinting and integrity to custom CSS
DanilaFe pushed to master at Web-Projects/blog-static 2026-05-19 04:36:25 +00:00
3695dd561f Update theme
38ae57792a Move files into new Hugo format
0b9612f138 Tweak config.toml and .gitignore per Codex's suggestions
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-05-19 04:36:12 +00:00
0d1e2e80eb Add fingerprinting and integrity checks to generated HTML
19550ef1b2 Use Hugo's partial-returning where possible
2032e1cdc2 Update theme with .Scratch -> .Store deprecation
Compare 3 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2026-05-14 07:39:16 +00:00
4e982e6a2b Add flake lock with most recent website
469bdf7389 Update screenshots with sidenote chomping changes
Compare 2 commits »