Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-15 04:51:04 +00:00
31c0537d43 Fix rendering and roll back katex to a version with better fonts.
ff3297d5ac Fix broken package name.
1f4729f378 Add missing NodeJS to package.
f285326323 Update node packages to include express and stuff.
2fa33d6d96 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/custom-nix
Compare 7 commits »
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-15 03:16:57 +00:00
f57cb7273d Merge branch 'master' of https://dev.danilafe.com/DanilaFe/custom-nix
fbc0d85159 Intermediate commit on new rendering rework.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-15 02:03:37 +00:00
565d4a6955 Update resume.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-14 07:32:44 +00:00
f53c65fb0d Add experimental formalization of (inefficient) solution.
6ecae2b5bf Add day 4 solution.
Compare 2 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-14 04:34:34 +00:00
c3a12cbf59 Clean up proof for day 8.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-13 06:50:27 +00:00
8ea03a4c51 Finish first proof for day 8.
7757fd2b49 Add day 13 solution.
f0fbba722c Flail around with this goddamn proof some more.
Compare 3 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-12 09:44:21 +00:00
51a679ec63 Mess around some more with proof for day 8.
8459219e60 Clean up day 12.
Compare 2 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-12 05:19:10 +00:00
5f231facc6 Add day 12 solution.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-11 19:33:02 +00:00
ae6f86302d Give formalizing day 8 a shot.
479affa4cc Add solutions to days 10 and 11
17492a8c23 Make changes to the template.
d1e15ca2c9 Factor console code into a separate file.
2688950560 Add day9 solution.
Compare 5 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-08 07:38:47 +00:00
af8170a3e6 Clean up some solutions.
eafb73cfc1 Add day 8 solution.
61713a5faa Add say 7 solution.
Compare 3 commits »
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 06:49:09 +00:00
aae61f796d Fix bug in find_indices.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 06:46:52 +00:00
15e94c0286 Add 'find_indices'
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 02:42:50 +00:00
6fc6c5cf53 Add drawing code and elementwise reduction.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 02:31:45 +00:00
a5e6c4c145 Add utility to draw the state of a hash.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 01:12:13 +00:00
6a0edb873b Add signum to tuple.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-08 01:06:56 +00:00
0b0402d218 Add missing shard file.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-08 01:06:38 +00:00
f052d8ef78 Day10: tuples are iterable.
8a7eab81e0 Solve a few more puzzles.
Compare 2 commits »
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 01:05:59 +00:00
2f24ae3250 Update specs.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-08 01:04:56 +00:00
44b60114a1 Add signum.
DanilaFe pushed to master at ECE-570/Report 2020-12-07 23:51:55 +00:00
ecbc2a551a Update report.
5836f04b36 Add table with data results.
6994ea0046 Fix segmentation fault.
358121de55 Add 'bug report' to report.
bb1564d522 Add initial draft of report.