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

470 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Danila Fedorin
7ff919c31b Make the shortcodes HTML-specific 2020-02-23 20:24:40 -08:00