41
 

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
42
 

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
43
 

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
44
 

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
45
 

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
46
 

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.
2 puntos por GN⁺ 1 일 전 | 1 comentarios
47
 

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
48
 

Banco central de los Países Bajos deja AWS y elige a Lidl para una nube europea

 (techzine.eu)
El banco central neerlandés dejará AWS para migrar a Stackit, la nube europea de Schwarz Digits nacida dentro de Lidl.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
49
 

Talkie, el modelo de lenguaje vintage 13B de 1930

 (talkie-lm.com)
Talkie es un modelo de lenguaje vintage de 13B entrenado solo con texto en inglés previo a 1931 para estudiar conversación, generalización y predicción sin conocimiento del mundo moderno.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
50
 

dirac-run/dirac

 (github.com/dirac-run)
Un agente de codificación open source que optimiza contexto, edición estructural y costo para tareas reales de refactorización con CLI y soporte para múltiples proveedores de IA.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
51
 

China bloquea la adquisición de la startup de IA Manus por parte de Meta

 (cnbc.com)
China bloqueó la compra de Manus por parte de Meta y elevó la presión regulatoria sobre las startups chinas de IA que se trasladan a Singapore.
1 puntos por GN⁺ 1 일 전 | 1 comentarios
52
 

VibeVoice - modelo de IA de voz open source de frontera

 (github.com/microsoft)
Microsoft presentó VibeVoice, una familia open source de modelos de IA de voz para TTS y ASR con soporte multilingüe y procesamiento eficiente de secuencias largas.
26 puntos por xguru 1 일 전 | 1 comentarios
53
 

¿Mi azul es el mismo que tu azul?

 (ismy.blue)
Una breve interacción para comprobar cómo las personas trazan la frontera entre el azul y el verde.
1 puntos por GN⁺ 2 일 전 | 2 comentarios
54
 

Ingeniería de harness: la era de diseñar el entorno de trabajo, más importante que el modelo

 (addyosmani.com)
El análisis sostiene que el rendimiento real de una IA para programar depende más del diseño del harness que rodea al modelo que del modelo en sí.
46 puntos por ragingwind 2 일 전 | 10 comentarios
55
 

pgbackrest/pgbackrest

 (github.com/pgbackrest)
pgBackRest, herramienta de respaldo y recuperación para PostgreSQL, dejó de recibir mantenimiento pese a sus sólidas funciones de integridad, operación remota y respaldo escalable.
3 puntos por GN⁺ 2 일 전 | 1 comentarios
56
 

Filtración de 4 TB de muestras de voz de 40 mil contratistas de IA en Mercor

 (app.oravys.com)
Una filtración de 4 TB en Mercor expuso muestras de voz e identificaciones verificadas de más de 40 mil contratistas de IA, elevando drásticamente el riesgo de clonación de voz y fraude.
1 puntos por GN⁺ 2 일 전 | 1 comentarios
57
 

Hombres que miran la pared

 (alexselimov.com)
Una rutina de mirar la pared durante 5 a 10 minutos, con enfoque desenfocado y mind blanking, parece ayudar a recuperar la concentración y mejorar la productividad.
2 puntos por GN⁺ 2 일 전 | 1 comentarios
58
 

GitHub Copilot cambia a cobro basado en uso

 (github.blog)
GitHub Copilot pasará a un esquema de cobro basado en uso con AI Credits mensuales a partir del 1 de junio de 2026.
6 puntos por GN⁺ 2 일 전 | 10 comentarios
59
 

HyperFrames - framework open source enfocado en agentes de IA para crear video con HTML

 (github.com/heygen-com)
Framework open source para que agentes de IA creen y rendericen videos en MP4 directamente desde HTML puro, sin React ni etapa de build.
21 puntos por xguru 2 일 전 | 1 comentarios
60
 

Microsoft y OpenAI ponen fin al acuerdo de exclusividad y reparto de ingresos

 (bloomberg.com)
Microsoft y OpenAI eliminaron la exclusividad de ventas y el reparto de ingresos, abriendo la puerta a que OpenAI también negocie con otras nubes como Amazon.
4 puntos por GN⁺ 2 일 전 | 1 comentarios