509 Commits (master)
 

Author SHA1 Message Date
Danila Fedorin 72259c16a9 Update resume 2 weeks ago
Danila Fedorin 66b656ada5 Published TypeScript article 4 weeks ago
Danila Fedorin 46e4ca3948 Fix typos in TypeScript article 4 weeks ago
Danila Fedorin f2bf2fb025 Fix up donation styles on smaller screens 4 weeks ago
Danila Fedorin 50d48deec1 Update resume 1 month ago
Danila Fedorin 3c905aa1d7 Add draft of TypeScript typesafe event emitter post 1 month ago
Danila Fedorin d5f478b3c6 Add donations 2 months ago
Danila Fedorin 0f96b93532 Fix broken link in about page 3 months ago
Danila Fedorin 5449affbc8 Update theme. 4 months ago
Danila Fedorin 2cf19900db Update resume 4 months ago
Danila Fedorin efe5d08430 Update index. 4 months ago
Danila Fedorin 994e9ed8d2 Update resume. 4 months ago
Danila Fedorin 72af5cb7f0 Update resume. 4 months ago
Danila Fedorin 308ee34025 Extract theme into submodule. 6 months ago
Danila Fedorin 9839befdf1 Update resume. 8 months ago
Danila Fedorin d688df6c92 Update about page. 8 months ago
Danila Fedorin 24eef25984 Add contact email to footer. 8 months ago
Danila Fedorin 77ae0be899 Add search and links to it. 8 months ago
Danila Fedorin ca939da28e Add hugo functions post. 9 months ago
Danila Fedorin 5d0920cb6d Extract code groups into a partial and display them for entire files and raw files. 9 months ago
Danila Fedorin d1ea7b5364 Add Hugo codelines post. 9 months ago
Danila Fedorin ebdb986e2a Remove useless sidenotes partial 9 months ago
Danila Fedorin 4bb6695c2e Move margin include into TOC 9 months ago
Danila Fedorin a6c5a42c1d Split generated and handwritten configuration. 9 months ago
Danila Fedorin c44c718d06 Remove accidentally commited test submodule. 9 months ago
Danila Fedorin 5e4097453b Update submodule script to properly gather submodule paths. 9 months ago
Danila Fedorin bfeae89ab5 Update codelines to use submodule link information 9 months ago
Danila Fedorin 755364c0df Publish second Coq post. 9 months ago
Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 9 months ago
Danila Fedorin c8543961af Add generated section of configuration. 9 months ago
Danila Fedorin cbad3b76eb Add script to generate submodule links. 9 months ago
Danila Fedorin b3ff2fe135 Add more text to draft. 10 months ago
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 10 months ago
Danila Fedorin 43dfee56cc More progress on Coq post. 10 months ago
Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 10 months ago
Danila Fedorin 06014eade9 Add AoC submodule. 10 months ago
Danila Fedorin 6f92a50c83 Make more progress on Coq post. 10 months ago
Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 10 months ago
Danila Fedorin 250746e686 Test commit to see if blog updating script works. 10 months ago
Danila Fedorin 3bac151b08 Make the fooder divider a container. 10 months ago
Danila Fedorin c61d9ccb99 Adjust footer divider style. 10 months ago
Danila Fedorin 56ad03b833 Remove index, since it's currently unused. 10 months ago
Danila Fedorin 2f9e6278ba Use feather for starts. 10 months ago
Danila Fedorin 17e0fbc6fb Remove search for now, since it screws with page load times. 10 months ago
Danila Fedorin 7ee7feadf3 Link to favorite posts from footer. 10 months ago
Danila Fedorin b36ea558a3 Update index. 10 months ago
Danila Fedorin 17d6a75465 Remove double toml extension from index. 10 months ago
Danila Fedorin d5541bc985 Add favorites page. 10 months ago
Danila Fedorin 98a46e9fd4 Display star near favorite posts. 10 months ago
Danila Fedorin 2e3074df00 Add favorite posts 10 months ago