Marcelo Paes

Carioca, Quase Nerd e Fã de Rock & Roll !!!

[José Valim @josevalim]

Anthropic has a narrow view of safety. Their actions in software engineering make me skeptical that they would act responsibly in positions of leadership in other domains.

[Uncle Bob Martin @unclebobmartin]

Assemblers were faster at writing binary than humans were.

Compilers were faster at writing assembly than humans were.

AIs are faster at writing compiled languages then humans are.

Deal with it. There's still plenty left for you to do.

[Marcelo Paes @marcpaes]

Exactly. And humans are non-deterministic too and we hallucinate all the time, confidently reporting things that never happened. This is not new, we just never framed it that way.

[Uncle Bob Martin @unclebobmartin]

I've seen a lot of posts complaining that AI is non-deterministic. This is true, but my experience is that AIs can be constrained to be very nearly deterministic.

Some might say "very nearly" is not good enough. My response is that I believe I can crank up the constraints to reduce the uncertainty to below any given threshold.

I'd also like to point out that the functioning of your body is based on the statistical non-deterministic behavior of random molecular motion. The second law of thermodynamics is statistical in nature and only approximately deterministic above a certain threshold. Indeed, our muscles and nerves would not function correctly if the second law was entirely deterministic.

So, your heart beats, and your neurons fire, because of non-determinism. Non-determinism, properly constrained, is something we can all live with.

[Gavin King ⍼⍼⍼ @1ovthafew]

@gunnarmorling Bad take. Friends don’t let friends run JavaScript on the server.

[DHH @dhh]

You don't need a mentor. There's no secret sauce left inside anyone's head any more. It's all been tapped, bottled, tweeted, and shared a million times. Sample some of that, but also guard your ignorance. You'll lose it soon enough.

[Dave Farley @davefarley77]

AI won’t replace software engineers, but it will expose the ones who never learned to think like engineers.

Tools can speed you up, but if your thinking’s wrong, AI just gets you to the wrong place faster.

Engineering still matters.

[Marcelo Paes @marcpaes]

@AkitaOnRails @griederdev Da uma olhada no Avante, plugin pro Neovim

[Marcelo Paes @marcpaes]

@rodrigocoelhoc Eles precificaram alto já pensando no futuro: inflação, câmbio, oferta limitada e demanda reprimida no lançamento. Como na Apple, o preço não varia — o produto é que vai ficando “mais barato” comparativamente com o tempo, em 1-2 anos. Infelizmente faz sentido.

[Marcelo Paes @marcpaes]

@glaucia_lemos86 Hono!

[Rodrigo da Silva @rodrigodasilva]

O que aconteceu no Rio Grande do Sul nessa última semana é resultado de uma ameaça íntima na vida de milhões de pessoas ao redor do mundo.

Desde 1980, as inundações mataram mais de 250 mil seres humanos, em mais de 4.500 eventos, em 172 países.

As inundações são, de longe, a catástrofe natural que ocorre com maior frequência no nosso planeta, responsável por mais de 1/3 das mortes relacionadas com catástrofes naturais.

Nesse momento, 29% da população mundial está exposta ao risco de inundações – 2,2 bilhões de seres humanos. A ampla maioria dessas pessoas vive bem longe do Brasil: na Ásia.
https://t.co/3cz2lh5LrS

Quando nós analisamos todos esses eventos, percebemos que houve um aumento de 181% no número de inundações na década de 2010, em comparação com a década de 1980.

Não é difícil entender os motivos.

Em 1980, havia 4,4 bilhões de seres humanos na Terra. Hoje há 8,1 bilhões. A população mundial quase dobrou no período.

Não bastasse, em 1980, apenas 1,75 bilhão de seres humanos viviam em cidades, uma parcela bem menor que a de habitantes no campo. Hoje esse número é de 4,45 bilhões. A população urbana no mundo mais que dobrou no período.
https://t.co/I8GM7E7GuI

Em quatro décadas, nós entupimos as nossas cidades de bens e pessoas. E muitos dos nossos centros urbanos, por razões históricas, estão localizados próximos de grandes massas de água, como rios e mares.

Ou seja: nós temos um número imenso de pessoas vivendo nesse momento em cidades costeiras, como em nenhum outro perído na história.

