About Me
Hi! I’m Hari. I’m a 3rd year university student working towards a Bachelor’s in Messing Around with Computers at University College Dublin.
Right now, I’m interested in type systems, statically typed languages, programming languages, compilers, formal methods, and things of a similar vein. If that sounds like a lot, it is! I jump between interests quite a bit, so I know a little bit about a lot of things. I don’t think that’s a bad thing, per se, but I’d like to lean into one thing and get really good at it over time, so I’m currently trying to pick up Rust.
I’ve rebuilt this website from scratch more times than I’ve actually written an article for it, but maybe 7th time’s the charm. Judging from history, though, it’s more probable that you find a new design on this blog should you decide to visit again than it is that you find a new blog post.