software

Claude Opus 4.8 y Lean 4 verifican interseccion de poligonos

junio 7, 2026junio 4, 2026

Verificación formal de algoritmos de geometría computacional mediante IA, Claude Opus 4.8 y Lean 4 para código seguro.

¿Que logro este proyecto con Claude Opus 4.8 y Lean 4?El desarrollador schildep publico en Hacker News el primer algoritmo de interseccion de poligonos formalmente verificado usando Lean 4, y lo logro en un solo intento con Claude Opus 4.8 de Anthropic. El proyecto, disponible en GitHub como codigo abierto, maneja casos complejos como multipoligonos, …

Gemma 4 12B: IA multimodal local con 16GB RAM para startups

junio 5, 2026junio 4, 2026

Desarrollador trabajando con Gemma 4 12B, IA multimodal open source para inferencia local en startups.

Google DeepMind lanza Gemma 4 12B: modelo open-weights que corre en tu laptop con 16GB RAM. Elimina encoders, reduce costos y habilita IA privada.

Filtr bloquea anuncios en iPhone y Mac: $5 anuales

junio 5, 2026junio 4, 2026

Bloqueador de anuncios Filtr en iPhone y Mac, concepto visual de privacidad y monetización en startups.

Filtr de Wipr bloquea anuncios en todas las apps de iOS 26 y macOS 26. Cuesta $5/año, no recoge datos. Qué significa para founders que monetizan con ads.

Boeing 787: 8 a 10 aviones/mes frenados por 2 problemas

junio 5, 2026junio 4, 2026

Desafíos de escalabilidad industrial en la producción del Boeing 787 Dreamliner y lecciones operativas para startups.

Boeing quiere escalar de 8 a 10 aviones 787 mensuales en 2026, pero motores GE y certificación de asientos bloquean la producción. Lecciones para founders.

FFmpeg WebCLI: Video offline en navegador sin servidores

junio 5, 2026junio 4, 2026

Desarrollador trabajando en edición de video offline mediante WebAssembly y FFmpeg WebCLI, garantizando privacidad total en el navegador.

Descubre FFmpeg WebCLI, la herramienta de 2026 que ejecuta FFmpeg en el navegador con WebAssembly. Reduce costos de servidor y garantiza privacidad total.

AuMax S.R.L. exenta de tributo: economía del conocimiento en acción

junio 4, 2026

Incentivos fiscales y economía del conocimiento: startup tecnológica impulsando la automatización industrial en Argentina.

Fundada en el año 2000, con más de dos décadas de experiencia en automatización industrial, RFID e IoT, AuMax S.R.L. acaba de convertirse en un caso testigo de cómo los municipios argentinos pueden impulsar el ecosistema tech local. El intendente de Villa María le entregó a la firma el decreto de eximición de la Tasa …

Wise CX gana Enterprise Solutions en South Summit Madrid 2026

junio 4, 2026

Wise CX, startup argentina ganadora en South Summit Madrid 2026, representando la excelencia en soluciones empresariales con IA.

¿Quién es Wise CX y por qué ganó en South Summit 2026?Wise CX, la startup argentina fundada por David Cabrera y Pablo Cavallo en Las Varillas, Córdoba, se alzó con el premio Enterprise Solutions en el South Summit Madrid 2026, uno de los eventos de innovación más relevantes del ecosistema global. Fundada en 2013 y …