Commit Graph

Select branches

Hide Pull Requests

colors

donations

i-love-programming-languages

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 577e0ad930 Finalize draft of polymorphism post Danila Fedorin 2020-03-25 03:22:21 -07:00
• 2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series Danila Fedorin 2020-03-24 23:04:44 -07:00
• ae3e661d7a Implement new ordered typing in compiler series Danila Fedorin 2020-03-24 22:00:09 -07:00
• 0efa05142f Separate definitions in compiler series Danila Fedorin 2020-03-24 21:08:02 -07:00
• 6714e18e7c Switch type environment to using pointers Danila Fedorin 2020-03-24 18:04:01 -07:00
• 5d53678e83 Only store type in case expression Danila Fedorin 2020-03-24 17:53:06 -07:00
• 3cb66a606d Make MathJax post public Danila Fedorin 2020-03-24 16:41:11 -07:00
• 074db07275 Add 'math rendering is wrong' draft Danila Fedorin 2020-03-15 18:43:28 -07:00
• e3834ed6ea Explain graph code Danila Fedorin 2020-03-14 21:04:13 -07:00
• 1bdb4a650e Start work on algorithms in compiler post 10 Danila Fedorin 2020-03-14 17:18:06 -07:00
• 6966973497 Set up script to test latest compiler version Danila Fedorin 2020-03-10 22:26:02 -07:00
• 8ee016e189 Fork into version 10 of the compiler for blog series Danila Fedorin 2020-03-10 20:58:26 -07:00
• fa0a96f057 Remove horizontal scroll because it adds vertical scroll (?). Danila Fedorin 2020-03-10 18:46:35 -07:00
• a2c84f5c40 Make KaTeX scrollable Danila Fedorin 2020-03-10 18:39:56 -07:00
• 768c43df2d Write up the instantiation rule and the new type checking algorithm in compiler series. Danila Fedorin 2020-03-10 18:35:56 -07:00
• 579d988f4a Remove lambda abstraction rule from part 10 of compiler series. Danila Fedorin 2020-03-09 22:54:50 -07:00
• 45bc113e3f Add some more text to polymorphism post Danila Fedorin 2020-03-09 22:30:27 -07:00
• 1abc13b20f Allow stack cells to be bigger Danila Fedorin 2020-03-08 00:38:19 -08:00
• cdc9e28c90 Remove sidenote from stack post Danila Fedorin 2020-03-08 00:38:05 -08:00
• 8a48a110ff Avoid duplicating generated CSS by splitting SASS into separate files Danila Fedorin 2020-03-08 00:35:11 -08:00
• 0eb1abd26d Add note about n being zero to stack post Danila Fedorin 2020-03-08 00:23:28 -08:00
• a7a6d7ff13 Stop using images and use HTML/CSS to render stacks Danila Fedorin 2020-03-08 00:20:30 -08:00
• fb544e0545 Fix missing argument to slide in stack recursion post Danila Fedorin 2020-03-07 14:22:56 -08:00
• 84029fbc5b Finalize stack/recursion post Danila Fedorin 2020-03-06 23:06:45 -08:00
• 8039e459fa Finalize stack draft writeup Danila Fedorin 2020-03-06 22:50:30 -08:00
• f202c8ea44 Start on the recursion tutorial post Danila Fedorin 2020-03-06 21:28:09 -08:00
• d8d1aa66e6 Start working on explanations in Part 10 of Compiler series Danila Fedorin 2020-03-06 17:54:22 -08:00
• 79ef221820 Make KaTeX not break inside math, and clean up container code Danila Fedorin 2020-03-06 17:54:00 -08:00
• 67ecc741d0 Switch more posts to work with KaTeX and the latex macro Danila Fedorin 2020-03-04 14:07:05 -08:00
• 80d722568e Begin switching towards KaTeX Danila Fedorin 2020-03-02 23:50:49 -08:00
• b9fcac974d Use the new latex shortcode to remove backslashes Danila Fedorin 2020-03-02 23:50:28 -08:00
• 31e9e58304 Fix typo in part 2 of compiler series Danila Fedorin 2020-03-02 21:56:47 -08:00
• 8f09b518ba Add sidenote delimiters to make the site not look bad with CSS off Danila Fedorin 2020-03-02 21:30:23 -08:00
• 2d6aab6b71 Add special table style and factor out media queries Danila Fedorin 2020-03-01 16:07:38 -08:00
• 6712c0064a Finalize new Drone configuration Danila Fedorin 2020-02-29 23:16:49 -08:00
• 5e6d97ab36 Add drone fix 15/?: try to control Hugo through environment variable Danila Fedorin 2020-02-29 23:13:59 -08:00
• ea753fdfe7 Add drone fix 14/?: even more uses of ls Danila Fedorin 2020-02-29 23:12:06 -08:00
• 1db8a24b4d Add drone fix 13/?: try to figure out where Hugo puts files Danila Fedorin 2020-02-29 23:10:13 -08:00
• f8adac8b76 Add drone fix 12/?: unset HUGO_TARGET Danila Fedorin 2020-02-29 23:04:40 -08:00
• 4bae586e36 Add drone fix 11/?: make hugo generate verbose output Danila Fedorin 2020-02-29 23:00:45 -08:00
• 3522c34adf Add drone fix 10/?: remove broken echo command Danila Fedorin 2020-02-29 22:57:49 -08:00
• 96fc519b3c Add drone fix 9/?: remove volume use and try use another output directory Danila Fedorin 2020-02-29 22:56:11 -08:00
• 28f686eb80 Add drone fix 8/?: add more debug output Danila Fedorin 2020-02-29 22:50:03 -08:00
• 6f0c95e49c Add drone fix 7/?: add = to Hugo commands Danila Fedorin 2020-02-29 22:47:58 -08:00
• 130086db00 Add drone fix 6/?: add more debug output Danila Fedorin 2020-02-29 22:44:21 -08:00
• 2a1ad171c0 Add drone fix 5/?: add debug output and skip compiler build Danila Fedorin 2020-02-29 22:42:19 -08:00
• db8a050bdf Add drone fix 4/?: use Drone volume in rsync step Danila Fedorin 2020-02-29 22:32:42 -08:00
• 3ff5ce4dec Add drone fix 4/?: Use a drone volume to preserve storage Danila Fedorin 2020-02-29 22:29:26 -08:00
• 9f8855a4d3 Add drone fix 3/?: Split build and upload into steps Danila Fedorin 2020-02-29 22:18:33 -08:00
• d3515d3fa5 Add drone fix 2/?: switch to an image with hugo-ext Danila Fedorin 2020-02-29 22:03:03 -08:00
• 277427af57 Add drone fix 1/?: set up ssh-agent Danila Fedorin 2020-02-29 21:52:01 -08:00
• f6c1079bda Try to set up drone for live CI uploads Danila Fedorin 2020-02-29 21:48:08 -08:00
• 252d82469c Add a latex macro to help escape and write multiline latex Danila Fedorin 2020-02-29 20:42:36 -08:00
• 1879ba2c2b Add styling for tables. Danila Fedorin 2020-02-29 20:16:57 -08:00
• fc444c1986 Resume work on polymorphism post Danila Fedorin 2020-02-29 20:15:37 -08:00
• ae9805e4f2 Finish draft of Idris post Danila Fedorin 2020-02-29 17:52:29 -08:00
• 33b1457e91 Add first draft of Idris post Danila Fedorin 2020-02-29 15:36:57 -08:00
• 9e399ebe3c Add initial draft of typesafe interpreter post Danila Fedorin 2020-02-27 23:09:51 -08:00
• eac1151616 Do not attribute G-machine to SPJ specifically Danila Fedorin 2020-02-23 21:29:21 -08:00
• f7a7100fea Reword explanation of Update + Pop Danila Fedorin 2020-02-23 21:26:56 -08:00
• c207d1dfcf Remove unused line at the end of works1.txt Danila Fedorin 2020-02-23 21:26:37 -08:00
• df051fd643 Fix n vs n-1 mistake Danila Fedorin 2020-02-23 21:20:32 -08:00
• 419ab937b6 Switch to full text RSS Danila Fedorin 2020-02-23 21:01:41 -08:00
• 7ff919c31b Make the shortcodes HTML-specific Danila Fedorin 2020-02-23 20:24:40 -08:00
• ee90351c17 Add Crystal Nix post Danila Fedorin 2020-02-16 22:50:44 -08:00
• fbdbf67ce3 Add gettext to build requirements to satisfy flex Danila Fedorin 2020-02-11 19:28:24 -08:00
• a7e32d300a Add bison and flex to build requirements Danila Fedorin 2020-02-11 19:17:31 -08:00
• 56387cb936 Add make to pacman command Danila Fedorin 2020-02-11 18:56:55 -08:00
• df965816ac Update pacman command to download database files. Danila Fedorin 2020-02-11 18:53:39 -08:00
• c7341c9b15 Try again to include all the required tooling Danila Fedorin 2020-02-11 18:52:06 -08:00
• 00322d7e9f Try switch to an image with CMake. Danila Fedorin 2020-02-11 18:47:40 -08:00
• ef93632130 Add garbage collection post to main link Danila Fedorin 2020-02-11 18:40:59 -08:00
• 0f744888ef Move testing code into a script Danila Fedorin 2020-02-11 18:37:21 -08:00
• a5b84bab69 Revert to YAML Danila Fedorin 2020-02-11 14:25:44 -08:00
• 12725500a8 Try wrap pipeline in array Danila Fedorin 2020-02-11 14:20:47 -08:00
• 1917c08e51 Messing around to try get the syntax right, part 2 Danila Fedorin 2020-02-11 14:03:24 -08:00
• b304057560 Messing around to try get the syntax right Danila Fedorin 2020-02-11 14:02:13 -08:00
• e5a39d8dfb Replace ints with strings Danila Fedorin 2020-02-11 13:50:05 -08:00
• 54ccef9c72 Remove string interpolation for a bit Danila Fedorin 2020-02-11 13:48:30 -08:00
• c103c6acbf Try to build multiple compiler versions Danila Fedorin 2020-02-11 13:40:00 -08:00
• d6f53076c0 Switch to jsonnet syntax Danila Fedorin 2020-02-11 13:35:36 -08:00
• b07ea8fe9c Add initial drone configuration file Danila Fedorin 2020-02-11 13:25:10 -08:00
• 9a7441779f Fix typo in compiler series Danila Fedorin 2020-02-10 19:38:46 -08:00
• a6f27e446d Remove draft flag and update date on 9th compiler post Danila Fedorin 2020-02-10 19:23:15 -08:00
• e7f0ccfa16 Finish compiler series Danila Fedorin 2020-02-10 19:18:55 -08:00
• e5d01a4e19 Add the primes program from compiler series Danila Fedorin 2020-02-10 18:13:04 -08:00
• b7d72f2fbf Implement garbage collection in runtime Danila Fedorin 2020-02-06 11:32:19 -08:00
• 281dbbd174 Track allocated nodes using a G-machine struct in compiler series. Danila Fedorin 2020-02-06 10:05:17 -08:00
• 153349f3d5 Add intermediate style to fit right sidenotes Danila Fedorin 2020-02-03 13:38:21 -08:00
• 8d22acfe78 Switch to single stack in runtime for Compiler Series Danila Fedorin 2020-01-31 15:29:12 -08:00
• c1b030ee97 Bump polymorphism compiler post up one spot Danila Fedorin 2020-01-27 20:34:04 -08:00
• 803f52b2d0 Update the compiler to leave the stack clean Danila Fedorin 2020-01-27 20:29:01 -08:00
• 2f96abeef6 Instantiate compiler for garbage collection Danila Fedorin 2020-01-27 14:52:25 -08:00
• 163fcd2b2e Revert "Update style to use inches". It sucks! Danila Fedorin 2020-01-15 18:32:34 -08:00
• 9ddcb1b3f2 Merge branch 'master' of dev.danilafe.com:Web-Projects/blog-static Danila Fedorin 2020-01-15 13:06:23 -08:00
• 133979218a Update style to use inches Danila Fedorin 2020-01-15 13:05:03 -08:00
• ef545be03c Fix warnings from Hugo Danila Fedorin 2020-01-06 19:19:55 -08:00
• c534dc7508 Remove draft tag from GHC IDE post Danila Fedorin 2020-01-06 18:49:28 -08:00
• 263ffe2b8c Add GHC IDE instructions for Haskell Danila Fedorin 2020-01-06 18:38:44 -08:00
• 67181fb033 Finish third post in CS325 series. Danila Fedorin 2020-01-03 23:47:36 -08:00