@hbarbosa.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Profile

Haniel Barbosa

hbarbosa.bsky.social

did:plc:z2o7ussw6v3fnaaj7b3n2udp

SMT solving for fun and profit. https://hanielbarbosa.com/ Also, movies. https://hanielbarbosa.com/filminhos/