Gabriel H. Nunes

Physicist and Computer Scientist
Físico e Cientista da Computação

Toots in English and Portuguese
Toots em Português e Inglês

#FormalMethods
#QuantitativeInformationFlow
(a.k.a. #QIF)
#ResponsibleComputing
(e.g. #Privacy and #Fairness)

🇧🇷 🇦🇺 🇺🇳 🏳️‍🌈
#AntiFa #BLM #NoToWar
#MakeFascistsAfraidAgain
#fedi22

Header picture: Belo Horizonte, Brazil

Boosts and (most) toots (auto) deleted in one week

openpgp4fpr:5B83BB14A5A9313005E027A37B72A4A3C50B88EE

Public Key

npub1uga7ywl9etx27twe3vy3eyk80s82u7w7cj9802efthswhrgalhmsm770sj

NIP-05 Address

nunesgh@mastodon-social.mostr.pub

Profile Code

nprofile1qqswywlz80ju4n909hvckzgujtrhcr4w080vfznh4v54mc8t35wlmaczzpxec

Author Public Key

npub1uga7ywl9etx27twe3vy3eyk80s82u7w7cj9802efthswhrgalhmsm770sj

Show more details

Last Notes

2025-03-26 02:33:13

- reply

@nprofile…uzew
Aus-tra-lia

2025-03-10 09:58:52

So @nprofile…m7my has left #Mastodon and the #Fediverse without even an official announcement. What a shame!
I suggest voting on the following Proton's UserVoice idea I have just created. This may be the only way of getting their attention.
https://protonmail.uservoice.com/forums/945460-general-ideas/suggestions/49586459-reactivate-proton-s-mastodon-account
#Proton #ProtonSuite #ProtonMail

2025-02-25 01:20:59

Suppose tomorrow is Day 0 for Artificial General Intelligence (AGI). Is there anyone discussing what happens on Day 1? Are we just going to do our worst and enslave another sentient being?
Are there any serious discussions on this topic, hopefully including peer-reviewed papers?
Disclaimer: I don't think Day 0 will happen anytime soon.
#AI #AGI #Ethics

2025-01-22 03:54:30

Stargate to hell.
https://www.theguardian.com/us-news/2025/jan/21/trump-ai-joint-venture-openai-oracle-softbank
#AI #Stargate #OpenAI #Oracle #Softbank

2025-01-14 21:37:02

- reply

@nprofile…q54u
How does Fastmail compare to Proton? I'm a Proton user, but I'm always interested in learning about other offerings.

2025-01-10 07:55:06

So threads.net is going to be my first ever Fediverse server-level block.
"Journalists have a set of standards and ethics. What Facebook is going to do is get rid of that and then allow lies, anger, fear and hate to infect every single person on the platform."
-- Maria Ressa
https://www.theguardian.com/world/2025/jan/08/facebook-end-factchecking-nobel-peace-prize-winner-maria-ressa
#Fediverse #Zuckerberg #Meta #Facebook #Instagram #Threads

2025-01-09 05:16:20

"What does Mark Zuckerberg know about free speech?"
Illustration: Fiona Katauskas/The Guardian
https://www.theguardian.com/commentisfree/picture/2025/jan/09/what-does-mark-zuckerberg-know-about-free-speech
#FactFreeSpeech #Zuckerberg #Meta #Facebook #Instagram #FreeSpeech
https://files.mastodon.social/media_attachments/files/113/796/645/783/650/087/original/bf7c13c67220a523.png

2024-12-14 23:35:55

- reply

@nprofile…dwme
Both the magnifying glass and the target buttons perform similar actions, even though in distinct contexts. Wouldn't it be better to have the same icon for both buttons?

2024-12-14 03:08:25

"[...] Threads, Bluesky, and Mastodon (via an aggregation of popular servers) didn't break into the Top 10 of the Social Media category. However, in the Overall ranking, Mastodon servers, bundled together, consistently ranked between #208 and #248, performing better on weekends."
-- @nprofile…zwnp
https://blog.cloudflare.com/radar-2024-year-in-review-internet-services/#alternatives-to-x-bluesky-threads-and-mastodon
#Cloudflare #Mastodon #Bluesky #Threads

2024-11-24 11:50:39

- reply

@nprofile…asy0
Wise move!
I also appreciate that you developed #Loops as a separate project from #Pixelfed. I know lots of people like the vertical, short-video format, but I'm not a fan. In fact, Instagram's imposition of Reels on everyone was the last straw that finally broke that platform for me.

2024-02-08 12:14:57

Nine of #Bolsonaro's allies being raided by the Brazilian Federal Police, including four #Army Generals and one #Navy Admiral.
Two of #Bolsonaro's allies arrested, two arrest warrants still outstanding.
#JailBolsonaro 🍿
https://g1.globo.com/politica/blog/daniela-lima/post/2024/02/08/pf-faz-operacao-aliados-politico.ghtml

2024-01-31 06:26:02

- reply

@npub1ehd…udlw
After this update, notification time is being cropped like on the attached screenshot.
Also, thank you for the update and continued improvement of the app! It has been the best app for Mastodon on Android for a while.
https://files.mastodon.social/media_attachments/files/111/849/135/226/482/054/original/76183b0c438fc94a.jpeg

2024-01-31 06:26:02

- reply

2024-01-30 12:01:39

- reply

@npub1nvp…agzg
There is also something called 'Matching Madness', which is quite fun and gives a lot of XP as you progress, much more than lessons. Maybe that person is addicted to that?

2024-01-23 09:23:39

- reply

@npub1ehd…udlw
I'm not sure if this happens only with pixelfed.social or with any Pixelfed instance, but adding it as a Timeline never fetches anything. Also, no warning of not finding a public timeline is shown, as I've seen with some Mastodon instances.

2024-01-17 06:59:54

- reply

@npub1ehd…udlw
I really miss a way of seeing bookmarked toots.

2024-01-17 06:59:54

- reply

@npub1ehd…udlw
I really miss a way of seeing bookmarked toots.

2024-01-17 06:45:31

- reply

@npub1ehd…udlw
It seems the 'Attach an image when sharing a URL' option, in the 'Compose' settings, is not doing anything when enabled.

2023-10-17 01:33:40

"Before I used to say Gaza is an open prison. Now I say Gaza is an open grave."
-- Wafa Elsaka, a Palestinian-American and one of those who have fled from the north of #Gaza over the past few days.
#NoToWar
https://www.nytimes.com/2023/10/16/podcasts/the-daily/gaza-israel.html

2023-08-20 03:51:23

- reply

@npub1rhr…gh5p
This clearly shows the dangers of #Bluesky, #Nostr, and the like. Our #Fediverse powered by #ActivityPub may have its flaws, but at least it is not owned nor run by guys like those two.

2023-08-11 13:14:04

- reply

@npub1tel…4v4v
I wouldn't mind bringing my own bread if both were to die during a gladiator-style fight at the Colosseum. It's not everyday that we see two global-scale problems being solved at the same time.

2023-08-11 07:25:21

"The fossil fuel industry has captured this process [#COP] and is slowing it down."
- Al Gore
#ClimateChange #ClimateAction #TED
https://www.youtube.com/watch?v=xgZC6da4mco

2023-08-06 23:00:31

- reply

@npub1ehd…udlw
Awesome!
Will there be a fix for instances that already support Markdown?

2023-08-06 23:00:31

- reply

@npub1ehd…udlw
Awesome!
Will there be a fix for instances that already support Markdown?

2023-08-06 11:11:51

"This fight is bigger than #CCDH – it is a line-in-the-sand moment. If we allow ourselves to be strongarmed by #Musk and #X, it will give the green light to every other social media behemoth to do the same to anyone who dares to speak truth to power."
– Imran Ahmed, founder and CEO of the Center for Countering Digital Hate US/UK
https://www.theguardian.com/commentisfree/2023/aug/06/when-we-held-up-a-mirror-to-elon-musks-twitterx-he-tried-to-sue-us-into-silence

2023-05-26 00:18:07

- reply

@npub1su4…a0dw
Hopefully patient #1 will be Musk, followed by his far-right friends.

2022-12-19 19:26:51

Where is John #Mastodon?
#JohnMastodon :mastodon:
https://files.mastodon.social/media_attachments/files/109/541/976/379/193/959/original/edff6a0fe6b85128.png