Learning Haskell Basic Anonymous Functions

Nice. Not quite the same level of introduction, this interactive game by David Peter called Cube Composer does a great job at explaining higher-order functions and their composition: david-peter.de/cube-composer/

109 slides on types

It seems, where-clauses are now private, in recent #Lean4 versions... (https://github.com/leanprover/lean4/pull/9759) This makes some things annoying. For instance, proving properties of functions in the prelude that use where-clauses (for instance Nat.nextPowerOfTwo) is no longer possible...

Forget Chatbots. You Need a Notebook. - Cal Newport calnewport.com/forget-chatb...

Gravamos um episódio do Elixir em Foco #ElixirLang

Automating away accountability is, in fact, one of the many purposes of AI (and of faux personhood more generally, from that of AI to that of corporations) "We can't manually update AI-generated fields" even when that's clearly stupid and unethical is part of that agenda

Me, two weeks ago www.wheresyoured.at/big-tech-2tr...

"I hope that five years from now, AI will have revolutionized education as much as MOOCs did."

Excelente palestra! Até fiquei empolgado pra ler a tese do JA, depois de ver duas pessoas que já leram. @adolfont.github.io, parabéns pelo evento!

I don’t think so. I hope that doesn’t happen. I hope that five years from now, AI will have revolutionized education as much as MOOCs did. "The introduction of AI systems in higher education represents a profound change in how we plan, execute, and evaluate teaching and learning processes."

"A maturity model for Test-Driven Development adoption in professional settings" Do we really need a maturity model for that? www.researchgate.net/profile/Fran...

A São Silvestre abriu mais 5 mil vagas. A Ticket Sports (ou a organização do evento) desistiu de fazer venda online. Vai ser por sorteio, como nas grandes maratonas do mundo. www.youtube.com/watch?v=-HoE...

✨ This is wonderful 🎬 🍿 Librebel on Youtube reads out our position paper: Guest, O., Suarez, … & van Rooij, I. (2025). Against the Uncritical Adoption of 'AI' Technologies in Academia. Zenodo. doi.org/10.5281/zeno... www.youtube.com/watch?v=cJNO... @olivia.science @marentierra.bsky.social

And thank you @adolfont.github.io for this! www.youtube.com/watch?v=2RAx... @olivia.science @marentierra.bsky.social @altibel.bsky.social @felienne.bsky.social @lucyavraamidou.bsky.social

Is Andrew Huberman a grifter?

AI in week 45, by @felienne.bsky.social www.felienne.nl/2025-45/?ref...

I am not a big fan of static types.

The PDF of this book will be available soon

"Gabriel proposed an app with the ability to reduce public transport fares for those who adjust their travel times to before or after peak hours. 'The app would show the main lines nearby and allow users to generate or schedule discounted tickets according to their desired travel times,'

Check out this quote: "On the political level, today’s AI is…" - "Why We Fear AI:…" by Hagen Blix, Ingeborg Glimmer amz.onl/0MbZ3Vb

it says a lot about the average politician that this guy seems to expect that zohran mamdani only said what he said to get elected and doesn’t actually believe in anything

The Mamdani political sign generator is kinda fun https://homes.luddy.indiana.edu/ccshan/for/for.html

People compare AI to Uber and Airbnb. Uber stole and expanded the taxi business. Airbnb stole and expanded the hotel and guesthouse business. What kind of business is ChatGPT stealing and expanding?

Imagine if a Brazilian company did that

"According to the publication, the communications could demonstrate willful infringement, potentially leading to enhanced damages of up to $150,000 per work, a massive increase from just $750." The fact that it was ever at $750 is a slap in the face.

this

"Adopt the Juicero or be left behind" #AI cathode.church/@kaye/114988...

Este foi o brinde da Elixir Curitiba: um livro de passatempos com entrevistadas da Rede Emílias de Podcasts. Lívia Almeida Barbosa foi a novidade desta segunda edição

Fiquei feliz com a Elixir Curitiba. Deu tudo certo. Ótimas palestras, bastante participação do público, bastante gente 30-50 por palestra. Ano que vem tem mais? #ElixirLang

Lívia Almeida Barbosa encerrando a Elixir Curitiba 2025 #ElixirLang

Pedro Castilho, @coprodu.to, o CTO da Cumbuca, está falando agora na Elixir Curitiba 2025. #ElixirLang

@adolfont.github.io opening the #elixircuritiba2025 #elixirlang

Elixir Curitiba #ElixirLang

The irony when TERFs say "The category of woman is being totally usurped, hijacked and attacked" is that they are so wrong it flips back to being right. TERFs are hijacking and attacking — trans women and cis — and nobody sensible will stop telling TERFs to STFU, go away, and leave all women alone.

Bom dia. Entre 8h e 8h10 estarei no local da Elixir Curitiba. Bom evento a todos nós!

Unethical Software Engineering Dark Patterns 6. Unethical Artificial Intelligence Practices: harvest human creativity, create the illusion of flawless machines while dodging accountability and deeply spread misinformation leanpub.com/unethical-so...

Impactos de IA em Engenharia de Software: Um Exercício de Síntese, Marco Tulio Valente Terça 11/11 19h00 Assista em www.youtube.com/watch?v=WQRe... Marque em sua agenda: calendar.app.google/8MbGf6VrTtND...

"Given the polarizing nature of AI in higher education..." At least they acknowledge we exist! Thanks for the good work @olivia.science @irisvanrooij.bsky.social @felienne.bsky.social and many other professors who have written about the subject.

"While AI can be a helpful tool [···] it can also stunt their learning, autonomy and critical thinking" www.forbes.com/sites/christ...

Contra a Adoção Acrítica de Tecnologias de 'IA' na Academia www.youtube.com/watch?v=2RAx...

🚀 New release: elixir-grpc v0.11.4! Beautiful and practical new documentation — now with interactive Livebooks to learn & play with gRPC in real-time. Plus new stream features: ✨ effects for side-effect orchestration 🛠️ map_error for smarter error handling #MyElixirStatus

Anais Estendidos do XXIV Simpósio Brasileiro de Qualidade de Software sol.sbc.org.br/index.php/sb...

O que pode substituir WhatsApp (que é uma droga para registros históricos) e e-mail (que sofre com o problema de spam)? Quero algo para usar individualmente e com estudantes. Zulip?

"the cost of applying ProReFiCIA remains small, as the engineer only needs to review the generated results (...)" When you use LLMs, even the free ones, can you just look at the cost of using the LLM and ignore the cost of creating the LLM? arxiv.org/abs/2511.00262

Is AI a cancer? Its problems are spreading.

Ontem na UTFPR tivemos reunião dos coordenadores dos programas de pós-graduação em computação do Paraná com Avelino Zorzo (PUCPR), coordenador da área na CAPES

Using AI to Drive