Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 789f277780 Update ASTs to actually take in locations. Danila Fedorin 2020-09-09 13:29:28 -0700
• 308ec615b9 Start using driver, and switch to file IO. Danila Fedorin 2020-09-09 13:00:06 -0700
• 0e40c9e216 Enable locations. Danila Fedorin 2020-09-09 12:21:50 -0700
• 5dbf75b5e4 Fork off version 13 of the compiler. Danila Fedorin 2020-09-08 18:38:05 -0700
• 0b5748cc5a Add links in part 0 of compiler series. localization Danila Fedorin 2020-09-07 00:21:01 -0700
• cd574b43fd Finalize draft of compilers part 0. Danila Fedorin 2020-09-02 16:56:37 -0700
• b921ddfc8d Update resume. Danila Fedorin 2020-09-02 13:47:55 -0700
• 8466a5601e Add a draft of a big portion of the translation of the 0th compilers post. Danila Fedorin 2020-08-29 17:17:43 -0700
• bf3c81fe24 Fix invalid property for flexbox. Danila Fedorin 2020-08-29 00:08:16 -0700
• 06cbd93f05 Publish boolean values post. Danila Fedorin 2020-08-21 23:06:26 -0700
• 6c3780d9ea Finish up the draft of the boolean values post. Danila Fedorin 2020-08-21 17:37:22 -0700
• 6f0667bb28 Add draft of boolean values post. Danila Fedorin 2020-08-20 21:19:47 -0700
• 845d1ae7d8 Add russian index. Danila Fedorin 2020-08-20 18:35:50 -0700
• 988bf72786 Enable localization for Russian. Danila Fedorin 2020-08-20 18:33:55 -0700
• 8368283a3e Add warning about evaluation model. Danila Fedorin 2020-08-15 01:37:57 -0700
• 18ee3a1526 Add margins to code tables. Danila Fedorin 2020-08-15 01:18:01 -0700
• 8557dc4399 Replace more hardcoded strings with their i18nized versions. Danila Fedorin 2020-08-12 19:15:14 -0700
• 7d1fcdb0c5 Add rough russian translation. Danila Fedorin 2020-08-12 19:07:54 -0700
• bda78fed78 Use localization files in templates. Danila Fedorin 2020-08-12 17:41:47 -0700
• b0e501f086 Publish the new typesafe interpreter post. Danila Fedorin 2020-08-12 15:48:53 -0700
• 385ae59133 Merge branch 'colors' into master Danila Fedorin 2020-08-12 15:43:42 -0700
• 49469bdf12 Fix issues in typesafe interpreter article. colors Danila Fedorin 2020-08-12 15:43:22 -0700
• 020417e971 Add draft of new Idris typechecking post. Danila Fedorin 2020-08-12 01:38:22 -0700
• eff0de5330 Allow the codelines shortcode to use hl_lines. Danila Fedorin 2020-08-12 01:37:55 -0700
• b219f6855e Change highlight color for code. Danila Fedorin 2020-08-12 01:37:39 -0700
• 068d0218b0 Fix typesafe interpreter post. Danila Fedorin 2020-08-11 19:54:45 -0700
• 65215ccdd6 Start working on improving color handling in code. Danila Fedorin 2020-08-11 19:29:55 -0700
• 3e9f6a14f2 Fix single-line scroll bug Danila Fedorin 2020-08-11 17:43:59 -0700
• 7623787b1c Mention Kai's help in time traveling article. Danila Fedorin 2020-07-30 02:05:43 -0700
• e15daa8f6d Make the detailed time traveling example a subsection. Danila Fedorin 2020-07-30 01:09:30 -0700
• 298cf6599c Publish time traveling post. Danila Fedorin 2020-07-30 00:58:48 -0700
• 841930a8ef Add time traveling code. Danila Fedorin 2020-07-30 00:57:47 -0700
• 9b37e496cb Add figure size classes to global CSS. Danila Fedorin 2020-07-30 00:57:27 -0700
• 58e6ad9e79 Update lazy evaluation post with images and more. Danila Fedorin 2020-07-30 00:49:35 -0700
• 3aa2a6783e Add images to time traveling post. Danila Fedorin 2020-07-29 20:09:32 -0700
• d64a0d1fcd Add version of typesafe interpreter with tuples. Danila Fedorin 2020-07-23 16:38:54 -0700
• ba141031dd Remove the tweet shortcode. Danila Fedorin 2020-07-23 13:50:09 -0700
• ebdc63f5a0 Make small edit to DELL post. Danila Fedorin 2020-07-23 13:45:24 -0700
• 5af0a09714 Publish DELL post. Danila Fedorin 2020-07-23 13:41:33 -0700
• 8a2bc2660c Update date on typesafe interpreter. Danila Fedorin 2020-07-22 14:38:01 -0700
• e59b8cf403 Edit and publish typesafe interpreter. Danila Fedorin 2020-07-22 14:35:19 -0700
• b078ef9a22 Remove implicit arguments from TypsafeIntrV2. Danila Fedorin 2020-07-22 14:30:47 -0700
• fdaec6d5a9 Make small adjustments to backend math post. Danila Fedorin 2020-07-21 15:34:46 -0700
• b631346379 Publish the mathematics post. Danila Fedorin 2020-07-21 14:55:52 -0700
• e9f2378b47 Resume working on the draft of time traveling. Danila Fedorin 2020-07-20 22:32:14 -0700
• 7d2f78d25c Add links and make small clarifications. Danila Fedorin 2020-07-20 13:56:07 -0700
• 1f734a613c Add the second part of the typechecking post. Danila Fedorin 2020-07-19 22:56:44 -0700
• a3c299b057 Start working on the improved type-safe interpreter. Danila Fedorin 2020-07-19 17:16:31 -0700
• 12aedfce92 Make small fixes to math rendering code. Danila Fedorin 2020-07-19 14:09:24 -0700
• 65645346a2 Adjust title in DELL post. Danila Fedorin 2020-07-18 20:47:38 -0700
• 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