Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
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
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 17:56:42 +00:00
d99d4a2893 [WIP] Demonstrate partial lattice construction
fbb98de40f Prove the other absorption law
706b593d1d Write a lemma to wrangle PartialAbsorb proofs
45606679f5 Prove one of the absorption laws
Compare 4 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2025-07-25 15:26:07 +00:00
7e099a2561 Delete debugging code
2808759338 Add instances of semilattice proofs
42bb8f8792 Extend laws on Path' to Path versions
05e693594d Prove idempotence of meet and join
90e0046707 Prove missing congruence law
Compare 8 commits »