|
|
f3fd177235
|
Add missing images
|
2022-01-01 20:16:15 -08:00 |
|
|
|
092f98c17a
|
Update theme
|
2022-01-01 20:13:09 -08:00 |
|
|
|
eec6174562
|
Try moving some proofs into an appendix
|
2022-01-01 20:12:30 -08:00 |
|
|
|
81efcea0e5
|
Give initial stabs at Arthur's suggestions
|
2022-01-01 14:45:11 -08:00 |
|
|
|
7ac85b5b1e
|
Add some more to the generalization sections.
|
2022-01-01 03:36:20 -08:00 |
|
|
|
1b35ca32ac
|
Fix a few typos (thanks, Arthur)
|
2021-12-31 19:32:37 -08:00 |
|
|
|
97c989e465
|
Add a draft about digit sum patterns.
|
2021-12-31 00:14:31 -08:00 |
|
|
|
b43b81cc02
|
Update theme
|
2021-12-15 13:31:16 -08:00 |
|
|
|
c061e3e1b2
|
Publish matrix highlight
|
2021-12-13 21:19:23 -08:00 |
|
|
|
cd61c47e35
|
Remove quote from Matrix website
|
2021-12-13 20:16:37 -08:00 |
|
|
|
4f9b3669a2
|
Write a little article about Matrix Highlight
|
2021-12-13 18:25:12 -08:00 |
|
|
|
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 |
|
