|
|
7164140c15
|
Add another (unpublished) draft
|
2021-12-04 00:41:01 -08:00 |
|
|
|
d41973f1a8
|
Add server configuration as submodule
|
2021-12-03 19:38:16 -08:00 |
|
|
|
8806f2862d
|
Update index
|
2021-12-03 00:39:29 -08:00 |
|
|
|
36989c76ee
|
Update theme
|
2021-12-03 00:35:28 -08:00 |
|
|
|
13aef5b3c0
|
Edit and publish second Coq Dawn article
|
2021-12-02 18:29:47 -08:00 |
|
|
|
b8f9f93537
|
Add illustrations about evaluation chains
|
2021-12-02 17:41:36 -08:00 |
|
|
|
1c93d28441
|
Remove undercore from refl constructor to avoid KaTeX errors
|
2021-11-28 19:34:57 -08:00 |
|
|
|
2ce351f7ef
|
Actually push the rest of the new article
|
2021-11-28 17:33:04 -08:00 |
|
|
|
826dde759f
|
Finish a draft of the UCC evaluator article
|
2021-11-28 16:50:28 -08:00 |
|
|
|
d1aa966737
|
Temporarily hide the Coq documentation article, even from drafts.
|
2021-11-28 16:46:56 -08:00 |
|
|
|
4d24e7095b
|
Make some more progress on the UCC evaluator article
|
2021-11-28 01:48:01 -08:00 |
|
|
|
6c1940f5d2
|
Get started on a post about a UCC evaluator
|
2021-11-28 01:09:26 -08:00 |
|
|
|
30c395151d
|
Use a different representation of values and prove equivalence of UCC evalutor
|
2021-11-28 01:08:56 -08:00 |
|
|
|
d72e64c7f9
|
Fix Ltac2 bug in Dawn file
|
2021-11-27 23:13:08 -08:00 |
|
|
|
abdc8e5056
|
Cleanup DawnEval.v
|
2021-11-27 14:17:09 -08:00 |
|
|
|
bc754c7a7d
|
Start working on a verified UCC evaluator.
|
2021-11-26 01:40:04 -08:00 |
|
|
|
84ad8d43b5
|
Start on a draft for rant about Coq documentation
|
2021-11-25 00:33:54 -08:00 |
|
|
|
e440630497
|
Re-generate Stork index
|
2021-11-21 16:38:48 -08:00 |
|
|
|
71689fce79
|
Update tags
|
2021-11-21 16:20:18 -08:00 |
|
|
|
e7185ff460
|
Fix calling UCC Dawn
|
2021-11-21 12:38:19 -08:00 |
|
|
|
18f493675a
|
Publish the dawn post
|
2021-11-20 23:36:57 -08:00 |
|
|
|
0c004b2e85
|
Edit the Dawn post a bit
|
2021-11-20 23:36:45 -08:00 |
|
|
|
c214d9ee37
|
Add the initial version of the Dawn article.
|
2021-11-20 23:21:03 -08:00 |
|
|
|
72259c16a9
|
Update resume
|
2021-10-03 20:36:54 -07:00 |
|
|
|
66b656ada5
|
Published TypeScript article
|
2021-09-19 12:34:40 -07:00 |
|
|
|
46e4ca3948
|
Fix typos in TypeScript article
|
2021-09-19 12:30:44 -07:00 |
|
|
|
f2bf2fb025
|
Fix up donation styles on smaller screens
|
2021-09-19 12:18:00 -07:00 |
|
|
|
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 |
|
