Danila Fedorin DanilaFe

• Portland, OR
• https://danilafe.com
• Joined on Sep 08, 2017

Repositories Public Activity Starred Repositories Following Followers

Loading Heatmap…

DanilaFe pushed to master at Web-Projects/blog-static

• bd8c9d8cdc Add draft of compiler article

1 week ago

DanilaFe pushed to master at Web-Projects/blog-static

• 562eea4a21 Add draft of compiler article

1 week ago

DanilaFe pushed to master at Web-Projects/blog-static

• 10a4435760 Continue work on the type theory draft

2 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• bc52c2c685 Use the new dialog environment to discuss the meaning of n
• 81c8b2a903 Update theme
• Compare 2 commits »

2 months ago

DanilaFe pushed to master at Web-Projects/vanilla-hugo

• 3858441c89 Add a WIP dialog shortcode

2 months ago

DanilaFe pushed to master at Web-Projects/vanilla-hugo

• 38595a7314 Add a WIP dialog shortcode

2 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 5ef10238e3 Start working on the basics part of the type systems articles

2 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• d2e8f809d0 Write some more for types series' intro.

2 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 8e550dc982 Start working on types series?
• ed81ca957b Add missing backslashes to post
• Compare 2 commits »

2 months ago

DanilaFe pushed to master at DanilaFe/dotfiles

• 934920a052 Reduce the gaps. I really don't need that much space.

3 months ago

DanilaFe pushed to master at DanilaFe/dotfiles

• 771f79cde4 Comment out deprecated property
• edc3ccce17 Update snippet lists
• cedb3a802a Update vim plug
• 6c8524d0e7 Update configuration to use neovim's internal language server support
• b356636de7 Add more languages and plugins
• Compare 5 commits »

3 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• f8ab8257e7 Remove phone number

3 months ago

DanilaFe pushed to master at Nix-Configs/blog-static-flake

• 1c0c7355c1 Use Nix function to perform replacement

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 2474804258 Update the resume to fix link typo

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• e23dc1c063 Fix invalid KaTeX escape characters

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 9b28528acc Update generated files

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 86fd460a7a Revert "Remove generated files"

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 609b8c76b6 Remove generated files

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• 57aecc46be Update and publish catamorphism article

4 months ago

DanilaFe pushed to master at Web-Projects/blog-static

• ded50480a8 Update resume

4 months ago