Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
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.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-07 17:06:56 -08:00
0b0402d218 Add missing shard file.
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-07 17:06:38 -08: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-07 17:05:59 -08:00
2f24ae3250 Update specs.
DanilaFe pushed to master at Advent-of-Code/advent 2020-12-07 17:04:56 -08:00
44b60114a1 Add signum.
DanilaFe pushed to master at ECE-570/Report 2020-12-07 15:51:55 -08: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.
DanilaFe created repository ECE-570/Report 2020-12-07 15:51:37 -08:00
DanilaFe pushed to master at ECE-570/Homework-2 2020-12-07 15:50:43 -08:00
7bd7036b7f Add homework 2 solution.
DanilaFe created repository ECE-570/Homework-2 2020-12-07 15:50:17 -08:00