Lasm: Lean 4 compilado a WebAssembly, con pruebas incluidas Lasm es un proyecto de código abierto que compila programas de Lean 4 a WebAssembly de forma anticipada (ahead of time). La propuesta es directa: una sola base de código en Lean puede convertirse en un servidor Node, una función serverless o de edge, un módulo …
Qué dice el Observatorio Startup de la Comunidad Valenciana Las startups de la Comunitat Valenciana captaron más de 234 millones de euros entre enero y septiembre de 2026, un 88% más que en el mismo periodo del año anterior. El dato no viene solo: el número de empresas emergentes creció un 15,45%, hasta las 1.852, …
Un modelo de IA produjo una demostración que refuta un supuesto vigente desde 1999 y dejó obsoletos, de golpe, cientos de artículos académicos. La prueba de OpenAI —generada el 16 de octubre y anunciada el 26 del mismo mes— derriba la Hipótesis del Tiempo Exponencial (ETH), uno de los cimientos de la informática teórica. Horas …
Amazon cae en bolsa tras un trimestre con más gasto en IA que ganancias Las acciones de Amazon cayeron más de 5% fuera del horario de operaciones el 29 de octubre de 2026, después de que la compañía reportara ventas y ganancias por debajo de lo esperado y un flujo de caja libre negativo de …
Amazon gastó más de US$77.000 millones en un trimestre y la bolsa le pasó la factura Amazon reportó un gasto de capital de US$77.300 millones en propiedades y equipos durante el tercer trimestre, muy por encima de los US$58.700 millones que esperaba Wall Street, según reportó SiliconANGLE. La cifra es más del doble de los …
15.000 euros para la mejor solución a cada uno de los nueve retos nacionales, 6.000 euros para la ganadora de cada comunidad autónoma y formación internacional. Esa es la dotación de la vigésima edición de los Premios EmprendeXXI, la convocatoria que CaixaBank —a través de su filial Caixa EmprendedorXXI— organiza junto al Ministerio de Industria …
Qué es Herdr y qué cambia con su app nativa Herdr acaba de publicar su aplicación de escritorio nativa, una ventana que organiza terminales y agentes de código en un mismo lugar. La promesa central es concreta: cerrar la ventana no mata el trabajo, porque los terminales siguen corriendo en el núcleo (el herdr-core) y …
De las 155 startups que Bolivia registraba en 2025, 49 dejaron de operar o no pudieron ser ubicadas y 48 nuevas se sumaron al registro. El resultado es un ecosistema de 154 startups activas: prácticamente la misma cifra que hace siete años, pero con casi un tercio de su base renovándose cada año, según la …
¿Qué es la NVIDIA Open Agent Safety Platform? Más de 100 organizaciones —entre ellas Microsoft, Anthropic, Salesforce, SAP, JPMorganChase, CrowdStrike y Palo Alto Networks— ya trabajan con NVIDIA en la Open Agent Safety Platform, un diseño de referencia abierto que pone límites técnicos alrededor de los agentes de IA en lugar de confiar en que …
Un humanista consiguió lo que parecía imposible: no usar IA en el trabajo David Durman, un administrador de investigación de 45 años en la Universidad de Kentucky, obtuvo una exención religiosa que lo libera de usar inteligencia artificial en sus tareas. La universidad aprobó su solicitud el 25 de septiembre a través de su Office …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.
