Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to main at DanilaFe/agda-spa 2025-01-04 22:09:15 -08:00
cf824dc744 Switch product to using instances
70847d51db Swich AboveBelow to using instances
d96eb97b69 Switch maps (and consequently most of the code) to using instances
d90b544436 Use binary operator for decidable equality consistently
b0488c9cc6 Make 'IsDecidable' into a record to aid instance search
Compare 6 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 19:26:05 -08:00
4da9b6d3cd Fuse 'FiniteMap' and 'FiniteValueMap'
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 17:37:55 -08:00
c2c04e3ecd Rewrite Forward analysis to use statement-based evaluators.
f01df5af4b Slightly tweak module style in Forward.agda
Compare 2 commits »
DanilaFe pushed to main at DanilaFe/agda-spa 2024-12-31 00:36:25 -08:00
b28994e1d2 Tighten exported definitions in Forward.agda
10332351ea Use instance search to avoid multiply-nested modules
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-30 16:59:34 -08:00
b0ca0f3916 Update resume
DanilaFe pushed to master at DanilaFe/resume 2024-12-30 16:56:59 -08:00
369d7879e6 Tweak the two bullets
03995b386f Add thesis to education section
e7205c2207 Further remove bolding
72319a4e6f Add 'senior' to Chapel
e7d7542ad8 Only bold technologies etc
Compare 8 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 17:26:52 -08:00
6b4208003c Update resume
DanilaFe pushed to master at DanilaFe/resume 2024-12-26 17:25:40 -08:00
c08aba8c92 Add Agda SPA to resume
aa46087fe2 Add performance improvements to resume
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 12:35:48 -08:00
15af4fd7cb Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 12:35:27 -08:00
7130c6bd11 Fix cross-linking in whitespace-trimmed files
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 12:34:22 -08:00
98a9d78273 Generate source offset in HTML
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-26 11:54:05 -08:00
5243e4dffd Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-26 11:53:44 -08:00
c5aacc060a Update theme with font improvements
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-26 11:50:35 -08:00
0cdd2fbf64 Bundle fonts instead of using Google fonts, and patch in missing math symbols
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-25 19:08:29 -08:00
0b5e18dc74 Update blog
03aa7ab07a Update blog
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-25 19:07:58 -08:00
6048dc0b9c Mark SPA series as completed
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-25 19:05:51 -08:00
1f01c3caff Publish the last two posts in the SPA series
bca44343eb Update theme with required shortcodes
3b9c2edcdd Write up the "verified" portion of the forward analysis
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/vanilla-hugo 2024-12-25 19:03:26 -08:00
431d4b0990 Add new internal ref shortcodes
9536c9fb25 Allow stripping leading whitespace from code blocks
Compare 2 commits »
DanilaFe pushed to master at Nix-Configs/blog-static-flake 2024-12-04 13:59:12 -08:00
479c5bccae Update blog
DanilaFe pushed to master at Web-Projects/blog-static 2024-12-04 13:58:55 -08:00
fa180ee24e Fix thevoid theme on light mode devices