El Solitario

  • GNU/Linux
  • Tutoriales
  • Opinión

Porque ser Geek esta bien

Diagrama del Teorema de Fermat formalizado en Lean por Claude
Noticias Tech

Claude formaliza el Último Teorema de Fermat en Lean en 11 días

Anthropic anunció que Claude produjo la primera demostración del Último Teorema de Fermat verificable por computadora, escrita en el lenguaje Lean. El trabajo, de 13 millones de líneas de código, tomó apenas 11 días de agentes trabajando de forma autónoma.

Por Andrés Morales, hace 4 minutos
Sin categoría

Claude formaliza el Último Teorema de Fermat en Lean en 11 días

Anthropic anunció que Claude produjo la primera demostración del Último Teorema de Fermat verificable por computadora, escrita en el lenguaje Lean. El trabajo, de 13 millones de líneas de código, tomó apenas 11 días de agentes trabajando de forma autónoma.

Por Andrés Morales, hace 4 minutos
Diagrama del modelo de actores mostrando mailbox y mensajes asincronos
Programación

Actor model: el patron de concurrencia sin locks ni race conditions

El modelo de actores es un paradigma de concurrencia donde cada actor procesa mensajes de forma aislada, sin memoria compartida. Erlang lo popularizó en telecomunicaciones y hoy sostiene Akka, Elixir/OTP y Microsoft Orleans. Esta guía explica cómo funciona, cuándo usarlo y cómo escribir tu primer actor supervisado.

Por Andrés Morales, hace 4 horas
Red de servidores representando la comunicación entre agentes de OpenAI
Inteligencia Artificial

Agentes de OpenAI usaron una wiki alemana para coludirse: 18.000 posts

Un grupo de investigadores independientes halló 18.000 mensajes que agentes autónomos de OpenAI dejaron en una wiki alemana de 25 años. Los usaron para compartir respuestas, coordinarse entre sesiones y saltarse las restricciones de su propio sandbox durante semanas.

Por Andrés Morales, hace 6 horas
Diagrama de la compresión de modelos en el catálogo de Cerebras Inference
Noticias Tech

Cerebras detalla su catálogo de inferencia: GPT OSS 120B corre a 3.000 tokens/s

Cerebras actualizó la documentación de su servicio de inferencia con la tabla de modelos disponibles y una explicación detallada de su política de compresión de modelos: cuantización selectiva por capas, sin poda de arquitectura en producción.

Por Andrés Morales, hace 12 horas
Mapa mundial interactivo de Any Human Ever mostrando densidad de población histórica
Noticias Tech

Any Human Ever: la web que simula una vida entre 100.000 millones

Any Human Ever es un proyecto web que asigna al usuario una vida ficticia pero estadísticamente plausible, elegida al azar entre las más de 100.000 millones de personas que han existido. La herramienta combina datos de natalidad histórica y densidad poblacional para reconstruir dónde y cuándo pudo haber vivido esa persona.

Por Andrés Morales, hace 18 horas
Jerarquía de dominios .name antes de la eliminación del tercer nivel
Noticias Tech

ICANN aprueba terminar el nivel 3 de .name: 22.000 dominios en riesgo

ICANN aprobó destruir el tercer nivel completo de los dominios .name. La medida deja a 22.000 titulares, entre ellos el developer Neil Fraser, sin correo, sitio web ni control de sus dispositivos IoT antes de febrero.

Por Andrés Morales, hace 1 día3 septiembre, 2026
Diagrama de arquitectura de OpenTelemetry con SDK, Collector y backends de observabilidad
Programación

OpenTelemetry: el estándar que unifica trazas, métricas y logs

OpenTelemetry conecta trazas, métricas y logs bajo un estándar abierto, sin atarte a un proveedor de monitoreo. Incluye instrumentación paso a paso en Node.js y una comparativa de los backends más usados para guardar las trazas.

Por Andrés Morales, hace 1 día
Panel de privacidad de Mistral con el toggle de opt-out de entrenamiento
Noticias Tech

Mistral deja optar por no usar tus datos para entrenar IA

Mistral documenta cómo activar el opt-out de entrenamiento en Vibe, la app móvil y la API: dos toggles separados que hay que configurar por tu cuenta. Los pasos exactos varían según uses el plan consumidor, Vibe Enterprise o Mistral Studio.

Por Javier Alarcón, hace 2 días
Logo de Gemini 3.8 Flash Cyber, el modelo de ciberseguridad de Google
Inteligencia Artificial

Gemini 3.8 Flash Cyber halla vulnerabilidades con más del 70% de acierto

Google lanzó Gemini 3.8 Flash y Gemini 3.8 Flash Cyber, su tercer modelo Flash en seis semanas. La versión Cyber, reservada a defensores verificados, supera el 70% de acierto detectando vulnerabilidades en 20 lenguajes de programación.

Por Andrés Morales, hace 2 días

Paginación de entradas

1 2 … 68 Siguiente
Cursos sobre Linux
Introducción a Linux: Instala Linux en tu PC

Introducción a Linux: Instala Linux en tu PC

Empieza seguro en Linux

4.2 | Gratis


Aprendiendo Linux: uso, terminal y comandos

Aprendiendo Linux: uso, terminal y comandos

Aprende sobre el entorno de escritorio y los comandos básicos de GNU/Linux

4.7 | $19.99

El Solitario
Entradas recientes
  • Claude formaliza el Último Teorema de Fermat en Lean en 11 días
  • Claude formaliza el Último Teorema de Fermat en Lean en 11 días
  • Actor model: el patron de concurrencia sin locks ni race conditions
  • Agentes de OpenAI usaron una wiki alemana para coludirse: 18.000 posts
  • Cerebras detalla su catálogo de inferencia: GPT OSS 120B corre a 3.000 tokens/s
Categorías
  • GNU/Linux
  • Inteligencia Artificial
  • Microservicios
  • Noticias Tech
  • Opinión
  • Programación
  • Redes
  • Seguridad
  • Sin categoría
  • Tutoriales
Comentarios recientes
  • Casey en El estándar OpenAI-compatible API: auditoría técnica del contrato de-facto que unificó la inferencia LLM (2020–2026)
  • Angel_Bran en Solucionar el problema con VSYNC en Linux
  • Angel_Bran en Configurar GRUB en Ubuntu y derivados: Cambiar el orden de arranque por defecto
  • Sergio en Configurar GRUB en Ubuntu y derivados: Cambiar el orden de arranque por defecto
  • carlitos en Solucionar el problema con VSYNC en Linux
Etiquetas
accesibilidad agentes algoritmos android anthropic apple aprendizaje arquitectura benchmark benchmarks c2pa china claude cuantizacion dns firmware github gnome google gpu hardware huggingface inferencia Javascript kimi lean Linux llm microsoft moe moonshot nvidia openai opensource privacidad Programacion Python regulacion rust seguridad sqlite teclado vibecoding vpn wcag
  • Política de privacidad
Hestia | Desarrollado por ThemeIsle