Hey, I'm @miguel-nascimento!

Sometimes Shiroikami, I need to start using my nickname everywhere...

I'm a SWE at Blockade Games, currently working on Skybox.

In this blog, you can expect some posts about Typescript and NixOS stuff, but I'll try to write about type theory too.

I'm interessed in:

• Nix and NixOS
• Typescript
• Functional Programming (OCaml, Haskell, Kind2)
• UI/UX
• Type Theory

Contact:

• Twitter: https://twitter.com/miguelgomes4
• Github: https://github.com/miguel-nascimento
• Discord: Miguel#4123

My DM is open, so free feel to reach me anytime :)