Lasm permite escribir webapps verificadas formalmente en Lean
Compila Lean a Node, serverless y edge, con las pruebas de corrección adentro del build. Proyecto nuevo en GitHub, para probar hoy.
30 de octubre de 2026 · mañana 20° · casi despejado
SuscribirseCompila Lean a Node, serverless y edge, con las pruebas de corrección adentro del build. Proyecto nuevo en GitHub, para probar hoy.
El autor convirtió el motor del juego en un modelo autorregresivo que predice el siguiente frame. Código abierto, pesos y notebook de entrenamiento incluidos.
Lee y escribe Parquet local o en object storage compatible con S3, sin runtime externo. Once meses de trabajo y foco en rendimiento. Alternativa liviana a Arrow para pipelines chicos.
Pega un comando y devuelve el equivalente en los otros formatos, sin instalar nada ni mandar datos a un servidor. Disponible para usar ya.
Lleva el modelo de Cursor al montaje: completa cortes sugeridos y acepta instrucciones en lenguaje natural sobre la línea de tiempo. Producto disponible.
Todo por teclado, dentro de la terminal, con captura de webhooks entrantes en la misma herramienta. Código abierto.
Multiplexa conexiones TCP sobre WebSockets y reanuda la sesión cuando el túnel cae, sin reiniciar el cliente. Útil para agentes y shells remotos sobre redes inestables.
Define qué campos puede leer y escribir un agente en cada cuenta, en vez de dar una credencial entera. Open source, pensado para integraciones con terceros.
Servidor MCP que normaliza respuestas inconsistentes de organismos públicos antes de que las lea el modelo. Código abierto.
Una sola implementación sin dependencias para los cinco runtimes, en vez de arrastrar el SDK de AWS entero para firmar. Open source.
Middleware que usa el mismo esquema de firma de las billeteras cripto para autenticar usuarios, sin sesiones ni almacenamiento de secretos del lado servidor.
Documentos y lienzos compartidos donde el agente edita junto a las personas en vez de responder en un chat aparte. Código abierto.
Vulnerabilidades en formato estructurado y gratuito para que un agente de seguridad las lea sin scrapear avisos. Disponible.
Nua publica un modelo chico de evaluación para medir si un robot completó la tarea, en lugar de usar un modelo grande como juez. Con benchmarks propios.
En Mac, usa la webcam para mover el foco por un escritorio infinito según hacia dónde mirás. Producto disponible.
Integración con PAM que funciona en los tres puntos de autenticación del sistema, no solo en la pantalla de login. Código abierto.
Automatiza navegación con un modelo, con el código abierto y foco explícito en latencia frente a las alternativas cerradas. Lanzado esta semana.
Apuntás a un elemento en la interfaz corriendo y la herramienta ubica y edita el código fuente que lo genera. Disponible.
Empaqueta pasos, contexto y entorno en una URL que se le pasa al agente, en vez de un ticket en prosa. Disponible.
Toma el proyecto generado por un modelo y lo pone a correr en infraestructura propia, sin quedar atado a la plataforma donde se escribió.
Define dependencias entre pipelines como un grafo y los dispara sin importar dónde viva el código. Disponible.
Dictás la tarea y el sistema la descompone en pasos que corre un agente, sin pasar por una interfaz de chat. Disponible.
Propone balancear la carga entre expertos con sesgo proporcional en vez de la pérdida auxiliar habitual. Código e implementación publicados.
El posteo vive en el repositorio y el despliegue a cada plataforma sale del commit, igual que un sitio estático. Disponible.
Resuelve una fricción que aparece en cada instalación de app en Mac. Código abierto, el envío más votado de Show HN en el día.
Lleva al warehouse la idea de chequeos arquitectónicos automatizados: reglas que fallan el build si el modelo de datos se degrada. Open source.
Dibuja HTML real en canvas 2D, WebGL y WebGPU conservando selección de texto, controles de formulario, Find-in-Page y lectores de pantalla. Three.js, Babylon.js y PixiJS ya lo soportan.
La caída del tráfico de búsqueda por los resúmenes de IA empuja al sitio a exigir login. Cambia qué se puede leer, indexar y scrapear de una de las fuentes más citadas de la web.