Danila Fedorin

DanilaFe pushed to main at DanilaFe/agda-spa

2023-11-23 14:15:53 -08:00

9646096c75 Fix uses of 'absurd' in Fixedpoint.agda

DanilaFe pushed to master at Everything-I-Know.../bergamot

2023-10-15 17:54:42 -07:00

d8dd005f54 Try using tail recursion to reduce stack pressure

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

2023-10-14 15:58:26 -07:00

3bceab0606 Fix dates

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

2023-10-14 15:52:18 -07:00

c189da3671 Finalize the X Macro article

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

2023-10-09 20:33:38 -07:00

dd232cedb5 Fixup links and add description to X Macros article.

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

2023-10-09 20:24:33 -07:00

88c5daa561 Add the 'chapel' tag to the alloy article

4f281ef108 Add a draft article about X Macros

12aca7ca58 Update the Alloy blogpost to point to the GitHub files.

77ec1aa969 Update the 'vanilla' theme

Compare 4 commits »

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

2023-10-09 14:40:37 -07:00

b5761d4d81 Add a new shortcode for referencing lines in a GitHub repo

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

2023-09-03 11:38:31 -07:00

8710a5554c Fix mistakes in the example.agda file for IsSomething.

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

2023-08-31 22:30:53 -07:00

6b24d67409 Minor wording updates to the Agda post.

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

2023-08-31 22:16:32 -07:00

48c3105f42 Finish and publish the IsSomething article

DanilaFe pushed to master at DanilaFe/dotfiles

2023-08-30 09:11:32 -07:00

7747bb47e2 Pull some changes from the work machine

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

2023-08-28 23:04:49 -07:00

032453c4d0 Add a first draft of the IsSomething article

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

2023-08-28 20:46:41 -07:00

f093868da1 Add the missing general-base pattern drawing code

DanilaFe pushed to master at DanilaFe/resume

2023-08-06 14:32:39 -07:00

c756fd5efa Fix typo

c47e49dabe Add a new bullet point and slightly bump line height to occupy space

88396133d0 Significantly shorten bullet points.

fcd14cb866 Workshop bullet points some more.

f48dbaad78 Update location to Portland

Compare 8 commits »

DanilaFe pushed to master at DanilaFe/resume

2023-06-17 12:34:05 -07:00

7e99c35112 Put Master's degree first

DanilaFe pushed to master at DanilaFe/resume

2023-06-17 12:31:43 -07:00

0e7eb39043 Put Master's degree first

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

2023-06-04 22:03:46 -07:00

1f5e38190d Fix DeMorgan's link

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

2023-06-04 21:58:11 -07:00

250884c7bc Edit and publish Alloy article

8a2e91e65e Update theme

Compare 2 commits »

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

2023-06-04 21:54:14 -07:00

502190055d Add a details shortcode

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

2023-05-22 21:42:35 -07:00

5910ce7980 Say screw it and publish polynomial article