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.
@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.
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.
Obrigado!
Adolfo Felipe e Renata
π±
So apparently grammarly stole my fuckin identity
This one is not by Alfie, but it came to my mind www.amazon.com/Tyranny-Metr...
I believe you would like this one www.amazon.com/Punished-Rew...
π
Is ET UTCβ05:00?
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!
Have you read @alfiekohn.bsky.social's books?
Daqui a pouco (19h): Devemos usar IA?
www.youtube.com/watch?v=WoER...
And me from @loukas.bsky.social π₯°
How many different ways can "AI" bros find to express "I AM TOTALLY MISSING THE POINT"?
Thanks! I could not find his @
Tomorrow!
AmanhΓ£!
17h00 GMT-3
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
Why does cheating matter?, by Olivia Guest
youtu.be/u7FP6sN0fk0?...
You don't have to watch my video. Just read olivia.science/cheating/
Also: If you are interested in how a16z and other creepy companies are pushing fascism follow @shanley.com for way more research
Escrita com IA - Diretrizes para o uso de IA em Escrita AcadΓͺmica
youtu.be/2mhRsUWZoqg
Tony Hoare skipped work to watch movies
blog.computationalcomplexity.org/2026/03/tony...
Lance Fortnow blog.computationalcomplexity.org/2026/03/tony...
Two links related to the lack of ethics of this tech
nymag.com/intelligence...
www.theverge.com/cs/features/...
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.
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.
You should go to UTFPR Curitiba
Se for tirar tudo que foi feito pensando em guerra, por exemplo, a gente ia ter pouco o que ensinar.
I bet posts on LinkedIn got longer after this AI wave.
People can generate more chatter with LLMs.
π