Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-04 02:00:32 +00:00
4001c236f2 Update with fix for blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-04 01:59:55 +00:00
9b93582d18 Fix meta description on part 4 of SPA
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-11-04 01:52:55 +00:00
68406e3947 Update with new blog posts that use new Bergamot
DanilaFe pushed to master at Web-Projects/blog-static 2024-11-04 01:51:52 +00:00
9fc2d16fb8 Adjust dates of part 4 and part 5 to match real publication dates
f00c69f02c Edit and publish SPA part 5
4fc1191d13 Proofread and publish part 4
951aafc90a Stop using 'symeq'
ee13409b33 Add a visualization of two ASTs
Compare 7 commits »
DanilaFe pushed to master at Nix-Configs/web-files 2024-11-04 01:15:52 +00:00
eb37a514d9 Update static files with new Bergamot version
DanilaFe pushed to main at Everything-I-Know…/bergamot-elm 2024-11-04 01:13:27 +00:00
2af1692bf4 Remove symeq
0b4a1f2ebd Implement hidden sections
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-10-29 05:01:42 +00:00
37dd9ad6d4 Write the semantics section using Bergamot
DanilaFe pushed to next at DanilaFe/formal-interview 2024-09-25 01:46:42 +00:00
ab56a8414f Add proof of equivalence of the two languages
DanilaFe pushed to next at DanilaFe/formal-interview 2024-09-23 07:29:17 +00:00
62f59a9a4d Add a formalization of the nested-loop language
deb4378af2 Extract values into a separate module
d763d7a639 Rename language file
Compare 3 commits »
DanilaFe created branch next in DanilaFe/formal-interview 2024-09-23 07:29:17 +00:00
DanilaFe pushed to main at DanilaFe/formal-interview 2024-09-23 02:48:06 +00:00
1f7dd876b5 Slightly clean up some comments
DanilaFe pushed to main at DanilaFe/formal-interview 2024-09-23 02:13:18 +00:00
e8460ab42f Add initial formal + static semantics of language 'A'
DanilaFe created branch main in DanilaFe/formal-interview 2024-09-23 02:13:18 +00:00
DanilaFe created repository DanilaFe/formal-interview 2024-09-23 02:12:47 +00:00
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-16 03:11:52 +00:00
8546a16acd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-16 03:11:27 +00:00
77dade1d1d Move all bergamot partials and shortcodes into theme
d140422225 Update theme
2defe99c73 Update theme w/ more Bergamot affordances
0766211d79 Turn semantics post into page bundle
b854eade3c Remove configs from website that are now defined in theme
Compare 6 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-16 03:10:20 +00:00
dde3fb61ae Move all bergamot partials and shortcodes into theme
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-09-16 03:04:08 +00:00
378a6f2ae1 Load custom JS scripts if page specifies them
aae8912c08 Add support for custom input modes
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-09-15 23:39:53 +00:00
c32e922940 Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-09-15 23:39:28 +00:00
0ba5799c75 Update theme with missing file