Lightnews — Scholar-powered news

Adolfo Neto @adolfont.github.io · 10h

"OpenAI’s Higher Education Community"

archive.is/FWZjV

archive.is

Reposted by Adolfo Neto

CBSoft 2025 @cbsoft.bsky.social · 14h

Faltam 11 meses para o CBSoft 2026!

1 1

Adolfo Neto @adolfont.github.io · 14h

WeUseElixir
Find apps, libraries and companies that use Elixir
#ElixirLang
weuseelixir.com

Find apps, libraries and companies that use Elixir | WeUseElixir

Explore our community-driven Elixir directory featuring production websites, enterprise apps, and companies building scalable solutions.

weuseelixir.com

2 4 9

Adolfo Neto @adolfont.github.io · 14h

The goal:
"To enable a future where we can use #AI with confidence."

Too ambitious, maybe?

Adolfo Neto @adolfont.github.io · 14h

"‼️ Multiple position announcements in Denmark in formal methods for computer science (postdoc/tenure-track assistant professor/associate professor) coming later this month, as part of a global initiative to formalise computer science with the #LeanLang community... "
www.linkedin.com/posts/fmonte...

#lean #ai | Fabrizio Montesi

‼️ Multiple position announcements in Denmark in formal methods for computer science (postdoc/tenure-track assistant professor/associate professor) coming later this month, as part of a global initiative to formalise computer science with the #Lean community to enable a future where we can use #AI with confidence. If you love formal methods and proof assistants, watch this space.

www.linkedin.com

Adolfo Neto @adolfont.github.io · 14h

How the faculty came to have 9-month appointments
hamlineoracle.com/1562/opinion...

Letter to the Editor: How the faculty came to have 9-month appointments

How the Faculty came to have 9-month Appointments: A Just-So Story By Kate Bjork, Professor of History & Global Studies December 3, 2014 As a historian friend of mine likes to say, “Everything impor...

hamlineoracle.com

Adolfo Neto @adolfont.github.io · 14h

"‼️ Multiple position announcements in Denmark in formal methods for computer science (postdoc/tenure-track assistant professor/associate professor) coming later this month, as part of a global initiative to formalise computer science with the #LeanLang community... "
www.linkedin.com/posts/fmonte...

#lean #ai | Fabrizio Montesi

‼️ Multiple position announcements in Denmark in formal methods for computer science (postdoc/tenure-track assistant professor/associate professor) coming later this month, as part of a global initiative to formalise computer science with the #Lean community to enable a future where we can use #AI with confidence. If you love formal methods and proof assistants, watch this space.

www.linkedin.com

Adolfo Neto @adolfont.github.io · 15h

Proceedings of the Workshop on Software Engineering for Functional Programming (SE4FP) @se4fp.github.io bit.ly/SE4FP_Procee...

Anais do Workshop em Engenharia de Software para Programação Funcional (SE4FP)

bit.ly

1

Adolfo Neto @adolfont.github.io · 15h

"The title of my first keynote of 2026 is "The critical use of Degenerative AI in Doctoral education" 😁

That will be at the 14th EDAMBA-EIASM Consortium on Doctoral Supervision"

www.linkedin.com/posts/monett...

