Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2026-02-17 04:16:16 +00:00
1c2bcc2d92 Require bottom element to actually be bottom; finish proof
da2b6dd5c6 Make code less brittle for when \McL changes
c64504b819 Fix broken code by moving fins to utils
4a9e7492f4 Prove the other direction for associativity
ba57e2558d Add more cases for associativity lemma
Compare 12 commits »
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2026-02-13 04:16:48 +00:00
ccc3c7d5c7 Add meet/join operation and some properties
05c55498ce Extend proofs to meet as well as join
6b462f1a83 Prove that having a total join function is decidable
7382c632bc Add some proofs about predecessors
aa32706120 Fix typo
Compare 6 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2026-01-20 04:48:12 +00:00
5fde4e0d93 Add flack lock
DanilaFe pushed to main at Web-Projects/blog-versions 2026-01-20 04:24:47 +00:00
0189f31314 Switch to linux snapshots
f90838df73 Get stuff building on NixOS proper
9ef4de75cc Leave unneeded package lock file
Compare 3 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2026-01-19 23:19:59 +00:00
28ec1bb0d6 Switch to line reporter and preset Chromium path
9781695929 Add initial draft of flake.nix
69783ca88a Just commit the list of pages
Compare 3 commits »
DanilaFe pushed to main at Web-Projects/blog-versions 2026-01-19 23:16:13 +00:00
f48a6c879b Add snapshots as of april 13th
3d8ef28677 Add some more GPT suggestions
a4caeca24c Use only chromium
f92bf8ca63 Apply GPT's suggestions to wait for page load
2d1b1bab80 Delete previous snapshots
Compare 5 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-01-19 18:24:40 +00:00
78213700c8 Update blog source with wording tweak
DanilaFe pushed to master at Web-Projects/blog-static 2026-01-19 18:23:17 +00:00
4d35ca04fe Slightly tweak wording
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-01-05 00:55:15 +00:00
92caeb4d99 Fix Agda HTML crosslinking with Agda 2.8.0
DanilaFe pushed to master at Web-Projects/blog-static 2026-01-05 00:34:05 +00:00
5e117e3f48 Ignore warnings encoded as syntax highlighting
DanilaFe pushed to master at Nix-Configs/server-config 2026-01-04 02:54:57 +00:00
9d98a24d8e Enable brotli
b65d84e11a Update with CLS-reducing settings
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-01-04 02:09:49 +00:00
b469d78d1a Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2026-01-04 02:08:58 +00:00
a6f3cd3f9a Update theme.
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-01-04 02:08:45 +00:00
5460d759b0 Add fallbacks for system fonts to reduce layout shift.
DanilaFe pushed to master at Nix-Configs/server-config 2026-01-04 00:49:02 +00:00
a3d41a2f05 Update blog with dead-KaTeX-elimination
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-01-04 00:48:13 +00:00
73daac3ea8 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2026-01-04 00:35:47 +00:00
ccc8d6f0eb Re-enable hiding LaTeX
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-01-04 00:34:42 +00:00
54e942c85f Add 'needs LaTeX' meta for pages where LaTeX is needed for Bergamot
DanilaFe pushed to master at Nix-Configs/server-config 2026-01-03 23:59:34 +00:00
5fe381b450 Give daniel neovim
13ed9c038c Update blog source with new subsetting switch
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-01-03 23:35:28 +00:00
ff8fe17cde Make subsetting into a toggle.