Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 1c93d28441 Remove undercore from refl constructor to avoid KaTeX errors master Danila Fedorin 2021-11-28 19:34:57 -0800
• 2ce351f7ef Actually push the rest of the new article Danila Fedorin 2021-11-28 17:33:04 -0800
• 826dde759f Finish a draft of the UCC evaluator article Danila Fedorin 2021-11-28 16:50:28 -0800
• d1aa966737 Temporarily hide the Coq documentation article, even from drafts. Danila Fedorin 2021-11-28 16:46:56 -0800
• 4d24e7095b Make some more progress on the UCC evaluator article Danila Fedorin 2021-11-28 01:48:01 -0800
• 6c1940f5d2 Get started on a post about a UCC evaluator Danila Fedorin 2021-11-28 01:09:26 -0800
• 30c395151d Use a different representation of values and prove equivalence of UCC evalutor Danila Fedorin 2021-11-28 01:08:56 -0800
• d72e64c7f9 Fix Ltac2 bug in Dawn file Danila Fedorin 2021-11-27 23:13:08 -0800
• abdc8e5056 Cleanup DawnEval.v Danila Fedorin 2021-11-27 14:17:09 -0800
• bc754c7a7d Start working on a verified UCC evaluator. Danila Fedorin 2021-11-26 01:40:04 -0800
• 84ad8d43b5 Start on a draft for rant about Coq documentation Danila Fedorin 2021-11-25 00:33:45 -0800
• e440630497 Re-generate Stork index Danila Fedorin 2021-11-21 16:38:48 -0800
• 71689fce79 Update tags Danila Fedorin 2021-11-21 16:20:18 -0800
• e7185ff460 Fix calling UCC Dawn Danila Fedorin 2021-11-21 12:38:19 -0800
• 18f493675a Publish the dawn post Danila Fedorin 2021-11-20 23:36:57 -0800
• 0c004b2e85 Edit the Dawn post a bit Danila Fedorin 2021-11-20 23:36:45 -0800
• c214d9ee37 Add the initial version of the Dawn article. Danila Fedorin 2021-11-20 23:21:03 -0800
• 72259c16a9 Update resume Danila Fedorin 2021-10-03 20:36:54 -0700
• 66b656ada5 Published TypeScript article Danila Fedorin 2021-09-19 12:34:40 -0700
• 46e4ca3948 Fix typos in TypeScript article Danila Fedorin 2021-09-19 12:30:44 -0700
• f2bf2fb025 Fix up donation styles on smaller screens Danila Fedorin 2021-09-19 12:18:00 -0700
• 50d48deec1 Update resume Danila Fedorin 2021-09-04 19:24:40 -0700
• 3c905aa1d7 Add draft of TypeScript typesafe event emitter post Danila Fedorin 2021-09-04 18:32:08 -0700
• d5f478b3c6 Add donations donations Danila Fedorin 2021-08-23 18:41:46 -0700
• 0f96b93532 Fix broken link in about page Danila Fedorin 2021-08-01 12:02:30 -0700
• 5449affbc8 Update theme. Danila Fedorin 2021-06-28 12:04:15 -0700
• 2cf19900db Update resume Danila Fedorin 2021-06-25 01:18:29 -0700
• efe5d08430 Update index. Danila Fedorin 2021-06-23 20:06:23 -0700
• 994e9ed8d2 Update resume. Danila Fedorin 2021-06-20 19:01:48 -0700
• 72af5cb7f0 Update resume. Danila Fedorin 2021-06-09 19:43:53 -0700
• 308ee34025 Extract theme into submodule. Danila Fedorin 2021-04-15 01:44:07 -0700
• 9839befdf1 Update resume. Danila Fedorin 2021-02-28 13:10:38 -0800
• d688df6c92 Update about page. Danila Fedorin 2021-02-24 22:03:29 -0800
• 24eef25984 Add contact email to footer. Danila Fedorin 2021-02-24 17:54:22 -0800
• 77ae0be899 Add search and links to it. Danila Fedorin 2021-02-22 17:21:27 -0800
• ca939da28e Add hugo functions post. Danila Fedorin 2021-01-18 00:55:31 -0800
• 5d0920cb6d Extract code groups into a partial and display them for entire files and raw files. Danila Fedorin 2021-01-17 18:23:43 -0800
• d1ea7b5364 Add Hugo codelines post. Danila Fedorin 2021-01-13 21:39:35 -0800
• ebdb986e2a Remove useless sidenotes partial Danila Fedorin 2021-01-13 16:35:01 -0800
• 4bb6695c2e Move margin include into TOC Danila Fedorin 2021-01-13 16:34:30 -0800
• a6c5a42c1d Split generated and handwritten configuration. Danila Fedorin 2021-01-11 17:07:18 -0800
• c44c718d06 Remove accidentally commited test submodule. Danila Fedorin 2021-01-11 16:58:33 -0800
• 5e4097453b Update submodule script to properly gather submodule paths. Danila Fedorin 2021-01-11 12:39:41 -0800
• bfeae89ab5 Update codelines to use submodule link information Danila Fedorin 2021-01-10 22:51:10 -0800
• 755364c0df Publish second Coq post. Danila Fedorin 2021-01-10 22:49:10 -0800
• dcb1e9a736 Finish up draft of Coq post. Danila Fedorin 2021-01-10 22:48:22 -0800
• c8543961af Add generated section of configuration. Danila Fedorin 2021-01-10 20:26:11 -0800
• cbad3b76eb Add script to generate submodule links. Danila Fedorin 2021-01-10 20:24:22 -0800
• b3ff2fe135 Add more text to draft. Danila Fedorin 2021-01-02 21:23:47 -0800
• 6a6f25547e Update post with tactic-based proof. Danila Fedorin 2021-01-02 18:30:32 -0800
• 43dfee56cc More progress on Coq post. Danila Fedorin 2021-01-01 21:35:46 -0800
• 6f9a2ce092 Switch day 1 Coq post to use submodule'd code. Danila Fedorin 2021-01-01 18:46:35 -0800
• 06014eade9 Add AoC submodule. Danila Fedorin 2021-01-01 18:40:43 -0800
• 6f92a50c83 Make more progress on Coq post. Danila Fedorin 2021-01-01 18:39:30 -0800
• 60eb50737d Add draft of the first portion of day 8 Coq writeup. Danila Fedorin 2020-12-31 21:51:43 -0800
• 250746e686 Test commit to see if blog updating script works. Danila Fedorin 2020-12-30 18:36:02 -0800
• 3bac151b08 Make the fooder divider a container. Danila Fedorin 2020-12-30 18:06:38 -0800
• c61d9ccb99 Adjust footer divider style. Danila Fedorin 2020-12-30 18:00:44 -0800
• 56ad03b833 Remove index, since it's currently unused. Danila Fedorin 2020-12-30 16:47:01 -0800
• 2f9e6278ba Use feather for starts. Danila Fedorin 2020-12-30 16:42:19 -0800
• 17e0fbc6fb Remove search for now, since it screws with page load times. Danila Fedorin 2020-12-30 15:50:00 -0800
• 7ee7feadf3 Link to favorite posts from footer. Danila Fedorin 2020-12-30 14:45:30 -0800
• b36ea558a3 Update index. Danila Fedorin 2020-12-30 14:43:55 -0800
• 17d6a75465 Remove double toml extension from index. Danila Fedorin 2020-12-30 14:42:39 -0800
• d5541bc985 Add favorites page. Danila Fedorin 2020-12-30 14:41:29 -0800
• 98a46e9fd4 Display star near favorite posts. Danila Fedorin 2020-12-30 14:27:42 -0800
• 2e3074df00 Add favorite posts Danila Fedorin 2020-12-30 14:27:22 -0800
• b3dc3e690b Update search index. Danila Fedorin 2020-12-30 13:41:29 -0800
• b1943ede2f Add internship footer to posts (sorry) Danila Fedorin 2020-12-30 13:41:03 -0800
• 0467e4e12f Disable progress bar in Stork. Danila Fedorin 2020-12-28 22:44:34 -0800
• 8164624cee Remove useless paragraph element and fix CSS. Danila Fedorin 2020-12-28 22:41:15 -0800
• e0451d026c Update index. search Danila Fedorin 2020-12-28 22:32:24 -0800
• 1f1345477f Use Hugo's plaintext instead of file path for Stork index. Danila Fedorin 2020-12-28 22:32:17 -0800
• 44529e872f Fix wrong path name for index file. Danila Fedorin 2020-12-28 22:23:29 -0800
• a10996954e Redirect search index. Danila Fedorin 2020-12-28 22:22:37 -0800
• 4d1dfb5f66 Generate initial index. This will not be static indefinitely; I just need to find a way to build it in Nix. Danila Fedorin 2020-12-28 22:22:19 -0800
• f97b624688 Tweak search styles a little bit. Danila Fedorin 2020-12-28 22:03:04 -0800
• 8215c59122 Change search highlight color. Danila Fedorin 2020-12-27 22:24:43 -0800
• eb97bd9c3e Add search box to main page. Danila Fedorin 2020-12-27 20:09:05 -0800
• d2e100fe4b Add search CSS. Danila Fedorin 2020-12-27 20:08:40 -0800
• de09a1f6bd Enable TOML output. Danila Fedorin 2020-12-27 20:08:27 -0800
• c40672e762 Add a way to generate TOML template for Stork. Danila Fedorin 2020-12-27 20:08:18 -0800
• 565d4a6955 Update resume. Danila Fedorin 2020-12-14 18:03:31 -0800
• 8f0f2eb35e Finish up the Coq Advent of Code post. Danila Fedorin 2020-12-02 18:45:28 -0800
• 234b795157 Add Coq advent of code post. Danila Fedorin 2020-12-02 01:14:32 -0800
• e317c56c99 Add some shortcodes for making the game theory post nicer. Danila Fedorin 2020-11-08 21:22:51 -0800
• 29d12a9914 Publish new Idris post. Danila Fedorin 2020-11-02 01:08:41 -0800
• b459e9cbfe Update typesafe imperative language post draft. Danila Fedorin 2020-11-01 23:56:55 -0800
• 52abe73ef7 Make the typesafe imperative language work properly. Danila Fedorin 2020-10-31 01:34:23 -0700
• f0fe481bcf Add post about the typesafe imperative language. Danila Fedorin 2020-10-30 19:07:30 -0700
• 222446a937 Add non-color indication to highlighted lines. Danila Fedorin 2020-10-10 17:12:40 -0700
• e7edd43034 Add draft warning. Danila Fedorin 2020-09-27 16:22:29 -0700
• 2bc2c282e1 Revert "Experimentally enable shortcodes" Danila Fedorin 2020-09-27 14:47:25 -0700
• 5cc92d3a9d Experimentally enable shortcodes Danila Fedorin 2020-09-27 14:42:35 -0700
• 4be8a25699 Add a label to codelines that includes the source file. Danila Fedorin 2020-09-27 14:41:56 -0700
• d3421733e1 Update resume. Danila Fedorin 2020-09-25 22:52:07 -0700
• 4c099a54e8 Publish part 13. Danila Fedorin 2020-09-19 16:27:41 -0700
• 9f77f07ed2 Finish 13th part of the compiler series. Danila Fedorin 2020-09-19 16:14:07 -0700
• 04ab1a137c Mark 13th post as draft Danila Fedorin 2020-09-19 11:59:54 -0700
• 53744ac772 Fix wording Danila Fedorin 2020-09-18 15:14:34 -0700