3 KiB
+++ title = "About" weight = 10 template = "about.html" +++
Hello!!
Sanchayan Maity here. Life revolves around electronics, programming, music, books, and anime. Life long learner. Primarily interested in Haskell, Functional Programming, Compilers, Mathematics, FPGA, and Operating Systems.
Used to live in Mumbai and worked as an Embedded Systems Engineer from July 2010 to 2012 at Godrej Security Solutions, a sub division of Godrej & Boyce Mfg. Co. Ltd. Settled in Bangalore now. Worked at Toradex for 5 years as a Development Engineer on Linux for their downstream BSP while also making upstream contributions. Spend two years at Harman International working on a custom Linux FPGA driver for a frame grabber system. Currently work at asymptotic where work mostly involves GStreamer and Pipewire. Was lucky enough to get to work with Haskell for 8 months for a client as the first assignment.
Am passionate about open source and frequently attend meetups. Am often to be found at one of the below meetups on a weekend.
Also an organizer and frequent speaker for the first two since the start of 2018.
Tools
Favourite tools for use on a daily basis.
- desktop: sway
- editor: neovim
- command-line: tmux, foot, fzf, ripgrep
- shell: fish
- browser: firefox
In programming languages, statically typed languages in the vein of Haskell and Rust are preferred. While it's important to use the right tool for the job, don't think that dynamically typed languages are the right tool for anything. Software longevity, ease of refactoring and maintenance are absolutely essential and dynamically typed languages absolutely suck here, doesn't matter which one. Getting something out of the door in a few hours or a day or two isn't a metric to care about when it comes to programming languages, if that piece of software isn't going to be easy to maintain or refactor. If it's not easy to refactor and maintain, it's not worth writing that piece of code in the first place.
Contact
Best way to contact would be via email. The part in front of the @ symbol doesn't matter much.
You can also reach out on Matrix or Telegram.
Keys
Public key used for signing:
41B3 422B 0370 3BF5 FD03 FAFB 6F6A 0609 C120 38F3
Also available as DNS TXT record.
dig TXT openpgp.sanchayanmaity.net +short | sed 's/"//g'
Also available via Web Key Directory at https://keys.openpgp.org/.
gpg --locate-keys --auto-key-locate clear,nodefault,wkd sanchayanmaity.net