Andrés Morales

PSOS, el sistema operativo cuya seguridad podía demostrarse matemáticamente, cumple 45 años. Sus ideas viven hoy en seL4, Fuchsia y KataOS — los kernels más seguros del planeta.

El físico teórico Carlo Rovelli publicó un ensayo en Noema Magazine donde sostiene que el ‘problema difícil de la consciencia’ de Chalmers no existe. La tesis recoloca el debate filosófico que enmarca la discusión sobre experiencia subjetiva en modelos de IA.

Investigadores del MIT presentaron GenCAD, un modelo que genera CAD paramétrico y editable desde imágenes en lugar de mallas 3D estáticas. Combina transformers, aprendizaje contrastivo y difusión latente para producir secuencias de comandos CAD utilizables en cualquier kernel geométrico.

El gobierno canadiense tramita el Bill C-22, una iniciativa que obligaría a toda app de mensajería a construir backdoors estructurales al cifrado end-to-end y retener hasta 12 meses de metadatos de cada usuario. La propuesta replica la arquitectura CALEA estadounidense, comprometida en 2024 por Salt Typhoon.

Maurycy hospedó un sitio web en un microcontrolador AVR64DD32 de $1 con 8 KB de RAM. Sin chip de Ethernet, implementó IP y TCP a mano y usó SLIP de 1988 para conectarlo a Linux. WireGuard se encarga de exponerlo en internet.

lcamtuf publica la segunda iteración de su reloj de voltímetros: tres medidores analógicos como manecillas, un microcontrolador AVR128DB28 y PWM por software sin componentes extra. La novedad real está en la carpintería: una carcasa de madera curva fabricada con la técnica de kerf bending.

El proyecto Borealis de Parsimoni ejecutó por primera vez un stack CCSDS escrito en OCaml puro a bordo del satélite ClusterGate-2 de DPhi Space. Suma cifrado punto a punto y rotación de claves post-cuánticas ML-DSA-65 mediante OTAR.