# FormalSnake — Kyan De Sutter > Personal site of Kyan De Sutter — software engineer, CS student at ULPGC, building at CanaryCoders. ## Pages - [Home](https://formalsnake.dev/) - [Blog](https://formalsnake.dev/blog) - [Projects](https://formalsnake.dev/projects) - [Tools](https://formalsnake.dev/tools) ## Blog Posts - [Arc Raiders: Where Extraction Meets Friendship (and Chaos)](https://formalsnake.dev/blog/10-arc-raiders-review.md): Why Arc Raiders became my go-to multiplayer game - proximity chat magic, co-op extraction thrills, and the best social shooter of 2025. - [From Nix to FormalConf: Why I Built My Own Config Manager](https://formalsnake.dev/blog/11-from-nix-to-formalconf.md): After months of frustration with Nix's isolation and endless configuration, I built FormalConf - a TUI for managing dotfiles, packages, and themes. - [STRAFTAT: The Arena Shooter That Captured My Heart](https://formalsnake.dev/blog/09-straftat-review.md): Why STRAFTAT is my favorite free-to-play shooter - proximity chat chaos, retro aesthetics, and pure arena shooter bliss. - [Claude Code: My New Favorite Coding Companion](https://formalsnake.dev/blog/08-claude-code-review.md): A personal review of Claude Code and the workflows that make it shine - [Nix is the best package manager i've ever used](https://formalsnake.dev/blog/07-nix.md): Nix is a package manager with a declarative nature. - [Our experience with all Source Engine based games](https://formalsnake.dev/blog/06-our-experience-with-all-source-engine-based-games.md): The Source Engine is awesome! - [Aider is awesome!](https://formalsnake.dev/blog/05-aider-is-awesome.md): There are so many AI coders, yet Aider stands out. - [Ghostty, My new daily driver](https://formalsnake.dev/blog/04-ghostty-my-new-daily-driver.md): Ghostty is a new terminal, is it worth the hype? - [Deta Surf: The future of studying](https://formalsnake.dev/blog/03-deta-surf-the-future-of-studying.md): Deta Surf is a new browser in closed alpha. Is it the future? - [The current state of gaming on Linux](https://formalsnake.dev/blog/02-the-current-state-of-gaming-on-linux.md): A look at the current state of gaming on Linux - [The fascinating evolution of design](https://formalsnake.dev/blog/01-the-fascinating-evolution-of-design.md): Why the evolution of design is fascinating. - [Why are corporate designs getting worse?](https://formalsnake.dev/blog/00-why-are-corporate-designs-getting-worse.md): Big companies are making their UX/UI design worse. Why is this happening? ## Projects - [CanaryCoders](https://formalsnake.dev/projects/project-2): Website for the company I work at. - [Big Bang Music](https://formalsnake.dev/projects/project-1): A website for a music agency built with Astro. ## Discovery - [Sitemap (XML)](https://formalsnake.dev/sitemap-index.xml) - [Sitemap (Markdown)](https://formalsnake.dev/sitemap.md) - [RSS Feed](https://formalsnake.dev/rss.xml) - [Agents Guide](https://formalsnake.dev/AGENTS.md)