Commit Graph

710 Commits

Author SHA1 Message Date
Danila Fedorin c214d9ee37 Add the initial version of the Dawn article. 2021-11-20 23:21:03 -08:00
Danila Fedorin 72259c16a9 Update resume 2021-10-03 20:36:54 -07:00
Danila Fedorin 66b656ada5 Published TypeScript article 2021-09-19 12:34:40 -07:00
Danila Fedorin 46e4ca3948 Fix typos in TypeScript article 2021-09-19 12:30:44 -07:00
Danila Fedorin f2bf2fb025 Fix up donation styles on smaller screens 2021-09-19 12:18:00 -07:00
Danila Fedorin 50d48deec1 Update resume 2021-09-04 19:24:40 -07:00
Danila Fedorin 3c905aa1d7 Add draft of TypeScript typesafe event emitter post 2021-09-04 18:32:08 -07:00
Danila Fedorin d5f478b3c6 Add donations 2021-08-23 18:41:46 -07:00
Danila Fedorin 0f96b93532 Fix broken link in about page 2021-08-01 12:02:30 -07:00
Danila Fedorin 5449affbc8 Update theme. 2021-06-28 12:04:15 -07:00
Danila Fedorin 2cf19900db Update resume 2021-06-25 01:18:29 -07:00
Danila Fedorin efe5d08430 Update index. 2021-06-23 20:06:23 -07:00
Danila Fedorin 994e9ed8d2 Update resume. 2021-06-20 19:01:48 -07:00
Danila Fedorin 72af5cb7f0 Update resume. 2021-06-09 19:43:53 -07:00
Danila Fedorin 308ee34025 Extract theme into submodule. 2021-04-15 01:44:07 -07:00
Danila Fedorin 9839befdf1 Update resume. 2021-02-28 13:10:38 -08:00
Danila Fedorin d688df6c92 Update about page. 2021-02-24 22:03:29 -08:00
Danila Fedorin 24eef25984 Add contact email to footer. 2021-02-24 17:54:22 -08:00
Danila Fedorin 77ae0be899 Add search and links to it. 2021-02-22 17:21:27 -08:00
Danila Fedorin ca939da28e Add hugo functions post. 2021-01-18 00:55:31 -08:00
Danila Fedorin 5d0920cb6d Extract code groups into a partial and display them for entire files and raw files. 2021-01-17 18:23:43 -08:00
Danila Fedorin d1ea7b5364 Add Hugo codelines post. 2021-01-13 21:39:35 -08:00
Danila Fedorin ebdb986e2a Remove useless sidenotes partial 2021-01-13 16:35:01 -08:00
Danila Fedorin 4bb6695c2e Move margin include into TOC 2021-01-13 16:34:30 -08:00
Danila Fedorin a6c5a42c1d Split generated and handwritten configuration. 2021-01-11 17:07:18 -08:00
Danila Fedorin c44c718d06 Remove accidentally commited test submodule. 2021-01-11 16:58:33 -08:00
Danila Fedorin 5e4097453b Update submodule script to properly gather submodule paths. 2021-01-11 12:39:41 -08:00
Danila Fedorin bfeae89ab5 Update codelines to use submodule link information 2021-01-10 22:51:10 -08:00
Danila Fedorin 755364c0df Publish second Coq post. 2021-01-10 22:49:10 -08:00
Danila Fedorin dcb1e9a736 Finish up draft of Coq post. 2021-01-10 22:48:31 -08:00
Danila Fedorin c8543961af Add generated section of configuration. 2021-01-10 20:26:11 -08:00
Danila Fedorin cbad3b76eb Add script to generate submodule links. 2021-01-10 20:24:22 -08:00
Danila Fedorin b3ff2fe135 Add more text to draft. 2021-01-02 21:23:47 -08:00
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 2021-01-02 18:33:02 -08:00
Danila Fedorin 43dfee56cc More progress on Coq post. 2021-01-01 21:35:46 -08:00
Danila Fedorin 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. 2021-01-01 18:46:35 -08:00
Danila Fedorin 06014eade9 Add AoC submodule. 2021-01-01 18:40:43 -08:00
Danila Fedorin 6f92a50c83 Make more progress on Coq post. 2021-01-01 18:39:30 -08:00
Danila Fedorin 60eb50737d Add draft of the first portion of day 8 Coq writeup. 2020-12-31 21:51:43 -08:00
Danila Fedorin 250746e686 Test commit to see if blog updating script works. 2020-12-30 18:36:02 -08:00
Danila Fedorin 3bac151b08 Make the fooder divider a container. 2020-12-30 18:06:38 -08:00
Danila Fedorin c61d9ccb99 Adjust footer divider style. 2020-12-30 18:00:44 -08:00
Danila Fedorin 56ad03b833 Remove index, since it's currently unused. 2020-12-30 16:47:01 -08:00
Danila Fedorin 2f9e6278ba Use feather for starts. 2020-12-30 16:42:19 -08:00
Danila Fedorin 17e0fbc6fb Remove search for now, since it screws with page load times. 2020-12-30 15:50:00 -08:00
Danila Fedorin 7ee7feadf3 Link to favorite posts from footer. 2020-12-30 14:45:30 -08:00
Danila Fedorin b36ea558a3 Update index. 2020-12-30 14:43:55 -08:00
Danila Fedorin 17d6a75465 Remove double toml extension from index. 2020-12-30 14:42:39 -08:00
Danila Fedorin d5541bc985 Add favorites page. 2020-12-30 14:41:29 -08:00
Danila Fedorin 98a46e9fd4 Display star near favorite posts. 2020-12-30 14:27:42 -08:00