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! 🎉

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.

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...

🗞️ 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!

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.

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.

Happy 10 year anniversary to this tweet! Has memory safety in C++ been solved yet? x.com/CppCon/statu...

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

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

É 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.

Things that not every product needs: - 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.

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? 🤔

Love the game, hate the player.

🥸👍

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.

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

AIs often refuse to generate images of Alexander Peresvet, a Slavic warrior saint, claiming it would reference religion and violence yet they readily produce the same image when it's Joan of Arc in an equivalent military context. Clearly, the neural weights differ in a clear way for Western/Eastern.

Inclusive, dica: você se justificar às vezes PIORA a situação. Tipo, vc ainda tá no X pq vc acompanha conta de kpop? Fandom de ex-BBB? Pelamordedeus melhor ficar quieto que passar atestado de bobo.

my current gig appears to be imploding so if anyone is looking for a remote C# senior dev/architect type i would love to hear from you

A Python Brasil 2025 será em São Paulo! Aparentemente todos os ingressos (gratuitos) estão esgotados www.eventbrite.com.br/e/python-bra...

Getting a C++ program to compile and install reliably on another PC is such a headache. Different compilers, library versions, and platform quirks turn what should be simple into a frustrating mess. For me, used to modern stacks with clean dependency management, this feels painful.

Quer fazer mestrado? Hoje tem live do PPGCA! www.youtube.com/watch?v=f5eY...

Omarchy feels like a bloated Arch, stuffed with things very specific... like 1Password, obsidian and Pinta(?) 🤷‍♂️ Ubuntu is bloated but at least it's stable. Manjaro is bloated and unstable but at least it's polished. Omarchy is bloated, unstable, and messy. 🫠

This concrete section is all that remains on the site of my great-great-grandfather's house. The original wooden house that once stood here collapsed in 00s. My grandfather built this concrete extension in 85 I still remember the old wooden house, but unfortunately, I don’t have any pictures of it.

I'm really happy to have gotten one of the few copies of Programação para Arquitectos (Programming for Architects) by Prof. Leitão. The book teaches programming with LISP/Racket applied to architecture, urbanism, computer graphics, and more. I absolutely love it.

If you're interested in Oxidised OCaml (OCaml with lifetime features), see the tutorial we ran at @icfp-conference.bsky.social here: gavinleroy.com/oxcaml-tutor.... We could also use your help answering a quiz that will help us develop this further gavinleroy.com/oxcaml-icfp-... #icfpsplash25

Interchangeability is what new social platforms like Bluesky and Mastodon are doing, though with different technologies and different ideas on how to do it. When you hear talk about decentralization, it's about making the social platforms interchangeable to solve the neutrality problem.

The claim "each programming language has its purpose" is false. All Turing-complete languages can express the same computations, none is inherently limited. Differences come from libraries, syntax, and ecosystems not capability. Purpose is human-assigned, not theoretical.

Já temos camisa da @gambiconf.dev... e se a gente também tivesse um boné? 🧢 Você compraria?

solved my laptop being cold in the morning in a dumb way

OCaml 5.4 Release: New Features, Fixes, and More! https://tarides.com/blog/2025-10-10-ocaml-5-4-release-new-features-fixes-and-more

The static vs dynamic debate is obsolete. Real systems need both safety and flexibility. OCaml's HM inference shows how types can stay out of your way, while Elixir's optional typing moves from the dynamic side toward safety. Different languages and paths, but both striving for balance.

we hit 2 billion posts today! 🥳

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

Do you even remember your first line of code?

Roberto Aloi: "📣 Happy to announce the Erlang Dev YouTube channel 📺 ! www.youtube.com/@erlangdev " More on his Linkedin post www.linkedin.com/feed/update/...

Concurrency on the JVM just got way simpler. In this JVM Language Summit talk, @alexmiller.bsky.social (Alex Miller) from Nubank shows how Clojure drops the old async complexity and runs on Java’s virtual threads. Worth watching if you’re into concurrency, the JVM, or Clojure.

Pessoal, a empresa tá com um monte de vagas. jobs.lever.co/e-core?lever...

Clojure South starts Monday October 6th. Two days dedicated to the Clojure ecosystem They have a big sponsor: Nubank, probably the largest online first bank in Brazil sites.google.com/nubank.com.b...

I'm building an alternative streaming option for artists called tracklist:// where they will be able to self-host their music catalog and stream it directly to fans. As musicians ourselves, our goal is to empower artists with connection. Sign up for our waitlist here; www.tracklist.diy

it's kind of ironic that the platform itself is much more amenable to customization via layered filters but there's no "turn off US politics" button. like.. that's one of the most useful filters you could have. where is that button. why is that not part of the product. people outside US need it bad

Score at least two for turning frustrations into better solutions. I made a rust library for atproto. It's got a good strongly-typed interface and minimal boilerplate It's also not complete yet. It's got the basics, but not OAuth, or a number of other useful features. crates.io/crates/jacqu...

if i see someone advocate for using mastodon one more time i'm gonna become a terrorist forreal

Interesse em mestrado em Elixir e Computação de Alto Desempenho no Ceará ou no Paraná forms.gle/zgpuvtYEyUhF...