◀ Año anterior | ◁ Mes anterior | << Semana anterior | < Día anterior | 2026-04-29 | Día siguiente >
21
 

Ghostty deja GitHub

 (mitchellh.com)
Ghostty dejará GitHub tras repetidas caídas que bloquearon el trabajo y planea reducir esa dependencia de forma gradual.
5 puntos por GN⁺ 1 일 전 | 3 comentarios
22
 

Lanzamiento del navegador Dillo 3.3.0

 (dillo-browser.org)
Dillo 3.3.0 mejora el control remoto con `dilloc`, ajusta el flujo de OAuth, suma soporte experimental para FLTK 1.4 y añade varias mejoras de usabilidad y seguridad.
4 puntos por GN⁺ 1 일 전 | 1 comentarios
23
 

Lo que aprendí al crear 50 herramientas MCP: las llamadas a funciones eran una relación anormalmente íntima

 (evan-moon.github.io)
Una reflexión sobre cómo diseñar herramientas MCP muestra que, con LLMs, las descripciones y la confianza importan más que la firma de la función.
6 puntos por bboydart91 1 일 전 | Comentarios y discusión
24
 

API de Prompt

 (developer.chrome.com)
Una API web para enviar solicitudes en lenguaje natural a Gemini Nano integrado en Chrome, con soporte para sesiones, streaming, salida estructurada y entrada multimodal.
5 puntos por GN⁺ 1 일 전 | 1 comentarios
25
 

Por qué no usar simplemente Lean

 (lawrencecpaulson.github.io)
La formalización matemática no empezó con Lean, e Isabelle, Mizar y otros linajes siguen ofreciendo ventajas reales frente a una única herramienta dominante.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
26
 

A los estudiantes

 (ozark.hendrix.edu)
Un mensaje para estudiantes de computación sobre ética, pensamiento profundo y poner a las personas por encima de la ganancia en la industria tecnológica.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
27
 

Warp anuncia su transición a código abierto y un modelo de desarrollo centrado en agentes

 (x.com/zachlloydtweets)
Warp abrirá el código de su cliente bajo AGPL y reorganizará su desarrollo con un modelo agent-first impulsado por Oz y modelos de OpenAI.
4 puntos por ragingwind 1 일 전 | 1 comentarios
28
 

GitHub está experimentando una interrupción en este momento

 (githubstatus.com)
GitHub está experimentando una degradación en Pull Requests, donde pueden faltar resultados indexados mientras avanza el proceso de reindexación y recuperación.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
29
 

Super ZSNES - Emulador de SNES basado en GPU

 (zsnes.com)
Super ZSNES reescribe ZSNES como un emulador de SNES basado en GPU con mejoras visuales, funciones modernas y soporte inicial para varias plataformas.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
30
 

Quarkdown - Markdown con funciones potentes añadidas

 (quarkdown.com)
Quarkdown combina Markdown con composición tipográfica al nivel de LaTeX para crear artículos, libros, presentaciones, sitios estáticos y bases de conocimiento con una sola herramienta.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
31
 

Warp publica como código abierto su entorno de desarrollo agéntico basado en terminal

 (github.com/warpdotdev)
Warp liberó como código abierto su terminal y propone un modelo de contribución para proyectos open source asistido por agentes de IA.
6 puntos por happyhaki 1 일 전 | 4 comentarios