 Danila Fedorin
|
f044082fa5
|
Update theme to escape HTML
|
2022-03-28 15:56:55 -07:00 |
|
Danila Fedorin
|
b2a02c5a9c
|
Update theme
|
2022-03-27 21:24:24 -07:00 |
|
Danila Fedorin
|
3946fecd1d
|
Update theme
|
2022-03-27 19:34:57 -07:00 |
|
Danila Fedorin
|
27f43d0ad0
|
Update theme
|
2022-03-27 19:22:07 -07:00 |
|
Danila Fedorin
|
684b3e0838
|
Update theme
|
2022-03-27 18:56:02 -07:00 |
|
Danila Fedorin
|
adc66d8605
|
Update index?
|
2022-03-23 19:17:07 -07:00 |
|
Danila Fedorin
|
58b831cd24
|
Fix typo in graph page
|
2022-03-15 17:27:33 -07:00 |
|
Danila Fedorin
|
8cf0502492
|
Upate theme
|
2022-03-15 17:15:15 -07:00 |
|
Danila Fedorin
|
a490514079
|
Add a graph visualization page based on the analyze script
|
2022-03-15 17:15:15 -07:00 |
|
Danila Fedorin
|
a658286776
|
Make analyze.rb find its own files and generate JS
|
2022-03-15 15:08:46 -07:00 |
|
Danila Fedorin
|
7fb3c26633
|
Add a file to create file dependency graph
|
2022-03-10 01:29:52 -08:00 |
|
Danila Fedorin
|
21ca8e5e90
|
Replace all of the ref with relrefs
|
2022-03-09 22:03:33 -08:00 |
|
Danila Fedorin
|
f719cedc37
|
Update index
|
2022-02-23 21:58:27 -08:00 |
|
Danila Fedorin
|
22e70f7164
|
Add a thank you to Arthur in the conclusion
|
2022-01-08 17:49:46 -08:00 |
|
Danila Fedorin
|
a573a0b765
|
Update and publish digit sum patterns article
|
2022-01-08 17:42:33 -08:00 |
|
Danila Fedorin
|
ca1abf951f
|
Finish up a draft of the modulo patterns article
|
2022-01-07 16:56:22 -08:00 |
|
Danila Fedorin
|
2efa3c4a42
|
Replace sine/cosine math with visualizations.
|
2022-01-03 01:13:29 -08:00 |
|
Danila Fedorin
|
f3fd177235
|
Add missing images
|
2022-01-01 20:16:15 -08:00 |
|
Danila Fedorin
|
092f98c17a
|
Update theme
|
2022-01-01 20:13:09 -08:00 |
|
Danila Fedorin
|
eec6174562
|
Try moving some proofs into an appendix
|
2022-01-01 20:12:30 -08:00 |
|
Danila Fedorin
|
81efcea0e5
|
Give initial stabs at Arthur's suggestions
|
2022-01-01 14:45:11 -08:00 |
|
Danila Fedorin
|
7ac85b5b1e
|
Add some more to the generalization sections.
|
2022-01-01 03:36:20 -08:00 |
|
Danila Fedorin
|
1b35ca32ac
|
Fix a few typos (thanks, Arthur)
|
2021-12-31 19:32:37 -08:00 |
|
Danila Fedorin
|
97c989e465
|
Add a draft about digit sum patterns.
|
2021-12-31 00:14:31 -08:00 |
|
Danila Fedorin
|
b43b81cc02
|
Update theme
|
2021-12-15 13:31:16 -08:00 |
|
Danila Fedorin
|
c061e3e1b2
|
Publish matrix highlight
|
2021-12-13 21:19:23 -08:00 |
|
Danila Fedorin
|
cd61c47e35
|
Remove quote from Matrix website
|
2021-12-13 20:16:37 -08:00 |
|
Danila Fedorin
|
4f9b3669a2
|
Write a little article about Matrix Highlight
|
2021-12-13 18:25:12 -08:00 |
|
Danila Fedorin
|
7164140c15
|
Add another (unpublished) draft
|
2021-12-04 00:41:01 -08:00 |
|
Danila Fedorin
|
d41973f1a8
|
Add server configuration as submodule
|
2021-12-03 19:38:16 -08:00 |
|
Danila Fedorin
|
8806f2862d
|
Update index
|
2021-12-03 00:39:29 -08:00 |
|
Danila Fedorin
|
36989c76ee
|
Update theme
|
2021-12-03 00:35:28 -08:00 |
|
Danila Fedorin
|
13aef5b3c0
|
Edit and publish second Coq Dawn article
|
2021-12-02 18:29:47 -08:00 |
|
Danila Fedorin
|
b8f9f93537
|
Add illustrations about evaluation chains
|
2021-12-02 17:41:36 -08:00 |
|
Danila Fedorin
|
1c93d28441
|
Remove undercore from refl constructor to avoid KaTeX errors
|
2021-11-28 19:34:57 -08:00 |
|
Danila Fedorin
|
2ce351f7ef
|
Actually push the rest of the new article
|
2021-11-28 17:33:04 -08:00 |
|
Danila Fedorin
|
826dde759f
|
Finish a draft of the UCC evaluator article
|
2021-11-28 16:50:28 -08:00 |
|
Danila Fedorin
|
d1aa966737
|
Temporarily hide the Coq documentation article, even from drafts.
|
2021-11-28 16:46:56 -08:00 |
|
Danila Fedorin
|
4d24e7095b
|
Make some more progress on the UCC evaluator article
|
2021-11-28 01:48:01 -08:00 |
|
Danila Fedorin
|
6c1940f5d2
|
Get started on a post about a UCC evaluator
|
2021-11-28 01:09:26 -08:00 |
|
Danila Fedorin
|
30c395151d
|
Use a different representation of values and prove equivalence of UCC evalutor
|
2021-11-28 01:08:56 -08:00 |
|
Danila Fedorin
|
d72e64c7f9
|
Fix Ltac2 bug in Dawn file
|
2021-11-27 23:13:08 -08:00 |
|
Danila Fedorin
|
abdc8e5056
|
Cleanup DawnEval.v
|
2021-11-27 14:17:09 -08:00 |
|
Danila Fedorin
|
bc754c7a7d
|
Start working on a verified UCC evaluator.
|
2021-11-26 01:40:04 -08:00 |
|
Danila Fedorin
|
84ad8d43b5
|
Start on a draft for rant about Coq documentation
|
2021-11-25 00:33:54 -08:00 |
|
Danila Fedorin
|
e440630497
|
Re-generate Stork index
|
2021-11-21 16:38:48 -08:00 |
|
Danila Fedorin
|
71689fce79
|
Update tags
|
2021-11-21 16:20:18 -08:00 |
|
Danila Fedorin
|
e7185ff460
|
Fix calling UCC Dawn
|
2021-11-21 12:38:19 -08:00 |
|
Danila Fedorin
|
18f493675a
|
Publish the dawn post
|
2021-11-20 23:36:57 -08:00 |
|
Danila Fedorin
|
0c004b2e85
|
Edit the Dawn post a bit
|
2021-11-20 23:36:45 -08:00 |