502 Commits (master)
 

Author SHA1 Message Date
Danila Fedorin 0f96b93532 Fix broken link in about page 17 hours ago
Danila Fedorin 5449affbc8 Update theme. 1 month ago
Danila Fedorin 2cf19900db Update resume 1 month ago
Danila Fedorin efe5d08430 Update index. 1 month ago
Danila Fedorin 994e9ed8d2 Update resume. 1 month ago
Danila Fedorin 72af5cb7f0 Update resume. 2 months ago
Danila Fedorin 308ee34025 Extract theme into submodule. 4 months ago
Danila Fedorin 9839befdf1 Update resume. 5 months ago
Danila Fedorin d688df6c92 Update about page. 5 months ago
Danila Fedorin 24eef25984 Add contact email to footer. 5 months ago
Danila Fedorin 77ae0be899 Add search and links to it. 5 months ago
Danila Fedorin ca939da28e Add hugo functions post. 7 months ago
Danila Fedorin 5d0920cb6d Extract code groups into a partial and display them for entire files and raw files. 7 months ago
Danila Fedorin d1ea7b5364 Add Hugo codelines post. 7 months ago
Danila Fedorin ebdb986e2a Remove useless sidenotes partial 7 months ago
Danila Fedorin 4bb6695c2e Move margin include into TOC 7 months ago
Danila Fedorin a6c5a42c1d Split generated and handwritten configuration. 7 months ago
Danila Fedorin c44c718d06 Remove accidentally commited test submodule. 7 months ago
Danila Fedorin 5e4097453b Update submodule script to properly gather submodule paths. 7 months ago
Danila Fedorin bfeae89ab5 Update codelines to use submodule link information 7 months ago
Danila Fedorin 755364c0df Publish second Coq post. 7 months ago
Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 7 months ago
Danila Fedorin c8543961af Add generated section of configuration. 7 months ago
Danila Fedorin cbad3b76eb Add script to generate submodule links. 7 months ago
Danila Fedorin b3ff2fe135 Add more text to draft. 7 months ago
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 7 months ago
Danila Fedorin 43dfee56cc More progress on Coq post. 7 months ago
Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 7 months ago
Danila Fedorin 06014eade9 Add AoC submodule. 7 months ago
Danila Fedorin 6f92a50c83 Make more progress on Coq post. 7 months ago
Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 7 months ago
Danila Fedorin 250746e686 Test commit to see if blog updating script works. 7 months ago
Danila Fedorin 3bac151b08 Make the fooder divider a container. 7 months ago
Danila Fedorin c61d9ccb99 Adjust footer divider style. 7 months ago
Danila Fedorin 56ad03b833 Remove index, since it's currently unused. 7 months ago
Danila Fedorin 2f9e6278ba Use feather for starts. 7 months ago
Danila Fedorin 17e0fbc6fb Remove search for now, since it screws with page load times. 7 months ago
Danila Fedorin 7ee7feadf3 Link to favorite posts from footer. 7 months ago
Danila Fedorin b36ea558a3 Update index. 7 months ago
Danila Fedorin 17d6a75465 Remove double toml extension from index. 7 months ago
Danila Fedorin d5541bc985 Add favorites page. 7 months ago
Danila Fedorin 98a46e9fd4 Display star near favorite posts. 7 months ago
Danila Fedorin 2e3074df00 Add favorite posts 7 months ago
Danila Fedorin b3dc3e690b Update search index. 7 months ago
Danila Fedorin b1943ede2f Add internship footer to posts (sorry) 7 months ago
Danila Fedorin 0467e4e12f Disable progress bar in Stork. 7 months ago
Danila Fedorin 8164624cee Remove useless paragraph element and fix CSS. 7 months ago
Danila Fedorin e0451d026c Update index. 7 months ago
Danila Fedorin 1f1345477f Use Hugo's plaintext instead of file path for Stork index. 7 months ago
Danila Fedorin 44529e872f Fix wrong path name for index file. 7 months ago