Hey holaa hiee I'm interested on databases,testing I’m currently learning about how to use formal methods💙 Recently found 10 bugs in SQLite Most of the time you can find me doing stupid stuff as a OSS contributor on turso 👯 i get bored quickly so ping me if you know any fun project or fun things we can do together I’m looking to collaborate on maybe something fun? 📫 How to reach me: twitter or linkedin