nunesgh

@nunesgh@mastodon.social

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

This profile is from a federated server and may be incomplete. Browse more on the original instance.

nunesgh, to random

It seems that remote profiles are not loading on . I cannot load posts from @firefish, for instance. Can you, @apps?

nunesgh, to Steamdeck

Massive disruption of 's services going on right now.

What is going on, @protonmail?

nunesgh, to random

Hey, @protonmail!

You are down right now...

tom79, to random

We will rename the app Xlab.

nunesgh,

@tom79
Please don't. 😂

nunesgh, to random
apps, (edited ) to random
@apps@toot.fedilab.app avatar

To moderators: have you tried moderation features with ?

nunesgh,

@Firestarter_OL
You tooted as 'unlisted', so as far as I know, your toot won't appear on searches for the hashtag.
@apps

nunesgh, to mastodon

A very nice analysis of the regulatory landscape, but tainted by the usual immediatism.

Has really failed? Isn't built on the protocol? Wasn't considering to join the ?

¯_(ツ)_/¯

"As we saw with the failure of Mastodon, new entry into the social media market is not impossible but it is very difficult, as it depends upon a critical mass of users making the switch together around the same time."

https://www.theguardian.com/commentisfree/2023/jul/17/threads-meta-bigger-facebook-scrutiny

nunesgh, to linux

It would be awesome to have a for the software. For , it is currently only officially distributed as an package.

nunesgh, to random

seems to be preparing himself to not fail where failed.

"On the governor's shopping list were helicopters, boats, police powers and reportedly even cellphone-hacking technology for a force outside of federal jurisdiction, and accountable directly to him."

https://www.theguardian.com/us-news/2023/jul/15/ron-desantis-florida-state-guard-militia-veterans-quit

nunesgh, to twitter

"Earlier this week, Taliban-affiliated leader Anas Haqqani declared his preference for Musk's over . [...] That might be all you need to know about Elon and 2023 Twitter. If the prefers it, you and I and every decent person probably should not."

https://www.theguardian.com/commentisfree/2023/jul/13/threads-mark-zuckerberg-twitter-meta

evan, (edited ) to random
@evan@cosocial.ca avatar

Which of these Cartesian coordinates do you prefer?

nunesgh,

@evan
"Why?", y would ask.

nunesgh, to random
heatherfro, to random

So apparently Evernote was bought, new owners laid off most of the staff and are introducing new under-the-hood features with a price hike.

I have used Evernote for years, though eventually my practices shifted significantly from "research" to "personal", in large part bc I am doing less sustained research than I was a phd student. Which is fine & normal! Got my stuff in Obsidian easily this afternoon with an assist from YARLE: https://github.com/akosbalasko/yarle

nunesgh,

@heatherfro
is a good call to avoid something similar in the future. It is not the case with , though. That's one of the reasons why I've adopted @joplinapp instead.

nunesgh, to fediverse

I am a proud and happy member via . The grass is simply greener here, instead of covered on hyped techbro glitter.

nunesgh, to brazil

What an important day for in !

Lies must have consequences!

For , a Trump-level compulsive liar, the consequences are ineligibility for eight years!

https://www.theguardian.com/world/2023/jun/30/jair-bolsonaro-judges-vote-ban-running-for-office

nunesgh, to random

"Please put me to bed
And turn down the light"

nunesgh, to reddit

I've just deleted my account. No time for centralized, techbro-led, user-disrespecting platform. Also, all posts were first manually deleted, so no left value from me there.

nunesgh, to random

Airlines is a complete mess!

nunesgh,

Airlines shitshow continues.

nunesgh,

At least the international airport plays classical music on the background. Quite suitable.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • InstantRegret
  • mdbf
  • ethstaker
  • magazineikmin
  • cubers
  • rosin
  • thenastyranch
  • Youngstown
  • osvaldo12
  • slotface
  • khanakhh
  • kavyap
  • DreamBathrooms
  • provamag3
  • Durango
  • everett
  • tacticalgear
  • modclub
  • anitta
  • cisconetworking
  • tester
  • ngwrru68w68
  • GTA5RPClips
  • normalnudes
  • megavids
  • Leos
  • lostlight
  • All magazines