@nunesgh@mastodon.social
Computer Scientist and Physicist
Cientista da Computação e Físico
Toots in English and Portuguese
Toots em Inglês e Português
#FormalMethods | #QuantitativeInformationFlow (#QIF)
#ResponsibleComputing (#Privacy | #Fairness)
| 
| 
| 
#AntiFascist | #BLM | #NoToWar
#MakeFascistsAfraidAgain
#fedi22
Header: Belo Horizonte, Brazil
Most toots automatically deleted in one week
Blocking: threads.net and bsky.brid.gy
openpgp4fpr:5B83BB14A5A9313005E027A37B72A4A3C50B88EE
Update: The internet blackout in #Iran is entering its 17th day after 384 hours. Over the last day a decline has been tracked in reserved telecoms network infrastructure, further reducing VPN availability and sending some whitelisted users and NIN services offline.
Thanks for your interest in trying out Elk, our work-in-progress Mastodon web client!
Expect some bugs and missing features here and there. we are working hard on the development and improving it over time.
Elk is Open Source. If you'd like to help with testing, giving feedback, or contributing, reach out to us on GitHub and get involved.
To boost development, you can sponsor the Team through GitHub Sponsors. We hope you enjoy Elk!