Só no Brasil, mais de 70% da população reside numa faixa de terra distante no máximo 200 quilômetros do litoral. E exemplos como o nosso não faltam no mundo.
https://t.co/zcuhFfOLjS

Ao longo dos últimos 30 anos, as enchentes causaram perdas econômicas para a humanidade na casa dos US$ 1,2 trilhão.
https://t.co/xpwwzwa7m5

Ninguém é tão afetado por inundações quanto os países mais pobres. E há boas justificativas para isso.

Os países mais pobres tendem a alimentar uma infraestrutura desfuncional, além de maiores problemas de governança, menos recursos para gastar na recuperação de desastres naturais, e níveis mais baixos de acesso à proteção social, à educação e à saúde.

Além disso, é um fato incontestável que a parcela mais pobre da sociedade vive em áreas de maior vulnerabilidade e de maior risco de desastres naturais, e é a que mais sofre com eventos como o do Rio Grande do Sul.
https://t.co/diy1yl6JIC

As famílias mais pobres normalmente têm casas menos resistentes a desastres naturais, e menos recursos financeiros para recorrer quando uma inundação deságua.

Mas mesmo gente rica sofre as consequências de uma grande enchente.

Por exemplo: após o furacão Sandy, em 2012, uma análise do mercado imobiliário de Nova York revelou que as propriedades localizadas em zonas de inundação tiveram uma desvalorização de 8%. As propriedades danificadas sofreram uma queda de valor de 17% a 22%.
https://t.co/eaZQboRHgg

A diferença nesse caso, entre os mais ricos e os mais pobres, é que as populações mais vulneráveis tendem a ser sugadas para um ciclo vicioso no mercado imobiliário, atraídas financeiramente, pela limitação no orçamento, a adquirir casas em zonas propensas a inundações. Enquanto as pessoas mais ricas têm maior probabilidade de abandonar uma área afetada por chuvas.
https://t.co/AoBu4Bq3cx

Não bastasse, nos grandes desastres naturais, como o do Rio Grande do Sul, quando a atividade econômica permanece suspensa por muito tempo, a tendência é que ocorra falência generalizada de pequenas e médias empresas, já que elas têm níveis mais baixos de capital de giro e menores condições de suportar períodos de crise.

Mais uma vez, os mais pobres são os mais afetados.

Nos Estados Unidos, até 60% das pequenas empresas que decretam falência após desastres naturais permanecem fechadas para sempre. Quando o furacão Harvey atingiu o Texas, em 2017, provocando grandes inundações, 13,5% das empresas da região desapareceram no trimestre seguinte. Só a cidade de Houston perdeu quase 25 mil empregos após o evento.
https://t.co/5tRofwFRgd

Mesmo empresas de grande porte podem ser vítimas de inundações, gerando efeito cascata na economia.

Por exemplo: em 2011, a Tailândia foi atingida por enchentes que interromperam a produção de inúmeras fábricas do país, gerando perdas econômicas para as empresas envolvidas maiores do que os danos materiais das casas atingidas. Naquele ano, as exportações tailandesas caíram quase US$ 8 bilhões e as receitas fiscais do governo desabaram 3,7%.
https://t.co/dc6CTzzrw0

As inundações também têm um impacto enorme na agricultura. A Organização das Nações Unidas para a Alimentação e a Agricultura calcula que as enchentes são a origem de quase 2/3 de todos os danos e perdas de colheitas no mundo.
https://t.co/uMRsijGdVC

Por exemplo: em janeiro de 2019, enchentes afetaram mais de dois milhões de hectares de soja e outras culturas na Argentina, vizinha do Rio Grande do Sul. As perdas foram equivalentes a 0,5% do PIB do país.
https://t.co/hF5mAqpnac

O impacto na agricultura é tão grande que, em 2020, as inundações afetaram negativamente a segurança alimentar de 35 países em desenvolvimento.
https://t.co/uah8tQJqqn

Portos e aeroportos também são vulneráveis às ações de enchentes. Esse estudo, publicado pela OCDE, estimou que as maiores cidades portuárias do mundo possuem ativos no valor de 5% do PIB global expostos a inundações.
https://t.co/JPutAjSa5A

Ao redor do mundo, mais de 1.200 aeroportos estão localizados numa zona costeira de baixa altitude. Muitos deles, como o Aeroporto Salgado Filho, estão sujeitos a enchentes.
https://t.co/4vOSw9F40k

