Dev_NIX

Every tweet on this account shall be written from a bot. Or not.

[Dev_NIX @_DevNIX]

Hoy en casa de mi padre tenían un sobrecito con gominolas para mi hijo de dos años.

El trato era comerse la mitad, y dejar el resto para otro día. A escondidas ha seguido cogiendo, y al quitárselas, como es de esperar, se ha pillado una rabieta terrible.

Me he sorprendido al verme explicándole que estaba llorando por las gominolas que se quería seguir comiendo en lugar de celebrar las que había disfrutado.

Joder mamá, cómo te echo de menos.

[Kévin Dunglas @dunglas]

I just opened an RFC for @php_net proposing a small internal refactoring that would move 2/3 of the C code of FrankenPHP's worker mode into the PHP engine itself.

Consequences: improved security, native support in PHP extensions, and reusable code for other SAPIs!

📝 https://t.co/38AQy4Tevs

[Israel Exposed @xIsraelExposedx]

The elections in Spain are 21 days away, and Israel's fingerprints are all over them. When a movement knowingly sides with zionism during a genocide, it is crossing a line that is unacceptable in civil society. Shame on both the PP & VOX for their complicity in these crimes.

[Dev_NIX @_DevNIX]

@roxblnfk What?

[Julio César Pérez @jcesarperez]

Primero, dominar el loop desde dentro.

Vas perfeccionándolo hasta que ciertas partes se convierten en 1 click.
Luego, vas dando pasos para quitar esos clicks e ir saliéndote del loop.

Cada paso que das hacia fuera es un paso de no retorno

[Dev_NIX @_DevNIX]

👌👌👌
https://t.co/W7cKAwwA2K

[Dev_NIX @_DevNIX]

Burnbar 0.4.0 is out 🔥

Your Claude Code statusline now has:
• the git branch, also in worktrees and submodules
• optional bars: a width of 0 hides one and keeps the numbers
• no stray spaces or blank lines around empty tags

Link below 👇

[Dev_NIX @_DevNIX]

@chemacova @JaimeObregon Tú estás desubicado

[Dev_NIX @_DevNIX]

https://t.co/W9JolrWYWs

[Dev_NIX @_DevNIX]

Burnbar 0.4.0 is out 🔥

Your Claude Code statusline now has:
• the git branch, also in worktrees and submodules
• optional bars: a width of 0 hides one and keeps the numbers
• no stray spaces or blank lines around empty tags

Link below 👇

[Dev_NIX @_DevNIX]

Burnbar 0.3.0 is out 🔥

Your Claude Code statusline now has:
• prompt cache TTL (5 min or 1 h) with an expiry warning
• the cost of a cache miss
• alerts when a model or effort change breaks the cache
• effort icon, plan usage, billed spend, live turn cost

Link below 👇

[Pablo R. (Root Rat) - e/acc @root_rat]

Te respondo citado, sin insultar, y porque creo que se está cuñadeando por encima de muchas posibilidades. Lo hago desde un espíritu absolutamente constructivo, espero que lo aprecies así Daniel.

Vamos por partes.
En el tema del tren no voy a entrar en detalles que ya bastante ruido hay. Hablemos de tu tesis a modo general.

La frase que rebates no la dice nadie que haya certificado algo. En crítico no se habla de antiguo o moderno, se habla de proven in use. Las normas de seguridad funcional como IEC 61508, EN 50128 o DO-178C permiten justificar seguridad con horas de servicio acumuladas sin fallos peligrosos, y un SIL 4 implica una tasa de fallo peligroso por debajo de 10⁻⁸ por hora. Eso no se demuestra con tests, se demuestra con años de operación o con métodos formales. Cada línea que reescribes pierde ese crédito y vuelve a cero, con su análisis de riesgos, su validación independiente y su evaluador externo.

El documento del F-35 es el JSF AV C++ Coding Standards, que deriva de MISRA C. Prohíbe excepciones, memoria dinámica después de la inicialización, recursión, RTTI y buena parte de la librería estándar. O sea que lo que se usa en un avión de combate es C++ amputado hasta parecerse a C con clases, y congelado desde 2005.

Me llama la atención, siendo tú un experto; que en todo el hilo no salga Ada ni SPARK cuando hablamos de sistemas críticos. SPARK permite probar formalmente ausencia de errores en tiempo de ejecución, y es lo que se usa en control de tráfico aéreo como iFACTS en Reino Unido o en la línea 14 del metro de París, que se hizo con método B y código Ada generado a partir de la prueba formal.

Con la NASA pasa exactamente lo mismo. Decir que usa C++ para todo se queda muy corto. El estándar de código de JPL y las reglas Power of Ten de Holzmann prohíben recursión, memoria dinámica tras la inicialización y bucles sin límite. F Prime, el framework en C++ que voló en Ingenuity, sigue esa misma filosofía, reserva toda la memoria al arrancar y usa un subconjunto muy controlado del lenguaje. Es C y C++ recortados hasta que sean predecibles, la misma premisa que el F-35.

