41
 

Por que não usar simplesmente Lean?

 (lawrencecpaulson.github.io)
O texto argumenta que Lean não é o único caminho para formalização matemática e defende Isabelle, LCF e outras linhagens históricas em meio ao avanço da IA.
1 pontos por GN⁺ 1 일 전 | 1 comentários
42
 

Aos estudantes

 (ozark.hendrix.edu)
Um texto para estudantes de computação sobre ética, escolhas deliberadas, pensamento profundo e a prioridade de pessoas e justiça acima do lucro e da produtividade.
1 pontos por GN⁺ 1 일 전 | 1 comentários
43
 

Warp anuncia transição para open source e um modelo de desenvolvimento centrado em agentes

 (x.com/zachlloydtweets)
A Warp vai abrir o código do seu cliente sob AGPL e reorganizar o desenvolvimento em torno de um fluxo agent-first com o Oz e apoio da OpenAI.
4 pontos por ragingwind 1 일 전 | 1 comentários
44
 

GitHub está enfrentando uma indisponibilidade no momento

 (githubstatus.com)
O GitHub está com degradação em Pull Requests, e resultados completos podem não aparecer enquanto a reindexação do Elasticsearch está em andamento.
1 pontos por GN⁺ 1 일 전 | 1 comentários
45
 

Super ZSNES - Emulador de SNES baseado em GPU

 (zsnes.com)
Um emulador de SNES baseado em GPU com melhorias visuais por jogo, interface em alta resolução e recursos ainda em fase inicial de desenvolvimento.
1 pontos por GN⁺ 1 일 전 | 1 comentários
46
 

Quarkdown - Markdown com recursos avançados

 (quarkdown.com)
Quarkdown combina Markdown com composição tipográfica no nível do LaTeX para criar artigos, livros, apresentações, sites estáticos e bases de conhecimento em uma única ferramenta.
2 pontos por GN⁺ 1 일 전 | 1 comentários
47
 

Warp abre o código-fonte do seu ambiente de desenvolvimento agêntico baseado em terminal

 (github.com/warpdotdev)
A Warp abriu o código do seu terminal e propõe um fluxo de contribuição open source com agentes de IA.
6 pontos por happyhaki 1 일 전 | 4 comentários
48
 

Banco central holandês abandona a AWS e escolhe a Lidl para nuvem europeia

 (techzine.eu)
O banco central holandês está prestes a trocar a AWS por uma nuvem europeia da Schwarz Digits para reduzir a dependência de fornecedores dos EUA no setor financeiro.
1 pontos por GN⁺ 1 일 전 | 1 comentários
49
 

Talkie, o modelo de linguagem vintage 13B de 1930

 (talkie-lm.com)
O Talkie é um modelo de linguagem vintage de 13B treinado apenas com textos anteriores a 1931 para estudar generalização, cutoff de conhecimento e diálogo sem influência do mundo moderno.
1 pontos por GN⁺ 1 일 전 | 1 comentários
50
 

dirac-run/dirac

 (github.com/dirac-run)
Agente de codificação open source focado em contexto denso e eficiência de ferramentas, com 65,2% no Terminal-Bench-2, 8/8 em refatorações complexas e custo médio de $0.18.
1 pontos por GN⁺ 1 일 전 | 1 comentários
51
 

China bloqueia aquisição da startup de IA Manus pela Meta

 (cnbc.com)
China barrou a aquisição da startup de IA Manus pela Meta, citando regras sobre investimento estrangeiro e ampliando a pressão sobre o modelo de Singapore-washing.
1 pontos por GN⁺ 1 일 전 | 1 comentários
52
 

VibeVoice - modelo de IA de voz open source de ponta

 (github.com/microsoft)
Família open source de modelos de IA de voz da Microsoft com ASR, TTS e foco em processamento longo, tempo real e suporte multilíngue.
26 pontos por xguru 1 일 전 | 1 comentários
53
 

Meu azul é igual ao seu azul?

 (ismy.blue)
Uma interação curta permite testar como você categoriza a fronteira entre azul e verde.
1 pontos por GN⁺ 2 일 전 | 2 comentários
54
 

Engenharia de harness: a era de projetar o ambiente de trabalho, mais importante que o modelo

 (addyosmani.com)
Uma análise de Addy Osmani defende que o desempenho real de IAs de programação depende mais do harness ao redor do modelo do que do modelo em si.
46 pontos por ragingwind 2 일 전 | 10 comentários
55
 

pgbackrest/pgbackrest

 (github.com/pgbackrest)
Ferramenta de backup e recuperação para PostgreSQL, o pgBackRest foi descontinuado, apesar de seus amplos recursos de integridade, operação remota e otimização de WAL.
3 pontos por GN⁺ 2 일 전 | 1 comentários
56
 

4 TB de amostras de voz de 40 mil contratados de IA vazam da Mercor

 (app.oravys.com)
Vazamento de 4 TB da Mercor expôs voz e documentos de identidade de mais de 40 mil contratados de IA, ampliando o risco de clonagem de voz e fraude.
1 pontos por GN⁺ 2 일 전 | 1 comentários
57
 

Homens que encaram paredes

 (alexselimov.com)
Uma rotina de olhar para a parede por alguns minutos, com foco desfocado e mind blanking, pode ajudar a recuperar a concentração e melhorar a produtividade em meio à sobrecarga de informação.
2 pontos por GN⁺ 2 일 전 | 1 comentários
58
 

GitHub Copilot vai migrar para cobrança baseada em uso

 (github.blog)
O GitHub Copilot vai adotar cobrança baseada em uso com AI Credits mensais a partir de 1º de junho de 2026.
6 pontos por GN⁺ 2 일 전 | 10 comentários
59
 

HyperFrames - framework open source voltado para agentes de IA para criar vídeos com HTML

 (github.com/heygen-com)
Framework open source para agentes de IA cria vídeos em HTML puro e renderiza em MP4, com foco em automação e uso comercial livre.
21 pontos por xguru 2 일 전 | 1 comentários
60
 

Microsoft e OpenAI encerram acordo de exclusividade e compartilhamento de receita

 (bloomberg.com)
Microsoft e OpenAI encerraram a exclusividade e o compartilhamento de receita, abrindo espaço para a OpenAI negociar com outras nuvens e alterando a competição em infraestrutura de IA.
4 pontos por GN⁺ 2 일 전 | 1 comentários