547 Commits (master)
 

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