Las ofertas de empleo no enseñan la arquitectura del sistema crítico. Docker, Java o Qt en General Dynamics te dicen que hay HMI, simulación, herramientas y sistemas de misión. Nadie mete un runtime con recolector de basura ni contenedores en un lazo de control con requisitos de tiempo real duro, porque la latencia no es determinista y eso no lo certifica nadie. Y el Patriot es defensa antiaérea, no un misil balístico, por cierto.

Lo de SpaceX es verdad, Dragon vuela C++ sobre Linux. SpaceX no ha publicado su estándar de código, pero Crew Dragon está certificada por NASA para llevar astronautas, y eso exige cumplir la Clase A de software de NASA, que obliga a tener un estándar de codificación y verificarlo. Lo lógico es que vaya por el mismo camino de C++ restringido. Luego usan procesadores comerciales sin endurecer y lo compensan con tres unidades redundantes, cada una con dos procesadores comprobándose entre ellos y votación cuando no se ponen de acuerdo. Ellos mismos explican que eligieron C++ por la cantera de ingenieros y las herramientas, no porque sea más fiable ni por ninguna otra cuestión.

Lo de que Raytheon migre de FORTRAN a C++ es una decisión de mantenibilidad y de mercado laboral, no de fiabilidad, que es por lo mismo que SpaceX eligió ese stack. FORTRAN no tiene ningún problema intrínseco de corrección, sigue siendo la referencia en cálculo numérico y medio HPC corre sobre él.

El 486 del Hubble es lo mismo. Se eligió porque está caracterizado hasta el último transistor, aguanta radiación mejor que nodos más pequeños y tiene errata conocida. En espacio se vuelan RAD750, que es un PowerPC de finales de los 90, precisamente por eso.

[Dev_NIX @_DevNIX]

@albionsix @david_bonilla Lo dicho, Dunning-Kruger

[Dev_NIX @_DevNIX]

@asegnz @XMihura @elnanokiwi Eso es lo que podría hacer un maquinista en particular. ¿Que haría otro? ¿Qué criterio sería correcto o incorrecto? ¿Que haría el que va detrás? ¿Y el siguiente?

Y de repente, ingenieros todos, se nos ocurre inventar el centro de control... sois la hostia todos

[Dev_NIX @_DevNIX]

@jcesarperez @buswe_com @jcesarperez https://t.co/ZQx5eCthpF

[Dev_NIX @_DevNIX]

Burnbar 0.3.0 is out 🔥

Your Claude Code statusline now has:
• prompt cache TTL (5 min or 1 h) with an expiry warning
• the cost of a cache miss
• alerts when a model or effort change breaks the cache
• effort icon, plan usage, billed spend, live turn cost

Link below 👇

[Dev_NIX @_DevNIX]

Esta noche intento publicar tag, te animo a probar el plugin. Configura una statusline clásica y te da información muy detallada del gasto con la sparkline, y cuanto dinero te va a costar exactamente enviar el siguiente mensaje de base si la caché expira.

Una vez cargada la skill puedes pedirle personalizar todos los elementos que te interesan o te sobran, incluido ancho de barras, o directamente quitarlas y quedarte con los números.

Está implementada en Bash puro compatible con el de Mac.

Tengo también una pipeline que se asegura de que cada iteración de la barra sea rápida y con pocos procesos, ya que durante el desarrollo me encontré que muchos patrones de implementación instanciaban varias subshells si no me equivoco, y se notaba muchísimo en la CPU refrescando cada segundo

Le había dado una vuelta a convertirlo en un mod, pero no sé si merece la pena, y para mí caso de uso realmente no salgo de Claude Code. Eso, y que la statusline me permite partir en varias lineas para caber en la pantalla, y el mod parece que no 😅

[Dev_NIX @_DevNIX]

Release notes and install:
https://t.co/Stpyoc8VOw

[Dev_NIX @_DevNIX]

Burnbar 0.3.0 is out 🔥

Your Claude Code statusline now has:
• prompt cache TTL (5 min or 1 h) with an expiry warning
• the cost of a cache miss
• alerts when a model or effort change breaks the cache
• effort icon, plan usage, billed spend, live turn cost

Link below 👇

[Dev_NIX @_DevNIX]

@jcesarperez @buswe_com A todo esto, te sorprendá que mi cuenta pro de 20€/mes me reporta caches de una hora, y por el gasto de la sparkline, parece que se cumple!!

[Dev_NIX @_DevNIX]

Good news, looks like @OndrejMirtes is going to maintain TwigStan! Future is bright certanly 🤩

[Dev_NIX @_DevNIX]

@buswe_com @jcesarperez Muchas veces se asigna una cache de una hora 😊