Por fim, as inundações criam problemas crônicos para a saúde pública.

Em primeiro lugar, porque as águas das enchentes contribuem para surtos de doenças, como febre tifoide, cólera, leptospirose e hepatite A. As inundações também tem o poder de provocar um aumento de doenças transmitidas por vetores, como a dengue e a malária.

Mas os problemas não ficam restritos à ação da água.

Enchentes também podem causar danos significativos à saúde mental. Quando as inundações provocam mortes e destroem sonhos, atingem o potencial de perturbar comunidades inteiras, provocando um aumento nos casos de depressão e transtorno de estresse pós-traumático.
https://t.co/hPvO69vgGn

No Reino Unido, por exemplo, os sobreviventes de enchentes têm nove vezes mais probabilidades de sofrer com problemas de saúde mental do que a população em geral.
https://t.co/hCMu1Heu0z

E o prejuízo com isso não é pequeno. Para os britânicos, o custo médio com a saúde mental, após uma enchente, varia de £1.878 a £4.136 por adulto (20% do custo dos danos físicos às casas e aos bens de consumo).
https://t.co/altWkQ9JVm

Levando tudo isso em consideração, os desafios do Rio Grande do Sul não são pequenos. Mas nós temos alguns bons indicativos de onde o calo aperta mais.

Em primeiro lugar, o poder público e a iniciativa privada precisarão enfrentar, com urgência e transparência, os problemas que afetam a infraestrutura do estado.

Por exemplo: o governo federal anunciou essa semana que destinará R$ 1 bilhão só para reconstruir, recuperar e desobstruir rodovias danificadas pelas chuvas no Rio Grande do Sul.
https://t.co/sDEdQ6ZZkB

O governo estadual anunciou outros R$ 118 milhões para esse fim.
https://t.co/A0H28f8oe4

Mas essa é apenas uma pequena fração da ajuda necessária para enfrentar os problemas provocados pelas enchentes. E o tamanho do impacto dessas só poderá ser mensurado quando as águas baixarem.

O Rio Grande do Sul, no entanto, não será capaz de se recuperar desse episódio se os gaúchos não forem alçados à condição de prioridade do país nesse momento.

Como sugeriu @aod_cunha, ex-secretário da Fazenda do estado, um bom caminho nessa direção passará pela negociação com a União de uma suspensão temporária do pagamento da dívida pública do Rio Grande do Sul. Aod sugere que essa medida esteja condicionada à demonstração da aplicação de recursos na recuperação econômica e social do estado.
https://t.co/LKirHWRO4B

E não adiantará jogar R$ 30 milhões nas mãos de um prefeito do interior. O governo estadual e federal deverão trabalhar em conjunto para oferecer estudos técnicos, científicos e de engenharia para a reconstrução do estado. Do contrário, será como enxugar gelo. Só dinheiro não resolve.

As famílias no campo também precisarão de atenção.

O agronegócio é responsável por cerca de 40% do PIB do Rio Grande do Sul.
https://t.co/K0Vf8tk5K3

A enchente colocou em risco 5% da produção da safra estimada de soja do país, 16% da safra estimada de arroz e 6% da safra de milho. A pecuária também está sofrendo.
https://t.co/HBw6gAU7Zb

A tendência é um aumento no preço do arroz e da carne em todo o país nas próximas semanas.
https://t.co/1VqCLm5oUL

Quando o Rio Grande do Sul sofre, todos nós pagamos uma parte da conta. Os gaúchos são fundamentais na produção da comida que chega na mesa dos brasileiros.

Nos próximos meses, o Ministério da Agricultura e Pecuária, a Confederação da Agricultura e Pecuária do Brasil e os bancos públicos brasileiros, precisarão ser solidários com as famílias do campo gaúcho. As instituições que fomentam o agronegócio no país precisarão agir com diligência.

Será preciso oferecer uma ampliação para as linhas de crédito, ajuda para a renegociação das dívidas contraídas, crédito para capital de giro e a criação de um canal especial para monitorar as políticas de socorro ao agronegócio. O campo precisa ser ouvido.

Mesmo longe, você pode ajudar as famílias do agro gaúcho através das entidades citadas nessa reportagem do Estadão.
https://t.co/ohrTQvj9zU

Mas nós também não podemos esquecer dos pequenos e médios comerciantes afetados pelas enchentes.

