Hello! I’m Filipe Regadas, a software engineer.
I build large-scale data systems and distributed platforms, with a soft spot for functional programming, type systems, and open-source infrastructure.
Hello! I’m Filipe Regadas, a software engineer.
I build large-scale data systems and distributed platforms, with a soft spot for functional programming, type systems, and open-source infrastructure.
.:+*#%%%%#*+-.
:*%@@@@@@@@@@%#=
.#@@%%#**++**#%@@%+
.%@@#*=:....:-=*#@@@*
*@@#:. .-%@@#
(%@#- .------. +@@%
(@@*--[####][##]===#@@>
(%@#*##%@@@@@@@%#*+%@/
#@@%#+-. /\ .-+#>
*@@@@*: -- :@/
+@@@@#=. =@>
%@@@@%*+===--=+*@/
*@@@@@@%#****#%@@@+
%@@@@@%*++++*%@@%:
+%@@@%#+====+#%@#.
*%@%%#*++++*#%#:
+#%%%######%*:
=*#%%%%%#*:
:+*##+=.
.-*##*-.
.-+#%####%#+-.
.-*#%%#*++*#%%#*-.
.-+*#%%%#*+==+*#%%%#*+-.
.-+*#%%%%%#*+=--=+*#%%%%%#*+-.