.: NinjaTrappeur :. is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
I see a lot of newcomers, time for another #introduction .
I talk mostly about #software . I also happen to post some #woodworking stuff from time to time.
I write a lot of #haskell code, more generally, I am into FP and software verification.
These day, I am making a DIY e-ink based laptop, I actually mostly post about this lately.
Welcome to the fediverse.
@aRkadeFR hey, welcome :)
@ninjatrappeur Super cool intro, I'll follow you and your blog :)