Blog Posts

• Tue Aug 29 2023 - test page

Learning Logs

• Thu Jun 15 2023 - Playing around with language servers
• Tue Aug 29 2023 - A minimal shell.nix for rust