Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 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
• 3cb66a606d Make MathJax post public Danila Fedorin 2020-03-24 16:41:11 -0700
• 074db07275 Add 'math rendering is wrong' draft Danila Fedorin 2020-03-15 18:43:28 -0700
• e3834ed6ea Explain graph code Danila Fedorin 2020-03-14 21:04:13 -0700
• 1bdb4a650e Start work on algorithms in compiler post 10 Danila Fedorin 2020-03-14 17:18:06 -0700
• 6966973497 Set up script to test latest compiler version Danila Fedorin 2020-03-10 22:26:02 -0700
• 8ee016e189 Fork into version 10 of the compiler for blog series Danila Fedorin 2020-03-10 20:58:26 -0700
• fa0a96f057 Remove horizontal scroll because it adds vertical scroll (?). Danila Fedorin 2020-03-10 18:46:35 -0700
• a2c84f5c40 Make KaTeX scrollable Danila Fedorin 2020-03-10 18:39:56 -0700
• 768c43df2d Write up the instantiation rule and the new type checking algorithm in compiler series. Danila Fedorin 2020-03-10 18:35:56 -0700
• 579d988f4a Remove lambda abstraction rule from part 10 of compiler series. Danila Fedorin 2020-03-09 22:54:50 -0700
• 45bc113e3f Add some more text to polymorphism post Danila Fedorin 2020-03-09 22:30:27 -0700
• 1abc13b20f Allow stack cells to be bigger Danila Fedorin 2020-03-08 00:38:19 -0800
• cdc9e28c90 Remove sidenote from stack post Danila Fedorin 2020-03-08 00:38:05 -0800
• 8a48a110ff Avoid duplicating generated CSS by splitting SASS into separate files Danila Fedorin 2020-03-08 00:35:11 -0800
• 0eb1abd26d Add note about n being zero to stack post Danila Fedorin 2020-03-08 00:23:28 -0800
• a7a6d7ff13 Stop using images and use HTML/CSS to render stacks Danila Fedorin 2020-03-08 00:20:30 -0800
• fb544e0545 Fix missing argument to slide in stack recursion post Danila Fedorin 2020-03-07 14:22:56 -0800
• 84029fbc5b Finalize stack/recursion post Danila Fedorin 2020-03-06 23:06:45 -0800
• 8039e459fa Finalize stack draft writeup Danila Fedorin 2020-03-06 22:50:30 -0800
• f202c8ea44 Start on the recursion tutorial post Danila Fedorin 2020-03-06 21:28:09 -0800
• d8d1aa66e6 Start working on explanations in Part 10 of Compiler series Danila Fedorin 2020-03-06 17:54:22 -0800
• 79ef221820 Make KaTeX not break inside math, and clean up container code Danila Fedorin 2020-03-06 17:54:00 -0800
• 67ecc741d0 Switch more posts to work with KaTeX and the latex macro Danila Fedorin 2020-03-04 14:07:05 -0800
• 80d722568e Begin switching towards KaTeX Danila Fedorin 2020-03-02 23:50:49 -0800
• b9fcac974d Use the new latex shortcode to remove backslashes Danila Fedorin 2020-03-02 23:50:28 -0800
• 31e9e58304 Fix typo in part 2 of compiler series Danila Fedorin 2020-03-02 21:56:47 -0800
• 8f09b518ba Add sidenote delimiters to make the site not look bad with CSS off Danila Fedorin 2020-03-02 21:30:23 -0800
• 2d6aab6b71 Add special table style and factor out media queries Danila Fedorin 2020-03-01 16:07:38 -0800
• 6712c0064a Finalize new Drone configuration Danila Fedorin 2020-02-29 23:16:49 -0800
• 5e6d97ab36 Add drone fix 15/?: try to control Hugo through environment variable Danila Fedorin 2020-02-29 23:13:59 -0800
• ea753fdfe7 Add drone fix 14/?: even more uses of ls Danila Fedorin 2020-02-29 23:12:06 -0800
• 1db8a24b4d Add drone fix 13/?: try to figure out where Hugo puts files Danila Fedorin 2020-02-29 23:10:13 -0800
• f8adac8b76 Add drone fix 12/?: unset HUGO_TARGET Danila Fedorin 2020-02-29 23:04:40 -0800
• 4bae586e36 Add drone fix 11/?: make hugo generate verbose output Danila Fedorin 2020-02-29 23:00:45 -0800
• 3522c34adf Add drone fix 10/?: remove broken echo command Danila Fedorin 2020-02-29 22:57:49 -0800
• 96fc519b3c Add drone fix 9/?: remove volume use and try use another output directory Danila Fedorin 2020-02-29 22:56:11 -0800
• 28f686eb80 Add drone fix 8/?: add more debug output Danila Fedorin 2020-02-29 22:50:03 -0800
• 6f0c95e49c Add drone fix 7/?: add = to Hugo commands Danila Fedorin 2020-02-29 22:47:58 -0800
• 130086db00 Add drone fix 6/?: add more debug output Danila Fedorin 2020-02-29 22:44:21 -0800
• 2a1ad171c0 Add drone fix 5/?: add debug output and skip compiler build Danila Fedorin 2020-02-29 22:42:19 -0800
• db8a050bdf Add drone fix 4/?: use Drone volume in rsync step Danila Fedorin 2020-02-29 22:32:42 -0800
• 3ff5ce4dec Add drone fix 4/?: Use a drone volume to preserve storage Danila Fedorin 2020-02-29 22:29:26 -0800
• 9f8855a4d3 Add drone fix 3/?: Split build and upload into steps Danila Fedorin 2020-02-29 22:18:33 -0800
• d3515d3fa5 Add drone fix 2/?: switch to an image with hugo-ext Danila Fedorin 2020-02-29 22:03:03 -0800
• 277427af57 Add drone fix 1/?: set up ssh-agent Danila Fedorin 2020-02-29 21:52:01 -0800
• f6c1079bda Try to set up drone for live CI uploads Danila Fedorin 2020-02-29 21:48:08 -0800
• 252d82469c Add a latex macro to help escape and write multiline latex Danila Fedorin 2020-02-29 20:42:36 -0800
• 1879ba2c2b Add styling for tables. Danila Fedorin 2020-02-29 20:16:57 -0800
• fc444c1986 Resume work on polymorphism post Danila Fedorin 2020-02-29 20:15:37 -0800
• ae9805e4f2 Finish draft of Idris post Danila Fedorin 2020-02-29 17:52:29 -0800