Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• cb65e89e53 Add math rendering draft. Danila Fedorin 2020-07-18 20:47:16 -0700
• 6a2fec8ef4 Update the about page. Danila Fedorin 2020-07-17 19:39:43 -0700
• aa59c90810 Add the draft of the DELL post. Danila Fedorin 2020-07-17 19:39:35 -0700
• 2b317930a0 Add resume link. Danila Fedorin 2020-07-15 15:09:37 -0700
• e7d56dd4bd Clean up some styles. table-of-contents Danila Fedorin 2020-07-15 13:56:03 -0700
• a4fedb276d Adjust margin spacing. Danila Fedorin 2020-07-15 13:18:34 -0700
• 277c0a2ce6 Rework sidenote spacing and TOC. Danila Fedorin 2020-07-15 13:13:47 -0700
• ef3c61e9e6 Make table of contents dark. Danila Fedorin 2020-06-30 22:11:27 -0700
• 1908126607 Add border to code. Danila Fedorin 2020-06-30 21:31:16 -0700
• 2d77f8489f Move hiding code into margin SCSS. Danila Fedorin 2020-06-30 21:22:19 -0700
• 0371651fdd Fix headings on Starbound post. Danila Fedorin 2020-06-24 23:01:35 -0700
• 01734d24f7 Get started on tables of contents. Danila Fedorin 2020-06-24 22:46:22 -0700
• 71fc0546e0 Move move code into common 'margin node' mixin. margin-rework Danila Fedorin 2020-06-24 22:06:08 -0700
• 871a745702 Extract margin variables and mixins into separate file. Danila Fedorin 2020-06-24 14:21:56 -0700
• 3f0df8ae0d Add links for 12th part of compiler series. Danila Fedorin 2020-06-21 22:21:43 -0700
• 1746011c16 Publish 12th part of compiler series. Danila Fedorin 2020-06-21 00:51:04 -0700
• 7c4cfbf3d4 Fix typechecking of mutually recursive functions. Danila Fedorin 2020-06-21 00:47:26 -0700
• 8524e098a8 Make proofreading-based fixes. Danila Fedorin 2020-06-20 23:50:26 -0700
• 971f58da9b Finish draft of part 12 of compiler series. Danila Fedorin 2020-06-20 22:03:57 -0700
• c496be1031 Finish implementation description in part 12. Danila Fedorin 2020-06-20 20:46:54 -0700
• 21851e3a9c Add more content to part 12. Danila Fedorin 2020-06-19 02:22:08 -0700
• 600d5b91ea Remove unneeded parent class. Danila Fedorin 2020-06-18 23:06:13 -0700
• 09b90c3bbc Add line numbers to codelines shortode. Danila Fedorin 2020-06-18 22:30:01 -0700
• f6ca13d6dc Add more implementation content to part 12. Danila Fedorin 2020-06-18 22:29:38 -0700
• 9c4d7c514f Add more content to post 12 draft. Danila Fedorin 2020-06-16 23:32:09 -0700
• ad1946e9fb Add first draft of lambdas. Danila Fedorin 2020-06-14 02:00:20 -0700
• 68910458e8 Properly handle null types in pattern typechecking. Danila Fedorin 2020-06-14 00:43:39 -0700
• 240e87eca4 Use mangled names in variable environments. Danila Fedorin 2020-06-13 23:43:52 -0700
• 6b5f7e25b7 Maybe finish the let/in code? Danila Fedorin 2020-06-01 00:23:41 -0700
• e7229e644f Start working on translation. Danila Fedorin 2020-05-31 18:52:52 -0700
• 08c8aca144 Start working on a lifted version of a definition. Danila Fedorin 2020-05-31 14:37:33 -0700
• 7f8dae74ac Adjust type output. Danila Fedorin 2020-05-31 00:50:58 -0700
• 08503116ff Mark some definitions as global, so as not to capture them. Danila Fedorin 2020-05-31 00:34:12 -0700
• a1d679a59d No longer destroy the list of free variables. Danila Fedorin 2020-05-30 23:29:36 -0700
• 4586bd0188 Check for free variables in the environment before generalizing. Danila Fedorin 2020-05-30 16:40:27 -0700
• a97b50f497 Add parsing of let/in. Danila Fedorin 2020-05-28 14:44:12 -0700
• c84ff11d0d Add typechecking to let/in expressions. Danila Fedorin 2020-05-26 00:52:54 -0700
• e966e74487 Extract ordering functionality into definition group. Danila Fedorin 2020-05-25 23:58:56 -0700
• 3865abfb4d Add a struct to contain groups of mutually recursive definitions. Danila Fedorin 2020-05-25 22:11:45 -0700
• 1905601aaa Fork off the 12th version of the compiler. Danila Fedorin 2020-05-25 21:20:41 -0700
• aacb9e2874 Prefer invisible text to unstyled text. Danila Fedorin 2020-05-25 20:55:20 -0700
• 78f3b18969 Increase padding in post lists. Danila Fedorin 2020-05-17 22:00:10 -0700
• 9f73ca2950 Remove bold font weight on post lists. Danila Fedorin 2020-05-09 17:53:55 -0700
• 035b98a602 Start using description meta. Danila Fedorin 2020-05-09 17:29:37 -0700
• 17f4ebc297 Add media screen to all stylesheets. Danila Fedorin 2020-05-09 17:02:13 -0700
• 906e15674e Make minor edits to the content Danila Fedorin 2020-05-09 16:52:05 -0700
• 85bd0b6c9c Switch to left-alignment on small screens to prevent ugly gaps. Danila Fedorin 2020-05-09 01:48:22 -0700
• b19e8713e0 Center post titles and word counters. Danila Fedorin 2020-05-09 01:45:53 -0700
• 68fb78e765 Only left-justify post titles Danila Fedorin 2020-05-09 01:41:10 -0700
• be8a0a4a3a Left jusify text in links to prevent random variation Danila Fedorin 2020-05-04 19:55:48 -0700
• e883e3c60e Update link lists to visually indicate they're links. Danila Fedorin 2020-05-04 19:25:03 -0700
• 4ede62b39a Stop displaying links in bold. Danila Fedorin 2020-05-04 03:56:21 -0700
• 7d9f487a78 Stop using revert due to Chrome issues Danila Fedorin 2020-05-04 03:47:53 -0700
• 9da584ded4 Make page lists bold Danila Fedorin 2020-05-04 03:36:23 -0700
• 9452c90cf3 Switch back to Raleway Danila Fedorin 2020-05-04 03:35:24 -0700
• a80064f40a Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static Danila Fedorin 2020-05-04 03:29:48 -0700
• 49691803cc Stop displaying links as inline-block Danila Fedorin 2020-05-04 03:28:17 -0700
• ee4738b245 Add redesign CSS Danila Fedorin 2020-05-04 03:23:55 -0700
• b270fa78da Add draft of lazy evaluation post Danila Fedorin 2020-05-04 01:58:25 -0700
• 18339d7e4d Build and test version 11 of the compiler instead of 10. Danila Fedorin 2020-04-26 21:28:34 -0700
• 78563448fb Update to LLVM 10. Danila Fedorin 2020-04-26 21:24:24 -0700
• 144d5f3324 Try to fix compiler build failure Danila Fedorin 2020-04-26 21:05:28 -0700
• 0fb315ec47 Prevent single-column tables in the case of highlighting Danila Fedorin 2020-04-26 20:47:51 -0700
• 1ff67341a1 Disable live uploading while the new server doesn't accept the files. Danila Fedorin 2020-04-26 19:57:50 -0700
• a441280812 Add article about Crystal and Nix with OpenSSL. Danila Fedorin 2020-04-26 19:56:15 -0700
• eda9bbb191 Add more to part 12 of compiler series Danila Fedorin 2020-04-25 18:07:32 -0700
• 2d9da2899f Switch to no line breaks (for Ghostwriter support) Danila Fedorin 2020-04-25 15:45:15 -0700
• a95490d9d4 Add more content to part 12 of compiler series Danila Fedorin 2020-04-22 00:30:42 -0700
• 44135b1824 Add experimental figure-based styles Danila Fedorin 2020-04-22 00:30:22 -0700
• 4a0367b401 Start work on part 12 of compiler series Danila Fedorin 2020-04-21 20:44:02 -0700
• c1f0104edb Add missing arity checks to compiler series Danila Fedorin 2020-04-14 19:21:33 -0700
• c9a7fbf6dd Finalize part 10 of compiler series Danila Fedorin 2020-04-14 19:06:29 -0700
• 1f00b6a3f8 Make compiler check for arity in part 11 of compiler series. Danila Fedorin 2020-04-14 16:20:06 -0700
• acb22c4119 Finish draft of part 11 of compiler series Danila Fedorin 2020-04-14 16:19:54 -0700
• be2b855ffe Rename inaccurately named rule Danila Fedorin 2020-04-14 15:58:25 -0700
• 88c9418350 Update example to include polymorphism Danila Fedorin 2020-04-14 15:58:13 -0700
• 2255543d94 Add more work on part 11 of compiler series Danila Fedorin 2020-04-14 00:15:32 -0700
• b4c91d2dd4 Adjust grammar to allow for broader range of type inputs. Danila Fedorin 2020-04-13 23:17:34 -0700
• 98c1b5a3b2 Make substitution replace types at every lookup step Danila Fedorin 2020-04-13 17:59:57 -0700
• 122a1d73d3 Integrate new types into the rest of the project Danila Fedorin 2020-04-13 17:12:43 -0700
• 74e6dba914 Add parsed type data structure, type application and arity. Danila Fedorin 2020-04-13 14:20:35 -0700
• d7846e0b32 Fork off code for part 11 of compiler series. Danila Fedorin 2020-04-09 23:48:53 -0700
• 902ffc0bc0 Add missing backslashes Danila Fedorin 2020-04-09 22:55:02 -0700
• 8c1168d818 Add seemingly missing string includes. Danila Fedorin 2020-04-09 16:26:10 -0700
• fd77fe078a Disable Google Analytics Danila Fedorin 2020-04-08 21:50:44 -0700
• 7f3883fb39 Remove KaTeX JavaScript from page. Danila Fedorin 2020-04-07 15:30:04 -0700
• 6a2698e911 Fix weird typo in part 11 of compiler series Danila Fedorin 2020-04-07 15:28:40 -0700
• 569fea74a7 Make some progress on part 11 of compiler series Danila Fedorin 2020-04-04 23:16:01 -0700
• b04d82f0b3 Make small fixes to compiler series posts Danila Fedorin 2020-03-30 19:59:40 -0700
• 33cd4f5f68 Start working on part 11 of compiler series Danila Fedorin 2020-03-28 22:26:47 -0700
• 49cf8e3e08 Add links to the article everywhere else Danila Fedorin 2020-03-25 17:40:40 -0700
• c53a8ba68e Finish and publish part 10 of compiler series Danila Fedorin 2020-03-25 17:15:53 -0700
• 5cccb97ede Add missing source file Danila Fedorin 2020-03-25 03:36:17 -0700
• 493419f324 Remove debug output Danila Fedorin 2020-03-25 03:35:30 -0700
• 577e0ad930 Finalize draft of polymorphism post Danila Fedorin 2020-03-25 03:22:21 -0700
• 2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series Danila Fedorin 2020-03-24 23:04:44 -0700
• ae3e661d7a Implement new ordered typing in compiler series Danila Fedorin 2020-03-24 22:00:09 -0700
• 0efa05142f Separate definitions in compiler series Danila Fedorin 2020-03-24 21:08:02 -0700
• 6714e18e7c Switch type environment to using pointers Danila Fedorin 2020-03-24 18:04:01 -0700
• 5d53678e83 Only store type in case expression Danila Fedorin 2020-03-24 17:53:06 -0700