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