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-2017 2020-12-05 02:05:59 +00:00
ad81a01063 Add archive from Advent of Code 2017.
DanilaFe created repository Advent-of-Code/AdventOfCode-2017 2020-12-05 02:02:33 +00:00
DanilaFe created repository Advent-of-Code/AdventBot 2020-12-05 01:19:30 +00:00
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-03 02:45:48 +00:00
8f0f2eb35e Finish up the Coq Advent of Code post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-02 09:14:41 +00:00
234b795157 Add Coq advent of code post.
e317c56c99 Add some shortcodes for making the game theory post nicer.
Compare 2 commits »
DanilaFe pushed to master at DanilaFe/resume 2020-11-29 19:15:11 +00:00
3985cb5f93 Reorder the languages a little.
495abb8d03 Update the resume.
Compare 2 commits »
DanilaFe pushed to master at CS-581/Homework 2020-11-23 22:44:19 +00:00
c98765240c Add Homework 6
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 09:08:57 +00:00
29d12a9914 Publish new Idris post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 08:26:50 +00:00
b459e9cbfe Update typesafe imperative language post draft.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-11-02 08:02:40 +00:00
f3b5f884ed Be careful to replace math in proper spots.
DanilaFe pushed to master at Web-Projects/blog-static 2020-10-31 08:34:31 +00:00
52abe73ef7 Make the typesafe imperative language work properly.
DanilaFe pushed to master at Web-Projects/blog-static 2020-10-31 02:07:46 +00:00
f0fe481bcf Add post about the typesafe imperative language.
222446a937 Add non-color indication to highlighted lines.
Compare 2 commits »
DanilaFe pushed to master at CS-581/Homework 2020-10-30 06:05:04 +00:00
148784ef4c Make the example more compelling
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 23:26:22 +00:00
e7edd43034 Add draft warning.
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 21:47:34 +00:00
2bc2c282e1 Revert "Experimentally enable shortcodes"
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 21:43:00 +00:00
5cc92d3a9d Experimentally enable shortcodes
4be8a25699 Add a label to codelines that includes the source file.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-26 05:52:14 +00:00
d3421733e1 Update resume.
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-19 23:27:48 +00:00
4c099a54e8 Publish part 13.
9f77f07ed2 Finish 13th part of the compiler series.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-19 19:00:01 +00:00
04ab1a137c Mark 13th post as draft
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-18 22:14:42 +00:00
53744ac772 Fix wording
50a1c33adb Adjust code lines.
d153af5212 Get rid of more constructors and make mangled names optional.
a336b27b6c Remove unneeded explicit calls to std::string
97eb4b6e3e Fix silent error in set_mangled_name
Compare 5 commits »