Marcos (@marfinfo) header
Marcos (@marfinfo) profile picture

Computer engineer, PhD in education, professor-researcher at TecnoCampus UPF. Enjoying so much teaching artists how to code.

Mataró
Joined November 2010
Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)Photo by Marcos (@marfinfo)
Com “respira” el teu carrer a #Mataró? Planta un sensor amb el #BoscDeDades. Sensors ambientals oberts que pots instal·lar al teu balcó. @matarocat @TecnoCampus @ParticipaMataro @bibliosmataro Demà, 27/05 – 10:00 Bib. Antoni Comans Dilluns, 1/06 – 17:30 Bib. Pompeu Fabra
2
6
270
Marcos retweeted
el debate que se está montando contra los centros de datos demuestra que mucha gente aún entiende cuál es la situación los humanos, tras muchos siglos de agricultura, hemos interiorizado que es bueno explotar millones de hectáreas de tierra para el cultivo al final, la agricultura no es más que usar terreno para capturar la energía del sol y transformar en calorías que alimentan el cuerpo humano los centros de datos hacen algo parecido, pero en vez de transformar energía solar en alimento, transforman la energía en inteligencia mediante la computación normalmente aquí es cuando salta el listo de turno diciendo que "a ver si vamos a comer GPUs" vamos a ver... subnormal: hoy alimentamos a ocho mil millones de personas en una fracción del terreno que necesitaríamos hace un siglo gracias a tecnologías como la síntesis de fertilizantes, tractores, automatización... la inteligencia es el recurso definitivo porque es el multiplicador de todo los demás. la historia del progreso humano no va de acumular más tierra o más brazos, va de inyectar conocimiento en la materia para hacer más con menos. cada vatio que metes en una GPU sirve para diseñar semillas resistentes a la sequía, descubrir nuevos materiales para baterías, optimizar la red eléctrica o plegar proteínas para curar enfermedades oponerse a construir las fábricas de inteligencia del siglo XXI con la excusa de "proteger el territorio" es tan absurdo como haber prohibido los altos hornos o el ferrocarril en 1850 para no molestar a las ovejas todo apunta a que el valor de la computación seguirá disparándose impulsado por una demanda exponencial sin embargo, me aventuro a decir que en el medio y largo plazo el coste de la producción agrícola se va a desplomar precisamente gracias a las ganancias de eficiencia que nos dará la inteligencia artificial que sale de esos centros de datos luego está la preocupación por el consumo de agua, a la que sinceramente no creo que haya que darle mayor importancia si tenemos en cuenta que en españa el regadío ya se lleva cerca del 80% del agua del país. pero es que además los servidores modernos de ni siquiera necesitan tanta agua mira, es que paso de discutir este tema con gente que ni se ha preguntado nunca cuánta agua consumimos en España para el cultivo de alfalfa luego hay críticos más inteligentes hilan más fino y se preguntan qué gana España alojando la infraestructura de multinacionales extranjeras, en vez de simplemente consumir la IA vía internet con los centros de datos en otro sitio, sobre todo teniendo en cuenta que los chips son un asset que se deprecia bastante rápido este argumento parece sólido de entrada, pero falla por varios sitios: confunde los chips con la infraestructura: es verdad que las GPUs tiene un tiempo de vida corta, pero la obra civil, las subestaciones, los transformadores y la fibra óptica, esos no se deprecian además, te quedas el know-how: levantar y operar estas instalaciones a escala de gigavatios crea un ecosistema de ingeniería, refrigeración y gestión de redes críticas que solo se obtiene mediante la gestión de proyectos levantar un centro de cientos de megavatios forma a ingenieros, técnicos y empresas locales: una vez tienes la red de proveedores y la experiencia acumulada, construir los siguientes cuesta mucho menos tiempo y esfuerzo. así es como se crean crean los polos industriales: aprendes el oficio con el dinero de otros, consolidas una cadena de suministro competitiva y acabas con una ventaja imposible de alcanzar para otros países luego está el tema del desarrollo energético del pais tener mucho sol está muy bien sobre el papel, pero nuestro verdadero cuello de botella hoy es la red de transporte y distribución, que está saturada y necesita inversiones multimillonarias para modernizarse aquí es donde los centros de datos se convierten en el vehículo perfecto para reforzar nuestra soberanía energética: al atraer miles de millones de euros de capital privado, podemos usar esa demanda garantizada como palanca para financiar, arreglar y poner orden en el resto del sistema eléctrico. son clientes con el músculo financiero suficiente para costear los peajes necesarios para modernizar el mallado y justificar el despliegue de almacenamiento a gran escala y generación firme (junto a unas nucleares que no deberíamos cerrar) en definitiva, deberíamos usar el dinero de las tecnológicas para construir una red eléctrica que luego beneficie al resto de nuestra industria ahora bien, conformarnos eternamente con ser el "casero solar" de California también es de tener muy poca ambición. el objetivo final tiene que ser usar todo ese know-how adquirido y esa red de proveedores como trampolín para que el capital nacional y europeo dé el paso y empiece a levantar su propia industria de cómputación. una vez que los ingenieros, las contratas y el ecosistema local saben resolver los cuellos de botella porque han aprendido con el dinero de las big tech, el riesgo de montar nuestros propios centros disminuye, podemos hacerlo, en europa hemos construido industrias que son bastante más complejas que apilar racks de GPUs. lo que me lleva al último punto: la soberanía. hoy nos parece impensable que un país serio no controle su generación de energía, sus puertos, sus telecomunicaciones o la producción de alimentos básicos. nadie en su sano juicio propondría desmantelar nuestras centrales eléctricas o nuestros embalses para depender al 100% de que un tercero nos envíe agua y luz desde el extranjero. ¿por qué entonces asumimos que es buena idea externalizar la infraestructura más crítica del siglo XXI, la que va a alimentar la mayor revolución económica de la historia? renunciar a tener capacidad de cómputo dentro de nuestras fronteras es entregar las llaves del país y aceptar ser una colonia por primera vez en dos siglos la geografía nos regala el recurso crítico de una revolución industrial: suelo vacío y la energía limpia más barata de Europa podemos usarla para liderar la industria o podemos hacer caso a cuatro hippies decrecentistas, prohibir que se construya nada y dedicarnos a poner cañas a los turistas que vendrán de vacaciones con el dinero que ganan alquilándonos su inteligencia
90
320
48
1,284
101,069
Cyberattack on France’s national blood service (EFS) via its refrigeration contractor Coolworld. Hackers reset freezers keeping blood donor samples at -30°C to a target of 110°C. The thing that stopped it from destructive impact was an on-call technician who noticed the temperatures going up. Frozen plasma intended for transfusion was stored there too. Fortunately nothing was destroyed. This was a cyberattack on a sensitive layer of healthcare. From frozen peas to boiling plasma in three weeks...?
403
3,283
835
9,247
1,146,677
El 25 de agosto de 2025 @EMostaque publicó #LastEconomy creo que me lo pulí un mes después del tiron en un día. Cuando lei la idea del "thousand days window" me pareció una ida de olla. Pero con el tiempo no tengo tan claro que fuera tan ida de olla.
58
Demà farem la darrera sessió d'instal·lació de sensors medi ambientals del #BoscDeDades estarem a les 18:00 al centre cívic de pla d'en boet. La xarxa ara mateix compta amb un 24 sensors actius, però encara ens queden equips per fer-la créixer. @matarocat @TecnoCampus #mataró
1
3
108
Sobre meatproxys y middlemanagement: substack.com/@marfinfo/note/…
38
I warned you all about this. They will be lying. The actual goal of the big AI providers will be to outlaw open-source and open-weight AI in order to create a regulatory moat around their business, and have some hope of earning out their astronomical capital expenditures. The claims will be about safety and equity, the reality will be a money and power grab. Brace for the bullshit avalanche that's coming.
🚨BREAKING: OpenAI is preparing a policy and PR blitz immediately after Tuesday’s midterm elections, Axios reports. As public backlash against data centers grows, it wants to rebrand them as “AI compute campuses” and push Congress for mandatory “speed limits” on the most powerful AI systems. It has been stockpiling proposals since August. OpenAI is also preparing for the possibility of Democrats taking the House and wants to shape the debate ahead of the 2028 presidential race. Its chief global affairs officer Chris Lehane told Axios: “AI is going to be the issue in 2028.”
95
824
31
4,321
95,272
Este post de @root_rat me viene de perlas, justo hace unas semanas en la assig. de lenguajes interpretados revisaba con alumnos la licencia de Java y profundizabamos en porque explicitamente dice que no se puede usar en centrales nucleares, hospitales y sistemas criticos.
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.
3
82
Aquest matí, com quasi cada dissabte he baixat a les 7 al Forn Puig a comprar-me el pa de pagès acabat de sortir del forn. Es un d’aquests mini-luxes que em permeto, fer-me la torrada del matí amb el pa acabat de fer. El cas es que...
1
64
... tenien més de 30 anys (es notava en els acabats), però estaven mantinguts amb precisió japonesa, tot funcionava a la perfecció. Fins i tot em va frapar que al voral de l’estació estava pintat el número de la porta on parava el tren i la precisió era mil·limètrica. Potser...
1
13
... no cal, tanta cosa nova ni tanta llumeta, potser només necessitem canviar la cultura del cuidat, manteniment i millora de la tecnologia existents.
1
12
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.
Como "no tengo ni puta idea de lo que hablo", os traigo una lección sobre diseño de sistemas críticos. La frase es: "Los sistemas modernos se programan con plataformas antiguas como COBOL / FORTRAN / mainframes porque son más fiables" Veamos unos cuantos ejemplos (sigo):
64
178
29
929
95,476
Cuando teniamos 15 años, recuerdo como al llegar a casa cada tarde sin saber que tarea iba a realizar directamente encendia el ordenador. Porque aunque no habia decidido que tocaba hacer esa tarde, siempre era algo interesante a hacer donde el ordenador era el intermediario: ...
1
2
163
... programar un juego, hackear alguna cosa, hacer una base de datos de mis comics. Cualquier cosa, la informática era tan mágica y nos daba tantos superpoderes que era adictivo crear, imaginar y prototipar...
1
1
46
... quien me iba a decir que a mis casi 50 volveria a tener el mismo sentimiento.
1
18
Apuesta arriesgada pero #ThisIsTheWay , no? Opiniones...
GOG is getting into game publishing. The newly independent DRM-free storefront has teamed up with indie publisher Retrovibe to launch Retrovibe by GOG, a new initiative focused on helping indie devs bring their games to PC and consoles. The partnership will handle things like funding, marketing, creator and media outreach, and getting games certified for release. The first games are already on the way: > Cop Bastard, releasing October 29 > Project Warlock: Lost Chapters, the third game in the boomer-shooter series These won’t be GOG exclusives. Both games are also coming to Steam.
40
¡#ROSCon España 2026 comienza hoy! La es una oportunidad para que los desarrolladores de ROS en español de todos los niveles, desde principiantes hasta expertos, pasen una jornada extraordinaria aprendiendo y trabajando en red con la comunidad #robótica de #ROS.
5
2
18
3,751
If, five years ago, any one had told me that I would be able to build significant software systems while driving in my car in a few years, I would have written them off as being overly optimistic by several orders of magnitude. And that makes we wonder what the next five years will bring. I think we are in for a radical reshuffling of priorities that the powers that be are unprepared for. I suspect it will overtake them before they can muster a response.
90
87
12
1,446
66,732