Blog
Artículos prácticos de KomuraSoft LLC sobre desarrollo web, SEO, Google Ads, desarrollo para Windows, aprovechamiento de sistemas existentes e investigación de fallos.
Búsqueda con IA en todo el sitio
Las consultas de búsqueda se envían a Cloudflare AI Search para generar los resultados. No introduzcas datos personales.
-
Programación genérica en Ada ── escribir contratos con tipos y lograr la reutilización sin costo en tiempo de ejecución
Explica de forma sistemática los genéricos de Ada: subprogramas, paquetes, parámetros formales y categorías de tipo, con pautas de diseño para la reutilizaci...
-
Programación de sistemas de tiempo real con Ada — Control práctico de prioridad, periodo y tiempo de ejecución
Aprenda el Annex D de Ada (sistemas de tiempo real) con 8 ejemplos prácticos de código: prioridad de tareas, Ceiling_Locking, ejecución periódica con delay u...
-
Fable ha dejado de estar disponible, pero no toca rendirse ── Aguantar con OpenRouter Fusion＋LLM chinos＋una capa de revisión
Ni de lejos se acerca a Fable. Pero combinando cinco LLM chinos con OpenRouter Fusion y añadiendo encima una revisión de gpt-5.5-pro o una revisión de PR de ...
-
Concurrencia segura en Ada — Guía práctica de tareas y objetos protegidos
Introducción a las tareas y objetos protegidos de Ada: rendezvous, aceptación selectiva, exclusión mutua, llamadas con tiempo de espera y prioridades de tareas.
-
Introducción a la verificación formal con SPARK ── De los contratos de Ada a la demostración matemática
Un artículo introductorio y práctico sobre la verificación formal con SPARK, el subconjunto de Ada. Repasa cómo pasar de los contratos (Pre/Post) a la demost...
-
El atractivo del lenguaje Ada ── Cuando los tipos expresan el diseño, el lenguaje que sostiene software que funciona durante décadas
Presentamos el atractivo del lenguaje Ada: tipado fuerte, restricciones de rango, paquetes que separan especificación e implementación, diseño por contrato, ...
-
¿Qué es MFC en Windows? — Conocimientos básicos para mantener activos existentes
Resumen de MFC: relación con Win32, estructura de la app, mapa de mensajes, Document/View, DDX/DDV y puntos de mantenimiento.
-
Qué hacer antes de desechar un PC con Windows ── Lista de comprobación práctica de eliminación de datos, desvinculación de cuentas y copias de seguridad
Qué hacer antes de desechar, ceder, vender o devolver en leasing un PC con Windows: copias de seguridad, eliminación de datos, BitLocker, cuentas de Microsof...
-
¿Qué es un PDB (Program Database)? — Cómo entender la información de depuración, los símbolos y Source Link
Qué es un PDB: qué contiene, qué no, y su relación con Debug/Release, Portable PDB, Source Link, servidores de símbolos y el análisis de volcados.
-
¿Qué es Roslyn? ── Leer, corregir y generar código C# desde la perspectiva del compilador
Resumen de Roslyn (.NET Compiler Platform): Syntax Tree, SemanticModel, Workspace, Analyzer, Source Generator, y sus usos y precauciones en la práctica.