Danila Fedorin
|
22e70f7164
|
Add a thank you to Arthur in the conclusion
|
6 months ago |
Danila Fedorin
|
a573a0b765
|
Update and publish digit sum patterns article
|
6 months ago |
Danila Fedorin
|
ca1abf951f
|
Finish up a draft of the modulo patterns article
|
6 months ago |
Danila Fedorin
|
2efa3c4a42
|
Replace sine/cosine math with visualizations.
|
6 months ago |
Danila Fedorin
|
f3fd177235
|
Add missing images
|
6 months ago |
Danila Fedorin
|
092f98c17a
|
Update theme
|
6 months ago |
Danila Fedorin
|
eec6174562
|
Try moving some proofs into an appendix
|
6 months ago |
Danila Fedorin
|
81efcea0e5
|
Give initial stabs at Arthur's suggestions
|
6 months ago |
Danila Fedorin
|
7ac85b5b1e
|
Add some more to the generalization sections.
|
6 months ago |
Danila Fedorin
|
1b35ca32ac
|
Fix a few typos (thanks, Arthur)
|
6 months ago |
Danila Fedorin
|
97c989e465
|
Add a draft about digit sum patterns.
|
6 months ago |
Danila Fedorin
|
b43b81cc02
|
Update theme
|
6 months ago |
Danila Fedorin
|
c061e3e1b2
|
Publish matrix highlight
|
7 months ago |
Danila Fedorin
|
cd61c47e35
|
Remove quote from Matrix website
|
7 months ago |
Danila Fedorin
|
4f9b3669a2
|
Write a little article about Matrix Highlight
|
7 months ago |
Danila Fedorin
|
7164140c15
|
Add another (unpublished) draft
|
7 months ago |
Danila Fedorin
|
d41973f1a8
|
Add server configuration as submodule
|
7 months ago |
Danila Fedorin
|
8806f2862d
|
Update index
|
7 months ago |
Danila Fedorin
|
36989c76ee
|
Update theme
|
7 months ago |
Danila Fedorin
|
13aef5b3c0
|
Edit and publish second Coq Dawn article
|
7 months ago |
Danila Fedorin
|
b8f9f93537
|
Add illustrations about evaluation chains
|
7 months ago |
Danila Fedorin
|
1c93d28441
|
Remove undercore from refl constructor to avoid KaTeX errors
|
7 months ago |
Danila Fedorin
|
2ce351f7ef
|
Actually push the rest of the new article
|
7 months ago |
Danila Fedorin
|
826dde759f
|
Finish a draft of the UCC evaluator article
|
7 months ago |
Danila Fedorin
|
d1aa966737
|
Temporarily hide the Coq documentation article, even from drafts.
|
7 months ago |
Danila Fedorin
|
4d24e7095b
|
Make some more progress on the UCC evaluator article
|
7 months ago |
Danila Fedorin
|
6c1940f5d2
|
Get started on a post about a UCC evaluator
|
7 months ago |
Danila Fedorin
|
30c395151d
|
Use a different representation of values and prove equivalence of UCC evalutor
|
7 months ago |
Danila Fedorin
|
d72e64c7f9
|
Fix Ltac2 bug in Dawn file
|
7 months ago |
Danila Fedorin
|
abdc8e5056
|
Cleanup DawnEval.v
|
7 months ago |
Danila Fedorin
|
bc754c7a7d
|
Start working on a verified UCC evaluator.
|
7 months ago |
Danila Fedorin
|
84ad8d43b5
|
Start on a draft for rant about Coq documentation
|
7 months ago |
Danila Fedorin
|
e440630497
|
Re-generate Stork index
|
7 months ago |
Danila Fedorin
|
71689fce79
|
Update tags
|
7 months ago |
Danila Fedorin
|
e7185ff460
|
Fix calling UCC Dawn
|
7 months ago |
Danila Fedorin
|
18f493675a
|
Publish the dawn post
|
7 months ago |
Danila Fedorin
|
0c004b2e85
|
Edit the Dawn post a bit
|
7 months ago |
Danila Fedorin
|
c214d9ee37
|
Add the initial version of the Dawn article.
|
7 months ago |
Danila Fedorin
|
72259c16a9
|
Update resume
|
9 months ago |
Danila Fedorin
|
66b656ada5
|
Published TypeScript article
|
9 months ago |
Danila Fedorin
|
46e4ca3948
|
Fix typos in TypeScript article
|
9 months ago |
Danila Fedorin
|
f2bf2fb025
|
Fix up donation styles on smaller screens
|
9 months ago |
Danila Fedorin
|
50d48deec1
|
Update resume
|
10 months ago |
Danila Fedorin
|
3c905aa1d7
|
Add draft of TypeScript typesafe event emitter post
|
10 months ago |
Danila Fedorin
|
d5f478b3c6
|
Add donations
|
10 months ago |
Danila Fedorin
|
0f96b93532
|
Fix broken link in about page
|
11 months ago |
Danila Fedorin
|
5449affbc8
|
Update theme.
|
1 year ago |
Danila Fedorin
|
2cf19900db
|
Update resume
|
1 year ago |
Danila Fedorin
|
efe5d08430
|
Update index.
|
1 year ago |
Danila Fedorin
|
994e9ed8d2
|
Update resume.
|
1 year ago |