483 Commits (bfeae89ab52d1696c4a56768b7f0c6682efaff82)
 

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