469 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Danila Fedorin	579d988f4a	Remove lambda abstraction rule from part 10 of compiler series.	2020-03-09 22:55:12 -07:00
Danila Fedorin	45bc113e3f	Add some more text to polymorphism post	2020-03-09 22:30:27 -07:00
Danila Fedorin	1abc13b20f	Allow stack cells to be bigger	2020-03-08 00:38:19 -08:00
Danila Fedorin	cdc9e28c90	Remove sidenote from stack post	2020-03-08 00:38:05 -08:00
Danila Fedorin	8a48a110ff	Avoid duplicating generated CSS by splitting SASS into separate files	2020-03-08 00:35:11 -08:00
Danila Fedorin	0eb1abd26d	Add note about n being zero to stack post	2020-03-08 00:23:28 -08:00
Danila Fedorin	a7a6d7ff13	Stop using images and use HTML/CSS to render stacks	2020-03-08 00:20:30 -08:00
Danila Fedorin	fb544e0545	Fix missing argument to slide in stack recursion post	2020-03-07 14:22:56 -08:00
Danila Fedorin	84029fbc5b	Finalize stack/recursion post	2020-03-06 23:06:45 -08:00
Danila Fedorin	8039e459fa	Finalize stack draft writeup	2020-03-06 22:50:30 -08:00
Danila Fedorin	f202c8ea44	Start on the recursion tutorial post	2020-03-06 21:28:09 -08:00
Danila Fedorin	d8d1aa66e6	Start working on explanations in Part 10 of Compiler series	2020-03-06 17:54:22 -08:00
Danila Fedorin	79ef221820	Make KaTeX not break inside math, and clean up container code	2020-03-06 17:54:00 -08:00
Danila Fedorin	67ecc741d0	Switch more posts to work with KaTeX and the latex macro	2020-03-04 14:07:05 -08:00
Danila Fedorin	80d722568e	Begin switching towards KaTeX	2020-03-02 23:50:49 -08:00
Danila Fedorin	b9fcac974d	Use the new latex shortcode to remove backslashes	2020-03-02 23:50:28 -08:00
Danila Fedorin	31e9e58304	Fix typo in part 2 of compiler series	2020-03-02 21:56:47 -08:00
Danila Fedorin	8f09b518ba	Add sidenote delimiters to make the site not look bad with CSS off	2020-03-02 21:30:23 -08:00
Danila Fedorin	2d6aab6b71	Add special table style and factor out media queries	2020-03-01 16:07:38 -08:00
Danila Fedorin	6712c0064a	Finalize new Drone configuration	2020-02-29 23:16:49 -08:00
Danila Fedorin	5e6d97ab36	Add drone fix 15/?: try to control Hugo through environment variable	2020-02-29 23:13:59 -08:00
Danila Fedorin	ea753fdfe7	Add drone fix 14/?: even more uses of ls	2020-02-29 23:12:06 -08:00
Danila Fedorin	1db8a24b4d	Add drone fix 13/?: try to figure out where Hugo puts files	2020-02-29 23:10:13 -08:00
Danila Fedorin	f8adac8b76	Add drone fix 12/?: unset HUGO_TARGET	2020-02-29 23:04:40 -08:00
Danila Fedorin	4bae586e36	Add drone fix 11/?: make hugo generate verbose output	2020-02-29 23:00:45 -08:00
Danila Fedorin	3522c34adf	Add drone fix 10/?: remove broken echo command	2020-02-29 22:57:49 -08:00
Danila Fedorin	96fc519b3c	Add drone fix 9/?: remove volume use and try use another output directory	2020-02-29 22:56:49 -08:00
Danila Fedorin	28f686eb80	Add drone fix 8/?: add more debug output	2020-02-29 22:50:03 -08:00
Danila Fedorin	6f0c95e49c	Add drone fix 7/?: add = to Hugo commands	2020-02-29 22:47:58 -08:00
Danila Fedorin	130086db00	Add drone fix 6/?: add more debug output	2020-02-29 22:44:21 -08:00
Danila Fedorin	2a1ad171c0	Add drone fix 5/?: add debug output and skip compiler build	2020-02-29 22:42:19 -08:00
Danila Fedorin	db8a050bdf	Add drone fix 4/?: use Drone volume in rsync step	2020-02-29 22:32:42 -08:00
Danila Fedorin	3ff5ce4dec	Add drone fix 4/?: Use a drone volume to preserve storage	2020-02-29 22:29:26 -08:00
Danila Fedorin	9f8855a4d3	Add drone fix 3/?: Split build and upload into steps	2020-02-29 22:18:33 -08:00
Danila Fedorin	d3515d3fa5	Add drone fix 2/?: switch to an image with hugo-ext	2020-02-29 22:03:03 -08:00
Danila Fedorin	277427af57	Add drone fix 1/?: set up ssh-agent	2020-02-29 21:52:01 -08:00
Danila Fedorin	f6c1079bda	Try to set up drone for live CI uploads	2020-02-29 21:48:08 -08:00
Danila Fedorin	252d82469c	Add a latex macro to help escape and write multiline latex	2020-02-29 20:42:36 -08:00
Danila Fedorin	1879ba2c2b	Add styling for tables.	2020-02-29 20:16:57 -08:00
Danila Fedorin	fc444c1986	Resume work on polymorphism post	2020-02-29 20:15:37 -08:00
Danila Fedorin	ae9805e4f2	Finish draft of Idris post	2020-02-29 17:52:45 -08:00
Danila Fedorin	33b1457e91	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
Danila Fedorin	9e399ebe3c	Add initial draft of typesafe interpreter post	2020-02-27 23:09:51 -08:00
Danila Fedorin	eac1151616	Do not attribute G-machine to SPJ specifically	2020-02-23 21:29:21 -08:00
Danila Fedorin	f7a7100fea	Reword explanation of Update + Pop	2020-02-23 21:26:56 -08:00
Danila Fedorin	c207d1dfcf	Remove unused line at the end of works1.txt	2020-02-23 21:26:37 -08:00
Danila Fedorin	df051fd643	Fix n vs n-1 mistake	2020-02-23 21:20:32 -08:00
Danila Fedorin	419ab937b6	Switch to full text RSS	2020-02-23 21:01:41 -08:00
Danila Fedorin	7ff919c31b	Make the shortcodes HTML-specific	2020-02-23 20:24:40 -08:00
Danila Fedorin	ee90351c17	Add Crystal Nix post	2020-02-16 22:55:25 -08:00