532 Commits (master)
 

Author SHA1 Message Date
Danila Fedorin 755364c0df Publish second Coq post. 11 months ago
Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 11 months ago
Danila Fedorin c8543961af Add generated section of configuration. 11 months ago
Danila Fedorin cbad3b76eb Add script to generate submodule links. 11 months ago
Danila Fedorin b3ff2fe135 Add more text to draft. 11 months ago
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 11 months ago
Danila Fedorin 43dfee56cc More progress on Coq post. 11 months ago
Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 11 months ago
Danila Fedorin 06014eade9 Add AoC submodule. 11 months ago
Danila Fedorin 6f92a50c83 Make more progress on Coq post. 11 months ago
Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 11 months ago
Danila Fedorin 250746e686 Test commit to see if blog updating script works. 11 months ago
Danila Fedorin 3bac151b08 Make the fooder divider a container. 11 months ago
Danila Fedorin c61d9ccb99 Adjust footer divider style. 11 months ago
Danila Fedorin 56ad03b833 Remove index, since it's currently unused. 11 months ago
Danila Fedorin 2f9e6278ba Use feather for starts. 11 months ago
Danila Fedorin 17e0fbc6fb Remove search for now, since it screws with page load times. 11 months ago
Danila Fedorin 7ee7feadf3 Link to favorite posts from footer. 11 months ago
Danila Fedorin b36ea558a3 Update index. 11 months ago
Danila Fedorin 17d6a75465 Remove double toml extension from index. 11 months ago
Danila Fedorin d5541bc985 Add favorites page. 11 months ago
Danila Fedorin 98a46e9fd4 Display star near favorite posts. 11 months ago
Danila Fedorin 2e3074df00 Add favorite posts 11 months ago
Danila Fedorin b3dc3e690b Update search index. 11 months ago
Danila Fedorin b1943ede2f Add internship footer to posts (sorry) 11 months ago
Danila Fedorin 0467e4e12f Disable progress bar in Stork. 11 months ago
Danila Fedorin 8164624cee Remove useless paragraph element and fix CSS. 11 months ago
Danila Fedorin e0451d026c Update index. 11 months ago
Danila Fedorin 1f1345477f Use Hugo's plaintext instead of file path for Stork index. 11 months ago
Danila Fedorin 44529e872f Fix wrong path name for index file. 11 months ago
Danila Fedorin a10996954e Redirect search index. 11 months ago
Danila Fedorin 4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix. 11 months ago
Danila Fedorin f97b624688 Tweak search styles a little bit. 11 months ago
Danila Fedorin 8215c59122 Change search highlight color. 12 months ago
Danila Fedorin eb97bd9c3e Add search box to main page. 12 months ago
Danila Fedorin d2e100fe4b Add search CSS. 12 months ago
Danila Fedorin de09a1f6bd Enable TOML output. 12 months ago
Danila Fedorin c40672e762 Add a way to generate TOML template for Stork. 12 months ago
Danila Fedorin 565d4a6955 Update resume. 12 months ago
Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 1 year ago
Danila Fedorin 234b795157 Add Coq advent of code post. 1 year ago
Danila Fedorin e317c56c99 Add some shortcodes for making the game theory post nicer. 1 year ago
Danila Fedorin 29d12a9914 Publish new Idris post. 1 year ago
Danila Fedorin b459e9cbfe Update typesafe imperative language post draft. 1 year ago
Danila Fedorin 52abe73ef7 Make the typesafe imperative language work properly. 1 year ago
Danila Fedorin f0fe481bcf Add post about the typesafe imperative language. 1 year ago
Danila Fedorin 222446a937 Add non-color indication to highlighted lines. 1 year ago
Danila Fedorin e7edd43034 Add draft warning. 1 year ago
Danila Fedorin 2bc2c282e1 Revert "Experimentally enable shortcodes" 1 year ago
Danila Fedorin 5cc92d3a9d Experimentally enable shortcodes 1 year ago