The title of my first keynote of 2026 is "The critical use of Degenerative AI in Doctoral education" 😁 That will be at the 14th EDAMBA-EIASM Consortium on Doctoral Supervision (see… | Dagma...

The title of my first keynote of 2026 is "The critical use of Degenerative AI in Doctoral education" 😁 That will be at the 14th EDAMBA-EIASM Consortium on Doctoral Supervision (see https://lnkd.in/dX...

www.linkedin.com

Adolfo Neto @adolfont.github.io · 15h

What Are We Afraid Of?
Building Psychological Safety in Elixir Development Teams
grox.io/blog/03-what...

What Are We Afraid Of? | Groxio Blog

Discover how one simple question transforms Elixir development teams by creating psychological safety, enabling better collaboration, and preventing costly technical mistakes.

grox.io

1 2

Adolfo Neto @adolfont.github.io · 15h

I think it's acceptable for small non-profit projects to use AI. I don't think it's nice, but I don't get angry about it. I get upset when large institutions do it. Specifically in Olivia's case, it's best to avoid it.

1

Adolfo Neto @adolfont.github.io · 16h

Acho que agora, depois de usar um pouco, já sabem fazer sem ele, não? 🤣

1

Adolfo Neto @adolfont.github.io · 16h

Isso é só parte do curso, digo, da imersão :)

1

Adolfo Neto @adolfont.github.io · 16h

"Got yet another Google Scholar alert for a hallucinated citation of a paper I didn't write. This is the second time this has happened. Please don't use LLMs to write your related work section"
@taliaringer.bsky.social on X

xcancel.com/TaliaRinger/...

xcancel.com

4

Adolfo Neto @adolfont.github.io · 16h

A empresa é a RS Pneus rspneus.com.br

(eu achava que era a Network Psicologia)

RS Pneus | Um dos maiores e melhores importadores de pneus do Brasil

Distribuidor de pneus com lojas no Mato Grosso e Minas Gerais. Marcas Premium e os melhores importados, tudo a pronta entrega.

rspneus.com.br

1

Adolfo Neto @adolfont.github.io · 17h

Vaga Presencial
Interessados devem enviar currículo para:
[email protected]

1 1

Adolfo Neto @adolfont.github.io · 17h

EMPRESA DE CURITIBA CONTRATA:
DESENVOLVEDOR FULL STACK

Curso Superior Completo;
Experiência comprovada;
Bagagem profissional sólida com Elixir e o framework Phoenix (especialmente Phoenix LiveView);
Forma de contratação: PJ

1 8 9

Adolfo Neto @adolfont.github.io · 18h

Touch of Evil is what came to my mind
m.imdb.com/title/tt0052...

Citizen Kane is great too

1

Adolfo Neto @adolfont.github.io · 18h

Touch of Evil, by Orson Welles, is what came to my mind
m.imdb.com/title/tt0052...

Touch of Evil (1958) ⭐ 7.9 | Crime, Drama, Film-Noir

1h 35m | PG-13

m.imdb.com

1

Adolfo Neto @adolfont.github.io · 18h

Eles ensinam a gente a passar todos os nossos dados pra Google pra que a empresa:
1. Leia meu email
2. Resuma o email
3. Escreva um rascunho de resposta ao e-mail
4. Faça uma sugestão de evento que irei adicionar à minha agenda

Alguém confia tanto assim no LLM p/fazer isso sem ler o email todo?

7

Reposted by Adolfo Neto

707Kat @707kat.bsky.social · 18h

They are going to say the same thing about water consumption and electricity costs. Prepare for subsidising it to the point of personal bankruptcy without even using it.

Because it's unsustainable, doesn't pay the people whose work it relies on properly and is used to maximise profit for the rich.

The Verge @theverge.com · May 26

Nick Clegg says asking artists for use permission would ‘kill’ the AI industry

Paul McCartne, Elton John and others signed an open letter.

buff.ly

9 36

Adolfo Neto @adolfont.github.io · 18h

Na segunda aula aprendemos a pedir pra IA resumir emails?
www.youtube.com/watch?v=7vfY...

Screenshot de um vídeo em que a pessoa está falando que vai pedir pra IA resumir um email

2

Adolfo Neto @adolfont.github.io · 18h

Claro, isso é o básico do básico. Isto não quer dizer que a aula não tem valor

1

Adolfo Neto @adolfont.github.io · 18h

O último exemplo é o que parece ter mais valor econônico: trocar o fundo de uma foto de uma garrafa de vinho

Trecho que aula em que a pessoa explica que trocou o fundo de uma foto de uma garrafa de vinho

1 1

Adolfo Neto @adolfont.github.io · 18h

Por fim, fizeram uma nova foto com eles mesmos embaixo do Santos Dumont e um vídeo, a partir da foto, com eles acenando para o 14 Bis

Isto vai mudar o mundo?

1 1

Adolfo Neto @adolfont.github.io · 18h

Pediram pra remover as pessoas exceto o piloto

Isso tem utilidade pra postar fotos de família nas redes sociais, reconheço.

1 1