◀ Ano anterior | ◁ Mês anterior | << Semana anterior | < Dia anterior | 2026-04-29 | Próximo dia >
21
 

Ghostty está deixando o GitHub

 (mitchellh.com)
Ghostty vai deixar o GitHub após falhas recorrentes passarem a bloquear revisões de PR e o trabalho diário.
5 pontos por GN⁺ 1 일 전 | 3 comentários
22
 

Lançamento do navegador Dillo 3.3.0

 (dillo-browser.org)
O Dillo 3.3.0 amplia automação e controle remoto com `dilloc`, melhora o fluxo de login OAuth e adiciona suporte experimental ao FLTK 1.4.
4 pontos por GN⁺ 1 일 전 | 1 comentários
23
 

O que aprendi ao criar 50 ferramentas MCP: chamadas de função eram uma relação anormalmente íntima

 (evan-moon.github.io)
Um relato sobre como projetar 50 ferramentas MCP revelou que, para LLMs, descrições e affordance importam mais do que assinaturas de função.
6 pontos por bboydart91 1 일 전 | Comentários e discussão
24
 

API de Prompt

 (developer.chrome.com)
A Prompt API permite usar o Gemini Nano no Chrome para IA on-device com suporte a contexto, streaming, multimodalidade e saída estruturada.
5 pontos por GN⁺ 1 일 전 | 1 comentários
25
 

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
26
 

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
27
 

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
28
 

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
29
 

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
30
 

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.
1 pontos por GN⁺ 1 일 전 | 1 comentários
31
 

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