Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2025-12-26 22:30:28 +00:00
ceca48840e Use stable version of NixOS for nixpkgs
DanilaFe pushed to master at DanilaFe/resume 2025-12-26 22:28:56 +00:00
f1a8dd4f53 Bump to a more recent version of NixOS
2770fd03eb Fix chromium PDF generation in newer versions
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/web-files 2025-12-26 21:39:24 +00:00
463b4a91dc Update flake.lock and use a follows to reduce nixpkg dupes
DanilaFe pushed to master at DanilaFe/resume 2025-12-26 21:30:44 +00:00
279f4da1f3 Update flake.lock
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2025-12-26 21:25:29 +00:00
000d95ae5b Update flake.lock
DanilaFe pushed to master at Nix-Configs/server-config 2025-12-26 21:03:20 +00:00
2a42226f15 Update with latest lock file
DanilaFe pushed to master at Crystal-Bots/joann-pupper-bot 2025-12-26 02:44:37 +00:00
26ae4e9589 Add a shards.lock and use HTTPs for new telepathy
b4e67daa9b [Claude Haiku] Apply old refactors to code
97668ba0d7 [Claude Haiki] Update to new, working Crystal version
Compare 3 commits »
DanilaFe pushed tag v0.2.0 to Crystal-Bots/telepathy 2025-12-26 02:43:35 +00:00
DanilaFe deleted tag 0.2.0 from Crystal-Bots/telepathy 2025-12-26 02:43:11 +00:00
DanilaFe pushed tag 0.2.0 to Crystal-Bots/telepathy 2025-12-26 02:42:22 +00:00
DanilaFe pushed to master at Crystal-Bots/telepathy 2025-12-26 02:34:27 +00:00
e7d2598186 Bump version
a48699c7c3 [Claude Haiki] Update to new, working Crystal version
Compare 2 commits »
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-12-08 07:20:46 +00:00
299938d97e Add decidability proofs for properties
927030c337 Prove that having a top and bottom element is decidable
ef3c351bb0 Add some utility proofs about uniqueness etc.
Compare 3 commits »
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-30 06:48:30 +00:00
84c4ea6936 Prove final postulate about cycles in graphs
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-30 05:36:30 +00:00
a277c8f969 Prove walk splitting
d1700f23fa Add some helpers
Compare 2 commits »
DanilaFe pushed to dag-lattice-builder at DanilaFe/agda-spa 2025-11-29 06:45:58 +00:00
eb2d64f3b5 Properly state all-paths property using simple walks
14214ab5e7 Reorder definitions to be in the order the graph is built up
baece236d3 Re-define 'interior'
6f642d85e0 Put self-paths into the adjacency graph
25fa0140f0 Switch to a path definition that allows trivial self-loops
Compare 9 commits »
DanilaFe created branch dag-lattice-builder in DanilaFe/agda-spa 2025-11-29 06:45:58 +00:00
DanilaFe pushed to main at DanilaFe/agda-spa 2025-11-27 19:31:10 +00:00
f5457d8841 Move proof of least element into FiniteHeightLattice
DanilaFe pushed to main at ChapelCon/ChapelCon2025-Slides 2025-10-10 20:13:20 +00:00
6ccf99656c Finalize slides given timing constraints
86f1ba686a Apply Jade's feedback
0c4129337a Remove information learned later from intro
d9ff3953f7 Add meme
9c24aac627 Fix numerous typos
DanilaFe created branch main in ChapelCon/ChapelCon2025-Slides 2025-10-10 20:13:20 +00:00
DanilaFe created repository ChapelCon/ChapelCon2025-Slides 2025-10-10 20:11:17 +00:00