Danila Fedorin DanilaFe
DanilaFe pushed to master at Advent-of-Code/AdventOfCode-2019 2020-12-05 02:18:37 +00:00
161ee6e244 Abstract intocode into separate files.
e62a0067e7 Add the first few solutions.
DanilaFe created repository Advent-of-Code/AdventOfCode-2019 2020-12-05 02:18:10 +00:00
DanilaFe transferred repository DanilaFe/AdventBot to Advent-of-Code/AdventBot 2020-12-05 02:09:50 +00:00
DanilaFe transferred repository DanilaFe/AdventOfCode-2018 to Advent-of-Code/AdventOfCode-2018 2020-12-05 02:09:16 +00:00
DanilaFe transferred repository DanilaFe/AdventOfCode-2017 to Advent-of-Code/AdventOfCode-2017 2020-12-05 02:08:38 +00:00
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"