A Hugo incarnation of the blog.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 7 hours ago
archetypes Generate initial site 1 year ago
assets/scss Add some shortcodes for making the game theory post nicer. 3 weeks ago
code Add Coq advent of code post. 1 day ago
content Finish up the Coq Advent of Code post. 7 hours ago
layouts/shortcodes Add some shortcodes for making the game theory post nicer. 3 weeks ago
static Update resume. 2 months ago
themes/vanilla Add non-color indication to highlighted lines. 1 month ago
.drone.yml Try to fix compiler build failure 7 months ago
.gitignore Add gitignore file 1 year ago
config.toml Start working on improving color handling in code. 3 months ago