Tags populares：
Virtualización seguridad DNS verificación formal análisis de alcanzabilidad errores del compilador conflicto de macro extensión web framework de desarrollo Gráficos de mapa de bits inconsistencias de API Todos los tags

Diseño de Cama con CNC: La Búsqueda del Software CAD 2D Perfecto

2025-07-28

El autor está diseñando una cama cortada con CNC a partir de una sola hoja de madera contrachapada. Explora varios enfoques de diseño y opciones de software, comenzando con Autodesk Inventor, pero encontrándolo engorroso para el corte 2D. El artículo compara varias herramientas CAD 2D, incluyendo Cuttle, FlatFab y Kyub, destacando sus fortalezas y debilidades. El autor finalmente se inclina por un enfoque CSG paramétrico y comparte experiencias optimizando su sistema CAD basado en código usando Clojure Zippers.

Leer más
(kevinlynagh.com)
Diseño Software de Diseño

Creación de prototipos de un lenguaje CodeCAD: La búsqueda de la 'hygge' del software

2025-06-09

El autor pasó un mes creando un prototipo de un lenguaje CodeCAD, buscando no demostraciones llamativas, sino una sensación de "hygge" de software: carga instantánea, estabilidad y facilidad de uso. El artículo se centra en los desafíos de creación de prototipos de una función de "edición bidireccional", sincronizando una interfaz gráfica con un editor de código textual en tiempo real. Se discuten numerosos obstáculos técnicos, incluida la reescritura de código, la sincronización del editor y la IU y el formateo de código. El autor comparte recursos de aprendizaje y reflexiones sobre la creación de una implementación de lenguaje integrada y herramientas de edición, así como debates sobre proyectos existentes relacionados.

Leer más
(kevinlynagh.com)
Desarrollo creación de prototipos edición bidireccional

La búsqueda de la red neuronal más linda: Una aventura en Cortex-M0

2025-05-05

El autor intenta ejecutar una pequeña red neuronal en un microcontrolador Cortex-M0 con recursos limitados para la estimación de pose. Los intentos iniciales utilizando frameworks como TensorFlow Lite Micro y MicroFlow resultaron demasiado voluminosos y dependientes de operaciones de punto flotante. Finalmente, decidió construir una red neuronal basada puramente en enteros desde cero utilizando JAX y escribir manualmente el código de inferencia. El viaje estuvo lleno de desafíos, y el autor comparte valiosas lecciones aprendidas, ofreciendo información útil para los desarrolladores que buscan ejecutar redes neuronales en dispositivos con recursos limitados.

Leer más
(kevinlynagh.com)
Desarrollo cuantificación de modelo