Camilo de Azevedo
@camilotk.ulivre.dev
- DEV #OCaml #Elixir #Clojure
- Mestrando em Engenharia de Software na UTFPR
- ADM/ORG na ulivre.dev + gambiconf.dev
Pinned
I don’t plan to leave for Mastodon, but since most of the Brazilian community is moving there from here, I’ll go back to what I did before they joined: posting in English.
I still believe in Bluesky’s OSS roots and its commitment to real microblogging as the best model, better than Mastodon or X.
I still believe in Bluesky’s OSS roots and its commitment to real microblogging as the best model, better than Mastodon or X.
I genuinely despise anyone who advocates violence, including revolutionaries.
November 15, 2025 at 1:49 PM
I genuinely despise anyone who advocates violence, including revolutionaries.
Being an AI doomer is just as misguided as being an AI hyper-optimist.
Both extremes build their arguments on the same psychological foundation: people's discomfort with unfamiliar technology and uncertain future.
Both extremes build their arguments on the same psychological foundation: people's discomfort with unfamiliar technology and uncertain future.
November 14, 2025 at 12:04 PM
Being an AI doomer is just as misguided as being an AI hyper-optimist.
Both extremes build their arguments on the same psychological foundation: people's discomfort with unfamiliar technology and uncertain future.
Both extremes build their arguments on the same psychological foundation: people's discomfort with unfamiliar technology and uncertain future.
DrRacket's support for multiple languages is a fantastic feature.
Datalog, Scribble, and Algol each shine in different teaching and productivity contexts from writing documents and documentation to teaching concepts in different paradigms in a simple way.
Datalog, Scribble, and Algol each shine in different teaching and productivity contexts from writing documents and documentation to teaching concepts in different paradigms in a simple way.
Just for the fun of it, I coded and posted Jensen's Device to my class today. (We are now in the non-SMoL part of the course. Miss conventional eager evaluation yet?)
Oh, of course I write my Algol code in @racket-lang.org , don't you?
Oh, of course I write my Algol code in @racket-lang.org , don't you?
![The following Racket program will print 5050 and then 338350.
#lang algol60
begin
integer procedure Sum(k, l, u, ak);
value l, u;
integer k, l, u, ak;
begin
integer s;
s := 0;
for k := l step 1 until u do
s := s + ak;
Sum := s
end;
integer i, idx;
integer array V[1:100];
for idx := 1 step 1 until 100 do
V[idx] := idx;
i := 1;
printnln(Sum(i, 1, 100, V[i]));
printnln(Sum(i, 1, 100, V[i] * V[i]));
end](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ucjqs5d4mfb2bii7ta7cpur2/bafkreigrsynwu7z5cdbqeoblodng4lwdmyapxovzgayuoilpc6m5uu4vzi@jpeg)
November 14, 2025 at 11:59 AM
DrRacket's support for multiple languages is a fantastic feature.
Datalog, Scribble, and Algol each shine in different teaching and productivity contexts from writing documents and documentation to teaching concepts in different paradigms in a simple way.
Datalog, Scribble, and Algol each shine in different teaching and productivity contexts from writing documents and documentation to teaching concepts in different paradigms in a simple way.
I'm developing an unhealthy bias against people who use Omarchy Linux. Every time they brag online about clicking sixteen times to do something that takes one CLI command (as if that's some kind of productivity magic) I lose my patience.
November 7, 2025 at 3:15 PM
I'm developing an unhealthy bias against people who use Omarchy Linux. Every time they brag online about clicking sixteen times to do something that takes one CLI command (as if that's some kind of productivity magic) I lose my patience.
Chance TOP de conseguir horas acadêmicas + ver pessoas legais + comida free + um abraço do @macabeus.bsky.social! 🎉
A GambiConf precisa de VOCÊ! 🌟
Quer fazer parte da maior conferência de Gambiarras Tech?
Se você ama projetos divertidos, tecnologia, e quer viver a energia contagiante de um evento único, aprendendo como a máquina funciona, venha ser voluntário!
Quer fazer parte da maior conferência de Gambiarras Tech?
Se você ama projetos divertidos, tecnologia, e quer viver a energia contagiante de um evento único, aprendendo como a máquina funciona, venha ser voluntário!
November 5, 2025 at 1:05 PM
Chance TOP de conseguir horas acadêmicas + ver pessoas legais + comida free + um abraço do @macabeus.bsky.social! 🎉
What you guys are referring to as Linux, is in fact, GNU/Linux, or as I've recently taken to calling it, GNU plus Linux. Linux is not an operating system unto itself, but rather another free component of a fully functioning GNU system made useful by the GNU corelibs, shell utilities and
November 5, 2025 at 12:54 PM
What you guys are referring to as Linux, is in fact, GNU/Linux, or as I've recently taken to calling it, GNU plus Linux. Linux is not an operating system unto itself, but rather another free component of a fully functioning GNU system made useful by the GNU corelibs, shell utilities and
This is the best LISP answer I've seen my entire life in any social network.
Do you cdr at least?
November 1, 2025 at 10:08 PM
This is the best LISP answer I've seen my entire life in any social network.
Reposted by Camilo de Azevedo
Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast.
www.typetheoryforall.com/episodes/the...
www.typetheoryforall.com/episodes/the...
Type Theory Forall
Type Theory much beyond inference rules
www.typetheoryforall.com
October 31, 2025 at 2:07 PM
Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast.
www.typetheoryforall.com/episodes/the...
www.typetheoryforall.com/episodes/the...
Reposted by Camilo de Azevedo
🗞️ Qual capa você escolheria para a primeira edição da revista da GambiConf?
A gente vai lançar uma revista super bacana da conferência, contando inclusive com artigos técnicos com a criatividade que você já conhece!
A gente vai lançar uma revista super bacana da conferência, contando inclusive com artigos técnicos com a criatividade que você já conhece!
October 31, 2025 at 9:10 PM
🗞️ Qual capa você escolheria para a primeira edição da revista da GambiConf?
A gente vai lançar uma revista super bacana da conferência, contando inclusive com artigos técnicos com a criatividade que você já conhece!
A gente vai lançar uma revista super bacana da conferência, contando inclusive com artigos técnicos com a criatividade que você já conhece!
Les circuits de consécration sociale seront d'autant plus efficaces que la distance sociale par rapport à l'objet consacré sera grande.
October 31, 2025 at 4:13 PM
Les circuits de consécration sociale seront d'autant plus efficaces que la distance sociale par rapport à l'objet consacré sera grande.
It's actually really cool that many Arab and Asian countries use Eastern Arabic numerals for math up to this day.
October 30, 2025 at 3:56 PM
It's actually really cool that many Arab and Asian countries use Eastern Arabic numerals for math up to this day.
Reposted by Camilo de Azevedo
spanish programmer who thinks the logo of OcaML should be a goose
October 30, 2025 at 10:44 AM
spanish programmer who thinks the logo of OcaML should be a goose
Programming isn't exactly linguistics, and it isn't exactly math either. I understand where Laurie and people are coming from on this; I used to see it the same way. But linguistics is deeply tied to logic, symbolic mathematics, and many other areas people don't usually associate with math.
Programming Isn't Math, It's Linguistics
YouTube video by LaurieWired
youtu.be
October 30, 2025 at 12:32 PM
Programming isn't exactly linguistics, and it isn't exactly math either. I understand where Laurie and people are coming from on this; I used to see it the same way. But linguistics is deeply tied to logic, symbolic mathematics, and many other areas people don't usually associate with math.
Reposted by Camilo de Azevedo
Happy 10 year anniversary to this tweet! Has memory safety in C++ been solved yet?
x.com/CppCon/statu...
x.com/CppCon/statu...
September 22, 2025 at 5:43 PM
Happy 10 year anniversary to this tweet! Has memory safety in C++ been solved yet?
x.com/CppCon/statu...
x.com/CppCon/statu...
Reposted by Camilo de Azevedo
Na Elixir Curitiba 2025 teremos a palestra "A visão de Joe Armstrong: resiliência no mundo real", de Pedro Castilho @coprodu.to (CTO na Cumbuca)
#ElixirLang
Ingressos em curitiba.elixiremfoco.com
Cupom: ELIXIREMFOCO
#ElixirLang
Ingressos em curitiba.elixiremfoco.com
Cupom: ELIXIREMFOCO
October 28, 2025 at 2:52 PM
Na Elixir Curitiba 2025 teremos a palestra "A visão de Joe Armstrong: resiliência no mundo real", de Pedro Castilho @coprodu.to (CTO na Cumbuca)
#ElixirLang
Ingressos em curitiba.elixiremfoco.com
Cupom: ELIXIREMFOCO
#ElixirLang
Ingressos em curitiba.elixiremfoco.com
Cupom: ELIXIREMFOCO
Reposted by Camilo de Azevedo
112 inscrições para o Mestrado Profissional em Computação Aplicada da UTFPR Curitiba! Mais do que o planejado! 34 na linha de pesquisa em Engenharia de Software e Sistemas de Informação (temos 11 vagas de regulares e 11 de especiais)
ppgca.ct.utfpr.edu.br
ppgca.ct.utfpr.edu.br
ppgca.ct.utfpr.edu.br
October 28, 2025 at 10:59 AM
112 inscrições para o Mestrado Profissional em Computação Aplicada da UTFPR Curitiba! Mais do que o planejado! 34 na linha de pesquisa em Engenharia de Software e Sistemas de Informação (temos 11 vagas de regulares e 11 de especiais)
ppgca.ct.utfpr.edu.br
ppgca.ct.utfpr.edu.br
É engraçado as pessoas que tem a fantasia que é possível viver no mato/floresta comendo frutos.
Amigo, tudo que tu come vem de seleção natural... no meio da Mata Atlântica / do Mato de Tabaí/RS 📍 não tem Banana e Maçã.
Tudo isso é intervenção humana. Se tu cai no meio de um lugar assim é inanição.
Amigo, tudo que tu come vem de seleção natural... no meio da Mata Atlântica / do Mato de Tabaí/RS 📍 não tem Banana e Maçã.
Tudo isso é intervenção humana. Se tu cai no meio de um lugar assim é inanição.
Praticamente tudo que você come foi modificado pelo homem. A gente modifica fortemente a natureza desde que existimos como espécie. Se engana quem pensa que o homem vivia "em harmonia com a natureza" antes da modernidade. Nós sempre moldamos a natureza às nossas vontades.
October 26, 2025 at 5:30 PM
É engraçado as pessoas que tem a fantasia que é possível viver no mato/floresta comendo frutos.
Amigo, tudo que tu come vem de seleção natural... no meio da Mata Atlântica / do Mato de Tabaí/RS 📍 não tem Banana e Maçã.
Tudo isso é intervenção humana. Se tu cai no meio de um lugar assim é inanição.
Amigo, tudo que tu come vem de seleção natural... no meio da Mata Atlântica / do Mato de Tabaí/RS 📍 não tem Banana e Maçã.
Tudo isso é intervenção humana. Se tu cai no meio de um lugar assim é inanição.
Reposted by Camilo de Azevedo
Things that not every product needs:
- push notifications
- chat
- a perky AI assistant
Jus’ sayin
- push notifications
- chat
- a perky AI assistant
Jus’ sayin
October 25, 2025 at 9:41 PM
Things that not every product needs:
- push notifications
- chat
- a perky AI assistant
Jus’ sayin
- push notifications
- chat
- a perky AI assistant
Jus’ sayin
When someone asks me whether AI is a good thing, I'll just send them this video it says everything that needs to be said.
What if System of a Down were a Cuban Band? 🌴 System of Havana [AI Reimagined – Not Real]
YouTube video by Imagine
youtu.be
October 25, 2025 at 10:00 PM
When someone asks me whether AI is a good thing, I'll just send them this video it says everything that needs to be said.
Noticed that some images on old GitHub repositories are broken, then I downloaded them and open as text to get the following content:
429: Too Many Requests
For more on scraping GitHub and how it may affect your rights, please review our Terms of Service (docs.github.com/en/site-poli...).
WTF? 🤔
429: Too Many Requests
For more on scraping GitHub and how it may affect your rights, please review our Terms of Service (docs.github.com/en/site-poli...).
WTF? 🤔
October 25, 2025 at 1:15 PM
Noticed that some images on old GitHub repositories are broken, then I downloaded them and open as text to get the following content:
429: Too Many Requests
For more on scraping GitHub and how it may affect your rights, please review our Terms of Service (docs.github.com/en/site-poli...).
WTF? 🤔
429: Too Many Requests
For more on scraping GitHub and how it may affect your rights, please review our Terms of Service (docs.github.com/en/site-poli...).
WTF? 🤔
Love the game, hate the player.
October 24, 2025 at 10:42 PM
Love the game, hate the player.
Reposted by Camilo de Azevedo
🥸👍
if your functional programming language of choice doesn't shitpost on main it's not worthy of your time
unsafePerformativeMaleIO
October 24, 2025 at 4:49 PM
🥸👍
One of the things I love most about my current job is having the opportunity to work with OCaml again, this time using new libraries and technologies from the ecosystem. I've always loved working with OCaml, and getting to develop with Effects, Melange, and others has been a really great experience.
October 24, 2025 at 1:32 PM
One of the things I love most about my current job is having the opportunity to work with OCaml again, this time using new libraries and technologies from the ecosystem. I've always loved working with OCaml, and getting to develop with Effects, Melange, and others has been a really great experience.
Reposted by Camilo de Azevedo
Amanhã 23/Out às 17h vou abrir live apanhando de OCaml
"nossa Leandro pq OCaml?"
tbm não sei...e vai ter convidado especial, fiquem ligades
www.youtube.com/@leandronsp
"nossa Leandro pq OCaml?"
tbm não sei...e vai ter convidado especial, fiquem ligades
www.youtube.com/@leandronsp
leandronsp
Código & Batatas
Neste canal falamos sobre vários assuntos relacionados a computação, linguagens de programação, algoritmos, databases etc
O conteúdo apresentado pode ser no formato de live coding ...
www.youtube.com
October 23, 2025 at 12:38 AM
Amanhã 23/Out às 17h vou abrir live apanhando de OCaml
"nossa Leandro pq OCaml?"
tbm não sei...e vai ter convidado especial, fiquem ligades
www.youtube.com/@leandronsp
"nossa Leandro pq OCaml?"
tbm não sei...e vai ter convidado especial, fiquem ligades
www.youtube.com/@leandronsp