Zsh. Problema do fish pra mim é não ser posix compliant, então aprender shell via fish te limita a sintaxe e especificação do fish.

É muito comum querer imitar as práticas gerenciais e de engenharia das big techs. É bem menos comum querer imitar as práticas salariais das big techs.

Se a galera soubesse o que tão perdendo quando não buscam pelo nome do Ponte no YouTube, e consequentemente não caem naquela playlist dele com todas as talks, ficariam malucos.

Inclusive a da PGConf eu já devo ter visto umas 3x, aquela teve de tudo, didática, conteúdo bom e com humor 🤣

locality of behavior ❤️

O que facilita a migração é perceber o quão divertido fica edição de texto com vim motions e algumas features do vim tipo quick fix list, jump list, regex de find n replace etc

Puts n tinha percebido ainda

Eventualmente vou refazer aqui, vou aproveitar e fazer algumas coisas melhor do que eu tinha feito antes

Aliás, sua thread de threads se perdeu no twitter? Triste :(

Lean tem usuários no mundo todo. A comunidade de Lean no Zulip é enorme. Não tem o tamanho ainda das outras duas e ainda está tentando alcançar público desenvolvedor de software. A maioria dos usuários são da matemática

Lua e Elixir já são bem consagradas. Lean apenas vi no seu perfil e na rinha de backend, mas como é a adoção internacional?