Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
710 Commits 8 Branches 0 Tags 32 MiB
Commit Graph

22 Commits

Author SHA1 Message Date
Danila Fedorin fdcd4ddd60 Defer loading of KaTeX JS and Bergamot support code 2023-12-30 19:56:14 -08:00
Danila Fedorin 0b3755c69a Use a shim instead of the real katex-expression because it hardcodes too much. 
We don't need a second bundle of KaTeX, or all of the fonts a second time, served
from a CDN we don't control.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-30 19:38:37 -08:00
Danila Fedorin 266bf9b4cf Add an exercise about conversions to types: basics 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-29 12:47:58 -08:00
Danila Fedorin a6f3bccf64 Use markdown for exercises, since it works fine out of the box. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-28 16:05:15 -08:00
Danila Fedorin 0d3100ba33 Make exercises into details (so they can be collapsed) 2023-12-28 00:12:51 -08:00
Danila Fedorin 8742c6e7b9 Add a Bergamot exercise shortcode to give exercises. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:31:00 -08:00
Danila Fedorin d7d7254a7b Extract loading and closing bergamot into a helper script. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-27 23:30:16 -08:00
Danila Fedorin 7e8870de6c Factor launching bergamot into a helper function 2023-12-27 13:27:20 -08:00
Danila Fedorin 80cdea6932 Update rendering rules for changes to Bergamot. 2023-12-26 13:22:38 -08:00
Danila Fedorin 85b81ffc98 Modify rendering rules to handle precedence 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-25 18:42:43 -08:00
Danila Fedorin b001bba3b8 Tweak rendering rules to support int(x) and str(x). 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 22:00:46 -08:00
Danila Fedorin 6f0641f315 Render variables better 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 16:04:47 -08:00
Danila Fedorin dc9dbe8a0f Update for bergamot requiring an 'input program' too 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-22 16:04:33 -08:00
Danila Fedorin a83268a6e3 Update use of the bergamot widget 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-21 17:26:19 -08:00
Danila Fedorin 5c83f234c6 Include rendering rules in Bergamot widget. 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-12-03 00:03:08 -08:00
Danila Fedorin 5041c90ac0 Add some partials to load and create a Bergamot widget. 
I've set up some infrastructure to build and host a bergamot JS
file using Nix on static.danilafe.com.

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
 2023-11-29 22:29:14 -08:00
Danila Fedorin d5f478b3c6 Add donations 2021-08-23 18:41:46 -07:00
Danila Fedorin e317c56c99 Add some shortcodes for making the game theory post nicer. 2020-11-08 21:22:51 -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 8039e459fa Finalize stack draft writeup
continuous-integration/drone/push Build is passing Details
2020-03-06 22:50:30 -08:00
Danila Fedorin 7ff919c31b Make the shortcodes HTML-specific 2020-02-23 20:24:40 -08:00
Danila Fedorin c0b5d67c3d Add missing shortcodes for G-machine display 2019-09-03 21:23:45 -07:00