Adolfo Neto's Avatar

Adolfo Neto

@adolfont.github.io

Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfoneto.elixiremfoco.com/ https://ko-fi.com/adolfoneto Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster.

4,826
Followers
3,658
Following
11,459
Posts
12.07.2023
Joined
Posts Following

Latest posts by Adolfo Neto @adolfont.github.io

Hi @theguardian.com. Very disappointed to see that the passing of one of the most influential people in computing history, Prof Sir Tony Hoare, doesn't seem to have been reported.

10.03.2026 21:37 πŸ‘ 12 πŸ” 4 πŸ’¬ 1 πŸ“Œ 0

Obrigado!

11.03.2026 00:21 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Adolfo Felipe e Renata

Adolfo Felipe e Renata

11.03.2026 00:13 πŸ‘ 7 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

😱

11.03.2026 00:05 πŸ‘ 7 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

So apparently grammarly stole my fuckin identity

10.03.2026 23:11 πŸ‘ 974 πŸ” 355 πŸ’¬ 54 πŸ“Œ 41
Preview
The Tyranny of Metrics Buy The Tyranny of Metrics on Amazon.com βœ“ FREE SHIPPING on qualified orders

This one is not by Alfie, but it came to my mind www.amazon.com/Tyranny-Metr...

10.03.2026 23:50 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
No Contest: The Case Against Competition – Why the Race Makes Losers of Us All No Contest: The Case Against Competition – Why the Race Makes Losers of Us All [Kohn, Alfie] on Amazon.com. *FREE* shipping on qualifying offers. No Contest: The Case Against Competition – Why the Race Makes Losers of Us All

There is also this one www.amazon.com/No-Contest-C...

10.03.2026 23:49 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Punished By Rewards: Twenty-Fifth Anniversary Edition: The Trouble with Gold Stars, Incentive Plans, A's, Praise, and Other Bribes Punished By Rewards: Twenty-Fifth Anniversary Edition: The Trouble with Gold Stars, Incentive Plans, A's, Praise, and Other Bribes [Kohn, Alfie] on Amazon.com. *FREE* shipping on qualifying offers. Punished By Rewards: Twenty-Fifth Anniversary Edition: The Trouble with Gold Stars, Incentive Plans, A's, Praise, and Other Bribes

I believe you would like this one www.amazon.com/Punished-Rew...

10.03.2026 23:49 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

πŸ‘‡

10.03.2026 22:27 πŸ‘ 6 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Is ET UTCβˆ’05:00?

10.03.2026 22:27 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

The AI Skeptics Reading Group is reading Why We Fear AI now!

If you've been looking for an online reading group on AI, I highly recommend this one!

10.03.2026 13:30 πŸ‘ 15 πŸ” 6 πŸ’¬ 0 πŸ“Œ 0

Have you read @alfiekohn.bsky.social's books?

10.03.2026 22:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Devemos usar IA em tudo?
Devemos usar IA em tudo? YouTube video by DEPLOY

Daqui a pouco (19h): Devemos usar IA?

www.youtube.com/watch?v=WoER...

10.03.2026 21:22 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

And me from @loukas.bsky.social πŸ₯°

10.03.2026 20:20 πŸ‘ 3 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

How many different ways can "AI" bros find to express "I AM TOTALLY MISSING THE POINT"?

10.03.2026 20:03 πŸ‘ 35 πŸ” 6 πŸ’¬ 0 πŸ“Œ 1

Thanks! I could not find his @

10.03.2026 20:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Tomorrow!
AmanhΓ£!

17h00 GMT-3

10.03.2026 20:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Ethics of ChatGPT and AI
Ethics of ChatGPT and AI YouTube video by gwenvarley

Ethics of ChatGPT and AI
Is it OK to use AI?
Great video by Gwen Varley @gwenvarley.bsky.social
www.youtube.com/watch?v=1ON-...

It was through @olivia.science's post that I got to know it

#AI

10.03.2026 20:17 πŸ‘ 4 πŸ” 3 πŸ’¬ 1 πŸ“Œ 1
Why does cheating matter?, by Olivia Guest
Why does cheating matter?, by Olivia Guest YouTube video by Elixir, Erlang, the BEAM (and Lean)

Why does cheating matter?, by Olivia Guest

youtu.be/u7FP6sN0fk0?...

You don't have to watch my video. Just read olivia.science/cheating/

10.03.2026 20:14 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Also: If you are interested in how a16z and other creepy companies are pushing fascism follow @shanley.com for way more research

10.03.2026 17:40 πŸ‘ 13 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0
Escrita com IA - Diretrizes para o uso de IA em Escrita AcadΓͺmica
Escrita com IA - Diretrizes para o uso de IA em Escrita AcadΓͺmica YouTube video by Adolfo Neto

Escrita com IA - Diretrizes para o uso de IA em Escrita AcadΓͺmica
youtu.be/2mhRsUWZoqg

10.03.2026 17:14 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
Tony Hoare (1934-2026) Turing Award winner and former Oxford professorΒ  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Tony Hoare skipped work to watch movies
blog.computationalcomplexity.org/2026/03/tony...

10.03.2026 16:27 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
Tony Hoare (1934-2026) Turing Award winner and former Oxford professorΒ  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Lance Fortnow blog.computationalcomplexity.org/2026/03/tony...

10.03.2026 15:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
The Laid-off Scientists and Lawyers Training AI to Steal Their Careers Experienced white-collar workers are now part of a miserable gig economy.

Two links related to the lack of ethics of this tech

nymag.com/intelligence...
www.theverge.com/cs/features/...

10.03.2026 15:19 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Some people (for instance, Don Knuth) used to say no to LLMs because they thought it was not useful. Knuth now thinks it is useful. I think he misses the point that it is an unethical technology.

10.03.2026 15:18 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

It is not important to me. I am curious. I don't think anyone should be using this, but I do not have that power.

10.03.2026 15:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

You should go to UTFPR Curitiba

10.03.2026 13:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Se for tirar tudo que foi feito pensando em guerra, por exemplo, a gente ia ter pouco o que ensinar.

10.03.2026 13:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I bet posts on LinkedIn got longer after this AI wave.

People can generate more chatter with LLMs.

10.03.2026 12:55 πŸ‘ 3 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

πŸ‘‡

10.03.2026 12:18 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0