Nos últimos dias, o governo do Rio Grande do Sul criou o Gabinete de Apoio ao Empreendedor.
https://t.co/qke19bHnwj

30% do PIB brasileiro é gerado pelas micro e pequenas empresas.
https://t.co/7rZe4ST7iC

Os empreendedores gaúchos precisarão de apoio para renegociar as suas dívidas e acessar crédito. Mas antes de tudo: quando a lama baixar, eles também precisarão ser ouvidos pelo poder público.

Os mais pobres também não podem ser esquecidos – até porque eles são os mais afetados pelas enchentes. Os governos estadual e federal não devem medir esforços para acelerar o acesso a um auxílio emergencial para os gaúchos em condição de vulnerabilidade.

Nas próximas semanas, o Rio Grande do Sul também precisará dar uma atenção especial à dengue. Só nos primeiros quatro meses desse ano, o estado bateu recorde de mortes pela doença.
https://t.co/8eM9F5sWqK

A tendência é que as chuvas incentivem um aumento dos casos nas próximas semanas.
https://t.co/feXQPjuazP

O Ministério da Saúde e as secretarias municipais de saúde do Rio Grande do Sul também precisarão disponibilizar equipes de saúde mental para atender a população atingida pelas enchentes. O SESI tem um grande papel para cumprir nessa tarefa.
https://t.co/0wcU0fNv65

Por fim, minha última sugestão é a criação de uma festa para marcar a recuperação desse estado tão querido.

A Oktoberfest de Blumenau foi criada em 1984, depois da cidade ter sofrido com enchentes traumáticas. A festa foi usada para recuperar a economia da cidade e levantar a moral dos habitantes.
https://t.co/iV9AXOupI9

Não dá para negar que o plano deu certo.

Em 2022, a Oktoberfest gerou R$ 240 milhões para a economia local, além de seis mil empregos diretos e indiretos, com mais de 60 setores envolvidos na cadeia produtiva.
https://t.co/5gbdQ9QX0G

O Rio Grande do Sul merece abrigar o maior evento de tradições gaúchas jamais produzido para marcar a vitória que o estado terá sobre a tragédia. E brasileiros de todos os lugares poderão, enfim, ter a chance de visitar o estado e celebrar esse momento ao lado de seus amigos gaúchos.

Há certamente muitas coisas para serem feitas que não cabem num texto desse tamanho – do cuidado aos animais domésticos a políticas de proteção ao meio ambiente; do incentivo às doações privadas ao trabalho fundamental do terceiro setor; de projetos de prevenção a desastres naturais à melhora na coordenação do enfrentamento desses eventos.

Nas próximas semanas, nós precisaremos de mais pragmatismo e menos ideologia; menos polarização e mais boa vontade. Só apontar o dedo não irá resolver – é preciso arregaçar as mangas.

A boa notícia vem dos gaúchos: não tá morto quem peleia.

Viva o Rio Grande do Sul!

[Marcelo Paes @marcpaes]

@Cardoso Suporte a português?

[Marcelo Paes @marcpaes]

@Reikrauss Pra ter jogador mordido só com o Suárez

[Marcelo Paes @marcpaes]

RIP Bram.

[Neovim, e/plugins @Neovim]

We are heartbroken by the loss of the Vim boss.

Rest in peace, Bram.

[Marcelo Paes @marcpaes]

Quem ja clicou no ícone do "X" novo pra tentar fechar a janela? ja aconteceu umas 2 vezes aqui...

[antirez @antirez]

There are jerks even in IT, but our industry is extremely sane compared to others: it's full of detailed information and learning material. People doing valuable things get recognized and pushed to succeed, most of the time. Work gets paid (well, too). Trust me: it's not obvious.

[Marcelo Paes @marcpaes]

@adibhanna Great idea. I've modified my script so that Telescope only opens when Neovim is launched without any parameters. This way, Telescope won't open when I'm trying to open a specific file.

[ThePrimeagen @ThePrimeagen]

@damagedcoffee motivation is weak and temporary
perseverance is a skill and lasts a lifetime

[saquinho de lixo @saquinhodelixo]

😍😍

[Marcelo Paes @marcpaes]

No meio do jogo do brasil... :)

[Metallica @Metallica]

⚠️ NEW METALLICA SONG ⚠️ NEW METALLICA ALBUM ⚠️ NEW METALLICA TOUR ⚠️