Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at ECE-570/SeqSim 2020-12-24 16:22:37 -08:00
924f4c65e7 Finish initial prototype.
DanilaFe created repository ECE-570/SeqSim 2020-12-24 16:22:23 -08:00
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-23 22:40:50 -08:00
3d85144065 Add J solution for day 5.
4e8b636d2f Add day 1 and 2 solutions in J.
ee819d1362 Add day 3 solution in J.
34cb639327 Add day 23.
b33e678c7e Add day24 solution.
Compare 5 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-21 22:40:47 -08:00
94ddabc590 Add solutions to day21 and day22.
32895b3e17 Add updated solutions, including day 20.
77c91f8386 Add unclean solution to day 17.
8ed0896adb Add unclean day16 solution.
Compare 4 commits »
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-14 21:36:34 -08:00
c17cf38795 Add day15 solution.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-12-14 20:51:04 -08: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-14 19:16:57 -08: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-14 18:03:37 -08:00
565d4a6955 Update resume.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-13 23:32:44 -08: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-13 20:34:34 -08:00
c3a12cbf59 Clean up proof for day 8.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-12 22:50:27 -08: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 01:44:21 -08: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-11 21:19:10 -08:00
5f231facc6 Add day 12 solution.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2020 2020-12-11 11:33:02 -08: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-07 23:38:47 -08: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-07 22:49:09 -08:00
aae61f796d Fix bug in find_indices.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-07 22:46:52 -08:00
15e94c0286 Add 'find_indices'
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-07 18:42:50 -08:00
6fc6c5cf53 Add drawing code and elementwise reduction.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-07 18:31:45 -08:00
a5e6c4c145 Add utility to draw the state of a hash.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-07 17:12:13 -08:00
6a0edb873b Add signum to tuple.