Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
421 Commits 8 Branches 0 Tags 46 MiB
5db864881a
Commit Graph

421 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Danila Fedorin
a2c84f5c40 Make KaTeX scrollable
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-10 18:39:56 -07:00
Danila Fedorin
768c43df2d Write up the instantiation rule and the new type checking algorithm in compiler series.
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-10 18:36:26 -07:00
Danila Fedorin
579d988f4a Remove lambda abstraction rule from part 10 of compiler series.
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-09 22:55:12 -07:00
Danila Fedorin
45bc113e3f Add some more text to polymorphism post
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-09 22:30:27 -07:00
Danila Fedorin
1abc13b20f Allow stack cells to be bigger
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-07 14:22:56 -08:00
Danila Fedorin
84029fbc5b Finalize stack/recursion post
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-06 23:06:45 -08:00
Danila Fedorin
8039e459fa Finalize stack draft writeup
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-06 22:50:30 -08:00
Danila Fedorin
f202c8ea44 Start on the recursion tutorial post
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-04 14:07:05 -08:00
Danila Fedorin
80d722568e Begin switching towards KaTeX
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-03-01 16:07:38 -08:00
Danila Fedorin
6712c0064a Finalize new Drone configuration
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 23:16:49 -08:00
Danila Fedorin
5e6d97ab36 Add drone fix 15/?: try to control Hugo through environment variable
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 23:13:59 -08:00
Danila Fedorin
ea753fdfe7 Add drone fix 14/?: even more uses of ls
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 23:12:06 -08:00
Danila Fedorin
1db8a24b4d Add drone fix 13/?: try to figure out where Hugo puts files
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 23:10:13 -08:00
Danila Fedorin
f8adac8b76 Add drone fix 12/?: unset HUGO_TARGET
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 23:04:40 -08:00
Danila Fedorin
4bae586e36 Add drone fix 11/?: make hugo generate verbose output
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 23:00:45 -08:00
Danila Fedorin
3522c34adf Add drone fix 10/?: remove broken echo command
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 22:57:49 -08:00
Danila Fedorin
96fc519b3c Add drone fix 9/?: remove volume use and try use another output directory
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 22:56:49 -08:00
Danila Fedorin
28f686eb80 Add drone fix 8/?: add more debug output
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 22:50:03 -08:00
Danila Fedorin
6f0c95e49c Add drone fix 7/?: add = to Hugo commands
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 22:47:58 -08:00
Danila Fedorin
130086db00 Add drone fix 6/?: add more debug output
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 22:44:21 -08:00
Danila Fedorin
2a1ad171c0 Add drone fix 5/?: add debug output and skip compiler build
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 22:42:19 -08:00
Danila Fedorin
db8a050bdf Add drone fix 4/?: use Drone volume in rsync step
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-29 22:32:42 -08:00
Danila Fedorin
3ff5ce4dec Add drone fix 4/?: Use a drone volume to preserve storage
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 22:29:26 -08:00
Danila Fedorin
9f8855a4d3 Add drone fix 3/?: Split build and upload into steps
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 22:18:33 -08:00
Danila Fedorin
d3515d3fa5 Add drone fix 2/?: switch to an image with hugo-ext
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 22:03:03 -08:00
Danila Fedorin
277427af57 Add drone fix 1/?: set up ssh-agent
Some checks failed
continuous-integration/drone/push Build is failing
Details
2020-02-29 21:52:01 -08:00
Danila Fedorin
f6c1079bda Try to set up drone for live CI uploads
Some checks failed
continuous-integration/drone/push Build is failing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
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
All checks were successful
continuous-integration/drone/push Build is passing
Details
2020-02-27 23:09:51 -08:00
Danila Fedorin
eac1151616 Do not attribute G-machine to SPJ specifically
All checks were successful
continuous-integration/drone/push Build is passing
Details
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