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