JF
julia ferraioli
@juliaferraioli.com
Doing open source-y stuff, probably full of bees. opensourcestories.org co-founder. Human to Luna Rae Muppet Show.
Formerly doing open source at Twitter and Google. Currently burnt out 🔥
she/her 🏳️🌈
1.7k followers650 following1.4k posts
"TLA+ is a design time tool that accelerates our engineering practice" - Marc Brooker It also reduces debugging time and, importantly, the frequency of paging engineers in the middle of the night! #TLAPlusConf#TLAPlus#FormalMethods
JF
julia ferraioli
@juliaferraioli.com
Doing open source-y stuff, probably full of bees. opensourcestories.org co-founder. Human to Luna Rae Muppet Show.
Formerly doing open source at Twitter and Google. Currently burnt out 🔥
she/her 🏳️🌈
1.7k followers650 following1.4k posts