Friendly discussions welcome.

I am an enjoyer* of many things:
- Category theory, geometric algebra
- Rust, Idris
- What you’re referring to as GNU + Linux is actually Linux + Emacs
- Games (tboi, Celeste, Hollow knight and Terraria, etc…)
- Leftism
- Economics
* NOTE: you can put “some” infront of almost all of thess

I’m a first year university student studying maths and comp sci (it’s pretty chill so far)

🇵🇹 Sou do portugal? 🇵🇹
(But I don’t speak the language that well)

  • 0 Posts
  • 1 Comment
Joined 2 years ago
Cake day: November 28th, 2023