Sign in

Camilo de Azevedo

@camilotk.ulivre.dev
1.5K followers 1.2K following 2.2K posts

- DEV #OCaml #Elixir #Clojure - Mestrando em Engenharia de Software na UTFPR - ADM/ORG na ulivre.dev + gambiconf.dev

PostsRepliesMedia
Camilo de Azevedo @camilotk.ulivre.dev · 26/09/2026
A page featuring a vibrant illustration of people performing Capoeira outdoors, with one person in the foreground in a low, dynamic pose and another leaping above them. The page includes English and isiZulu text describing Capoeira as an Afro-Brazilian martial art combining dance, acrobatics, music, and spirituality, and noting its roots in Central Africa and its association with freedom and resistance.
000
Camilo de Azevedo @camilotk.ulivre.dev · 30/08/2026
Anyone who says they don't need high school knowledge in everyday life is basically admitting they're not doing anything important in life.
000
Camilo de Azevedo @camilotk.ulivre.dev · 21/08/2026
Primeira Talk sobre GBA na @gambiconf.dev! ♟️🐵 E o mais divertido: Como fazer jogos de GBA em RUST! 🥰
021
Camilo de Azevedo @camilotk.ulivre.dev · 18/08/2026
Como alguém que trabalhou na indústria vital de streamings pelas terras do Milei devo dizer que esse é um nicho importantíssimo e com pouco conteúdo na Internet ainda mais em Português. Feliz que vai ter na GambiConf.
061
Camilo de Azevedo @camilotk.ulivre.dev · 30/07/2026
youtu.be/D77GjVt0H6w?...
youtu.be
ATPROTO isn’t just for Bluesky weiners
YouTube video by Syntax
000
Camilo de Azevedo @camilotk.ulivre.dev · 20/07/2026
It's really fun when nouveau driver bugs happen in Ubuntu LTS initialization and it keeps running, even though I can't see anything because it doesn't detect the monitor. Just click and type in the dark.
010
Camilo de Azevedo @camilotk.ulivre.dev · 19/07/2026
I'm using Neovim for quite a time, but I can't wait for Helix have better support to OCaml and Plugins (with Scheme) to test it as main Text Editor/IDE. - Rust core seems interesting. - Scheme R7 as extension language is VERY interesting. - The keybindings looks rational. - ... Promising.
121
Camilo de Azevedo @camilotk.ulivre.dev · 28/06/2026
Photography used to be about "this happened." AI totally messes that up. Now a picture can look super real without actually being real. The future of photography in general won't be about how realistic it is, but about whether you can trust it and this will change a lot how we see them.
021
Camilo de Azevedo @camilotk.ulivre.dev · 24/06/2026
The best social media model is not pure centralization or absolute decentralization. Centralization creates lock-in. Absolute decentralization makes abuse governance too weak. BSKY is promising because it takes the middle way: open protocol, portable identity, open-source, and working moderation.
011
Reposted by Camilo de Azevedo
{:ok, "Joel Jucá"} @joeljuca.com · 26/05/2026
A @naluportello.bsky.social é braba! Segue aí uma indicação forte de engenharia pra quem tiver buscando um hire técnico pro seu time.
032
Camilo de Azevedo @camilotk.ulivre.dev · 26/05/2026
E você pode participar de graça submetendo palestras (Chamada de Trabalhos / Call for Papers aberta até 07/06) e se voluntariando para ajudar no evento. É sem fins lucrativos, os valores dos ingressos são 100% revertidos em investimento no evento, fazemos toda contabilidade dele aberta para todos.
030
Reposted by Camilo de Azevedo
Haskell programming language @haskell.org · 19/05/2026
The Ultimate Functional Programming Humble Bundle features two excellent #Haskell books by Rebecca Skinner * Effective Haskell * Haskell Brain Teasers Check it out! www.humblebundle.com/books/ultima...
humblebundle.com
Humble Tech Book Bundle: The Ultimate Functional Programming by Pragmatic Programmers
Pay what you want for a curated collection of functional programming courses by Pragmatic Programmers and help support Save the Children with your purchase!
1137
Reposted by Camilo de Azevedo
Mambi @gambiconf.dev · 18/05/2026
A GambiConf 2026 virá em dobro! São duas trilhas simultâneas: - A principal, com a tradicional diversidade de temas fora da caixa na computação. - E a trilha da TYPED, para se aprofundar em verificação formal e web3.
142
Reposted by Camilo de Azevedo
Mike Sperber @sperbsen.bsky.social · 17/05/2026
FLOPS 2026, the 18th International Symposium on Functional Programming is less than 2 weeks away. The proceedings are available now in LNCS! link.springer.com/book/10.1007...
link.springer.com
Functional and Logic Programming
The FLOPS 2026 proceedings on all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming.
033
Reposted by Camilo de Azevedo
Association for Computing Machinery @acm.org · 17/05/2026
Happy birthday, Alan Kay! Kay received the 2003 #ACMTuringAward for pioneering many of the ideas at the root of contemporary object-oriented programming languages, leading the team that developed Smalltalk, and for fundamental contributions to personal computing. amturing.acm.org/award_winner...
096
Reposted by Camilo de Azevedo
Rinha de Backend @rinhadebackend.bsky.social · 03/05/2026
Rinha 2026 lançada!!! (as pessoas ainda usam esse site?)
github.com
GitHub - zanfranceschi/rinha-de-backend-2026: Rinha de Backend - Quarta Edição: Detecção de Fraude com Busca Vetorial
Rinha de Backend - Quarta Edição: Detecção de Fraude com Busca Vetorial - zanfranceschi/rinha-de-backend-2026
0299
Camilo de Azevedo @camilotk.ulivre.dev · 30/04/2026
Elixir is Ruby after touching one distributed system and losing all innocence.
A meme image of Noah’s Ark from Family Guy, with many animals packed inside and an elephant near the center. The elefant has the Erlang logo while the Penguin the Ruby. A speech bubble from the ark says, “what the hell is this?” pointing to a penguin with elefant head with the Elixir Programming Logo over it.
020
Reposted by Camilo de Azevedo
Rude1 Haunted Badness. ⁂ @rude1.blacksky.team · 20/04/2026
It’s bad that open source digital public infrastructure projects are under attack.
422859
Camilo de Azevedo @camilotk.ulivre.dev · 21/04/2026
This isn't a clean room in the strict sense. If the first AI reads the source code, that would traditionally be considered legal "contamination." However, since there's no legal framework yet for whether an LLM's training data counts as exposure, this is a gray area at best.
010
Camilo de Azevedo @camilotk.ulivre.dev · 21/04/2026
"Vibe coding" was added as a programming paradigm to Wikipedia's article on the topic. If this were to be taken seriously as a paradigm, it would be the worst-named one ever. en.wikipedia.org/wiki/Program...
en.wikipedia.org
Programming paradigm - Wikipedia
010
Camilo de Azevedo @camilotk.ulivre.dev · 16/04/2026
Clojure's story is way bigger than just a programming language, going from a side project to powering one of the world's biggest fintechs. It's really about ideas that stick around. Clojure: The Documentary is out today at 3 PM.
youtube.com
How one programmer's pet project changed how we think about software
YouTube video by CultRepo
070
Reposted by Camilo de Azevedo
Read Hardt and Negri @jason-edelman.org · 14/04/2026
So God really does use Lisp xkcd.com/224/
xkcd.com
Lisp
192
Reposted by Camilo de Azevedo
Chris Armstrong @chrisarmstrong.link · 15/04/2026
I’ve already announced this on the forums, but for everyone else www.chrisarmstrong.dev/posts/introd...
chrisarmstrong.dev
Introducing ocgtk: GTK4 bindings for OCaml
Introducing ocgtk, a new set of GTK4 bindings for OCaml generated from GObject Introspection data.
1163
Reposted by Camilo de Azevedo
Lukasz Olejnik @lukaszolejnik.bsky.social · 14/04/2026
Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. arxiv.org/abs/2603.21852
1837882
Camilo de Azevedo @camilotk.ulivre.dev · 15/04/2026
Um ídolo: @mayconreplay
000
Camilo de Azevedo @camilotk.ulivre.dev · 09/04/2026
Sou cliente a anos e recomendo.
111
Reposted by Camilo de Azevedo
polvo @coprodu.to · 09/04/2026
A falta de fibra moral das pessoas me assusta. O único critério pra admirar os outros é se ganha dinheiro. Não importa se a pessoa passa a perna nos outros, tira dinheiro de quem já tem pouco, engana e mente. Se ganha dinheiro, as pessoas acham que é alguém a ser admirado.
262
Camilo de Azevedo @camilotk.ulivre.dev · 08/04/2026
Eu quero que todo DEV que vende curso de "Vaga na Gringa" vá para o inferno. De verdade, bando de bot e coach sanguessuga do caralho. Pereçam.
092
Camilo de Azevedo @camilotk.ulivre.dev · 07/04/2026
Companies often use cheap, generic filters too much because they're easy to scale, even though more job-relevant and structured technical assessments usually give better hiring signals for engineering roles.
110
Camilo de Azevedo @camilotk.ulivre.dev · 02/04/2026
Laravel and PHP are finally evolving into an ecosystem capable of competing with Java and .NET (and this is happening very fast by industry standards).
010
Camilo de Azevedo @camilotk.ulivre.dev · 24/03/2026
Todo mundo sabe que as eleições no Brasil através da Urna são auditáveis, mas poucos sabem como auditar usando as ferramentas físicas e digitais disponíveis. Aqui o Leonardo Kimura explicou todo o processo desde auditar o boletim de urna até escrever programas de totalização com os dados do TSE.
041
Camilo de Azevedo @camilotk.ulivre.dev · 21/03/2026
I really do love Curitiba. 🥰💚🌳
000
Camilo de Azevedo @camilotk.ulivre.dev · 19/03/2026
Do you still care that much about what you post on social media, even when people don't like it? How much validation do you actually need?
000
Camilo de Azevedo @camilotk.ulivre.dev · 18/03/2026
It's a bummer to see Brazil moving towards a law that would require apps and operating systems to verify users ages, similar to California, especially when the local folks who support Free Software are advocating for less digital privacy which is basically the most against freedom thing to do.
cybernews.com
VPN use soars in Brazil as age-verification laws come into force
Brazilians are getting VPN services to protect their data amid the age verification law.
110
Reposted by Camilo de Azevedo
Haskell programming language @haskell.org · 16/03/2026
That's a fair point regarding Haskell, and thankfully you don't need a permission slip from the Oracle Corporation to make things better in Haskell. Join your local Haskell branch, find out that other people have the same ideas, and push for them in the Core Libraries or GHC Proposals!
github.com
GitHub - haskell/core-libraries-committee
Contribute to haskell/core-libraries-committee development by creating an account on GitHub.
1331
Camilo de Azevedo @camilotk.ulivre.dev · 17/03/2026
Uma das apresentações mais surpreendentes da GambiConf ano passado. Erlang + Zig + PostgreSQL + NIX em um projeto só. Uma aula sobre sistemas distribuídos, declarativos e reproduziveis.
youtu.be
Criando um MMO RPG com Erlang, PostgreSQL, Zig, Nix e gambiarra / Marcos Benevides / GambiConf 2025
YouTube video by GambiConf
063
Camilo de Azevedo @camilotk.ulivre.dev · 17/03/2026
People act like TikTok is uniquely poisoning kids brains while they spend all day on X, posting that Elon Musk will save America and on Instagram, turning their own brains into soup.
020
Camilo de Azevedo @camilotk.ulivre.dev · 09/03/2026
Essa foi uma das Talks mais surpreendentes da GambiConf 2026! 🔥 A Luana apresentou sobre o projeto dela que utiliza código, física e matemática para transformar monitores LCD em sinais de rádio AM! 🤯 É o tipo de projeto que ultrapassa a barreira do "Mano, quê?" para "Magia?" 😂
youtube.com
Como tocar música com um monitor LCD e um rádio / Luana Barbosa / GambiConf 2025
YouTube video by GambiConf
110
Reposted by Camilo de Azevedo
dan @danabra.mov · 09/03/2026
the @react.dev site now has a "Copy page" button that copies the page as Markdown for your LLM. highly recommended to get Claude Code to write better React
7974
Reposted by Camilo de Azevedo
macabeus @macabeus.bsky.social · 09/03/2026
Como Alan Turing se sentiria se pudéssemos trazê-lo para 2026 e mostrar que seu trabalho resultou no Grindr?
061
Reposted by Camilo de Azevedo
Shriram Krishnamurthi @shriram.bsky.social · 07/03/2026
TIL in Brazil, "jabuticaba" (a fruit tree) "describes a political or legal setting that is considered absurd, unusual, or needlessly complex, among others, that could only exist in a country like Brazil". en.wikipedia.org/wiki/Jabutic...
en.wikipedia.org
Jabuticaba - Wikipedia
3142
Camilo de Azevedo @camilotk.ulivre.dev · 07/03/2026
LLMs are here to stay, but the current market is overhyped and saturated with low-quality AI content. I'd rather act on that belief than keep arguing about it online with strangers.
010
Reposted by Camilo de Azevedo
Mambi @gambiconf.dev · 03/03/2026
Talk sobre fazer a sua própria linguagem de programação, mas dentro do SQLite! SQLite é o banco de dados mais utilizado do mundo e, internamente, uma VM é usada para executar as queries SQL. Assim, e se usássemos essa VM para criar uma linguagem de programação?
161
Reposted by Camilo de Azevedo
Aumentativo de Helena ✨ @diilua.bsky.social · 03/03/2026
O Rio continua lindo... e a Python Sudeste está voltando! A #PythonSudeste2026 está de volta às terras cariocas. Se você quer se conectar com as maiores referências do mercado, aprender novas bibliotecas e fortalecer a comunidade, seu lugar é aqui!
11110
Camilo de Azevedo @camilotk.ulivre.dev · 03/03/2026
Rodar Go bare metal no PlayStation 2 (sem usar Linux) parece uma ideia muito maluca? Bem, é exatamente o tipo de coisa que a @gambiconf.dev tem. A talk do @rgsilva.com mostra como que ele usou TinyGo + PS2SDK + LLVM para rodar programas Go diretamente no hardware do PS2 com direito a demo ao vivo.
youtu.be
Go no PlayStation 2 - Como virar um péssimo dev de jogos / Ricardo Gomes / GambiConf 2025
YouTube video by GambiConf
231
Camilo de Azevedo @camilotk.ulivre.dev · 02/03/2026
🇲🇿 🤝 🇿🇦
youtu.be
Mi Casa- Ter Mais (Lyric Video)
YouTube video by Mi Casa
000
Reposted by Camilo de Azevedo
Rebane @rebane2001.bsky.social · 24/02/2026
i built an entire x86 CPU emulator in CSS (no javascript) you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS lyra.horse/x86css/
1322610856
Camilo de Azevedo @camilotk.ulivre.dev · 01/03/2026
US "Killer Robots" use some of the same free and open-source software we build, use, and contribute to, to kill people. And technically, (at least I don't know one that can) the licenses can't prevent it.
121
Camilo de Azevedo @camilotk.ulivre.dev · 27/02/2026
The triple-decker nonsense sandwich: slur as punchline, earnest objection, then "Bluesky is down the hall" as if basic decency is a niche political hobby. The people who built Rails community include disabled people. DHH is an example of what a OSS community leader shouldn't be.
Screenshot of an X thread. DHH posts: "Unenforceable and retarded" quoting a PC Gamer tweet about a California law requiring age verification at operating-system account setup. Dave W Plummer replies that he has a slow processing disorder and objects to casual use of "retard" saying it marginalizes people and mentioning intellect heritability. DHH responds: "Bluesky is down the hall and to the left."
2226
Reposted by Camilo de Azevedo
Association for Computing Machinery @acm.org · 24/02/2026
Thirty years ago, IBM's supercomputer Deep Blue played against world champion Garry Kasparov at the 1996 ACM Chess Challenge. In her latest Substack post, Kris J. distilled four core principles from IBM's Agentic AI Security Guide. Read it here: buff.ly/EFPhKnW
043