Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:50:05 -08:00
28f686eb80 Add drone fix 8/?: add more debug output
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:48:00 -08:00
6f0c95e49c Add drone fix 7/?: add = to Hugo commands
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:44:23 -08:00
130086db00 Add drone fix 6/?: add more debug output
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:42:22 -08:00
2a1ad171c0 Add drone fix 5/?: add debug output and skip compiler build
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:32:46 -08:00
db8a050bdf Add drone fix 4/?: use Drone volume in rsync step
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:29:31 -08:00
3ff5ce4dec Add drone fix 4/?: Use a drone volume to preserve storage
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:18:44 -08:00
9f8855a4d3 Add drone fix 3/?: Split build and upload into steps
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 22:03:10 -08:00
d3515d3fa5 Add drone fix 2/?: switch to an image with hugo-ext
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 21:52:07 -08:00
277427af57 Add drone fix 1/?: set up ssh-agent
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 21:48:13 -08:00
f6c1079bda Try to set up drone for live CI uploads
252d82469c Add a latex macro to help escape and write multiline latex
1879ba2c2b Add styling for tables.
fc444c1986 Resume work on polymorphism post
Compare 4 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-29 17:54:07 -08:00
ae9805e4f2 Finish draft of Idris post
33b1457e91 Add first draft of Idris post
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-27 23:09:58 -08:00
9e399ebe3c Add initial draft of typesafe interpreter post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-23 21:29:49 -08:00
eac1151616 Do not attribute G-machine to SPJ specifically
f7a7100fea Reword explanation of Update + Pop
c207d1dfcf Remove unused line at the end of works1.txt
df051fd643 Fix n vs n-1 mistake
419ab937b6 Switch to full text RSS
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-16 22:55:34 -08:00
ee90351c17 Add Crystal Nix post
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 19:28:30 -08:00
fbdbf67ce3 Add gettext to build requirements to satisfy flex
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 19:17:38 -08:00
a7e32d300a Add bison and flex to build requirements
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:56:59 -08:00
56387cb936 Add make to pacman command
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:53:43 -08:00
df965816ac Update pacman command to download database files.
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:52:11 -08:00
c7341c9b15 Try again to include all the required tooling
DanilaFe pushed to master at Web-Projects/blog-static 2020-02-11 18:47:46 -08:00
00322d7e9f Try switch to an image with CMake.