Rodrigo Vidal / Rio de JaneiroRODRIGO VIDAL — NOTES FROM THE WORKSHOP
Good software.
A curious mind.
A lot of care.
I’m Rodrigo. Engineer, founder, and maker of small, useful tools.
Founder of Authaz, former Microsoft MVP for F# and .NET, and a functional programmer since 2009. I care about making complex things feel simple.
See what I’m building ↘Good products start
with a secure foundation.
I’m building Authaz to help developers bring authentication and authorization into their applications.
Explore Authaz ↗A FEW PLACES TO START
A few things
I’m working on.
Functional programming, developer tools, and the journey of building Authaz.
Functional programming
Small F# libraries, expressive types, and code that says what it means.
Explore the forge ↗Better developer tools
From model checking to collections. Tools I needed and made public.
Find your next tool ↗Building a business
Turning engineering into a product. Follow what I’m building with Authaz.
Meet Authaz ↗A LITTLE ABOUT ME
A bit of background.
A lot of curiosity.
I’m an engineer and founder based in Rio de Janeiro. I’ve been writing functional code since 2009, and I’m a former Microsoft MVP for F# and .NET.
My work lives at the intersection of type systems, high performance, and formal verification. I like the small, thoughtful libraries that come out of taking those ideas seriously.
These days, I’m building Authaz and a collection of open source tools. If you’re working on a hard correctness or performance problem, I’d love to connect.
Let’s talk on LinkedIn ↗FROM MY WORKSHOP
Small tools.
Big possibilities.
The forge
Four F# libraries. One shared philosophy: keep it small, make it count.
More from the workshop
Different shapes, same curiosity.
GOOD THINGS START WITH A CONVERSATION
Let’s build
something thoughtful.
Have an interesting problem, an idea, or just want to say hello?
Say hello on LinkedIn ↗Follow along on GitHub ↗