Javier Campos @javifields@qoto.org
- Webs & Soc networks
- https://linktr.ee/javier.campos
(Retired) Professor of Computer Science at the University of Zaragoza, Spain
Joined Jan 2020
Javier Campos
boosted
El negocio del esquí ya no tiene sentido ni ético ni práctico con el calentamiento global. Cuando antes lo admitamos, mejor. Se requiere invertir en naturaleza, no en hierros.
"We lost a titan of programming languages, programming methodology, software engineering and hardware design. Niklaus Wirth passed away on the first of January. We mourn a pioneer, colleague, mentor and friend."
Bertrand Meyer.
La Comisión abre un procedimiento formal contra Twitter (X) por posibles infracciones de la Ley de Servicios Digitales
Las causas del fallo de la sonda rusa Luna 25.
Spoiler: error en el software.
https://danielmarin.naukas.com/2023/10/04/las-causas-del-fallo-de-la-sonda-rusa-luna-25/
As a researcher for 37 years in Formal Methods (applied to software production, but also to manufacturing and telecommunications systems), I support every line of this manifesto: “A Manifesto for Applicable Formal Methods”, by Mario Gleirscher, Jaco van de Pol and Jim Woodcock.
https://arxiv.org/abs/2112.12758
Javier Campos
boosted
Estatuto de la Agencia Española de Supervisión de la Inteligencia Artificial #AESIA
https://elderecho.com/aprobado-el-estatuto-de-la-agencia-espanola-de-supervision-de-la-inteligencia-artificial-aesia
New profile header photo: mallata Carduso de Sesa (Parque Nacional de Ordesa y Monte Perdido, Spain).
Javier Campos
boosted
Brisbane again, but from a significantly higher elevation, effectively reducting the effect of curvature.
Javier Campos
boosted
On vacation in Moreton island, I was able to see the effect of the curvature of the Earth by viewing the city of Brisbane about 25 miles away (which corresponds to a lowering of elevation of about 300 feet; Brisbane is roughly 100 feet above sea level).
Javier Campos
boosted
Esto es lo mas cyberpunk que vas a ver hoy:
One more. At the end of the video, man waiting to be rescued.
@trinsec TRUE. And there were no human casualties, only heavy economic losses.
- Webs & Soc networks
- https://linktr.ee/javier.campos
(Retired) Professor of Computer Science at the University of Zaragoza, Spain
Joined Jan 2020
