Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2026-04-05 23:23:53 +00:00
bd10207cd2 Add missing images
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-04-05 23:22:27 +00:00
c9b8f18ca8 Update the blog source with new articles etc.
DanilaFe pushed to master at Web-Projects/blog-static 2026-04-05 23:21:34 +00:00
00b810599a Add descriptions to new articles
3403a28e35 Publish two new articles
53e638cb17 Use new flag to avoid deduplicating series
aabbc66bb2 Grammar pass
767545dda4 Update theme
Compare 9 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-04-05 23:18:27 +00:00
3937ed4172 Do not unique-by-series when a flag is set
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-04-05 23:02:21 +00:00
5e84ea2a06 Make some fixes to broken visuals
DanilaFe pushed to master at Nix-Configs/server-config 2026-03-29 23:39:57 +00:00
9dfe647dbb Set up an Anki sync server.
DanilaFe pushed to master at Nix-Configs/server-config 2026-03-22 06:55:08 +00:00
3ce241342a Update blog
4d0ca6be1d Update blog
ac303d0841 Update blog
Compare 3 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-03-22 06:53:29 +00:00
6d890fd652 Update blog source
DanilaFe pushed to music-theory at Web-Projects/blog-static 2026-03-22 06:49:28 +00:00
3816599d7a Add once-useful template
64b2fec8c0 Update .gitignore
e4e513faf0 Add once-useful lua script
a8f69a71f0 Add missing HTML file
9660c0d665 [WIP] Add ability to play sound
Compare 6 commits »
DanilaFe created branch music-theory in Web-Projects/blog-static 2026-03-22 06:49:28 +00:00
DanilaFe pushed to master at Web-Projects/blog-static 2026-03-22 06:49:18 +00:00
bdd2be48bd Update theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2026-03-22 06:31:14 +00:00
312d0d37c6 Fix CSS issue with tags
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2026-03-22 06:12:40 +00:00
532b545f0b Update blog with new post
DanilaFe pushed to master at Web-Projects/blog-static 2026-03-22 06:11:39 +00:00
a350cd14f8 Publich 'On Spiders'
49ab3982f1 Extract writing CSS into a separate file from the void.
Compare 2 commits »
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 »