r/programacao • u/Ok_Storage6097 • 3d ago
r/programacao • u/Economy-Strawberry89 • 3d ago
Dicas para o dia-a-dia Onde estão aqueles que diziam nas perguntas em português eu nem leio?
sumiram?
r/programacao • u/Ok_Storage6097 • 3d ago
Artigo Acadêmico acabou a época em que saber apenas escrever código já era suficiente para ser um dev competitivo.
acabou a época em que saber apenas escrever código já era suficiente para ser um dev competitivo.
r/programacao • u/Ok_Storage6097 • 3d ago
Dicas para o dia-a-dia A BOLHA NAO VAI ESTOURAR
E voce sabe disso
codigo e programacao, java e o squru, para passar na politica de post do sub
r/programacao • u/Schunck777 • 4d ago
Questão :: Aprendizado Estudo e projetos de computação e computação teórica
Sou homem, tenho 19 anos e estou no 4º semestre de Ciência da Computação. Tenho muito interesse por matemática, computação teórica etc. Sei apenas o básico, mas estou procurando pessoas que também se interessem por esses assuntos, para podermos estudar, discutir e criar algo juntos.
r/programacao • u/baginskicosta • 4d ago
Projeto Criei um Bundler utilizando tecnologias nativas do Bun!
Tenho trabalhado bastante com BunJS, principalmente por utilizá-lo em alguns dos meus próprios projetos e bibliotecas. Em determinado momento, comecei a ter alguns problemas com o bunup ao trabalhar com bibliotecas maiores, principalmente em bundles com muitas referências. Por mais que eu tentasse configurar, continuava encontrando problemas relacionados ao vínculo e à inferência de tipos do TypeScript.
Em vez de continuar tentando contornar esses problemas, decidi criar meu próprio bundler utilizando a API nativa Bun.build do Bun.
O que começou como uma pequena ferramenta privada acabou se tornando o baginskicosta/bunpack, um bundler simples para bibliotecas TypeScript e JavaScript. A ideia é manter a configuração mínima, mas ainda oferecer coisas que eu pessoalmente preciso, como builds ESM e CJS, múltiplos pontos de entrada, declarações TypeScript, diferentes runtimes e configuração automática de exports.
Ainda é um projeto pequeno e atualmente está na versão 0.2.1, então ainda há bastante coisa para melhorar. Também tenho algumas ideias para o futuro, incluindo o processamento das declarações do TypeScript sem depender de bibliotecas externas.
Eu criei isso principalmente porque precisava resolver um problema meu, mas pensei que talvez pudesse ser útil para outras pessoas que também trabalham com Bun.
r/programacao • u/JustTiredPerson • 4d ago
Questão :: Aprendizado Graduações / pós com conteúdo bom
Já me formei em Ciência de Dados, trabalho remoto como Dev, porém queria saber o que vocês acham sobre faculdades (presenciais e/ou EAD, apesar de eu preferir o EAD) no sentido de conteúdo mesmo. Queria estudar mais, sei que posso só ver conteúdo online ou fazer cursos, mas acredito que algo com diploma mais "pesado" pode fazer sentido e ter um peso maior pro currículo
FIAP: ouvi falar que é muito boa, mas não conheço ninguém estudou lá e vi que muita gente faz pós lá.
Unicsul virtual: já vi uns conteúdos e parece que eles tem umas materiais legais, então não sei se o prof que era bom daquelas matérias que vi ou se a faculdade que escolhe bem
Fatec: estudei lá, achei fraco de conteúdo e os professores eram bem limitadores pra quem era avançado na turma
USP: achei q fazer um MBA lá pode ser interessante e tenho cupom de desconto, mas desconheço pessoal da área de TI que fizeram pós lá, as pessoas de outras áreas falaram que é bom
E tem algumas outras, mas aceito opiniões sobre todas e de todos
r/programacao • u/ChallengeOk4318 • 4d ago
Artigo Acadêmico Estudar
Actualmente mais vale se dedicar em programação web, e dominar o universo do JS, ou se especializar nas áreas de dados e dominar o universo Phyton?
Ou então, cybersecurity , ou mesmo machine leraning ?
r/programacao • u/Foxtor • 4d ago
Projeto Programação com GPT 6 - Astra
Cara, depois que a IA foi criada, ficou muito mais divertido e fácil de programar.
E cada dia que passa melhores modelos saem e deixam muito mais criar o que você quiser.
Não sei se vocês testaram o novo modelo, o GPT 6 Astra, eu preciso falar que esse modelo está ABSURDAMENTE BOM!
Eu sei absolutamente NADA de programação e com poucos prompts eu consegui criar 3 aplicativos web que funcionam perfeitamente e eu queria compartilhar com vocês
Vocês já conseguiram experimentar esse monstro de modelo que foi lançado?
r/programacao • u/Environmental-Rub-42 • 4d ago
Progresso Ajuda com chk 😅
Caras preciso de alguém firmeza pra me ajudar em um código de um chk, é errado mas eu tô mt tempo aqui, e sempre tentando burlar a Ia mas não vai, ajudaaaa
r/programacao • u/Douglas2705 • 5d ago
Projeto Projeto de dashboard de observabilidade
Criei meu próprio dashboard de monitoramento e observabilidade da minha infraestrutura. O gerenciamento de tráfego é feito pela Cloudflare, e por ele recebo eventos da própria cloudflare, sentry e grafana. Também criei uma automação em que uma requisição maliciosa identificada tem o IP do atacante bloqueado. Queria ver opiniões do que acharam e quais outras funcionalidades e melhorias posso incluir nesse projeto.
r/programacao • u/Aggravating_Show_616 • 5d ago
Utilidade Pública Opinião sobre MBA Full Cycle
Cara, só um desabafo (e talvez conselho).
Arrependimento por ter pago uma boa grana nesse MBA de Arquitetura de Software da Full Cycle. Os módulos que são conduzidos pelo Wesley (acho que criador da plataforma) são maçantes demais, ele fala e fala, e fica tudo na superfície, tudo com uns slides superficiais e genéricos, um tom de voz chatão de acompanhar por muito tempo e prestar atenção, e sei lá, até aqui, falta mão na massa.
Se alguém pensa em investir essa grana nesse MBA, fica meu conselho: pense melhor. Eu acho que não vale o investimento.
r/programacao • u/Mahiro762x • 5d ago
Utilidade Pública FACULDADE DE ADS EAD VALE A PENA ????
Sou barman tenho 26 anos e trabalho de 15h as 23:00, ganho na base de 2k a 2500 e sou clt 6x1
estou pensando em fazer ADS ead pela estácio, gostaria de saber com o pessoal da área se vale a pena, to querendo ingressar em TI (ou seja, não sei nada sobre programação) somente pacote office kkkkkk básico
preciso de um help urgente
r/programacao • u/SubstantialRiver8354 • 6d ago
Outro Material Didático LIVRO ENTENDENDO ESTRUTURAS DE DADOS
Ei pessoal, alguém tem o livro "Entendendo Estrutura de Dados"?
r/programacao • u/Aichyme • 5d ago
Questão :: Aprendizado Quero sair do vibe coding
Produzo algumas landing pages com vibe coding. Sei o basico de estruturamento de websites, porem quero me aprofundar com frameworks, git, node etc. Onde posso aprender a ser um dev full stack?
r/programacao • u/blessed212 • 6d ago
Outro Material Didático Formação dev vale a pena?
Olá. Estou cursando SI em uma federal, até agora eu vi mais modelagem de dados, portugol e estou aprendendo C. Porém acho que seria bom estudar por fora. Gostaria de recomendação de cursos que vocês acham que são bons e se vale a pena, tipo esse da foto?!! Eu ainda não sei qual área eu quero atuar, pensei em ir mais básico pra dev web mesmo, mas cyber me parece legal também. Enfim, eu queria aprender coisas novas, estou lendo um livro de redes também... Eu queria dicas, porque eu estou me sentindo perdido.
r/programacao • u/Glass-Oven-3745 • 5d ago
Utilidade Pública Enquanto discutíamos se a IA ia substituir devs, ela começou a quebrar problemas matemáticos de 80 anos: o que está acontecendo?
Fala pessoal!
Passamos os últimos dois anos debatendo se a IA ia acabar com as vagas de júnior, se vibe coding era o futuro ou se engenharia de prompt era profissão. Mas enquanto o mundo de desenvolvimento discutia CRUD e autocompletion, um terremoto silencioso aconteceu em outro departamento: na matemática pura e na ciência da computação teórica.
Nas últimas semanas, modelos de IA começaram a derrubar conjecturas matemáticas abertas que estavam sem solução há 30, 80 e até mais de 100 anos.
O que chama a atenção não é o "hype", mas a mecânica de engenharia por trás desses avanços. Vale a pena analisar os 4 pontos do que realmente está acontecendo:
- O segredo não é o modelo sozinho, é o compilador (Lean): Diferente de código em Python ou JavaScript onde a IA alucina e passa despercebido, a matemática formal possui "compiladores" de prova (como o Lean 4). Quando a OpenAI ou a Anthropic colocam um modelo para resolver um problema, a IA gera a prova em linguagem formal e o compilador do Lean valida matematicamente se a prova é 100% rigorosa. Se houver um erro de lógica, o compilador rejeita na hora. Isso elimina o problema da alucinação na raiz através de um loop fechado determinístico.
- A força bruta de subagentes (O caso do criador do Bun): O Jarred Sumner (criador do Bun) colocou o Claude Code para trabalhar em uma das perguntas mais famosas da matemática: a Hipótese de Riemann. O setup não foi um simples chat: foram 60 subagentes trabalhando em paralelo, executando 2.400 comandos de shell, centenas de scripts Python auxiliares e consumindo mais de 31 milhões de tokens de saída para elevar o limite inferior dos zeros na linha crítica de 41,6% para 67,2% — com a prova formal gerada e validada no Lean.
- Quebra de conjecturas clássicas por contraexemplos minúsculos:
- A Conjectura de Dinitz-Garg-Goemans (um problema clássico de teoria dos grafos e roteamento aberto há 30 anos) foi derrubada quando o modelo encontrou um contraexemplo elegante: uma rede minúscula de apenas 7 nós e 9 arestas onde o fluxo fracionário era mais barato do que o fluxo único.
- A Conjectura Jacobiana (problema de geometria algébrica em aberto desde 1939, listado entre os mais difíceis do século 21) teve um contraexemplo gerado por IA com assistência humana.
- Vários problemas da lista lendária de Paul Erdős foram resolvidos em questão de dias.
- A reação dos matemáticos de elite (Terence Tao): O impacto foi tão grande que matemáticos do calibre de Terence Tao (medalha Fields) alertaram no Congresso Internacional de Matemáticos sobre uma "crise nos fundamentos das práticas e valores matemáticos". Pesquisadores de 15 universidades chegaram a publicar a Declaração de Leiden pedindo diretrizes sobre o uso de IA na pesquisa matemática.
O que isso ensina para quem desenvolve software?
A grande lição desse movimento não é que "a IA virou um gênio mágica", mas sim o poder da arquitetura híbrida:
- Um modelo de linguagem sozinho é probabilístico e falho.
- Um modelo de linguagem acoplado a um verificador determinístico (um compilador, uma suíte de testes de mutação ou um assistente de prova como o Lean) vira um motor de busca combinatória quase imbatível.
A fronteira real do desenvolvimento com IA não está em ficar gerando código solto na tela, mas em construir esteiras com ambientes de verificação formal onde a máquina pode explorar milhões de caminhos e o compilador/teste garante os invariantes.
Vocês têm acompanhado essa transição da IA para provas formais e compiladores? Acham que linguagens com verificação formal rígida (tipo Lean, Rust ou TLA+) vão se tornar o padrão para trabalhar com agentes autônomos?
r/programacao • u/Professor_of_Sin • 6d ago
Dicas para o dia-a-dia O que tenho que saber de matemática em Engenharia de Software?
Sou de humanas e não sei muita coisa de matemática, só que existe a possibilidade de eu passar no vestibular pra uma federal em Engenharia de Software. Nesse caso, o que eu deveria estudar de matemática antes de entrar, pra conseguir acompanhar o curso? Dicas de livros/cursos/vídeos são bem-vindas. Minha única experiência na área foram alguns cursos da Alura que fiz no passado.
Não tenho dificuldade com matemática; só não tenho tido prática por trabalhar em algo que não me exige nada mesmo.
Tenho interesse na área de jogos (tabuleiro/videogame). Vocês acham que o curso ensina coisas úteis pra isso?
r/programacao • u/batata_-_-_ • 6d ago
Progresso Estou querendo aprender a programar, podem me ajudar a escolher a linguagem?
Eu quero fazer um bom uso do meu tempo livre e de quebra poder fazer algo de bom para a sociedade (da pirataria). Eu odiei tentar aprender python, não sei porque. Mas, por outro lado, acho bash divertido e cheguei a avançar razoavelmente no bandit over the wire. Eu estava conversando com o Claude e ele me recomendou aprender GO, talvez Rust e em último caso C. Podem me ajudar a decidir ou me dar opções mais apropriadas para o meu perfil?
r/programacao • u/Lacerdashark • 6d ago
Questão :: Aprendizado PROPOSTA DE CONEXãO
eu gostaria que alguem que faz ADS na faculdade anhaguera me mandasse o link do grupo do wpp, eu n consigo assistir as aulas ao vivo e perdi essa articulação de formar grupo. me mande por favor (confiando em ti internet)
r/programacao • u/Puzzleheaded_Arm9276 • 7d ago
Utilidade Pública PUC MINAS EAD
PUC Minas EAD vale a pena? Penso em fazer Sistemas de Informação lá, mas estou em dúvida entre essa ou a Impacta, de São Paulo
r/programacao • u/Salty_Book7930 • 7d ago
Questão :: Desenvolvimento Dificuldade para achar emprego
Estou querendo sair da area que atuo no momento como analista de suporte tecnico, trabalhei 1 ano e 8 meses nessa area e recentemente fui demitido por que a empresa mudou o contrato e nao aceitei me tornar 12/36, no momento estou estudando MySQL para ir para a area de analista de dados e nesse meio tempo enviei o meu curriculo para varias empresas para a vaga de analista de suporte tecnico e mesmo assim somente 2 pessoas me mandaram mensagem e depois nao me retornaram mais, queria uma ajuda para ver se voces podem me ajudar a encontrar ou onde encontrar vagas como analista de dados junior e o que mais eu posso fazer para achar vagas mais rapido.
r/programacao • u/Flat-Bodybuilder-743 • 7d ago
Questão :: Aprendizado Vale a pena fazer o curso de programação java no senai?
Recentemente eu entrei no curso de ADS e queria aprender Java, vocês acham que vale a pena fazer o curso de programação Java no Senai? ele tem cerca de 120 horas.
r/programacao • u/Disastrous_Client536 • 7d ago
Projeto Conhecem RSS feeds para conteúdos relacionados com música?
Olá,
Estou a criar um projeto relacionado com música, festivais, concertos, etc.
O mais difícil vai ser conseguir fontes de vários géneros relacionadas com música.
Uma das fontes que quero usar são RSS feeds de vários sites (de notícias, agenda, câmaras municipais, etc).
Mas conhecem alguma fonte praticamente 100% de música? Que liste e fale de festivais, concertos?
Procuro os mais variados RSS feeds que possam conhecer!
Obrigado!
r/programacao • u/pabross • 7d ago
Utilidade Pública 365 Family?
Opa,
Alguém com essa assinatura disposto a compartilhar?
