492 Commits (master)
 

Author SHA1 Message Date
  Danila Fedorin 77ae0be899 Add search and links to it. 1 day ago
  Danila Fedorin ca939da28e Add hugo functions post. 1 month ago
  Danila Fedorin 5d0920cb6d Extract code groups into a partial and display them for entire files and raw files. 1 month ago
  Danila Fedorin d1ea7b5364 Add Hugo codelines post. 1 month ago
  Danila Fedorin ebdb986e2a Remove useless sidenotes partial 1 month ago
  Danila Fedorin 4bb6695c2e Move margin include into TOC 1 month ago
  Danila Fedorin a6c5a42c1d Split generated and handwritten configuration. 1 month ago
  Danila Fedorin c44c718d06 Remove accidentally commited test submodule. 1 month ago
  Danila Fedorin 5e4097453b Update submodule script to properly gather submodule paths. 1 month ago
  Danila Fedorin bfeae89ab5 Update codelines to use submodule link information 1 month ago
  Danila Fedorin 755364c0df Publish second Coq post. 1 month ago
  Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 1 month ago
  Danila Fedorin c8543961af Add generated section of configuration. 1 month ago
  Danila Fedorin cbad3b76eb Add script to generate submodule links. 1 month ago
  Danila Fedorin b3ff2fe135 Add more text to draft. 1 month ago
  Danila Fedorin 6a6f25547e Update post with tactic-based proof. 1 month ago
  Danila Fedorin 43dfee56cc More progress on Coq post. 1 month ago
  Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 1 month ago
  Danila Fedorin 06014eade9 Add AoC submodule. 1 month ago
  Danila Fedorin 6f92a50c83 Make more progress on Coq post. 1 month ago
  Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 1 month ago
  Danila Fedorin 250746e686 Test commit to see if blog updating script works. 1 month ago
  Danila Fedorin 3bac151b08 Make the fooder divider a container. 1 month ago
  Danila Fedorin c61d9ccb99 Adjust footer divider style. 1 month ago
  Danila Fedorin 56ad03b833 Remove index, since it's currently unused. 1 month ago
  Danila Fedorin 2f9e6278ba Use feather for starts. 1 month ago
  Danila Fedorin 17e0fbc6fb Remove search for now, since it screws with page load times. 1 month ago
  Danila Fedorin 7ee7feadf3 Link to favorite posts from footer. 1 month ago
  Danila Fedorin b36ea558a3 Update index. 1 month ago
  Danila Fedorin 17d6a75465 Remove double toml extension from index. 1 month ago
  Danila Fedorin d5541bc985 Add favorites page. 1 month ago
  Danila Fedorin 98a46e9fd4 Display star near favorite posts. 1 month ago
  Danila Fedorin 2e3074df00 Add favorite posts 1 month ago
  Danila Fedorin b3dc3e690b Update search index. 1 month ago
  Danila Fedorin b1943ede2f Add internship footer to posts (sorry) 1 month ago
  Danila Fedorin 0467e4e12f Disable progress bar in Stork. 1 month ago
  Danila Fedorin 8164624cee Remove useless paragraph element and fix CSS. 1 month ago
  Danila Fedorin e0451d026c Update index. 1 month ago
  Danila Fedorin 1f1345477f Use Hugo's plaintext instead of file path for Stork index. 1 month ago
  Danila Fedorin 44529e872f Fix wrong path name for index file. 1 month ago
  Danila Fedorin a10996954e Redirect search index. 1 month 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 month ago
  Danila Fedorin f97b624688 Tweak search styles a little bit. 1 month ago
  Danila Fedorin 8215c59122 Change search highlight color. 1 month ago
  Danila Fedorin eb97bd9c3e Add search box to main page. 1 month ago
  Danila Fedorin d2e100fe4b Add search CSS. 1 month ago
  Danila Fedorin de09a1f6bd Enable TOML output. 1 month ago
  Danila Fedorin c40672e762 Add a way to generate TOML template for Stork. 1 month ago
  Danila Fedorin 565d4a6955 Update resume. 2 months ago
  Danila Fedorin 8f0f2eb35e Finish up the Coq Advent of Code post. 2 months ago