Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe created repository Advent-of-Code/AdventBot 2020-12-04 17:19:30 -08:00
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-02 18:45:48 -08:00
8f0f2eb35e Finish up the Coq Advent of Code post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-12-02 01:14:41 -08: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 11:15:11 -08: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 14:44:19 -08:00
c98765240c Add Homework 6
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 01:08:57 -08:00
29d12a9914 Publish new Idris post.
DanilaFe pushed to master at Web-Projects/blog-static 2020-11-02 00:26:50 -08:00
b459e9cbfe Update typesafe imperative language post draft.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-11-02 00:02:40 -08:00
f3b5f884ed Be careful to replace math in proper spots.
DanilaFe pushed to master at Web-Projects/blog-static 2020-10-31 01:34:31 -07:00
52abe73ef7 Make the typesafe imperative language work properly.
DanilaFe pushed to master at Web-Projects/blog-static 2020-10-30 19:07:46 -07: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-29 23:05:04 -07:00
148784ef4c Make the example more compelling
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 16:26:22 -07:00
e7edd43034 Add draft warning.
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 14:47:34 -07:00
2bc2c282e1 Revert "Experimentally enable shortcodes"
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-27 14:43:00 -07: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-25 22:52:14 -07:00
d3421733e1 Update resume.
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-19 16:27:48 -07: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 12:00:01 -07:00
04ab1a137c Mark 13th post as draft
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-18 15:14:42 -07: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 »
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-17 22:56:14 -07:00
430768eac5 Add a TODO to part 13.
5db864881a Fix use of wrong environment for name mangling.
d3b1047d37 Renamed the file since we have no optimization.
98cac103c4 Update blog post, switching away from two sections.
7226d66f67 Remove the parent method from type_env.
Compare 5 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-09-17 21:51:11 -07:00
8a352ed3ea Roll back optimization changes.
02f8306c7b Use an instruction instead of a special-case boolean instruction.
cf6f353f20 Change tagging to assume sign extension.
7a631b3557 Make a few more things classes.
5e13047846 Make global scope a class.
Compare 12 commits »